English
Related papers

Related papers: The closure-complement-frontier problem in saturat…

200 papers

We explain how to see finite combinatorics of preorders implicit in the {text} of basic topological definitions or arguments in (Bourbaki, General topology, Ch.I), and define a concise combinatorial notation such that complete definitions…

Category Theory · Mathematics 2024-10-01 Misha Gavrilovich

In this paper we present a new bound obtained with the probabilistic method for the solution of the Set Covering problem with unit costs. The bound is valid for problems of fixed dimension, thus extending previous similar asymptotic…

Combinatorics · Mathematics 2014-07-18 Giovanni Felici , Sokol Ndreca , Aldo Procacci , Benedetto Scoppola

Given a saturated fusion system $\mathcal{F}$ over a finite $p$-group $S$, we provide criteria to determine when uniqueness of factorization into irreducible $\mathcal{F}$--invariant representations holds. We use them to prove uniqueness of…

Group Theory · Mathematics 2023-03-21 José Cantarero , Germán Combariza

We solve two related extremal problems in the theory of permutations. A set $Q$ of permutations of the integers 1 to $n$ is inversion-complete (resp., pair-complete) if for every inversion $(j,i)$, where $1 \le i \textless{} j \le n$,…

Combinatorics · Mathematics 2015-03-03 Eric Balandraud , Maurice Queyranne , Fabio Tardella

We consider correlation functions in symmetric product orbifold CFTs on the sphere, focusing on the case where all operators are single-cycle twists, and the covering surface is also a sphere. We directly construct the general class of…

High Energy Physics - Theory · Physics 2025-07-18 Benjamin A. Burrington , Ida G. Zadeh

A theory $T$ is said to have exact saturation at a singular cardinal $\kappa$ if it has a $\kappa$-saturated model which is not $\kappa^{+}$-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact…

Logic · Mathematics 2015-10-12 Itay Kaplan , Saharon Shelah , Pierre Simon

The most important open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that the classical Rockafellar's constraint qualification holds, which is called the "sum…

Functional Analysis · Mathematics 2014-07-01 Liangjin Yao

Let $\Omega_1,\Omega_2$ be two disjoint open sets in $\mathbf C^n$ whose boundaries share a smooth real hypersurface $M$ as relatively open subsets. Assume that $\Omega_i$ is equipped with a complex structure $J^i$ which is smooth up to…

Complex Variables · Mathematics 2010-08-09 Florian Bertrand , Xianghong Gong , Jean-Pierre Rosay

We show how topological methods developed in a previous article can be applied to prove new results about topological and homological finiteness properties of monoids. A monoid presentation is called special if the right-hand side of each…

Group Theory · Mathematics 2024-04-29 Robert D. Gray , Benjamin Steinberg

We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which…

Logic in Computer Science · Computer Science 2015-07-01 Martin Escardo

We give short, closure-theoretic proofs for uniform bounds on the growth of symbolic powers of ideals in regular rings. The author recently proved these bounds in mixed characteristic using various versions of perfectoid/big Cohen-Macaulay…

Commutative Algebra · Mathematics 2022-07-15 Takumi Murayama

Let I be a countably infinite set, S = Sym(I) the group of permutations of I, and E = End(I) the monoid of self-maps of I. Given two subgroups G, G' of S, let us write G \approx_S G' if there exists a finite subset U of S such that the…

Logic · Mathematics 2012-06-11 Zachary Mesyan

We present a sufficient condition on sets $E$ and $F$ in $\mathbb{R}^d$ to ensure compactness of Fourier concentration operators by introducing the notion of sets which are very thin at infinity. We are able to show that if the sets $E$ and…

Classical Analysis and ODEs · Mathematics 2025-03-18 Helge Jørgen Samuelsen

Constraint Satisfaction Problems (CSPs, for short) make up a class of problems with applications in many areas of computer science. The first classification of these problems was given by Schaeffer who showed that every CSP over the domain…

Computational Complexity · Computer Science 2025-08-18 Dejan Delic , John Marcoux

We consider countable so-called rich subsemigroups of (\omega\omega,\circ); each such semigroup $T$ gives a variety CPEA_T that is axiomatizable by a finite schema of equations taken in a countable subsignature of that of \omega-dimensional…

Logic · Mathematics 2015-03-03 Tarek Sayed Ahmed

This is an expository article on the singularities of nilpotent orbit closures in simple Lie algebras over the complex numbers. It is slanted towards aspects that are relevant for representation theory, including Maffei's theorem relating…

Representation Theory · Mathematics 2015-12-22 Anthony Henderson

An open (resp., closed) subset A of a topological space (X, T ) is called C-open (resp., C-closed) set if cl(A) \ A (resp., A \ int(A)) is a countable set. This paper aims to present the concept of C-open and C-closed sets. We first…

General Topology · Mathematics 2023-05-08 M. H. Alqahtani

We provide the set of filters (saturated submonoids) in a commutative monoid with a topology (like the spectrum of a ring) and study the resulting spaces.

General Topology · Mathematics 2007-05-23 Holger Brenner

In this work, we focus on several completion problems for subclasses of chordal graphs: Minimum Fill-In, Interval Completion, Proper Interval Completion, Threshold Completion, and Trivially Perfect Completion. In these problems, the task is…

Computational Complexity · Computer Science 2015-10-16 Ivan Bliznets , Marek Cygan , Pawel Komosa , Lukas Mach , Michal Pilipczuk

We finish the proof of the conjecture of F. Bogomolov and F. Pop: Let $F_{1}$ and $F_{2}$ be fields finitely-generated and of transcendence degree $\geq 2$ over $k_{1}$ and $k_{2}$, respectively, where $k_{1}$ is either $\bar{\mathbb{Q}}$…

Algebraic Geometry · Mathematics 2013-01-29 Aaron Michael Silberstein