A Helly-type theorem for intersections of orthogonally starshaped sets in \mathbb R^d

Let $\mathcal K$ be a finite family of orthogonal polytopes in $\mathbb R^d$ such that, for every nonempty subfamily $\mathcal K^\prime $ of $\mathcal K, \cap \{K : K$ in $\mathcal K^\prime \}$ , if nonempty, is a finite union of boxes whose intersection graph is a tree. Assume that every $d + 1$ (not necessarily distinct) members of $\mathcal K$ meet in a (nonempty) staircase starshaped set. Then $S \equiv \cap \{ K : K$ in $\mathcal K\}$ is nonempty and staircase starshaped.     

On the existence of Evans potentials

It is shown that, for every noncompact parabolic Riemannian manifold $X$ and every nonpolar compact $K$ in  $X$ , there exists a positive harmonic function on $X\setminus K$ which tends to $\infty $ at infinity. (This is trivial for $\mathbb{R }$ , easy for  $\mathbb{R }^2$ , and known for parabolic Riemann surfaces.) In fact, the statement is proven, more generally, for any noncompact connected Brelot harmonic space  $X$ , where constants are the only positive superharmonic functions and, for every nonpolar compact set  $K$ , there is a symmetric (positive) Green function for $X\setminus K$ . This includes the case of parabolic Riemannian manifolds. Without symmetry, however, the statement may fail. This is shown by an example, where the underlying space is a graph (the union of the parallel half-lines $\left[0,\infty \right)\times \{0\}, \left[0,\infty \right)\times \{1\}$ , and the line segments $\{n\}\times [0,1], n=0,1,2,\dots $ ).     

A functional model associated with a generalized Nevanlinna pair

Let $ \mathcal{L} $ be a Hilbert space, and let $ \mathcal{H} $ be a Pontryagin space. For every self-adjoint linear relation $ \tilde{A} $ in $ \mathcal{H} \oplus \mathcal{L} $ , the pair $ \{ I + \lambda \psi (\lambda ),\,\psi (\lambda )\} $ where $ \psi (\lambda ) $ is the compressed resolvent of $ \tilde{A} $ , is a normalized generalized Nevanlinna pair. Conversely, every normalized generalized Nevanlinna pair is shown to be associated with some self-adjoint linear relation $ \tilde{A} $ in the above sense. A functional model for this selfadjoint linear relation $ \tilde{A} $ is constructed.     

Planar Beurling Transform and Bergman Type Spaces

In this paper we describe the actions of the operator $S_\mathbb{D }$ or its adjoint $S_\mathbb{D }^*$ on the poly-Bergman spaces of the unit disk $\mathbb{D }.$ Let $k$ and $j$ be positive integers. We prove that $(S_\mathbb{D })^{j}$ is an isometric isomorphism between the true poly-Bergman subspace $\mathcal{A }_{(k)}^2(\mathbb{D })\ominus N_{(k),j}$ onto the true poly-Bergman space $\mathcal{A }_{(j+k)}^2(\mathbb{D }),$ where the linear space $N_{(k),j}$ have finite dimension $j.$ The action of $(S_\mathbb{D })^{j-1}$ on the canonical Hilbert base for the Bergman subspace $\mathcal{A }^2(\mathbb{D })\ominus \mathcal{P }_{j-1},$ gives a Hilbert base $\{ \phi _{ j , k } \}_{ k }$ for $\mathcal{A }_{(j)}^2(\mathbb{D }).$ It is shown that $\{ \phi _{ j , k } \}_{ j, k }$ is a Hilbert base for $L^2(\mathbb{D },d A)$ such that whenever $j$ and $k$ remain constant we obtain a Hilbert base for the true poly-Bergman space $\mathcal{A }_{(j)}^2(\mathbb{D })$ and $\mathcal{A }_{(-k)}^2(\mathbb{D }),$ respectively. The functions $\phi _{ j , k }$ are polynomials in $z$ and $\overline{z}$ and are explicitly given in terms of the $(2,1)$ -hypergeometric polynomials. We prove explicit representations for the true poly-Bergman kernels and the Koshelev representation for the poly-Bergman kernels of $\mathbb{D }.$ The action of $S_\Pi $ on the true poly-Bergman spaces of the upper half-plane $\Pi $ allows one to introduce Hilbert bases for the true poly-Bergman spaces, and to give explicit representations of the true poly-Bergman and poly-Bergman kernels.     

On the topology of semi-algebraic functions on closed semi-algebraic sets

