A network of priority queues in heavy traffic: One bottleneck station

In this paper we consider an open queueing network having multiple classes, priorities, and general service time distributions. In the case where there is a single bottleneck station we conjecture that normalized queue length and sojourn time processes converge, in the heavy traffic limit, to one-dimensional reflected Brownian motion, and present expressions for its drift and variance. The conjecture is motivated by known heavy traffic limit theorems for some special cases of the general model, and some conjectured “Heavy Traffic Principles” derived from them. Using the known stationary distribution of one-dimensional reflected Brownian motion, we present expressions for the heavy traffic limit of stationary queue length and sojourn time distributions and moments. For systems with Markov routing we are able to explicitly calculate the limits.     

Prophet inequalities for cost of observation stopping problems

Comparisons are made between the expected gain of a prophet (an observer with complete foresight) and the maximal expected gain of a gambler (using only non-anticipating stopping times) observing a sequence of independent, uniformly bounded random variables where a non-negative fixed cost is charged for each observation. Sharp universal bounds are obtained under various restrictions on the cost and the length of the sequence. For example, it is shown for X₁, X₂, … independent, [0, 1]-valued random variables that for all c ≥ 0 and all n ≥ 1 that E(max_{1 ≤ j ≤ n}(X_j − jc)) − sup_{t Tn} E(X_t − tc) ≤ 1/e, where T_n is the collection of all stopping times t which are less than or equal to n almost surely.     

Combings of groups and the grammar of reparameterization

A new construction of combings is used to distinguish between several previously indistinguishable classes of groups associated to the theory of automatic groups and non-positive curvature in group theory. We construct synchronously bounded combings for a class of groups that are neither bicombable nor automatic. The linguistic complexity of these combings is analysed: in many cases the language of words in the combing is an indexed language.     

A Triangle Inequality for Measurement

We introduce the triangle inequality for measurement. This is a property that when satisfied by a measurement enables one to construct a metric on the set of elements with measure zero that yields the relative Scott topology. The naturality of this construction permits a categorical solution to the model problem in domain theory for locally compact metric spaces. The first time such a solution has been achieved.     

Homomorphic Feller Cocycles on a C*-Algebra

When a Fock-adapted Feller cocycle on a C*-algebra is regular,completely positive and contractive, it possesses a stochasticgenerator that is necessarily completely bounded. Necessaryand sufficient conditions are given, in the form of a sequenceof identities, for a completely bounded map to generate a weaklymultiplicative cocycle. These are derived from a product formulafor iterated quantum stochastic integrals. Under two alternativeassumptions, one of which covers all previously considered cases,the first identity in the sequence is shown to imply the rest.     

Unknotting Tunnels and Seifert Surfaces

Let K be a knot with an unknotting tunnel and suppose thatK is not a 2-bridge knot. There is an invariant = p/q Q/2Z,with p odd, defined for the pair (K, ). The invariant has interesting geometric properties. It is oftenstraightforward to calculate; for example, for K a torus knotand an annulus-spanning arc, (K, ) = 1. Although is definedabstractly, it is naturally revealed when K is put in thinposition. If 1 then there is a minimal-genus Seifert surfaceF for K such that the tunnel can be slid and isotoped to lieon F. One consequence is that if (K, ) 1 then K > 1. Thisconfirms a conjecture of Goda and Teragaito for pairs (K, )with (K, ) 1. 2000 Mathematics Subject Classification 57M25,57M27.     

Rigidity in holomorphic and quasiregular dynamics

We consider rigidity phenomena for holomorphic functions and then more generally for uniformly quasiregular maps.

     

EM constructions for a class of generalized quantifiers

Summary We consider a class of Lindström extensions of first-order logic which are susceptible to a natural Skolemization procedure. In these logics Ehrenfeucht Mostowski (EM) functors for theories with arbitrarily large models can be obtained under suitable restrictions. Characteristic dependencies between algebraic properties of the quantifiers and the maximal domains of EM functors are investigated.Results are applied to Magidor Malitz logic,L(Q ^<), showing e.g. its Hanf number to be equal to (₁) in the countably compact case. Using results of Baumgartner, the maximal number of isomorphism types of linearly ordered models of regular cardinality is shown to be achieved for theories that admit an EM functor on a typically restricted domain.     

Spline collocation for strongly elliptic equations on the torus

Summary We prove convergence and error estimates in Sobolev spaces for the collocation method with tensor product splines for strongly elliptic pseudodifferential equations on the torus. Examples of applications include elliptic partial differential equations with periodic boundary conditions but also the classical boundary integral operators of potential theory on torus-shaped domains in three or more dimensions. For odd-degree splines, we prove convergence of nodal collocation for any strongly elliptic operator. For even-degree splines and midpoint collocation, we find an additional condition for the convergence which is satisfied for the classical boundary integral operators. Our analysis is a generalization to higher dimensions of the corresponding analysis of Arnold and Wendland [4].