On some contributions of John Horváth to the theory of distributions

Our main task is a presentation of J. Horváth's results concerning

•

singular and hypersingular integral operators,

•

the analytic continuation of distribution-valued meromorphic functions, and

•

a general definition of the convolution of distributions.

At some instances minor supplements to his results are given.     

A Lagrangian heuristic algorithm for a real-world train timetabling problem

The train timetabling problem (TTP) aims at determining an optimal timetable for a set of trains which does not violate track capacities and satisfies some operational constraints.In this paper, we describe the design of a train timetabling system that takes into account several additional constraints that arise in real-world applications. In particular, we address the following issues:

•

Manual block signaling for managing a train on a track segment between two consecutive stations.

•

Station capacities, i.e., maximum number of trains that can be present in a station at the same time.

•

Prescribed timetable for a subset of the trains, which is imposed when some of the trains are already scheduled on the railway line and additional trains are to be inserted.

•

Maintenance operations that keep a track segment occupied for a given period.

We show how to incorporate these additional constraints into a mathematical model for a basic version of the problem, and into the resulting Lagrangian heuristic. Computational results on real-world instances from Rete Ferroviaria Italiana (RFI), the Italian railway infrastructure management company, are presented.     

Tiling by rectangles and alternating current

This paper is on tilings of polygons by rectangles. A celebrated physical interpretation of such tilings by R.L. Brooks, C.A.B. Smith, A.H. Stone and W.T. Tutte uses direct-current circuits. The new approach of this paper is an application of alternating-current circuits. The following results are obtained:

•

a necessary condition for a rectangle to be tilable by rectangles of given shapes;

•

a criterion for a rectangle to be tilable by rectangles similar to it but not all homothetic to it;

•

a criterion for a “generic” polygon to be tilable by squares.

These results generalize those of C. Freiling, R. Kenyon, M. Laczkovich, D. Rinne, and G. Szekeres.     

A new generation of applied probability textbooks

This article reviews the following books:

•

S. Asmussen, Applied Probability and Queues, second ed., Springer, Berlin, 2003, ISBN 0-387-00211-1, xii+438pp., EUR 85.55.

•

H. Chen, D. Yao, Fundamentals of Queueing Networks, Springer, Berlin, 2003, ISBN 0-387-95166-0, xviii+405pp., EUR 74,95.

•

W. Whitt, Stochastic-Process Limits, Springer, Berlin, 2002, ISBN 0-387-95358-2, xxiv+602pp., EUR 106,95.

     

A canonical form for nonderogatory matrices under unitary similarity

A square matrix is nonderogatory if its Jordan blocks have distinct eigenvalues. We give canonical forms for

•

nonderogatory complex matrices up to unitary similarity, and

•

pairs of complex matrices up to similarity, in which one matrix has distinct eigenvalues.

The types of these canonical forms are given by undirected and, respectively, directed graphs with no undirected cycles.     

Finite Eulerian posets which are binomial, Sheffer or triangular

In this paper we study finite Eulerian posets which are binomial, Sheffer or triangular. These important classes of posets are related to the theory of generating functions and to geometry. The results of this paper are organized as follows:

•

We completely determine the structure of Eulerian binomial posets and, as a conclusion, we are able to classify factorial functions of Eulerian binomial posets.

•

We give an almost complete classification of factorial functions of Eulerian Sheffer posets by dividing the original question into several cases.

•

In most cases above, we completely determine the structure of Eulerian Sheffer posets, a result stronger than just classifying factorial functions of these Eulerian Sheffer posets.

We also study Eulerian triangular posets. This paper answers questions posed by R. Ehrenborg and M. Readdy. This research is also motivated by the work of R. Stanley about recognizing the boolean lattice by looking at smaller intervals.     

Norm continuity of weakly continuous mappings into Banach spaces

Let T be the class of Banach spaces E for which every weakly continuous mapping from an α-favorable space to E is norm continuous at the points of a dense subset. We show that:

•

T contains all weakly Lindelöf Banach spaces;

•

l^∞∉T, which brings clarity to a concern expressed by Haydon ([R. Haydon, Baire trees, bad norms and the Namioka property, Mathematika 42 (1995) 30-42], pp. 30-31) about the need of additional set-theoretical assumptions for this conclusion. Also, (l^∞/c₀)∉T.

