Exact Solution of the Six‐Vertex Model with Domain Wall Boundary Conditions: Antiferroelectric Phase

We obtain the large‐n asymptotics of the partition function Z_n of the six‐vertex model with domain wall boundary conditions in the antiferroelectric phase region, with the weights a = sinh(γ ? t), b = sinh(γ + t), c = sinh(2γ), |t| < γ. We prove the conjecture of Zinn‐Justin, that as n → ∞, Z_n = C?₄(nω)F [1 + O(n^?1)], where ω and F are given by explicit expressions in γ and t, and ?₄(z) is the Jacobi theta function. The proof is based on the Riemann‐Hilbert approach to the large‐n asymptotic expansion of the underlying discrete orthogonal polynomials and on the Deift‐Zhou nonlinear steepest‐descent method. © 2009 Wiley Periodicals, Inc.     

Transfer theorems and asymptotic distributional results for m‐ary search trees

We derive asymptotics of moments and identify limiting distributions, under the random permutation model on m‐ary search trees, for functionals that satisfy recurrence relations of a simple additive form. Many important functionals including the space requirement, internal path length, and the so‐called shape functional fall under this framework. The approach is based on establishing transfer theorems that link the order of growth of the input into a particular (deterministic) recurrence to the order of growth of the output. The transfer theorems are used in conjunction with the method of moments to establish limit laws. It is shown that: (i) for small toll sequences (t_n) [roughly, t_n = O(n^1/2)] we have asymptotic normality if m ≤ 26 and typically periodic behavior if m ≥ 27; (ii) for moderate toll sequences [roughly, t_n = ω(n^1/2) but t_n = o(n)] we have convergence to nonnormal distributions if m ≤ m₀ (where m₀ ≥ 26) and typically periodic behavior if m ≥ m₀ + 1; and (iii) for large toll sequences [roughly, t_n = ω(n)] we have convergence to nonnormal distributions for all values of m. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2005     

Higher order multi‐point boundary value problems

We consider the boundary value problem where n ? 2 and m ? 1 are integers, t_j ∈ [0, 1] for j = 1, …, m, and f and g_i, i = 0, …, n ? 1, are continuous. We obtain sufficient conditions for the existence of a solution of the above problem based on the existence of lower and upper solutions. Explicit conditions are also found for the existence of a solution of the problem. The differential equation has dependence on all lower order derivatives of the unknown function, and the boundary conditions cover many multi‐point boundary conditions studied in the literature. Schauder’s fixed point theorem and appropriate Nagumo conditions are employed in the analysis. Examples are given to illustrate the results. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Asymptotic analysis of solutions to parabolic systems

