Resolvent based predictions for turbulent flow over anisotropic permeable substrates. Recent simulations indicate that streamwise preferential porous materials have the potential to reduce drag in wall bounded turbulent flows(Gomez de Segura Garcia Mayoral 2019). This paper extends the resolvent formulation to study the effect of such anisotropic permeable substrates on turbulent channel flow. Under the resolvent formulation, the Fourier transformed Navier Stokes equations are interpreted as a linear forcing response system. The nonlinear terms are considered the endogenous forcing in the system that gives rise to a velocity and pressure response. A gain based decomposition of the forcing response transfer function the resolvent operator identifies response modes (resolvent modes) that are known to reproduce important structural and statistical features of wall bounded turbulent flows. The effect of permeable substrates is introduced in this framework using the Volume Averaged Navier Stokes equations and a generalized form of Darcy's law. Substrates with high streamwise permeability and low spanwise permeability are found to suppress the forcing response gain for the resolvent mode that serves as a surrogate for the energetic near wall cycle. This reduction in mode gain is shown to be consistent with the drag reduction trends predicted by theory and observed in numerical simulations. Simulation results indicate that drag reduction is limited by the emergence of spanwise rollers resembling Kelvin Helmholtz vortices beyond a threshold value of wall normal permeability. The resolvent framework also predicts the conditions in which such energetic spanwise coherent rollers emerge. These findings suggest that a limited set of resolvent modes can serve as the building blocks for computationally efficient models that enable the design and optimization of permeable substrates for passive turbulence control.


Zeros of L(s) L(2s) cdots L(Ns) in the region of absolute convergence. In this paper we show that for every Dirichlet L function L(s, chi) and every N geq 2 the Dirichlet series L(s, chi) L(2s, chi) cdots L(Ns, chi) have infinitely many zeros for sigma 1 . Moreover we show that for many general L functions with an Euler product the same holds if N is sufficiently large, or if N 2 . On the other hand we show with an example the the method doesn't work in general for N 3 .


Twisted B splines in the complex plane. In this paper, we introduce the new class of twisted B splines and study some properties of these B splines. We also investigate the system of twisted translates and the wavelets corresponding to these twisted B splines.


On Exposure Bias, Hallucination and Domain Shift in Neural Machine Translation. The standard training algorithm in neural machine translation (NMT) suffers from exposure bias, and alternative algorithms have been proposed to mitigate this. However, the practical impact of exposure bias is under debate. In this paper, we link exposure bias to another well known problem in NMT, namely the tendency to generate hallucinations under domain shift. In experiments on three datasets with multiple test domains, we show that exposure bias is partially to blame for hallucinations, and that training with Minimum Risk Training, which avoids exposure bias, can mitigate this. Our analysis explains why exposure bias is more problematic under domain shift, and also links exposure bias to the beam search problem, i.e. performance deterioration with increasing beam size. Our results provide a new justification for methods that reduce exposure bias even if they do not increase performance on in domain test sets, they can increase model robustness to domain shift.


Beam Diagnostics in the Advanced Plasma Wakefield Experiment AWAKE. In AWAKE a self modulated proton bunch drives wakefields in a plasma. Recent experiments successfully demonstrated many aspects of the self modulation of the drive bunch as well as acceleration of test electrons. Next experiments will focus on producing a multi GeV accelerated electron bunch with low emittance and low energy spread. The experiment requires a variety of advanced beam diagnostics to characterize the self modulated proton bunch at the picosecond time scale. These include optical transition radiation and a streak camera for short and long time scale detailed imaging of self modulation and hosing, coherent transition radiation for modulation frequency measurements in the 100 300 GHz frequency range and multiple fluorescent screens for core and halo measurements. An overview of these diagnostics will be given.


On correlation of hyperbolic volumes of fullerenes with their properties. We observe that fullerene graphs are one skeletons of polyhedra, which can be realized with all dihedral angles equal to pi 2 in a hyperbolic 3 dimensional space. One of the most important invariants of such a polyhedron is its volume. We are referring this volume as a hyperbolic volume of a fullerene. It is known that some topological indices of graphs of chemical compounds serve as strong descriptors and correlate with chemical properties. We demonstrate that hyperbolic volume of fullerenes correlates with few important topological indices and so, hyperbolic volume can serve as a chemical descriptor too. The correlation between hyperbolic volume of fullerene and its Wiener index suggested few conjectures on volumes of hyperbolic polyhedra. These conjectures are confirmed for the initial list of fullerenes.


Eigenvalue bounds for non selfadjoint Dirac operators. In this work we prove that the eigenvalues of the n dimensional massive Dirac operator mathscr D 0 V , n ge2 , perturbed by a possibly non Hermitian potential V , are localized in the union of two disjoint disks of the complex plane, provided that V is sufficiently small with respect to the mixed norms L 1 x j L infty widehat x j , for j in 1, dots,n . In the massless case, we prove instead that the discrete spectrum is empty under the same smallness assumption on V , and in particular the spectrum is the same of the unperturbed operator, namely sigma( mathscr D 0 V) sigma( mathscr D 0) mathbb R . The main tools we employ are an abstract version of the Birman Schwinger principle, which include also the study of embedded eigenvalues, and suitable resolvent estimates for the Schr "odinger operator.


A Non Iterative Transformation Method for a Class of Free Boundary Value Problems Governed by ODEs. The aim of this work is to point out that the class of free boundary problems governed by second order autonomous ordinary differential equations can be transformed to initial value problems. Interest in the numerical solution of free boundary problems arises because these are always nonlinear problems. The theoretical content of this paper is original results already available in literature are related to the invariance properties of scaling or spiral groups of point transformations but here we show how it is also possible to use e invariance properties of a translation group. We test the proposed algorithm by solving three problems a problem describing a rope configuration against an obstacle, a dynamical problem with a nonlinear force, and a problem related to the optimal length estimate for tubular flow reactors.


Non Asymptotic Capacity Upper Bounds for the Discrete Time Poisson Channel with Positive Dark Current. We derive improved and easily computable upper bounds on the capacity of the discrete time Poisson channel under an average power constraint and an arbitrary constant dark current term. This is accomplished by combining a general convex duality framework with a modified version of the digamma distribution considered in previous work of the authors (Cheraghchi, J. ACM 2019 Cheraghchi, Ribeiro, IEEE Trans. Inf. Theory 2019). For most choices of parameters, our upper bounds improve upon previous results even when an additional peak power constraint is imposed on the input.


A Repeated Game Freeway Lane Changing Model. Lane changes are complex safety and throughput critical driver actions. Most lane changing models deal with lane changing maneuvers solely from the merging driver's standpoint and thus ignore driver interaction. To overcome this shortcoming, we develop a game theoretical decision making model and validate the model using empirical merging maneuver data at a freeway on ramp. Specifically, this paper advances our repeated game model in a previous paper by using updated payoff functions. Validation results using the NGSIM empirical data show that the developed game theoretical model provides better prediction accuracy compared to previous work, with correct predictions approximately 86 percent of the time. In addition, a sensitivity analysis demonstrates the rationality and sensitivity of the model to variations in various factors. To provide evidence of the benefits of the repeated game approach, which takes into account previous decision making results, a case study is conducted using an agent based simulation model. The proposed repeated game model produces superior performance to a one shot game model, when simulating actual freeway merging behaviors. Finally, this lane change model, which captures the collective decision making between human drivers, can be used to develop automated vehicle driving strategies.


MixingBoard a Knowledgeable Stylized Integrated Text Generation Platform. We present MixingBoard, a platform for quickly building demos with a focus on knowledge grounded stylized text generation. We unify existing text generation algorithms in a shared codebase and further adapt earlier algorithms for constrained generation. To borrow advantages from different models, we implement strategies for cross model integration, from the token probability level to the latent space level. An interface to external knowledge is provided via a module that retrieves on the fly relevant knowledge from passages on the web or any document collection. A user interface for local development, remote webpage access, and a RESTful API are provided to make it simple for users to build their own demos.


Evolutionary dynamics of competing phenotype structured populations in periodically fluctuating environments. Living species, ranging from bacteria to animals, exist in environmental conditions that exhibit spatial and temporal heterogeneity which requires them to adapt. Risk spreading through spontaneous phenotypic variations is a known concept in ecology, which is used to explain how species may survive when faced with the evolutionary risks associated with temporally varying environments. In order to support a deeper understanding of the adaptive role of spontaneous phenotypic variations in fluctuating environments, we consider a system of non local partial differential equations modelling the evolutionary dynamics of two competing phenotype structured populations in the presence of periodically oscillating nutrient levels. The two populations undergo spontaneous phenotypic variations at different rates. The phenotypic state of each individual is represented by a continuous variable, and the phenotypic landscape of the populations evolves in time due to variations in the nutrient level. Exploiting the analytical tractability of our model, we study the long time behaviour of the solutions to obtain a detailed mathematical depiction of evolutionary dynamics. The results suggest that when nutrient levels undergo small and slow oscillations, it is evolutionarily more convenient to rarely undergo spontaneous phenotypic variations. Conversely, under relatively large and fast periodic oscillations in the nutrient levels, which bring about alternating cycles of starvation and nutrient abundance, higher rates of spontaneous phenotypic variations confer a competitive advantage. We discuss the implications of our results in the context of cancer metabolism.


