Regular prism tilings in {{\widetilde{\bf SL_{2}R}}} space

\({{\widetilde{\bf SL_{2}R}}}\) geometry is one of the eight 3-dimensional Thurston geometries, it can be derived from the 3-dimensional Lie group of all 2 × 2 real matrices with determinant one. Our aim is to describe and visualize the regular infinite or bounded p-gonal prism tilings in \({{\widetilde{\bf SL_{2}R}}}\) . For this purpose we introduce the notion of infinite and bounded prisms, prove that there exist infinitely many regular infinite p-gonal face-to-face prism tilings \({\mathcal{T}^i_p(q)}\) and infinitely many regular bounded p-gonal non-face-to-face \({{\widetilde{\bf SL_{2}R}}}\) prism tilings \({\mathcal{T}_p(q)}\) for integer parameters \({p,q; 3 \leq p, \frac{2p}{p-2} < q}\) . Moreover, we describe the symmetry group of \({\mathcal{T}_p(q)}\) via its index 2 rotational subgroup, denoted by pq2 ₁ . Surprisingly this group already occurred in our former work (Molnár et al., J Geometry, 95:91–133, 2009) in another context. We also develop a method to determine the data of the space filling regular infinite and bounded prism tilings. We apply the above procedure to \({\mathcal{T}^i_3(q)}\) and \({\mathcal{T}_3(q)}\) where 6 < q and visualize them and the corresponding tilings. E. Molnár showed, that homogeneous 3-spaces have a unified interpretation in the projective 3-sphere \({\mathcal{PS}^3}\) and 3-space \({\mathcal{P}^3({\bf V}^4,{\bf V}_4, {\bf R})}\) . In our work we will use this projective model of \({{\widetilde{\bf SL_{2}R}}}\) and in this manner the prisms and prism tilings can be visualized on the Euclidean screen of a computer.     

On semigroups of endomorphisms of a chain with restricted range

Let X be a finite or infinite chain and let \({\mathcal{O}}(X)\) be the monoid of all endomorphisms of X. In this paper, we describe the largest regular subsemigroup of \({\mathcal{O}}(X)\) and Green’s relations on \({\mathcal{O}}(X)\) . In fact, more generally, if Y is a nonempty subset of X and \({\mathcal{O}}(X,Y)\) is the subsemigroup of \({\mathcal{O}}(X)\) of all elements with range contained in Y, we characterize the largest regular subsemigroup of \({\mathcal{O}}(X,Y)\) and Green’s relations on \({\mathcal{O}}(X,Y)\) . Moreover, for finite chains, we determine when two semigroups of the type \({\mathcal {O}}(X,Y)\) are isomorphic and calculate their ranks.     

Finite frames,P-frames and basically disconnected frames

Let \({\mathcal{P}}\) be an ideal of closed quotients of a completely regular frame L and \({\mathcal{R}_{\mathcal{P}}(L)}\) the collection of all functions in the ring \({\mathcal{R}(L)}\) whose support belong to \({\mathcal{P}}\) . We show that \({\mathcal{R}(L)}\) is a Noetherian ring if and only if \({\mathcal{R}(L)}\) is an Artinian ring if and only if L is a finite frame. Using this result, we next show that if \({\mathcal{P}}\) is the ideal of all compact closed quotients of L and L is \({\mathcal{P}}\) -continuous, then \({\mathcal{R}_{\mathcal{P}}(L)}\) is a Noetherian ring if and only if L is finite. Moreover, we show that L is a P-frame if and only if each ideal of \({\mathcal{R}(L)}\) is of the form \({\mathcal{R}_{\mathcal{P}}(L)}\) for some choice of \({\mathcal{P}}\) . We furnish equivalent conditions for \({\mathcal{R}_{\mathcal{P}}(L)}\) to be a prime ideal, a free ideal, and an essential ideal of \({\mathcal{R}(L)}\) separately in terms of the cozero elements of L. Finally, we show that L is basically disconnected if and only if \({\mathcal{R}(L)}\) is a coherent ring.     

Description of Closed Maximal Ideals in Topological Algebras of Continuous Vector-Valued Functions

Let X be a completely regular Hausdorff space, A be a unital locally convex algebra with jointly continuous multiplication and C(X,A) be the algebra of all continuous A-valued functions on X equipped with the topology of \({\mathcal{K}(X)}\) -convergence. Moreover, let \({\mathfrak{M}_{\ell}(A)}\) and \({\mathfrak{M}(A)}\) denote the set of all closed maximal left and two-sided ideals in A, respectively. In this note, we describe all closed maximal left and two-sided ideals in C(X,A) and show that there exist bijections from \({\mathfrak{M}_{\ell}(C(X, A))}\) onto \({X \times \mathfrak{M}_{\ell}(A)}\) and \({\mathfrak{M}(C(X, A))}\) onto \({X \times \mathfrak{M}(A)}\) . We also present new characterizations of closed maximal ideals in C(X, A) when A is a unital commutative locally convex Gelfand–Mazur algebra with jointly continuous multiplication.     

