Related papers: SPM Bulletin 4
Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic objects, geometrical objects, etc). Powerful symbolic algorithms have been developed during the past decades and have played an…
This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as a satellite event of the 19th International Symposium on…
In this note we show that for any Hamiltonian defined on a symplectic 4-manifold M and any point p in M, there exists a C2-close Hamiltonian whose regular energy surface through p is either Anosov or it contains a homoclinic tangency. Our…
This short paper shows a topological obstruction of the existence of certain Lagrangian submanifolds in symplectic $4m$-manifolds.
This survey aims to provide a guide to the literature on topological 4-manifolds. Foundational theorems on 4-manifolds are stated, especially in the topological category. Precise references are given, with indications of the strategies…
This is a survey on the use of low-degree polynomials to predict and explain the apparent statistical-computational tradeoffs in a variety of average-case computational problems. In a nutshell, this framework measures the complexity of a…
These lecture notes are from a first course on the Minimal Supersymmetric Standard Model. The level of the notes is introductory and pedagogical. Standard Model, basic supersymmetry algebra and its representations are considered as…
Let $\Gamma$ be the Fuchsian group of the first kind. For an even integer $m\ge 4$, we study $m/2$-holomorphic differentials in terms of space of (holomorphic) cuspidal modular forms $S_m(\Gamma)$. We also give in depth study of Wronskians…
News: TGG session in the April meeting, by Cliff Will NRC report, by Beverly Berger MG9 Travel Grant for US researchers, by Jim Isenberg Research Briefs: How many coalescing binaries are there?, by Vicky Kalogera Recent developments in…
A summary of the XIV\underline{th} International Conference on Few-body Problems In Physics is given, with an emphasis on the important problems solved recently and the prognosis for the future of the field. Personal remarks and…
We survey the progress (or lack thereof!) that has been made on some questions about the p-adic slopes of modular forms that were raised by the first author in [Buz05], discuss strategies for making further progress, and examine other…
Sobolev orthogonal polynomials have been studied extensively in the past 20 years. The research in this field has sprawled into several directions and generates a plethora of publications. This paper contains a survey of the main…
This paper, written in relation to the Current Developments in Mathematics 2012 Conference, discusses the recent papers on perfectoid spaces. Apart from giving an introduction to their content, it includes some open questions, as well as…
This is a renovated list of open problems, to appear in: "Affine Algebraic Geometry" conference Proceedings volume in Contemporary Mathematics series of the Amer. Math. Soc. Ed. by Jaime Gutierrez, Vladimir Shpilrain, and Jie-Tai Yu.
Language is a social phenomenon and variation is inherent to its social nature. Recently, there has been a surge of interest within the computational linguistics (CL) community in the social dimension of language. In this article we present…
In this review, we examine the recent progress in saliency prediction and proposed several avenues for future research. In spite of tremendous efforts and huge progress, there is still room for improvement in terms finer-grained analysis of…
These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic…
These lectures were prepared for the 2014 PCMI graduate summer school and were designed to be a lightweight introduction to statistical mechanics for mathematicians. The applications feature some of the themes of the summer school: sphere…
A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits of our current…
This is an edited write-up of lecture notes of the 7-th Appalachian set theory workshop of the same title led by the first named author at the Cornell University on November 22, 2008. A draft version of the notes was prepared by the second…