We consider a closed semi-algebraic set ${X \subset \mathbb{R}^n}$ and a C ² semi-algebraic function ${f : \mathbb{R}^n \rightarrow\mathbb{R}}$ such that ${f_{\vert X}}$ has a finite number of critical points. We relate the topology of X to the topology of the sets ${X \cap \{ f * \alpha \}}$ , where ${* \in \{\le,=,\ge \}}$ and ${\alpha \in \mathbb{R}}$ , and the indices of the critical points of ${f_{\vert X}}$ and ${-f_{\vert X}}$ . We also relate the topology of X to the topology of the links at infinity of the sets ${X \cap \{ f * \alpha\}}$ and the indices of these critical points. We give applications when ${X=\mathbb{R}^n}$ and when f is a generic linear function.     

On the signed star domination number of regular multigraphs

Let $G$ be a graph with the vertex set $V(G)$ and the edge set $E(G)$ . A function $f: E(G)\longrightarrow \{-1, 1\}$ is said to be a signed star dominating function of $G$ if $\sum _{e \in E_G(v)}f (e)\ge 1 $ , for every $v \in V(G)$ , where $E_G(v) = \{uv\in E(G)\,|\,u \in V (G)\}$ . The minimum values of $\sum _{e \in E_G(v)}f (e)$ , taken over all signed star dominating functions $f$ on $G$ , is called the signed star domination number of $G$ and denoted by $\gamma _{SS}(G)$ . In this paper we determine the signed star domination number of regular multigraphs.     

Power law Pólya’s urn and fractional Brownian motion

We introduce a natural family of random walks $S_n$ on $\mathbb{Z }$ that scale to fractional Brownian motion. The increments $X_n := S_n - S_{n-1} \in \{\pm 1\}$ have the property that given $\{ X_k : k < n \}$ , the conditional law of $X_n$ is that of $X_{n - k_n}$ , where $k_n$ is sampled independently from a fixed law $\mu $ on the positive integers. When $\mu $ has a roughly power law decay (precisely, when $\mu $ lies in the domain of attraction of an $\alpha $ -stable subordinator, for $0<\alpha <1/2$ ) the walks scale to fractional Brownian motion with Hurst parameter $\alpha + 1/2$ . The walks are easy to simulate and their increments satisfy an FKG inequality. In a sense we describe, they are the natural “fractional” analogues of simple random walk on $\mathbb{Z }$ .     

On the Hall algebra of semigroup representations over \mathbb F _1

Let $\mathrm{A }$ be a finitely generated semigroup with 0. An $\mathrm{A }$ -module over $\mathbb F _1$ (also called an $\mathrm{A }$ -set), is a pointed set $(M,*)$ together with an action of $\mathrm{A }$ . We define and study the Hall algebra $\mathbb H _{\mathrm{A }}$ of the category $\mathcal C _{\mathrm{A }}$ of finite $\mathrm{A }$ -modules. $\mathbb H _{\mathrm{A }}$ is shown to be the universal enveloping algebra of a Lie algebra $\mathfrak n _{\mathrm{A }}$ , called the Hall Lie algebra of $\mathcal C _{\mathrm{A }}$ . In the case of $\langle t \rangle $ —the free monoid on one generator $\langle t \rangle $ , the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\langle t \rangle $ -modules) is isomorphic to Kreimer’s Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\mathrm{A }$ is a quotient of $\langle t \rangle $ by a congruence, and the monoid $G \cup \{ 0\}$ for a finite group $G$ .     

Extending structures for Lie algebras

Let $\mathfrak{g }$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g }$ as a subspace. The paper is devoted to the extending structures problem which asks for the classification of all Lie algebra structures on $E$ such that $\mathfrak{g }$ is a Lie subalgebra of $E$ . A general product, called the unified product, is introduced as a tool for our approach. Let $V$ be a complement of $\mathfrak{g }$ in $E$ : the unified product $\mathfrak{g } \,\natural \, V$ is associated to a system $(\triangleleft , \, \triangleright , \, f, \{-, \, -\})$ consisting of two actions $\triangleleft $ and $\triangleright $ , a generalized cocycle $f$ and a twisted Jacobi bracket $\{-, \, -\}$ on $V$ . There exists a Lie algebra structure $[-,-]$ on $E$ containing $\mathfrak{g }$ as a Lie subalgebra if and only if there exists an isomorphism of Lie algebras $(E, [-,-]) \cong \mathfrak{g } \,\natural \, V$ . All such Lie algebra structures on $E$ are classified by two cohomological type objects which are explicitly constructed. The first one $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ will classify all Lie algebra structures on $E$ up to an isomorphism that stabilizes $\mathfrak{g }$ while the second object $\mathcal{H }^{2} (V, \mathfrak{g })$ provides the classification from the view point of the extension problem. Several examples that compute both classifying objects $\mathcal{H }^{2}_{\mathfrak{g }} (V, \mathfrak{g })$ and $\mathcal{H }^{2} (V, \mathfrak{g })$ are worked out in detail in the case of flag extending structures.     