Non-Veech surfaces in {\mathcal{H}^{\rm hyp}(4)} are generic

We show that every surface in the component \({\mathcal{H}^{\rm hyp}(4)}\) , that is the moduli space of pairs \({(M,\omega)}\) where M is a genus three hyperelliptic Riemann surface and \({\omega}\) is an Abelian differential having a single zero on M, is either a Veech surface or a generic surface, i.e. its \({{\rm GL}^{+}(2,\mathbb{R})}\) -orbit is either a closed or a dense subset of \({\mathcal{H}^{\rm hyp}(4)}\) . The proof develops new techniques applicable in general to the problem of classifying orbit closures, especially in low genus. Combined with work of Matheus and the second author, a corollary is that there are at most finitely many non-arithmetic Teichmüller curves (closed orbits of surfaces not covering the torus) in \({\mathcal{H}^{\rm hyp}(4)}\) .     

Topological genericity of nowhere differentiable functions in the disc algebra

In this paper we introduce a class of functions contained in the disc algebra \({\mathcal{A}(D)}\) . We study functions \({f \in \mathcal{A}(D)}\) which have the property that the continuous periodic function \({u = {\rm Re}f|_{\mathbb{T}}}\) , where \({\mathbb{T}}\) is the unit circle, is nowhere differentiable. We prove that this class is non-empty and instead, generically, every function \({f \in \mathcal{A}(D)}\) has the above property. Afterwards, we strengthen this result by proving that, generically, for every function \({f \in \mathcal{A}(D)}\) , both continuous periodic functions \({u = {\rm Re}f|_\mathbb{T}}\) and \({\tilde{u} = {\rm Im}f|_\mathbb{T}}\) are nowhere differentiable. We avoid any use of the Weierstrass function and we mainly use Baire’s Category Theorem.     

Diffusion by optimal transport in Heisenberg groups

We prove that the hypoelliptic diffusion of the Heisenberg group \({\mathbb{H }}_n\) describes, in the space of probability measures over \({\mathbb{H }}_n\) , a curve driven by the gradient flow of the Boltzmann entropy \({{\mathrm{Ent}}}\) , in the sense of optimal transport. We prove that conversely any gradient flow curve of \({{\mathrm{Ent}}}\) satisfy the hypoelliptic heat equation. This occurs in the subRiemannian \({\mathbb{H }}_n\) , which is not a space with a lower Ricci curvature bound in the metric sense of Lott–Villani and Sturm.     

Sign-changing stationary solutions and blowup for a nonlinear heat equation in dimension two

Consider the nonlinear heat equation $$v_t -\Delta v=|v|^{p-1}v \qquad \qquad \qquad (NLH)$$ in the unit ball of \({\mathbb{R}^2}\) , with Dirichlet boundary condition. Let \({u_{p,\mathcal{K}}}\) be a radially symmetric, sign-changing stationary solution having a fixed number \({\mathcal{K}}\) of nodal regions. We prove that the solution of (NLH) with initial value \({\lambda u_{p,\mathcal{K}}}\) blows up in finite time if |λ ?1| > 0 is sufficiently small and if p is sufficiently large. The proof is based on the analysis of the asymptotic behavior of \({u_{p,\mathcal{K}}}\) and of the linearized operator \({L= -\Delta - p | u_{p,\mathcal{K}} | ^{p-1}}\) .     

Procrustes Problems and Parseval Quasi-Dual Frames

Parseval frames have particularly useful properties, and in some cases, they can be used to reconstruct signals which were analyzed by a non-Parseval frame. In this paper, we completely describe the degree to which such reconstruction is feasible. Indeed, notice that for fixed frames \({\mathcal{F}}\) and \({\mathcal{X}}\) with synthesis operators F and X, the operator norm of FX ^??I measures the (normalized) worst-case error in the reconstruction of vectors when analyzed with \({\mathcal{X}}\) and synthesized with \({\mathcal{F}}\) . Hence, for any given frame \({\mathcal{F}}\) , we compute explicitly the infimum of the operator norm of FX ^??I, where \({\mathcal{X}}\) is any Parseval frame. The \({\mathcal{X}}\) ’s that minimize this quantity are called Parseval quasi-dual frames of \({\mathcal{F}}\) . Our treatment considers both finite and infinite Parseval quasi-dual frames.     

Systems of variational inequalities for non-local operators related to optimal switching problems: existence and uniqueness

