Some generalizations of Ekeland-type variational principle with applications to equilibrium problems and fixed point theory

In this paper, we introduce the concept of a Q$Q$-function defined on a quasi-metric space which generalizes the notion of a τ$\tau$-function and a w$w$-distance. We establish Ekeland-type variational principles in the setting of quasi-metric spaces with a Q$Q$-function. We also present an equilibrium version of the Ekeland-type variational principle in the setting of quasi-metric spaces with a Q$Q$-function. We prove some equivalences of our variational principles with Caristi–Kirk type fixed point theorems for multivalued maps, the Takahashi minimization theorem and some other related results. As applications of our results, we derive existence results for solutions of equilibrium problems and fixed point theorems for multivalued maps. We also extend the Nadler’s fixed point theorem for multivalued maps to a Q$Q$-function and in the setting of complete quasi-metric spaces. As a consequence, we prove the Banach contraction theorem for a Q$Q$-function and in the setting of complete quasi-metric spaces. The results of this paper extend and generalize many results appearing recently in the literature.     

Hopf subalgebras and tensor powers of generalized permutation modules

By means of a certain module V$V$ and its tensor powers in a finite tensor category, we study a question of whether the depth of a Hopf subalgebra R$R$ of a finite-dimensional Hopf algebra H$H$ is finite. The module V$V$ is the counit representation induced from R$R$ to H$H$, which is then a generalized permutation module, as well as a module coalgebra. We show that if in the subalgebra pair either Hopf algebra has finite representation type, or V$V$ is either semisimple with R^∗$R^{\ast }$ pointed, projective, or its tensor powers satisfy a Burnside ring formula over a finite set of Hopf subalgebras including R$R$, then the depth of R$R$ in H$H$ is finite. One assigns a nonnegative integer depth to V$V$, or any other H$H$-module, by comparing the truncated tensor algebras of V$V$ in a finite tensor category and so obtains upper and lower bounds for depth of a Hopf subalgebra. For example, a relative Hopf restricted module has depth 1, and a permutation module of a corefree subgroup has depth less than the number of values of its character.     

Smale’s point estimate theory for Newton’s method on Lie groups

We introduce the notion of the (one-parameter subgroup) γ$\gamma$-condition for a map f$f$ from a Lie group to its Lie algebra and establish α$\alpha$-theory and γ$\gamma$-theory for Newton’s method for a map f$f$ satisfying this condition. Applications to analytic maps are provided, and Smale’s α$\alpha$-theory and γ$\gamma$-theory are extended and developed. Examples arising from initial value problems on Lie group are presented to illustrate applications of our results.     

Multi-dimensional G-Brownian motion and related stochastic calculus under G-expectation

We develop a notion of nonlinear expectation–G$G$-expectation–generated by a nonlinear heat equation with infinitesimal generator G$G$. We first study multi-dimensional G$G$-normal distributions. With this nonlinear distribution we can introduce our G$G$-expectation under which the canonical process is a multi-dimensional G$G$-Brownian motion. We then establish the related stochastic calculus, especially stochastic integrals of Itô’s type with respect to our G$G$-Brownian motion, and derive the related Itô’s formula. We have also obtained the existence and uniqueness of stochastic differential equations under our G$G$-expectation.     

Strongly quasi-Hamiltonian-connected semicomplete multipartite digraphs

A semicomplete multipartite or semicomplete c$c$-partite digraph D$D$ is a biorientation of a c$c$-partite graph. A semicomplete multipartite digraph D$D$ is called strongly quasi-Hamiltonian-connected, if for any two distinct vertices x$x$ and y$y$ of D$D$, there is a path P$P$ from x$x$ to y$y$ such that P$P$ contains at least one vertex from each partite set of D$D$.     

On probabilistic results for the discrepancy of a hybrid-Monte Carlo sequence

