The uniqueness of the strongly regular graph on 77 points

We show the uniqueness of the strongly regular graph with parameters ν = 77, k = 16, λ = O, μ = 4 embedding it in the Higman-Sims graph as a second subconstituent, and indicate the existence of a sporadic geometry.     

On the concentration of points of polynomial maps and applications

For a polynomial ${f\in{\mathbb {F}}_p[X]}$ , we obtain upper bounds on the number of points (x, f (x)) modulo a prime p which belong to an arbitrary square with the side length H. Our results in particular are based on the Vinogradov mean value theorem. Using these estimates we obtain results on the expansion of orbits in dynamical systems generated by nonlinear polynomials and we obtain an asymptotic formula for the number of visible points on the curve ${f(x)\equiv y\, ({\rm mod}\, p)}$ , where ${f\in{\mathbb {F}}_p[X]}$ is a polynomial of degree d?≥ 2. We also use some recent results and techniques from arithmetic combinatorics to study the values (x, f (x)) in more general sets.     

Linear maps that strongly preserve regular matrices over the Boolean algebra

The set of all m × n Boolean matrices is denoted by $ \mathbb{M} $ \mathbb{M} _m,n . We call a matrix A ∈ $ \mathbb{M} $ \mathbb{M} _m,n regular if there is a matrix G ∈ $ \mathbb{M} $ \mathbb{M} _n,m such that AGA = A. In this paper, we study the problem of characterizing linear operators on $ \mathbb{M} $ \mathbb{M} _m,n that strongly preserve regular matrices. Consequently, we obtain that if min{m, n} ⩽ 2, then all operators on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserve regular matrices, and if min{m, n} ⩾ 3, then an operator T on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserves regular matrices if and only if there are invertible matrices U and V such that T(X) = UXV for all X ε $ \mathbb{M} $ \mathbb{M} _m,n , or m = n and T(X) = UX ^T V for all X ∈ $ \mathbb{M} $ \mathbb{M} _n .     

Approximation of fixed points of strongly pseudocontractive maps without Lipschitz assumption

In the present paper, the following result is shown: Let be a real Banach space with a uniformly convex dual , and let be a nonempty closed convex and bounded subset of . Assume that is a continuous strong pseudocontraction. Let and be two real sequences satisfying (i) for all ; (ii) ; and (iii) as Then the Ishikawa iterative sequence generated by

converges strongly to the unique fixed point of .

     

Strong peak points and strongly norm attaining points with applications to denseness and polynomial numerical indices

Using the variational method, it is shown that the set of all strong peak functions in a closed algebra A of Cb(K) is dense if and only if the set of all strong peak points is a norming subset of A. As a corollary we can induce the denseness of strong peak functions on other certain spaces. In case that a set of uniformly strongly exposed points of a Banach space X is a norming subset of , then the set of all strongly norm attaining elements in is dense. In particular, the set of all points at which the norm of is Fréchet differentiable is a dense Gδ subset. In the last part, using Reisner's graph-theoretic approach, we construct some strongly norm attaining polynomials on a CL-space with an absolute norm. Then we show that for a finite dimensional complex Banach space X with an absolute norm, its polynomial numerical indices are one if and only if X is isometric to . Moreover, we give a characterization of the set of all complex extreme points of the unit ball of a CL-space with an absolute norm.     

Embedding arbitrary finite simple graphs into small strongly regular graphs

It is well known that any finite simple graph Γ is an induced subgraph of some exponentially larger strongly regular graph Γ (e.g., [2, 8]). No general polynomial‐size construction has been known. For a given finite simple graph Γ on υ vertices, we present a construction of a strongly regular graph Γ on O(υ⁴) vertices that contains Γ as its induced subgraph. A discussion is included of the size of the smallest possible strongly regular graph with this property. © 2000 John Wiley & Sons, Inc. J Graph Theory 34: 1–8, 2000     

Effective equidistribution of twisted horocycle flows and horocycle maps

We prove bounds for twisted ergodic averages for horocycle flows of hyperbolic surfaces, both in the compact and in the non-compact finite area case. From these bounds we derive effective equidistribution results for horocycle maps. As an application of our main theorems in the compact case we further improve on a result of Venkatesh, recently already improved by Tanis and Vishe, on a sparse equidistribution problem for classical horocycle flows proposed by Shah and Margulis, and in the general non-compact, finite area case we prove bounds on Fourier coefficients of cusp forms which are comparable to the best known bounds of Good in the holomorphic case, and of Bernstein and Reznikov in the Maass (non-holomorphic) case. Our approach is based on Sobolev estimates for solutions of the cohomological equation and on scaling of invariant distributions for twisted horocycle flows.     