Cascade Convolutional Neural Network for Image Super Resolution. With the development of the super resolution convolutional neural network (SRCNN), deep learning technique has been widely applied in the field of image super resolution. Previous works mainly focus on optimizing the structure of SRCNN, which have been achieved well performance in speed and restoration quality for image super resolution. However, most of these approaches only consider a specific scale image during the training process, while ignoring the relationship between different scales of images. Motivated by this concern, in this paper, we propose a cascaded convolution neural network for image super resolution (CSRCNN), which includes three cascaded Fast SRCNNs and each Fast SRCNN can process a specific scale image. Images of different scales can be trained simultaneously and the learned network can make full use of the information resided in different scales of images. Extensive experiments show that our network can achieve well performance for image SR.


An algebraic geometric construction of ind varieties of generalized flags. We define the class of admissible linear embeddings of flag varieties. The definition is given in the general language of algebraic geometry. We then prove that an admissible linear embedding of flag varieties has a certain explicit form in terms of linear algebra. This result enables us to show that any direct limit of admissible embeddings of flag varieties is isomorphic to an ind variety of generalized flags as defined in DP . These latter ind varieties have been introduced in terms of the ind group SL( infty) (respectively, O( infty) or Sp( infty) for isotropic generalized flags), and the current paper constructs them in purely algebraic geometric terms


Pole swapping algorithms for alternating and palindromic eigenvalue problems. Pole swapping algorithms are generalizations of bulge chasing algorithms for the generalized eigenvalue problem. Structure preserving pole swapping algorithms for the palindromic and alternating eigenvalue problems, which arise in control theory, are derived. A refinement step that guarantees backward stability of the algorithms is included. This refinement can also be applied to bulge chasing algorithms that had been introduced previously, thereby guaranteeing their backward stability in all cases.


Toric foliations with split tangent sheaf. We study holomorphic foliations of aribitrary codimension in smooth complete toric varieties. We show that split foliations are stable if some good behaviour of their singular set is provided. As an application of these results, we exhibit irreducible components of the space of foliations that arise as pullbacks of some special T invariant divisors.


Geodesics in the space of relatively K "ahler metrics. We derive the geodesic equation for relatively K "ahler metrics on fibrations and prove that any two such metrics with fibrewise constant scalar curvature are joined by a unique smooth geodesic. We then show convexity of the log norm functional for this setting along geodesics, which yields simple proofs of Dervan and Sektnan's uniqueness result for optimal symplectic connections and a boundedness result for the log norm functional. Next, we associate to a fibration degeneration a unique geodesic ray defined on a dense open subset. Calculating the limiting slope of the log norm functional along a globally defined smooth geodesic ray, we prove that fibrations admitting optimal symplectic connections are polystable with respect to a large class of fibration degenerations that are smooth over the base. We give examples of such degenerations in the case of projectivised vector bundles and isotrivial fibrations.


Higher dimensional surgery and Steklov eigenvalues. We show that for compact Riemannian manifolds of dimension at least 3 with nonempty boundary, we can modify the manifold by performing surgeries of codimension 2 or higher, while keeping the Steklov spectrum nearly unchanged. This shows that certain changes in the topology of a domain do not have an effect when considering shape optimization questions for Steklov eigenvalues in dimensions 3 and higher. Our result generalizes the 1 dimensional surgery in FS2 to higher dimensional surgeries and to higher eigenvalues. It is proved in FS2 that the unit ball does not maximize the first nonzero normalized Steklov eigenvalue among contractible domains in mathbb R n , for n geq 3 . We show that this is also true for higher Steklov eigenvalues. Using similar ideas we show that in mathbb R n , for n geq 3 , the j th normalized Steklov eigenvalue is not maximized in the limit by a sequence of contractible domains degenerating to the disjoint union of j unit balls, in contrast to the case in dimension 2 GP1 .


Physical ZKP for Connected Spanning Subgraph Applications to Bridges Puzzle and Other Problems. An undirected graph G is known to both the prover P and the verifier V , but only P knows a subgraph H of G . Without revealing any information about H , P wants to convince V that H is a connected spanning subgraph of G , i.e. H is connected and contains all vertices of G . In this paper, we propose an unconventional zero knowledge proof protocol using a physical deck of cards, which enables P to physically show that H satisfies the condition without revealing it. We also show applications of this protocol to verify solutions of three well known NP complete problems the Hamiltonian cycle problem, the maximum leaf spanning tree problem, and a popular logic puzzle called Bridges.


MobiKa Low Cost Mobile Robot for Human Robot Interaction. One way to allow elderly people to stay longer in their homes is to use of service robots to support them with everyday tasks. With this goal, we design, develop and evaluate a low cost mobile robot to communicate with elderly people. The main idea is to create an affordable communication assistant robot which is optimized for multimodal Human Robot Interaction (HRI). Our robot can navigate autonomously through dynamic environments using a new algorithm to calculate poses for approaching persons. The robot was tested in a real life scenario in an elderly care home.


Automated Reasoning in Temporal DL Lite. This paper investigates the feasibility of automated reasoning over temporal DL Lite (TDL Lite) knowledge bases (KBs). We test the usage of off the shelf LTL reasoners to check satisfiability of TDL Lite KBs. In particular, we test the robustness and the scalability of reasoners when dealing with TDL Lite TBoxes paired with a temporal ABox. We conduct various experiments to analyse the performance of different reasoners by randomly generating TDL Lite KBs and then measuring the running time and the size of the translations. Furthermore, in an effort to make the usage of TDL Lite KBs a reality, we present a fully fledged tool with a graphical interface to design them. Our interface is based on conceptual modelling principles and it is integrated with our translation tool and a temporal reasoner.


CNN based Prostate Zonal Segmentation on T2 weighted MR Images A Cross dataset Study. Prostate cancer is the most common cancer among US men. However, prostate imaging is still challenging despite the advances in multi parametric Magnetic Resonance Imaging (MRI), which provides both morphologic and functional information pertaining to the pathological regions. Along with whole prostate gland segmentation, distinguishing between the Central Gland (CG) and Peripheral Zone (PZ) can guide towards differential diagnosis, since the frequency and severity of tumors differ in these regions however, their boundary is often weak and fuzzy. This work presents a preliminary study on Deep Learning to automatically delineate the CG and PZ, aiming at evaluating the generalization ability of Convolutional Neural Networks (CNNs) on two multi centric MRI prostate datasets. Especially, we compared three CNN based architectures SegNet, U Net, and pix2pix. In such a context, the segmentation performances achieved with without pre training were compared in 4 fold cross validation. In general, U Net outperforms the other methods, especially when training and testing are performed on multiple datasets.


Rigorous Enclosures of Solutions of Neumann Boundary Value Problems. This paper is dedicated to the problem of isolating and validating zeros of non linear two point boundary value problems. We present a method for such purpose based on the Newton Kantorovich Theorem to rigorously enclose isolated zeros of two point boundary value problem with Neumann boundary conditions.


Tailored design of mode locking dynamics for low noise frequency comb generation. We report on a mode locked laser design using Yb doped fiber lasers for low noise frequency comb generation. The frequency comb covers the spectral range from 700 to 1400 nm. Although this range is more practical for many measurements than that produced by the more commonly used Er fiber lasers, it has been addressed in only a handful of reports, mainly due to the difficulty of generating a fully coherent supercontinuum at 1 mu m. We overcome this difficulty by a tailored design of the mode locking dynamics that succeeds in generating energetic 33 fs long pulses without even using higher order dispersion compensation, while ensuring that the laser operates with net zero cavity dispersion for low noise supercontinuum generation. After locking to a Cs atomic clock, this frequency comb is used for absolute frequency measurements of a Nd YAG I 2 laser to verify its accuracy by comparison with results from the International Committee for Weights and Measures. After this verification, it is further used to measure the absolute frequency of a 543 nm two mode stabilized He Ne laser, which is routinely used for length measurements in our institute, thus verifying its practical utility in metrology applications. The entire setup is built with readily available components for easy duplication by other researchers.


On Critical Point for Functions with Bounded Parameters. Selection of descent direction at a point plays an important role in numerical optimization for minimizing a real valued function. In this article, a descent sequence is generated for the functions with bounded parameters to obtain a critical point. First, sufficient condition for the existence of descent direction is studied for this function and then a set of descent directions at a point is determined using linear expansion. Using these results a descent sequence of intervals is generated and critical point is characterized. This theoretical development is justified with numerical example.


A proof of the compositional Delta conjecture. We prove a compositional refinement of the Delta conjecture (rise version) of Haglund, Remmel and Wilson (2018) for Delta e n k 1 'e n which was stated by D'Adderio, Iraci and Vanden Wyngaerd (2020) in terms of Theta operators.


Be More with Less Hypergraph Attention Networks for Inductive Text Classification. Text classification is a critical research topic with broad applications in natural language processing. Recently, graph neural networks (GNNs) have received increasing attention in the research community and demonstrated their promising results on this canonical task. Despite the success, their performance could be largely jeopardized in practice since they are (1) unable to capture high order interaction between words (2) inefficient to handle large datasets and new documents. To address those issues, in this paper, we propose a principled model hypergraph attention networks (HyperGAT), which can obtain more expressive power with less computational consumption for text representation learning. Extensive experiments on various benchmark datasets demonstrate the efficacy of the proposed approach on the text classification task.