In this paper we study viscosity solutions to the system $$\begin{array}{ll} \min \{ -\mathcal{H}u_i(x,t)-\psi _i(x,t),u_i(x,t) - \max_{j \neq i} (-c_{i ,j} (x,t) + u_j (x,t)) \} = 0,\\ u_i(x,T)=g_i (x), \, i \in \{1,\ldots , d \},\end{array}$$ where \({(x,t)\in{\mathbb{R}}^{N} \times [0,T]}\) . Concerning \({{\mathcal{H}}}\) , we assume that \({{\mathcal{H}}={\mathcal{L}}+{\mathcal{I}}}\) where \({{\mathcal{L}}}\) is a linear, possibly degenerate, parabolic operator of second order and \({{\mathcal{I}}}\) is a non-local integro-partial differential operator. A special case of this type of system of variational inequalities with terminal data occurs in the context of optimal switching problems when the dynamics of the underlying state variables is described by an N-dimensional Levy process. We establish a general comparison principle for viscosity sub- and supersolutions to the system under mild regularity, growth and structural assumptions on the data, i.e., on the operator \({{\mathcal{H}}}\) and on the continuous functions \({\psi_i}\) , c _i,j , and g _i . Using the comparison principle we prove the existence of a unique viscosity solution (u ₁, . . . , u _d ) to the system by Perron’s method. Our main contribution is that we establish existence and uniqueness of viscosity solutions, in the setting of Levy processes and non-local operators, with no sign assumption on the switching costs {c _{i, j} } and allowing c _{i, j} to depend on x as well as t.     

Large free sets in powers of universal algebras

We prove that for each universal algebra ${(A, \mathcal{A})}$ of cardinality ${|A| \geq 2}$ and infinite set X of cardinality ${|X| \geq | \mathcal{A}|}$ , the X-th power ${(A^{X}, \mathcal{A}^{X})}$ of the algebra ${(A, \mathcal{A})}$ contains a free subset ${\mathcal{F} \subset A^{X}}$ of cardinality ${|\mathcal{F}| = 2^{|X|}}$ . This generalizes the classical Fichtenholtz–Kantorovitch–Hausdorff result on the existence of an independent family ${\mathcal{I} \subset \mathcal{P}(X)}$ of cardinality ${|\mathcal{I}| = |\mathcal{P}(X)|}$ in the Boolean algebra ${\mathcal{P}(X)}$ of subsets of an infinite set X.     

Forbidden Triples Containing a Complete Graph and a Complete Bipartite Graph of Small Order

For a graph G and a set \({\mathcal{F}}\) of connected graphs, G is said be \({\mathcal{F}}\) -free if G does not contain any member of \({\mathcal{F}}\) as an induced subgraph. We let \({\mathcal{G} _{3}(\mathcal{F})}\) denote the set of all 3-connected \({\mathcal{F}}\) -free graphs. This paper is concerned with sets \({\mathcal{F}}\) of connected graphs such that \({\mathcal{F}}\) contains no star, \({|\mathcal{F}|=3}\) and \({\mathcal{G}_{3}(\mathcal{F})}\) is finite. Among other results, we show that for a connected graph T( ≠ K ₁) which is not a star, \({\mathcal{G}_{3}(\{K_{4},K_{2,2},T\})}\) is finite if and only if T is a path of order at most 6.     

Geometry of Normal Graphs in Euclidean Space and Applications to the Penrose Inequality in Minkowski

The Penrose inequality in Minkowski is a geometric inequality relating the total outer null expansion and the area of closed, connected and spacelike codimension-two surfaces \({{\bf \mathcal{S}}}\) in the Minkowski spacetime, subject to an additional convexity assumption. In a recent paper, Brendle and Wang A (Gibbons–Penrose inequality for surfaces in Schwarzschild Spacetime. arXiv:1303.1863, 2013) find a sufficient condition for the validity of this Penrose inequality in terms of the geometry of the orthogonal projection of \({{\bf \mathcal{S}}}\) onto a constant time hyperplane. In this work, we study the geometry of hypersurfaces in n-dimensional Euclidean space which are normal graphs over other surfaces and relate the intrinsic and extrinsic geometry of the graph with that of the base hypersurface. These results are used to rewrite Brendle and Wang’s condition explicitly in terms of the time height function of \({{\bf \mathcal{S}}}\) over a hyperplane and the geometry of the projection of \({{\bf \mathcal{S}}}\) along its past null cone onto this hyperplane. We also include, in Appendix, a self-contained summary of known and new results on the geometry of projections along the Killing direction of codimension two-spacelike surfaces in a strictly static spacetime.     

Irrational Factor of Order k and ITS Connections With k-Free Integers

