Independence results for variants of sharply bounded induction

The theory , axiomatized by the induction scheme for sharply bounded formulae in Buss’ original language of bounded arithmetic (with ⌊x/2⌋ but not ⌊x/2^y⌋), has recently been unconditionally separated from full bounded arithmetic S₂. The method used to prove the separation is reminiscent of those known from the study of open induction.We make the connection to open induction explicit, showing that models of can be built using a “nonstandard variant” of Wilkie’s well-known technique for building models of IOpen. This makes it possible to transfer many results and methods from open to sharply bounded induction with relative ease.We provide two applications: (i) the Shepherdson model of IOpen can be embedded into a model of , which immediately implies some independence results for ; (ii) extended by an axiom which roughly states that every number has a least 1 bit in its binary notation, while significantly stronger than plain , does not prove the infinity of primes.     

CERES in higher-order logic

We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an (unsatisfiable) set of sequents (the characteristic sequent set) from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.     

Sub-criticality of non-local Schrödinger systems with antisymmetric potentials and applications to half-harmonic maps

We consider non-local linear Schrödinger-type critical systems of the type(1) where Ω is antisymmetric potential in L²(R,so(m)), v is an Rm valued map and Ωv denotes the matrix multiplication. We show that every solution v∈L²(R,Rm) of (1) is in fact in , for every 2?p<+∞, in other words, we prove that the system (1) which is a-priori only critical in L² happens to have a subcritical behavior for antisymmetric potentials. As an application we obtain the regularity of weak 1/2-harmonic maps into C² compact sub-manifolds without boundary.     

Bogomolov restriction theorem for Higgs bundles

Let (E,θ) be a stable Higgs bundle of rank r on a smooth complex projective surface X equipped with a polarization H. Let C⊂X be a smooth complete curve with [C]=n⋅H. If where , then we prove that the restriction of (E,θ) to C is a stable Higgs bundle. This is a Higgs bundle analog of Bogomolov's restriction theorem for stable vector bundles.     

Isochronicity conditions for some planar polynomial systems

We study the isochronicity of centers at O∈R² for systems , , where A,B∈R[x,y], which can be reduced to the Liénard type equation. Using the so-called C-algorithm we have found 27 new multiparameter isochronous centers.     

Sufficient conditions for the existence of at least n or exactly n limit cycles for the Liénard differential systems

In this paper we study the limit cycles of the Liénard differential system of the form , or its equivalent system , . We provide sufficient conditions in order that the system exhibits at least n or exactly n limit cycles.     

The Weyl-type asymptotic formula for biharmonic Steklov eigenvalues on Riemannian manifolds

Let Ω be a bounded domain with C²-smooth boundary in an n-dimensional oriented Riemannian manifold. It is well known that for the biharmonic equation Δ²u=0 in Ω with the condition u=0 on ∂Ω, there exists an infinite set {uk} of biharmonic functions in Ω with positive eigenvalues {λk} satisfying on ∂Ω. In this paper, by a new method we establish the Weyl-type asymptotic formula for the counting function of the biharmonic Steklov eigenvalues λk.     

Random attractors for stochastic lattice dynamical systems in weighted spaces

In this paper, we first provide some sufficient conditions for the existence of global compact random attractors for general random dynamical systems in weighted space (p?1) of infinite sequences. Then we consider the existence of global compact random attractors in weighted space for stochastic lattice dynamical systems with random coupled coefficients and multiplicative/additive white noises. Our results recover many existing ones on the existence of global random attractors for stochastic lattice dynamical systems with multiplicative/additive white noises in regular l² space of infinite sequences.     

On the layered nearest neighbour estimate, the bagged nearest neighbour estimate and the random forest method in regression and classification

Let be identically distributed random vectors in R^d, independently drawn according to some probability density. An observation is said to be a layered nearest neighbour (LNN) of a point if the hyperrectangle defined by and contains no other data points. We first establish consistency results on , the number of LNN of . Then, given a sample of independent identically distributed random vectors from R^d×R, one may estimate the regression function by the LNN estimate , defined as an average over the Y_i’s corresponding to those which are LNN of . Under mild conditions on r, we establish the consistency of towards 0 as n→∞, for almost all and all p≥1, and discuss the links between r_n and the random forest estimates of Breiman (2001) [8]. We finally show the universal consistency of the bagged (bootstrap-aggregated) nearest neighbour method for regression and classification.     

Degenerate lower-dimensional tori in Hamiltonian systems

We study the persistence of lower-dimensional tori in Hamiltonian systems of the form , where (x,y,z)∈Tn×Rn×R2m, ε is a small parameter, and M(ω) can be singular. We show under a weak Melnikov nonresonant condition and certain singularity-removing conditions on the perturbation that the majority of unperturbed n-tori can still survive from the small perturbation. As an application, we will consider the persistence of invariant tori on certain resonant surfaces of a nearly integrable, properly degenerate Hamiltonian system for which neither the Kolmogorov nor the g-nondegenerate condition is satisfied.     

The index formula and the spectral shift function for relatively trace class perturbations

We compute the Fredholm index, index(DA), of the operator DA=(d/dt)+A on L²(R;H) associated with the operator path , where (Af)(t)=A(t)f(t) for a.e. t∈R, and appropriate f∈L²(R;H), via the spectral shift function ξ(⋅;A₊,A₋) associated with the pair (A₊,A₋) of asymptotic operators A_±=A(±∞) on the separable complex Hilbert space H in the case when A(t) is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator A₋.We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function ξ(⋅;A₊,A₋) for the pair (A₊,A₋), and the corresponding spectral shift function ξ(⋅;H₂,H₁) for the pair of operators in this relative trace class context,This formula is then used to identify the Fredholm index of DA with ξ(0;A₊,A₋). In addition, we prove that index(DA) coincides with the spectral flow of the family {A(t)}_t∈R and also relate it to the (Fredholm) perturbation determinant for the pair (A₊,A₋): with the choice of the branch of ln(detH(⋅)) on C₊ such thatWe also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.     