Prediction and analysis of Coronavirus Disease 2019. In December 2019, a novel coronavirus was found in a seafood wholesale market in Wuhan, China. WHO officially named this coronavirus as COVID 19. Since the first patient was hospitalized on December 12, 2019, China has reported a total of 78,824 confirmed CONID 19 cases and 2,788 deaths as of February 28, 2020. Wuhan's cumulative confirmed cases and deaths accounted for 61.1 and 76.5 of the whole China mainland , making it the priority center for epidemic prevention and control. Meanwhile, 51 countries and regions outside China have reported 4,879 confirmed cases and 79 deaths as of February 28, 2020. COVID 19 epidemic does great harm to people's daily life and country's economic development. This paper adopts three kinds of mathematical models, i.e., Logistic model, Bertalanffy model and Gompertz model. The epidemic trends of SARS were first fitted and analyzed in order to prove the validity of the existing mathematical models. The results were then used to fit and analyze the situation of COVID 19. The prediction results of three different mathematical models are different for different parameters and in different regions. In general, the fitting effect of Logistic model may be the best among the three models studied in this paper, while the fitting effect of Gompertz model may be better than Bertalanffy model. According to the current trend, based on the three models, the total number of people expected to be infected is 49852 57447 in Wuhan,12972 13405 in non Hubei areas and 80261 85140 in China respectively. The total death toll is 2502 5108 in Wuhan, 107 125 in Non Hubei areas and 3150 6286 in China respetively. COVID 19 will be over p robably in late April, 2020 in Wuhan and before late March, 2020 in other areas respectively.


Covers in the Canonical Grothendieck Topology. We explore the canonical Grothendieck topology in some specific circumstances. First we use a description of the canonical topology to get a variant of Giraud's Theorem. Then we explore the canonical Grothendieck topology on the categories of sets and topological spaces here we get a nice basis for the topology. Lastly, we look at the canonical Grothendieck topology on the category of R modules.


Convergence of Ramanujan expansions, I Multiplicativity on Ramanujan clouds . We call R G(a) sum q 1 infty G(q)c q(a) the 'Ramanujan series', of coefficient G N to C, where c q(a) is the well known Ramanujan sum. We study the convergence of this series (a preliminary step, to study Ramanujan expansions and define G a 'Ramanujan coefficient' when R G(a) converges pointwise, in all natural a . Then, R G N to C is well defined ('w d'). The 'Ramanujan cloud' of a fixed F N to C is F G N to C R G w d, F R G . (See the Appendix.) We study in detail the multiplicative Ramanujan coefficients G their F subset is called the 'multiplicative Ramanujan cloud', F M . Our first main result, the "Finiteness convergence Theorem", for G multiplicative, among other properties equivalent to " R G well defined", reduces the convergence test to a finite set, i.e., R G w d is equivalent to R G(a) converges for all a dividing N(G) in N, that we call the "Ramanujan conductor". Our second main result, the "Finite Euler product explicit formula", for multiplicative Ramanujan coefficients G , writes F R G as a finite Euler product thus, F is a semi multiplicative function (following Rearick definition) and this product is the Selberg factorization for F . In particular, we have F(a) R G(a) converges absolutely, being finite (of length depending on non zero p adic valuations of a ). Our third main result, called the "Multiplicative Ramanujan clouds", studies the important subsets of F M also giving, for all multiplicative F , the 'canonical Ramanujan coefficient' G F in F M , proving Any multiplicative F has a finite Ramanujan expansion with multiplicative coefficients.


Massively Parallel Causal Inference of Whole Brain Dynamics at Single Neuron Resolution. Empirical Dynamic Modeling (EDM) is a nonlinear time series causal inference framework. The latest implementation of EDM, cppEDM, has only been used for small datasets due to computational cost. With the growth of data collection capabilities, there is a great need to identify causal relationships in large datasets. We present mpEDM, a parallel distributed implementation of EDM optimized for modern GPU centric supercomputers. We improve the original algorithm to reduce redundant computation and optimize the implementation to fully utilize hardware resources such as GPUs and SIMD units. As a use case, we run mpEDM on AI Bridging Cloud Infrastructure (ABCI) using datasets of an entire animal brain sampled at single neuron resolution to identify dynamical causation patterns across the brain. mpEDM is 1,530 X faster than cppEDM and a dataset containing 101,729 neuron was analyzed in 199 seconds on 512 nodes. This is the largest EDM causal inference achieved to date.


Dynamical systems around the Rauzy gasket and their ergodic properties. At the beggining of the 80's, H.Masur and W.Veech started the study of generic properties of interval exchange transformations proving that almost every such transformation is uniquely ergodic. About the same time, S.Novikov's school and French mathematicians independently discovered very intriguing phenomena for classes of measured foliations on surfaces and respective IETs. For instance, minimality is exceptional in these families. A precise version of this statement is a conjecture by Novikov. The French and Russian constructions are very different ones. Nevertheless, in the most simple situation (surfaces of genus three with two singularities) it was recently observed that both foliations share the same type of properties. For instance, the space of minimal parameters is the same, called the Rauzy gasket. However, the precise connection between these two series of works was rather unclear. The aim of this paper is to prove that both theories describe in different languages the same objects. This text provides an explicit dictionary between both constructions.


Transfer of angular spectrum in parametric down conversion with structured light. We develop the formal approach to the angular spectrum transfer in parametric down conversion that allows pumping with a structured beam. The scheme is based on an entangled photon source pumped by a laser beam structured with a vector vortex polarization profile. This creates a two photon quantum state exhibiting polarization dependent transverse correlations that can be accessed through coincidence measurements on the spatially separated photons. The calculated correlations are shown to present a spin orbit profile typical of vector beams, however, distributed on separate measurement regions. Our approach allows the design of the pump beam vector spatial structure and measurement strategies for potential applications of these entangled states, such as in quantum communication.


Dynamic Difficulty Adjustment via Fast User Adaptation. Dynamic difficulty adjustment (DDA) is a technology that adapts a game's challenge to match the player's skill. It is a key element in game development that provides continuous motivation and immersion to the player. However, conventional DDA methods require tuning in game parameters to generate the levels for various players. Recent DDA approaches based on deep learning can shorten the time consuming tuning process, but require sufficient user demo data for adaptation. In this paper, we present a fast user adaptation method that can adjust the difficulty of the game for various players using only a small amount of demo data by applying a meta learning algorithm. In the video game environment user test (n 9), our proposed DDA method outperformed a typical deep learning based baseline method.


Sample path large deviations for a class of heavy tailed Markov additive processes. For a class of additive processes driven by the affine recursion X n 1 A n X n B n , we develop a sample path large deviations principle in the M 1' topology on D 0,1 . We allow B n to have both signs and focus on the case where Kesten's condition holds on A 1 , leading to heavy tailed distributions. The most likely paths in our large deviations results are step functions with both positive and negative jumps.


Universality and least singular values of random matrix products a simplified approach. In this note, we show how to provide sharp control on the least singular value of a certain translated linearization matrix arising in the study of the local universality of products of independent random matrices. This problem was first considered in a recent work of Koppel, O'Rourke, and Vu, and compared to their work, our proof is substantially simpler and established in much greater generality . In particular, we only assume that the entries of the ensemble are centered, and have second and fourth moments uniformly bounded away from 0 and infinity, whereas previous work assumed a uniform subgaussian decay condition and that the entries within each factor of the product are identically distributed. A consequence of our least singular value bound is that the four moment matching universality results for the products of independent random matrices, recently obtained by Koppel, O'Rourke, and Vu, hold under much weaker hypotheses. Our proof technique is also of independent interest in the study of structured sparse matrices.


Subset Parking Functions. A parking function (c 1, ldots,c n) can be viewed as having n cars trying to park on a one way street with n parking spots, where car i tries to park in spot c i , and otherwise he parks in the leftmost available spot after c i . Another way to view this is that each car has a set C i of "acceptable" parking spots, namely C i c i,n , and that each car tries to park in the leftmost available spot that they find acceptable. Motivated by this, we define a subset parking function (C 1, ldots,C n) , with each C i a subset of 1, ldots,n , by having the i th car try to park in the leftmost available element of C i . We further generalize this idea by restricting our sets to be of size k , intervals, and intervals of length k . In each of these cases we provide formulas for the number of such parking functions.


Impact of the Number of Votes on the Reliability and Validity of Subjective Speech Quality Assessment in the Crowdsourcing Approach. The subjective quality of transmitted speech is traditionally assessed in a controlled laboratory environment according to ITU T Rec. P.800. In turn, with crowdsourcing, crowdworkers participate in a subjective online experiment using their own listening device, and in their own working environment. Despite such less controllable conditions, the increased use of crowdsourcing micro task platforms for quality assessment tasks has pushed a high demand for standardized methods, resulting in ITU T Rec. P.808. This work investigates the impact of the number of judgments on the reliability and the validity of quality ratings collected through crowdsourcing based speech quality assessments, as an input to ITU T Rec. P.808 . Three crowdsourcing experiments on different platforms were conducted to evaluate the overall quality of three different speech datasets, using the Absolute Category Rating procedure. For each dataset, the Mean Opinion Scores (MOS) are calculated using differing numbers of crowdsourcing judgements. Then the results are compared to MOS values collected in a standard laboratory experiment, to assess the validity of crowdsourcing approach as a function of number of votes. In addition, the reliability of the average scores is analyzed by checking inter rater reliability, gain in certainty, and the confidence of the MOS. The results provide a suggestion on the required number of votes per condition, and allow to model its impact on validity and reliability.


Cross Lingual Syntactic Transfer through Unsupervised Adaptation of Invertible Projections. Cross lingual transfer is an effective way to build syntactic analysis tools in low resource languages. However, transfer is difficult when transferring to typologically distant languages, especially when neither annotated target data nor parallel corpora are available. In this paper, we focus on methods for cross lingual transfer to distant languages and propose to learn a generative model with a structured prior that utilizes labeled source data and unlabeled target data jointly. The parameters of source model and target model are softly shared through a regularized log likelihood objective. An invertible projection is employed to learn a new interlingual latent embedding space that compensates for imperfect cross lingual word embedding input. We evaluate our method on two syntactic tasks part of speech (POS) tagging and dependency parsing. On the Universal Dependency Treebanks, we use English as the only source corpus and transfer to a wide range of target languages. On the 10 languages in this dataset that are distant from English, our method yields an average of 5.2 absolute improvement on POS tagging and 8.3 absolute improvement on dependency parsing over a direct transfer method using state of the art discriminative models.


Concrete representation of atomic (F 4) filtrations. We prove that for any martingale with respect to a biparameter atomic filtration satisfying (F 4) condition there is a martingale having the same joint distribution but with respect to the canonical (F 4) filtration. Even in one parameter case our result is an improvement of the theorem due to Montgomery Smith, since the construction gives a morphism of filtrations and does not depend on underlying sequence.


Instance Shadow Detection. Instance shadow detection is a brand new problem, aiming to find shadow instances paired with object instances. To approach it, we first prepare a new dataset called SOBA, named after Shadow OBject Association, with 3,623 pairs of shadow and object instances in 1,000 photos, each with individual labeled masks. Second, we design LISA, named after Light guided Instance Shadow object Association, an end to end framework to automatically predict the shadow and object instances, together with the shadow object associations and light direction. Then, we pair up the predicted shadow and object instances, and match them with the predicted shadow object associations to generate the final results. In our evaluations, we formulate a new metric named the shadow object average precision to measure the performance of our results. Further, we conducted various experiments and demonstrate our method's applicability on light direction estimation and photo editing.


Rohlin actions of finite groups on the Razak Jacelon algebra. Let A be a simple separable nuclear C algebra with a unique tracial state and no unbounded traces, and let alpha be a strongly outer action of a finite group G on A . In this paper, we show that alpha otimes mathrm id on A otimes mathcal W has the Rohlin property, where mathcal W is the Razak Jacelon algebra. Combing this result with the recent classification results and our previous result, we see that such actions are unique up to conjugacy.


Relative Bound and Asymptotic Comparison of Expectile with Respect to Expected Shortfall. Expectile bears some interesting properties in comparison to the industry wide expected shortfall in terms of assessment of tail risk. We study the relationship between expectile and expected shortfall using duality results and the link to optimized certainty equivalent. Lower and upper bounds of expectile are derived in terms of expected shortfall as well as a characterization of expectile in terms of expected shortfall. Further, we study the asymptotic behavior of expectile with respect to expected shortfall as the confidence level goes to 1 in terms of extreme value distributions. We use concentration inequalities to illustrate that the estimation of value at risk requires larger sample size than expected shortfall and expectile for heavy tail distributions when alpha is close to 1 . Illustrating the formulation of expectile in terms of expected shortfall, we also provide explicit or semi explicit expressions of expectile and some simulation results for some classical distributions.


Restricted mean value theorems and metric theory of restricted Weyl sums. We study an apparently new question about the behaviour of Weyl sums on a subset mathcal X subseteq 0,1) d with a natural measure mu on mathcal X . For certain measure spaces ( mathcal X , mu) we obtain non trivial bounds for the mean values of the Weyl sums, and for mu almost all points of mathcal X the Weyl sums satisfy the square root cancellation law. Moreover we characterise the size of the exceptional sets in terms of Hausdorff dimension. Finally, we derive variants of the Vinogradov mean value theorem averaging over measure spaces ( mathcal X , mu) . We obtain general results, which we refine for some special spaces mathcal X such as spheres, moment curves and line segments.


