Numerical semigroups with large embedding dimension satisfy Wilf’s conjecture

We give an affirmative answer to Wilf??s conjecture for numerical semigroups satisfying 2????m, where ?? and m are respectively the embedding dimension and the multiplicity of a semigroup. The conjecture is also proved when m??8 and when the semigroup is generated by a generalized arithmetic sequence.     

An extension of Mercer’s theory to L p

Let X be a topological space, either locally compact or first countable, endowed with a strictly positive measure ?? and ${\mathcal{K}:L^2(X,\nu)\to L^2(X,\nu)}$ an integral operator generated by a Mercer like kernel K. In this paper we extend Mercer??s theory for K and ${\mathcal{K}}$ under the assumption that the function ${x\in X\to K(x,x)}$ belongs to some L ^p/2(X, ??), p??? 1. In particular, we obtain series representations for K and some powers of ${\mathcal{K}}$ , with convergence in the p-mean, and show that the range of certain powers of ${\mathcal{K}}$ contains continuous functions only. These results are used to estimate the approximation numbers of a modified version of ${\mathcal{K}}$ acting on L ^p (X, ??).     

An extension of Jung’s theorem

Theorem. Let a set X?Rⁿ have unit circumradius and let B be the unit ball containing X. Put C =conv \(\bar X\) D =diam C (=diam X), k =dim C,d _i = √(2i + 2)/i. Then: (i) D∈[d_n, 2]; (ii) k≧m where m∈{2,3,...,n} satisfies D∈[d_m, d_m?1) (d_i decreases by i); (iii) In case k=m (by (ii), this is always the case when m=n), C contains a k-simplex Δ such that: (α) its vertices are on δB; (β) the centre of B belongs toint Δ; (γ) the inequalitiesλ _k (D) ≦l ≦D with $$\lambda _k (D) = D\sqrt {\frac{{4k - 2D^2 (k - 1)}}{{2 - (k - 2)(D^2 - 2)}}, D \in (d_k ,d_{k - 1} )} $$ are unimprovable estimates for length l of any edge of Δ.     

An extension of Greenberg’s theorem to general valuation rings

We extend Greenberg’s strong approximation theorem to schemes of finite presentation over valuation rings with arbitrary value group. As an application, we prove a closed image theorem (in the strong topology on rational points) for proper morphisms of varieties over valued fields.     

An extension of Babbage’s criterion for primality

Let n > 1 and k > 1 be positive integers. We show that if $$\left( {\begin{array}{*{20}c} {n + m} \\ n \\ \end{array} } \right) \equiv 1 (\bmod k)$$ for each integer m with 0 ≤ m ≤ n ? 1, then k is a prime and n is a power of this prime. In particular, this assertion under the hypothesis that n = k implies that n is a prime. This was proved by Babbage, and thus our result may be considered as a generalization of this criterion for primality.     

Counterexamples to Mercat’s conjecture

In this paper, we provide counterexamples to Mercat’s conjecture on vector bundles on algebraic curves. For any \({n \geq 4}\), we provide examples of curves lying on K3 surfaces and vector bundles on those curves which invalidate Mercat’s conjecture in rank n.     

An abelian analogue of Schanuel’s conjecture and applications

The Ramanujan Journal - In this article we study an abelian analogue of Schanuel’s conjecture. This conjecture falls in the realm of the generalised period conjecture of André. As shown...     

Extension sets,affine designs,and Hamada’s conjecture

