Von Neumann Stability Analysis of Finite Difference Schemes for Maxwell--Debye and Maxwell--Lorentz Equations

Abstract: This technical report yields detailed calculations of the paper [1] (B. Bid\'egaray-Fesquet, "Stability of FD-TD schemes for Maxwell-Debye and Maxwell-Lorentz equations", Technical report, LMC-IMAG, 2005) which have been however automated since (see http://ljk.imag.fr/membres/Brigitte.Bidegaray/NAUtil/). It deals with the stability analysis of various finite difference schemes for Maxwell--Debye and Maxwell--Lorentz equations. This work gives a systematic and rigorous continuation to Petropoulos previous work [5] (P.G. Petropoulos.,"Stability and phase error analysis of FD-TD in dispersive dielectrics", IEEE Transactions on Antennas and Propagation, 42(1):62--69, 1994).


On several problems about automorphisms of the free group of rank two

Abstract: Let $F_n$ be a free group of rank $n$. In this paper we discuss three algorithmic problems related to automorphisms of $F_2$. A word $u$ of $F_n$ is called positive if $u$ does not have negative exponents. A word $u$ in $F_n$ is called potentially positive if $\phi(u)$ is positive for some automorphism $\phi$ of $F_n$. We prove that there is an algorithm to decide whether or not a given word in $F_2$ is potentially positive, which gives an affirmative solution to problem F34a in [1] for the case of $F_2$. Two elements $u$ and $v$ in $F_n$ are said to be boundedly translation equivalent if the ratio of the cyclic lengths of $\phi(u)$ and $\phi(v)$ is bounded away from 0 and from $\infty$ for every automorphism $\phi$ of $F_n$. We provide an algorithm to determine whether or not two given elements of $F_2$ are boundedly translation equivalent, thus answering question F38c in the online version of [1] for the case of $F_2$. We further prove that there exists an algorithm to decide whether or not a given finitely generated subgroup of $F_2$ is the fixed point group of some automorphism of $F_2$, which settles problem F1b in [1] in the affirmative for the case of $F_2$.


Positive divisors in symplectic geometry

Abstract: In this paper, we gave some explicit relations between absolute and relative Gromov-Witten invariants. We proved that a symplectic manifold is symplectic rationally connected if it contains a positive divisor symplectomorphic to $P^n$.


Towards an analogue of Ihara's lemma for Shimura curves

Abstract: The object of this work is to present the status of art of an open problem: to provide an analogue for Shimura curves of the Ihara's lemma \cite{Ihara73} which holds for modular curves. We will describe our direct result towards the "Problem of Ihara" and we will present some possible approaches to it, giving a formulation of our conjecture in terms of congruence subgroup problem for quaternion algebras. Since some modular forms can be reinterpreted as elements of the cohomology of Shimura curves, we will describe a consequence of the "Problem of Ihara" about congruence modules of modular forms and a consequence of it about the problem of raising the level of modular forms.


Boundedness of multidimensional Hausdorff operators on $L^1$ and $H^1$ spaces

Abstract: For a wide family of multivariate Hausdorff operators, a new stronger condition for the boundedness of an operator from this family on the real Hardy space $H^1$ by means of atomic decomposition.


Balanced category theory

Abstract: Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this axiomatization of final and initial functors and discrete (op)fibrations, concepts such as components, slices and coslices, colimits and limits, left and right adjunctible maps, dense maps and arrow intervals, can be naturally defined in $\C$, and several classical properties concerning them can be effectively proved. For any object $X$ of $\C$, by restricting $\C/X$ to the slices or to the coslices of $X$, two dual "underlying categories" are obtained. These can be enriched over internal sets (discrete objects) of $\C$: internal hom-sets are given by the components of the pullback of the corresponding slice and coslice of $X$. The construction extends to give functors $\C\to\Cat$, which preserve (or reverse) slices and adjunctible maps and which can be enriched over internal sets too.


The pseudo-index of horospherical Fano varieties

Abstract: We prove a conjecture of L.Bonavero, C. Casagrande, O. Debarre and S. Druel, on the pseudo-index of smooth Fano varieties, in the special case of horospherical varieties.


A New Family of Random Graphs for Testing Spatial Segregation

Abstract: We discuss a graph-based approach for testing spatial point patterns. This approach falls under the category of data-random graphs, which have been introduced and used for statistical pattern recognition in recent years. Our goal is to test complete spatial randomness against segregation and association between two or more classes of points. To attain this goal, we use a particular type of parametrized random digraph called proximity catch digraph (PCD) which is based based on relative positions of the data points from various classes. The statistic we employ is the relative density of the PCD. When scaled properly, the relative density of the PCD is a $U$-statistic. We derive the asymptotic distribution of the relative density, using the standard central limit theory of $U$-statistics. The finite sample performance of the test statistic is evaluated by Monte Carlo simulations, and the asymptotic performance is assessed via Pitman's asymptotic efficiency, thereby yielding the optimal parameters for testing. Furthermore, the methodology discussed in this article is also valid for data in multiple dimensions.


A uniqueness theorem for solution of BSDEs

Abstract: In this note, we prove that if $g$ is uniformly continuous in $z$, uniformly with respect to $(\oo,t)$ and independent of $y$, the solution to the backward stochastic differential equation (BSDE) with generator $g$ is unique.


On the Distribution of the Domination Number of a New Family of Parametrized Random Digraphs

Abstract: We derive the asymptotic distribution of the domination number of a new family of random digraph called proximity catch digraph (PCD), which has application to statistical testing of spatial point patterns and to pattern recognition. The PCD we use is a parametrized digraph based on two sets of points on the plane, where sample size and locations of the elements of one is held fixed, while the sample size of the other whose elements are randomly distributed over a region of interest goes to infinity. PCDs are constructed based on the relative allocation of the random set of points with respect to the Delaunay triangulation of the other set whose size and locations are fixed. We introduce various auxiliary tools and concepts for the derivation of the asymptotic distribution. We investigate these concepts in one Delaunay triangle on the plane, and then extend them to the multiple triangle case. The methods are illustrated for planar data, but are applicable in higher dimensions also.


On Summatory Totient Functions

Abstract: The lower and upper bounds are found for the leading term of summatory totient function $\sum_{k\leq N}k^u\phi^v(k)$ in various ranges of $u\in{\mathbb R}$ and $v\in{\mathbb Z}$.


Relative Density of the Random $r$-Factor Proximity Catch Digraph for Testing Spatial Patterns of Segregation and Association

Abstract: Statistical pattern classification methods based on data-random graphs were introduced recently. In this approach, a random directed graph is constructed from the data using the relative positions of the data points from various classes. Different random graphs result from different definitions of the proximity region associated with each data point and different graph statistics can be employed for data reduction. The approach used in this article is based on a parameterized family of proximity maps determining an associated family of data-random digraphs. The relative arc density of the digraph is used as the summary statistic, providing an alternative to the domination number employed previously. An important advantage of the relative arc density is that, properly re-scaled, it is a $U$-statistic, facilitating analytic study of its asymptotic distribution using standard $U$-statistic central limit theory. The approach is illustrated with an application to the testing of spatial patterns of segregation and association. Knowledge of the asymptotic distribution allows evaluation of the Pitman and Hodges-Lehmann asymptotic efficacies, and selection of the proximity map parameter to optimize efficiency. Furthermore the approach presented here also has the advantage of validity for data in any dimension.


Heegaard Floer invariants of Legendrian knots in contact three--manifolds

Abstract: We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.


A problem on polynomial maps over finite fields

Abstract: This is a short note that explains a problem on polynomial maps over finite fields for non-experts. The problem is: Do there exist odd polynomial automorphisms over the finite fields with 4,8,16,32,64,... elements? The explanation is very, very basic. Also, the background of the problem is given, and why it is of such importance. This all with the idea that the problem enters the world of discrete mathematics, and can be approached from completely different angles than normally used by people working in Affine Algebraic Geometry.


Region of variability for certain classes of univalent functions satisfying differential inequalities

Abstract: In this paper we determine the region of variability for certain subclasses of univalent functions satisfying differential inequalities. In the final section we graphically illustrate the region of variability for several sets of parameters.


Time--space white noise eliminates global solutions in reaction diffusion equations

Abstract: We prove that perturbing the reaction--diffusion equation $u_t=u_{xx} + (u_+)^p$ ($p>1$), with time--space white noise produces that solutions explodes with probability one for every initial datum, opposite to the deterministic model where a positive stationary solution exists.


A note on families of hyperelliptic curves

Abstract: We give a stack-theoretic proof for some results on families of hyperelliptic curves.


The Use of Domination Number of a Random Proximity Catch Digraph for Testing Spatial Patterns of Segregation and Association

Abstract: Priebe et al. (2001) introduced the class cover catch digraphs and computed the distribution of the domination number of such digraphs for one dimensional data. In higher dimensions these calculations are extremely difficult due to the geometry of the proximity regions; and only upper-bounds are available. In this article, we introduce a new type of data-random proximity map and the associated (di)graph in $\mathbb R^d$. We find the asymptotic distribution of the domination number and use it for testing spatial point patterns of segregation and association.


The hypertoric intersection cohomology ring

Abstract: We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we show that this ring structure is induced by a ring structure on the equivariant intersection cohomology sheaf in the equivariant derived category. The computation is given in terms of a localization functor which takes equivariant sheaves on a sufficiently nice stratified space to sheaves on a poset.


Semi-classical analysis of a random walk on a manifold

Abstract: We prove a sharp rate of convergence to stationarity for a natural random walk on a compact Riemannian manifold $(M,g)$. The proof includes a detailed study of the spectral theory of the associated operator.


Multifractional, multistable, and other processes with prescribed local form

Abstract: We present a general method for constructing stochastic processes with prescribed local form. Such processes include variable amplitude multifractional Brownian motion, multifractional $\alpha$-stable processes, and multistable processes, that is processes that are locally $\alpha(t)$-stable but where the stability index $\alpha(t)$ varies with $t$. In particular we construct multifractional multistable processes where both the local self-similarity and stability indices vary.


Optimal and better transport plans

Abstract: We consider the Monge-Kantorovich transport problem in a purely measure theoretic setting, i.e. without imposing continuity assumptions on the cost function. It is known that transport plans which are concentrated on c-monotone sets are optimal, provided the cost function c is either lower semi-continuous and finite, or continuous and may possibly attain the value infty. We show that this is true in a more general setting, in particular for merely Borel measurable cost functions provided that {c=infty} is the union of a closed set and a negligible set. In a previous paper Schachermayer and Teichmann considered strongly c-monotone transport plans and proved that every strongly c-monotone transport plan is optimal. We establish that transport plans are strongly c-monotone if and only if they satisfy a "better" notion of optimality called robust optimality.


Stabilization and limit theorems for geometric functionals of Gibbs point processes

Abstract: Given a Gibbs point process $\P^{\Psi}$ on $\R^d$ having a weak enough potential $\Psi$, we consider the random measures $\mu_\la := \sum_{x \in \P^{\Psi} \cap Q_\la} \xi(x, \P^{\Psi} \cap Q_\la) \delta_{x/\la^{1/d}}$, where $Q_{\la} := [-\la^{1/d}/2,\la^{1/d}/2]^d$ is the volume $\la$ cube and where $\xi(\cdot,\cdot)$ is a translation invariant stabilizing functional. Subject to $\Psi$ satisfying a localization property and translation invariance, we establish weak laws of large numbers for $\la^{-1} \mu_\la(f)$, $f$ a bounded test function on $\R^d$, and weak convergence of $\la^{-1/2} \mu_\la(f),$ suitably centered, to a Gaussian field acting on bounded test functions. The result yields limit laws for geometric functionals on Gibbs point processes including the Strauss and area interaction point processes as well as more general point processes defined by the Widom-Rowlinson and hard-core model. We provide applications to random sequential packing on Gibbsian input, to functionals of Euclidean graphs, networks, and percolation models on Gibbsian input, and to quantization via Gibbsian input.


A second-order identity for the Riemann tensor and applications

Abstract: A second-order differential identity for the Riemann tensor is obtained, on a manifold with symmetric connection. Several old and some new differential identities for the Riemann and Ricci tensors descend from it. Applications to manifolds with Recurrent or Symmetric structures are discussed. The new structure of K-recurrency naturally emerges from an invariance property of an old identity by Lovelock.


A family of local rings with rational Poincar\'e Series

Abstract: In this note we compute the Poincare Series of almost stretched Gorenstein local rings. It turns out that it is rational


Wrap groups of fiber bundles over quaternions and octonions

Abstract: This article is devoted to the investigation of wrap groups of connected fiber bundles over the fields of real $\bf R$, complex $\bf C$ numbers, the quaternion skew field $\bf H$ and the octonion algebra $\bf O$. These groups are constructed with mild conditions on fibers. Their examples are given. It is shown, that these groups exist and for differentiable fibers have the infinite dimensional Lie groups structure, that is, they are continuous or differentiable manifolds and the composition $(f,g)\mapsto f^{-1}g$ is continuous or differentiable depending on a class of smoothness of groups. Moreover, it is demonstrated that in the cases of real, complex, quaternion and octonion manifolds these groups have structures of real, complex, quaternion or octonion manifolds respectively. Nevertheless, it is proved that these groups does not necessarily satisfy the Campbell-Hausdorff formula even locally.


Smooth Functors vs. Differential Forms

Abstract: We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in several fields, namely as connections on (non-abelian) gerbes, as curvatures of smooth functors and as critical points in BF theory. We demonstrate further that our dictionary provides a powerful tool to discuss the transgression of geometric objects to loop spaces.


Vogan Diagrams of Twisted Affine Kac-Moody Lie Algebras

Abstract: A Vogan diagram is a Dynkin diagram of a Kac-Moody Lie algebra of finite or affine type overlayed with additional structures. This paper develops the theory of Vogan diagrams for almost compact real forms of indecomposable twisted affine Kac- Moody Lie algebras and shows that equivalence classes of Vogan diagrams correspond to isomorphism classes of almost compact real forms of twisted affine Kac-Moody Lie algebras as given by H. Ben Messaoud and G. Rousseau.


Absence of line fields and Mane's theorem for non-recurrent transcendental functions

Abstract: Let f be a transcendental meromorphic function. Suppose that the finite part of the postsingular set of f is bounded, that f has no recurrent critical points or wandering domains, and that the degree of pre-poles of f is uniformly bounded. Then we show that f supports no invariant line fields on its Julia set. We prove this by generalizing two results about rational functions to the transcendental setting: a theorem of Mane about the branching of iterated preimages of disks, and a theorem of McMullen regarding absence of invariant line fields for "measurably transitive" functions. Both our theorems extend results previously obtained by Graczyk, Kotus and Swiatek.


Fractional Cauchy problems on bounded domains

Abstract: Fractional Cauchy problems replace the usual first-order time derivative by a fractional derivative. This paper develops classical solutions and stochastic analogues for fractional Cauchy problems in a bounded domain $D\subset\mathbb{R}^d$ with Dirichlet boundary conditions. Stochastic solutions are constructed via an inverse stable subordinator whose scaling index corresponds to the order of the fractional time derivative. Dirichlet problems corresponding to iterated Brownian motion in a bounded domain are then solved by establishing a correspondence with the case of a half-derivative in time.


General definitions of chaos for continuous and discrete-time processes

Abstract: A precise definition of chaos for discrete processes based on iteration already exists. We shall first reformulate it in a more general frame, taking into account the fact that discrete chaotic behavior is neither necessarily based on iteration nor strictly related to compact metric spaces or to bounded functions. Then we shall apply the central idea of this definition to continuous processes. We shall try to see what chaos is, regardless of the way it is generated.


Boundary behavior of functions in the de Branges--Rovnyak spaces

Abstract: This paper deals with the boundary behavior of functions in the de Branges--Rovnyak spaces. First, we give a criterion for the existence of radial limits for the derivatives of functions in the de Branges--Rovnyak spaces. This criterion generalizes a result of Ahern-Clark. Then we prove that the continuity of all functions in a de Branges--Rovnyak space on an open arc $I$ of the boundary is enough to ensure the analyticity of these functions on $I$. We use this property in a question related to Bernstein's inequality.


Homoscedastic controlled calibration model

Abstract: In the context of the usual calibration model, we consider the case in which the independent variable is unobservable, but a pre-fixed value on its surrogate is available. Thus, considering controlled variables and assuming that the measurement errors have equal variances we propose a new calibration model. Likelihood based methodology is used to estimate the model parameters and the Fisher information matrix is used to construct a confidence interval for the unknown value of the regressor variable. A simulation study is carried out to asses the effect of the measurement error on the estimation of the parameter of interest. This new approach is illustrated with an example.


Prime path coalgebras

Abstract: We use prime coalgebras as a generalization of simple coalgebras, and observe that prime subcoalgebras represent the structure of the coalgebra in a more efficient way than simple coalgebras. In particular, in this work we focus our attention on the study and characterization of prime subcoalgebras of path coalgebras of quivers and, by extension, of prime pointed coalgebras.


A new approach to solvability of some elliptic pde's with square integrable boundary data

Abstract: This paper has been withdrawn, and is replaced with paper "Solvability of elliptic systems with square integrable boundary data" by the same authors.


Gonality, apolarity and hypercubics

Abstract: We show that any Fermat hypercubic is apolar to a trigonal curve, and vice versa. We show also that the Waring number of the polar hypercubic associated to a tetragonal curve of genus $g$ is at most $\lceil 3/2g - 7/2\rceil$, and for a large class of them is at most $4/3g - 3$.


Residual finiteness, QCERF, and fillings of hyperbolic groups

Abstract: We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling.


A new solution representation for the BBM equation in a quarter plane and the eventual periodicity

Abstract: The initial- and boundary-value problem for the Benjamin-Bona-Mahony (BBM) equation is studied in this paper. The goal is to understand the periodic behavior (termed as eventual periodicity) of its solutions corresponding to periodic boundary condition or periodic forcing. To this aim, we derive a new formula representing solutions of this initial- and boundary-value problem by inverting the operator $\partial_t +\alpha \partial_x -\gamma\partial_{xxt}$ defined in the space-time quarter plane. The eventual periodicity of the linearized BBM equation with periodic boundary data and forcing term is established by combining this new representation formula and the method of stationary phase.


Relative Asymptotic of Multiple Orthogonal Polynomials for Nikishin Systems

Abstract: We prove relative asymptotic for the ratio of two sequences of multiple orthogonal polynomials with respect to Nikishin system of measures. The first Nikishin system ${\mathcal{N}}(\sigma_1,...,\sigma_m)$ is such that for each $k$, $\sigma_k$ has constant sign on its compact support $\supp {\sigma_k} \subset \mathbb{R}$ consisting of an interval $\widetilde{\Delta}_k$, on which $|\sigma_k^{\prime}| > 0$ almost everywhere, and a discrete set without accumulation points in $\mathbb{R} \setminus \widetilde{\Delta}_k$. If ${Co}(\supp {\sigma_k}) = \Delta_k$ denotes the smallest interval containing $\supp {\sigma_k}$, we assume that $\Delta_k \cap \Delta_{k+1} = \emptyset$, $k=1,...,m-1$. The second Nikishin system ${\mathcal{N}}(r_1\sigma_1,...,r_m\sigma_m)$ is a perturbation of the first by means of rational functions $r_k$, $k=1,...,m,$ whose zeros and poles lie in $\mathbb{C} \setminus \cup_{k=1}^m \Delta_k$.


Schlicht envelopes of holomorphy and foliations by lines

Abstract: Given a domain Y in a complex manifold X, it is a difficult problem with no general solution to determine whether Y has a schlicht envelope of holomorphy in X, and if it does, to describe the envelope. The purpose of this paper is to tackle the problem with the help of a smooth 1-dimensional foliation F of X with no compact leaves. We call a domain Y in X an interval domain with respect to F if Y intersects every leaf of F in a nonempty connected set. We show that if X is Stein and if F satisfies a new property called quasiholomorphicity, then every interval domain in X has a schlicht envelope of holomorphy, which is also an interval domain. This result is a generalization and a global version of a well-known lemma from the mid-1980s. We illustrate the notion of quasiholomorphicity with sufficient conditions, examples, and counterexamples, and present some applications, in particular to a little-studied boundary regularity property of domains called local schlichtness.


Laminating lattices with symmetrical glue

Abstract: We use the automorphism group $Aut(H)$, of holes in the lattice $L_8=A_2\oplus A_2\oplus D_4$, as the starting point in the construction of sphere packings in 10 and 12 dimensions. A second lattice, $L_4=A_2\oplus A_2$, enters the construction because a subgroup of $Aut(L_4)$ is isomorphic to $Aut(H)$. The lattices $L_8$ and $L_4$, when glued together through this relationship, provide an alternative construction of the laminated lattice in twelve dimensions with kissing number 648. More interestingly, the action of $Aut(H)$ on $L_4$ defines a pair of invariant planes through which dense, non-lattice packings in 10 dimensions can be constructed. The most symmetric of these is aperiodic with center density 1/32. These constructions were prompted by an unexpected arrangement of 378 kissing spheres discovered by a search algorithm.


Contractively complemented subspaces of pre-symmetric spaces

Abstract: In 1965, Ron Douglas proved that if $X$ is a closed subspace of an $L^1$-space and $X$ is isometric to another $L^1$-space, then $X$ is the range of a contractive projection on the containing $L^1$-space. In 1977 Arazy-Friedman showed that if a subspace $X$ of $C_1$ is isometric to another $C_1$-space (possibly finite dimensional), then there is a contractive projection of $C_1$ onto $X$. In 1993 Kirchberg proved that if a subspace $X$ of the predual of a von Neumann algebra $M$ is isometric to the predual of another von Neumann algebra, then there is a contractive projection of the predual of $M$ onto $X$. We widen significantly the scope of these results by showing that if a subspace $X$ of the predual of a $JBW^*$-triple $A$ is isometric to the predual of another $JBW^*$-triple $B$, then there is a contractive projection on the predual of $A$ with range $X$, as long as $B$ does not have a direct summand which is isometric to a space of the form $L^\infty(\Omega,H)$, where $H$ is a Hilbert space of dimension at least two. The result is false without this restriction on $B$.


Mordell-Weil Problem for Cubic Surfaces, Numerical Evidence

Abstract: Let V be a plane smooth cubic curve over a finitely generated field k. The Mordell-Weil theorem for V states that there is a finite subset P \subset V(k) such that the whole V(k) can be obtained from P by drawing secants and tangents through pairs of previously constructed points and consecutively adding their new intersection points with V. In this paper we present numerical data regarding the analogous statement for cubic surfaces. For the surfaces examined, we also test Manin's conjecture relating the asymptotics of rational points of bounded height on a Fano variety with the rank of the Picard group of the surface.


Bayesian Checking of the Second Levels of Hierarchical Models

Abstract: Hierarchical models are increasingly used in many applications. Along with this increased use comes a desire to investigate whether the model is compatible with the observed data. Bayesian methods are well suited to eliminate the many (nuisance) parameters in these complicated models; in this paper we investigate Bayesian methods for model checking. Since we contemplate model checking as a preliminary, exploratory analysis, we concentrate on objective Bayesian methods in which careful specification of an informative prior distribution is avoided. Numerous examples are given and different proposals are investigated and critically compared.


Comment: Bayesian Checking of the Second Levels of Hierarchical Models

Abstract: We discuss the methods of Evans and Moshonov [Bayesian Analysis 1 (2006) 893--914, Bayesian Statistics and Its Applications (2007) 145--159] concerning checking for prior-data conflict and their relevance to the method proposed in this paper. [arXiv:0802.0743]


Abstract: Comment: Bayesian Checking of the Second Levels of Hierarchical Models [arXiv:0802.0743]


Comment: Bayesian Checking of the Second Level of Hierarchical Models: Cross-Validated Posterior Predictive Checks Using Discrepancy Measures

Abstract: Comment: Bayesian Checking of the Second Level of Hierarchical Models [arXiv:0802.0743]


Abstract: Rejoinder: Bayesian Checking of the Second Levels of Hierarchical Models [arXiv:0802.0743]


On Ricci solitons of cohomogeneity one

Abstract: We analyse some properties of the cohomogeneity one Ricci soliton equations, and use Ansatze of cohomogeneity one type to produce new explicit examples of complete Kahler Ricci solitons of expanding, steady and shrinking types. These solitons are foliated by hypersurfaces which are circle bundles over a product of Fano Kahler-Einstein manifolds or over coadjoint orbits of a compact connected semisimple Lie group.


On factoriality of Cox rings

Abstract: Generalized Cox's construction associates with an algebraic variety a remarkable invariant -- its total coordinate ring, or Cox ring. In this note we give a new proof of factoriality of the Cox ring when the divisor class group of the variety is finitely generated and free. The proof is based on a notion of graded factoriality. We show that if the divisor class group has torsion, then the Cox ring is again factorially graded, but factoriality may be lost.


The Steinberg Variety and Representations of Reductive Groups

Abstract: We give an overview of some of the main results in geometric representation theory that have been proved by means of the Steinberg variety. Steinberg's insight was to use such a variety of triples in order to prove a conjectured formula by Grothendieck. The Steinberg variety was later used to give an alternative approach to Springer's representations and played a central role in the proof of the Deligne-Langlands conjecture for Hecke algebras by Kazhdan and Lusztig.


On the local time of the asymmetric Bernoulli walk

Abstract: We study some properties of the local time of the asymmetric Bernoulli walk on the line. These properties are very similar to the corresponding ones of the simple symmetric random walks in higher ($d\geq3$) dimension, which we established in the recent years. The goal of this paper is to highlight these similarities.


Transient nearest neighbor random walk and Bessel process

Abstract: We prove strong invariance principle between a transient Bessel process and a certain nearest neighbor (NN) random walk that is constructed from the former by using stopping times. It is also shown that their local times are close enough to share the same strong limit theorems. It is shown furthermore, that if the difference between the distributions of two NN random walks are small, then the walks themselves can be constructed so that they are close enough. Finally, some consequences concerning strong limit theorems are discussed.


Weighted norm inequalities for de Branges--Rovnyak spaces and their applications

Abstract: Let $\mathcal{H}(b)$ denote the de Branges--Rovnyak space associated with a function $b$ in the unit ball of $H^\infty(\mathbb{C}_+)$. We study the boundary behavior of the derivatives of functions in $\mathcal{H}(b)$ and obtain weighted norm estimates of the form $\|f^{(n)}\|_{L^2(\mu)} \le C\|f\|_{\mathcal{H}(b)}$, where $f \in \mathcal{H}(b)$ and $\mu$ is a Carleson-type measure on $\mathbb{C}_+\cup\mathbb{R}$. We provide several applications of these inequalities. We apply them to obtain embedding theorems for $\mathcal{H}(b)$ spaces. These results extend Cohn and Volberg--Treil embedding theorems for the model (star-invariant) subspaces which are special classes of de Branges--Rovnyak spaces. We also exploit the inequalities for the derivatives to study stability of Riesz bases of reproducing kernels $\{k^b_{\lambda_n}\}$ in $\mathcal{H}(b)$ under small perturbations of the points $\lambda_n$.


Integral representation of the $n$-th derivative in de Branges-Rovnyak spaces and the norm convergence of its reproducing kernel

Abstract: In this paper, we give an integral representation for the boundary values of derivatives of functions of the de Branges--Rovnyak spaces $\HH(b)$, where $b$ is in the unit ball of $H^\infty(\CC_+)$. In particular, we generalize a result of Ahern--Clark obtained for functions of the model spaces $K_b$, where $b$ is an inner function. Using hypergeometric series, we obtain a nontrivial formula of combinatorics for sums of binomial coefficients. Then we apply this formula to show the norm convergence of reproducing kernel $k_{\omega,n}^b$ of the evaluation of $n$-th derivative of elements of $\HH(b)$ at the point $\omega$ as it tends radially to a point of the real axis.


A multiple covariance approach to PLS regression with several predictor groups: Structural Equation Exploratory Regression

Abstract: A variable group Y is assumed to depend upon R thematic variable groups X 1, >..., X R . We assume that components in Y depend linearly upon components in the Xr's. In this work, we propose a multiple covariance criterion which extends that of PLS regression to this multiple predictor groups situation. On this criterion, we build a PLS-type exploratory method - Structural Equation Exploratory Regression (SEER) - that allows to simultaneously perform dimension reduction in groups and investigate the linear model of the components. SEER uses the multidimensional structure of each group. An application example is given.


Mod\'elisation factorielle des interactions entre deux ensembles d'observations : la m\'ethode PLS-FILM (Partial Least Squares Factor Interaction Linear Modelling)

Abstract: In this work, we consider a data array encoding interactions between two sets of observations respectively referred to as "subjects" and "objects". Besides, descriptions of subjects and objects are available through two variable sets. We propose a geometrically grounded exploratory technique to analyze the interactions using descriptions of subjects and objects: interactions are modelled using a hierarchy of subject-factors and object-factors built up from these descriptions. Our method bridges the gap between those of Chessel (RLQ analysis) and Martens (L-PLS), although it only has rank 1 components in common with them.


The ziqqurath of exact sequences of n-groupoids

Abstract: Higher Dimensional Categories are showing relevant implications in several fields of mathematical research. Nevertheless basic algebraic tools, in order to further develop the theory, are far from being established. In this thesis we introduce a notion of exactness for exact sequences of pointed n-groupoids. Furthermore we test it generalizing a well known result for (fibrations of) groupoids [R.Brown, 1970]. Namely, given a fibration F of (pointed) groupoids and its strict kernel it is possible to obtain a 6-term exact sequence of groups (of loops) and pointed sets (iso classes of objects). The ziqqurath, aka step-pyramid, comes out from iterating this construction, and it consists in several sequences of n-groupoids, (n-1)-groupoids and so on up to pointed sets (0-groupoids), of increasing length.


Submanifolds of codimension two attaining equality in an extrinsic inequality

Abstract: We provide a parametric construction in terms of minimal surfaces of the Euclidean submanifolds of codimension two and arbitrary dimension that attain equality in an inequality due to De Smet, Dillen, Verstraelen and Vrancken. The latter involves the scalar curvature, the norm of the normal curvature tensor and the length of the mean curvature vector.


Relative Pro-$\ell$ Completions of Mapping Class Groups

Abstract: Fix a prime number ell. In this paper we develop the theory of relative pro-ell completion of discrete and profinite groups -- a natural generalization of the classical notion of pro-ell completion -- and show that the pro-ell completion of the Torelli group does not inject into the relative pro-ell completion of the corresponding mapping class group when the genus is at least 3. As an application, we prove that when g > 2, the action of the pro-ell completion of the Torelli group T_{g,1} on the pro-ell fundamental group of a pointed genus g surface is not faithful. The choice of a first-order deformation of a maximally degenerate stable curve of genus g determines an action of the absolute Galois group G_Q on the relative pro-ell completion of the corresponding mapping class group. We prove that for all g all such representations are unramified at all primes \neq ell when the first order deformation is suitably chosen. This proof was communicated to us by Mochizuki and Tamagawa.


On the weak K\"ahler-Ricci flow

Abstract: In this note, we define and study K\"ahler-Ricci flow with initial data not being smooth with some natural applications.


On the relative Giroux correspondence

Abstract: Recently, Honda, Kazez and Matic described an adapted partial open book of a compact contact 3-manifold with convex boundary by generalizing the work of Giroux in the closed case. They also implicitly established a one-to-one correspondence between isomorphism classes of partial open book decompositions modulo positive stabilization and isomorphism classes of compact contact 3-manifolds with convex boundary. In this expository article we explicate the relative version of Giroux correspondence.


The Kauffman skein algebra of a surface at $\sqrt{-1}$

Abstract: We study the structure of the Kauffman algebra of a surface with parameter equal to sqrt(-1). We obtain an interpretation of this algebra as an algebra of parallel transport operators acting on sections of a line bundle over the moduli space of flat connections in a trivial SU(2)-bundle over the surface. We analyse the asymptotics of traces of curve-operators in TQFT in non standard regimes where the root of unity parametrizing the TQFT accumulates to a root of unity. We interpret the case of sqrt(-1) in terms of parallel transport operators.


Relative Weight Filtrations on Completions of Mapping Class Groups

Abstract: This paper gives an exposition of relative weight filtrations on completions of mapping class groups associated to a stable degeneration of marked genus g curves. These relative weight filtrations have been constructed using Galois theory (with Matsumoto) and Hodge theory (with Pearlstein and Terasoma). It is shown that the level 0 part of the relative weight filtration is an analogue of a parabolic subalgebra of a Kac-Moody Lie algebra. It is shown that all such subalgebras correspond to equivalence classes of pants decompositions of the surface -- two being equivalent if and only if they determine the same handlebody that the reference surface bounds. One application is to show that handlebody subgroups of mapping class groups contain elements arbitrarily far down the lower central series of Torelli groups. (This result was also obtained independently by Jamie Jorgensen.)


Asymptotic normality of the mixture density estimator in a disaggregation scheme

Abstract: The paper concerns the asymptotic distribution of the mixture density estimator, proposed by Oppenheim et al 2006, in the aggregation/disaggregation problem of random parameter AR(1) process. We prove that, under mild conditions on the (semiparametric) form of the mixture density, the estimator is asymptotically normal. The proof is based on the limit theory for the quadratic form in linear random variables developed by Bhansali et al 2007. The moving average representation of the aggregated process is investigated. A small simulation study illustrates the result.


Characterizations of Lojasiewicz inequalities and applications

Abstract: The classical Lojasiewicz inequality and its extensions for partial differential equation problems (Simon) and to o-minimal structures (Kurdyka) have a considerable impact on the analysis of gradient-like methods and related problems: minimization methods, complexity theory, asymptotic analysis of dissipative partial differential equations, tame geometry. This paper provides alternative characterizations of this type of inequalities for nonsmooth lower semicontinuous functions defined on a metric or a real Hilbert space. In a metric context, we show that a generalized form of the Lojasiewicz inequality (hereby called the Kurdyka-Lojasiewicz inequality) relates to metric regularity and to the Lipschitz continuity of the sublevel mapping, yielding applications to discrete methods (strong convergence of the proximal algorithm). In a Hilbert setting we further establish that asymptotic properties of the semiflow generated by $-\partial f$ are strongly linked to this inequality. This is done by introducing the notion of a piecewise subgradient curve: such curves have uniformly bounded lengths if and only if the Kurdyka-Lojasiewicz inequality is satisfied. Further characterizations in terms of talweg lines -a concept linked to the location of the less steepest points at the level sets of $f$- and integrability conditions are given. In the convex case these results are significantly reinforced, allowing in particular to establish the asymptotic equivalence of discrete gradient methods and continuous gradient curves. On the other hand, a counterexample of a convex C^2 function in in the plane is constructed to illustrate the fact that, contrary to our intuition, and unless a specific growth condition is satisfied, convex functions may fail to fulfill the Kurdyka-Lojasiewicz inequality.


Joinings of W*-dynamical systems

Abstract: We study the notion of joinings of W*-dynamical systems, building on ideas from measure theoretic ergodic theory. In particular we prove sufficient and necessary conditions for ergodicity in terms of joinings, and also briefly look at conditional expectation operators associated with joinings.


Data-driven calibration of penalties for least-squares regression

Abstract: Penalization procedures often suffer from their dependence on multiplying factors, whose optimal values are either unknown or hard to estimate from the data. We propose a completely data-driven calibration algorithm for this parameter in the least-squares regression framework, without assuming a particular shape for the penalty. Our algorithm relies on the concept of minimal penalty, recently introduced by Birge and Massart (2007) in the context of penalized least squares for Gaussian homoscedastic regression. On the positive side, the minimal penalty can be evaluated from the data themselves, leading to a data-driven estimation of an optimal penalty which can be used in practice; on the negative side, their approach heavily relies on the homoscedastic Gaussian nature of their stochastic framework. The purpose of this paper is twofold: stating a more general heuristics for designing a data-driven penalty (the slope heuristics) and proving that it works for penalized least-squares regression with a random design, even for heteroscedastic non-Gaussian data. For technical reasons, some exact mathematical results will be proved only for regressogram bin-width selection. This is at least a first step towards further results, since the approach and the method that we use are indeed general.


Isomorphism classes of certain Artinian Gorenstein algebras

Abstract: In this paper we classify, up to analytic isomorphism, the family of almost stretched Artinian complete intersection A=R/I with a given Hilbert function, in the case R is a power series ring with an arbitrary number of variables.


On multiwell Liouville theorems in higher dimension

Abstract: We consider certain subsets of the space of $n\times n$ matrices of the form $K = \cup_{i=1}^m SO(n)A_i$, and we prove that for $p>1, q \geq 1$ and for connected $\Omega'\subset\subset\Omega\subset \R^n$, there exists positive constant $a<1$ depending on $n,p,q, \Omega, \Omega'$ such that for $ \veps=\| {dist}(Du, K)\|_{L^p(\Omega)}^p$ we have $\inf_{R\in K}\|Du-R\|^p_{L^p(\Omega')}\leq M\veps^{1/p}$ provided $u$ satisfies the inequality $\| D^2 u\|_{L^q(\Omega)}^q\leq a\veps^{1-q}$. Our main result holds whenever $m=2$, and also for {\em generic} $m\le n$ in every dimension $n\ge 3$, as long as the wells $SO(n)A_1,..., SO(n)A_m$ satisfy a certain connectivity condition. These conclusions are mostly known when $n=2$, and they are new for $n\ge 3$.


On the Lamperti stable processes

Abstract: We consider a new family of $\R^d$-valued L\'{e}vy processes that we call Lamperti stable. One of the advantages of this class is that the law of many related functionals can be computed explicitely (see for instance \cite{cc}, \cite{ckp}, \cite{kp} and \cite{pp}). This family of processes shares many properties with the tempered stable and the layered stable processes, defined in Rosi\'nski \cite{ro} and Houdr\'e and Kawai \cite{hok} respectively, for instance their short and long time behaviour. Additionally, in the real valued case we find a series representation which is used for sample paths simulation. In this work we find general properties of this class and we also provide many examples, some of which appear in recent literature.


Quaternion polar representation with a complex modulus and complex argument inspired by the Cayley-Dickson form

Abstract: We present a new polar representation of quaternions inspired by the Cayley-Dickson representation. In this new polar representation, a quaternion is represented by a pair of complex numbers as in the Cayley-Dickson form, but here these two complex numbers are a complex 'modulus' and a complex 'argument'. As in the Cayley-Dickson form, the two complex numbers are in the same complex plane (using the same complex root of -1), but the complex phase is multiplied by a different complex root of -1 in the exponential function. We show how to calculate the amplitude and phase from an arbitrary quaternion in Cartesian form.


The moduli space of \'etale double covers of genus 5 curves is unirational

Abstract: We show that the coarse moduli space $\cR_5$ of \'etale double covers of curves of genus~5 over the complex numbers is unirational. We give two slightly different arguments, one purely geometric and the other more computational.


Horizontal Heegaard splittings of Seifert fibered spaces

Abstract: We show that if an orientable Seifert fibered space $M$ with an orientable genus $g$ base space admits a strongly irreducible horizontal Heegaard splitting then there is a one-to-one correspondence between isotopy classes of strongly irreducible horizontal Heegaard splittings and elements of $\mathbf{Z}^{2g}$. The correspondence is determined by the slopes of intersection of each Heegaard splitting with a collection of $2g$ incompressible tori in $M$. We also show that there are Seifert fibered spaces with infinitely many non-isotopic Heegaard splittings that determine Nielsen equivalent generating systems for the fundamental group of $M$.


Optimal control of impulsive Volterra equations with variable impulse times

Abstract: We obtain necessary conditions of optimality for impulsive Volterra integral equations with switching and impulsive controls, with variable impulse time-instants. The present work continues and complements our previous work on impulsive Volterra control with fixed impulse times.


Jumping numbers of hyperplane arrangements

Abstract: M. Saito recently proved that the jumping numbers of a hyperplane arrangement depend only on the combinatorics of the arrangement. However, a formula in terms of the combinatorial data was still missing. In this note, we give a formula and a different proof of the fact that the jumping numbers of a hyperplane arrangement depend only on the combinatorics. We also give a combinatorial formula for part of the Hodge spectrum and for the inner jumping multiplicities.


Residually free 3-manifolds

Abstract: We classify those compact 3-manifolds with incompressible toral boundary whose fundamental groups are residually free. For example, if such a manifold $M$ is prime and orientable and the fundamental group of $M$ is non-trivial then $M \cong \Sigma\times S^1$, where $\Sigma$ is a surface.


On the geography of threefolds of general type

Abstract: Let $X$ be a complex nonsingular projective 3-fold of general type. We show that there are positive constants $c$, $c'$ and $m_1$ such that $\chi (\omega _X)\geq -c\Vol (X)$ and $P_m(X)\geq c'm^3\Vol (X)$ for all $m\geq m_1$.


The totally nonnegative part of G/P is a CW complex

Abstract: The totally nonnegative part of a partial flag variety G/P has been shown by the first author to be a union of semi-algebraic cells. Moreover she showed that the closure of a cell is the union of smaller cells. In this note we provide glueing maps for each of the cells to prove that the totally nonnegative part of G/P is a CW complex. This generalizes a result of Postnikov, Speyer and the second author for Grassmannians.


Closed ideals in some algebras of analytic functions

Abstract: We obtain a complete description of closed ideals of the algebra $\mathcal{D}\cap \mathrm{lip}_\alpha},$ $0<\alpha\leq{1/2},$ where $\mathcal{D}$ is the Dirichlet space and $\mathrm{lip}_\alpha}$ is the algebra of analytic functions satisfying the Lipschitz condition of order $\alpha.$


Closed ideals in analytic weighted Lipschitz algebras

Abstract: We obtain a complete description of closed ideals in weighted Lipschitz algebras $\Lambda_\omega$ of analytic functions on the unit disk satisfying the following condition $$\frac{|f(z)-f(w)|}{\omega(|z-w|)}=o(1)\qquad(as |z-w| \longrightarrow 0),$$ where $\omega$ is a modulus of continuity satisfying some regularity conditions.


Review of "Garden of integrals"

Abstract: This is a review of the book "Garden of integrals" by Frank Burk.


Ideaux fermes d'algebres de Beurling analytiques sur le bidisque

Abstract: We study the closed ideal in the Beurling algebras $\mathcal{A}^{+}_{\alpha,\beta}$ of holomorphic function $f$ in the bidisc such that $\sum_{n,m\geq 0}|\hat{f}(n,m)|(1+n)^{\alpha}(1+m)^\beta<+\infty$. We determine the function $f\in\mathcal{A}^{+}_{\alpha,\beta}$ such that the ideals generated by $f$ coincide with the ideal generated by their zeros set.


Shimura curves of genus at most two

Abstract: In this article, we enumerate all Shimura curves X^D_0(N) of genus at most two.


Finiteness results for flat surfaces: large cusps and short geodesics

Abstract: For fixed g and T we show that finiteness of the set of affine equivalence classes of flat surfaces of genus g whose Veech groups contain a cusp of hyperbolic co-area less than T. We obtain new restrictions on Veech groups: we show that any non-elementary Veech group can appear only finitely many times in a fixed stratum, that any non-elementary Veech group is of finite index in its normalizer, and that the quotient of the upper half plane by a non-lattice Veech group contains arbitrarily large embedded disks. These are proved using the finiteness of the set of affine equivalence classes of flat surfaces of genus g whose Veech group contains a hyperbolic element with eigenvalue less than T.


Interpolation of Sobolev spaces, Littlewood-Paley inequalities and Riesz transforms on graphs

Abstract: Let $\Gamma$ be a graph endowed with a reversible Markov kernel $p$, and $P$ the associated operator, defined by $Pf(x)=\sum_y p(x,y)f(y)$. Denote by $\nabla$ the discrete gradient. We give necessary and/or sufficient conditions on $\Gamma$ in order to compare $\Vert \nabla f \Vert_{p}$ and $\Vert (I-P)^{1/2}f \Vert_{p}$ uniformly in $f$ for $1<p<+\infty$. These conditions are different for $p<2$ and $p>2$. The proofs rely on recent techniques developed to handle operators beyond the class of Calder\'on-Zygmund operators. For our purpose, we also prove Littlewood-Paley inequalities and interpolation results for Sobolev spaces in this context, which are of independent interest.


Regularity and non-emptyness of linear systems in $\mathbb P^n$

Abstract: The main goal of this paper is to present a new algorithm bounding the regularity and ``alpha'' (the lowest degree of existing hypersurface) of a linear system of hypersurfaces (in $\mathbb P^n$) passing through multiple points in general position. To do the above we formulate and prove new theorem, which allows to show non-specialty of linear system by splitting it into non-special (and simpler) systems. As a result we give new bounds for multiple point Seshadri constants on $\PP^2$.


Continuous local time of a purely atomic immigration superprocess with dependent spatial motion

Abstract: A purely atomic immigration superprocess with dependent spatial motion in the space of tempered measures is constructed as the unique strong solution of a stochastic integral equation driven by Poisson processes based on the excursion law of a Feller branching diffusion, which generalizes the work of Dawson and Li (2003). As an application of the stochastic equation, it is proved that the superprocess possesses a local time which is Holder continuous of order $\alpha$ for every $\alpha< 1/2$. We establish two scaling limit theorems for the immigration superprocess, from which we derive scaling limits for the corresponding local time.


Weak Solutions for Dislocation Type Equations

Abstract: We describe recent results obtained by G. Barles, P. Cardaliaguet, R. Monneau and the author recently. They are concerned with nonlocal Eikonal equations arising in the study of the dynamics of dislocation lines in crystals. These equations are nonlocal but also non monotone. We use a notion of weak solution to provide solutions for all time. Then, we discuss the link between these weak solutions and the classical viscosity solutions, and state some uniqueness results in particular cases. A counter-example to uniqueness is given.


Homogenization of monotone systems of Hamilton-Jacobi equations

Abstract: In this paper we study homogenization for a class of monotone systems of first-order time-dependent periodic Hamilton-Jacobi equations. We characterize the Hamiltonians of the limit problem by appropriate cell problems. Hence we show the uniform convergence of the solution of the oscillating systems to the bounded uniformly continuous solution of the homogenized system.


Stochastic equations of non-negative processes with jumps

Abstract: We study stochastic equations of non-negative processes with jumps. The existence and uniqueness of strong solutions are established under Lipschitz and non-Lipschitz conditions. The comparison property of two solutions are proved under suitable conditions. The results are applied to stochastic equations driven by one-sided Levy processes and those of continuous state branching processes with immigration.


Bernstein-Heinz-Chern results in calibrated manifolds

Abstract: Given $(\bar{M},\Omega)$ a calibrated Riemannian manifold with a parallel calibration of rank $m$, and $M^m$ an immersed orientable submanifold with parallel mean curvature $H$ we prove that if $\cos \theta$ is bounded away from zero, where $\theta$ is the $\Omega$-angle of $M$, and if $M$ has zero Cheeger constant, then $M$ is minimal. In the particular case $M$ is complete with $Ricc^M\geq 0$ we may replace the boundedness condition on $\cos \theta$ by $\cos \theta\geq Cr^{-\beta}$, when $r\to +\infty$, where $ 0\leq\beta <1 $ and $C > 0$ are constants and $r$ is the distance function to a point in $M$. Our proof is surprisingly simple and extends to a very large class of submanifolds in calibrated manifolds, in a unified way, the problem started by Heinz and Chern of estimating the mean curvature of graphic hypersurfaces in Euclidean spaces. It is based on a estimation of $\|H\|$ in terms of $\cos\theta$ and an isoperimetric inequality. We also give some conditions to conclude $M$ is totally geodesic. We study some particular cases.


Iteration of the rational function z-1/z and a Hausdorff moment sequence

Abstract: In a previous paper we considered a positive function f, uniquely determined for s>0 by the requirements f(1)=1, log(1/f) is convex and the functional equation f(s)=psi(f(s+1)) with psi(s)=s-1/s. We prove that the meromorphic extension of f to the whole complex plane is given by the formula f(z)=lim_{n\to\infty}psi^{\circ n}(lambda_n(lambda_{n+1}/lambda_n)^z), where the numbers lambda_n are defined by lambda_0=0 and the recursion lambda_{n+1}=(1/2)(lambda_n+sqrt{lambda_n^2+4}). The numbers m_n=1/lambda_{n+1} form a Hausdorff moment sequence of a probability measure \mu such that \int t^{z-1}d\mu(t)=1/f(z)


The curvature of contact structure on 3-manifolds

Abstract: We study the sectional curvature of plane distributions on 3-manifolds. We show that if the distribution is a contact structure it is easy to manipulate this curvature. As a corollary we obtain that for every transversally oriented contact structure on a closed 3-dimensional manifold $M$ there is a metric, such that the sectional curvature of the contact distribution is equal to -1. We also introduce the notion of Gaussian curvature of the plane distribution. For this notion of curvature we get the similar results.


Dimensions of triangulated categories via Koszul objects

Abstract: Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras.


The Topological Directional Entropy of Z^2-actions Generated by Linear Cellular Automata

Abstract: In this paper we study the topological and metric directional entropy of $\mathbb{Z}^2$-actions by generated additive cellular automata (CA hereafter), defined by a local rule $f[l, r]$, $l, r\in \mathbb{Z}$, $l\leq r$, i.e. the maps $T_{f[l, r]}: \mathbb{Z}^\mathbb{Z}_{m} \to \mathbb{Z}^\mathbb{Z}_{m}$ which are given by $T_{f[l, r]}(x) =(y_n)_ {-\infty}^{\infty}$, $y_{n} = f(x_{n+l}, ..., x_{n+r}) = \sum_{i=l}^r\lambda_{i}x_{i+n}(mod m)$, $x=(x_n)_ {n=-\infty}^{\infty}\in \mathbb{Z}^\mathbb{Z}_{m}$, and $f: \mathbb{Z}_{m}^{r-l+1}\to \mathbb{Z}_{m}$, over the ring $\mathbb{Z}_m (m \geq 2)$, and the shift map acting on compact metric space $\mathbb{Z}^\mathbb{Z}_{m}$, where $m$ $(m \geq2)$ is a positive integer. Our main aim is to give an algorithm for computing the topological directional entropy of the $\mathbb{Z}^2$-actions generated by the additive CA and the shift map. Thus, we ask to give a closed formula for the topological directional entropy of $\mathbb{Z}^2$-action generated by the pair $(T_{f[l, r]}, \sigma)$ in the direction $\theta$ that can be efficiently and rightly computed by means of the coefficients of the local rule f as similar to [Theor. Comput. Sci. 290 (2003) 1629-1646]. We generalize the results obtained by Ak\i n [The topological entropy of invertible cellular automata, J. Comput. Appl. Math. 213 (2) (2008) 501-508] to the topological entropy of any invertible linear CA.


Rational Equivariant Spectra

Abstract: We develop model categories of rational equivariant spectra whose homotopy categories are equivalent to the category of rational equivariant cohomology theories. We prove that given an orthogonal decomposition of the unit in the rational Burnside ring, the model category of rational equivariant spectra decomposes into a product of localisations. We use this result to reprove the classification of rational equivariant cohomology theories for finite groups and to study such cohomology theories for the group O(2). We then concentrate on a split piece of the O(2) case and relate it to rational SO(2) equivariant spectra.


Multiwell rigidity in nonlinear elasticity

Abstract: We derive a quantitative rigidity estimate for a multiwell problem in nonlinear elasticity. Precisely, we show that if a gradient field is L^1-close to a set of the form SO(n)U_1 \cup ... \cup SO(n)U_l, and an appropriate bound on the length of the interfaces holds, then the gradient field is actually close to only one of the wells SO(n)U_i. The estimate holds for any connected subdomain, and has the optimal scaling.


A geometrical approach to Gordan--Noether's and Franchetta's contributions to a question posed by Hesse

Abstract: Hesse claimed that an irreducible projective hypersurface in $\PP^n$ defined by an equation with vanishing hessian determinant is necessarily a cone. Gordan and Noether proved that this is true for $n\leq 3$ and constructed counterexamples for every $n\geq 4$. Gordan and Noether and Franchetta gave classification of hypersurfaces in $\PP^4$ with vanishing hessian and which are not cones. Here we translate in geometric terms Gordan and Noether approach, providing direct geometrical proofs of these results.


Regularity and Cohomological Splitting Conditions for Vector Bundles on Multiprojective Spaces

Abstract: Here we give a definition of regularity on multiprojective spaces which is different from the definitions of Hoffmann-Wang and Costa-Mir\'o Roig. By using this notion we prove some splitting criteria for vector bundles.


Differential operators for harmonic weak Maass forms and the vanishing of Hecke eigenvalues

Abstract: For integers $k\geq 2$, we study two differential operators on harmonic weak Maass forms of weight $2-k$. The operator $\xi_{2-k}$ (resp. $D^{k-1}$) defines a map to the space of weight $k$ cusp forms (resp. weakly holomorphic modular forms). We leverage these operators to study coefficients of harmonic weak Maass forms. Although generic harmonic weak Maass forms are expected to have transcendental coefficients, we show that those forms which are "dual" under $\xi_{2-k}$ to newforms with vanishing Hecke eigenvalues (such as CM forms) have algebraic coefficients. Using regularized inner products, we also characterize the image of $D^{k-1}$.


Least angle and $\ell_1$ penalized regression: A review

Abstract: Least Angle Regression is a promising technique for variable selection applications, offering a nice alternative to stepwise regression. It provides an explanation for the similar behavior of LASSO ($\ell_1$-penalized regression) and forward stagewise regression, and provides a fast implementation of both. The idea has caught on rapidly, and sparked a great deal of research interest. In this paper, we give an overview of Least Angle Regression and the current state of related research.


Existence of non-trivial harmonic functions on Cartan-Hadamard manifolds of unbounded curvature

Abstract: The Liouville property of a complete Riemannian manifold (i.e., the question whether there exist non-trivial bounded harmonic functions) attracted a lot of attention. For Cartan-Hadamard manifolds the role of lower curvature bounds is still an open problem. We discuss examples of Cartan-Hadamard manifolds of unbounded curvature where the limiting angle of Brownian motion degenerates to a single point on the sphere at infinity, but where nevertheless the space of bounded harmonic functions is as rich as in the non-degenerate case. To see the full boundary the point at infinity has to be blown up in a non-trivial way. Such examples indicate that the situation concerning the famous conjecture of Greene and Wu about existence of non-trivial bounded harmonic functions on Cartan-Hadamard manifolds is much more complicated than one might have expected.


Actions of vanishing homogeneity rank on quaternionic-Kaehler projective spaces

Abstract: We classify isometric actions of compact Lie groups on quaternionic-K\"ahler projective spaces with vanishing homogeneity rank. We also show that they are not in general quaternion-coisotropic.


Branching Laws for Some Unitary Representations of SL(4,R)

Abstract: In this paper we consider the restriction of a unitary irreducible representation of type $A_{\mathfrak q}(\lambda)$ of $GL(4,{\mathbb R})$ to reductive subgroups $H$ which are the fixpoint sets of an involution. We obtain a formula for the restriction to the symplectic group and to $GL(2,{\mathbb C})$, and as an application we construct in the last section some representations in the cuspidal spectrum of the symplectic and the complex general linear group. In addition to working directly with the cohmologically induced module to obtain the branching law, we also introduce the useful concept of pseudo dual pairs of subgroups in a reductive Lie group.


Minimal classes on the intermediate Jacobian of a generic cubic threefold

Abstract: Let X be a smooth cubic threefold. We can associate two objects to X: the intermediate Jacobian J and the Fano surface F parametrising lines on X. By a theorem of Clemens and Griffiths, the Fano surface can be embedded in the intermediate Jacobian and the cohomology class of its image is minimal. In this paper we show that if X is generic, the Fano surface is the only surface of minimal class in J.


Computing Hilbert Class Polynomials

Abstract: We present and analyze two algorithms for computing the Hilbert class polynomial $H_D$ . The first is a p-adic lifting algorithm for inert primes p in the order of discriminant D < 0. The second is an improved Chinese remainder algorithm which uses the class group action on CM-curves over finite fields. Our run time analysis gives tighter bounds for the complexity of all known algorithms for computing $H_D$, and we show that all methods have comparable run times.


A Unified Theory on Some Basic Topological Concepts

Abstract: Several mathematicians, including myself, have studied some unifications in general topological spaces as well as in fuzzy topological spaces. For instance in our earlier works, using operations on topological spaces, we have tried to unify some concepts similar to continuity, openness, closedness of functions, compactness, filter convergence, closedness of graphs, countable compactness and Lindelof property. In this article, to obtain further unifications, we will study $\phi_{1,2}$-compactness and relations between $\phi_{1,2}$-compactness, filters and $\phi_{1,2}$% -closure operator.


On the structure of Hardy-Sobolev-Maz'ya inequalities

Abstract: In this article we establish new improvements of the optimal Hardy inequality in the half space. We first add all possible linear combinations of Hardy type terms thus revealing the structure of this type of inequalities and obtaining best constants. We then add the critical Sobolev term and obtain necessary and sufficient conditions for the validity of Hardy-Sobolev-Maz'ya type inequalities.


Image Deconvolution Under Poisson Noise Using Sparse Representations and Proximal Thresholding Iteration

Abstract: We propose an image deconvolution algorithm when the data is contaminated by Poisson noise. The image to restore is assumed to be sparsely represented in a dictionary of waveforms such as the wavelet or curvelet transform. Our key innovations are: First, we handle the Poisson noise properly by using the Anscombe variance stabilizing transform leading to a non-linear degradation equation with additive Gaussian noise. Second, the deconvolution problem is formulated as the minimization of a convex functional with a data-fidelity term reflecting the noise properties, and a non-smooth sparsity-promoting penalties over the image representation coefficients (e.g. l1-norm). Third, a fast iterative backward-forward splitting algorithm is proposed to solve the minimization problem. We derive existence and uniqueness conditions of the solution, and establish convergence of the iterative algorithm. Experimental results are carried out to show the striking benefits gained from taking into account the Poisson statistics of the noise. These results also suggest that using sparse-domain regularization may be tractable in many deconvolution applications, e.g. astronomy or microscopy.


Explicit a priori bounds on transfer operator eigenvalues

Abstract: We provide explicit bounds on the eigenvalues of transfer operators defined in terms of holomorphic data.


Topological 4-manifolds with geometrically 2-dimensional fundamental groups

Abstract: Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed oriented 4-manifolds with solvable Baumslag-Solitar fundamental groups, including a precise realization result.


Quasi-coherent sheaves on the moduli stack of formal groups

Abstract: The central aim of this monograph is to provide decomposition results for quasi-coherent sheaves on the moduli stack of one-dimensional formal groups. These results will be based on the geometry of the stack itself, particularly the height filtration and an analysis of the formal neighborhoods of the geometric points. The main theorems are algebraic chromatic convergence results and fracture square decompositions. There is a major technical hurdle in this story, as the moduli stack of formal groups does not have the finitness properties required of an algebraic stack as usually defined. This is not a conceptual problem, but in order to be clear on this point and to write down a self-contained narrative, I have included a great deal of discussion of the geometry of the stack itself, giving various equivalent descriptions.


Quotient groups of the fundamental groups of certain strata of the moduli space of quadratic differentials

Abstract: In this paper, we study fundamental groups of strata of the moduli space of quadratic differentials. We use certain properties of the Abel-Jacobi map, combined with local surgeries on quadratic differentials, to construct quotient groups of the fundamental groups for a particular family of strata.


The Adams-Novikov Spectral Sequence and the Homotopy Groups of Spheres

Abstract: These are notes for a five lecture series intended to uncover large-scale phenomena in the homotopy groups of spheres using the Adams-Novikov Spectral Sequence. The lectures were given in Strasbourg, May 7-11, 2007.


Calculations of Sobol indices for the Gaussian process metamodel

Abstract: Global sensitivity analysis of complex numerical models can be performed by calculating variance-based importance measures of the input variables, such as the Sobol indices. However, these techniques, requiring a large number of model evaluations, are often unacceptable for time expensive computer codes. A well known and widely used decision consists in replacing the computer code by a metamodel, predicting the model responses with a negligible computation time and rending straightforward the estimation of Sobol indices. In this paper, we discuss about the Gaussian process model which gives analytical expressions of Sobol indices. Two approaches are studied to compute the Sobol indices: the first based on the predictor of the Gaussian process model and the second based on the global stochastic process model. Comparisons between the two estimates, made on analytical examples, show the superiority of the second approach in terms of convergence and robustness. Moreover, the second approach allows to integrate the modeling error of the Gaussian process model by directly giving some confidence intervals on the Sobol indices. These techniques are finally applied to a real case of hydrogeological modeling.


Global sensitivity analysis of computer models with functional inputs

Abstract: Global sensitivity analysis is used to quantify the influence of uncertain input parameters on the response variability of a numerical model. The common quantitative methods are applicable to computer codes with scalar input variables. This paper aims to illustrate different variance-based sensitivity analysis techniques, based on the so-called Sobol indices, when some input variables are functional, such as stochastic processes or random spatial fields. In this work, we focus on large cpu time computer codes which need a preliminary meta-modeling step before performing the sensitivity analysis. We propose the use of the joint modeling approach, i.e., modeling simultaneously the mean and the dispersion of the code outputs using two interlinked Generalized Linear Models (GLM) or Generalized Additive Models (GAM). The ``mean'' model allows to estimate the sensitivity indices of each scalar input variables, while the ``dispersion'' model allows to derive the total sensitivity index of the functional input variables. The proposed approach is compared to some classical SA methodologies on an analytical function. Lastly, the proposed methodology is applied to a concrete industrial computer code that simulates the nuclear fuel irradiation.


On the distribution of the free path length of the linear flow in a honeycomb

Abstract: Let $\ell \geq 2$ be an integer. For each $\eps >0$ remove from $\R^2$ the union of discs of radius $\eps$ centered at the integer lattice points $(m,n$, with $m\nequiv n\mod{\ell}$. Consider a point-like particle moving linearly at unit speed, with velocity $\omega$, along a trajectory starting at the origin, and its free path length $\tau_{\ell,\eps} (\omega)\in [0,\infty]$. We prove the weak convergence of the probability measures associated with the random variables $\eps \tau_{\ell,\eps}$ as $\eps \to 0^+$ and explicitly compute the limiting distribution. For $\ell=3$ this leads to an asymptotic formula for the length of the trajectory of a billiard in a regular hexagon, starting at the center, with circular pockets of radius $\eps\to 0^+$ removed from the corners. For $\ell=2$ this corresponds to the trajectory of a billiard in a unit square with circular pockets removed from the corners and trajectory starting at the center of the square. The limiting probability measures on $[0,\infty)$ have a tail at infinity, which contrasts with the case of a square with pockets and trajectory starting from one of the corners, where the limiting probability measure has compact support.


Regularity on abelian varieties III: relationship with Generic Vanishing and applications

Abstract: We describe the relationship between the notions of $M$-regular sheaf and $GV$-sheaf in the case of abelian varieties. The former is a natural strengthening of the latter, and we provide an algebraic criterion characterizing it among the larger class. Based on this we deduce new basic properties of both $M$-regular and $GV$-sheaves. In the second part we give a number of applications of generation criteria for $M$-regular sheaves to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles. This second part of the paper is based on our earlier preprint math.AG/0306103, with some improved statements and shortened arguments.


Reduction principles for quantile and Bahadur-Kiefer processes of long-range dependent linear sequences

Abstract: In this paper we consider quantile and Bahadur-Kiefer processes for long range dependent linear sequences. These processes, unlike in previous studies, are considered on the whole interval $(0,1)$. As it is well-known, quantile processes can have very erratic behavior on the tails. We overcome this problem by considering these processes with appropriate weight functions. In this way we conclude strong approximations that yield some remarkable phenomena that are not shared with i.i.d. sequences, including weak convergence of the Bahadur-Kiefer processes, a different pointwise behavior of the general and uniform Bahadur-Kiefer processes, and a somewhat "strange" behavior of the general quantile process.


The lollipop graph is determined by its spectrum

Abstract: An even (resp. odd) lollipop is the coalescence of a cycle of even (resp. odd) length and a path with pendant vertex as distinguished vertex. It is known that the odd lollipop is determined by its spectrum and the question is asked by W. Haemers, X. Liu and Y. Zhang for the even lollipop. We revisit the proof for odd lollipop, generalize it for even lollipop and therefore answer the question. Our proof is essentially based on a method of counting closed walks.


Constructing dynamical twists over a non-abelian base

Abstract: We give examples of dynamical twists in finite-dimensional Hopf algebras over an arbitrary Hopf subalgebra. The construction is based on the categorical approach of dynamical twists introduced by Donin and Mudrov.


Equivariant cohomology and tensor categories

Abstract: We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of results in equivariant cohomology, including the Chern-Weil theorem for an arbitrary rigid Lie algebra object. For a quadratic Lie algebra object we obtain a proof of the Duflo isomorphism along the lines of Alekseev-Meinrenken, thereby generalizing their result to Lie superalgebras.


Well-posedness and ill-posedness results for dissipative Benjamin-Ono equations

Abstract: We study the Cauchy problem for the dissipative Benjamin-Ono equations $u_t+\H u_{xx}+|D|^\alpha u+uu_x=0$ with $0\leq\alpha\leq 2$. When $0\leq\alpha< 1$, we show the ill-posedness in $H^s(\R)$, $s\in\R$, in the sense that the flow map $u_0\mapsto u$ (if it exists) fails to be $\C^2$ at the origin. For $1<\alpha\leq 2$, we prove the global well-posedness in $H^s(\R)$, $s>-\alpha/4$. It turns out that this index is optimal.


Finite size scaling for homogeneous pinning models

Abstract: Pinning models are built from discrete renewal sequences by rewarding (or penalizing) the trajectories according to their number of renewal epochs up to time $N$, and $N$ is then sent to infinity. They are statistical mechanics models to which a lot of attention has been paid both because they are very relevant for applications and because of their {\sl exactly solvable character}, while displaying a non-trivial phase transition (in fact, a localization transition). The order of the transition depends on the tail of the inter-arrival law of the underlying renewal and the transition is continuous when such a tail is sufficiently heavy: this is the case on which we will focus. The main purpose of this work is to give a mathematical treatment of the {\sl finite size scaling limit} of pinning models, namely studying the limit (in law) of the process close to criticality when the system size is proportional to the correlation length.


Testing additivity in nonparametric regression under random censorship

Abstract: In this paper, we are concerned with nonparametric estimation of the multivariate regression function in the presence of right censored data. More precisely, we propose a statistic that is shown to be asymptotically normally distributed under the additive assumption, and that could be used to test for additivity in the censored regression setting.


Halphen pencils on quartic threefolds

Abstract: For every smooth quartic threefold, we classify all pencils on it whose general element is an irreducible surface birational to a smooth surface of Kodaira dimension zero.


Two universal 3-quantifier representations of recursively enumerable sets

Abstract: It is proved that all recursively enumerable sets of natural numbers can be represented by arithmetic formulas (of two kinds) with only 3 quantifiers.


Lefschetz Properties and Basic Constructions on Simplicial Spheres

Abstract: The well known $g$-conjecture for homology spheres follows from the stronger conjecture that the face ring over the reals of a homology sphere, modulo a linear system of parameters, admits the strong-Lefschetz property. We prove that the strong-Lefschetz property is preserved under the following constructions on homology spheres: join, connected sum, and stellar subdivisions. The last construction is a step towards proving the $g$-conjecture for piecewise-linear spheres.


On Ueno's Conjecture K

Abstract: We show that if $X$ is a smooth complex projective variety with Kodaira dimension $0$ then the Kodaira dimension of a general fiber of its Albanese map is at most $h^0(\Omega ^1 _X)$.


A Few Splitting Criteria for Vector Bundles

Abstract: We prove a few splitting criteria for vector bundles on a quadric hypersurface and Grassmannians. We give also some cohomological splitting conditions for rank 2 bundles on multiprojective spaces. The tools are monads and a Beilinson's type spectral sequence generalized by Costa and Mir\'o-Roig.


Affine tangles and irreducible exotic sheaves

Abstract: We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element of $sl_{2n}$ with two equal Jordan blocks. This representation allows us to enumerate the irreducible objects in the heart of the exotic $t$-structure on ${\mathcal D}_{2n}$ by crossingless matchings of $2n$ points on a circle. We also describe the algebra of endomorphisms of the direct sum of the irreducible objects.


A note on closed 3-braids

Abstract: Knots and links which are closed 3-braids are a very special class. Like 2-bridge knots and links, they are simple enough to admit a complete classification. At the same time they are rich enough to serve as a source of examples on which, with luck, a researcher may be able to test various conjectures. The goal of this review article is to gather together, in one place, some of the tools that are special to knots and links of braid index 3, in a form that could be useful for those who have a need to calculate, and need to know precisely all the exceptional cases. We also use it as an opportunity to review what is known and suggest some open questions.


Surfaces obtained from CP^(N-1) sigma models

Abstract: In this paper, the Weierstrass technique for harmonic maps S^2 -> CP^(N-1) is employed in order to obtain surfaces immersed in multidimensional Euclidean spaces. It is shown that if the CP^(N-1) model equations are defined on the sphere S^2 and the associated action functional of this model is finite, then the generalized Weierstrass formula for immersion describes conformally parametrized surfaces in the su(N) algebra. In particular, for any holomorphic or antiholomorphic solution of this model the associated surface can be expressed in terms of an orthogonal projector of rank (N-1). The implementation of this method is presented for two-dimensional conformally parametrized surfaces immersed in the su(3) algebra. The usefulness of the proposed approach is illustrated with examples, including the dilation-invariant meron-type solutions and the Veronese solutions for the CP^2 model. Depending on the location of the critical points (zeros and poles) of the first fundamental form associated with the meron solution, it is shown that the associated surfaces are semi-infinite cylinders. It is also demonstrated that surfaces related to holomorphic and mixed Veronese solutions are immersed in R^8 and R^3, respectively.


$p$-Adic multiresolution analysis and wavelet frames

Abstract: We study $p$-adic multiresolution analyses (MRAs). A complete characterisation of test functions generating MRAs (scaling functions) is given. We prove that only 1-periodic test functions may be taken as orthogonal scaling functions. We also suggest a method for the construction of wavelet functions and prove that any wavelet function generates a $p$-adic wavelet frame.


Ahlfors' currents in higher dimension

Abstract: We consider a nondegenerate holomorphic map $f: V \mapsto X$ where $(X, \omega)$ is a compact hermitian manifold of dimension higher or equal to $k$ and $V$ is an open connected complex manifold of dimension $k$. In this article we give criteria which permit to construct Ahlfors' currents in $X$.


On the Y555 complex reflection group

Abstract: We give a computer-free proof of a theorem of Basak, describing the group generated by 16 complex reflections of order 3, satisfying the braid and commutation relations of the Y555 diagram. The group is the full isometry group of a certain lattice of signature (13,1) over the Eisenstein integers Z[cube root of 1]. Along the way we enumerate the cusps of this lattice and classify the root and Niemeier lattices over this ring.


The Gram determinant of the type B Temperley-Lieb algebra

Abstract: In this paper, we solve a problem posed by Rodica Simion regarding type B Gram determinants. We present this in a fashion influenced by the work of W.B.R.Lickorish on Witten-Reshetikhin-Turaev invariants of 3-manifolds. The roots of the determinant were predicted by Dabkowski and Przytycki, and the complete factorization was conjectured by Gefry Barad. We will give a detailed history of this problem in a sequel paper in which we also plan to address other related questions by Simion, and connect the problem to Frenkel-Khovanov's work.


Auslander Bounds and Homological Conjectures

Abstract: Inspired by recent works on rings satisfying Auslander's conjecture, we study invariants, which we call Auslander bounds, and prove that they have strong relations to some homological conjectures.


Carter subgroups of finite groups

Abstract: In the paper it is proven that Carter subgroups of a finite group are conjugate. A complete classification of Carter subgroups in finite almost simple groups is also obtained.


Properties of element orders in covers for L(n,q) and U(n,q)

Abstract: We show that if a finite simple group G isomorphic to PSL(n,q) or PSU(n,q), where either $n\ne 4$, or q is prime or even, acts on a vector space over a field of the defining characteristic of G, then the corresponding semidirect product contains an element whose order is distinct from every element order of G. As a consequence, we prove that the group PSL(n,q), where $n\ne 4$ or q prime or even, is recognizable by spectrum from its covers thus giving a partial positive answer to Problem 14.60 from the Kourovka notebook.


The structure of a tridiagonal pair

Abstract: Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\{V_i\}_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_i + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\{V^*_i\}_{i=0}^\delta$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_i + V^*_{i+1}$ for $0 \leq i \leq \delta$, where $V^*_{-1}=0$ and $V^*_{\delta+1}=0$; (iv)there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a tridiagonal pair on $V$. It is known that $d=\delta$ and for $0 \leq i \leq d$ the dimensions of $V_i, V_{d-i}, V^*_i, V^*_{d-i}$ coincide. In this paper we show that the following (i)--(iv) hold provided that $K$ is algebraically closed: (i) Each of $V_0$, $V^*_0$, $V_d$, $V^*_d$ has dimension 1. (ii) There exists a nondegenerate symmetric bilinear form $(,)$ on $V$ such that $(Au,v)=(u,Av)$ and $(A^*u,v)=(u,A^*v)$ for all $u,v \in V$. (iii) There exists a unique anti-automorphism of $End(V)$ that fixes each of $A,A^*$. (iv) The pair $A,A^*$ is determined up to isomorphism by the data $(\{\th_i\}_{i=0}^d; \{\th^*_i\}_{i=0}^d; \{\zeta_i\}_{i=0}^d)$, where $\th_i$ (resp. $\th^*_i$) is the eigenvalue of $A$ (resp. $A^*$) on $V_i$ (resp. $V^*_i$), and $\{\zeta_i\}_{i=0}^d$ is the split sequence of $A,A^*$ corresponding to $\{\th_i\}_{i=0}^d$ and $\{\th^*_i\}_{i=0}^d$.


An efficient methodology for modeling complex computer codes with Gaussian processes

Abstract: Complex computer codes are often too time expensive to be directly used to perform uncertainty propagation studies, global sensitivity analysis or to solve optimization problems. A well known and widely used method to circumvent this inconvenience consists in replacing the complex computer code by a reduced model, called a metamodel, or a response surface that represents the computer code and requires acceptable calculation time. One particular class of metamodels is studied: the Gaussian process model that is characterized by its mean and covariance functions. A specific estimation procedure is developed to adjust a Gaussian process model in complex cases (non linear relations, highly dispersed or discontinuous output, high dimensional input, inadequate sampling designs, ...). The efficiency of this algorithm is compared to the efficiency of other existing algorithms on an analytical test case. The proposed methodology is also illustrated for the case of a complex hydrogeological computer code, simulating radionuclide transport in groundwater.


On doubly stochastic quadratic operators and Birkhoff's problem

Abstract: In the present paper we introduce a concept of doubly stochastic quadratic operator. We prove necessary and sufficient conditions for doubly stochasticity of operator. Besides, we prove that the set of all doubly stochastic operators forms convex polytope. Finally, we study analogue of Birkhoff's theorem for the class of doubly stochastic quadratic operators.


Ising Problem on Simple Cubic Lattice

Abstract: Simple cubic lattice (SC lattice) can be viewed as plane triangular lattice (PT lattice) by viewing it along its principle diagonal lines. By viewing thus we establish the exact one-to-one correspondence between the closed graphs on SC lattice and the corresponding closed graphs on PT lattice. We thus see that the propagator for PT lattice (with suitable modifications) can be used to solve, at least in principle, the 3D Ising problem for SC lattice in the absence of external magnetic field. A new method is then proposed to generate high temperature expansion for the partition function. This method is applicable to 2D as well as 3D lattices. This method does not require explicit counting of closed graphs and this counting is achieved in an indirect way and thus exact series expansion can be achieved up to any sufficiently large order.


Testing polynomial covariate effects in linear and generalized linear mixed models

Abstract: An important feature of linear mixed models and generalized linear mixed models is that the conditional mean of the response given the random effects, after transformed by a link function, is linearly related to the fixed covariate effects and random effects. Therefore, it is of practical importance to test the adequacy of this assumption, particularly the assumption of linear covariate effects. In this paper, we review procedures that can be used for testing polynomial covariate effects in these popular models. Specifically, four types of hypothesis testing approaches are reviewed, i.e. R tests, likelihood ratio tests, score tests and residual-based tests. Derivation and performance of each testing procedure will be discussed, including a small simulation study for comparing the likelihood ratio tests with the score tests.


Extremal orders of compositions of certain arithmetical functions

Abstract: We study the exact extremal orders of compositions $f(g(n))$ of certain arithmetical functions, including the functions $\sigma(n)$, $\phi(n)$, $\sigma^*(n)$ and $\phi^*(n)$, representing the sum of divisors of $n$, Euler's function and their unitary analogues, respectively. Our results complete, generalize and refine known results.


Abstract: A projectional skeleton in a Banach space is a sigma-directed family of projections onto separable subspaces, covering the entire space. The class of Banach spaces with projectional skeletons is strictly larger than the class of Plichko spaces (i.e. Banach spaces with a countably norming Markushevich basis). We show that every space with a projectional skeleton has a projectional resolution of the identity and has a norming space with similar properties to Sigma-spaces. We characterize the existence of a projectional skeleton in terms of elementary substructures, providing simple proofs of known results concerning weakly compactly generated spaces and Plichko spaces. We prove a preservation result for Plichko Banach spaces, involving transfinite sequences of projections. As a corollary, we show that a Banach space is Plichko if and only if it has a commutative projectional skeleton.


Exponential decay phenomenon of the principal eigenvalue of an elliptic operator with a large drift term of gradient type

Abstract: We study an asymptotic behaviour of the principal eigenvalue for an elliptic operator with large advection which is given by a gradient of a potential function. It is shown that the principal eigenvalue decays exponentially under the velocity potential well condition as the parameter tends to infinity.


Bornes pour la r\'egularit\'e de Castelnuovo-Mumford des sch\'emas non lisses

Abstract: We show that bounds on the Castelnuovo-Mumford regularity of singular schemes, as a function of the degrees of the equations defining the shceme, of its dimension and of the dimension of their singular space. In the case where the singularities are isolated, we improve the bound given by Chardin and Ulrich, and in the general case we establish a bound doubly exponential in the dimension of the singular space. -- Nous montrons dans cet article des bornes pour la regularite de Castelnuovo-Mumford d'un schema admettant des singularites, en fonction des degres des equations definissant le schema, de sa dimension et de la dimension de son lieu singulier. Dans le cas ou les singularites sont isolees, nous ameliorons la borne fournie par Chardin et Ulrich et dans le cas general, nous etablissons une borne doublement exponentielle en la dimension du lieu singulier.


On Riemannian almost product manifolds with nonintegrable structure

Abstract: The class of the Riemannian almost product manifolds with nonintegrable structure is considered. Some identities for curvature tensor as certain invariant tensors and quantities are obtained.


Spectra of weighted algebras of holomorphic functions

Abstract: We consider weighted algebras of holomorphic functions on a Banach space. We determine conditions on a family of weights that assure that the corresponding weighted space is an algebra or has polynomial Schauder decompositions. We study the spectra of weighted algebras and endow them with an analytic structure. We also deal with composition operators and algebra homomorphisms, in particular to investigate how their induced mappings act on the analytic structure of the spectrum. Moreover, a Banach-Stone type question is addressed.


Non maximal cyclically monotone graphs and construction of a bipotential for the Coulomb's dry friction law

Abstract: We show a surprising connexion between a property of the inf convolution of a family of convex lower semicontinuous functions and the fact that the intersection of maximal cyclically monotone graphs is the critical set of a bipotential. We then extend the results from arXiv:math/0608424v4 to bipotentials convex covers, generalizing the notion of a bi-implicitly convex lagrangian cover. As an application we prove that the bipotential related to Coulomb's friction law is related to a specific bipotential convex cover with the property that any graph of the cover is non maximal cyclically monotone.


On Hunting for Taxicab Numbers

Abstract: In this article, we make use of some known method to investigate some properties of the numbers represented as sums of two equal odd powers, i.e., the equation $x^n+y^n=N$ for $n\ge3$. It was originated in developing algorithms to search new taxicab numbers (i.e., naturals that can be represented as a sum of positive cubes in many different ways) and to verify their minimality. We discuss properties of diophantine equations that can be used for our investigations. This techniques is applied to develop an algorithm allowing us to compute new taxicab numbers (i.e., numbers represented as sums of two positive cubes in $k$ different ways), for $k=7...14$.


Hiding a drift

Abstract: In this article we consider a Brownian motion with drift of the form \[dS_t=\mu_t dt+dB_t\qquadfor t\ge0,\] with a specific nontrivial $(\mu_t)_{t\geq0}$, predictable with respect to $\mathbb{F}^B$, the natural filtration of the Brownian motion $B=(B_t)_{t\ge0}$. We construct a process $H=(H_t)_{t\ge0}$, also predictable with respect to $\mathbb{F}^B$, such that $((H\cdot S)_t)_{t\ge 0}$ is a Brownian motion in its own filtration. Furthermore, for any $\delta>0$, we refine this construction such that the drift $(\mu_t)_{t\ge0}$ only takes values in $]\mu-\delta,\mu+\delta[$, for fixed $\mu>0$.


Pfister's Theorem for orthogonal involutions of degree 12

Abstract: We use the fact that a projective half-spin representation of $Spin_{12}$ has an open orbit to generalize Pfister's result on quadratic forms of dimension 12 in $I^3$ to orthogonal involutions.


Finite type coarse expanding conformal dynamics

Abstract: We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded distortion, there are only finitely many iterates. We show that subhyperbolic rational maps and finite subdivision rules (in the sense of Cannon, Floyd, Kenyon, and Parry) with bounded valence and mesh going to zero are of finite type. In addition, we show that the limit dynamical system associated to a selfsimilar, contracting, recurrent, level-transitive group action (in the sense of V. Nekrashevych) is of finite type. The proof makes essential use of an analog of the finiteness of cone types property enjoyed by hyperbolic groups.


First derivatives estimates for finite-difference schemes

Abstract: We give sufficient conditions under which solutions of discretized in space second-order parabolic and elliptic equations, perhaps degenerate, admit estimates of the first derivatives in the space variables independent of the mesh size.