The subconvexity problem for Rankin–Selberg L-functions and equidistribution of Heegner points. II

We prove a general subconvex bound in the level aspect for Rankin–Selberg L-functions associated with two primitive holomorphic or Maass cusp forms over Q. We use this bound to establish the equidistribution of incomplete Galois orbits of Heegner points on Shimura curves associated with indefinite quaternion algebras over Q. Mathematics Subject Classification (2000) 11F66, 11F67, 11M41     

The regular points of simple functions

We extend the work of Ioffe and Lewis [A. Ioffe and A. Lewis, Critical points of simple functions, Optimization, 57 (2008), pp. 3–16] and relate it to the previous work of Morse [M. Morse, Topologically non-degenerate functions in a compact n-manifold, J. Anal. Math. 7 (1959), p. 243]. We show that the concept of regularity for piecewise linear functions can be explained in geometric topological terms and this explanation leads to a unified view of several concepts of regularity for such functions.     

The moduli space of regular stable maps

We prove that the moduli space of regular stable maps in a complex manifold admits a natural complex orbifold structure. Our proof is based on Hardy decompositions and Fredholm intersection theory. The authors would like to thank the referee for his/her diligent work. We are grateful for the careful attention to detail in the report.     

The four-color theorem for small maps

Any map with fewer than 52 vertices contains a “reducible configuration”; therefore, any such map may be vertex-colored in four colors. This is proved by defining the “value” of each vertex, according to the valences of its neighbors, in such a way that low values lead to reducible configurations, and high values lead to large maps.     

A topological invariant for pairs of maps

In this paper we develop the notion of contact orders for pairs of continuous self-maps (f, g) from ℝⁿ, showing that the set Con(f, g) of all possible contact orders between f and g is a topological invariant (we remark that Con(f, id) = Per(f)). As an interesting application of this concept, we give sufficient conditions for the graphs of two continuous self-maps from ℝ intersect each other. We also determine the ordering of the sets Con(f, 0) and Con(f, h), for h ∈ Hom(ℝ) such that f ∘ h = h ∘ f. For this latter set we obtain a generalization of Sharkovsky’s theorem.     

The geometry of the asymptotics of polynomial maps

The aim of this paper is to develop a theory for the asymptotic behavior of polynomials and of polynomial maps overR and overC and to apply it to the Jacobian conjecture. This theory gives a unified frame for some results on polynomial maps that were not related before. A well known theorem of J. Hadamard gives a necessary and sufficient condition on a local diffeomorphismf: R ⁿ →R ⁿ to be a global diffeomorphism. In order to show thatf is a global diffeomorphism it suffices to exclude the existence of asymptotic values forf. The real Jacobian conjecture was shown to be false by S. Pinchuk. Our first application is to understand his construction within the general theory of asymptotic values of polynomial maps and prove that there is no such counterexample for the Jacobian conjecture overC. In a second application we reprove a theorem of Jeffrey Lang which gives an equivalent formulation of the Jacobian conjecture in terms of Newton polygons. This generalizes a result of Abhyankar. A third application is another equivalent formulation of the Jacobian conjecture in terms of finiteness of certain polynomial rings withinC[U, V]. The theory has a geometrical aspect: we define and develop the theory of etale exotic surfaces. The simplest such surface corresponds to Pinchuk's construction in the real case. In fact, we prove one more equivalent formulation of the Jacobian conjecture using etale exotic surfaces. We consider polynomial vector fields on etale exotic surfaces and explore their properties in relation to the Jacobian conjecture. In another application we give the structure of the real variety of the asymptotic values of a polynomial mapf: R ² →R ² .     

A Tutte polynomial for maps II: The non-orientable case

We construct a new polynomial invariant of maps (graphs embedded in a closed surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollobás—Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tensions taking non-identity values in a given finite group.     

The distance between fixed points of some pairs of maps in Banach spaces and applications to differential systems

Let T be a λ-contraction on a Banach space Y and let S be an almost λ-contraction, i.e. sum of an (ε, λ)-contraction with a continuous, bounded function which is less than ε in norm. According to the contraction principle, there is a unique element u in Y for which u = Tu: If moreover there exists v in Y with v = Sv, then we will give estimates for ‖u−v‖. Finally, we establish some inequalities related to the Cauchy problem.