Related papers: On NSOP$_2$ Theories
We prove that persuasion is an NP-complete problem.
In the paper we consider images of finite simple projective special linear and unitary groups under power words. In particular, we show that if $G\simeq \PSL_n^\varepsilon (q)$, then for every power words of type $x^M$ there exist constant…
N=2 supersymmetric field theories in two dimensions have been extensively studied in the last few years. Many of their properties can be determined along the whole renormalization group flow, like their coupling dependence and soliton…
We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for…
There exist two different languages, the ^sl(2) and N=2 ones, to describe similar structures; a dictionary is given translating the key representation-theoretic terms related to the two algebras. The main tool to describe the structure of…
We study Nash equilibria and the price of anarchy in the classic model of Network Creation Games introduced by Fabrikant et al. In this model every agent (node) buys links at a prefixed price $\alpha > 0$ in order to get connected to the…
Disjoint $n$-amalgamation is a condition on a complete first-order theory specifying that certain locally consistent families of types are also globally consistent. In this paper, we show that if a countably categorical theory $T$ admits an…
We characterize homology manifolds with $g_2\leq 2$. Specifically, using retriangulations of simplicial complexes, we give a short proof of Nevo and Novinsky's result on the characterization of homology $(d-1)$-spheres with $g_2=1$ for…
The entropy accumulation theorem states that the smooth min-entropy of an $n$-partite system $A = (A_1, \ldots, A_n)$ is lower-bounded by the sum of the von Neumann entropies of suitably chosen conditional states up to corrections that are…
We conjecture the existence of an embedding of the Racah algebra into the universal enveloping algebra of $\mathfrak{sl}_n$. Evidence of this conjecture is offered by realizing both algebras using differential operators and giving an…
Some errors in section 4 are corrected. No change in the results.
The supersymmetric generalization of Poisson-Lie T-duality in superconformal WZNW models is considered. It is shown that the classical N=2 superconformal WZNW models posses a natural Poisson-Lie symmetry which allows to construct dual…
We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere…
We initiate a systematic study of the class of theories without the tree property of the second kind - NTP2. Most importantly, we show: the burden is "sub-multiplicative" in arbitrary theories (in particular, if a theory has TP2 then there…
We investigate extensions of the N=2 super Virasoro algebra by one additional super primary field and its charge conjugate. Using a supersymmetric covariant formalism we construct all N=2 super W-algebras up to spin 5/2 of the additional…
We show a general result known as the Erdos_Sos Conjecture: if $E(G)>{1/2}(k-1)n$ where $G$ has order $n$ then $G$ contains every tree of order $k+1$ as a subgraph.
It is proven that for any system of n points z_1, ..., z_n on the (complex) unit circle, there exists another point z of norm 1, such that $$\sum 1/|z-z_k|^2 \leq n^2/4.$$ Equality holds iff the point system is a rotated copy of the nth…
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan's theorem on a superstable theory.
In this paper, we prove that the symmetric group $\mathrm{S}_n$ has $2^{n^2/16+o(n^2)}$ subgroups, settling a conjecture of Pyber from 1993. We also derive asymptotically sharp upper and lower bounds on the number of subgroups of…
The complete D-brane spectrum in $\Zop_2$ orientifolds is computed. Stable non-BPS D-branes with both integral and torsion charges are found. The relation to K-theory is discussed and a new K-theory relevant to orientifolds is suggested.