•

T is stable under weak homeomorphisms;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is densely norm continuous;

•

E∈T iff every quasi-continuous mapping from a complete metric space to (E,weak) is weakly continuous at some point.

     

Finite preorders and topological descent II: étale descent

It is known that every effective (global-) descent morphism of topological spaces is an effective étale-descent morphism. On the other hand, in the predecessor of this paper we gave examples of:

•

a descent morphism that is not an effective étale-descent morphism;

•

an effective étale-descent morphism that is not a descent morphism.

Both of the examples in fact involved only finite topological spaces, i.e. just finite preorders, and now we characterize the effective étale-descent morphisms of preorders/finite topological spaces completely.     

The signature operator at 2

It is well known that the signature operator on a manifold defines a K-homology class which is an orientation after inverting 2. Here we address the following puzzle: What is this class localized at 2, and what special properties does it have? Our answers include the following:

•

the K-homology class Δ_M of the signature operator is a bordism invariant;

•

the reduction mod 8 of the K-homology class of the signature operator is an oriented homotopy invariant;

•

the reduction mod 16 of the K-homology class of the signature operator is not an oriented homotopy invariant.

     

The Mukai pairing—II: the Hochschild-Kostant-Rosenberg isomorphism

We continue the study of the Hochschild structure of a smooth space that we began in our previous paper, examining implications of the Hochschild-Kostant-Rosenberg theorem. The main contributions of the present paper are:

•

we introduce a generalization of the usual notions of Mukai vector and Mukai pairing on differential forms that applies to arbitrary manifolds;

•

we give a proof of the fact that the natural Chern character map K₀(X)→HH₀(X) becomes, after the HKR isomorphism, the usual one ; and

•

we present a conjecture that relates the Hochschild and harmonic structures of a smooth space, similar in spirit to the Tsygan formality conjecture.

     

Strong zero-dimensionality of hyperspaces

For a space X, X² denotes the collection of all non-empty closed sets of X with the Vietoris topology, and K(X) denotes the collection of all non-empty compact sets of X with the subspace topology of X². The following are known:

•

ω² is not normal, where ω denotes the discrete space of countably infinite cardinality.

•

For every non-zero ordinal γ with the usual order topology, K(γ) is normal iff whenever cf γ is uncountable.

In this paper, we will prove:

(1)

ω² is strongly zero-dimensional.

(2)

K(γ) is strongly zero-dimensional, for every non-zero ordinal γ.

In (2), we use the technique of elementary submodels.     

Galois representations modulo p and cohomology of Hilbert modular varieties

The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let us mention:

•

control of the image of Galois representations modulo p,

•

Hida's congruence criterion outside an explicit set of primes,

•

freeness of the integral cohomology of a Hilbert modular variety over certain local components of the Hecke algebra and Gorenstein property of these local algebras.

We study the arithmetic properties of Hilbert modular forms by studying their modulo p Galois representations and our main tool is the action of inertia groups at primes above p. In order to determine this action, we compute the Hodge-Tate (resp. Fontaine-Laffaille) weights of the p-adic (resp. modulo p) étale cohomology of the Hilbert modular variety. The cohomological part of our paper is inspired by the work of Mokrane, Polo and Tilouine on the cohomology of Siegel modular varieties and builds upon geometric constructions of Tilouine and the author.     

Properties of four partial orders on standard Young tableaux

Let SYTn be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYTn and some of their crucial properties, we prove three main results:

•

Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer.

•

The map sending a tableau to its descent set induces a homotopy equivalence of the proper parts of all of these orders on tableaux with that of the Boolean algebra ²[n−1]. In particular, the Möbius function of these orders on tableaux is (−1)ⁿ⁻³.

•

For two of the four orders, one can define a more general order on skew tableaux having fixed inner boundary, and similarly analyze their homotopy type and Möbius function.

     

Intersection cohomology of the circle actions

A classical result says that a free action of the circle S¹ on a topological space X is geometrically classified by the orbit space B and by a cohomological class e∈H²(B,Z), the Euler class. When the action is not free we have a difficult open question:

(Π)

“Is the space X determined by the orbit space B and the Euler class?”