[1,1,t]-Colorings of Complete Graphs

Given non-negative integers $r, s,$ and $t,$ an $[r,s,t]$ -coloring of a graph $G = (V(G),E(G))$ is a mapping $c$ from $V(G) \cup E(G)$ to the color set $\{1,\ldots ,k\}$ such that $\left|c(v_i) - c(v_j)\right| \ge r$ for every two adjacent vertices $v_i,v_j, \left|c({e_i}) - c(e_j)\right| \ge s$ for every two adjacent edges $e_i,e_j,$ and $\left|c(v_i) - c(e_j)\right| \ge t$ for all pairs of incident vertices and edges, respectively. The $[r,s,t]$ -chromatic number $\chi _{r,s,t}(G)$ of $G$ is defined to be the minimum $k$ such that $G$ admits an $[r,s,t]$ -coloring. In this note we examine $\chi _{1,1,t}(K_p)$ for complete graphs $K_p.$ We prove, among others, that $\chi _{1,1,t}(K_p)$ is equal to $p+t-2+\min \{p,t\}$ whenever $t \ge \left\lfloor {\frac{p}{2}}\right\rfloor -1,$ but is strictly larger if $p$ is even and sufficiently large with respect to $t.$ Moreover, as $p \rightarrow \infty $ and $t=t(p),$ we asymptotically have $\chi _{1,1,t}(K_p)=p+o(p)$ if and only if $t=o(p).$      

Palindromes in linear recurrence sequences

We prove that for any base $b\ge 2$ and for any linear homogeneous recurrence sequence $\{a_n\}_{n\ge 1}$ satisfying certain conditions, there exits a positive constant $c>0$ such that $\# \{n\le x:\ a_n \;\text{ is} \text{ palindromic} \text{ in} \text{ base}\; b\} \ll x^{1-c}$ .     

True Poly-Bergman and Poly-Bergman Kernels for the Complement of a Closed Disk

Let $k$ and $j$ be positive integers. We prove that the action of the two-dimensional singular integral operators $(S_\Omega )^{j-1}$ and $(S_\Omega ^*)^{j-1}$ on a Hilbert base for the Bergman space $\mathcal{A }^2(\Omega )$ and anti-Bergman space $\mathcal{A }^2_{-1}(\Omega ),$ respectively, gives Hilbert bases $\{ \psi _{\pm j , k } \}_{ k }$ for the true poly-Bergman spaces $\mathcal{A }_{(\pm j)}^2(\Omega ),$ where $S_\Omega $ denotes the compression of the Beurling transform to the Lebesgue space $L^2(\Omega , dA).$ The functions $\psi _{\pm j,k}$ will be explicitly represented in terms of the $(2,1)$ -hypergeometric polynomials as well as by formulas of Rodrigues type. We prove explicit representations for the true poly-Bergman kernels and more transparent representations for the poly-Bergman kernels of $\Omega $ . We establish Rodrigues type formulas for the poly-Bergman kernels of $\mathbb{D }$ .     

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.     

AW*-algebras Which are Enveloping C*-algebras of JC-algebras

In the given article, enveloping C*-algebras of AJW-algebras are considered. Conditions are given, when the enveloping C*-algebra of an AJW-algebra is an AW*-algebra, and corresponding theorems are proved. In particular, we proved that if $\mathcal{A}$ is a real AW*-algebra, $\mathcal{A}_{sa}$ is the JC-algebra of all self-adjoint elements of $\mathcal{A}$ , $\mathcal{A}+i\mathcal{A}$ is an AW*-algebra and $\mathcal{A}\cap i\mathcal{A} = \{0\}$ then the enveloping C*-algebra $C^*(\mathcal{A}_{sa})$ of the JC-algebra $\mathcal{A}_{sa}$ is an AW*-algebra. Moreover, if $\mathcal{A}+i\mathcal{A}$ does not have nonzero direct summands of type I₂, then $C^*(\mathcal{A}_{sa})$ coincides with the algebra $\mathcal{A}+i\mathcal{A}$ , i.e. $C^*(\mathcal{A}_{sa})= \mathcal{A}+i\mathcal{A}$ .     

