A structure theorem for small sumsets in nonabelian groups

Let G$G$ be an arbitrary finite group and let S$S$ and T$T$ be two subsets such that |S|≥2$\left|S\right|\ge 2$, |T|≥2$\left|T\right|\ge 2$, and |TS|≤|T|+|S|−1≤|G|−2$\left|TS\right|\le \left|T\right|+\left|S\right|-1\le \left|G\right|-2$. We show that if |S|≤|G|−4|G|^1/2$\left|S\right|\le \left|G\right|-4{\left|G\right|}^{1/2}$ then either S$S$ is a geometric progression or there exists a non-trivial subgroup H$H$ such that either |HS|≤|S|+|H|−1$\left|HS\right|\le \left|S\right|+\left|H\right|-1$ or |SH|≤|S|+|H|−1$\left|SH\right|\le \left|S\right|+\left|H\right|-1$. This extends to the nonabelian case classical results for abelian groups. When we remove the hypothesis |S|≤|G|−4|G|^1/2$\left|S\right|\le \left|G\right|-4{\left|G\right|}^{1/2}$ we show the existence of counterexamples to the above characterization whose structure is described precisely.     

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.     

[1, 2]-sets in graphs

A subset S⊆V$S\subseteq V$ in a graph G=(V,E)$G=(V,E)$ is a [j,k]$[j,k]$-set if, for every vertex v∈V?S$v\in V?S$, j≤|N(v)∩S|≤k$j\le |N\left(v\right)\cap S|\le k$ for non-negative integers j$j$ and k$k$, that is, every vertex v∈V?S$v\in V?S$ is adjacent to at least j$j$ but not more than k$k$ vertices in S$S$. In this paper, we focus on small j$j$ and k$k$, and relate the concept of [j,k]$[j,k]$-sets to a host of other concepts in domination theory, including perfect domination, efficient domination, nearly perfect sets, 2-packings, and k$k$-dependent sets. We also determine bounds on the cardinality of minimum [1, 2]-sets, and investigate extremal graphs achieving these bounds. This study has implications for restrained domination as well. Using a result for [1, 3]-sets, we show that, for any grid graph G$G$, the restrained domination number is equal to the domination number of G$G$.     

On the exterior algebra method applied to restricted set addition

In 1994 Dias da Silva and Hamidoune solved a long-standing open problem of Erd?s and Heilbronn using the structure of cyclic spaces for derivatives on Grassmannians and the representation theory of symmetric groups. They proved that for any subset A$A$ of the p$p$-element group Z/pZ$\mathbb{Z}/p\mathbb{Z}$ (where p$p$ is a prime), at least min{p,m|A|−m²+1}$min\{p,m\left|A\right|-m^2+1\}$ different elements of the group can be written as the sum of m$m$ different elements of A$A$. In this note we present an easily accessible simplified version of their proof for the case m=2$m=2$, and explain how the method can be applied to obtain the corresponding inverse theorem.     

Counting spectral radii of matrices with positive entries

The sum–product conjecture of Erd?s and Szemerédi states that, given a finite set A$A$ of positive numbers, one can find asymptotic lower bounds for max{|A+A|,|A⋅A|}$max\{|A+A|,|A\cdot A|\}$ of the order of |A|^1+δ${\left|A\right|}^{1+\delta }$ for every δ<1$\delta <1$. In this paper we consider the set of all spectral radii of n×n$n\times n$ matrices with entries in A$A$, and find lower bounds for the cardinality of this set. In the case n=2$n=2$, this cardinality is necessarily larger than max{|A+A|,|A⋅A|}$max\{|A+A|,|A\cdot A|\}$.     

Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

On functional limits of short- and long-memory linear processes with GARCH(1,1) noises

This paper considers the short- and long-memory linear processes with GARCH (1,1) noises. The functional limit distributions of the partial sum and the sample autocovariances are derived when the tail index α$\alpha$ is in (0,2)$(0,2)$, equal to 2, and in (2,∞)$(2,\infty )$, respectively. The partial sum weakly converges to a functional of α$\alpha$-stable process when α<2$\alpha <2$ and converges to a functional of Brownian motion when α≥2$\alpha \ge 2$. When the process is of short-memory and α<4$\alpha <4$, the autocovariances converge to functionals of α/2$\alpha /2$-stable processes; and if α≥4$\alpha \ge 4$, they converge to functionals of Brownian motions. In contrast, when the process is of long-memory, depending on α$\alpha$ and β$\beta$ (the parameter that characterizes the long-memory), the autocovariances converge to either (i) functionals of α/2$\alpha /2$-stable processes; (ii) Rosenblatt processes (indexed by β$\beta$, 1/2<β<3/4$1/2<\beta <3/4$); or (iii) functionals of Brownian motions. The rates of convergence in these limits depend on both the tail index α$\alpha$ and whether or not the linear process is short- or long-memory. Our weak convergence is established on the space of càdlàg functions on [0,1]$[0,1]$ with either (i) the _J1$J_1$ or the _M1$M_1$ topology (Skorokhod, 1956); or (ii) the weaker form S$S$ topology (Jakubowski, 1997). Some statistical applications are also discussed.     

Counting minimal semi-Sturmian words

