A new look at the optimal assignment problem

Let E=[e_ij] be a matrix with integral elements. We study matrices of the form X=[e^e_ij], where x is an indeterminate defined over the rational field Q. There is a fascinating interplay between the combinatorial structures of the matrices E and X. For example, in the case of square matrices the number of optimal assignments in the matrix E is precisely the coefficient of the term of highest degree in the polynomial per(X). We allow the multiplication of rows and columns of X by arbitrary integral powers of x, and we study topics such as the diagonal products of X. We apply certain familiar results to this “exponential” setting, and we also introduce some new concepts, such as the class of matrices S(X) generated by a matrix X and the notion of an invariant 1 within such a class.     

Identifying variable points on a smooth curve

LetX be a compact Riemann surface,n ≥ 2 an integer andx = [x ₁, …,x _n ] an unorderedn-tuple of not necessarily distinct points onX. Byf _x :X →Y _x we denote the normalization which identifies thex ₁, …,x _n and maps them to the only and universal singularity of a complex curveY _x . Thenf _x depends holomorphically onx and is uniquely determined by this parameter. In this context we consider the fine moduli spaceQ _X of all complex-analytic quotients ofX and construct a morphismS ⁿ (X) →Q _X such that each and everyf _x corresponds to the image of the pointx on then-fold symmetric powerS ⁿ (X). For everyn ≥ 2 the mappingS ⁿ (X) →Q _X is a closed embedding; the points of its image have embedding dimensionn(n ? 1) inQ _X . HenceS ²(X) is a smooth connected component ofQ _X . On the other hand, a deformation argument yields thatS ⁿ (X) is part of the singular locus of the complex spaceQ _X provided thatn ≥ 3.     

Splitting monoidal stable model categories

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S,S]^C. An idempotent e of this ring will split the homotopy category: [X,Y]^C≅e[X,Y]^C⊕(1−e)[X,Y]^C. We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that is, C is Quillen equivalent to L_eSC×L_(1−e)SC and [X,Y]^L_eSC≅e[X,Y]^C. This Quillen equivalence is strong monoidal and is symmetric when the monoidal product of C is.     

More on the generalized macaulay theorem — II

Let k₁ ? k₂? ? ? k_n be given positive integers and let S denote the set of vectors x = (x₁, x₂, … ,x_n) with integer components satisfying 0 ? x₁ ? k_ni = 1, 2, …, n. Let X be a subset of S (l)X denotes the subset of X consisting of vectors with component sum l; F(m, X) denotes the lexicographically first m vectors of X; ?X denotes the set of vectors in S obtainable by subtracting 1 from a component of a vector in X; |X| is the number of vectors in X. In this paper it is shown that |?F(e, (l)S)| is an increasing function of l for fixed e and is a subadditive function of e for fixed l.     

Exponential sums and rectangular partitions

Let F denote a finite field with q=p^f elements, and let σ(A) equal the trace of the square matrix A. This paper evaluates exponential sums of the form S(E,X₁,…,X_n)e{?σ(CX₁?X_nE)}, where S(E,X₁,…,X_n) denotes a summation over all matrices E,X₁,…,X_n of appropriate sizes over F, and C is a fixed matrix. This evaluation is then applied to the problem of counting ranked solutions to matrix equations of the form U₁?U_αA+DV₁?V_β=B where A,B,D are fixed matrices over F.     

Generalized weak peripheral multiplicativity in algebras of Lipschitz functions

Let (X, d _X ) and (Y,d _Y ) be pointed compact metric spaces with distinguished base points e _X and e _Y . The Banach algebra of all $\mathbb{K}$ -valued Lipschitz functions on X — where $\mathbb{K}$ is either?or ? — that map the base point e _X to 0 is denoted by Lip₀(X). The peripheral range of a function f ∈ Lip₀(X) is the set Ran_µ(f) = {f(x): |f(x)| = ‖f‖_∞} of range values of maximum modulus. We prove that if T ₁, T ₂: Lip₀(X) → Lip₀(Y) and S ₁, S ₂: Lip₀(X) → Lip₀(X) are surjective mappings such that $Ran_\pi (T_1 (f)T_2 (g)) \cap Ran_\pi (S_1 (f)S_2 (g)) \ne \emptyset $ for all f, g ∈ Lip₀(X), then there are mappings φ₁φ₂: Y → $\mathbb{K}$ with φ₁(y)φ₂(y) = 1 for all y ∈ Y and a base point-preserving Lipschitz homeomorphism ψ: Y → X such that T _j (f)(y) = φ _j (y)S _j (f)(ψ(y)) for all f ∈ Lip₀(X), y ∈ Y, and j = 1, 2. In particular, if S ₁ and S ₂ are identity functions, then T ₁ and T ₂ are weighted composition operators.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

Multiplicative infinite loop space theory

Let G be a finitely presented group given by its pre-abelian presentation <X1,…,Xm; Xe11ζ1,…,Xemmζ,ζm+1,…>, where ei≥0 for i = 1,…, m and ζj?G′ for j≥1. Let N be the subgroup of G generated by the normal subgroups [xeii, G] for i = 1,…, m. Then Dn+2(G)≡γn+2(G) (modNG′) for all n≥0, where G” is the second commutator subgroup of G,γn+2(G) is the (n+2)th term of the lower central series of G and Dn+2(G) = G∩(1+△n+2(G)) is the (n+2)th dimension subgroup of G.     

A note on symmetric doubly-stochastic matrices