Conditional limiting distribution of beta-independent random vectors

The paper deals with random vectors in , possessing the stochastic representation , where R is a positive random radius independent of the random vector and is a non-singular matrix. If is uniformly distributed on the unit sphere of , then for any integer m<d we have the stochastic representations and , with W≥0, such that W² is a beta distributed random variable with parameters m/2,(d−m)/2 and (U₁,…,U_m),(U_m+1,…,U_d) are independent uniformly distributed on the unit spheres of and , respectively. Assuming a more general stochastic representation for in this paper we introduce the class of beta-independent random vectors. For this new class we derive several conditional limiting results assuming that R has a distribution function in the max-domain of attraction of a univariate extreme value distribution function. We provide two applications concerning the Kotz approximation of the conditional distributions and the tail asymptotic behaviour of beta-independent bivariate random vectors.     

Invariant almost Hermitian structures on flag manifolds

Let G be a complex semi-simple Lie group and form its maximal flag manifold where P is a minimal parabolic (Borel) subgroup, U a compact real form and T=U∩P a maximal torus of U. We study U-invariant almost Hermitian structures on . The (1,2)-symplectic (or quasi-Kähler) structures are naturally related to the affine Weyl groups. A special form for them, involving abelian ideals of a Borel subalgebra, is derived. From the (1,2)-symplectic structures a classification of the whole set of invariant structures is provided showing, in particular, that nearly Kähler invariant structures are Kähler, except in the A₂ case.     

On the irrationality of factorial series III

In this paper we derive some irrationality and linear independence results for series of the form where is either a non-negative integer sequence with υ_n = o(log n/log log n) or a non-decreasing integer sequence with .     

Radially increasing minimizing surfaces or deformations under pointwise constraints on positions and gradients

In this paper, we prove existence of radially symmetric minimizersu_A(x)=U_A(|x|), having U_A(⋅)AC monotone and increasing, for the convex scalar multiple integral(∗ ) among those u(⋅) in the Sobolev space. Here, |∇u(x)| is the Euclidean norm of the gradient vector and B_R is the ball ; while A is the boundary data.Besides being e.g. superlinear (but no growth needed if (∗) is known to have minimum), our Lagrangian?^∗∗:R×R→[0,∞] is just convex lsc and and ?^∗∗(s,⋅) is even; while ρ₁(⋅) and ρ₂(⋅) are Borel bounded away from .Remarkably, (∗) may also be seen as the calculus of variations reformulation of a distributed-parameter scalar optimal control problem. Indeed, state and gradient pointwise constraints are, in a sense, built-in, since ?^∗∗(s,v)=∞ is freely allowed.     

Classification of the centers and their isochronicity for a class of polynomial differential systems of arbitrary degree

In this paper we classify the centers localized at the origin of coordinates, and their isochronicity for the polynomial differential systems in R² of degree d that in complex notation z=x+iy can be written as where j is either 0 or 1. If j=0 then d?5 is an odd integer and n is an even integer satisfying 2?n?(d+1)/2. If j=1 then d?3 is an integer and n is an integer with converse parity with d and satisfying 0<n?[(d+1)/3] where [⋅] denotes the integer part function. Furthermore λ∈R and A,B,C,D∈C. Note that if d=3 and j=0, we are obtaining the generalization of the polynomial differential systems with cubic homogeneous nonlinearities studied in K.E. Malkin (1964) [17], N.I. Vulpe and K.S. Sibirskii (1988) [25], J. Llibre and C. Valls (2009) [15], and if d=2, j=1 and C=0, we are also obtaining as a particular case the quadratic polynomial differential systems studied in N.N. Bautin (1952) [2], H. Zoladek (1994) [26]. So the class of polynomial differential systems here studied is very general having arbitrary degree and containing the two more relevant subclasses in the history of the center problem for polynomial differential equations.     

Hochster's theta invariant and the Hodge–Riemann bilinear relations

Let R be an isolated hypersurface singularity, and let M and N be finitely generated R-modules. As R is a hypersurface, the torsion modules of M against N are eventually periodic of period two (i.e., for i?0). Since R has only an isolated singularity, these torsion modules are of finite length for i?0. The theta invariant of the pair (M,N) is defined by Hochster to be for i?0. H. Dao has conjectured that the theta invariant is zero for all pairs (M,N) when R has even dimension and contains a field. This paper proves this conjecture under the additional assumption that R is graded with its irrelevant maximal ideal giving the isolated singularity. We also give a careful analysis of the theta pairing when the dimension of R is odd, and relate it to a classical pairing on the smooth variety Proj(R).     

Asymptotic distributions of maxima of complete and incomplete samples from multivariate stationary Gaussian sequences

Let be a sequence of d-dimensional stationary Gaussian vectors, and let denote the partial maxima of . Suppose that there are missing data in each component of and let denote the partial maxima of the observed variables. In this note, we study two kinds of asymptotic distributions of the random vector where the correlation and cross-correlation satisfy some dependence conditions.     

Smoothness of the moduli space of complexes of coherent sheaves on an abelian or a projective K3 surface

For an abelian or a projective K3 surface X over an algebraically closed field k, consider the moduli space of the objects E in Db(Coh(X)) satisfying and Hom(E,E)≅k. Then we can prove that is smooth and has a symplectic structure.