Construction of hyperbolic Riemann surfaces with large systoles

Let S be a compact hyperbolic Riemann surface of genus \({g \geq 2}\). We call a systole a shortest simple closed geodesic in S and denote by \({{\rm sys}(S)}\) its length. Let \({{\rm msys}(g)}\) be the maximal value that \({{\rm sys}(\cdot)}\) can attain among the compact Riemann surfaces of genus g. We call a (globally) maximal surface S_max a compact Riemann surface of genus g whose systole has length \({{\rm msys}(g)}\). In Section 2 we use cutting and pasting techniques to construct compact hyperbolic Riemann surfaces with large systoles from maximal surfaces. This enables us to prove several inequalities relating \({{\rm msys}(\cdot)}\) of different genera. In Section 3 we derive similar intersystolic inequalities for non-compact hyperbolic Riemann surfaces with cusps.     

Some isomorphism results for Thompson-like groups <Emphasis Type="Italic">V</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">G</Emphasis>)

The natural automorphism group of a translation surface is its group of translations. For finite translation surfaces of genus g ≥ 2 the order of this group is naturally bounded in terms of g due to a Riemann–Hurwitz formula argument. In analogy with classical Hurwitz surfaces, we call surfaces which achieve the maximal bound Hurwitz translation surfaces. We study for which g there exist Hurwitz translation surfaces of genus g.     

Subgroups of cyclic groups and values of the Riemann zeta function

Let k be a positive integer, x a large real number, and let \(C_n\) be the cyclic group of order n. For \(k\le n\le x\) we determine the mean average order of the subgroups of \(C_n\) generated by k distinct elements and we give asymptotic results of related averaging functions of the orders of subgroups of cyclic groups. The average order is expressed in terms of Jordan’s totient functions and Stirling numbers of the second kind. We have the following consequence. Let k and x be as above. For \(k\le n\le x\), the mean average proportion of \(C_n\) generated by k distinct elements approaches \(\zeta (k+2)/\zeta (k+1)\) as x grows, where \(\zeta (s)\) is the Riemann zeta function.     

Metacyclic groups as automorphism groups of compact Riemann surfaces

Let X be a compact Riemann surface of genus \(g\ge 2\), and let G be a subgroup of \(\mathrm{Aut}(X)\). We show that if the Sylow 2-subgroups of G are cyclic, then \(|G|\le 30(g-1)\). If all Sylow subgroups of G are cyclic, then, with two exceptions, \(|G|\le 10(g-1)\). More generally, if G is metacyclic, then, with one exception, \(|G|\le 12(g-1)\). Each of these bounds is attained for infinitely many values of g.     

A cycle cover of a 2-edge-connected graph embedded with large face-width on an orientable surface

In 1985, Alon and Tarsi conjectured that the length of a shortest cycle cover of a bridgeless graph H is at most 7/5 |E(H|). The conjecture is still open. Let G be a 2-edge-connected graph embedded with face-width k on the non-spherical orientable surface S_g. We give an upper bound on the length of a cycle cover of G. In particular, if g = 1 and k ≥ 48, or g = 2 and k ≥ 427, or g ≥ 3 and k ≥ 288(4^g - 1), then the upper bound is 7/5 |E(G|), which means that Alon and Tarsi’s conjecture holds for such a graph.     

<Emphasis Type="Italic">s</Emphasis>-Vertex Pancyclic Index

A graph G is vertex pancyclic if for each vertex \({v \in V(G)}\) , and for each integer k with 3 ≤ k ≤ |V(G)|, G has a k-cycle C _k such that \({v \in V(C_k)}\) . Let s ≥ 0 be an integer. If the removal of at most s vertices in G results in a vertex pancyclic graph, we say G is an s-vertex pancyclic graph. Let G be a simple connected graph that is not a path, cycle or K _1,3. Let l(G) = max{m : G has a divalent path of length m that is not both of length 2 and in a K ₃}, where a divalent path in G is a path whose interval vertices have degree two in G. The s-vertex pancyclic index of G, written vp _s (G), is the least nonnegative integer m such that L ^m (G) is s-vertex pancyclic. We show that for a given integer s ≥ 0,

