On topological diversity of rectilinear representations of countably infinite graphs

We prove that, for each simple graph G whose set of vertices is countably infinite, there is a family ${\varvec{\mathcal{R}}(\varvec{G})}$ of the cardinality of the continuum of graphs such that (1) each graph ${\varvec{H} \in \varvec{\mathcal{R}}(\varvec{G})}$ is isomorphic to G, all vertices of H are points of the Euclidean space E ³, all edges of H are straight line segments (the ends of each edge are the vertices joined by it), the intersection of any two edges of H is either their common vertex or empty, and any isolated vertex of H does not belong to any edge of H; (2) all sets ${\varvec{\mathcal{B}}(\varvec{H})}$ ( ${\varvec{H} \in \varvec{\mathcal{R}}(\varvec{G})}$ ), where ${\varvec{\mathcal{B}}(\varvec{H})\subset \mathbf{E}^3}$ is the union of all vertices and all edges of H, are pairwise not homeomorphic; moreover, for any graphs ${\varvec{H}_1 \in \varvec{\mathcal{R}}(\varvec{G})}$ and ${\varvec{H}_2 \in \varvec{\mathcal{R}}(\varvec{G})}$ , ${\varvec{H}_1 \ne \varvec{H}_2}$ , and for any finite subsets ${\varvec{S}_i \subset \varvec{\mathcal{B}}(\varvec{H}_i)}$ (i = 1, 2), the sets ${\varvec{\mathcal{B}}(\varvec{H}_1){\setminus} \varvec{S}_1}$ and ${\varvec{\mathcal{B}}(\varvec{H}_2){\setminus} \varvec{S}_2}$ are not homeomorphic.     

Tiling Convex Polygons with Congruent Equilateral Triangles

We study the sets $\mathcal{T}_{v}=\{m \in\{1,2,\ldots\}: \mbox{there is a convex polygon in }\mathbb{R}^{2}\mbox{ that has }v\mbox{ vertices and can be tiled with $m$ congruent equilateral triangles}\}$ , v=3,4,5,6. $\mathcal{T}_{3}$ , $\mathcal{T}_{4}$ , and $\mathcal{T}_{6}$ can be quoted completely. The complement $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ of $\mathcal{T}_{5}$ turns out to be a subset of Euler’s numeri idonei. As a consequence, $\{1,2,\ldots\} \setminus\mathcal{T}_{5}$ can be characterized with up to two exceptions, and a complete characterization is given under the assumption of the Generalized Riemann Hypothesis.     

Equal Quasi-Partition of p-Groups

Let S be a subgroup of a group G. A set ${\Pi= \{H_1, \ldots , H_n\}}$ of subgroups ${H_i (i = 1, \ldots ,n)}$ with ${G=\cup_{H_i\in\Pi}H_i}$ is said to be an equal quasi-partition of G if ${H_i\cap H_j\cong S}$ and ${|H_i|=|H_j|}$ for all ${H_i, H_j\in\Pi}$ with ${i\ne j}$ . In this paper we investigate finite p-groups such that a subset of their maximal subgroups form an equal quasi-partition.     

MULTIPLICITY-FREE PRIMITIVE IDEALS ASSOCIATED WITH RIGID NILPOTENT ORBITS

Let G be a simple algebraic group defined over ?. Let e be a nilpotent element in $ \mathfrak{g} $ = Lie(G) and denote by U ( $ \mathfrak{g} $ , e) the finite W-algebra associated with the pair ( $ \mathfrak{g} $ , e). It is known that the component group Γ of the centraliser of e in G acts on the set ? of all one-dimensional representations of U ( $ \mathfrak{g} $ , e). In this paper we prove that the fixed point set ?^Γ is non-empty. As a corollary, all finite W-algebras associated with $ \mathfrak{g} $ admit one-dimensional representations. In the case of rigid nilpotent elements in exceptional Lie algebras we find irreducible highest weight $ \mathfrak{g} $ -modules whose annihilators in U ( $ \mathfrak{g} $ ) come from one-dimensional representations of U ( $ \mathfrak{g} $ , e) via Skryabin’s equivalence. As a consequence, we show that for any nilpotent orbit $ \mathcal{O} $ in $ \mathfrak{g} $ there exists a multiplicity-free (and hence completely prime) primitive ideal of U ( $ \mathfrak{g} $ ) whose associated variety equals the Zariski closure of $ \mathcal{O} $ in $ \mathfrak{g} $ .     

Defining relations for idempotent generators in finite full transformation semigroups