We study asymptotics as t → ∞ of solutions to a linear, parabolic system of equations with time‐dependent coefficients in Ω × (0, ∞), where Ω is a bounded domain. On ? Ω × (0, ∞) we prescribe the homogeneous Dirichlet boundary condition. For large values of t, the coefficients in the elliptic part are close to time‐independent coefficients in an integral sense which is described by a certain function κ (t). This includes in particular situations when the coefficients may take different values on different parts of Ω and the boundaries between them can move with t but stabilize as t → ∞. The main result is an asymptotic representation of solutions for large t. As a corollary, it is proved that if κ ∈ L¹(0, ∞), then the solution behaves asymptotically as the solution to a parabolic system with time‐independent coefficients (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

CO‐irredundant Ramsey numbers for graphs

The study of the CO‐irredundant Ramsey numbers t(n₁, ···, n_k) is initiated. It is shown that several values and bounds for these numbers may be obtained from the well‐studied generalized graph Ramsey numbers and the values of t(4, 5), t(4, 6) and t(3, 3, m) are calculated. © 2000 John Wiley & Sons, Inc. J Graph Theory 34: 258–268, 2000     

Partial Fourier approximation of the Lamé equations in axisymmetric domains

In this paper, we study the partial Fourier method for treating the Lamé equations in three‐dimensional axisymmetric domains subjected to non‐axisymmetric loads. We consider the mixed boundary value problem of the linear theory of elasticity with the displacement û , the body force f̂ ϵ (L₂)³ and homogeneous Dirichlet and Neumann boundary conditions. The partial Fourier decomposition reduces, without any error, the three‐dimensional boundary value problem to an infinite sequence of two‐dimensional boundary value problems, whose solutions û _n (n = 0, 1, 2,…) are the Fourier coefficients of û . This process of dimension reduction is described, and appropriate function spaces are given to characterize the reduced problems in two dimensions. The trace properties of these spaces on the rotational axis and some properties of the Fourier coefficients û _n are proved, which are important for further numerical treatment, e.g. by the finite‐element method. Moreover, generalized completeness relations are described for the variational equation, the stresses and the strains. The properties of the resulting system of two‐dimensional problems are characterized. Particularly, a priori estimates of the Fourier coefficients û _n and of the error of the partial Fourier approximation are given. Copyright © 1999 John Wiley & Sons, Ltd.     

Dyson's nonintersecting Brownian motions with a few outliers

Consider n nonintersecting Brownian particles on ? (Dyson Brownian motions), all starting from the origin at time t = 0 and forced to return to x = 0 at time t = 1. For large n, the average mean density of particles has its support, for each 0 < t < 1, on the interval ±√2nt(1 ? t). The Airy process ??(τ) is defined as the motion of these nonintersecting Brownian motions for large n but viewed from the curve ?? : y = √2nt(1 ? t) with an appropriate space‐time rescaling. Assume now a finite number r of these particles are forced to a different target point, say a = ρ₀√n/2 > 0. Does it affect the Brownian fluctuations along the curve ?? for large n? In this paper, we show that no new process appears as long as one considers points (y, t) ∈ ?? such that 0 < t < (1 + ρ)^?1, which is the t‐coordinate of the point of tangency of the tangent to the curve passing through (ρ₀√n/2, 1). At this point the fluctuations obey a new statistics, which we call the Airy process with r outliers ??^(r)(τ) (in short, r‐Airy process). The log of the probability that at time τ the cloud does not exceed x is given by the Fredholm determinant of a new kernel (extending the Airy kernel), and it satisfies a nonlinear PDE in x and τ, from which the asymptotic behavior of the process can be deduced for τ → ?∞. This kernel is closely related to one found by Baik, Ben Arous, and Péché in the context of multivariate statistics. © 2008 Wiley Periodicals, Inc.     

Total domination in 2‐connected graphs and in graphs with no induced 6‐cycles

A set S of vertices in a graph G is a total dominating set of G if every vertex of G is adjacent to some vertex in S. The minimum cardinality of a total dominating set of G is the total domination number γ_t(G) of G. It is known [J Graph Theory 35 (2000), 21–45] that if G is a connected graph of order n > 10 with minimum degree at least 2, then γ_t(G) ≤ 4n/7 and the (infinite family of) graphs of large order that achieve equality in this bound are characterized. In this article, we improve this upper bound of 4n/7 for 2‐connected graphs, as well as for connected graphs with no induced 6‐cycle. We prove that if G is a 2‐connected graph of order n > 18, then γ_t(G) ≤ 6n/11. Our proof is an interplay between graph theory and transversals in hypergraphs. We also prove that if G is a connected graph of order n > 18 with minimum degree at least 2 and no induced 6‐cycle, then γ_t(G) ≤ 6n/11. Both bounds are shown to be sharp. © 2008 Wiley Periodicals, Inc. J Graph Theory 60: 55–79, 2009     

On the Paper "Asymptotics for the Moments of Singular Distributions"

In their 1993 paper, W. Goh and J. Wimp derive interesting asymptotics for the moments c_n(α) ≡ c_n = ∫¹₀tⁿdα(t), N = 0, 1, 2, ..., of some singular distributions α (with support [0, 1]), which contain oscillatory terms. They suspect, that this is a general feature of singular distributions and that this behavior provides a striking contrast with what happens for absolutely continuous distributions. In the present note, however, we give an example of an absolutely continuous measure with asymptotics of moments containing oscillatory terms, and an example of a singular measure having very regular asymptotic behavior of its moments. Finally, we give a short proof of the fact that the drop-off rate of the moments is exactly the local measure dimension about 1 (if it exists).     

On bipartite 2‐factorizations of kn − I and the Oberwolfach problem

It is shown that if F₁, F₂, …, F_t are bipartite 2‐regular graphs of order n and α₁, α₂, …, α_t are positive integers such that α₁ + α₂ + ? + α_t = (n ? 2)/2, α₁≥3 is odd, and α_i is even for i = 2, 3, …, t, then there exists a 2‐factorization of K_n ? I in which there are exactly α_i 2‐factors isomorphic to F_i for i = 1, 2, …, t. This result completes the solution of the Oberwolfach problem for bipartite 2‐factors. © 2010 Wiley Periodicals, Inc. J Graph Theory 68:22‐37, 2011     

On solution of Lamé equations in axisymmetric domains with conical points

Partial Fourier series expansion is applied to the Dirichlet problem for the Lamé equations in axisymmetric domains ??³ with conical points on the rotation axis. This leads to dimension reduction of the three‐dimensional boundary value problem resulting to an infinite sequence of two‐dimensional boundary value problems on the plane meridian domain Ω_a?? of with solutions u _n(n=0,1,2,…) being the Fourier coefficients of the solution û of the 3D BVP. The asymptotic behaviour of the Fourier coefficients u _n (n=0,1,2,…) near the angular points of the meridian domain Ω_a is fully described by singular vector‐functions which are related to the zeros α_n of some transcendental equations involving Legendre functions of the first kind. Equations which determine the values of α_n are given and a numerical algorithm for the computation of α_n is proposed with some plots of values obtained presented. The singular vector functions for the solution of the 3D BVP is obtained by Fourier synthesis. Copyright © 2004 John Wiley & Sons, Ltd     

The valuations of the near hexagons related to the Witt designs S(5,6,12) and S(5,8,24)

Valuations of dense near polygons were introduced in 16 . In the present paper, we classify all valuations of the near hexagons ??₁ and ??₂, which are related to the respective Witt designs S(5,6,12) and S(5,8,24). Using these classifications, we prove that if a dense near polygon S contains a hex H isomorphic to ??₁ or ??₂, then H is classical in S. We will use this result to determine all dense near octagons that contain a hex isomorphic to ??₁ or ??₂. As a by‐product, we obtain a purely geometrical proof for the nonexistence of regular near 2d‐gons, d ≥ 4, whose parameters s, t, t_i (0 ≤ i ≤ d) satisfy (s, t₂, t₃) = (2, 1, 11) or (2, 2, 14). The nonexistence of these regular near polygons can also be shown with the aid of eigenvalue techniques. © 2005 Wiley Periodicals, Inc. J Combin Designs 14: 214–228, 2006     

Initial-boundary value problems for incomplete singular perturbations of hyperbolic systems

The general problem studied has as a prototype the full non-linear Navier-Stokes equations for a slightly viscous compressible fluid including the heat transfer. The boundaries are of inflow-outflow type, i.e. non-characteristic, and the boundary conditions are the most general ones with any order of derivatives. It is assumed that the uniform Lopatinsky condition is satisfied. The goal is to prove uniform existence and boundedness of solution as the viscosity tends to zero and to justify the boundary layer asymptotics. The paper consists of two parts. In Part I the linear problem is studied. Here, uniform lower and higher order tangential estimates are derived and the existence of a solution is proved. The higher order estimates depend on the smoothness of coefficients; however this smoothness does not exceed the smoothness of the solution. In Part II the quasilinear problem is studied. It is assumed that for zero viscosity the overall initial-boundary value problem has a smooth solutionu ₀ in a time interval 0≦t≦T ₀. As a result the boundary laye, is weak and is uniformlyC ¹ bounded. This makes the linear theory applicable. an iteration scheme is set and proved to converge to the viscous solution. The convergence takes place for small viscosity and over the original time interval 0≦t≦T ₀.     

Small-time expansions for the transition distributions of Lévy processes

Let X=(X_t)_t≥0 be a Lévy process with absolutely continuous Lévy measure ν. Small-time expansions of arbitrary polynomial order in t are obtained for the tails , y>0, of the process, assuming smoothness conditions on the Lévy density away from the origin. By imposing additional regularity conditions on the transition density p_t of X_t, an explicit expression for the remainder of the approximation is also given. As a byproduct, polynomial expansions of order n in t are derived for the transition densities of the process. The conditions imposed on p_t require that, away from the origin, its derivatives remain uniformly bounded as t→0. Such conditions are then shown to be satisfied for symmetric stable Lévy processes as well as some tempered stable Lévy processes such as the CGMY one. The expansions seem to correct the asymptotics previously reported in the literature.     

Some observations on the substructure lattice of a Δ1 ultrapower

Given a (nontrivial) Δ₁ ultrapower ?/??, let ??_U denote the set of all Π₂‐correct substructures of ?/??; i.e., ??_U is the collection of all those subsets of |?/??| that are closed under computable (in the sense of ?/??) functions. Defining in the obvious way the lattice ??(?/??)) with domain ??_U, we obtain some preliminary results about lattice embeddings into – or realization as – an ??(?/??). The basis for these results, as far as we take the matter, consists of (1) the well‐known class of (non‐trivial) minimal ?/??'s, which function as atoms, and (2) the class of minimalfree ?/??'s, to whose nonemptiness a substantial section of the paper is devoted. It is shown that an infinite, convergent monotone sequence together with its limit point is embeddable in an ??(?/??), and that the initial segment lattices {0, 1,…, n } are not just embeddable in (as is trivial), but in fact realizable as, lattices ??(?/??). Finally, the diamond is (easily) embeddable; and if it is not realizable, then either the 1 ‐ 3 ‐ 1 lattice or the pentagon is at least embeddable (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On deviations between empirical and quantile processes for mixing random variables

Let {X_n} be a strictly stationary φ-mixing process with Σ_j=1^∞ φ^1/2(j) < ∞. It is shown in the paper that if X₁ is uniformly distributed on the unit interval, then, for any t [0, 1], |F_n⁻¹(t) − t + F_n(t) − t| = O(n^−3/4(log log n)^3/4) a.s. and sup_0≤t≤1 |F_n⁻¹(t) − t + F_n(t) − t| = (O(n^−3/4(log n)^1/2(log log n)^1/4) a.s., where F_n and F_n⁻¹(t) denote the sample distribution function and tth sample quantile, respectively. In case {X_n} is strong mixing with exponentially decaying mixing coefficients, it is shown that, for any t [0, 1], |F_n⁻¹(t) − t + F_n(t) − t| = O(n^−3/4(log n)^1/2(log log n)^3/4) a.s. and sup_0≤t≤1 |F_n⁻¹(t) − t + F_n(t) − t| = O(n^−3/4(log n)(log log n)^1/4) a.s. The results are further extended to general distributions, including some nonregular cases, when the underlying distribution function is not differentiable. The results for φ-mixing processes give the sharpest possible orders in view of the corresponding results of Kiefer for independent random variables.     

The existence of ‐bounded solution operators of the thermoelastic plate equation with Dirichlet boundary conditions

We consider the linearized thermoelastic plate equation with the Dirichlet boundary condition in a general domain Ω, given by with the initial condition u|_(t=0)=u₀, u_t|_(t=0)=u₁, and θ|_(t=0)=θ₀ in Ω and the boundary condition u=∂_νu=θ=0 on Γ, where u=u(x,t) denotes a vertical displacement at time t at the point x=(x₁,⋯,x_n)∈Ω, while θ=θ(x,t) describes the temperature. This work extends the result obtained by Naito and Shibata that studied the problem in the half‐space case. We prove the existence of ‐bounded solution operators of the corresponding resolvent problem. Then, the generation of C₀ analytic semigroup and the maximal L_p‐L_q‐regularity of time‐dependent problem are derived.     

Certain classes of potentials for p ‐Laplacian to be non‐degenerate

Given a positive integer n and an exponent 1 ≤ α ≤ ∞. We will find explicitly the optimal bound r_n such that if the L^α norm of a potential q (t ) satisfies ‖q ‖equation/tex2gif-inf-2.gif < r_n then the n ^th Dirichlet eigenvalue of the onedimensional p ‐Laplacian with the potential q (t ): (|u ′|^{p –2} u ′)′ + (λ + q (t )) |u |^{p –2}u = 0 (1 < p < ∞) will be positive. Using these bounds, we will construct, for the Dirichlet, the Neumann, the periodic or the antiperiodic boundary conditions, certain classes of potentials q (t ) so that the p ‐Laplacian with the potential q (t ) is non‐degenerate, which means that the above equation with λ = 0 has only the trivial solution verifying the corresponding boundary condition. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Decompositions of complete graphs into triangles and Hamilton cycles

For all odd integers n ≥ 1, let G_n denote the complete graph of order n, and for all even integers n ≥ 2 let G_n denote the complete graph of order n with the edges of a 1‐factor removed. It is shown that for all non‐negative integers h and t and all positive integers n, G_n can be decomposed into h Hamilton cycles and t triangles if and only if nh + 3t is the number of edges in G_n. © 2004 Wiley Periodicals, Inc.     

Some new results on 1‐rotational 2‐factorizations of the complete graph

It is known that a necessary condition for the existence of a 1‐rotational 2‐factorization of the complete graph K_2n+1 under the action of a group G of order 2n is that the involutions of G are pairwise conjugate. Is this condition also sufficient? The complete answer is still unknown. Adapting the composition technique shown in Buratti and Rinaldi, J Combin Des, 16 (2008), 87–100, we give a positive answer for new classes of groups; for example, the groups G whose involutions lie in the same conjugacy class and having a normal subgroup whose order is the greatest odd divisor of |G|. In particular, every group of order 4t+2 gives a positive answer. Finally, we show that such a composition technique provides 2‐factorizations with a rich group of automorphisms. © 2009 Wiley Periodicals, Inc. J Combin Designs 18: 237–247, 2010