More Like this

1. 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
2. Evidence of a liquid–liquid phase transition in H$$_2$$O and D$$_2$$O from path-integral molecular dynamics simulations

   https://doi.org/10.1038/s41598-022-09525-x  

   Eltareb, Ali; Lopez, Gustavo E.; Giovambattista, Nicolas (April 2022, Scientific Reports)

   Abstract We perform path-integral molecular dynamics (PIMD), ring-polymer MD (RPMD), and classical MD simulations of H$$_2$$ ${}_2$O and D$$_2$$ ${}_2$O using the q-TIP4P/F water model over a wide range of temperatures and pressures. The density$$\rho (T)$$ $\rho \left(T\right)$, isothermal compressibility$$\kappa _T(T)$$ ${\kappa }_T\left(T\right)$, and self-diffusion coefficientsD(T) of H$$_2$$ ${}_2$O and D$$_2$$ ${}_2$O are in excellent agreement with available experimental data; the isobaric heat capacity$$C_P(T)$$ $C_P\left(T\right)$obtained from PIMD and MD simulations agree qualitatively well with the experiments. Some of these thermodynamic properties exhibit anomalous maxima upon isobaric cooling, consistent with recent experiments and with the possibility that H$$_2$$ ${}_2$O and D$$_2$$ ${}_2$O exhibit a liquid-liquid critical point (LLCP) at low temperatures and positive pressures. The data from PIMD/MD for H$$_2$$ ${}_2$O and D$$_2$$ ${}_2$O can be fitted remarkably well using the Two-State-Equation-of-State (TSEOS). Using the TSEOS, we estimate that the LLCP for q-TIP4P/F H$$_2$$ ${}_2$O, from PIMD simulations, is located at$$P_c = 167 \pm 9$$ $P_c=167\pm 9$ MPa,$$T_c = 159 \pm 6$$ $T_c=159\pm 6$ K, and$$\rho _c = 1.02 \pm 0.01$$ ${\rho }_c=1.02\pm 0.01$ g/cm$$^3$$ ${}^3$. Isotope substitution effects are important; the LLCP location in q-TIP4P/F D$$_2$$ ${}_2$O is estimated to be$$P_c = 176 \pm 4$$ $P_c=176\pm 4$ MPa,$$T_c = 177 \pm 2$$ $T_c=177\pm 2$ K, and$$\rho _c = 1.13 \pm 0.01$$ ${\rho }_c=1.13\pm 0.01$ g/cm$$^3$$ ${}^3$. Interestingly, for the water model studied, differences in the LLCP location from PIMD and MD simulations suggest that nuclear quantum effects (i.e., atoms delocalization) play an important role in the thermodynamics of water around the LLCP (from the MD simulations of q-TIP4P/F water,$$P_c = 203 \pm 4$$ $P_c=203\pm 4$ MPa,$$T_c = 175 \pm 2$$ $T_c=175\pm 2$ K, and$$\rho _c = 1.03 \pm 0.01$$ ${\rho }_c=1.03\pm 0.01$ g/cm$$^3$$ ${}^3$). Overall, our results strongly support the LLPT scenario to explain water anomalous behavior, independently of the fundamental differences between classical MD and PIMD techniques. The reported values of$$T_c$$ $T_c$for D$$_2$$ ${}_2$O and, particularly, H$$_2$$ ${}_2$O suggest that improved water models are needed for the study of supercooled water. 

   more » « less
3. 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
4. Block mapping class groups and their finiteness properties

   https://doi.org/10.1007/s10711-025-00985-9  

   Aramayona, J; Aroca, J; Cumplido, M; Skipper, R; Wu, X (April 2025, Geometriae Dedicata)

   Abstract Given$$g \in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$, let$$\Sigma _g$$ ${\Sigma }_g$denote the closed surface of genusgwith a Cantor set removed, if$$g<\infty $$ $g<\infty$; or the blooming Cantor tree, when$$g= \infty $$ $g=\infty$. We construct a family$$\mathfrak B(H)$$ $B\left(H\right)$of subgroups of$${{\,\textrm{Map}\,}}(\Sigma _g)$$ $\text{Map}\left({\Sigma }_g\right)$whose elements preserve ablock decompositionof$$\Sigma _g$$ ${\Sigma }_g$, andeventually like actlike an element ofH, whereHis a prescribed subgroup of the mapping class group of the block. The group$$\mathfrak B(H)$$ $B\left(H\right)$surjects onto an appropriate symmetric Thompson group of Farley–Hughes; in particular, it answers positively. Our main result asserts that$$\mathfrak B(H)$$ $B\left(H\right)$is of type$$F_n$$ $F_n$if and only ifHis. As a consequence, for every$$g\in \mathbb N \cup \{0, \infty \}$$ $g\in N\cup \{0,\infty \}$and every$$n\ge 1$$ $n\ge 1$, we construct a subgroup$$G <{{\,\textrm{Map}\,}}(\Sigma _g)$$ $G<\text{Map}\left({\Sigma }_g\right)$that is of type$$F_n$$ $F_n$but not of type$$F_{n+1}$$ $F_{n+1}$, and which contains the mapping class group of every compact surface of genus$$\le g$$ $\le g$and with non-empty boundary. 

   more » « less
5. Reduction of the electroweak correlation in the PDF updating by using the forward–backward asymmetry of Drell–Yan process

   https://doi.org/10.1140/epjc/s10052-022-10280-6  

   Yang, Siqi; Fu, Yao; Liu, Minghui; Zhang, Renyou; Hou, Tie-Jiun; Wang, Chen; Yin, Hang; Han, Liang; Yuan, C. -P. (April 2022, The European Physical Journal C)

   Abstract We propose a new observable for the measurement of the forward–backward asymmetry$$(A_{FB})$$ $\left(A_{\mathrm{FB}}\right)$in Drell–Yan lepton production. At hadron colliders, the$$A_{FB}$$ $A_{\mathrm{FB}}$distribution is sensitive to both the electroweak (EW) fundamental parameter$$\sin ^{2} \theta _{W}$$ ${sin}^2{\theta }_W$, the weak mixing angle, and the parton distribution functions (PDFs). Hence, the determination of$$\sin ^{2} \theta _{W}$$ ${sin}^2{\theta }_W$and the updating of PDFs by directly using the same$$A_{FB}$$ $A_{\mathrm{FB}}$spectrum are strongly correlated. This correlation would introduce large bias or uncertainty into both precise measurements of EW and PDF sectors. In this article, we show that the sensitivity of$$A_{FB}$$ $A_{\mathrm{FB}}$on$$\sin ^{2} \theta _{W}$$ ${sin}^2{\theta }_W$is dominated by its average value around theZpole region, while the shape (or gradient) of the$$A_{FB}$$ $A_{\mathrm{FB}}$spectrum is insensitive to$$\sin ^{2} \theta _{W}$$ ${sin}^2{\theta }_W$and contains important information on the PDF modeling. Accordingly, a new observable related to the gradient of the spectrum is introduced, and demonstrated to be able to significantly reduce the potential bias on the determination of$$\sin ^{2} \theta _{W}$$ ${sin}^2{\theta }_W$when updating the PDFs using the same$$A_{FB}$$ $A_{\mathrm{FB}}$data. 

   more » « less