Related papers: Separability of Reachability Sets of Vector Additi…

We say that two partial orders on $[n]$ are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure between the collection $\mathcal{F}$ of all partial orders…

In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to pave the reachable region of the state space by state sets…

Given a connected graph $G$, a vertex $w\in V(G)$ distinguishes two different vertices $u,v$ of $G$ if the distances between $w$ and $u$ and between $w$ and $v$ are different. Moreover, $w$ strongly resolves the pair $u,v$ if there exists…

Let $ x $ be an element of a finite group $ G $ and denote the order of $ x $ by $ \mathrm{ord}(x) $. We consider a finite group $ G $ such that $ \gcd(\mathrm{ord}(x),\mathrm{ord}(y))\leqslant 2 $ for any two vanishing elements $ x $ and $…

We prove a tangle-tree theorem and a tangle duality theorem for abstract separation systems $\vec S$ that are submodular in the structural sense that, for every pair of oriented separations, $\vec S$ contains either their meet or their join…

The author has recently introduced the class of CNED sets in Euclidean space, generalizing the classical notion of NED sets, and shown that they are quasiconformally removable. A set $E$ is CNED if the conformal modulus of a curve family is…

Let $\mathcal{A}$ be a set of positive numbers. A graph $G$ is called an $\mathcal{A}$-embeddable graph in $\mathbb{R}^d$ if the vertices of $G$ can be positioned in $\mathbb{R}^d$ so that the distance between endpoints of any edge is an…

Let $n>1$ be an integer, $\alpha\in{\mathbb C}^n$, $b\in{\mathbb C}$, and $V$ a $\mathfrak{gl}_n$-module. We define a class of weight modules $F^\alpha_{b}(V)$ over $\sl_{n+1}$ using the restriction of modules of tensor fields over the Lie…

Associated to a graph $G$ is a set $\mathcal{S}(G)$ of all real-valued symmetric matrices whose off-diagonal entries are nonzero precisely when the corresponding vertices of the graph are adjacent, and the diagonal entries are free to be…

We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the…

We explore a reconfiguration version of the dominating set problem, where a dominating set in a graph $G$ is a set $S$ of vertices such that each vertex is either in $S$ or has a neighbour in $S$. In a reconfiguration problem, the goal is…

In this paper, we study the structures of finite groups using some arithmetic conditions on the sizes of real conjugacy classes. We prove that a finite group is solvable if the prime graph on the real class sizes of the group is…

Let $G$ be a finite non-solvable group with solvable radical $Sol(G)$. The solvable graph $\Gamma_s(G)$ of $G$ is a graph with vertex set $G\setminus Sol(G)$ and two distinct vertices $u$ and $v$ are adjacent if and only if $\langle u, v…

Let $\pi$ be a set of primes. We show that $\pi$-separable groups have a conjugacy class of $\mathfrak F$-injectors for suitable Fitting classes $\mathfrak F$, which coincide with the usual ones when specializing to soluble groups.

In this paper, we consider two ways of breaking a graph's symmetry: distinguishing labelings and fixing sets. A distinguishing labeling $\phi$ of $G$ colors the vertices of $G$ so that the only automorphism of the labeled graph $(G, \phi)$…

We introduce a sufficient and necessary condition for the separability of a specific class of $N$ $d$-dimensional system (qudits) states, namely special generalized Werner state (SGWS): $W^{[d^N]}(v)=(1-v)\frac{I^{(N)}}{d^N}+v|\psi…

Let ${\cal G}$ be a graph family defined on a common vertex set $V$ and let $d$ be a distance defined on every graph $G\in {\cal G}$. A set $S\subset V$ is said to be a simultaneous metric generator for ${\cal G}$ if for every $G\in {\cal…

Let $G=(V(G), E(G))$ be an undirected graph with a measure function $\mu$ assigning non-negative values to subgraphs $H$ so that $\mu(H)$ does not exceed the clique cover number of $H$. When $\mu$ satisfies some additional natural…

We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a set $S\subseteq [n]$ if every possible subset of $S$ appears as the intersection of $S$ with some element of $\mathcal{F}$ and we denote by $\text{Sh}(\mathcal{F})$ the…

Root systems are sets with remarkable symmetries and therefore they appear in many situations in mathematics. Among others, denominator formulae of root systems are very beautiful and mysterious equations which have several meanings from a…