A Generalisation of Tverberg’s Theorem

We will prove the following generalisation of Tverberg’s Theorem: given a set S⊂ℝ ^d of (r+1)(k−1)(d+1)+1 points, there is a partition of S in k sets A ₁,A ₂,…,A _k such that for any C⊂S of at most r points, the convex hulls of A ₁\C,A ₂\C,…,A _k \C are intersecting. This was conjectured first by Natalia García-Colín (Ph.D. thesis, University College of London, 2007).     

A generalization of Menger’s Theorem

This paper generalizes one of the celebrated results in Graph Theory due to Karl. A. Menger (1927), which plays a crucial role in many areas of flow and network theory. This paper also introduces and characterizes strength reducing sets of nodes and arcs in weighted graphs.     

A weak variant of Hindman’s Theorem stronger than Hilbert’s Theorem

Hirst investigated a natural restriction of Hindman’s Finite Sums Theorem—called Hilbert’s Theorem—and proved it equivalent over \(\mathbf {RCA}_0\) to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman’s Theorem provably much weaker than Hindman’s Theorem itself. We here introduce another natural restriction of Hindman’s Theorem—which we name the Adjacent Hindman’s Theorem with apartness—and prove it to be provable from Ramsey’s Theorem for pairs and strictly stronger than Hirst’s Hilbert’s Theorem. The lower bound is obtained by a direct combinatorial implication from the Adjacent Hindman’s Theorem with apartness to the Increasing Polarized Ramsey’s Theorem for pairs introduced by Dzhafarov and Hirst. In the Adjacent Hindman’s Theorem homogeneity is required only for finite sums of adjacent elements.     

A local version of Gearhart’s theorem

Let {e ^tA: t ≥ 0} be a C₀—semigroup on the Hilbert space ?. If x ₀ ∈ ? is such that the local resolvent R(λ,A) x ₀ admits a bounded holomorphic extension to the open half plane {Reλ > 0}, then lim _t→∞‖e ^tA R(λ₀, A) x ₀‖ = 0 for each λ₀ ∈ ρ(A). This resuit is used to find mild spectral conditions which ensure the decay at infmity to zero of solutions of higher order abstract Cauchy problems.     

A topological version of Liapunov’s theorem

Given a nonatomic finite-dimensional vector measure on a topological space, a criterion is established for obtaining its full range by considering open (or closed) sets only.     

A Global version of Grozman’s theorem

Let $X$ be a manifold. The classification of all equivariant bilinear maps between tensor density modules over $X$ has been investigated by Grozman (Funct Anal Appl 14(2):58–59, 1980), who has provided a full classification for those which are differential operators. Here we investigate the same question without the hypothesis that the maps are differential operators. In our paper, the geometric context is algebraic geometry and the manifold $X$ is the circle $\text{ Spec}\, \mathbb{C }[z,z^{-1}]$ . Our main motivation comes from the fact that such a classification is required to complete the proof of the main result of Iohara and Mathieu (Proc Lond Math Soc, 2012, in press). Indeed it requires to also include the case of deformations of tensor density modules.     

A difference version of Nori’s theorem

We consider (Frobenius) difference equations over \((\mathbb {F}\!_q(s,t), \phi _q)\) where \(\phi _q\) fixes \(t\) and acts on \(\mathbb {F}\!_q(s)\) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group \(\mathcal {G}\) defined over \(\mathbb {F}\!_q\) can be realized as a difference Galois group over \((\mathbb {F} \! _{q^i} (s,t),\phi _{q^i})\) for some \(i \in \mathbb {N}\) . The proof uses upper and lower bounds on the Galois group scheme of a Frobenius difference equation that are developed in this paper. The result can be seen as a difference analogue of Nori’s theorem which states that \(\mathcal {G}(\mathbb {F}\!_q)\) occurs as a (finite) Galois group over \(\mathbb {F}\!_q(s)\) .     

A Complex Analogue of Toda’s Theorem

Toda (SIAM J. Comput. 20(5):865–877, 1991) proved in 1989 that the (discrete) polynomial time hierarchy, PH, is contained in the class P ^#P , namely the class of languages that can be decided by a Turing machine in polynomial time given access to an oracle with the power to compute a function in the counting complexity class #P. This result, which illustrates the power of counting, is considered to be a seminal result in computational complexity theory. An analogous result (with a compactness hypothesis) in the complexity theory over the reals (in the sense of Blum–Shub–Smale real machines (Blum et al. in Bull. Am. Math. Soc. 21(1):1–46, 1989) was proved in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010). Unlike Toda’s proof in the discrete case, which relied on sophisticated combinatorial arguments, the proof in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010) is topological in nature; the properties of the topological join are used in a fundamental way. However, the constructions used in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010) were semi-algebraic—they used real inequalities in an essential way and as such do not extend to the complex case. In this paper, we extend the techniques developed in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010) to the complex projective case. A key role is played by the complex join of quasi-projective complex varieties. As a consequence, we obtain a complex analogue of Toda’s theorem. The results of this paper, combined with those in Basu and Zell (Found. Comput. Math. 10(4):429–454, 2010), illustrate the central role of the Poincaré polynomial in algorithmic algebraic geometry, as well as in computational complexity theory over the complex and real numbers: the ability to compute it efficiently enables one to decide in polynomial time all languages in the (compact) polynomial hierarchy over the appropriate field.     