Resolution of singularities of 2 dimensional real analytic constrained differential systems. We present a theorem of resolution of singularities for real analytic constrained differential systems A(x) dot x F(x) defined on a 2 manifold with corners having impasse set x det A(x) 0 . This result can be seen as a generalization of the classical one for 2 dimensional real analytic vector fields. Our proof is based on weighted blow ups and the Newton polygon.


Mirror Descent Algorithms for Minimizing Interacting Free Energy. This note considers the problem of minimizing interacting free energy. Motivated by the mirror descent algorithm, for a given interacting free energy, we propose a descent dynamics with a novel metric that takes into consideration the reference measure and the interacting term. This metric naturally suggests a monotone reparameterization of the probability measure. By discretizing the reparameterized descent dynamics with the explicit Euler method, we arrive at a new mirror descent type algorithm for minimizing interacting free energy. Numerical results are included to demonstrate the efficiency of the proposed algorithms.


Big Math and the One Brain Barrier A Position Paper and Architecture Proposal. Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indispensable. We analyze the implications of this trend towards "big mathematics", its relation to human cognition, and how machine support for big math can be organized. The central contribution of this position paper is an information model for "doing mathematics", which posits that humans very efficiently integrate four aspects inference, computation, tabulation, and narration around a well organized core of mathematical knowledge. The challenge for mathematical software systems is that these four aspects need to be integrated as well. We briefly survey the state of the art.


SlideVaR a risk measure with variable risk attitudes. To find a trade off between profitability and prudence, financial practitioners need to choose appropriate risk measures. Two key points are Firstly, investors' risk attitudes under uncertainty conditions should be an important reference for risk measures. Secondly, risk attitudes are not absolute. For different market performance, investors have different risk attitudes. We proposed a new risk measure named SlideVaR which sufficiently reflects the different subjective attitudes of investors and the impact of market changes on investors' attitudes. We proposed the concept of risk tail region and risk tail sub additivity and proved that SlideVaR satisfies several important mathematical properties. Moreover, SlideVaR has a simple and intuitive form of expression for practical application. Several simulate and empirical computations show that SlideVaR has obvious advantages in markets where the state changes frequently.


The Impact of Negation on the Complexity of the Shapley Value in Conjunctive Queries. The Shapley value is a conventional and well studied function for determining the contribution of a player to the coalition in a cooperative game. Among its applications in a plethora of domains, it has recently been proposed to use the Shapley value for quantifying the contribution of a tuple to the result of a database query. In particular, we have a thorough understanding of the tractability frontier for the class of Conjunctive Queries (CQs) and aggregate functions over CQs. It has also been established that a tractable (randomized) multiplicative approximation exists for every union of CQs. Nevertheless, all of these results are based on the monotonicity of CQs. In this work, we investigate the implication of negation on the complexity of Shapley computation, in both the exact and approximate senses. We generalize a known dichotomy to account for negated atoms. We also show that negation fundamentally changes the complexity of approximation. We do so by drawing a connection to the problem of deciding whether a tuple is "relevant" to a query, and by analyzing its complexity.


Amharic Arabic Neural Machine Translation. Many automatic translation works have been addressed between major European language pairs, by taking advantage of large scale parallel corpora, but very few research works are conducted on the Amharic Arabic language pair due to its parallel data scarcity. Two Long Short Term Memory (LSTM) and Gated Recurrent Units (GRU) based Neural Machine Translation (NMT) models are developed using Attention based Encoder Decoder architecture which is adapted from the open source OpenNMT system. In order to perform the experiment, a small parallel Quranic text corpus is constructed by modifying the existing monolingual Arabic text and its equivalent translation of Amharic language text corpora available on Tanzile. LSTM and GRU based NMT models and Google Translation system are compared and found that LSTM based OpenNMT outperforms GRU based OpenNMT and Google Translation system, with a BLEU score of 12 , 11 , and 6 respectively.


Expository paper on Clifford algebras ,representations , and the octonion algebra. This paper is meant to be an informative introduction to spinor representations of Clifford algebras. In this paper we will have a look at Clifford algebras and the octonion algebra. We begin the paper looking at the quaternion algebra mathbb H and basic properties that relate Clifford algebras and the well know Pin and Spin groups. We then will look at generalized spinor representations of Clifford algebras, along with many examples. We conclude the paper looking at the octonion algebra mathbb O . This paper provides background to constructing representations which can be used to look at elements in the appropriate Pin and Spin groups.


Evaluating Gender Bias in Machine Translation. We present the first challenge set and evaluation protocol for the analysis of gender bias in machine translation (MT). Our approach uses two recent coreference resolution datasets composed of English sentences which cast participants into non stereotypical gender roles (e.g., "The doctor asked the nurse to help her in the operation"). We devise an automatic gender bias evaluation method for eight target languages with grammatical gender, based on morphological analysis (e.g., the use of female inflection for the word "doctor"). Our analyses show that four popular industrial MT systems and two recent state of the art academic MT models are significantly prone to gender biased translation errors for all tested target languages. Our data and code are made publicly available.


An Empirical View on Content Provider Fairness. Congestion control is an indispensable component of transport protocols to prevent congestion collapse. As such, it distributes the available bandwidth among all competing flows, ideally in a fair manner. However, there exists a constantly evolving set of congestion control algorithms, each addressing different performance needs and providing the potential for custom parametrizations. In particular, content providers such as CDNs are known to tune TCP stacks for performance gains. In this paper, we thus empirically investigate if current Internet traffic generated by content providers still adheres to the conventional understanding of fairness. Our study compares fairness properties of testbed hosts to actual traffic of six major content providers subject to different bandwidths, RTTs, queue sizes, and queueing disciplines in a home user setting. We find that some employed congestion control algorithms lead to significantly asymmetric bandwidth shares, however, AQMs such as FQ CoDel are able to alleviate such unfairness.


