A note on Jensen’s inequality for BSDEs

Under the Lipschitz assumption and square integrable assumption on g, Jiang proved that Jensen＇s inequality for BSDEs with generator g holds in general if and only if g is independent of y, g is super homogenous in z and g（t, 0） = 0, a.s., a.e.. In this paper, based on Jiang＇s results, under the same assumptions as Jiang＇s, we investigate the necessary and sufficient condition on g under which Jensen＇s inequality for BSDEs with generator g holds for some specific convex functions, which generalizes some known results on Jensen＇s inequality for BSDEs.     

A note on Talagrand’s transportation inequality and logarithmic Sobolev inequality

We give by simple arguments sufficient conditions, so called Lyapunov conditions, for Talagrand’s transportation information inequality and for the logarithmic Sobolev inequality. Those sufficient conditions work even in the case where the Bakry–Emery curvature is not lower bounded. Several new examples are provided.     

Jensen’s inequality on convex spaces

We prove a Jensen’s inequality on $p$ -uniformly convex space in terms of $p$ -barycenters of probability measures with $(p-1)$ -th moment with $p\in ]1,\infty [$ under a geometric condition, which extends the results in Kuwae (Jensen’s inequality over CAT $(\kappa )$ -space with small diameter. In: Proceedings of Potential Theory and Stochastics, Albac Romania, pp. 173–182. Theta Series in Advanced Mathematics, vol. 14. Theta, Bucharest, 2009) , Eells and Fuglede (Harmonic maps between Riemannian polyhedra. In: Cambridge Tracts in Mathematics, vol. 142. Cambridge University Press, Cambridge, 2001) and Sturm (Probability measures on metric spaces of nonpositive curvature. Probability measures on metric spaces of nonpositive curvature. In: Heat kernels and analysis on manifolds, graphs, and metric spaces (Paris, 2002), pp. 357–390. Contemporary Mathematics, vol. 338. American Mathematical Society, Providence, 2003). As an application, we give a Liouville’s theorem for harmonic maps described by Markov chains into $2$ -uniformly convex space satisfying such a geometric condition. An alternative proof of the Jensen’s inequality over Banach spaces is also presented.     

A note on Gekeler’s h-function

For a subgroup L of the symmetric group \({S_{\ell}}\), we determine the minimal base size of \({GL_d(q) \wr L}\) acting on \({V_d(q)^{\ell}}\) as an imprimitive linear group. This is achieved by computing the number of orbits of GL_d(q) on spanning m-tuples, which turns out to be the number of d-dimensional subspaces of V_m(q). We then use these results to prove that for certain families of subgroups L, the affine groups whose stabilisers are large subgroups of \({GL_{d}(q) \wr L}\) satisfy a conjecture of Pyber concerning bases.     

A note on Burgess’s estimate

By introducing the Rademacher-Menchov device, we prove “maximal” analogs of principal bounds of character sums. This allows us to present the Burgess method so as to separate the main idea of this method from the technical issues.     

A note on Barnette’s conjecture

A well-known conjecture of Barnette states that every 3-connected cubic bipartite planar graph has a Hamiltonian cycle, which is equivalent to the statement that every 3-connected even plane triangulation admits a 2-tree coloring, meaning that the vertices of the graph have a 2-coloring such that each color class induces a tree. In this paper we present a new approach to Barnette’s conjecture by using 2-tree coloring.A Barnette triangulation is a 3-connected even plane triangulation, and a B-graph is a smallest Barnette triangulation without a 2-tree coloring. A configuration is reducible if it cannot be a configuration of a B-graph. We prove that certain configurations are reducible. We also define extendable, non-extendable and compatible graphs; and discuss their connection with Barnette’s conjecture.     

von Neumann’s trace inequality for Hilbert–Schmidt operators

von Neumann’s inequality in matrix theory refers to the fact that the Frobenius scalar product of two matrices is less than or equal to the scalar product of the respective singular values. Moreover, equality can only happen if the two matrices share a joint set of singular vectors, and this latter part is hard to find in the literature. We extend these facts to the separable Hilbert space setting, and provide a self-contained proof of the “latter part”.     

A note on Hölder inequality

The well-known Hölder inequality is generalized and refined, a condition at which the equality holds is obtained.     

A note on Wilson’s functional equation

Let S be a semigroup, and \(\mathbb {F}\) a field of characteristic \(\ne 2\). If the pair \(f,g:S \rightarrow \mathbb {F}\) is a solution of Wilson’s \(\mu \)-functional equation such that \(f \ne 0\), then g satisfies d’Alembert’s \(\mu \)-functional equation.     

A note on Furstenberg’s filtering problem

This note gives a positive answer to an old question in elementary probability theory that arose in Furstenberg’s seminal article “Disjointness in Ergodic Theory.” As a consequence, Furstenberg’s filtering theorem holds without any integrability assumption.     

A note on Peano’s Theorem on time scales

In this paper we investigate the dynamic Cauchy problem in Banach spaces. We check how dense a time scale must be in such a way that Peano’s Theorem holds and we present a counterexample to Peano’s Theorem on a time scale with only one right dense point.     

A note on Linnik’s theorem on quadratic non-residues

Archiv der Mathematik - We present a short and purely combinatorial proof of Linnik’s theorem: for any $$varepsilon >0$$ there exists a constant $$C_varepsilon $$ such that for any...     

Further results on Hilbert’s Tenth Problem

Hilbert's Tenth Problem(HTP) asks for an algorithm to test whether an arbitrary polynomial Diophantine equation with integer coefficients has solutions over the ring Z of integers.This was finally solved negatively by Matiyasevich in 1970.In this paper we obtain some further results on HTP over Z.We prove that there is no algorithm to determine for any P(z_1,...,z_9) ∈ Z[z_1,...,z_9] whether the equation P(z_1,...,z_9)=0 has integral solutions with z_9≥0.Consequently,there is no algorithm to test whether an arbitrary polynomial Diophantine equation P(z_1,...,z_(11))=0(with integer coefficients) in 11 unknowns has integral solutions,which provides the best record on the original HTP over Z.We also prove that there is no algorithm to test for any P(z_1,...,z_(17))∈Z[z_1,...,z_(17)] whether P(z_1,...,z_(17))=0 has integral solutions,and that there is a polynomial Q(z_1,...,z_(20))∈Z[z_1,...,z_(20)] such that {Q(z_1~2,...,z_(20)~2):z_1,...,z_(20)∈Z}∩ {0,1,2,...} coincides with the set of all primes.