On Groups Associated with Transformation Semigroups

For a semigroup S of transformations (total or partial) of a finite n-element set X_n, denote by G_S the group of all the permutations h of X_n that preserve S under conjugation. It is shown that, unless S contains certain nilpotents and has a very restricted form, the alternating group Alt_n may not serve as G_S, so that Alt_n ⊆ G_S implies that G_S=S_n, and S is an S_n-normal semigroup.     

The 2-Pebbling Property and a Conjecture of Graham's

The pebbling number of a graph G, f(G), is the least m such that, however m pebbles are placed on the vertices of G, we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. It is conjectured that for all graphs G and H, f(G 2H)hf(G)f(H).¶Let C_m and C_n be cycles. We prove that f(C_m 2C_n)hf(C_m) f(C_n) for all but a finite number of possible cases. We also prove that f(G2T)hf(G) f(T) when G has the 2-pebbling property and T is any tree.     

Independent Trees in Planar Graphs Independent trees

We prove the following statement: Let G be a finite k-connected undirected planar graph and s be a vertex of G. Then there exist k spanning trees T₁,…,T_k in G such that for each vertex xps of G, the k paths from x to s in T₁,…,T_k are pairwise openly disjoint.     

How Tight Is the Bollobás-Komlós Conjecture?

The bipartite case of the Bollobás and Komlós conjecture states that for every j₀, %>0 there is an !=!(j₀, %) >0 such that the following statement holds: If G is any graph with minimum degree at least n$\displaystyle {n \over 2}+%n then G contains as subgraphs all n vertex bipartite graphs, H, satisfying¶H)hj₀ \quad {\rm and} \quad b(H)h!n.$j (H)hj₀ \quad {\rm and} \quad b(H)h!n.¶Here b(H), the bandwidth of H, is the smallest b such that the vertices of H can be ordered as v₁, …, v_n such that v_i~_Hv_j implies |imj|hb.¶ This conjecture has been proved in [1]. Answering a question of E. Szemerédi [6] we show that this conjecture is tight in the sense that as %̂ then !̂. More precisely, we show that for any 0 such that that !(j₀, %)Д %.     

Four Questions on Birkhoff Polytope

We ask several questions on the structure of the polytope P_n of doubly stochastic n 2 n matrices, known as a Birkhoff polytope. We discuss the volume of P_n, the work of the simplex method, and the mixing of random walks on P_n.     

On q-Olivier Functions

We consider words w₁· · · w_n with letters w_i ? {1, 2, 3, ?} w_i \in \{1, 2, 3, \ldots\} satisfying an up-up-down pattern like a₁ h a₂ h a₃ S a₄ h a₅ h a₆ S · · · . Attaching the (geometric) probability pq^i-1 to the letter i (with p = 1 -- q), every word gets a probability by assuming independence of letters. We are interested in the probability that a random word of length n satisfies the up-up-down condition. It turns out that one has to consider the 3 residue classes (mod 3) separately; then one can compute the associated probability generating function. They turn out to be q-analogues of so called Olivier functions.     

Quasi-polynomials associated with Bass and Betti numbers of filtered modules

It is shown that if M is a finite module on a local noetherian ring A which is filtered by an f-good filtration F \Phi = (M_n) where f is a noetherian filtration on A, then the i-th Betti and the i-th Bass numbers of the modules (M_n) and (M / M_n) define quasi-polynomial functions whose period does not depend on i but only of the Rees ring of f. It is proved that the projective and injective dimension of the modules M / M_n are perodic for large n. In the particular case where f is a good filtration or a strongly A P filtration it is shown that the projective and injective dimension as well as the depth stabilize. As an application, using a result proved by Brodmann, we give an upper bound of the analytic spread of¶ f = (I_n) in terms of the limes inferior of depth (A / I_n).     

Mal'cev nilpotent algebras

We show that the Mal'cev semigroup identity x_n = y_n holds in the circle semigroup of an associative algebra over an infinite field precisely when the algebra is Lie nilpotent of class at most n. The Mal'cev semigroup law x_n = y_n holds in a group if and only if the group is nilpotent of class at most n.     

A note on the complexity of the transportation problem with a permutable demand vector

In this note we investigate the computational complexity of the transportation problem with a permutable demand vector, TP-PD for short. In the TP-PD, the goal is to permute the elements of the given integer demand vector b=(b₁,…,b_n) in order to minimize the overall transportation costs. Meusel and Burkard [6] recently proved that the TP-PD is strongly NP-hard. In their NP-hardness reduction, the used demand values b_j, j=1,…,n, are large integers. In this note we show that the TP-PD remains strongly NP-hard even for the case where b_j]{0,3} for j=1,…,n. As a positive result, we show that the TP-PD becomes strongly polynomial time solvable if b_j] {0,1,2} holds for j=1,…,n. This result can be extended to the case where b_j]{3,3+1,3+2} for an integer 3.     

Finite groups in which normality is a transitive relation

Let G be a finite group. We say that G is a T₀-group, if its Frattini quotient group G/F(G)G/\Phi (G) is a T-group, where by a T-group we mean a group in which every subnormal subgroup is normal. We determine the structure of a non T₀-group G all of whose proper subgroups are T₀-groups.     

