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)

   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. Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms

   https://doi.org/10.1007/s00224-022-10106-8  

   Vyas, Nikhil ; Williams, R. Ryan ( November 2022 , Theory of Computing Systems)

   We continue the program of proving circuit lower bounds via circuit satisfiability algorithms. So far, this program has yielded several concrete results, proving that functions in$\mathsf {Quasi}\text {-}\mathsf {NP} = \mathsf {NTIME}[n^{(\log n)^{O(1)}}]$$\mathrm{Quasi}-\mathrm{NP}=\mathrm{NTIME}\left[n^{{\left(\log n\right)}^{O\left(1\right)}}\right]$and other complexity classes do not have small circuits (in the worst case and/or on average) from various circuit classes$\mathcal { C}$$C$, by showing that$\mathcal { C}$$C$admits non-trivial satisfiability and/or#SAT algorithms which beat exhaustive search by a minor amount. In this paper, we present a new strong lower bound consequence of having a non-trivial#SAT algorithm for a circuit class${\mathcal C}$$C$. Say that a symmetric Boolean functionf(x₁,…,x_n) issparseif it outputs 1 onO(1) values of${\sum }_{i} x_{i}$${\sum }_i{x}_i$. We show that for every sparsef, and for all “typical”$\mathcal { C}$$C$, faster#SAT algorithms for$\mathcal { C}$$C$circuits imply lower bounds against the circuit class$f \circ \mathcal { C}$$f\circ C$, which may bestrongerthan$\mathcal { C}$$C$itself. In particular:

   #SAT algorithms forn^k-size$\mathcal { C}$$C$-circuits running in 2ⁿ/n^ktime (for allk) implyNEXPdoes not have$(f \circ \mathcal { C})$$(f\circ C)$-circuits of polynomial size.

   #SAT algorithms for$2^{n^{{\varepsilon }}}$$2^{n^{\epsilon }}$-size$\mathcal { C}$$C$-circuits running in$2^{n-n^{{\varepsilon }}}$$2^{n-n^{\epsilon }}$time (for someε> 0) implyQuasi-NPdoes not have$(f \circ \mathcal { C})$$(f\circ C)$-circuits of polynomial size.

   Applying#SAT algorithms from the literature, one immediate corollary of our results is thatQuasi-NPdoes not haveEMAJ∘ACC⁰∘THRcircuits of polynomial size, whereEMAJis the “exact majority” function, improving previous lower bounds againstACC⁰[Williams JACM’14] andACC⁰∘THR[Williams STOC’14], [Murray-Williams STOC’18]. This is the first nontrivial lower bound against such a circuit class.

    

   more » « less
3. Hermitian–Yang–Mills Connections on Collapsing Elliptically Fibered K3 Surfaces

   https://doi.org/10.1007/s12220-021-00808-9  

   Datar, Ved ; Jacob, Adam ( January 2022 , The Journal of Geometric Analysis)

   Let$$X\rightarrow {{\mathbb {P}}}^1$$$X\to P^1$be an elliptically fiberedK3 surface, admitting a sequence$$\omega _{i}$$${\omega }_i$of Ricci-flat metrics collapsing the fibers. LetVbe a holomorphicSU(n) bundle overX, stable with respect to$$\omega _i$$${\omega }_i$. Given the corresponding sequence$$\Xi _i$$${\Xi }_i$of Hermitian–Yang–Mills connections onV, we prove that, ifEis a generic fiber, the restricted sequence$$\Xi _i|_{E}$$${\Xi }_i{|}_E$converges to a flat connection$$A_0$$$A_0$. Furthermore, if the restriction$$V|_E$$${V|}_E$is of the form$$\oplus _{j=1}^n{\mathcal {O}}_E(q_j-0)$$${\oplus }_{j=1}^n{O}_E(q_j-0)$forndistinct points$$q_j\in E$$$q_j\in E$, then these points uniquely determine$$A_0$$$A_0$.

    

   more » « less