Each extreme point in the convex set Δ¹_n of all n×n symmetric doubly-stochastic matrices is shown to have the form $\text{1}\text{2}\text{(P + P}{}^{\mathrm{t}}\text{)}$, for some n×n permutation matrix P. The convex hull Σ_n of the integral points in Δ¹_n (i.e., the symmetric permutation matrices) is shown to consist of those matrices, X = (x_ij) in Δ¹_n satisfying Σ_i∈SΣ_j∈S?{i}x_ij ? 2k, for each subset S of {1, 2, …, n} having cardinality 2k + 1, for some k > 0.     

Probabilities of maximal deviations for nonparametric regression function estimates

Let (X, Y) have regression function m(x) = E(Y | X = x), and let X have a marginal density f₁(x). We consider two nonparameteric estimates of m(x): the Watson estimate when f₁ is known and the Yang estimate when f₁ is known or unknown. For both estimates the asymptotic distribution of the maximal deviation from m(x) is proved, thus extending results of Bickel and Rosenblatt for the estimation of density functions.     

Hereditary order convexity inL(X,Y)

LetX be a topological vector space,Y an ordered topological vector space andL(X,Y) the space of all linear and continuous mappings fromX intoY. The hereditary order-convex cover [K] ^h of a subsetK ofL(X,Y) is defined by [K] ^h ={A∈L(X,Y):Ax∈[Kx] for allx∈X}, where[Kx] is the order-convex ofKx. In this paper we study the hereditary order-convex cover of a subset ofL(X,Y). We show how this cover can be constructed in specific cases and investigate its structural and topological properties. Our results extend to the spaceL(X,Y) some of the known properties of the convex hull of subsets ofX ^*.     

Increasing and decreasing operators on complete lattices

The (isotone) map f: X → X is an increasing (decreasing) operator on the poset X if f(x) ? f²(x) (f²(x) ? f(x), resp.) holds for each x ∈ X. Properties of increasing (decreasing) operators on complete lattices are studied and shown to extend and clarify those of closure (resp. anticlosure) operators. The notion of the decreasing closure, $\text{f}$, (the increasing anticlosure, $\text{f}$,) of the map f: X → X is introduced extending that of the transitive closure, $\text{f}\text{?}$, of f. $\text{f}\text{f}$, and $\text{f}$ are all shown to have the same set of fixed points. Our results enable us to solve some problems raised by H. Crapo. In particular, the order structure of H(X), the set of retraction operators on X is analyzed. For X a complete lattice H(X) is shown to be a complete lattice in the pointwise partial order. We conclude by claiming that it is the increasing-decreasing character of the identity maps which yields the peculiar properties of Galois connections. This is done by defining a u-v connection between the posets X and Y, where u: X → X (v: Y → Y) is an increasing (resp. decreasing) operator to be a pair f, g of maps f; X → Y, g: Y → X such that gf ? u, fg ? v. It is shown that the whole theory of Galois connections can be carried over to u-v connections.     

On dimensionally exotic maps

We call a value y = f(x) of a map f: X → Y dimensionally regular if dimX ≤ dim(Y × f ^?1(y)). It was shown in [6] that if a map f: X → Y between compact metric spaces does not have dimensionally regular values, then X is a Boltyanskii compactum, i.e., a compactum satisfying the equality dim(X × X) = 2dim X ? 1. In this paper we prove that every Boltyanskii compactum X of dimension dim X ≥ 6 admits a map f: X → Y without dimensionally regular values. We show that the converse does not hold by constructing a 4-dimensional Boltyanskii compactum for which every map has a dimensionally regular value.     

A note on reflexivity in Banach spaces

For any normed spaceX, the unit ball ofX is weak *-dense in the unit ball ofX ^**. This says that for any ε>0, for anyF in the unit ball ofX ^**, and for anyf ₁,…,f _n inX ^*, the system of inequalities |f _i(x)?F(f _i)|≤ε can be solved for somex in the unit ball ofX. The author shows that the requirement that ε be strictly positive can be dropped only ifX is reflexive.     

Newton Polygons of L Functions Associated with Exponential Sums of Polynomials of Degree Four over Finite Fields

Let F_q be the finite field of q elements with characteristic p and F_q^m its extension of degree m. Fix a nontrivial additive character Ψ of F_p. If f(x₁,…, x_n)∈F_q[x₁,…, x_n] is a polynomial, then one forms the exponential sum S_m(f)=∑_{(x1,…,xn)∈(Fq^m)ⁿ}Ψ(Tr_Fq^m/Fp(f(x₁,…,x_n))). The corresponding L functions are defined by L(f, t)=exp(∑^∞_m=0S_m(f)t^m/m). In this paper, we apply Dwork's method to determine the Newton polygon for the L function L(f(x), t) associated with one variable polynomial f(x) when deg f(x)=4. As an application, we also give an affirmative answer to Wan's conjecture for the case deg f(x)=4.     

A product quadrature algorithm by Hermite interpolation

This paper is concerned with numerical integration of ∫¹₋₁f(x)k(x)dx by product integration rules based on Hermite interpolation. Special attention is given to the kernel k(x) = e^iτx, with a view to providing high precision rules for oscillatory integrals. Convergence results and error estimates are obtained in the case where the points of integration are zeros of p_n(W; x) or of (1 − x²)p_n−2(W; x), where p_n(W; x), n = 0, 1, 2…, are the orthonormal polynomials associated with a generalized Jacobi weight W. Further, examples are given that test the performance of the algorithm for oscillatory weight functions.     

On a family of IFSs whose attractors are not connected

For an infinite-dimensional Banach space X, S and T bounded linear operators from X to X such that ‖S‖,‖T‖<1 and w∈X, let us consider the IFS Sw=(X,f₁,f₂), where f₁,f₂:X→X are given by f₁(x)=S(x) and f₂(x)=T(x)+w, for all x∈X. We prove that if the operator S is finite-dimensional, then the set {w∈X|the attractor of Sw is not connected} is open and dense in X.