Feynman’s Operational Calculi: Decomposing Disentanglings

Let X be a Banach space and suppose that A ₁,…,A _n are noncommuting (that is, not necessarily commuting) elements in ℒ(X), the space of bounded linear operators on X. Further, for each i∈{1,…,n}, let μ _i be a continuous probability measure on ℬ([0,1]), the Borel class of [0,1]. Each such n-tuple of operator-measure pairs (A _i ,μ _i ), i=1,…,n, determines an operational calculus or disentangling map T_m1,...,mn{\mathcal{T}}_{\mu_{1},\dots,\mu_{n}} from a commutative Banach algebra \mathbbD(A₁,...,A_n){\mathbb{D}}(A_{1},\dots,A_{n}) of analytic functions, called the disentangling algebra , into the noncommutative Banach algebra ℒ(X). The disentanglings are the central processes of Feynman’s operational calculi.     

Asymptotics of degrees of someS n-sub regular representations

The numbers % MathType!End!2!1!, λ ⊢n appear in the enumeration of various objects, as well as coefficients inS _nrepresentations associated with products of higher commutators. We study their asymptotics asn→∞ and show that if (λ₁, λ₂, …)≈(α ₁,α ₂, …)n, if (λ′₁, λ′₂, …)≈(β ₁,β ₂, …)n and ifγ=1− Σ _k⩽1(α _k⩽1+β _k⩽1), then % MathType!End!2!1!. Work partially supported by N.S.F. Grant No. DMS 94-01197.     

Nonuniqueness ing-functions

We give an example of two distinct stationary processes {X _n} and {X′ _n} on {0, 1} for whichP[X₀=1|X₋₁=a₋₁,X₋₂=a₋₂, …]=P[X′₀=1|X′₋₁=a₋₁,X′₋₂=a₋₂, …] for all {a _i},i=−1, −2, …, even though these probabilities are bounded away from 0 and 1, and are continuous in {a _i}. Supported in part by NSF Grant DMS 89-01545. Supported in part by the US Army Research Office.     

An inequality relating to triple product integrals of laguerre functions

IfL _n(x) is thenth Laguerre polynomial and {ie45-1}, then we can expand the functions {ie45-2} over (0, ∞) in terms of the set {ie45-3}, i.e., {ie45-4}. In this paper we prove, an old-standing conjecture that (−1) ^tK_rt>0 for 0≦t≦r (r=0,1,…); i.e., that, in the sense defined by Trench, the set {ie45-5} is alternating with respect to the set {ie45-6}.     

Arc-disjoint in-trees in directed graphs

Given a directed graph D = (V,A) with a set of d specified vertices S = {s ₁,…, s _d } ⊆ V and a function f: S → ℕ where ℕ denotes the set of natural numbers, we present a necessary and sufficient condition such that there exist Σ _i=1 ^d f(s _i ) arc-disjoint in-trees denoted by T _i,1,T _i,2,…, for every i = 1,…,d such that T _i,1,…, are rooted at s _i and each T _i,j spans the vertices from which s _i is reachable. This generalizes the result of Edmonds [2], i.e., the necessary and sufficient condition that for a directed graph D=(V,A) with a specified vertex s∈V, there are k arc-disjoint in-trees rooted at s each of which spans V. Furthermore, we extend another characterization of packing in-trees of Edmonds [1] to the one in our case. Supported by JSPS Research Fellowships for Young Scientists. Supported by the project New Horizons in Computing, Grand-in-Aid for Scientific Research on Priority Areas, MEXT Japan.     

A theorem on arrangements of lines in the plane

LetA be an arrangement ofn lines in the plane. IfR ₁, …,R _r arer distinct regions ofA, andR _i is ap _i-gon (i=1, …,r) then we show that . Further we show that for allr this bound is the best possible ifn is sufficiently large. Financial support for this research was provided by the Carnegie Trust for the Universities of Scotland.     

Constant-Sign Solutions for Systems of Fredholm and Volterra Integral Equations: The Singular Case

We consider the system of Fredholm integral equations

Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

A class of problems for which cyclic relaxation converges linearly

The method of cyclic relaxation for the minimization of a function depending on several variables cyclically updates the value of each of the variables to its optimum subject to the condition that the remaining variables are fixed. We present a simple and transparent proof for the fact that cyclic relaxation converges linearly to an optimum solution when applied to the minimization of functions of the form for a _i,j ,b _i ,c _i ∈ℝ_≥0 with max {min {b ₁,b ₂,…,b _n },min {c ₁,c ₂,…,c _n }}>0 over the n-dimensional interval [l ₁,u ₁]×[l ₂,u ₂]×⋅⋅⋅×[l _n ,u _n ] with 0<l _i <u _i for 1≤i≤n. Our result generalizes several convergence results that have been observed for algorithms applied to gate- and wire-sizing problems that arise in chip design.     

Polytopes with prescribed contents of (n−1)-facets

If ann-dimensional polytope has facets of areaA ₁,A ₂, …,A _m, then 2A _i <A ₁+…+A _m fori=1,…,m. We show here that conversely these inequalities also ensure the existence of a polytope having these areas.     

Waiting time problems for a sequence of discrete random variables