4. Coulomb-free 1S0 p − p scattering length from the quasi-free p + d → p + p + n reaction and its relation to universality

   https://doi.org/10.1038/s42005-023-01221-0  

   Tumino, Aurora ; Rapisarda, Giuseppe G. ; La Cognata, Marco ; Oliva, Alessandro ; Kievsky, Alejandro ; Bertulani, Carlos A. ; D’Agata, Giuseppe ; Gattobigio, Mario ; Guardo, Giovanni L. ; Lamia, Livio ; et al ( May 2023 , Communications Physics)

   The Coulomb-free¹S₀proton-proton (p-p) scattering length relies heavily on numerous and distinct theoretical techniques to remove the Coulomb contribution. Here, it has been determined from the half-off-the-energy-shellp-pscattering cross section measured at center-of-mass energies below 1 MeV using the quasi-freep + d → p + p + nreaction. A Bayesian data-fitting approach using the expression of the s-wave nucleon-nucleon scattering cross section returned ap-pscattering length$${a}_{pp}=-18.1{7}_{-0.58}^{+0.52}{| }_{stat}\pm 0.0{1}_{syst}$$$a_{pp}=-18.17_{-0.58}^{+0.52}{\mid }_{stat}\pm 0.01_{syst}$fm and effective ranger₀ = 2.80 ± 0.05_stat ± 0.001_systfm. A model based on universality concepts has been developed to interpret this result. It accounts for the short-range interaction as a whole, nuclear and residual electromagnetic, according to what the s-wave phase-shiftδdoes in the description of low-energy nucleon-nucleon scattering data. We conclude that our parameters are representative of the short-range physics and propose to assess the charge symmetry breaking of the short-range interaction instead of just the nuclear interaction. This is consistent with the current understanding that the charge dependence of nuclear forces is due to different masses of up-down quarks and their electromagnetic interactions. This achievement suggests that these properties have a lesser than expected impact in the context of the charge symmetry breaking.

    

   more » « less
5. Magellan/IMACS Spectroscopy of Grus I: A Low Metallicity Ultra-faint Dwarf Galaxy*

   https://doi.org/10.3847/1538-4357/ac96ed  

   Chiti, Anirudh ; Simon, Joshua D. ; Frebel, Anna ; Pace, Andrew B. ; Ji, Alexander P. ; Li, Ting S. ( November 2022 , The Astrophysical Journal)

   We present a chemodynamical study of the Grus I ultra-faint dwarf galaxy (UFD) from medium-resolution (R∼ 11,000) Magellan/IMACS spectra of its individual member stars. We identify eight confirmed members of Grus I, based on their low metallicities and coherent radial velocities, and four candidate members for which only velocities are derived. In contrast to previous work, we find that Grus I has a very low mean metallicity of 〈[Fe/H]〉 = −2.62 ± 0.11 dex, making it one of the most metal-poor UFDs. Grus I has a systemic radial velocity of −143.5 ± 1.2 km s⁻¹and a velocity dispersion of${\sigma }_{\mathrm{rv}}={2.5}_{-0.8}^{+1.3}$km s⁻¹, which results in a dynamical mass of$M_{1/2}(r_h)=8_{-4}^{+12}\times {10}^5$M_⊙and a mass-to-light ratio ofM/L_V=${440}_{-250}^{+650}$M_⊙/L_⊙. Under the assumption of dynamical equilibrium, our analysis confirms that Grus I is a dark-matter-dominated UFD (M/L> 80M_⊙/L_⊙). However, we do not resolve a metallicity dispersion (σ_[Fe/H]< 0.44 dex). Our results indicate that Grus I is a fairly typical UFD with parameters that agree with mass–metallicity and metallicity-luminosity trends for faint galaxies. This agreement suggests that Grus I has not lost an especially significant amount of mass from tidal encounters with the Milky Way, in line with its orbital parameters. Intriguingly, Grus I has among the lowest central densities (${\rho }_{1/2}\sim {3.5}_{-2.1}^{+5.7}\times {10}^7$M_⊙kpc⁻³) of the UFDs that are not known to be tidally disrupting. Models of the formation and evolution of UFDs will need to explain the diversity of these central densities, in addition to any diversity in the outer regions of these relic galaxies.

    

   more » « less