An old conjecture of Erdos-Turán on additive bases

There is a 1941 conjecture of Erdos and Turán on what is now called additive basis that we restate:

Conjecture 0.1(Erdos and Turán). Suppose that is an increasing sequence of integers and

Suppose that

If 0$"> for all , then is unbounded.

Our main purpose is to show that the sequence cannot be bounded by . There is a surprisingly simple, though computationally very intensive, algorithm that establishes this.

     

On matrix analogs of Fermat’s little theorem

The theorem proved in this paper gives a congruence for the traces of powers of an algebraic integer for the case in which the exponent of the power is a prime power. The theorem implies a congruence in Gauss’ form for the traces of the sums of powers of algebraic integers, generalizing many familiar versions of Fermat’s little theorem. Applied to the traces of integer matrices, this gives a proof of Arnold’s conjecture about the congruence of the traces of powers of such matrices for the case in which the exponent of the power is a prime power.     

Floer–Novikov cohomology and the flux conjecture

We study Floer–Novikov cohomology with local coefficients and prove the flux conjecture for general closed symplectic manifolds. Received: February 2005, Revised: May 2006, Accepted: May 2006 Partially supported by the Grant-in-Aid for Scientific Research No. 14003419, Japan Society for the Promotion of Sciences.     

THE WEINSTEIN CONJECTURE ON C~1-SMOOTH HYPERSURFACE OF CONTACT TYPE

In this note a symplectic capacity of Hofer-Zehnder type that is only invariant under C1-symplectomorphisms is defined and all computation formulae for Hofer-Zehnder symplectic capacity obtained at present are proved still holding for it. As a consequence some results on Weinstein conjecture are generalized to C1-smooth hypersurface of contact type.     

The Novikov Conjecture for Low Degree Cohomology Classes

We outline a twisted analogue of the Mishchenko–Kasparov approach to prove the Novikov conjecture on the homotopy invariance of the higher signatures. Using our approach, we give a new and simple proof of the homotopy invariance of the higher signatures associated to all cohomology classes of the classifying space that belong to the subring of the cohomology ring of the classifying space that is generated by cohomology classes of degree less than or equal to 2, a result that was first established by Connes and Gromov and Moscovici using other methods. A key new ingredient is the construction of a tautological C* _r (, )-bundle and connection, which can be used to construct a C* _r (, )-index that lies in the Grothendieck group of C* _r (, ), where is a multiplier on the discrete group corresponding to a degree 2 cohomology class. We also utilise a main result of Hilsum and Skandalis to establish our theorem.     

Symmetrized Chebyshev polynomials

We define a class of multivariate Laurent polynomials closely related to Chebyshev polynomials and prove the simple but somewhat surprising (in view of the fact that the signs of the coefficients of the Chebyshev polynomials themselves alternate) result that their coefficients are non-negative. As a corollary we find that and are positive definite functions. We further show that a Central Limit Theorem holds for the coefficients of our polynomials.

     

有限子集系的Sperner系

1９８０年，Ｋｏ-Ｗｅｉ Ｌｉｈ提出如下猜想：如果Ｆ是由Ｂ^ｎ中固定秩的不同元素生成的序理想，那么Ｆ是Ｓｐｅｒｎｅｒ系．本文证实了当Ｆ是由Ｘ的子集Ｙ的所有相同秩的元素生成的序理想，猜想是正确的     

Bounds and inequalities for single server loss systems

We consider a single server loss system in which arrivals occur according to a doubly stochastic Poisson process with a stationary ergodic intensity functionλ _t . The service times are independent, exponentially distributed r.v.'s with meanμ ⁻¹, and are independent of arrivals. We obtain monotonicity results for loss probabilities under time scaling as well as under amplitude scaling ofλ _t . Moreover, using these results we obtain both lower and upper bounds for the loss probability.     

A simple three‐wave approximate Riemann solver for the Saint‐Venant‐Exner equations

Erosion and sediments transport processes have a great impact on industrial structures and on water quality. Despite its limitations, the Saint‐Venant‐Exner system is still (and for sure for some years) widely used in industrial codes to model the bedload sediment transport. In practice, its numerical resolution is mostly handled by a splitting technique that allows a weak coupling between hydraulic and morphodynamic distinct softwares but may suffer from important stability issues. In recent works, many authors proposed alternative methods based on a strong coupling that cure this problem but are not so trivial to implement in an industrial context. In this work, we then pursue 2 objectives. First, we propose a very simple scheme based on an approximate Riemann solver, respecting the strong coupling framework, and we demonstrate its stability and accuracy through a number of numerical test cases. However, second, we reinterpret our scheme as a splitting technique and we extend the purpose to propose what should be the minimal coupling that ensures the stability of the global numerical process in industrial codes, at least, when dealing with collocated finite volume method. The resulting splitting method is, up to our knowledge, the only one for which stability properties are fully demonstrated.