We introduce an irrational factor of order k defined by \({I_{k}(n) ={\prod_{i=1}^{l}} p_{i}^{\beta_{i}}}\) , where \({n = \prod_{i=1}^{l} p_{i}^{\alpha_{i}}}\) is the factorization of n and \({\beta_{i} = \left\{\begin{array}{ll}\alpha_i, \quad \quad {\rm if} \quad \alpha_i < k \\ \frac{1}{\alpha_i},\quad \quad {\rm if} \quad \alpha_i \geqq k \end{array}\right.}\) . It turns out that the function \({\frac{I_{k} (n)}{n}}\) well approximates the characteristic function of k-free integers. We also derive asymptotic formulas for \({\prod_{v=1}^{n} I_{k}(v)^{\frac{1}{n}}, \sum_{n \leqq x} I_{k}(n)}\) and \({\sum_{n \leqq x} (1 - \frac{n}{x}) I_{k}(n)}\) .     

Special values of anticyclotomic L-functions modulo λ

The purpose of this article is to generalize some results of Vatsal on the special values of Rankin–Selberg L-functions in an anticyclotomic \({\mathbb{Z}_{p}}\) -extension. Let g be a cuspidal Hilbert modular newform of parallel weight \({(2,\ldots,2)}\) and level \({\mathcal{N}}\) over a totally real field F, and let K/F be a totally imaginary quadratic extension of relative discriminant \({\mathcal{D}}\) . We study the l-adic valuation of the special values \({L(g,\chi,\frac{1}{2})}\) as \({\chi}\) varies over the ring class characters of K of \({\mathcal{P}}\) -power conductor, for some fixed prime ideal \({\mathcal{P}}\) . We prove our results under the only assumption that the prime to \({\mathcal{P}}\) part of \({\mathcal{N}}\) is relatively prime to \({\mathcal{D}}\) .     

Categorical group invariants of 3-manifolds

For a given class \({\mathcal{G}}\) of groups, a 3-manifold M is of \({\mathcal{G}}\) -category \({\leq k}\) if it can be covered by k open subsets such that for each path-component W of the subsets the image of its fundamental group \({ \pi_1(W) \rightarrow \pi(M )}\) belongs to \({\mathcal{G}}\) . The smallest number k such that M admits such a covering is the \({\mathcal{G}}\) -category, \({cat_{\mathcal{G}}(M)}\) . If M is closed, it has \({\mathcal{G}}\) -category between 1 and 4. We characterize all closed 3-manifolds of \({\mathcal{G}}\) -category 1, 2, and 3 for various classes \({\mathcal{G}}\) .     

On the Relaxed Colouring Game and the Unilateral Colouring Game

In the paper we introduce the new game—the unilateral \({\mathcal{P}}\) -colouring game which can be used as a tool to study the r-colouring game and the (r, d)-relaxed colouring game. Let be given a graph G, an additive hereditary property \({\mathcal {P}}\) and a set C of r colours. In the unilateral \({\mathcal {P}}\) -colouring game similarly as in the r-colouring game, two players, Alice and Bob, colour the uncoloured vertices of the graph G, but in the unilateral \({\mathcal {P}}\) -colouring game Bob is more powerful than Alice. Alice starts the game, the players play alternately, but Bob can miss his move. Bob can colour the vertex with an arbitrary colour from C, while Alice must colour the vertex with a colour from C in such a way that she cannot create a monochromatic minimal forbidden subgraph for the property \({\mathcal {P}}\) . If after |V(G)| moves the graph G is coloured, then Alice wins the game, otherwise Bob wins. The \({\mathcal {P}}\) -unilateral game chromatic number, denoted by \({\chi_{ug}^\mathcal {P}(G)}\) , is the least number r for which Alice has a winning strategy for the unilateral \({\mathcal {P}}\) -colouring game with r colours on G. We prove that the \({\mathcal {P}}\) -unilateral game chromatic number is monotone and is the upper bound for the game chromatic number and the relaxed game chromatic number. We give the winning strategy for Alice to play the unilateral \({\mathcal {P}}\) -colouring game. Moreover, for k ≥  2 we define a class of graphs \({\mathcal {H}_k =\{G|{\rm every \;block \;of\;}G \; {\rm has \;at \;most}\; k \;{\rm vertices}\}}\) . The class \({\mathcal {H}_k }\) contains, e.g., forests, Husimi trees, line graphs of forests, cactus graphs. Let \({\mathcal {S}_d}\) be the class of graphs with maximum degree at most d. We find the upper bound for the \({\mathcal {S}_2}\) -unilateral game chromatic number for graphs from \({\mathcal {H}_3}\) and we study the \({\mathcal {S}_d}\) -unilateral game chromatic number for graphs from \({\mathcal {H}_4}\) for \({d \in \{2,3\}}\) . As the conclusion from these results we obtain the result for the d-relaxed game chromatic number: if \({G \in \mathcal {H}_k}\) , then \({\chi_g^{(d)}(G) \leq k + 2-d}\) , for \({k \in \{3, 4\}}\) and \({d \in \{0, \ldots, k-1\}}\) . This generalizes a known result for trees.