Let X ₁, X ₂,... be a sequence of nonnegative integer valued random variables.For each nonnegative integer i, we are given a positive integer k _i . For every i = 0, 1, 2,..., E _i denotes the event that a run of i of length k _i occurs in the sequence X ₁, X ₂,.... For the sequence X ₁, X ₂,..., the generalized pgf's of the distributions of the waiting times until the r-th occurrence among the events % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiiYdd9qrFfea0dXdf9vqai-hEir8Ve% ea0de9qq-hbrpepeea0db9q8as0-LqLs-Jirpepeea0-as0Fb9pgea% 0lrP0xe9Fve9Fve9qapdbaqaaeGacaGaaiaabeqaamaabaabcaGcba% WaaiWabeaacaWGfbWaaSbaaSqaaiaadMgaaeqaaaGccaGL7bGaayzF% aaWaa0baaSqaaiaadMgacqGH9aqpcaaIWaaabaGaeyOhIukaaaaa!43D8!\[\left\{ {E_i } \right\}_{i = 0}^\infty\]are obtained. Though our situations are general, the results are very simple. For the special cases that X's are i.i.d. and {0, 1}-valued, the corresponding results are consistent with previously published results.This research was partially supported by the ISM Cooperative Research Program (90-ISM-CRP-11) of the Institute of Statistical Mathematics.     

Absorbing Angles,Steiner Minimal Trees,and Antipodality

We give a new proof that a star {op _i :i=1,…,k} in a normed plane is a Steiner minimal tree of vertices {o,p ₁,…,p _k } if and only if all angles formed by the edges at o are absorbing (Swanepoel in Networks 36: 104–113, 2000). The proof is simpler and yet more conceptual than the original one. We also find a new sufficient condition for higher-dimensional normed spaces to share this characterization. In particular, a star {op _i :i=1,…,k} in any CL-space is a Steiner minimal tree of vertices {o,p ₁,…,p _k } if and only if all angles are absorbing, which in turn holds if and only if all distances between the normalizations \frac1||p_i||p_i\frac{1}{\Vert p_{i}\Vert}p_{i} equal 2. CL-spaces include the mixed ℓ ₁ and ℓ _∞ sum of finitely many copies of ℝ.     

Entire solutions of differential equations with finite order transcendental entire coefficients

In this paper, we investigate the complex oscillation of the differential equation

An approximation of analytical functions by local splines

Local splines are presented for the approximation of functions of one and many variables, which are analytic in the domains , where U_i(z_i) is a unit disk in the complex plane C_i,i=1,2,…,l, l=1,2, …. Results are given for functions whose r-order derivatives belong to the Hardy's class H_p,1≤p≤∞. It is shown that the approximation converge to the function at the rate for functions of one variable and An^{−(r−1/p)/(l−1)} for functions of l variables, where n is the number of points of local splines and A and C are positive constants. This work was supported by Russian Foundation of Fundumental Inverstigations     

Transversals of additive Latin squares

LetA={a ₁, …,a _k} andB={b ₁, …,b _k} be two subsets of an Abelian groupG, k≤|G|. Snevily conjectured that, whenG is of odd order, there is a permutationπ ∈S _ksuch that the sums α _i +b _i , 1≤i≤k, are pairwise different. Alon showed that the conjecture is true for groups of prime order, even whenA is a sequence ofk<|G| elements, i.e., by allowing repeated elements inA. In this last sense the result does not hold for other Abelian groups. With a new kind of application of the polynomial method in various finite and infinite fields we extend Alon’s result to the groups (ℤ _p ) ^a and in the casek<p, and verify Snevily’s conjecture for every cyclic group of odd order. Supported by Hungarian research grants OTKA F030822 and T029759. Supported by the Catalan Research Council under grant 1998SGR00119. Partially supported by the Hungarian Research Foundation (OTKA), grant no. T029132.     

Typical sheaves of generalized CM-modules

Let M be a generalized Cohen-Macaulay module over a noetherian local ring (R,m). Fix a standard system x₁, …, x_d∈m with respect to M and let . We construct a coherent Cohen-Macaulay sheafK over the projective space ℙ _R/I ^d-1 whose cohomological Hilbert functions depend only on the lengths of the local cohomology modules H _m ⁱ (M), (i=0, …, d−1).     

A superadditivity and submultiplicativity property for cardinalities of sumsets

For finite sets of integers A ₁,…,A _n we study the cardinality of the n-fold sumset A ₁+…+ A _n compared to those of (n−1)-fold sumsets A ₁+…+A _i−1+A _i+1+…+A _n . We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets.     

On the monodromy group for the contact problem for plane curves

Summary Fixr≥2,N=r(r+3)/2 andN smooth plane curvesA ₁…,A _N with degA _i>-2 fori=l,…,N. Then the monodromy group for the plane curves of degreer tangent tog _iA_i, g_i∈PGL(3), is the full symmetric group.

---

Riassunto Sianor≥2,N=r(r+3)/2 eA ₁…,A _N curve piane lisce di grado almeno 2. Si dimostra che la monodromia per le curve piane di grador tangenti ag ₁ A _i,g _i∈PGL(3), è il gruppo simmetrico.

---

---

Supported in part by NATO junior fellowship at M.I.T.     

A Weighted Erdős-Ginzburg-Ziv Theorem

An n-set partition of a sequence S is a collection of n nonempty subsequences of S, pairwise disjoint as sequences, such that every term of S belongs to exactly one of the subsequences, and the terms in each subsequence are all distinct so that they can be considered as sets. If S is a sequence of m+n−1 elements from a finite abelian group G of order m and exponent k, and if is a sequence of integers whose sum is zero modulo k, then there exists a rearranged subsequence of S such that . This extends the Erdős–Ginzburg–Ziv Theorem, which is the case when m = n and w_i = 1 for all i, and confirms a conjecture of Y. Caro. Furthermore, we in part verify a related conjecture of Y. Hamidoune, by showing that if S has an n-set partition A=A₁, . . .,A_n such that |w_iA_i| = |A_i| for all i, then there exists a nontrivial subgroup H of G and an n-set partition A′ =A′₁, . . .,A′_n of S such that and for all i, where w_iA_i={w_ia_i |a_i∈A_i}.     

Existence of solutions of certain quasilinear elliptic equations in ℝN without conditions at infinity

This paper deals with conditions for the existence of solutions of the equations