More Like this

1. Numerical signatures of ultra-local criticality in a one dimensional Kondo lattice model

   https://doi.org/10.21468/SciPostPhys.17.2.034  

   Nikolaenko, Alexander; Zhang, Ya-Hui (January 2024, SciPost Physics)

   Heavy fermion criticality has been a long-standing problem in condensed matter physics. Here we study a one-dimensional Kondo lattice model through numerical simulation and observe signatures of local criticality. We vary the Kondo couplingJ_K $J_K$at fixed doping x. At large positiveJ_K $J_K$, we confirm the expected conventional Luttinger liquid phase with2k_F=\frac{1+x}{2} $2k_F=\frac{1+x}{2}$(in units of2\pi $2\pi$), an analogue of the heavy Fermi liquid (HFL) in the higher dimension. In theJ_K ≤ 0 $J_K\le 0$side, our simulation finds the existence of a fractional Luttinger liquid (LL\star $\star$) phase with2k_F=\frac{x}{2} $2k_F=\frac{x}{2}$, accompanied by a gapless spin mode originating from localized spin moments, which serves as an analogue of the fractional Fermi liquid (FL\star $\star$) phase in higher dimensions. The LL\star $\star$phase becomes unstable and transitions to a spin-gapped Luther-Emery (LE) liquid phase at small positiveJ_K $J_K$. Then we mainly focus on the “critical regime” between the LE phase and the LL phase. Approaching the critical point from the spin-gapped LE phase, we often find that the spin gap vanishes continuously, while the spin-spin correlation length in real space stays finite and small. For a certain range of doping, in a point (or narrow region) ofJ_K $J_K$, the dynamical spin structure factor obtained through the time-evolving block decimation (TEBD) simulation shows dispersion-less spin fluctuations in a finite range of momentum space above a small energy scale (around0.035 J $0.035J$) that is limited by the TEBD accuracy. All of these results are unexpected for a regular gapless phase (or critical point) described by conformal field theory (CFT). Instead, they are more consistent with exotic ultra-local criticality with an infinite dynamical exponentz=+ $z=+$. The numerical discovery here may have important implications on our general theoretical understanding of the strange metals in heavy fermion systems. Lastly, we propose to simulate the model in a bilayer optical lattice with a potential difference. 

   more » « less
2. On Pisier Type Theorems

   https://doi.org/10.1007/s00493-024-00115-1  

   Nešetřil, Jaroslav; Rödl, Vojtěch; Sales, Marcelo (July 2024, Combinatorica)

   Abstract For any integer$$h\geqslant 2$$ $h⩾2$, a set of integers$$B=\{b_i\}_{i\in I}$$ $B={\left\{b_i\right\}}_{i\in I}$is a$$B_h$$ $B_h$-set if allh-sums$$b_{i_1}+\ldots +b_{i_h}$$ $b_{i_1}+\dots +b_{i_h}$with$$i_1<\ldots $i_1<\dots <i_h$are distinct. Answering a question of Alon and Erdős [2], for every$$h\geqslant 2$$ $h⩾2$we construct a set of integersXwhich is not a union of finitely many$$B_h$$ $B_h$-sets, yet any finite subset$$Y\subseteq X$$ $Y\subseteq X$contains an$$B_h$$ $B_h$-setZwith$$|Z|\geqslant \varepsilon |Y|$$ $\left|Z\right|⩾\epsilon \left|Y\right|$, where$$\varepsilon :=\varepsilon (h)$$ $\epsilon :=\epsilon \left(h\right)$. We also discuss questions related to a problem of Pisier about the existence of a setAwith similar properties when replacing$$B_h$$ $B_h$-sets by the requirement that all finite sums$$\sum _{j\in J}b_j$$ ${\sum }_{j\in J}{b}_j$are distinct. 

   more » « less
3. Undecidable Translational Tilings with Only Two Tiles, or One Nonabelian Tile

   https://doi.org/10.1007/s00454-022-00426-4  

   Greenfeld, Rachel; Tao, Terence (January 2023, Discrete & Computational Geometry)

   Abstract We construct an example of a group$$G = \mathbb {Z}^2 \times G_0$$ $G=Z^2\times G_0$for a finite abelian group $$G_0$$ $G_0$, a subsetEof $$G_0$$ $G_0$, and two finite subsets$$F_1,F_2$$ $F_1,F_2$of G, such that it is undecidable in ZFC whether$$\mathbb {Z}^2\times E$$ $Z^2\times E$can be tiled by translations of$$F_1,F_2$$ $F_1,F_2$. In particular, this implies that this tiling problem isaperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings ofEby the tiles$$F_1,F_2$$ $F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $$\mathbb {Z}^2$$ $Z^2$). A similar construction also applies for$$G=\mathbb {Z}^d$$ $G=Z^d$for sufficiently large d. If one allows the group$$G_0$$ $G_0$to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile F. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles. 

   more » « less
