Related papers: On the properties $\mathrm{SOP}_{2^{n+1}+1}$

We say that the set of $y$-smooth numbers $\mathcal{S}(N,y)$ up to $N$ is super smooth if $y=\log^KN$ for a large fixed constant $K$. We show that the Roth's theorem on arithmetic progressions is true in super smooth numbers case. This…

We elaborate an algebraic framework for describing internal topological symmetries of gapped boundaries of (2+1)D topological orders. We present a categorical obstruction to the coherence of bulk group symmetry and boundary symmetries in…

We consider (continuum) mass ratios of the lightest `glueballs' as a function of N for SO(N) and SU(N) lattice gauge theories in D=2+1. We observe that the leading large N correction is usually sufficient to describe the N-dependence of…

We discuss various symmetry properties of the N = 2 supersymmetric quantum spin model in one (0 + 1)-dimension of spacetime and provide their relevance in the realm of the mathematics of differential geometry. We show one-to-one mapping…

A predictive distribution over a sequence of $N+1$ events is said to be "frequency mimicking" whenever the probability for the final event conditioned on the outcome of the first $N$ events equals the relative frequency of successes among…

Considering a linearly ordered set, we introduce its symmetric version, and endow it with two operations extending supremum and infimum, so as to obtain an algebraic structure close to a commutative ring. We show that imposing symmetry…

In this paper we characterize irreducible generic representations of $\SO_{2n+1}(k)$ where $k$ is a $p$-adic field) by means of twisted local gamma factors (the Local Converse Theorem). As applications, we prove that two irreducible generic…

Quantum field theories with quenched disorder are so hard to study that even exactly solvable free theories present puzzling aspects. We consider a free scalar field $\phi$ in $d$ dimensions coupled to a random source $h$ with quenched…

Monadic decomposability is a notion of variable independence, which asks whether a given formula in a first-order theory is expressible as a Boolean combination of monadic predicates in the theory. Recently, Veanes et al. showed the…

We study some generalized notions of cohesiveness which arise naturally in connection with effective versions of Ramsey's Theorem. An infinite set $A$ of natural numbers is $n$--cohesive (respectively, $n$--r--cohesive) if $A$ is almost…

We give a classification and a construction of all smooth $(n-1)$-dimensional varieties of lines in ${\bf P}\sp n$ verifying that all their lines meet a curve. This also gives a complete classification of $(n-1)$-scrolls over a curve…

We investigate a quantum system possessing a parasupersymmetry of order 2, an orthosupersymmetry of order $p$, a fractional supersymmetry of order $p+1$, and topological symmetries of type $(1,p)$ and $(1,1,...,1)$. We obtain the…

We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the…

Let $P$ be a set of $n$ points in the plane, and let $\mathcal C$ be a collection of $n$ simple $k$-intersecting curves, meaning that every two distinct curves of $\mathcal C$ meet in at most $k$ points. A classical theorem of Pach and…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

We investigate the decidability of the monadic second-order (MSO) theory of the structure $\langle \mathbb{N};<,P_1, \ldots,P_d \rangle$, for various unary predicates $P_1,\ldots,P_d \subseteq \mathbb{N}$. We focus in particular on…

In the paper the foundation of the $k$-orbit theory is developed. The theory opens a new simple way to the investigation of groups and multidimensional symmetries. The relations between combinatorial symmetry properties of a $k$-orbit and…

Quantum integrable models that possess $N=2$ supersymmetry are investigated on the half-space. Conformal perturbation theory is used to identify some $N=2$ supersymmetric boundary integrable models, and the effective boundary…

Matter exhibits phases and their transitions. These transitions are classified as first-order phase transitions (FOPTs) and continuous ones. While the latter has a well-established theory of the renormalization group, the former is only…

It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite interesting and well-studied. We prove precise structure…