Related papers: On a weak form of Ennola's conjecture about certai…

In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In section 1 we prove that Loeb spaces are compact under…

The Shub-Smale Tau Conjecture is a hitherto unproven statement (on integer roots of polynomials) whose truth implies both a variant of $P\neq NP$ (for the BSS model over C) and the hardness of the permanent. We give alternative conjectures,…

We study a weighted version of Carleman's inequality via Carleman's original approach. As an application of our result, we prove a conjecture of Bennett.

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm…

We give an overview about well-known basic properties of two classes of q-Fibonacci and q-Lucas polynomials and offer a common generalization.

We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as…

We prove a curious identity for the Bernoulli numbers.

A finitely generated module over the ring L=Z[t, t^{-1}] of integer Laurent polynomials that has no Z-torsion is determined by a pair of sub-lattices of L^d. Their indices are the absolute values of the leading and trailing coefficients of…

We continue our study on relationships between Bernoulli polynomials and balancing (Lucas-balancing) polynomials. From these polynomial relations, we deduce new combinatorial identities with Fibonacci (Lucas) and Bernoulli numbers.…

We consider weak solutions to $$-\Delta_pu+a(x,u)|\nabla u|^q=f(x,u),$$ with $p>1$, $q\geq\max\,\{p-1,1\}$. We exploit the Moser iteration technique to prove a Harnack comparison inequality for $C^1$ weak solutions. As a consequence we…

This paper studies the existence of invariant smooth Lagrangian graphs for Tonelli Hamiltonian systems with symmetries. In particular, we consider Tonelli Hamiltonians with n independent but not necessarily involutive constants of motion…

We show that a weak form of the generalized Bocherer's conjecture implies multiplicity one for Siegel cusp forms of degree 2.

We lift to the multivariate Eulerian polynomials the identity implying that univariate Eulerian polynomials are palindromic. As a consequence of this generalization, we obtain nice combinatorial identities that can be directly extracted…

In this paper, we make some conjectures on prime numbers that are sharper than those found in the current literature. First we describe our studies on Legendre's Conjecture which is still unsolved. Next, we show that Brocard's Conjecture…

We improve and expand in two directions the theory of norms on complex matrices induced by random vectors. We first provide a simple proof of the classification of weakly unitarily invariant norms on the Hermitian matrices. We use this to…

For rational points on algebraic varieties defined over a number field $K$, we study the behavior of the property of weak approximation with Brauer-Manin obstruction under extension of the ground field. We construct K-varieties accompanied…

In this paper, we prove that the conductor formula of Bloch implies the conjecture of Deligne on Milnor numbers of isolated singularities. In particular, thanks to the work of Bloch on his conjecture, our result implies that this so-called…

In this article we show how any formula A with a proof in minimal implicational logic that is super-polynomially sized has a polynomially-sized proof in classical implicational propositional logic . This fact provides an argument in favor…

Classical binomial identities are established by giving probabilistic interpretations to the summands. The examples include Vandermonde identity and some generalizations.

We combine Deligne's global invariant cycle theorem, and the algebraicity theorem of Cattani, Deligne and Kaplan, for the connected components of the locus of Hodge classes, to conclude that under simple assumptions these components are…