A finite Sturmian   word w$w$ is a balanced word over the binary alphabet {a,b}$\{a,b\}$, that is, for all subwords u$u$ and v$v$ of w$w$ of equal length, |_|u|a−_|v|a|≤1$|{\left|u\right|}_a-{\left|v\right|}_a|\le 1$, where _|u|a${\left|u\right|}_a$ and _|v|a${\left|v\right|}_a$ denote the number of occurrences of the letter a$a$ in u$u$ and v$v$, respectively. There are several other characterizations, some leading to efficient algorithms for testing whether a finite word is Sturmian. These algorithms find important applications in areas such as pattern recognition, image processing, and computer graphics. Recently, Blanchet-Sadri and Lensmire considered finite semi-Sturmian words of minimal length and provided an algorithm for generating all of them using techniques from graph theory. In this paper, we exploit their approach in order to count the number of minimal semi-Sturmian words. We also present some other results that come from applying this graph theoretical framework to subword complexity.     

Global existence of weak solutions for two-dimensional semilinear wave equations with strong damping in an exterior domain

We consider two-dimensional mixed problems in an exterior domain for a semilinear strongly damped wave equation with a power-type nonlinearity |u|^p${\left|u\right|}^p$. If the initial data have a small weighted energy, we shall derive a global existence and energy decay results in the case when the power p$p$ of the nonlinear term satisfies p>6$p>6$.     

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.     

Cycles embedding on folded hypercubes with faulty nodes

Let F_Fv$F{F}_v$ be the set of faulty nodes in an n$n$-dimensional folded hypercube F_Qn$F{Q}_n$ with |F_Fv|≤n−2$\left|F{F}_v\right|\le n-2$. In this paper, we show that if n≥3$n\ge 3$, then every edge of F_Qn−F_Fv$F{Q}_n-F{F}_v$ lies on a fault-free cycle of every even length from 4$4$ to 2ⁿ−2|F_Fv|$2^n-2\left|F{F}_v\right|$, and if n≥2$n\ge 2$ and n$n$ is even, then every edge of F_Qn−F_Fv$F{Q}_n-F{F}_v$ lies on a fault-free cycle of every odd length from n+1$n+1$ to 2ⁿ−2|F_Fv|−1$2^n-2\left|F{F}_v\right|-1$.     

Large deviations of infinite intersections of events in Gaussian processes

Consider events of the form {_Zs≥ζ(s),s∈S}$\{Z_s\ge \zeta \left(s\right),s\in S\}$, where Z$Z$ is a continuous Gaussian process with stationary increments, ζ$\zeta$ is a function that belongs to the reproducing kernel Hilbert space R$R$ of process Z$Z$, and S⊂R$S\subset \mathbb{R}$ is compact. The main problem considered in this paper is identifying the function β^∗∈R${\beta }^{\ast }\in R$ satisfying β^∗(s)≥ζ(s)${\beta }^{\ast }\left(s\right)\ge \zeta \left(s\right)$ on S$S$ and having minimal R$R$-norm. The smoothness (mean square differentiability) of Z$Z$ turns out to have a crucial impact on the structure of the solution. As examples, we obtain the explicit solutions when ζ(s)=s$\zeta \left(s\right)=s$ for s∈[0,1]$s\in [0,1]$ and Z$Z$ is either a fractional Brownian motion or an integrated Ornstein–Uhlenbeck process.     

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).     

On large semi-linked graphs

Let H$H$ be a multigraph, possibly with loops, and consider a set S⊆V(H)$S\subseteq V\left(H\right)$. A (simple) graph G$G$ is (H,S)$(H,S)$-semi-linked   if, for every injective map f:S→V(G)$f:S\to V\left(G\right)$, there exists an injective map g:V(H)?S→V(G)?f(S)$g:V\left(H\right)?S\to V\left(G\right)?f\left(S\right)$ and a set of |E(H)|$\left|E\left(H\right)\right|$ internally disjoint paths in G$G$ connecting pairs of vertices of  f(S)∪g(V(H)?S)$f\left(S\right)\cup g(V\left(H\right)?S)$ for every edge between the corresponding vertices of H$H$. This new concept of (H,S)$(H,S)$-semi-linkedness is a generalization of H$H$-linkedness  . We establish a sharp minimum degree condition for a sufficiently large graph G$G$ to be (H,S)$(H,S)$-semi-linked.     

Ordinary and symbolic powers are Golod

Let S$S$ be a positively graded polynomial ring over a field of characteristic 0$0$, and I⊂S$I\subset S$ a proper graded ideal. In this note it is shown that S/I$S/I$ is Golod if ∂(I)²⊂I$\partial {\left(I\right)}^2\subset I$. Here ∂(I)$\partial \left(I\right)$ denotes the ideal generated by all the partial derivatives of elements of I$I$. We apply this result to find large classes of Golod ideals, including powers, symbolic powers, and saturations of ideals.     

Embedding cycles of given length in oriented graphs

Kelly, Kühn and Osthus conjectured that for any ?≥4$?\ge 4$ and the smallest number k≥3$k\ge 3$ that does not divide ?$?$, any large enough oriented graph G$G$ with δ⁺(G),δ⁻(G)≥⌊|V(G)|/k⌋+1${\delta }^{+}\left(G\right),{\delta }^{-}\left(G\right)\ge \lfloor \left|V\left(G\right)\right|/k\rfloor +1$ contains a directed cycle of length ?$?$. We prove this conjecture asymptotically for the case when ?$?$ is large enough compared to k$k$ and k≥7$k\ge 7$. The case when k≤6$k\le 6$ was already settled asymptotically by Kelly, Kühn and Osthus.     

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.