Frobenius groups and retract rationality

Let k$k$ be any field, G$G$ be a finite group acting on the rational function field k(_xg:g∈G)$k(x_g:g\in G)$ by h⋅_xg=_xhg$h\cdot x_g=x_{hg}$ for any h,g∈G$h,g\in G$. Define k(G)=k(_xg:g∈G)^G$k\left(G\right)=k{(x_g:g\in G)}^G$. Noether’s problem asks whether k(G)$k\left(G\right)$ is rational (= purely transcendental) over k$k$. A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether’s problem. We prove that, if G$G$ is a Frobenius group with abelian Frobenius kernel, then k(G)$k\left(G\right)$ is retract k$k$-rational for any field k$k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field k$k$, for any Frobenius group G$G$ with Frobenius complement isomorphic to S_L2(_F5)$S{L}_2\left({\mathbb{F}}_5\right)$, there is a Galois extension field K$K$ over k$k$ whose Galois group is isomorphic to G$G$, i.e. the inverse Galois problem is valid for the pair (G,k)$(G,k)$. The same result is true for any non-solvable Frobenius group if k(_ζ8)$k\left({\zeta }_8\right)$ is a cyclic extension of k$k$.     

Parametric inference for discretely observed multidimensional diffusions with small diffusion coefficient

We consider a multidimensional diffusion X$X$ with drift coefficient b(α,_Xt)$b(\alpha ,X_t)$ and diffusion coefficient ?σ(β,_Xt)$?\sigma (\beta ,X_t)$. The diffusion sample path is discretely observed at times _tk=kΔ$t_k=k\Delta$ for k=1…n$k=1\dots n$ on a fixed interval [0,T]$[0,T]$. We study minimum contrast estimators derived from the Gaussian process approximating X$X$ for small ?$?$. We obtain consistent and asymptotically normal estimators of α$\alpha$ for fixed Δ$\Delta$ and ?→0$?\to 0$ and of (α,β)$(\alpha ,\beta )$ for Δ→0$\Delta \to 0$ and ?→0$?\to 0$ without any condition linking ?$?$ and Δ$\Delta$. We compare the estimators obtained with various methods and for various magnitudes of Δ$\Delta$ and ?$?$ based on simulation studies. Finally, we investigate the interest of using such methods in an epidemiological framework.     

Holomorphic mappings preserving Minkowski functionals

We show that the equality _m1(f(x))=_m2(g(x))$m_1\left(f\left(x\right)\right)=m_2\left(g\left(x\right)\right)$ for x$x$ in a neighborhood of a point a$a$ remains valid for all x$x$ provided that f$f$ and g$g$ are open holomorphic maps, f(a)=g(a)=0$f\left(a\right)=g\left(a\right)=0$ and _m1,_m2$m_1,m_2$ are Minkowski functionals of bounded balanced domains. Moreover, a polynomial relation between f$f$ and g$g$ is obtained.     

A note on distance-regular graphs with a small number of vertices compared to the valency

In this note we study distance-regular graphs with a small number of vertices compared to the valency. We show that for a given α>2$\alpha >2$, there are finitely many distance-regular graphs Γ$\Gamma$ with valency k$k$, diameter D≥3$D\ge 3$ and v$v$ vertices satisfying v≤αk$v\le \alpha k$ unless (D=3$D=3$ and Γ$\Gamma$ is imprimitive) or (D=4$D=4$ and Γ$\Gamma$ is antipodal and bipartite). We also show, as a consequence of this result, that there are finitely many distance-regular graphs with valency k≥3$k\ge 3$, diameter D≥3$D\ge 3$ and _c2≥εk$c_2\ge \epsilon k$ for a given 0<ε<1$0<\epsilon <1$ unless (D=3$D=3$ and Γ$\Gamma$ is imprimitive) or (D=4$D=4$ and Γ$\Gamma$ is antipodal and bipartite).     

Which finite simple groups are unit groups?

We prove that if G$G$ is a finite simple group which is the unit group of a ring, then G$G$ is isomorphic to: (a) a cyclic group of order 2; or (b) a cyclic group of prime order 2^k−1$2^k-1$ for some k$k$; or (c) a projective special linear group _PSLn(_F2)${PSL}_n\left({\mathbb{F}}_2\right)$ for some n≥3$n\ge 3$. Moreover, these groups do all occur as unit groups. We deduce this classification from a more general result, which holds for groups G$G$ with no non-trivial normal 2-subgroup.     