Task Guided Pair Embedding in Heterogeneous Network. Many real world tasks solved by heterogeneous network embedding methods can be cast as modeling the likelihood of pairwise relationship between two nodes. For example, the goal of author identification task is to model the likelihood of a paper being written by an author (paper author pairwise relationship). Existing task guided embedding methods are node centric in that they simply measure the similarity between the node embeddings to compute the likelihood of a pairwise relationship between two nodes. However, we claim that for task guided embeddings, it is crucial to focus on directly modeling the pairwise relationship. In this paper, we propose a novel task guided pair embedding framework in heterogeneous network, called TaPEm, that directly models the relationship between a pair of nodes that are related to a specific task (e.g., paper author relationship in author identification). To this end, we 1) propose to learn a pair embedding under the guidance of its associated context path, i.e., a sequence of nodes between the pair, and 2) devise the pair validity classifier to distinguish whether the pair is valid with respect to the specific task at hand. By introducing pair embeddings that capture the semantics behind the pairwise relationships, we are able to learn the fine grained pairwise relationship between two nodes, which is paramount for task guided embedding methods. Extensive experiments on author identification task demonstrate that TaPEm outperforms the state of the art methods, especially for authors with few publication records.


A comparison of Monte Carlo dropout and bootstrap aggregation on the performance and uncertainty estimation in radiation therapy dose prediction with deep learning neural networks. Recently, artificial intelligence technologies and algorithms have become a major focus for advancements in treatment planning for radiation therapy. As these are starting to become incorporated into the clinical workflow, a major concern from clinicians is not whether the model is accurate, but whether the model can express to a human operator when it does not know if its answer is correct. We propose to use Monte Carlo dropout (MCDO) and the bootstrap aggregation (bagging) technique on deep learning models to produce uncertainty estimations for radiation therapy dose prediction. We show that both models are capable of generating a reasonable uncertainty map, and, with our proposed scaling technique, creating interpretable uncertainties and bounds on the prediction and any relevant metrics. Performance wise, bagging provides statistically significant reduced loss value and errors in most of the metrics investigated in this study. The addition of bagging was able to further reduce errors by another 0.34 for Dmean and 0.19 for Dmax, on average, when compared to the baseline framework. Overall, the bagging framework provided significantly lower MAE of 2.62, as opposed to the baseline framework's MAE of 2.87. The usefulness of bagging, from solely a performance standpoint, does highly depend on the problem and the acceptable predictive error, and its high upfront computational cost during training should be factored in to deciding whether it is advantageous to use it. In terms of deployment with uncertainty estimations turned on, both frameworks offer the same performance time of about 12 seconds. As an ensemble based metaheuristic, bagging can be used with existing machine learning architectures to improve stability and performance, and MCDO can be applied to any deep learning models that have dropout as part of their architecture.


Bold Hearts Team Description for RoboCup 2019 (Humanoid Kid Size League). We participated in the RoboCup 2018 competition in Montreal with our newly developed BoldBot based on the Darwin OP and mostly self printed custom parts. This paper is about the lessons learnt from that competition and further developments for the RoboCup 2019 competition. Firstly, we briefly introduce the team along with an overview of past achievements. We then present a simple, standalone 2D simulator we use for simplifying the entry for new members with making basic RoboCup concepts quickly accessible. We describe our approach for semantic segmentation for our vision used in the 2018 competition, which replaced the lookup table (LUT) implementation we had before. We also discuss the extra structural support we plan to add to the printed parts of the BoldBot and our transition to ROS 2 as our new middleware. Lastly, we will present a collection of open source contributions of our team.


Robust transitivity of singular hyperbolic attractors. Singular hyperbolicity is a weakened form of hyperbolicity that has been introduced for vector fields in order to allow non isolated singularities inside the non wandering set. A typical example of a singular hyperbolic set is the Lorenz attractor. However, in contrast to uniform hyperbolicity, singular hyperbolicity does not immediately imply robust topological properties, such as the transitivity. In this paper, we prove that open and densely inside the space of C 1 vector fields of a compact manifold, any singular hyperbolic attractors is robustly transitive.


A motivic global Torelli theorem for isogenous K3 surfaces. We prove that the Chow motives of twisted derived equivalent K3 surfaces are isomorphic, not only as Chow motives (due to Huybrechts), but also as Frobenius algebra objects. Combined with a recent result of Huybrechts, we conclude that two complex projective K3 surfaces are isogenous (i.e. their second rational cohomology groups are Hodge isometric) if and only if their Chow motives are isomorphic as Frobenius algebra objects this can be regarded as a motivic Torelli type theorem. We ask whether, more generally, twisted derived equivalent hyper Kaehler varieties have isomorphic Chow motives as (Frobenius) algebra objects and in particular isomorphic graded rational cohomology algebras. In the appendix, we justify introducing the notion of "Frobenius algebra object" by showing the existence of an infinite family of K3 surfaces whose Chow motives are pairwise non isomorphic as Frobenius algebra objects but isomorphic as algebra objects. In particular, K3 surfaces in that family are pairwise non isogenous but have isomorphic rational Hodge algebras.


Cones, rectifiability, and singular integral operators. Let mu be a Radon measure on mathbb R d . We define and study conical energies mathcal E mu,p (x,V, alpha) , which quantify the portion of mu lying in the cone with vertex x in mathbb R d , direction V in G(d,d n) , and aperture alpha in (0,1) . We use these energies to characterize rectifiability and the big pieces of Lipschitz graphs property. Furthermore, if we assume that mu has polynomial growth, we give a sufficient condition for L 2( mu) boundedness of singular integral operators with smooth odd kernels of convolution type.


Orlicz space regularization of continuous optimal transport problems. In this work we analyze regularized optimal transport problems in the so called Kantorovich form, i.e. given two Radon measures on two compact sets, the aim is to find a transport plan, which is another Radon measure on the product of the sets, that has these two measures as marginals and minimizes the sum of a certain linear cost function and a regularization term. We focus on regularization terms where a Young's function applied to the (density of the) transport plan is integrated against a product measure. This forces the transport plan to belong to a certain Orlicz space. The predual problem is derived and proofs for strong duality and existence of primal solutions of the regularized problem are presented. Existence of (pre )dual solutions is shown for the special case of L p regularization for p geq 2 . Moreover, two results regarding Gamma convergence are stated The first is concerned with marginals that do not lie in the appropriate Orlicz space and guarantees Gamma convergence to the original Kantorovich problem, when smoothing the marginals. The second results gives convergence of a regularized and discretized problem to the unregularized, continuous problem.


Finding Salient Context based on Semantic Matching for Relevance Ranking. In this paper, we propose a salient context based semantic matching method to improve relevance ranking in information retrieval. We first propose a new notion of salient context and then define how to measure it. Then we show how the most salient context can be located with a sliding window technique. Finally, we use the semantic similarity between a query term and the most salient context terms in a corpus of documents to rank those documents. Experiments on various collections from TREC show the effectiveness of our model compared to the state of the art methods.


Optimal Poisson kernel regularity for elliptic operators with H "older continuous coefficients in vanishing chord arc domains. We show that if Omega is a vanishing chord arc domain and L is a divergence form elliptic operator with H "older continuous coefficient matrix, then log k L in VMO , where k L is the elliptic kernel for L in the domain Omega . This extends the previous work of Kenig and Toro in the case of the Laplacian.


On some geometric properties of normalized Wright functions. The main purpose of the present paper is to determine the radii of starlikeness and convexity associated with lemniscate of Bernoulli and the Janowski function, (1 Az) (1 Bz) for 1 leq B A leq 1, of normalized Wright functions. The key tools in the proof of our main results are the infinite product representation of Wright function and properties of real zeros of the Wright function and its derivative.


Nonempty intersection of longest paths in graphs without forbidden pairs. In 1966, Gallai asked whether all longest paths in a connected graph have a nonempty intersection. The answer to this question is not true in general and various counterexamples have been found. However, there is a positive solution to Gallai's question for many well known classes of graphs such as split graphs, series parallel graphs, and 2K 2 free graphs. Among all the graph classes that support Gallai's question, almost all of them were shown to be Hamiltonian under certain conditions. This observation motivates us to investigate Gallai's question in graphs that are "close" to Hamiltonicity properties. Let R,S be a pair of connected graphs. In particular, in this paper, we show that Gallai's question is affirmative for all connected R,S free graphs such that every 2 connected R,S free graph is Hamiltonian. These pairs R,S were completely characterized in 1990s.


Mining Data from the Congressional Record. We propose a data storage and analysis method for using the US Congressional record as a policy analysis tool. We use Amazon Web Services and the Solr search engine to store and process Congressional record data from 1789 to the present, and then query Solr to find how frequently language related to tax increases and decreases appears. This frequency data is compared to six economic indicators. Our preliminary results indicate potential relationships between incidence of tax discussion and multiple indicators. We present our data storage and analysis procedures, as well as results from comparisons to all six indicators.


Improving the efficiency of the multireference driven similarity renormalization group via sequential transformation, density fitting, and the non interacting virtual orbital approximation. This study examines several techniques to improve the efficiency of the linearized multireference driven similarity renormalization group truncated to one and two body operators MR LDSRG(2) . We propose a sequential MR LDSRG(2) sq MR LDSRG(2) approach, in which one body rotations are folded exactly into the Hamiltonian. This new approach is combined with density fitting (DF) to reduce the storage cost of two electron integrals. To further avoid the storage of large four index intermediates, we propose a non interacting virtual orbit (NIVO) approximation in which tensor blocks labeled by three and four virtual indices are neglected. The NIVO approximation reduces the computational cost prefactor of the MR LDSRG(2) bringing it closer to that of coupled cluster with singles and doubles (CCSD). We test the effect of the DF and NIVO approximations on the MR LDSRG(2) and sq MR LDSRG(2) methods by computing properties of eight diatomic molecules. The diatomic constants obtained by DF sq MR LDSRG(2) NIVO are found to be as accurate as those from the original MR LDSRG(2) and coupled cluster theory with singles, doubles, and perturbative triples. Finally, we demonstrate that the DF sq MR LDSRG(2) NIVO scheme can be applied to chemical systems with more than 550 basis functions by computing the automerization energy of cyclobutadiene with a quintuple zeta basis set. The predicted automerization energy is found similar to the values computed with Mukherjee's state specific multireference coupled cluster theory with singles and doubles.


