No Arabic abstract
Simple cubic lattice (SC lattice) can be viewed as plane triangular lattice (PT lattice) by viewing it along its principle diagonal lines. By viewing thus we establish the exact one-to-one correspondence between the closed graphs on SC lattice and the corresponding closed graphs on PT lattice. We thus see that the propagator for PT lattice (with suitable modifications) can be used to solve, at least in principle, the 3D Ising problem for SC lattice in the absence of external magnetic field. A new method is then proposed to generate high temperature expansion for the partition function. This method is applicable to 2D as well as 3D lattices. This method does not require explicit counting of closed graphs and this counting is achieved in an indirect way and thus exact series expansion can be achieved up to any sufficiently large order.
Recent results for the Ising model with first ($J_1$) and second ($J_2$) neighbour interactions on the body-centered cubic (bcc) lattice suggest that this model can host signatures of strong frustration, including Schottky anomalies and residual entropy, as well as, a spin-liquid-like phase [E. Jurv{c}iv{s}inova and M. Jurv{c}iv{s}in, Phys. Rev. B, 101 214443 (2020)]. Motivated by these findings, we investigate phase transitions and thermodynamics of this model using a cluster mean-field approach. In this lattice, tuning $g=J_2/J_1$ leads to a ground-state transition between antiferromagnetic (AF) and superantiferromagnetic (SAF) phases at the frustration maximum $g=2/3$. Although the ordering temperature is reduced as $g to 2/3$, our findings suggest the absence of any Schottky anomaly and residual entropy, in good agreement with Monte Carlo simulations. We also find a direct transition between AF and SAF phases, ruling out the presence of the spin-liquid-like state. Furthermore, the cluster mean-field outcomes support a scenario with only continuous phase transitions between the paramagnetic state and the low-temperature long-range orders. Therefore, our results indicate the absence of strong frustration effects in the thermodynamics and in the nature of phase transitions, which can be ascribed to the higher dimensionality of the bcc lattice.
Starting from the symmetrical reflection functional equation of the zeta function, we have found that the sigma values satisfying zeta(s) = 0 must also satisfy both |zeta(s)| = |zeta(1 - s)| and |gamma(s/2)zeta(s)| = |gamma((1 - s)/2)zeta(1 - s)|. We have shown that sigma = 1/2 is the only numeric solution that satisfies this requirement.
We present a necessary and sufficient condition for a cubic polynomial to be positive for all positive reals. We identify the set where the cubic polynomial is nonnegative but not all positive for all positive reals, and explicitly give the points where the cubic polynomial attains zero. We then reformulate a necessary and sufficient condition for a quartic polynomial to be nonnegative for all positive reals. From this, we derive a necessary and sufficient condition for a quartic polynomial to be nonnegative and positive for all reals. Our condition explicitly exhibits the scope and role of some coefficients, and has strong geometrical meaning. In the interior of the nonnegativity region for all reals, there is an appendix curve. The discriminant is zero at the appendix, and positive in the other part of the interior of the nonnegativity region. By using the Sturm sequences, we present a necessary and sufficient condition for a quintic polynomial to be positive and nonnegative for all positive reals. We show that for polynomials of a fixed even degree higher than or equal to four, if they have no real roots, then their discriminants take the same sign, which depends upon that degree only, except on an appendix set of dimension lower by two, where the discriminants attain zero.
The classical Heisenberg antiferromagnet with uniaxial exchange anisotropy, the XXZ model, in a magnetic field on a simple cubic lattice is studied with the help of extensive Monte Carlo simulations. Analyzing, especially, various staggered susceptibilities and Binder cumulants, we present clear evidence for the meeting point of the antiferromagnetic, spin--flop, and paramagnetic phases being a bicritical point with Heisenberg symmetry. Results are compared to previous predictions based on various theoretical approaches.
This paper proves that there does not exist a polynomial-time algorithm to the the subset sum problem. As this problem is in NP, the result implies that the class P of problems admitting polynomial-time algorithms does not equal the class NP of problems admitting nondeterministic polynomial-time algorithms.