We introduce the notion of an extension set for an affine plane of order q to study affine designs \({\mathcal {D}}'\) with the same parameters as, but not isomorphic to, the classical affine design \({\mathcal {D}} = \mathrm {AG}_2(3,q)\) formed by the points and planes of the affine space \(\mathrm {AG}(3,q)\) which are very close to this geometric example in the following sense: there are blocks \(B'\) and B of \({\mathcal {D}'}\) and \({\mathcal {D}}\), respectively, such that the residual structures \({\mathcal {D}}'_{B'}\) and \({\mathcal {D}}_B\) induced on the points not in \(B'\) and B, respectively, agree. Moreover, the structure \({\mathcal {D}}'(B')\) induced on \(B'\) is the q-fold multiple of an affine plane \({\mathcal {A}}'\) which is determined by an extension set for the affine plane \(B \cong AG(2,q)\). In particular, this new approach will result in a purely theoretical construction of the two known counterexamples to Hamada’s conjecture for the case \(\mathrm {AG}_2(3,4)\), which were discovered by Harada et al. [7] as the result of a computer search; a recent alternative construction, again via a computer search, is in [23]. On the other hand, we also prove that extension sets cannot possibly give any further counterexamples to Hamada’s conjecture for the case of affine designs with the parameters of some \(\mathrm {AG}_2(3,q)\); thus the two counterexamples for \(q=4\) might be truly sporadic. This seems to be the first result which establishes the validity of Hamada’s conjecture for some infinite class of affine designs of a special type. Nevertheless, affine designs which are that close to the classical geometric examples are of interest in themselves, and we provide both theoretical and computational results for some particular types of extension sets. Specifically, we obtain a theoretical construction for one of the two affine designs with the parameters of \(\mathrm {AG}_2(3,3)\) and 3-rank 11 and for an affine design with the parameters of \(\mathrm {AG}_2(3,4)\) and 2-rank 17 (in both cases, just one more than the rank of the classical example).     

An extension of Fujita’s non-extendability theorem for Grassmannians

In this paper we study smooth complex projective varieties X containing a Grassmannian of lines ${{\mathbb G}(1, r)}$ which appears as the zero locus of a section of a rank two nef vector bundle E. Among other things we prove that the bundle E cannot be ample.     

An extension of Barta’s Theorem and geometric applications

We prove an extension of a theorem of Barta and we give some geometric applications. We extend Cheng’s lower eigenvalue estimates of normal geodesic balls. We generalize Cheng-Li-Yau eigenvalue estimates of minimal submanifolds of the space forms. We show that the spectrum of the Nadirashvili bounded minimal surfaces in have positive lower bounds. We prove a stability theorem for minimal hypersurfaces of the Euclidean space, giving a converse statement of a result of Schoen. Finally we prove generalization of a result of Kazdan–Kramer about existence of solutions of certain quasi-linear elliptic equations. Bessa and Montenegro were partially supported by CNPq Grant.     

An extension of Matkowski’s and Wardowski’s fixed point theorems with applications to functional equations

Aequationes mathematicae - In this paper, we prove a fixed point theorem for a system of maps on the finite product of metric spaces. Our result generalizes the result of Matkowski (Bull Acad Pol...     

Decomposition of cubic graphs related to Wegner’s conjecture

Thomassen formulated the following conjecture: Every 3-connected cubic graph has a red–blue vertex coloring such that the blue subgraph has maximum degree 1 (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least 1 and contains no 3-edge path. We prove the conjecture for Generalized Petersen graphs.We indicate that a coloring with the same properties might exist for any subcubic graph. We confirm this statement for all subcubic trees.     

A counterexample to Valette’s conjecture

We disprove a well-known conjecture of D. Vallete (1978), which states that every d-dimensional self-affine convex body is a direct product of a polytope with a convex body of lower dimension. It is shown that there are counterexamples for dimension d = 4. Additional assumptions under which the conjecture is true are discussed.     

Order of the smallest counterexample to Gallai’s conjecture

In 1966, Gallai conjectured that all the longest paths of a connected graph have a common vertex. Zamfirescu conjectured that the smallest counterexample to Gallai’s conjecture is a graph on 12 vertices. We prove that Gallai’s conjecture is true for every connected graph G with α′(G) ≤ 5, which implies that Zamfirescu’s conjecture is true.     

An extension of Günther’s volume comparison theorem

The aim of this note if to give an extension of a classical volume comparison theorem for Riemannian manifolds with sectional curvature bounded above (see Günther, P. Einige Sätze über das Volumenelement eines Riemannschen Raumes, Publ. Math. Debrecen 7, 78–93 (1960)). For the case of a n-dimensional simply connected complete Riemannian manifold with nonpositive sectional curvature our theorem states that the function tarea(S _t (p))/t ^n–2 is convex for every pM where S _t (p) denotes the sphere of radius t with center p. In view of area(S ₀ (p))=0, it is easy to see that our theorem implies the classical result. A similar result holds true for simply connected manifolds with sectional curvature bounded above by a negative constant.Research partially supported by Fondecyt Grant # 1000713 and by UTFSM Grant # 120023     

An extension of one direction in Marty’s normality criterion

We prove the following extension of one direction in Marty’s theorem: If $k$ is a natural number, $\alpha >1$ and $\mathcal{F }$ is a family of functions meromorphic on a domain $D$ all of whose poles have multiplicity at least $\frac{k}{\alpha -1}$ , then the normality of $\mathcal{F }$ implies that the family $$\begin{aligned} \left\{ \frac{|f^{(k)}|}{1+|f|^\alpha }\,:\, f\in \mathcal{F }\right\} \end{aligned}$$ is locally uniformly bounded.     

An analogue of Artin’s conjecture for multiplicative subgroups of the rationals

Given ${\Gamma \subset \mathbb{Q}^*}$ a multiplicative subgroup and ${m \in \mathbb{N}^+}$ , assuming the Generalized Riemann Hypothesis, we determine an asymptotic formula for the number of primes p ≤ x for which ind _p Γ = m, where ind _p Γ = (p ? 1)/|Γ _p | and Γ _p is the reduction of Γ modulo p. This problem is a generalization of some earlier works by Cangelmi–Pappalardi, Lenstra, Moree, Murata, Wagstaff, and probably others. We prove, on GRH, that the primes with this property have a density and, in the case when Γ contains only positive numbers, we give an explicit expression for it in terms of an Euler product. We conclude with some numerical computations.