Unified Representation Learning for Cross Model Compatibility. We propose a unified representation learning framework to address the Cross Model Compatibility (CMC) problem in the context of visual search applications. Cross compatibility between different embedding models enables the visual search systems to correctly recognize and retrieve identities without re encoding user images, which are usually not available due to privacy concerns. While there are existing approaches to address CMC in face identification, they fail to work in a more challenging setting where the distributions of embedding models shift drastically. The proposed solution improves CMC performance by introducing a light weight Residual Bottleneck Transformation (RBT) module and a new training scheme to optimize the embedding spaces. Extensive experiments demonstrate that our proposed solution outperforms previous approaches by a large margin for various challenging visual search scenarios of face recognition and person re identification.


Exploring Pose Priors for Human Pose Estimation with Joint Angle Representations. Pose Priors are critical in human pose estimation, since they are able to enforce constraints that prevent estimated poses from tending to physically impossible positions. Human pose generally consists of up to 22 Joint Angles of various segments, and their respective bone lengths, but the way these various segments interact can affect the validity of a pose. Looking at the Knee Ankle segment alone, we can observe that clearly, the Knee cannot bend forward beyond it's roughly 90 degree point, amongst various other impossible poses below.


Stability of fractional order systems with Prabhakar derivatives. Fractional derivatives of Prabhakar type are capturing an increasing interest since their ability to describe anomalous relaxation phenomena (in dielectrics and other fields) showing a simultaneous nonlocal and nonlinear behaviour. In this paper we study the asymptotic stability of systems of differential equations with the Prabhakar derivative, providing an exact characterization of the corresponding stability region. Asymptotic expansions (for small and large arguments) of the solution of linear differential equations of Prabhakar type and a numerical method for nonlinear systems are derived. Numerical experiments are hence presented to validate theoretical findings.


Quillen cohomology of enriched operads. A modern insight due to Quillen, which is further developed by Lurie, asserts that many cohomology theories of interest are particular cases of a single construction, which allows one to define cohomology groups in an abstract setting using only intrinsic properties of the category (or infty category) at hand. This universal cohomology theory is known as Quillen cohomology. In any setting, Quillen cohomology of a given object is classified by its cotangent complex. The main purpose of this paper is to study Quillen cohomology of enriched operads, when working in the model categorical framework. Our main result provides an explicit formula for computing Quillen cohomology of enriched operads, based on a procedure of taking certain infinitesimal models of their cotangent complexes. There is a natural construction of twisted arrow infty category of a simplicial operad, which extends the notion of twisted arrow infty category of an infty category introduced by Lurie. We assert that the cotangent complex of a simplicial operad can be represented as a spectrum valued functor on its twisted arrow infty category.


Comprehensive Facial Expression Synthesis using Human Interpretable Language. Recent advances in facial expression synthesis have shown promising results using diverse expression representations including facial action units. Facial action units for an elaborate facial expression synthesis need to be intuitively represented for human comprehension, not a numeric categorization of facial action units. To address this issue, we utilize human friendly approach use of natural language where language helps human grasp conceptual contexts. In this paper, therefore, we propose a new facial expression synthesis model from language based facial expression description. Our method can synthesize the facial image with detailed expressions. In addition, effectively embedding language features on facial features, our method can control individual word to handle each part of facial movement. Extensive qualitative and quantitative evaluations were conducted to verify the effectiveness of the natural language.


The ALOS Dataset for Advert Localization in Outdoor Scenes. The rapid increase in the number of online videos provides the marketing and advertising agents ample opportunities to reach out to their audience. One of the most widely used strategies is product placement, or embedded marketing, wherein new advertisements are integrated seamlessly into existing advertisements in videos. Such strategies involve accurately localizing the position of the advert in the image frame, either manually in the video editing phase, or by using machine learning frameworks. However, these machine learning techniques and deep neural networks need a massive amount of data for training. In this paper, we propose and release the first large scale dataset of advertisement billboards, captured in outdoor scenes. We also benchmark several state of the art semantic segmentation algorithms on our proposed dataset.


Universal Taylor Series on products of planar domains. Using a recent Mergelyan type theorem for products of planar compact sets we establish generic existence of Universal Taylor Series on products of planar simply connected domains Omegai, i 1, . . . , d. The universal approximation is realized by partial sums of the Taylor development of the universal function on products of planar compact sets Ki, i 1, . . . , d such that the complement of Ki is connected and for at least one i0 the set Ki0 is disjoint from Omegai0.


Disentangling Style and Content in Anime Illustrations. Existing methods for AI generated artworks still struggle with generating high quality stylized content, where high level semantics are preserved, or separating fine grained styles from various artists. We propose a novel Generative Adversarial Disentanglement Network which can disentangle two complementary factors of variations when only one of them is labelled in general, and fully decompose complex anime illustrations into style and content in particular. Training such model is challenging, since given a style, various content data may exist but not the other way round. Our approach is divided into two stages, one that encodes an input image into a style independent content, and one based on a dual conditional generator. We demonstrate the ability to generate high fidelity anime portraits with a fixed content and a large variety of styles from over a thousand artists, and vice versa, using a single end to end network and with applications in style transfer. We show this unique capability as well as superior output to the current state of the art.


Large genus asymptotics for lengths of separating closed geodesics on random surfaces. In this paper, we investigate basic geometric quantities of a random hyperbolic surface of genus g with respect to the Weil Petersson measure on the moduli space mathcal M g . We show that as g goes to infinity, a generic surface X in mathcal M g satisfies asymptotically (1) the separating systole of X is about 2 log g (2) there is a half collar of width about frac log g 2 around a separating systolic curve of X (3) the length of shortest separating closed multi geodesics of X is about 2 log g . As applications, we also discuss the asymptotic behavior of the extremal separating systole, the non simple systole and the expectation value of lengths of shortest separating closed multi geodesics as g goes to infinity.


A Funk perspective on billiards, projective geometry and Mahler volume. We explore connections furnished by the Funk metric, a relative of the Hilbert metric, between projective geometry, billiards, convex geometry and affine inequalities. We first show that many metric invariants of the Funk metric are invariant under projective transformations as well as projective duality. These include the Holmes Thompson volume and surface area of convex subsets, and the length spectrum of their boundary, extending results of Holmes Thompson and 'Alvarez Paiva on Sch "affer's dual girth conjecture. We explore in particular Funk billiards, which generalize hyperbolic billiards in the same way that Minkowski billiards generalize Euclidean ones, and extend a result of Gutkin Tabachnikov on the duality of Minkowski billiards. We next consider the volume of outward balls in Funk geometry. We conjecture a general affine inequality corresponding to the volume maximizers, which includes the Blaschke Santal 'o and centro affine isoperimetric inequalities as limit cases, and prove it for unconditional bodies, yielding a new proof of the volume entropy conjecture for the Hilbert metric for unconditional bodies. As a by product, we obtain generalizations to higher moments of inequalities of Ball and Huang Li, which in turn strengthen the Blaschke Santal 'o inequality for unconditional bodies. Lastly, we introduce a regularization of the total volume of a smooth strictly convex 2 dimensional set equipped with the Funk metric, resembling the O'Hara M "obius energy of a knot, and show that it is a projective invariant of the convex body.


EvoCraft A New Challenge for Open Endedness. This paper introduces EvoCraft, a framework for Minecraft designed to study open ended algorithms. We introduce an API that provides an open source Python interface for communicating with Minecraft to place and track blocks. In contrast to previous work in Minecraft that focused on learning to play the game, the grand challenge we pose here is to automatically search for increasingly complex artifacts in an open ended fashion. Compared to other environments used to study open endedness, Minecraft allows the construction of almost any kind of structure, including actuated machines with circuits and mechanical components. We present initial baseline results in evolving simple Minecraft creations through both interactive and automated evolution. While evolution succeeds when tasked to grow a structure towards a specific target, it is unable to find a solution when rewarded for creating a simple machine that moves. Thus, EvoCraft offers a challenging new environment for automated search methods (such as evolution) to find complex artifacts that we hope will spur the development of more open ended algorithms. A Python implementation of the EvoCraft framework is available at https github.com real itu Evocraft py.


Parallel Balanced Allocations The Heavily Loaded Case. We study parallel algorithms for the classical balls into bins problem, in which m balls acting in parallel as separate agents are placed into n bins. Algorithms operate in synchronous rounds, in each of which balls and bins exchange messages once. The goal is to minimize the maximal load over all bins using a small number of rounds and few messages. While the case of m n balls has been extensively studied, little is known about the heavily loaded case. In this work, we consider parallel algorithms for this somewhat neglected regime of m gg n . The naive solution of allocating each ball to a bin chosen uniformly and independently at random results in maximal load m n Theta( sqrt m n cdot log n ) (for m geq n log n ) w.h.p. In contrast, for the sequential setting Berenbrink et al (SIAM J. Comput 2006) showed that letting each ball join the least loaded bin of two randomly selected bins reduces the maximal load to m n O( log log m) w.h.p. To date, no parallel variant of such a result is known. We present a simple parallel threshold algorithm that obtains a maximal load of m n O(1) w.h.p. within O( log log (m n) log n) rounds. The algorithm is symmetric (balls and bins all "look the same"), and balls send O(1) messages in expectation per round. The additive term of O( log n) in the complexity is known to be tight for such algorithms (Lenzen and Wattenhofer Distributed Computing 2016). We also prove that our analysis is tight, i.e., algorithms of the type we provide must run for Omega( min log log (m n),n ) rounds w.h.p. Finally, we give a simple asymmetric algorithm (i.e., balls are aware of a common labeling of the bins) that achieves a maximal load of m n O(1) in a constant number of rounds w.h.p. Again, balls send only a single message per round, and bins receive (1 o(1))m n O( log n) messages w.h.p.


