Related papers: Separation of analytic sets by rectangles of low c…
We provide dichotomy results characterizing when two disjoint analytic binary relations can be separated by a countable union of ${\bf\Sigma}^0_1 \!\times\! {\bf\Sigma}^0_\xi$ sets, or by a ${\bf\Pi}^0_1 \!\times\! {\bf\Pi}^0_\xi$ set.
The main aim of the paper is to give a formula for computing the separation \L ojasiewicz exponents for two real analytic set germs via the Newton--Puiseux expansions of their defining functions. Moreover, we present an effective exponent…
Let $\bf\Gamma$ be a Borel class, or a Wadge class of Borel sets, and $2\leq d\leq\omega$ a cardinal. We study the Borel subsets of ${\mathbb R}^d$ that can be made $\bf\Gamma$ by refining the Polish topology on the real line. These sets…
Separation is a classical problem in mathematics and computer science. It asks whether, given two sets belonging to some class, it is possible to separate them by another set of a smaller class. We present and discuss the separation problem…
We give, for some Borel sets of a product of two Polish spaces, including the Borel sets with countable sections, a Hurewicz-like characterization of those which cannot become a transfinite difference of open sets by changing the two Polish…
A Hamilton cycle in a graph $\Gamma$ is a cycle passing through every vertex of $\Gamma$. A Hamiltonian decomposition of $\Gamma$ is a partition of its edge set into disjoint Hamilton cycles. One of the oldest results in graph theory is…
In this paper we study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a dense subfamily of Spaces of Orderings, named Geometric, which…
Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a…
We consider a class of graphs subject to certain restrictions, including the finiteness of diameters. Any surjective mapping $\phi:\Gamma\to\Gamma'$ between graphs from this class is shown to be an isomorphism provided that the following…
The distinguishing number $D(\Gamma)$ of a graph $\Gamma$ is the least size of a partition of the vertices of $\Gamma$ such that no non-trivial automorphism of $\Gamma$ preserves this partition. We show that if the automorphism group of a…
We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…
In this paper we develop a technique for proving determinacy of classes of the form $\omega^2-\Pi^1_1+\Gamma$ (a refinement of the difference hierarchy on the co-analytic sets lying between $\omega^2-\Pi^1_1$ and $(\omega^2+1)-\Pi^1_1$)…
This paper concerns an analytical stratification question of real algebraic and semi-algebraic sets. For Whitney's stratification in 1957, it partitions a real algebraic set into partial algebraic manifolds\cite{W}. In 1975 Hironaka…
In this paper, we describe the possible disconnected complex reductive algebraic groups $E$ with component group $\Gamma = E/E_0$. We show that there is a natural bijection between such groups $E$ and algebraic extensions of $\Gamma$ by…
This paper is on $\Gamma$-convergence for degenerate integral functionals related to homogenisation problems in the Heisenberg group. Here both the rescaling and the notion of invariance or periodicity are chosen in a way motivated by the…
We study the possibility of splitting any bounded analytic function with singularities in a closed set E union F as a sum of two bounded analytic functions with singularities in E and F respectively. We obtain some results under geometric…
We summarize recent results initiating spectral analysis on pseudo-Riemannian locally symmetric spaces $\Gamma \backslash G/H$, beyond the classical setting where $H$ is compact (e.g. theory of automorphic forms for arithmetic $\Gamma$) or…
We address some conjectures and open problems in "analysis of symmetries" which include the study of non-commutative harmonic analysis and discontinuous groups for reductive homogeneous spaces beyond the classical framework: (1) discrete…
In this paper we study the following problem: Given $k$ disjoint sets of points, $P_1, \ldots, P_k$ on the plane, find a minimum cardinality set $\mathcal{T}$ of arbitrary rectangles such that each rectangle contains points of just one set…
We obtain a compactness result for $\Gamma$-convergence of integral functionals defined on $\mathcal{A}$-free vector fields. This is used to study homogenization problems for these functionals without periodicity assumptions. More…