English
Related papers

Related papers: SPM Bulletin 12

200 papers

We review the remarkable progress that has been made the last 15 years towards the classification of supersymmetric solutions with emphasis on the description of the bilinears and spinorial geometry methods. We describe in detail the…

High Energy Physics - Theory · Physics 2019-03-27 U. Gran , J. Gutowski , G. Papadopoulos

We give some remarks on some manifolds K3 surfaces, Complex projective spaces, real projective space and Torus and the classification of two dimensional Riemannian surfaces, Green functions and the Stokes formula. We also, talk about traces…

General Mathematics · Mathematics 2026-02-17 Samy Skander Bahoura

We study the power of the bounded-width consistency algorithm in the context of the fixed-template Promise Constraint Satisfaction Problem (PCSP). Our main technical finding is that the template of every PCSP that is solvable in bounded…

Computational Complexity · Computer Science 2021-07-14 Albert Atserias , Víctor Dalmau

The following ``Key Lemma'' plays an important role in Parusinski's work on the existence of Lipschitz stratifications in the class of semianalytic sets: For any positive integer n, there is a finite set of homogeneous symmetric polynomials…

Algebraic Geometry · Mathematics 2007-05-23 Zinovy Reichstein , Boris Youssin

We present a definition of the class NP in combinatorial context as the set of languages of structures defined by finitely many forbidden lifted substructures. We apply this to special syntactically defined subclasses and show how they…

Combinatorics · Mathematics 2007-06-13 Gabor Kun , Jaroslav Nesetril

This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a…

q-alg · Mathematics 2008-02-03 Jozef H. Przytycki , Adam S. Sikora

A unified framework for fourth-order semilinear problems with trilinear nonlinearity and general source allows for quasi-best approximation with lowest-order finite element methods. This paper establishes the stability and a priori error…

Numerical Analysis · Mathematics 2023-05-23 Carsten Carstensen , Neela Nataraj , Gopikrishnan C. Remesan , Devika Shylaja

The Polytope Scheduling Problem (PSP) was introduced by Im, Kulkarni, and Munagala (JACM 2018) as a very general abstraction of resource allocation over time and captures many well-studied problems including classical unrelated machine…

Data Structures and Algorithms · Computer Science 2024-11-19 Sven Jäger , Alexander Lindermayr , Nicole Megow

The purpose of this short article is to prove some potential estimates that naturally arise in the study of subelliptic Sobolev inequalites for functions. This will allow us to prove a local subelliptic Sobolev inequality with the optimal…

Classical Analysis and ODEs · Mathematics 2015-07-14 Po-Lam Yung

We give the first approximation algorithm for mixed packing and covering semidefinite programs (SDPs) with polylogarithmic dependence on width. Mixed packing and covering SDPs constitute a fundamental algorithmic primitive with recent…

Data Structures and Algorithms · Computer Science 2021-07-13 Arun Jambulapati , Yin Tat Lee , Jerry Li , Swati Padmanabhan , Kevin Tian

We study the representation theory of the symmetric group $S_n$ in positive characteristic $p$. Using features of the LLT-algorithm we give a conjectural description of the projective cover $P(\lambda)$ of the simple module $D(\lambda)$…

Representation Theory · Mathematics 2015-06-23 Steen Ryom-Hansen

We study functions of least gradient as well as related superminimizers and solutions of obstacle problems in metric spaces that are equipped with a doubling measure and support a Poincar\'e inequality. We show a standard weak Harnack…

Metric Geometry · Mathematics 2018-01-29 Panu Lahti

This article attempts to summarize the effort by the particle physics community in addressing the tedious work of determining the parameter spaces of beyond-the-standard-model (BSM) scenarios, allowed by data. These spaces, typically…

High Energy Physics - Phenomenology · Physics 2025-01-30 Rajneil Baruah , Subhadeep Mondal , Sunando Kumar Patra , Satyajit Roy

This paper introduces a framework to study discrete optimization problems which are parametric in the following sense: their constraint matrices correspond to matrices over the ring $\mathbb{Z}[x]$ of polynomials in one variable. We…

Optimization and Control · Mathematics 2024-03-08 Marcel Celaya , Stefan Kuhlmann , Robert Weismantel

In this paper we study fundamental directional properties of sets under the assumption of condition (SSP) (introduced in a previous paper). We show several transversality theorems in the singular case and an (SSP)-structure preserving…

Algebraic Geometry · Mathematics 2013-09-24 Satoshi Koike , Laurentiu Paunescu

Fagin defined the class $NP$ by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-Order logic (SNP), while the authors used forbidden expanded…

Computational Complexity · Computer Science 2026-01-09 Gábor Kun , Jaroslav Nešetřil

We investigate expansions of Presburger arithmetic, i.e., the theory of the integers with addition and order, with additional structure related to exponentiation: either a function that takes a number to the power of $2$, or a predicate for…

Logic in Computer Science · Computer Science 2026-05-25 Michael Benedikt , Dmitry Chistikov , Alessio Mansutti

This paper deals with the Lipschitz regularity of minimizers for a class of variational obstacle problems with possible occurance of the Lavrentiev phenomenon. In order to overcome this problem, the availment of the notions of relaxed…

Analysis of PDEs · Mathematics 2021-02-26 Giacomo Bertazzoni , Samuele Riccò

We analyze the sketching approximability of constraint satisfaction problems on Boolean domains, where the constraints are balanced linear threshold functions applied to literals. In~particular, we explore the approximability of…

Computational Complexity · Computer Science 2022-07-18 Chi-Ning Chou , Alexander Golovnev , Amirbehshad Shahrasbi , Madhu Sudan , Santhoshini Velusamy

This survey synthesizes the current state of the art on the regularity theory for solutions to the optimal partition problem. Namely, we consider non-negative, vector-valued Sobolev functions whose components have mutually disjoint support,…

Analysis of PDEs · Mathematics 2025-10-10 Roberto Ognibene , Bozhidar Velichkov