The main result of this work is a step towards the understanding of the above question in the category of unfolded pseudomanifolds. We prove that the orbit space B and the Euler class determine:

•

the intersection cohomology of X,

•

the real homotopy type of X.

     

On two problems in extension theory

In this note we introduce the concept of a quasi-finite complex. Next, we show that for a given countable simplicial complex L the following conditions are equivalent:

•

L is quasi-finite.

•

There exists a [L]-invertible mapping of a metrizable compactum X with e-dimX?[L] onto the Hilbert cube.Finally, we construct an example of a quasi-finite complex L such that its extension type [L] does not contain a finitely dominated complex.

     

Sensitivity of a shallow-water model to parameters

An adjoint based technique is applied to a shallow water model in order to estimate the influence of the model’s parameters on the solution. Among parameters, the bottom topography, initial conditions, boundary conditions on rigid boundaries, viscosity coefficients, Coriolis parameter and the amplitude of the wind stress tension are considered. Their influence is analyzed from three points of view:

•

flexibility of the model with respect to a parameter that is related to the lowest value of the cost function that can be obtained in the data assimilation experiment that controls this parameter;

•

possibility to improve the model by the parameter’s control, i.e., whether the solution with the optimal parameter remains close to observations after the end of control;

•

sensitivity of the model solution to the parameter in a classical sense. That implies the analysis of the sensitivity estimates and their comparison with each other and with the local Lyapunov exponents that characterize the sensitivity of the model to initial conditions.

Two configurations have been analyzed: an academic case of the model in a square box and a more realistic case simulating Black sea currents. It is shown in both experiments that the boundary conditions near a rigid boundary highly influence the solution. This fact points out the necessity to identify optimal boundary approximation during a model development.     

Spectral sequences in combinatorial geometry: Cheeses, inscribed sets, and Borsuk-Ulam type theorems

Algebraic topological methods are especially well suited for determining the non-existence of continuous mappings satisfying certain properties. In combinatorial problems it is sometimes possible to define a mapping from a space X of configurations to a Euclidean space Rm in which a subspace, a discriminant, often an arrangement of linear subspaces A, expresses a target condition on the configurations. Add symmetries of all these data under a group G for which the mapping is equivariant. If we remove the discriminant from Rm, we can pose the problem of the existence of an equivariant mapping from X to the complement of the discriminant in Rm. Algebraic topology may sometimes be applied to show that no such mapping exists, and hence the image of the original equivariant mapping must meet the discriminant.We introduce a general framework, based on a comparison of Leray-Serre spectral sequences. This comparison can be related to the theory of the Fadell-Husseini index. We apply the framework to:

•

solve a mass partition problem (antipodal cheeses) in Rd,

•

determine the existence of a class of inscribed 5-element sets on a deformed 2-sphere,

•

obtain two different generalizations of the theorem of Dold for the non-existence of equivariant maps which generalizes the Borsuk-Ulam theorem.

     

Green bundles,Lyapunov exponents and regularity along the supports of the minimizing measures

In this article, we study the minimizing measures of the Tonelli Hamiltonians. More precisely, we study the relationships between the so-called Green bundles and various notions as:

•

the Lyapunov exponents of minimizing measures;     

Optimum quantization and its applications

Minimum sums of moments or, equivalently, distortion of optimum quantizers play an important role in several branches of mathematics. Fejes Tóth's inequality for sums of moments in the plane and Zador's asymptotic formula for minimum distortion in Euclidean d-space are the first precise pertinent results in dimension d?2. In this article these results are generalized in the form of asymptotic formulae for minimum sums of moments, resp. distortion of optimum quantizers on Riemannian d-manifolds and normed d-spaces. In addition, we provide geometric and analytic information on the structure of optimum configurations. Our results are then used to obtain information on

(i)

the minimum distortion of high-resolution vector quantization and optimum quantizers,

(ii)

the error of best approximation of probability measures by discrete measures and support sets of best approximating discrete measures,

(iii)

the minimum error of numerical integration formulae for classes of Hölder continuous functions and optimum sets of nodes,

(iv)

best volume approximation of convex bodies by circumscribed convex polytopes and the form of best approximating polytopes, and

(v)

the minimum isoperimetric quotient of convex polytopes in Minkowski spaces and the form of the minimizing polytopes.