Weighted Sobolev L2 estimates for a class of Fourier integral operators

In this paper we develop elements of the global calculus of Fourier integral operators in ${{\mathbb R}^n}$ under minimal decay assumptions on phases and amplitudes. We also establish global weighted Sobolev L² estimates for a class of Fourier integral operators that appears in the analysis of global smoothing problems for dispersive partial differential equations. As an application, we exhibit a new type of weighted estimates for hyperbolic equations, where the decay of data in space is quantitatively translated into the time decay of solutions.     

A note on meromorphic convexity

We give examples of Stein domains D in C ² such that C ² ? D is either completely pluripolar or union of germs of (principal) hypersurfaces not intersecting D such that D fails to be meromorphically convex in C ². © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Stack structures on GIT quotients parametrizing hypersurfaces

We suggest to endow Mumford's GIT quotient scheme with a stack structure, by replacing Proj(?) of the invariant ring with its stack theoretic analogue. We analyse the stacks resulting in this way from classically studied invariant rings, and in particular for binary forms of low degree. Our viewpoint is that the stack structure carries interesting geometric information that is intrinsically present in the invariant ring, but lost when passing to its Proj(?). © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Asymptotic behavior of the empirical conditional value-at-risk

We study asymptotic behavior of the empirical conditional value-at-risk (CVaR). In particular, the Berry–Essen bound, the law of iterated logarithm, the moderate deviation principle and the large deviation principle for the empirical CVaR are obtained. We also give some numerical examples.     

On the number of groups in clustering

Clustering is the problem of partitioning data into a finite number k of homogeneous and separate groups, called clusters. A good choice of k is essential for building meaningful clusters. In this paper, this task is addressed from the point of view of model selection via penalization. We design an appropriate penalty shape and derive an associated oracle-type inequality. The method is illustrated on both simulated and real-life data sets.     

A lack-of-fit test in Tobit errors-in-variables regression models

The problem of fitting a parametric model in Tobit errors-in-variables regression models is discussed in this paper. The proposed test is based on the supremum of the Khmaladze type transformation of a certain partial sum process of calibrated residuals. This framework covers the usual error-free Tobit model as a special case. The asymptotic null distribution of this transformed process is shown to be the same as that of a time transformed standard Brownian motion. Consistency against some fixed alternatives and asymptotic power under some local nonparametric alternatives of this test are also discussed. Simulation studies are conducted to assess the finite sample performance of the proposed test.     

Analytic and numerical analysis of some statistical features of fragmentation processes

In this work, we investigate the following inhomogeneous model of fragmentation with an exponential splitting probability: suppose that an initial particle having a mass x₀>0 (large enough) is broken, with a size-dependent probability , into b>1 pieces. With probability 1−p(x₀), this fragment is left unchanged for ever. The process of fragmentation is repeated recursively for all pieces.Some statistical features are studied, chiefly the fragment size distribution, number of fragments and partition function of the random fragmentation tree. Also, we give details of the numerical analysis of these features.     

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.     

Logic of secrets in collaboration networks

The article proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system’s key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.     

Commutability of homogenization and linearization at identity in finite elasticity and applications

We prove under some general assumptions on elastic energy densities (namely, frame indifference, minimality at identity, non-degeneracy and existence of a quadratic expansion at identity) that homogenization and linearization commute at identity. This generalizes a recent result by S. Müller and the second author by dropping their assumption of periodicity. As a first application, we extend their Γ-convergence commutation diagram for linearization and homogenization to the stochastic setting under standard growth conditions. As a second application, we prove that the Γ-closure is local at identity for this class of energy densities.