On the Side Effects of Automation in IoT Complacency and Comfort vs. Relapse and Distrust. Automation through IoT brings with it a whole new set of philosophical and ethical implications that we barely began to address. However, it is widely considered by many scholars as the panacea to overcoming the majority of societal issues. The case of energy efficiency as an action for tackling climate change is not different demand response proposals or occupancy driven energy management systems crowd the current research agenda on energy efficiency. However, there are still very few studies that have reported the effects of automation in the mid or long term beyond energy reduction (e.g. emotional feelings derived to interact with automation, complacency to the devices or perceived value of the automation throughout the time). In this workshop article, we report scientific evidence of a study conducted in ten workplaces during more than one year where we found that automating some electronic devices of common use (i.e. moving away or preventing subjects from the control of these devices) in favour of comfort and energy efficiency, is associated with a reduction of the users' confidence in science and technology as a mean to solve all environmental current problems and reduce the willingness of people to act in favor of the environment.


Improving Robustness and Generality of NLP Models Using Disentangled Representations. Supervised neural networks, which first map an input x to a single representation z , and then map z to the output label y , have achieved remarkable success in a wide range of natural language processing (NLP) tasks. Despite their success, neural models lack for both robustness and generality small perturbations to inputs can result in absolutely different outputs the performance of a model trained on one domain drops drastically when tested on another domain. In this paper, we present methods to improve robustness and generality of NLP models from the standpoint of disentangled representation learning. Instead of mapping x to a single representation z , the proposed strategy maps x to a set of representations z 1,z 2,...,z K while forcing them to be disentangled. These representations are then mapped to different logits l s, the ensemble of which is used to make the final prediction y . We propose different methods to incorporate this idea into currently widely used models, including adding an L 2 regularizer on z s or adding Total Correlation (TC) under the framework of variational information bottleneck (VIB). We show that models trained with the proposed criteria provide better robustness and domain adaptation ability in a wide range of supervised learning tasks.


Convolutional Temporal Attention Model for Video based Person Re identification. The goal of video based person re identification is to match two input videos, so that the distance of the two videos is small if two videos contain the same person. A common approach for person re identification is to first extract image features for all frames in the video, then aggregate all the features to form a video level feature. The video level features of two videos can then be used to calculate the distance of the two videos. In this paper, we propose a temporal attention approach for aggregating frame level features into a video level feature vector for re identification. Our method is motivated by the fact that not all frames in a video are equally informative. We propose a fully convolutional temporal attention model for generating the attention scores. Fully convolutional network (FCN) has been widely used in semantic segmentation for generating 2D output maps. In this paper, we formulate video based person re identification as a sequence labeling problem like semantic segmentation. We establish a connection between them and modify FCN to generate attention scores to represent the importance of each frame. Extensive experiments on three different benchmark datasets (i.e. iLIDS VID, PRID 2011 and SDU VID) show that our proposed method outperforms other state of the art approaches.


Double points of free projective line arrangements. We prove Anzis and Tohaneanu conjecture, that is the Dirac Motzkin conjecture for supersolvable line arrangements in the projective plane over an arbitrary field of characteristic zero. Moreover, we show that a divisionally free arrangements of lines contain at least one double point, that can be regarded as the Sylvester Gallai theorem for some free arrangements. This is a corollary of a general result that if you add a line to a free projective line arrangement, then that line has to contain at least one double point. Also we prove some conjectures and one open problems related to supersolvable line arrangements and the number of double points.


New results for the Mondrian art problem. The Mondrian problem consists of dissecting a square of side length n in NN into non congruent rectangles with natural length sides such that the difference d(n) between the largest and the smallest areas of the rectangles partitioning the square is minimum. In this paper, we compute some bounds on d(n) in terms of the number of rectangles of the square partition. These bounds provide us optimal partitions for some values of n in NN . We provide a sequence of square partitions such that d(n) n 2 tends to zero for n large enough. For the case of perfect' partitions, that is, with d(n) 0 , we show that, for any fixed powers s 1, ldots, s m , a square with side length n p 1 s 1 cdots p m s m , can have a perfect Mondrian partition only if p 1 satisfies a given lower bound. Moreover, if n(x) is the number of side lengths x (with n le x ) of squares not having a perfect partition, we prove that its density' frac n(x) x is asymptotic to frac ( log( log(x)) 2 2 log x , which improves previous results.


Warped Proximal Iterations for Monotone Inclusions. Resolvents of set valued operators play a central role in various branches of mathematics and in particular in the design and the analysis of splitting algorithms for solving monotone inclusions. We propose a generalization of this notion, called warped resolvent, which is constructed with the help of an auxiliary operator. The properties of warped resolvents are investigated and connections are made with existing notions. Abstract weak and strong convergence principles based on warped resolvents are proposed and shown to not only provide a synthetic view of splitting algorithms but to also constitute an effective device to produce new solution methods for challenging inclusion problems.


Bilinear embedding for Schr "odinger type operators with complex coefficients. We prove a variant of the so called bilinear embedding theorem for operators in divergence form with complex coefficients and subject to mixed boundary conditions, with nonnegative locally integrable potentials and acting on arbitrary open subsets of mathbb R d .


Testing noisy linear functions for sparsity. We consider the following basic inference problem there is an unknown high dimensional vector w in mathbb R n , and an algorithm is given access to labeled pairs (x,y) where x in mathbb R n is a measurement and y w cdot x mathrm noise . What is the complexity of deciding whether the target vector w is (approximately) k sparse? The recovery analogue of this problem given the promise that w is sparse, find or approximate the vector w is the famous sparse recovery problem, with a rich body of work in signal processing, statistics, and computer science. We study the decision version of this problem (i.e. deciding whether the unknown w is k sparse) from the vantage point of property testing. Our focus is on answering the following high level question when is it possible to efficiently test whether the unknown target vector w is sparse versus far from sparse using a number of samples which is completely independent of the dimension n ? We consider the natural setting in which x is drawn from a i.i.d. product distribution mathcal D over mathbb R n and the mathrm noise process is independent of the input x . As our main result, we give a general algorithm which solves the above described testing problem using a number of samples which is completely independent of the ambient dimension n , as long as mathcal D is not a Gaussian. In fact, our algorithm is fully noise tolerant, in the sense that for an arbitrary w , it approximately computes the distance of w to the closest k sparse vector. To complement this algorithmic result, we show that weakening any of our condition makes it information theoretically impossible for any algorithm to solve the testing problem with fewer than essentially log n samples.


Pre training Protein Language Models with Label Agnostic Binding Pairs Enhances Performance in Downstream Tasks. Less than 1 of protein sequences are structurally and functionally annotated. Natural Language Processing (NLP) community has recently embraced self supervised learning as a powerful approach to learn representations from unlabeled text, in large part due to the attention based context aware Transformer models. In this work we present a modification to the RoBERTa model by inputting during pre training a mixture of binding and non binding protein sequences (from STRING database). However, the sequence pairs have no label to indicate their binding status, as the model relies solely on Masked Language Modeling (MLM) objective during pre training. After fine tuning, such approach surpasses models trained on single protein sequences for protein protein binding prediction, TCR epitope binding prediction, cellular localization and remote homology classification tasks. We suggest that the Transformer's attention mechanism contributes to protein binding site discovery. Furthermore, we compress protein sequences by 64 with the Byte Pair Encoding (BPE) vocabulary consisting of 10K subwords, each around 3 4 amino acids long. Finally, to expand the model input space to even larger proteins and multi protein assemblies, we pre train Longformer models that support 2,048 tokens. Further work in token level classification for secondary structure prediction is needed. Code available at https github.com PaccMann paccmann proteomics


Computation of Circular Area and Spherical Volume Invariants via Boundary Integrals. We show how to compute the circular area invariant of planar curves, and the spherical volume invariant of surfaces, in terms of line and surface integrals, respectively. We use the Divergence Theorem to express the area and volume integrals as line and surface integrals, respectively, against particular kernels our results also extend to higher dimensional hypersurfaces. The resulting surface integrals are computable analytically on a triangulated mesh. This gives a simple computational algorithm for computing the spherical volume invariant for triangulated surfaces that does not involve discretizing the ambient space. We discuss potential applications to feature detection on broken bone fragments of interest in anthropology.


On the trend to global equilibrium for Kuramoto Oscillators. In this paper, we study the convergence to the stable equilibrium for Kuramoto oscillators. Specifically, we derive estimates on the rate of convergence to the global equilibrium for solutions of the Kuramoto Sakaguchi equation in a large coupling strength regime from generic initial data. As a by product, using the stability of the equation in the Wasserstein distance, we quantify the rate at which discrete Kuramoto oscillators concentrate around the global equilibrium. In doing this, we achieve a quantitative estimate in which the probability that the oscillators will concentrate at the given rate tends to one as the number of oscillators increases. Among the essential steps in our proof are 1) An entropy production estimate inspired by the formal Riemannian structure of the space of probability measures, first introduced by F. Otto in 35 2) A new quantitative estimate on the instability of equilibria with antipodal oscillators based on the dynamics of norms of the solution in sets evolving by the continuity equation 3) The use of generalized local logarithmic Sobolev and Talagrand type inequalities, similar to the ones derived by F. Otto and C. Villani in 36 4) The study of a system of coupled differential inequalities, by a treatment inspired by the work of L. Desvillettes and C. Villani 13 . Since the Kuramoto Sakaguchi equation is not a gradient flow with respect to the Wasserstein distance, we derive such inequalities under a suitable fibered transportation distance.