Characterizations of hypersurfaces of a Danielewski type

Let k$k$ be a field of characteristic zero and R$R$ a factorial affine k$k$-domain. Let B$B$ be an affineR$R$-domain. In terms of locally nilpotent derivations, we give criteria for B$B$ to be R$R$-isomorphic to the residue ring of a polynomial ring R[_X1,_X2,Y]$R[X_1,X_2,Y]$ over R$R$ by the ideal (_X1X2−φ(Y))$(X_1{X}_2-\phi \left(Y\right))$ for φ(Y)∈R[Y]?R$\phi \left(Y\right)\in R\left[Y\right]?R$.     

The scaling limit of Poisson-driven order statistics with applications in geometric probability

Let _ηt${\eta }_t$ be a Poisson point process of intensity t≥1$t\ge 1$ on some state space Y$\mathbb{Y}$ and let f$f$ be a non-negative symmetric function on Y^k${\mathbb{Y}}^k$ for some k≥1$k\ge 1$. Applying f$f$ to all k$k$-tuples of distinct points of _ηt${\eta }_t$ generates a point process _ξt${\xi }_t$ on the positive real half-axis. The scaling limit of _ξt${\xi }_t$ as t$t$ tends to infinity is shown to be a Poisson point process with explicitly known intensity measure. From this, a limit theorem for the m$m$-th smallest point of _ξt${\xi }_t$ is concluded. This is strengthened by providing a rate of convergence. The technical background includes Wiener–Itô chaos decompositions and the Malliavin calculus of variations on the Poisson space as well as the Chen–Stein method for Poisson approximation. The general result is accompanied by a number of examples from geometric probability and stochastic geometry, such as k$k$-flats, random polytopes, random geometric graphs and random simplices. They are obtained by combining the general limit theorem with tools from convex and integral geometry.     

On topological entropy of commuting tree maps

Let T$T$ be a tree with s$s$ ends and f,g$f,g$ be continuous maps from T$T$ to T$T$ with f°g=g°f$f°g=g°f$. In this note we show that if there exists a positive integer m≥2$m\ge 2$ such that gcd(m,l)=1$gcd(m,l)=1$ for any 2≤l≤s$2\le l\le s$ and f,g$f,g$ share a periodic point which is a km$km$-periodic point of f$f$ for some positive integer k$k$, then the topological entropy of f°g$f°g$ is positive.     

Minimum degree and disjoint cycles in generalized claw-free graphs

For s≥3$s\ge 3$ a graph is _K1,s$K_{1,s}$-free if it does not contain an induced subgraph isomorphic to _K1,s$K_{1,s}$. Cycles in _K1,3$K_{1,3}$-free graphs, called claw-free graphs, have been well studied. In this paper we extend results on disjoint cycles in claw-free graphs satisfying certain minimum degree conditions to _K1,s$K_{1,s}$-free graphs, normally called generalized claw-free graphs. In particular, we prove that if G$G$ is _K1,s$K_{1,s}$-free of sufficiently large order n=3k$n=3k$ with δ(G)≥n/2+c$\delta \left(G\right)\ge n/2+c$ for some constant c=c(s)$c=c\left(s\right)$, then G$G$ contains k$k$ disjoint triangles. Analogous results with the complete graph _K3$K_3$ replaced by a complete graph _Km$K_m$ for m≥3$m\ge 3$ will be proved. Also, the existence of 2$2$-factors for _K1,s$K_{1,s}$-free graphs with minimum degree conditions will be shown.     

On weighted Hilbert spaces and integration of functions of infinitely many variables