On the unique representation of very strong algebraic geometry codes

This paper addresses the question of retrieving the triple ${(\mathcal X,\mathcal P, E)}$ from the algebraic geometry code ${\mathcal C = \mathcal C_L(\mathcal X, \mathcal P, E)}$ , where ${\mathcal X}$ is an algebraic curve over the finite field ${\mathbb F_q, \,\mathcal P}$ is an n-tuple of ${\mathbb F_q}$ -rational points on ${\mathcal X}$ and E is a divisor on ${\mathcal X}$ . If ${\deg(E)\geq 2g+1}$ where g is the genus of ${\mathcal X}$ , then there is an embedding of ${\mathcal X}$ onto ${\mathcal Y}$ in the projective space of the linear series of the divisor E. Moreover, if ${\deg(E)\geq 2g+2}$ , then ${I(\mathcal Y)}$ , the vanishing ideal of ${\mathcal Y}$ , is generated by ${I_2(\mathcal Y)}$ , the homogeneous elements of degree two in ${I(\mathcal Y)}$ . If ${n >2 \deg(E)}$ , then ${I_2(\mathcal Y)=I_2(\mathcal Q)}$ , where ${\mathcal Q}$ is the image of ${\mathcal P}$ under the map from ${\mathcal X}$ to ${\mathcal Y}$ . These three results imply that, if ${2g+2\leq m < \frac{1}{2}n}$ , an AG representation ${(\mathcal Y, \mathcal Q, F)}$ of the code ${\mathcal C}$ can be obtained just using a generator matrix of ${\mathcal C}$ where ${\mathcal Y}$ is a normal curve in ${\mathbb{P}^{m-g}}$ which is the intersection of quadrics. This fact gives us some clues for breaking McEliece cryptosystem based on AG codes provided that we have an efficient procedure for computing and decoding the representation obtained.     

On the Stretch Factor of Randomly Embedded Random Graphs

We consider a random graph $\mathcal{G}(n,p)$ whose vertex set $V,$ of cardinality $n,$ has been randomly embedded in the unit square and whose edges, which occur independently with probability $p,$ are given weight equal to the geometric distance between their end vertices. Then each pair $\{u,v\}$ of vertices has a distance in the weighted graph, and a Euclidean distance. The stretch factor of the embedded graph is defined as the maximum ratio of these two distances, over all $\{u,v\}\subseteq V.$ We give upper and lower bounds on the stretch factor (holding asymptotically almost surely), and show that for $p$ not too close to 0 or 1, these bounds are the best possible in a certain sense. Our results imply that the stretch factor is bounded with probability tending to 1 if and only if $n(1-p)$ tends to 0, answering a question of O’Rourke.     

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.     

On the Fourier-Walsh spectrum of the Moebius function

We study the Fourier-Walsh spectrum $\{ \widehat \mu (S);S \subset \{ 1, \ldots ,n\} \} $ of the Moebius function µ restricted to $\{ 0,1,2, \ldots ,{2^n} - 1\} \simeq {\{ 0,1\} ^n}$ and prove that it is not captured by levels $\{ \widehat \mu (S)||S| < {n^{\frac{2}{3} - \varepsilon }}\} $ . An application to correlation with monotone Boolean functions is given.     

Lax embeddings of the Hermitian unital

In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital ${\mathcal{U}}$ of ${\mathsf{PG}(2,\mathbb{L}), \mathbb{L}}$ a quadratic extension of the field ${\mathbb{K}}$ and ${|\mathbb{K}| \geq 3}$ , in a ${\mathsf{PG}(d,\mathbb{F})}$ , with ${\mathbb{F}}$ any field and d ≥ 7, such that disjoint blocks span disjoint subspaces, is the standard Veronesean embedding in a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ (and d = 7) or it consists of the projection from a point ${p \in \mathcal{U}}$ of ${\mathcal{U}{\setminus} \{p\}}$ from a subgeometry ${\mathsf{PG}(7,\mathbb{K}^{\prime})}$ of ${\mathsf{PG}(7,\mathbb{F})}$ into a hyperplane ${\mathsf{PG}(6,\mathbb{K}^{\prime})}$ . In order to do so, when ${|\mathbb{K}| >3 }$ we strongly use the linear representation of the affine part of ${\mathcal{U}}$ (the line at infinity being secant) as the affine part of the generalized quadrangle ${\mathsf{Q}(4,\mathbb{K})}$ (the solid at infinity being non-singular); when ${|\mathbb{K}| =3}$ , we use the connection of ${\mathcal{U}}$ with the generalized hexagon of order 2.