On the performance of a highly scalable Computational Fluid Dynamics code on AMD, ARM and Intel processors. No area of computing is hungrier for performance than High Performance Computing (HPC), the demands of which continue to be a major driver for processor performance and adoption of accelerators, and also advances in memory, storage, and networking technologies. A key feature of the Intel processor domination of the past decade has been the extensive adoption of GPUs as coprocessors, whilst more recent developments have seen the increased availability of a number of CPU processors, including the novel ARM based chips. This paper analyses the performance and scalability of a state of the art Computational Fluid Dynamics (CFD) code on three HPC cluster systems equipped with AMD EPYC Rome (EPYC, 4096 cores), ARM based Marvell ThunderX2 (TX2, 8192 cores) and Intel Skylake (SKL, 8000 cores) processors. Three benchmark cases are designed with increasing computation to communication ratio and numerical complexity, namely lid driven cavity flow, Taylor Green vortex and a travelling solitary wave using the level set method, adopted with 4 th order central differences or a 5 th order WENO scheme. Our results show that the EPYC cluster delivers the best code performance for all the setups under consideration. In the first two benchmarks, the SKL cluster demonstrates faster computing times than the TX2 system, whilst in the solitary wave simulations, the TX2 cluster achieves good scalability and similar performance to the EPYC system, both improving on that obtained with the SKL cluster. These results suggest that while the Intel SKL cores deliver the best strong scalability, the associated cluster performance is lower compared to the EPYC system. The TX2 cluster performance is promising considering its recent addition to the HPC portfolio.


Explainability Case Studies. Explainability is one of the key ethical concepts in the design of AI systems. However, attempts to operationalize this concept thus far have tended to focus on approaches such as new software for model interpretability or guidelines with checklists. Rarely do existing tools and guidance incentivize the designers of AI systems to think critically and strategically about the role of explanations in their systems. We present a set of case studies of a hypothetical AI enabled product, which serves as a pedagogical tool to empower product designers, developers, students, and educators to develop a holistic explainability strategy for their own products.


Multi Commodity Nash Flows Over Time. Motivated by the dynamic traffic assignment problem, we consider flows over time model with deterministic queuing. Dynamic equilibria, called Nash flows over time, have been studied intensively since their introduction by Koch and Skutella in 2009. Unfortunately, the original model can only handle a single commodity, i.e., all flow goes from one origin to one destination, therefore, this theory is not applicable to every day traffic scenarios. For this reason we consider Nash flows over time in a setting with multiple commodities, each with a individual origin and destination. We prove their existence with the help of multi commodity thin flows with resetting. This proof gives some interesting structural insights into the strategy profiles underlying the equilibria, as they emphasis the inter commodity dependencies. Finally, we show that the two special cases of a common origin or a common destination can be reduced to the single commodity case.


New feature for Complex Network based on Ant Colony Optimization for High Level Classification. Low level classification extracts features from the elements, i.e. physical to use them to train a model for a later classification. High level classification uses high level features, the existent patterns, relationship between the data and combines low and high level features for classification. High Level features can be got from Complex Network created over the data. Local and global features are used to describe the structure of a Complex Network, i.e. Average Neighbor Degree, Average Clustering. The present work proposed a novel feature to describe the architecture of the Network following a Ant Colony System approach. The experiments shows the advantage of using this feature because the sensibility with data of different classes.


Flood Evacuation During Pandemic A multi objective Framework to Handle Compound Hazard. The evacuation of the population from flood affected regions is a non structural measure to mitigate flood hazards. Shelters used for this purpose usually accommodate a large number of flood evacuees for a temporary period. Floods during pandemic result in a compound hazard. Evacuations under such situations are difficult to plan as social distancing is nearly impossible in the highly crowded shelters. This results in a multi objective problem with conflicting objectives of maximizing the number of evacuees from flood prone regions and minimizing the number of infections at the end of the shelter's stay. To the best of our knowledge, such a problem is yet to be explored in literature. Here we develop a simulation optimization framework, where multiple objectives are handled with a max min approach. The simulation model consists of an extended Susceptible Exposed Infectious Recovered Susceptible (SEIRS) model.We apply the proposed model to the flood prone Jagatsinghpur district in the state of Odisha, India. We find that the proposed approach can provide an estimate of people required to be evacuated from individual flood prone villages to reduce flood hazards during the pandemic. At the same time, this does not result in an uncontrolled number of new infections. The proposed approach can generalize to different regions and can provide a framework to stakeholders to manage conflicting objectives in disaster management planning and to handle compound hazards.


Vanishing Error Approximate Degree and QMA Complexity. The epsilon approximate degree of a function f colon X to 0, 1 is the least degree of a multivariate real polynomial p such that p(x) f(x) leq epsilon for all x in X . We determine the epsilon approximate degree of the element distinctness function, the surjectivity function, and the permutation testing problem, showing they are Theta(n 2 3 log 1 3 (1 epsilon)) , tilde Theta(n 3 4 log 1 4 (1 epsilon)) , and Theta(n 1 3 log 2 3 (1 epsilon)) , respectively. Previously, these bounds were known only for constant epsilon. We also derive a connection between vanishing error approximate degree and quantum Merlin Arthur (QMA) query complexity. We use this connection to show that the QMA complexity of permutation testing is Omega(n 1 4 ) . This improves on the previous best lower bound of Omega(n 1 6 ) due to Aaronson (Quantum Information Computation, 2012), and comes somewhat close to matching a known upper bound of O(n 1 3 ) .


Multi agent deployment under the leader displacement measurement a PDE based approach. We study the deployment of a first order multi agent system over a desired smooth curve in 3D space. We assume that the agents have access to the local information of the desired curve and their displacements with respect to their closest neighbors, whereas in addition a leader is able to measure his absolute displacement with respect to the desired curve. In this paper we consider the case that the desired curve is a closed C 2 curve and we assume that the leader transmit his measurement to other agents through a communication network. We start the algorithm with displacement based formation control protocol. Connections from this ODE model to a PDE model (heat equation), which can be seen as a reduced model, are then established. The resulting closed loop system is modeled as a heat equation with delay (due to the communication). The boundary condition is periodic since the desired curve is closed. By choosing appropriate controller gains (the diffusion coefficient and the gain multiplying the leader state), we can achieve any desired decay rate provided the delay is small enough. The advantage of our approach is in the simplicity of the control law and the conditions. Numerical example illustrates the efficiency of the method.


Single Network Whole Body Pose Estimation. We present the first single network approach for 2D whole body pose estimation, which entails simultaneous localization of body, face, hands, and feet keypoints. Due to the bottom up formulation, our method maintains constant real time performance regardless of the number of people in the image. The network is trained in a single stage using multi task learning, through an improved architecture which can handle scale differences between body foot and face hand keypoints. Our approach considerably improves upon OpenPose cite cao2018openpose , the only work so far capable of whole body pose estimation, both in terms of speed and global accuracy. Unlike OpenPose, our method does not need to run an additional network for each hand and face candidate, making it substantially faster for multi person scenarios. This work directly results in a reduction of computational complexity for applications that require 2D whole body information (e.g., VR AR, re targeting). In addition, it yields higher accuracy, especially for occluded, blurry, and low resolution faces and hands. For code, trained models, and validation benchmarks, visit our project page https github.com CMU Perceptual Computing Lab openpose train.


A Deep Image Compression Framework for Face Recognition. Face recognition technology has advanced rapidly and has been widely used in various applications. Due to the extremely huge amount of data of face images and the large computing resources required correspondingly in large scale face recognition tasks, there is a requirement for a face image compression approach that is highly suitable for face recognition tasks. In this paper, we propose a deep convolutional autoencoder compression network for face recognition tasks. In the compression process, deep features are extracted from the original image by the convolutional neural networks to produce a compact representation of the original image, which is then encoded and saved by existing codec such as PNG. This compact representation is utilized by the reconstruction network to generate a reconstructed image of the original one. In order to improve the face recognition accuracy when the compression framework is used in a face recognition system, we combine this compression framework with a existing face recognition network for joint optimization. We test the proposed scheme and find that after joint training, the Labeled Faces in the Wild (LFW) dataset compressed by our compression framework has higher face verification accuracy than that compressed by JPEG2000, and is much higher than that compressed by JPEG.


FBI Transform in Gevrey Classes and Anosov Flows. An analytic FBI transform is built on compact manifolds without boundary, that satisfies all the expected properties. It enables the study of microlocal analytic and Gevrey regularity on such manifolds. This tool is then used to study the Ruelle spectrum of Anosov flows with Gevrey coefficients. In particular, finite order for the associated dynamical determinant is proved.


First order primal dual methods for nonsmooth nonconvex optimisation. We provide an overview of primal dual algorithms for nonsmooth and non convex concave saddle point problems. This flows around a new analysis of such methods, using Bregman divergences to formulate simplified conditions for convergence.