$vp_s(G)\le \left\{\begin{array}{l@{\quad}l}\qquad\quad\quad\,\,\,\,\,\,\, l(G)+s+1: \quad {\rm if} \,\, 0 \le s \le 4 \\ l(G)+\lceil {\rm log}_2(s-2) \rceil+4: \quad {\rm if} \,\, s \ge 5 \end{array}\right.$

And we improve the bound for essentially 3-edge-connected graphs. The lower bound and whether the upper bound is sharp are also discussed.

     

Universal Cycle Packings and Coverings for <Emphasis Type="Italic">k</Emphasis>-Subsets of an <Emphasis Type="Italic">n</Emphasis>-Set

A cyclic sequence of elements of [n] is an (n, k)-Ucycle packing (respectively, (n, k)-Ucycle covering) if every k-subset of [n] appears in this sequence at most once (resp. at least once) as a subsequence of consecutive terms. Let \(p_{n,k}\) be the length of a longest (n, k)-Ucycle packing and \(c_{n,k}\) the length of a shortest (n, k)-Ucycle covering. We show that, for a fixed \(k,p_{n,k}={n\atopwithdelims ()k}-O(n^{\lfloor k/2\rfloor })\). Moreover, when k is not fixed, we prove that if \(k=k(n)\le n^{\alpha }\), where \(0<\alpha <1/3\), then \(p_{n,k}={n\atopwithdelims ()k}-o({n\atopwithdelims ()k}^\beta )\) and \(c_{n,k}={n\atopwithdelims ()k}+o({n\atopwithdelims ()k}^\beta )\), for some \(\beta <1\). Finally, we show that if \(k=o(n)\), then \(p_{n,k}={n\atopwithdelims ()k}(1-o(1))\).     

Conductors in <Emphasis Type="Italic">p</Emphasis>-adic families

Let the function \(s_g\) map a positive integer to the sum of its digits in the base g. A number k is called n-flimsy in the base g if \(s_g(nk)<s_g(k)\). Clearly, given a base g, \(g\geqslant 2\), if n is a power of g, then there does not exist an n-flimsy number in the base g. We give a constructive proof of the existence of an n-flimsy number in the base g for all the other values of n (such an existence follows from the results of Schmidt and Steiner, but the explicit construction is a novelty). Our algorithm for construction of such a number, say k, is very flexible in the sense that, by easy modifications, we can impose further requirements on k—k ends with a given sequence of digits, k begins with a given sequence of digits, k is divisible by a given number (or belongs to a certain congruence class modulo a given number), etc.     

The Riemann constant for a non-symmetric Weierstrass semigroup

The zero divisor of the theta function of a compact Riemann surface X of genus g is the canonical theta divisor of Pic\({^{(g-1)}}\) up to translation by the Riemann constant \({\Delta}\) for a base point P of X. The complement of the Weierstrass gaps at the base point P gives a numerical semigroup, called the Weierstrass semigroup. It is classically known that the Riemann constant \({\Delta}\) is a half period, namely an element of \({\frac{1}{2}\Gamma_\tau}\) , for the Jacobi variety \({\mathcal{J}(X)=\mathbb{C}^{g}/\Gamma_\tau}\) of X if and only if the Weierstrass semigroup at P is symmetric. In this article, we analyze the non-symmetric case. Using a semi-canonical divisor D₀, we express the relation between the Riemann constant \({\Delta}\) and a half period in the non-symmetric case. We point out an application to an algebraic expression for the Jacobi inversion problem. We also identify the semi-canonical divisor D₀ for trigonal pointed curves, namely with total ramification at P.     

On the exponent of the automorphism group of a compact Riemann surface

Let X be a compact Riemann surface of genus \({g \geq 2}\), and let Aut(X) be its group of automorphisms. We show that the exponent of Aut(X) is bounded by 42(g?1). We also determine explicitly the infinitely many values of g for which this bound is reached and the corresponding groups. Finally, we discuss related questions for subgroups G of Aut(X) that are subject to additional conditions, for example being solvable.     

<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

Kähler groups, $${\mathbb{}}$$-trees,and holomorphic families of riemann surfaces

Let X be a compact Kähler manifold, and g a fixed genus. Due to the work of Parshin and Arakelov, it is known that there are only a finite number of non isotrivial holomorphic families of Riemann surfaces of genus \({g \geqslant 2}\) over X. We prove that this number only depends on the fundamental group of X. Our approach uses geometric group theory (limit groups, \({\mathbb{R}}\)-trees, the asymptotic geometry of the mapping class group), and Gromov-Shoen theory. We prove that in many important cases limit groups (in the sense of Sela) associated to infinite sequences of actions of a Kähler group on a Gromov-hyperbolic space are surface groups and we apply this result to monodromy groups acting on complexes of curves.     

Sub-Riemannian geodesics in SO(3) with application to vessel tracking in spherical images of retina

In order to detect vessel locations in spherical images of retina we consider the problem of minimizing the functional \(\int\limits_0^l {\mathfrak{C}\left( {\gamma \left( s \right)} \right)\sqrt {{\xi ^2} + k_g^2\left( s \right)} ds}\) for a curve γ on a sphere with fixed boundary points and directions. The total length l is free, s denotes the spherical arclength, and k _g denotes the geodesic curvature of γ. Here the smooth external cost C ≥ δ > 0 is obtained from spherical data. We lift this problem to the sub-Riemannian (SR) problem in Lie group SO(3) and propose numerical solution to this problem with consequent comparison to exact solution in the case C = 1. An experiment of vessel tracking in a spherical image of the retina shows a benefit of using SO(3) geodesics.     

Coloring of the Square of Kneser Graph $$$$

The Kneser graph K(n, k) is the graph whose vertices are the k-element subsets of an n elements set, with two vertices adjacent if they are disjoint. The square \(G^2\) of a graph G is the graph defined on V(G) such that two vertices u and v are adjacent in \(G^2\) if the distance between u and v in G is at most 2. Determining the chromatic number of the square of the Kneser graph K(n, k) is an interesting graph coloring problem, and is also related with intersecting family problem. The square of K(2k, k) is a perfect matching and the square of K(n, k) is the complete graph when \(n \ge 3k-1\). Hence coloring of the square of \(K(2k +1, k)\) has been studied as the first nontrivial case. In this paper, we focus on the question of determining \(\chi (K^2(2k+r,k))\) for \(r \ge 2\). Recently, Kim and Park (Discrete Math 315:69–74, 2014) showed that \(\chi (K^2(2k+1,k)) \le 2k+2\) if \( 2k +1 = 2^t -1\) for some positive integer t. In this paper, we generalize the result by showing that for any integer r with \(1 \le r \le k -2\),

1. (a)
   \(\chi (K^2 (2k+r, k)) \le (2k+r)^r\),   if   \(2k + r = 2^t\) for some integer t, and
    
2. (b)
   \(\chi (K^2 (2k+r, k)) \le (2k+r+1)^r\),   if  \(2k + r = 2^t-1\) for some integer t.
    

On the other hand, it was shown in Kim and Park (Discrete Math 315:69–74, 2014) that \(\chi (K^2 (2k+r, k)) \le (r+2)(3k + \frac{3r+3}{2})^r\) for \(2 \le r \le k-2\). We improve these bounds by showing that for any integer r with \(2 \le r \le k -2\), we have \(\chi (K^2 (2k+r, k)) \le 2 \left( \frac{9}{4}k + \frac{9(r+3)}{8} \right) ^r\). Our approach is also related with injective coloring and coloring of Johnson graph.

     

Some class 1 graphs on <Emphasis Type="Italic">g</Emphasis><Subscript><Emphasis Type="Italic">c</Emphasis></Subscript>-colorings

An edge-coloring of a graph G is an assignment of colors to all the edges of G. A g _c -coloring of a graph G is an edge-coloring of G such that each color appears at each vertex at least g(v) times. The maximum integer k such that G has a g _c -coloring with k colors is called the g _c -chromatic index of G and denoted by \(\chi\prime_{g_{c}}\)(G). In this paper, we extend a result on edge-covering coloring of Zhang and Liu in 2011, and give a new sufficient condition for a simple graph G to satisfy \(\chi\prime_{g_{c}}\)(G) = δ _g (G), where \(\delta_{g}\left(G\right) = min_{v\epsilon V (G)}\left\{\lfloor\frac{d\left(v\right)}{g\left(v\right)}\rfloor\right\}\).     

Neighborhood Conditions for Fractional ID-<Emphasis Type="Italic">k</Emphasis>-factor-critical Graphs

Let G be a graph and k ≥ 2 a positive integer. Let h: E(G) → [0, 1] be a function. If \(\sum\limits_{e \mathrel\backepsilon x} {h(e) = k} \) holds for each x ∈ V (G), then we call G[F_h] a fractional k-factor of G with indicator function h where F_h = {e ∈ E(G): h(e) > 0}. A graph G is fractional independent-set-deletable k-factor-critical (in short, fractional ID-k-factor-critical), if G ? I has a fractional k-factor for every independent set I of G. In this paper, we prove that if n ≥ 9k ? 14 and for any subset X ? V (G) we have

$${N_G}(X) = V(G)if|X| \geqslant \left\lfloor {\frac{{kn}}{{3k - 1}}} \right\rfloor ;or|{N_G}(X)| \geqslant \frac{{3k - 1}}{k}|X|if|X| < \left\lfloor {\frac{{kn}}{{3k - 1}}} \right\rfloor ,$$

then G is fractional ID-k-factor-critical.

     

Multiplicity of closed geodesics on Finsler spheres with irrationally elliptic closed geodesics

If all prime closed geodesics on (Sⁿ, F) with an irreversible Finsler metric F are irrationally elliptic, there exist either exactly 2 \(\left[ {\frac{{n + 1}}{2}} \right]\) or infinitely many distinct closed geodesics. As an application, we show the existence of three distinct closed geodesics on bumpy Finsler (S³, F) if any prime closed geodesic has non-zero Morse index.     

Geodesics in minimal surfaces

Abstract—In this paper, we consider connected minimal surfaces in R³ with isothermal coordinates and with a family of geodesic coordinates curves, these surfaces will be called GICM-surfaces. We give a classification of the GICM-surfaces. This class of minimal surfaces includes the catenoid, the helicoid and Enneper’s surface. Also, we show that one family of this class of minimal surfaces has at least one closed geodesic and one 1-periodic family of this class has finite total curvature. As application we show other characterization of catenoid and helicoid. Finally, we show that the class of GICM-surfaces coincides with the class of minimal surfaces whose the geodesic curvature k _g ¹ and k _g ² of the coordinates curves satisfy αk _g ¹ + βk _g ² = 0, α, β ∈ R.     

Generalizations of Marriage Theorem for Degree Factors

Let G be a bipartite graph with bipartition (A, B). We give new criteria for a bipartite graph to have an f -factor, a (g, f)-factor and other factors together with some applications of these criteria. These criteria can be considered as direct generalizations of Hall’s marriage theorem. Among some results, we prove that for a function \(h: A\cup B \rightarrow \{0,1,2, \ldots \}\), G has a factor F such that \(\deg _F(x)=h(x)\) for \(x\in A\) and \(\deg _H(y) \le h(y)\) for \(y\in B\) if and only if \(h(X) \le \sum _{x\in N_G(X)}\min \{h(x), e_G(x,X)\}\) for all \(X\subseteq A\).     

Engel-type subgroups and length parameters of finite groups

Let g be an element of a finite group G. For a positive integer n, let E _n (g) be the subgroup generated by all commutators [...[[x, g], g],..., g] over x ∈ G, where g is repeated n times. By Baer’s theorem, if E _n (g) = 1, then g belongs to the Fitting subgroup F(G). We generalize this theorem in terms of certain length parameters of E _n (g). For soluble G we prove that if, for some n, the Fitting height of E _n (g) is equal to k, then g belongs to the (k+1)th Fitting subgroup F_k+1(G). For nonsoluble G the results are in terms of nonsoluble length and generalized Fitting height. The generalized Fitting height h*(H) of a finite group H is the least number h such that F_h* (H) = H, where F₀* (H) = 1, and F_i+1(H)* is the inverse image of the generalized Fitting subgroup F*(H/F*_i (H)). Let m be the number of prime factors of |g| counting multiplicities. It is proved that if, for some n, the generalized Fitting height of E _n (g) is equal to k, then g belongs to F*_f(k,m)(G), where f(k, m) depends only on k and m. The nonsoluble length λ(H) of a finite group H is defined as the minimum number of nonsoluble factors in a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. It is proved that if λ(E _n (g)) = k, then g belongs to a normal subgroup whose nonsoluble length is bounded in terms of k and m. We also state conjectures of stronger results independent of m and show that these conjectures reduce to a certain question about automorphisms of direct products of finite simple groups.