相关论文: A Note on Lipshitz's Lemma 3
The presence of an isotropic tricritical Lifshitz point for the O(N) scalar theory is investigated in the 1/N expansion by means of the Functional Renormalization Group equations. At leading order, the non-trivial Lifshitz point is observed…
In this note, we derive a Leibniz rule for difference quotient.
Recently it was shown that it is undecidable whether a term rewrite system can be proved terminating by a polynomial interpretation in the natural numbers. In this paper we show that this is also the case when restricting the…
Following G.~Gr\"atzer and E.~Knapp, 2009, a planar semimodular lattice $L$ is \emph{rectangular}, if~the left boundary chain has exactly one doubly-irreducible element, $c_l$, and the right boundary chain has exactly one doubly-irreducible…
For a sequence $\gamma=(\gamma_n)_{n\ge 1}$, define \[ L_\gamma(z):=\sum_{n\ge 1}\gamma_n\frac{z^n}{1-z^n} =\sum_{n\ge 1}\Bigl(\sum_{d\mid n}\gamma_d\Bigr)z^n. \] We prove a short rigidity theorem: if $\gamma$ is eventually linearly…
Zilber's Theorem states that a finite lattice $L$ is planar if{}f it has a complementary order relation. We provide a new proof for this crucial result and discuss some applications, including a canonical form for finite planar lattices and…
We present a class of lattices in R^d (d >= 2) which we call GL-lattices and conjecture that any lattice is such. This conjecture is referred to as GLC. Littlewood's conjecture amounts to saying that Z^2 is GL. We then prove existence of GL…
We prove that the set of visible points of any lattice of dimension at least 2 has pure point diffraction spectrum, and we determine the diffraction spectrum explicitly. This settles previous speculation on the exact nature of the…
It is proved that the Continuum Hypothesis implies that any sequence of rapid P-points of length $<{\mathfrak c}^{+}$ which is increasing with respect to the Rudin-Keisler ordering is bounded above by a rapid P-point. This is an improvement…
We address a metric version of Zariski's multiplicity conjecture at infinity that says that two complex algebraic affine sets which are bi-Lipschitz homeomorphic at infinity must have the same degree. More specifically, we prove that the…
We show that on a certain hypersurface in P3 there is a (q3 + q2 + q + 1)q+1-symmetric configuration (resp. a ((q3 + 1)(q2 + 1)q+1, (q3 + 1)(q + 1)q2+1)) -configuration) made up of the rational points over Fq (resp. over Fq2) and the lines…
Let $D_n(1,x)$ be the $n$th reversed Dickson polynomial. The power sums $\sum_{a\in\Bbb F_q}D_n(1,a)^i$, $i=1,2$, have been determined recently. In this paper we give an evaluation of the sum $\sum_{a\in\Bbb F_q}D_n(1,a)^3$. This result…
We prove that the set of directions of lines intersecting three disjoint balls in $R^3$ in a given order is a strictly convex subset of $S^2$. We then generalize this result to $n$ disjoint balls in $R^d$. As a consequence, we can improve…
The authors show, by means of a finitary version square^{fin}_{lambda,D} of the combinatorial principle square^{b^*}_{lambda}, the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all…
Let $k$ be a field of characteristic zero, let $R$ be the ring of formal power series in $n$ variables over $k$ and let $D(R,k)$ be the ring of $k-$linear differential operators in $R$. If $M$ is a finitely generated $D(R,k)-$module then…
We discuss Ray Heitmann's recent proof of the Direct Summand Conjecture in dimension 3 in mixed characteristic. This paper contains a discussion of his methods, a proof of the theorem, and a direct proof of the Canonical Element Conjecture…
Wrong assumptions were made in the proof of Theorem 3.12 and Lemma 3.6. A preprint containing a correct proof for Lemma 3.6 is in preparation and will be uploaded later this month. So the results of section 3 are correct, apart from Theorem…
The Gr\"atzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable…
W.M.Schmit[11] conjectured that for any$\;\theta$ with deg$\;\theta\geq 3,$ there is no constant$\;C=C(\theta)$ so that$\;|p-q\theta|>Cq^{-1}$ for every rationa$\;p/q.$ [12,p26] states that the computations of the first several thousand…
We show that the module of integral points on a Drinfeld module satisfies a an analogue of Dirichlet's unit theorem, despite its failure to be finitely generated. As a consequence, we obtain a construction of a canonical finitely generated…