We study aspects of the analytic foundations of integration and closely related problems for functions of infinitely many variables _x1,_x2,…∈D$x_1,x_2,\dots \in D$. The setting is based on a reproducing kernel k$k$ for functions on D$D$, a family of non-negative weights _γu${\gamma }_u$, where u$u$ varies over all finite subsets of N$\mathbb{N}$, and a probability measure ρ$\rho$ on D$D$. We consider the weighted superposition K=_∑uγuku$K={\sum }_u{\gamma }_u{k}_u$ of finite tensor products _ku$k_u$ of k$k$. Under mild assumptions we show that K$K$ is a reproducing kernel on a properly chosen domain in the sequence space D^N$D^{\mathbb{N}}$, and that the reproducing kernel Hilbert space H(K)$H\left(K\right)$ is the orthogonal sum of the spaces H(_γuku)$H\left({\gamma }_u{k}_u\right)$. Integration on H(K)$H\left(K\right)$ can be defined in two ways, via a canonical representer or with respect to the product measure ρ^N${\rho }^{\mathbb{N}}$ on D^N$D^{\mathbb{N}}$. We relate both approaches and provide sufficient conditions for the two approaches to coincide.     

Crossing number additivity over edge cuts

Consider a graph G$G$ with a minimal edge cut F$F$ and let _G1$G_1$, _G2$G_2$ be the two (augmented) components of G−F$G-F$. A long-open question asks under which conditions the crossing number of G$G$ is (greater than or) equal to the sum of the crossing numbers of _G1$G_1$ and _G2$G_2$—which would allow us to consider those graphs separately. It is known that crossing number is additive for |F|∈{0,1,2}$\left|F\right|\in \{0,1,2\}$ and that there exist graphs violating this property with |F|≥4$\left|F\right|\ge 4$. In this paper, we show that crossing number is additive for |F|=3$\left|F\right|=3$, thus closing the final gap in the question.     

Induced subgraphs of hypercubes

Let _Qk$Q_k$ denote the k$k$-dimensional hypercube on 2^k$2^k$ vertices. A vertex in a subgraph of _Qk$Q_k$ is full   if its degree is k$k$. We apply the Kruskal–Katona Theorem to compute the maximum number of full vertices an induced subgraph on n≤2^k$n\le 2^k$ vertices of _Qk$Q_k$ can have, as a function of k$k$ and n$n$. This is then used to determine min(max(|V(_H1)|,|V(_H2)|))$min(max(\left|V\left(H_1\right)\right|,\left|V\left(H_2\right)\right|))$ where (i) _H1$H_1$ and _H2$H_2$ are induced subgraphs of _Qk$Q_k$, and (ii) together they cover all the edges of _Qk$Q_k$, that is E(_H1)∪E(_H2)=E(_Qk)$E\left(H_1\right)\cup E\left(H_2\right)=E\left(Q_k\right)$.     

A boundary blow-up elliptic problem with an inhomogeneous term

By a perturbation method and constructing comparison functions, we reveal how the inhomogeneous term h$h$ affects the exact asymptotic behaviour of solutions near the boundary to the problem △u=b(x)g(u)+λh(x)$△u=b\left(x\right)g\left(u\right)+\lambda h\left(x\right)$, u>0$u>0$ in Ω$\Omega$, u_|∂Ω=∞$u{|}_{\partial \Omega }=\infty$, where Ω$\Omega$ is a bounded domain with smooth boundary in R^N${\mathbb{R}}^N$, λ>0$\lambda >0$, g∈C¹[0,∞)$g\in C^1[0,\infty )$ is increasing on [0,∞)$[0,\infty )$, g(0)=0$g\left(0\right)=0$, g^′$g^{\prime }$ is regularly varying at infinity with positive index ρ$\rho$, the weight b$b$, which is non-trivial and non-negative in Ω$\Omega$, may be vanishing on the boundary, and the inhomogeneous term h$h$ is non-negative in Ω$\Omega$ and may be singular on the boundary.     

Disjoint paths in tournaments

Given k   pairs of vertices (_si,_ti)$(s_i,t_i)$(1≤i≤k)$(1\le i\le k)$ of a digraph G, how can we test whether there exist k   vertex-disjoint directed paths from _si$s_i$ to _ti$t_i$ for 1≤i≤k$1\le i\le k$? This is NP-complete in general digraphs, even for k=2$k=2$ [2], but for k=2$k=2$ there is a polynomial-time algorithm when G is a tournament (or more generally, a semicomplete digraph), due to Bang-Jensen and Thomassen [1]. Here we prove that for all fixed k there is a polynomial-time algorithm to solve the problem when G is semicomplete.