In 1966, John Howie showed that the semigroup $\mathcal{T}_{n}\setminus \mathcal{S}_{n}$ of all singular transformations on a n element set is generated by the set of all idempotent transformations of rank n?1. We give a presentation for $\mathcal{T}_{n}\setminus \mathcal{S}_{n}$ in terms of this generating set.     

On Zero-Sum {\mathbb{Z}_k} -Magic Labelings of 3-Regular Graphs

Let G =  (V, E) be a finite loopless graph and let (A, +) be an abelian group with identity 0. Then an A-magic labeling of G is a function ${\phi}$ from E into A ? {0} such that for some ${a \in A, \sum_{e \in E(v)} \phi(e) = a}$ for every ${v \in V}$ , where E(v) is the set of edges incident to v. If ${\phi}$ exists such that a =  0, then G is zero-sum A-magic. Let zim(G) denote the subset of ${\mathbb{N}}$ (the positive integers) such that ${1 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}}$ -magic and ${k \geq 2 \in zim(G)}$ if and only if G is zero-sum ${\mathbb{Z}_k}$ -magic. We establish that if G is 3-regular, then ${zim(G) = \mathbb{N} - \{2\}}$ or ${\mathbb{N} - \{2,4\}.}$      

Metrization of Weighted Graphs

We find a set of necessary and sufficient conditions under which the weight ${w: E \rightarrow \mathbb{R}^{+}}$ on the graph G = (V, E) can be extended to a pseudometric ${d : V \times V \rightarrow \mathbb{R}^{+}}$ . We describe the structure of graphs G for which the set ${\mathfrak{M}_{w}}$ of all such extensions contains a metric whenever w is strictly positive. Ordering ${\mathfrak{M}_{w}}$ by the pointwise order, we have found that the posets $({\mathfrak{M}_{w}, \leqslant)}$ contain the least elements ρ _0,w if and only if G is a complete k-partite graph with ${k \, \geqslant \, 2}$ . In this case the symmetric functions ${f : V \times V \rightarrow \mathbb{R}^{+}}$ , lying between ρ _0,w and the shortest-path pseudometric, belong to ${\mathfrak{M}_{w}}$ for every metrizable w if and only if the cardinality of all parts in the partition of V is at most two.     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

On additive involutions and Hamel bases

We provide an example of a discontinuous involutory additive function ${a: \mathbb{R}\to \mathbb{R}}$ such that ${a(H) \setminus H \ne \emptyset}$ for every Hamel basis ${H \subset \mathbb{R}}$ and show that, in fact, the set of all such functions is dense in the topological vector space of all additive functions from ${\mathbb{R}}$ to ${\mathbb{R}}$ with the Tychonoff topology induced by ${\mathbb{R}^{\mathbb{R}}}$ .     

The geometric meaning of Zhelobenko operators

Let $ \mathfrak{g} $ be the complex semisimple Lie algebra associated to a complex semisimple algebraic group G, $ \mathfrak{b} $ a Borel subalgebra of $ \mathfrak{g} $ , $ \mathfrak{h}\subset \mathfrak{b} $ the Cartan sublagebra, and N ? G the unipotent subgroup corresponding to the nilradical $ \mathfrak{n}\subset \mathfrak{b} $ . We show that the explicit formula for the extremal projection operator for $ \mathfrak{g} $ obtained by Asherova, Smirnov, and Tolstoy and similar formulas for Zhelobenko operators are related to the existence of a birational equivalence $ N\times \mathfrak{h}\to \mathfrak{b} $ given by the restriction of the adjoint action. Simple geometric proofs of formulas for the “classical” counterparts of the extremal projection operator and of Zhelobenko operators are also obtained.     

Cops and Robber Game with a Fast Robber on Expander Graphs and Random Graphs

We consider a variant of the Cops and Robber game, in which the robber has unbounded speed, i.e., can take any path from her vertex in her turn, but she is not allowed to pass through a vertex occupied by a cop. Let ${c_{\infty}(G)}$ denote the number of cops needed to capture the robber in a graph G in this variant. We characterize graphs G with c _??(G) =? 1, and give an ${O( \mid V(G)\mid^2)}$ algorithm for their detection. We prove a lower bound for c _?? of expander graphs, and use it to prove three things. The first is that if ${np \geq 4.2 {\rm log}n}$ then the random graph ${G= \mathcal{G}(n, p)}$ asymptotically almost surely has ${\eta_{1}/p \leq \eta_{2}{\rm log}(np)/p}$ , for suitable positive constants ${\eta_{1}}$ and ${\eta_{2}}$ . The second is that a fixed-degree random regular graph G with n vertices asymptotically almost surely has ${c_{\infty}(G) = \Theta(n)}$ . The third is that if G is a Cartesian product of m paths, then ${n/4km^2 \leq c_{\infty}(G) \leq n/k}$ , where ${n = \mid V(G)\mid}$ and k is the number of vertices of the longest path.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Some results on metric n-Lie algebras