Every Invariant Measure Semigroup Contains an Ideal which is Embeddable in a Group

We show that every invariant measure semigroup S with associated invariant measure mu contains an ideal S₀ which is embeddable as an open subsemigroup in a locally compact abelian group G in such a way that the restriction to S₀ of mu coincides with the restriction to S₀ of a Haar measure on G. This is a positive answer to a question posed by J.H Williamson. As a consequence the generalization of Pontryagin's duality theorem for S is obtained.     

Abelian Kernels of Some Monoids of Injective Partial Transformations and an Application

In this paper we compute the abelian kernels of the monoids POI_n and POPI_n of all injective order preserving and respectively, orientation preserving, partial transformations on a chain with n elements. As an application, we show that the pseudovariety POPI generated by the monoids POPI_n (n epsilon N) is not contained in the Mal'cev product of the pseudovariety POI generated by the monoids POI_n (n epsilon N) with the pseudovariety Ab of all finite abelian groups.     

Rational surfaces and moduli spaces of vector bundles on rational surfaces

Let X be a smooth algebraic surface, L ? Pic(X) L \in \textrm{Pic}(X) and H an ample divisor on X. Set M_X,H(2; L, c₂) the moduli space of rank 2, H-stable vector bundles F on X with det(F) = L and c₂(F) = c₂. In this paper, we show that the geometry of X and of M_X,H(2; L, c₂) are closely related. More precisely, we prove that for any ample divisor H on X and any L ? Pic(X) L \in \textrm{Pic}(X) , there exists n₀ ? \mathbbZ n_0 \in \mathbb{Z} such that for all n₀ \leqq c₂ ? \mathbbZ n_0 \leqq c_2 \in \mathbb{Z} , M_X,H(2; L, c₂) is rational if and only if X is rational.     

On the binomial arithmetical rank

The binomial arithmetical rank of a binomial ideal I is the smallest integer s for which there exist binomials f₁,..., f_s in I such that rad (I) = rad (f₁,..., f_s). We completely determine the binomial arithmetical rank for the ideals of monomial curves in P_KⁿP_K^n. In particular we prove that, if the characteristic of the field K is zero, then bar (I(C)) = n - 1 if C is complete intersection, otherwise bar (I(C)) = n. While it is known that if the characteristic of the field K is positive, then bar (I(C)) = n - 1 always.     

The determination of the thermal properties of a heat conductor in a nonlinear heat conduction problem

This paper considers the inverse determination of the positive unknown thermal properties K(T), C(T) and the unknown temperature T(_{x, t}) in the nonlinear transient heat conduction equation. In addition to prescribed initial and/or boundary values, specified continuously differentiable temperature data T(x₀, t) with non-zero derivative at a single sensor location x = x₀ is given. When K(T) and C(T) obey a certain relationship which enables one to linearise exactly the nonlinear heat equation then their dependence upon T is obtained explicitly, whilst the unknown temperature T(x, t) is obtained implicitly and is then calculated numerically. Results are presented and discussed for infinite, semi-infinite and finite slabs.     

Integral Lie powers of a lattice for the cyclic group of order 2

Let L_n denote the n-th homogeneous component of the free Lie ring L(W) on a given \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice W. This paper gives explicit formulae for the multiplicities of the three indecomposable \Bbb ZC₂{{\Bbb Z}}C_{2}-lattices in a Krull-Schmidt decomposition of L_n. In the case where W is a free \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice, L_n is shown to have no non-zero direct summand on which C₂ acts trivially - this extends a result of R. M. Bryant for the special case where W is the regular \Bbb ZC₂{{\Bbb Z}}C_{2}-lattice. As an application, the structure of the higher dimensional modules associated to a non-cyclic free presentation of C₂ is determined.     

L^p -uniqueness for Dirichlet operators with singular potentials

We study the problem of strong uniqueness in L^p for the Dirichlet operator perturbed by a singular complex-valued potential. First we construct the generator -H_p of a C₀-semigroup in L^p, with H_p extending the restriction of the perturbed Dirichlet operator to the set of smooth functions. The corresponding sesquilinear form in L² is not assumed to be sectorial. Then we reveal sufficient conditions on the logarithmic derivative # of the measure rdx \rho dx and the potential q which ensure that -H_p is the only extension of D+b·?-q \upharpoonright_C0^￥ \Delta +\beta \cdot \nabla -q \upharpoonright_{C_0^{\infty}} which generates a C₀-semigroup on L^p. The method of a priori estimates of solutions to corresponding differential equations is employed.     

On self-normality and abnormality in the alternating group Ap

An old problem proposed by Huppert, Doerk and Hawkes motivates us to investigate the relationship between an abnormal subgroup and self-normalizing in non-solvable groups. A subgroup H of a group G is called second maximal if H is maximal in all maximal subgroups of G containing H. Our result is that if H is a second maximal subgroup of the alternating group A_p of prime degree, then H is abnormal in A_p if and only if H is self-normalizing.