In many applications it has been observed that hybrid-Monte Carlo sequences perform better than Monte Carlo and quasi-Monte Carlo sequences, especially in difficult problems. For a mixed s$s$-dimensional sequence m$m$, whose elements are vectors obtained by concatenating d$d$-dimensional vectors from a low-discrepancy sequence q$q$ with (s−d)$(s-d)$-dimensional random vectors, probabilistic upper bounds for its star discrepancy have been provided. In a paper of G. Ökten, B. Tuffin and V. Burago [G. Ökten, B. Tuffin, V. Burago, J. Complexity 22 (2006), 435–458] it was shown that for arbitrary ε>0$\epsilon >0$ the difference of the star discrepancies of the first N$N$ points of m$m$ and q$q$ is bounded by ε$\epsilon$ with probability at least 1−2exp(−ε²N/2)$1-2exp(-{\epsilon }^{2}N/2)$ for N$N$ sufficiently large. The authors did not study how large N$N$ actually has to be and if and how this actually depends on the parameters s$s$ and ε$\epsilon$. In this note we derive a lower bound for N$N$, which significantly depends on s$s$ and ε$\epsilon$. Furthermore, we provide a probabilistic bound for the difference of the star discrepancies of the first N$N$ points of m$m$ and q$q$, which holds without any restrictions on N$N$. In this sense it improves on the bound of Ökten, Tuffin and Burago and is more helpful in practice, especially for small sample sizes N$N$. We compare this bound to other known bounds.     

Fixed point theorems for Reich type contractions on metric spaces with a graph

Let (X,d)$(X,d)$ be a metric space endowed with a graph G$G$ such that the set V(G)$V\left(G\right)$ of vertices of G$G$ coincides with X$X$. We define the notion of G$G$-Reich type maps and obtain a fixed point theorem for such mappings. This extends and subsumes many recent results which were obtained for other contractive type mappings on ordered metric spaces and for cyclic operators.     

Polychromatic 4-coloring of cubic even embeddings on the projective plane

A polychromatic     k$k$-coloring   of a map G$G$ on a surface is a k$k$-coloring such that each face of G$G$ has all k$k$ colors on its boundary vertices. An even embedding     G$G$ on a surface is a map of a simple graph on the surface such that each face of G$G$ is bounded by a cycle of even length. In this paper, we shall prove that a cubic even embedding G$G$ on the projective plane has a polychromatic proper 4-coloring if and only if G$G$ is not isomorphic to a Möbius ladder with an odd number of rungs. For proving the theorem, we establish a generating theorem for 3-connected Eulerian multi-triangulations on the projective plane.     

A unified proof of Brooks’ theorem and Catlin’s theorem

Brooks’ theorem is a fundamental result in the theory of graph coloring. Catlin proved the following strengthening of Brooks’ theorem: Let d$d$ be an integer at least 3, and let G$G$ be a graph with maximum degree d$d$. If G$G$ does not contain _Kd+1$K_{d+1}$ as a subgraph, then G$G$ has a d$d$-coloring in which one color class has size α(G)$\alpha \left(G\right)$. Here α(G)$\alpha \left(G\right)$ denotes the independence number of G$G$. We give a unified proof of Brooks’ theorem and Catlin’s theorem.     

Bergeʼs maximum theorem for noncompact image sets

This note generalizes Berge?s maximum theorem to noncompact image sets. It also clarifies the results from Feinberg, Kasyanov and Zadoianchuk (2013) [7] on the extension to noncompact image sets of another Berge?s theorem, that states semi-continuity of value functions. Here we explain that the notion of a K$\mathbb{K}$-inf-compact function introduced there is applicable to metrizable topological spaces and to more general compactly generated topological spaces. For Hausdorff topological spaces we introduce the notion of a KN$\mathbb{K}\mathbb{N}$-inf-compact function (N$\mathbb{N}$ stands for “nets” in K$\mathbb{K}$-inf-compactness), which coincides with K$\mathbb{K}$-inf-compactness for compactly generated and, in particular, for metrizable topological spaces.     

Kőnig’s edge-colouring theorem for all graphs