We study the structure of a metric n-Lie algebra G over the complex field C. Let G = SR be the Levi decomposition, where R is the radical of G and S is a strong semisimple subalgebra of G. Denote by m(G) the number of all minimal ideals of an indecomposable metric n-Lie algebra and R ⊥ the orthogonal complement of R. We obtain the following results. As S-modules, R ⊥ is isomorphic to the dual module of G/R. The dimension of the vector space spanned by all nondegenerate invariant symmetric bilinear forms on G is equal to that of the vector space of certain linear transformations on G; this dimension is greater than or equal to m(G) + 1. The centralizer of R in G is equal to the sum of all minimal ideals; it is the direct sum of R ⊥ and the center of G. Finally, G has no strong semisimple ideals if and only if R⊥■R.     

Positive definite superfunctions and unitary representations of lie supergroups

For a broad class of Fréchet-Lie supergroups $ \mathcal{G} $ , we prove that there exists a correspondence between positive definite smooth (resp., analytic) superfunctions on $ \mathcal{G} $ and matrix coefficients of smooth (resp., analytic) unitary representations of the Harish-Chandra pair (G, $ \mathfrak{g} $ ) associated to $ \mathcal{G} $ . As an application, we prove that a smooth positive definite superfunction on $ \mathcal{G} $ is analytic if and only if it restricts to an analytic function on the underlying manifold of $ \mathcal{G} $ . When the underlying manifold of $ \mathcal{G} $ is 1-connected we obtain a necessary and sufficient condition for a linear functional on the universal enveloping algebra U( $ {{\mathfrak{g}}_{\mathbb{C}}} $ ) to correspond to a matrix coefficient of a unitary representation of (G, $ \mathfrak{g} $ ). The class of Lie supergroups for which the aforementioned results hold is characterised by a condition on the convergence of the Trotter product formula. This condition is strictly weaker than assuming that the underlying Lie group of $ \mathcal{G} $ is a locally exponential Fréchet-Lie group. In particular, our results apply to examples of interest in representation theory such as mapping supergroups and diffeomorphism supergroups.     

{\mathbb{G}_a^ M} degeneration of flag varieties

Let ${\mathcal{F}_\lambda}$ be a generalized flag variety of a simple Lie group G embedded into the projectivization of an irreducible G-module V _λ . We define a flat degeneration ${\mathcal{F}_\lambda^a}$ , which is a ${\mathbb{G}^M_a}$ variety. Moreover, there exists a larger group G ^a acting on ${\mathcal{F}_\lambda^a}$ , which is a degeneration of the group G. The group G ^a contains ${\mathbb{G}^M_a}$ as a normal subgroup. If G is of type A, then the degenerate flag varieties can be embedde‘d into the product of Grassmannians and thus to the product of projective spaces. The defining ideal of ${\mathcal{F}_\lambda}$ is generated by the set of degenerate Plücker relations. We prove that the coordinate ring of ${\mathcal{F}_\lambda^a}$ is isomorphic to a direct sum of dual PBW-graded ${\mathfrak{g}}$ -modules. We also prove that there exists bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogs of semistandard tableaux.     

On the Broadcast Independence Number of Grid Graph

A broadcast on a nontrivial connected graph G is a function ${f:V \longrightarrow \{0, \ldots,\operatorname{diam}(G)\}}$ such that for every vertex ${v \in V(G)}$ , ${f(v) \leq e(v)}$ , where ${\operatorname{diam}(G)}$ denotes the diameter of G and e(v) denotes the eccentricity of vertex v. The broadcast independence number is the maximum value of ${\sum_{v \in V} f(v)}$ over all broadcasts f that satisfy ${d(u,v) > \max \{f(u), f(v)\}}$ for every pair of distinct vertices u, v with positive values. We determine this invariant for grid graphs ${G_{m,n} = P_m \square P_n}$ , where ${2 \leq m \leq n}$ and □ denotes the Cartesian product. We hereby answer one of the open problems raised by Dunbar et al. in (Discrete Appl Math 154:59–75, 2006).     

On {\mathbb{F}_q} -Rational Structure of Nilpotent Orbits in the Witt Algebra

