English
Related papers

Related papers: Separation of bounded arithmetic using a consisten…

200 papers

This paper studies the structure and stability of boundaries in noncollapsed $\text{RCD}(K,N)$ spaces, that is, metric-measure spaces $(X,\mathsf{d},\mathscr{H}^N)$ with lower Ricci curvature bounded below. Our main structural result is…

Differential Geometry · Mathematics 2020-11-18 Elia Bruè , Aaron Naber , Daniele Semola

For a coherent, binary system made up of binary elements, the exact failure probability requires knowledge of statistical dependence of all orders among the minimal cut sets. Since dependence among the cut sets beyond the second order is…

Probability · Mathematics 2023-03-20 Sourangshu Ghosh , Baidurya Bhattacharya

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic…

Geometric Topology · Mathematics 2009-10-19 Kartoue Mady Demdah

We establish the global well-posedness of the derivative nonlinear Schr\"odinger equation with periodic boundary condition in the Sobolev space $H^{\frac12}$, provided that the mass of initial data is less than $4\pi$. This result matches…

Analysis of PDEs · Mathematics 2016-08-25 Razvan Mosincat

Building on the theory of quantum posets, we introduce a non-commutative version of suplattices, i.e., complete lattices whose morphisms are supremum-preserving maps, which form a step towards a new notion of quantum topological spaces. We…

Discrete Mathematics · Computer Science 2023-09-01 Gejza Jenča , Bert Lindenhovius

It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are equal. We prove that these equalities hold for any…

Computational Complexity · Computer Science 2007-05-23 Lane A. Hemaspaandra , Joerg Rothe

The Lax equivalence theorem guarantees convergence of stable and consistent discretizations for linear hyperbolic partial differential equations (PDEs). For nonlinear problems, however, stability and consistency alone do not generally…

Numerical Analysis · Mathematics 2026-03-20 Zelalem Arega Worku , David C. Del Rey Fernández , David W. Zingg

We are concerned with two separation theorems about analytic sets by Dyck and Preiss, the former involves the positively-defined subsets of the Cantor space and the latter the Borel-convex subsets of finite dimensional Banach spaces. We…

Logic · Mathematics 2017-03-21 Vassilios Gregoriades

Let H_1 and H_2 be complex Hilbert spaces, L_1=P(H_1) and L_2=P(H_2) the lattices of closed subspaces, and let L be a complete atomistic lattice. We prove under some weak assumptions relating L_i and L, that if L admits an…

Mathematical Physics · Physics 2009-11-10 Boris Ischi

This paper aims at studying a generalized Camassa--Holm equation under random perturbation. We establish a local well-posedness result in the sense of Hadamard, i.e., existence, uniqueness and continuous dependence on initial data, as well…

Analysis of PDEs · Mathematics 2023-04-04 Yingting Miao , Christian Rohde , Hao Tang

In this paper we consider the Cauchy problem for 2D viscous shallow water system in Besov spaces. We firstly prove the local well-posedness of this problem in $B^s_{p,r}(\mathbb{R}^2)$, $s>max\{1,\frac{2}{p}\}$, $1\leq p,r\leq \infty$ by…

Analysis of PDEs · Mathematics 2014-12-01 Yanan Liu , Zhaoyang Yin

In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…

Geometric Topology · Mathematics 2018-01-18 Rustam Sadykov

Let $F_1,\dotsc,F_R$ be quadratic forms with integer coefficients in $n$ variables. When $n\geq 9R$ and the variety $V(F_1,\dotsc,F_R)$ is a smooth complete intersection, we prove an asymptotic formula for the number of integer points in an…

Number Theory · Mathematics 2022-06-22 Simon L. Rydin Myerson

The stable reduction theorem says that a family of curves of genus $g\geq 2$ over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new proof of this…

Differential Geometry · Mathematics 2020-09-30 Jian Song , Jacob Sturm , Xiaowei Wang

Gauging a finite subgroup of a global symmetry can map conventional phases and phase transitions to unconventional ones. In this work, we study, as a concrete example, an emergent $\mathbb{Z}_2$-gauged system with global symmetry $U(1)$,…

Strongly Correlated Electrons · Physics 2024-06-06 Lei Su , Meng Zeng

Recently, the Shifted Boundary Method (SBM) was proposed within the class of unfitted (or immersed, or embedded) finite element methods. By reformulating the original boundary value problem over a surrogate (approximate) computational…

Numerical Analysis · Mathematics 2023-07-19 Nabil M. Atallah , Claudio Canuto , Guglielmo Scovazzi

As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…

Algebraic Geometry · Mathematics 2015-05-19 Daniel Schäppi

In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…

Algebraic Geometry · Mathematics 2016-10-04 Qile Chen , Yi Zhu

In this note we show that for any hyperbolic surface S, the number of geodesics of length bounded above by L in the mapping class group orbit of a fixed closed geodesic with a single double point is asymptotic to L raised to the dimension…

Geometric Topology · Mathematics 2011-07-05 Igor Rivin

The following is shown : Let $S=\{a_1,a_2,..,a_{2n}\}$ be a subset of a totally ordered commutative semi-group $(G,*,\leq)$ with $a_1\leq a_2\leq...\leq a_{2n}$. Provided that a system of $n$ $a_{i_k} * a_{j_k}\ (a_{i_k}, a_{j_k} \in G ;\ 1…

Commutative Algebra · Mathematics 2011-06-21 Susumu Oda