A General Version of Price’s Theorem

Journal of Theoretical Probability - Assume that $$X_{Sigma } in mathbb {R}^{n}$$ is a centered random vector following a multivariate normal distribution with positive definite covariance...     

A Bipartite Analogue of Dilworth’s Theorem

Let m(n) be the maximum integer such that every partially ordered set P with n elements contains two disjoint subsets A and B, each with cardinality m(n), such that either every element of A is greater than every element of B or every element of A is incomparable with every element of B. We prove that . Moreover, for fixed ε ∈ (0,1) and n sufficiently large, we construct a partially ordered set P with n elements such that no element of P is comparable with other elements of P and for every two disjoint subsets A and B of P each with cardinality at least , there is an element of A that is comparable with an element of B.     

A generalization of Chaplygin’s Reducibility Theorem

In this paper we study Chaplygin’s Reducibility Theorem and extend its applicability to nonholonomic systems with symmetry described by the Hamilton-Poincaré-d’Alembert equations in arbitrary degrees of freedom. As special cases we extract the extension of the Theorem to nonholonomic Chaplygin systems with nonabelian symmetry groups as well as Euler-Poincaré-Suslov systems in arbitrary degrees of freedom. In the latter case, we also extend the Hamiltonization Theorem to nonholonomic systems which do not possess an invariant measure. Lastly, we extend previous work on conditionally variational systems using the results above. We illustrate the results through various examples of well-known nonholonomic systems.     

A simple proof of Veech’s Theorem

We present a simple proof of Veech’s Theorem.     

A Bicategorical Version of Masuoka’s Theorem

We give a bicategorical version of the main result of Masuoka (Tsukuba J Math 13:353–362, 1989) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings R í SR \subseteq S, the relative Picard group Pic(S/R) is isomorphic to the Amitsur 1–cohomology group H ¹(S/R,U) with coefficients in the units functor U.     

A right triangulated version of Gentle-Todorov’s theorem

Gentle and Todorov proved that in an abelian category with enough projective objects, the extension subcategory of two covariantly finite subcategories is covariantly finite. We prove a right triangulated version of Gentle-Todorov’s theorem by introducing the notion of right homotopy cartesian square.     

A discrete version of Koldobsky’s slicing inequality

Let #K be a number of integer lattice points contained in a set K. In this paper we prove that for each d ∈ N there exists a constant C(d) depending on d only, such that for any origin-symmetric convex body K ? R ^d containing d linearly independent lattice points

$$\# K \leqslant C\left( d \right)\max \left( {\# \left( {K \cap H} \right)} \right)vo{l_d}{\left( K \right)^{\frac{{d - m}}{d}}},$$

where the maximum is taken over all m-dimensional subspaces of R ^d . We also prove that C(d) can be chosen asymptotically of order O(1) ^d d ^d?m . In particular, we have order O(1) ^d for hyperplane slices. Additionally, we show that if K is an unconditional convex body then C(d) can be chosen asymptotically of order O(d) ^d?m .

     

A Generalization of Takegoshi’s Relative Vanishing Theorem

We present a generalization of Takegoshi’s relative version of the Grauert–Riemenschneider vanishing theorem. Under some natural assumptions, we extend Takegoshi’s vanishing theorem to the case of Nakano semi-positive coherent analytic sheaves on singular complex spaces. We also obtain some new results about proper modifications of torsion-free coherent analytic sheaves.     

Improving integrability via absolute summability: a general version of Diestel’s Theorem

A classical result by J. Diestel establishes that the composition of a summing operator with a (strongly measurable) Pettis integrable function gives a Bochner integrable function. In this paper we show that a much more general result is possible regarding the improvement of the integrability of vector valued functions by the summability of the operator. After proving a general result, we center our attention in the particular case given by the \((p,\sigma )\)-absolutely continuous operators, that allows to prove a lot of special results on integration improvement for selected cases of classical Banach spaces—including C(K), \(L^p\) and Hilbert spaces—and operators—p-summing, (q, p)-summing and p-approximable operators.