From the Mahler Conjecture to Gauss Linking Integrals

We establish a version of the bottleneck conjecture, which in turn implies a partial solution to the Mahler conjecture on the product v(K)  = (Vol K)(Vol K°) of the volume of a symmetric convex body and its polar body K°. The Mahler conjecture asserts that the Mahler volume v(K) is minimized (non-uniquely) when K is an n-cube. The bottleneck conjecture (in its least general form) asserts that the volume of a certain domain is minimized when K is an ellipsoid. It implies the Mahler conjecture up to a factor of (π/4) ⁿ γ _n , where γ _n is a monotonic factor that begins at 4/π and converges to . This strengthens a result of Bourgain and Milman, who showed that there is a constant c such that the Mahler conjecture is true up to a factor of c ⁿ . The proof uses a version of the Gauss linking integral to obtain a constant lower bound on Vol K ^◇, with equality when K is an ellipsoid. It applies to a more general conjecture concerning the join of any two necks of the pseudospheres of an indefinite inner product space. Because the calculations are similar, we will also analyze traditional Gauss linking integrals in the sphere S ^n-1 and in hyperbolic space H ^n-1. Received: December 2006, Accepted: January 2007     

Geodesics Closed On The Projective Plane

Given a C ^∞ Riemannian metric g on P ² we prove that (, g) has constant curvature iff all geodesics are closed. Therefore is the first non-trivial example of a manifold such that the smooth Riemannian metrics which involve that all geodesics are closed are unique up to isometries and scaling. This remarkable phenomenon is not true on the 2-sphere, since there is a large set of C ^∞ metrics whose geodesics are all closed and have the same period 2π (called Zoll metrics), but no metric of this set can be obtained from another metric of this set via an isometry and scaling. As a corollary we conclude that all two-dimensional P-manifolds are SC-manifolds. Received: April 2007; Revision: September 2007; Accepted: September 2007     

Collapsing monoids consisting of permutations and constants

In this paper we determine all collapsing transformation monoids that contain at least one unary constant operation and whose nonconstant operations are permutations. Furthermore, we find an infinite family of transformation monoids that consist of at least three unary constant operations and some permutations for which the corresponding monoidal intervals are 2-element chains. This research is supported by Hungarian National Foundation for Scientific Research grant nos. T 37877 and K 60148.     

Generalized bisymmetry on a restricted domain

Let X ⊂ ℝ be an interval of positive length and define the set Δ = {(x, y) ∈ X × X | x ≧ y}. We give the solution of the equation

Some remarks on trigonometric sums

Let

A certain boundary-value problem with shifts in a four-dimensional space

We consider a problem with shifts in boundary conditions for the Bianchi equation in a four-dimensional space. We establish sufficient conditions which allow one to evaluate its unique solution in terms of the Riemann function.     

Estimates for Mixed Character Sums

We give sharp estimates for certain families of exponential sums in several variables over finite fields. Received: May 2007, Accepted: September 2007     

A Sidon basis

We construct a Sidon set which is an asymptotic additive basis of order at most 7.      

On continuation of a topology from a system of generators of a group to a topology on the group

In this paper we establish conditions under which a topology is continued from a subset of a group to a topology on the group coordinated with the group operation.     

A note on holomorphic approximation in Banach spaces

Given a complex Banach space X and a holomorphic function f on its unit ball B, we discuss the problem whether f can be approximated, uniformly on smaller balls, by functions g holomorphic on all of X. Research partially supported by NSF grant DMS0700281.     

The operad of finite labeled tournaments

We study the operad of finite labeled tournaments. We describe the structure of suboperads of this operad generated by simple tournaments. We prove that a suboperad generated by a tournament with two vertices (i.e., the operad of finite linearly ordered sets) is isomorphic to the operad of symmetric groups, and a suboperad generated by a simple tournament with more that two vertices is isomorphic to the quotient operad of the free operad with respect to a certain congruence. We obtain this congruence explicitly.     

Polytopes passing through circles

Suppose a convex body wants to pass through a circular hole in a wall. Does its ability to do so depend on the thickness of the wall? In fact in most cases it does, and in this paper we present a sufficient criterion for a polytope to allow an affirmative answer to the question.     

Lectures on topology of words

We discuss a topological approach to words introduced by the author in [Tu2]–[Tu4]. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants of words and give a homotopy classification of words of length five. Based on notes by Eri Hatakenaka, Daniel Moskovich, and Tadayuki Watanabe     

Multilinear Exponential Sums in Prime Fields Under Optimal Entropy Condition on the Sources

The main result of this paper is an exponential sum bound in prime fields for multilinear expressions of the type under nearly optimal conditions on . It provides the expected generalization of the well-known inequality for r = 2. We also establish a new result on Gauss sums for multiplicative subgroups H of , obtaining a nontrivial estimate provided . This is a further improvement on [BGK]. Received: May 2007, Revision: October 2007, Accepted: October 2007     

Reconstruction of Function Fields

For k an algebraic closure of the finite field , ℓ prime distinct from p and X a surface over k, we prove that the field of rational functions k(X) can be recovered from the maximal pro-ℓ-quotient of its absolute Galois group – in fact already from the second central descending series quotient of . Submitted: July 2004, Revision: October 2005, Final revision: February 2008, Accepted: February 2008     

On some diophantine results related to Euler polynomials

In this paper we prove that there is at most one complex number b for which the shifted Euler polynomial E _n (x) + b has at most two zeros of odd multiplicity. Supported in part, by Grants T48791 and F68872 form HNFSR, and by the Hungarian Academy of Sciences.     

A note on planar semimodular lattices

In an earlier paper, we constructed all finite, planar, semimodular lattices in three simple steps from the direct product of two finite chains. In this note we prove that one of the three steps can be eliminated. The research of the first author was supported by the NSERC of Canada.     

Ruled Weingarten surfaces in the Galilean space

In this paper we study ruled Weingarten surfaces in the Galilean space. Weingarten surfaces are surfaces having a nontrivial funcional relation between their Gaussian and mean curvature. We describe some further examples of Weingarten surfaces.      

A fixed point result in Menger spaces using a real function

The main result of this paper is a fixed point theorem of self-mappings in Menger spaces which satisfy certain inequality. This inequality involves a class of real functions which we call Φ-functions. As a corollary we obtain a result in the corresponding metric spaces. The result is supported by an example. The class of real functions we have used is the conceptual extension of altering distance functions used in metric fixed point theory.      

Darboux integrability of real polynomial vector fields on regular algebraic hypersurfaces

In this paper we extend the Darboux theory of integrability in ℝ ⁿ to the regular algebraic hypersurfaces. Then we apply the extended theory first to the 3-dimensional generalized cylinders ×ℝ^3−r of ℝ⁴ forr=0, 1, 2, 3; and after to then-dimensional sphere of ℝ ⁿ⁺¹.