4. Torsion phenomena for zero-cycles on a product of curves over a number field

   https://doi.org/10.1007/s40993-024-00519-4  

   Gazaki, Evangelia; Love, Jonathan (March 2024, Research in Number Theory)

   Abstract For a smooth projective varietyXover an algebraic number fieldka conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map ofXis a torsion group. In this article we consider a product$$X=C_1\times \cdots \times C_d$$ $X=C_1\times \cdots \times C_d$of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true forX. For a product$$X=C_1\times C_2$$ $X=C_1\times C_2$of two curves over$$\mathbb {Q} $$ $Q$with positive genus we construct many nontrivial examples that satisfy the weaker property that the image of the natural map$$J_1(\mathbb {Q})\otimes J_2(\mathbb {Q})\xrightarrow {\varepsilon }{{\,\textrm{CH}\,}}_0(C_1\times C_2)$$ $J_1\left(Q\right)\otimes J_2\left(Q\right)\stackrel{\epsilon }{\to }{\text{CH}}_0(C_1\times C_2)$is finite, where$$J_i$$ $J_i$is the Jacobian variety of$$C_i$$ $C_i$. Our constructions include many new examples of non-isogenous pairs of elliptic curves$$E_1, E_2$$ $E_1,E_2$with positive rank, including the first known examples of rank greater than 1. Combining these constructions with our previous result, we obtain infinitely many nontrivial products$$X=C_1\times \cdots \times C_d$$ $X=C_1\times \cdots \times C_d$for which the analogous map$$\varepsilon $$ $\epsilon$has finite image. 

   more » « less
5. Finding solutions with distinct variables to systems of linear equations over $$\mathbb {F}_p$$

   https://doi.org/10.1007/s00208-022-02391-y  

   Sauermann, Lisa (April 2022, Mathematische Annalen)

   Abstract Let us fix a primepand a homogeneous system ofmlinear equations$$a_{j,1}x_1+\dots +a_{j,k}x_k=0$$ $a_{j,1}{x}_1+\cdots +a_{j,k}{x}_k=0$for$$j=1,\dots ,m$$ $j=1,\cdots ,m$with coefficients$$a_{j,i}\in \mathbb {F}_p$$ $a_{j,i}\in F_p$. Suppose that$$k\ge 3m$$ $k\ge 3m$, that$$a_{j,1}+\dots +a_{j,k}=0$$ $a_{j,1}+\cdots +a_{j,k}=0$for$$j=1,\dots ,m$$ $j=1,\cdots ,m$and that every$$m\times m$$ $m\times m$minor of the$$m\times k$$ $m\times k$matrix$$(a_{j,i})_{j,i}$$ ${\left(a_{j,i}\right)}_{j,i}$is non-singular. Then we prove that for any (large)n, any subset$$A\subseteq \mathbb {F}_p^n$$ $A\subseteq F_p^n$of size$$|A|> C\cdot \Gamma ^n$$ $\left|A\right|>C·{\Gamma }^n$contains a solution$$(x_1,\dots ,x_k)\in A^k$$ $(x_1,\cdots ,x_k)\in A^k$to the given system of equations such that the vectors$$x_1,\dots ,x_k\in A$$ $x_1,\cdots ,x_k\in A$are all distinct. Here,Cand$$\Gamma $$ $\Gamma$are constants only depending onp,mandksuch that$$\Gamma $\Gamma <p$. The crucial point here is the condition for the vectors$$x_1,\dots ,x_k$$ $x_1,\cdots ,x_k$in the solution$$(x_1,\dots ,x_k)\in A^k$$ $(x_1,\cdots ,x_k)\in A^k$to be distinct. If we relax this condition and only demand that$$x_1,\dots ,x_k$$ $x_1,\cdots ,x_k$are not all equal, then the statement would follow easily from Tao’s slice rank polynomial method. However, handling the distinctness condition is much harder, and requires a new approach. While all previous combinatorial applications of the slice rank polynomial method have relied on the slice rank of diagonal tensors, we use a slice rank argument for a non-diagonal tensor in combination with combinatorial and probabilistic arguments. 

   more » « less