Let ${\mathfrak{g}=W_1}$ be the p-dimensional Witt algebra over an algebraically closed field ${k=\overline{\mathbb{F}}_q}$ , where p > 3 is a prime and q is a power of p. Let G be the automorphism group of ${\mathfrak{g}}$ . The Frobenius morphism F _G (resp. ${F_\mathfrak{g}}$ ) can be defined naturally on G (resp. ${\mathfrak{g}}$ ). In this paper, we determine the ${F_\mathfrak{g}}$ -stable G-orbits in ${\mathfrak{g}}$ . Furthermore, the number of ${\mathbb{F}_q}$ -rational points in each ${F_\mathfrak{g}}$ -stable orbit is precisely given. Consequently, we obtain the number of ${\mathbb{F}_q}$ -rational points in the nilpotent variety.     

Symmetric diameter two graphs with affine-type vertex-quasiprimitive automorphism group

We study the class of G-symmetric graphs Γ with diameter 2, where G is an affine-type quasiprimitive group on the vertex set of Γ. These graphs arise from normal quotient analysis as basic graphs in the class of symmetric diameter 2 graphs. It is known that ${G \cong V \rtimes G_0}$ , where V is a finite-dimensional vector space over a finite field and G ₀ is an irreducible subgroup of GL (V), and Γ is a Cayley graph on V. In particular, we consider the case where ${V = \mathbb {F}_p^d}$ for some prime p and G ₀ is maximal in GL (d, p), with G ₀ belonging to the Aschbacher classes ${\mathcal {C}_2, \mathcal {C}_4, \mathcal {C}_6, \mathcal {C}_7}$ , and ${\mathcal {C}_8}$ . For ${G_0 \in \mathcal {C}_i, i = 2,4,8}$ , we determine all diameter 2 graphs which arise. For ${G_0 \in \mathcal {C}_6, \mathcal {C}_7}$ we obtain necessary conditions for diameter 2, which restrict the number of unresolved cases to be investigated, and in some special cases determine all diameter 2 graphs.     

Toughness and Matching Extension in {\mathcal{P}_3}-Dominated Graphs

Let G be a connected graph. For ${x,y\in V(G)}$ with d(x, y) = 2, we define ${J(x,y)= \{u \in N(x)\cap N(y)\mid N[u] \subseteq N[x] \,{\cup}\,N[y] \}}$ and ${J'(x,y)= \{u \in N(x) \cap N(y)\,{\mid}\,{\rm if}\ v \in N(u){\setminus}(N[x] \,{\cup}\, N[y])\ {\rm then}\ N[x] \,{\cup}\, N[y]\,{\cup}\,N[u]{\setminus}\{x,y\}\subseteq N[v]\}}$ . A graph G is quasi-claw-free if ${J(x,y) \not= \emptyset}$ for each pair (x, y) of vertices at distance 2 in G. Broersma and Vumar (in Math Meth Oper Res. doi:10.1007/s00186-008-0260-7) introduced ${\mathcal{P}_{3}}$ -dominated graphs defined as ${J(x,y)\,{\cup}\, J'(x,y)\not= \emptyset}$ for each ${x,y \in V(G)}$ with d(x, y) = 2. This class properly contains that of quasi-claw-free graphs, and hence that of claw-free graphs. In this note, we prove that a 2-connected ${\mathcal{P}_3}$ -dominated graph is 1-tough, with two exceptions: K _2,3 and K _1,1,3, and prove that every even connected ${\mathcal{P}_3}$ -dominated graph ${G\ncong K_{1,3}}$ has a perfect matching. Moreover, we show that every even (2p + 1)-connected ${\mathcal{P}_3}$ -dominated graph is p-extendable. This result follows from a stronger result concerning factor-criticality of ${\mathcal{P}_3}$ -dominated graphs.     

BIB-Designs from Circular Nearrings

Let ${(N, \Phi)}$ be a finite circular Ferrero pair. We define the disk with center b and radius ${a, \mathcal{D}(a;b)}$ , as $$\mathcal{D} (a; b) = \{x \in \Phi(r)+c \mid r \neq 0, b\in \Phi (r)+c, |(\Phi (r)+c) \cap ( \Phi(a)+b)|=1\}.$$ Using this definition we introduce the concept of interior part of a circle, ${\Phi(a)+b}$ , as the set ${\mathcal{I}(\Phi (a)+b)=\mathcal{D} (a; b) \setminus (\Phi (a)+b)}$ . Moreover, if ${\mathcal{B}^{\mathcal{D}}}$ is the set of all disks, then, in some interesting cases, we show that the incidence structure ${(N, \mathcal{B}^{\mathcal{D}}, \in)}$ is actually a balanced incomplete block design and we are able to calculate its parameters depending on |N| and ${|\Phi|}$ .