We show that the maximum degree of a graph G$G$ is equal to the minimum number of ocm sets covering  G$G$, where an ocm set is the vertex-disjoint union of elementary odd cycles and one matching, and a collection of ocm sets covers   G$G$ if every edge is in the matching of an ocm set or in some odd cycle of at least two ocm sets.     

Restrictions of an invertible chaotic operator to its invariant subspaces

Let M$M$ be a closed subspace of a separable, infinite dimensional Hilbert space H$H$ with dim(H/M)=∞$dim(H/M)=\infty$. We show that a bounded linear operator A:M→M$A:M\to M$ has an invertible chaotic extension T:H→H$T:H\to H$ if and only if A$A$ is bounded below. Motivated by our result, we further show that A:M→M$A:M\to M$ has a chaotic Fredholm extension T:H→H$T:H\to H$ if and only if A$A$ is left semi-Fredholm.     

Generalized derivatives of distance functions and the existence of nearest points

The relationships between the generalized directional derivative of the distance function and the existence of nearest points as well as some geometry properties in Banach spaces are studied. It is proved in the present paper that the condition that for each closed subset G$G$ of X$X$ and x∈X?G$x\in X?G$, the Clarke, Michel-Penot, Dini or modified Dini directional derivative of the distance function is 1 or −1 implying the existence of the nearest points to x$x$ from G$G$ is equivalent to X$X$ being compactly locally uniformly convex. Similar results for uniqueness of the nearest point are also established.     

Constant-factor approximation of the domination number in sparse graphs

The k$k$-domination number   of a graph is the minimum size of a set D$D$ such that every vertex of G$G$ is at distance at most k$k$ from D$D$. We give a linear-time constant-factor algorithm for approximation of the k$k$-domination number in classes of graphs with bounded expansion, which include e.g. proper minor-closed graph classes, proper classes closed on topological minors and classes of graphs that can be drawn on a fixed surface with bounded number of crossings on each edge.     

Modules satisfying the weak Nakayama property

Let R$R$ be a commutative ring with identity. We will say that an R$R$-module M$M$ satisfies the weak Nakayama property, if IM=M$IM=M$, where I$I$ is an ideal of R$R$, implies that for any x∈M$x\in M$ there exists a∈I$a\in I$ such that (a−1)x=0$(a-1)x=0$. In this paper, we will study modules satisfying the weak Nakayama property. It is proved that if R$R$ is a local ring, then R$R$ is a Max ring if and only if J(R)$J\left(R\right)$, the Jacobson radical of R$R$, is T$T$-nilpotent if and only if every R$R$-module satisfies the weak Nakayama property.     

Fixed point theorem for generalized Φ -pseudocontractive mappings

Let E$E$ be a real Banach space, C$C$ be a nonempty closed convex subset of E$E$ and T:C→C$T:C\to C$ be a continuous generalized Φ$\Phi$-pseudocontractive mapping. It is proved that T$T$ has a unique fixed point in C$C$.     

A note on completeness and strongly clean rings

Many authors have investigated the behavior of strong cleanness under certain ring extensions. In this note, we investigate the classical problem of lifting idempotents, in order to consolidate and extend these results. Our main result is that if R$R$ is a ring which is complete with respect to an ideal I$I$ and if x$x$ is an element of R$R$ whose image in R/I$R/I$ is strongly π$\pi$-regular, then x$x$ is strongly clean in R$R$. This generalizes Theorem 2.1 of Chen and Zhou (2007)  [9].     

Quandle cocycles from invariant theory

Let G$G$ be a group. Any G$G$-module M$M$ has an algebraic structure called a G$G$-family of Alexander quandles. Given a 2-cocycle of a cohomology associated with this G$G$-family, topological invariants of (handlebody) knots in the 3-sphere are defined. We develop a simple algorithm to algebraically construct n$n$-cocycles of this G$G$-family from G$G$-invariant group n$n$-cocycles of the abelian group M$M$. We present many examples of 2-cocycles of these G$G$-families using facts from (modular) invariant theory.