More Like this

1. Local structure elucidation of tungsten-substituted vanadium dioxide (V$$_{1-x}$$W$$_x$$O$$_2$$)

   https://doi.org/10.1038/s41598-022-18575-0  

   Wilson, Catrina E. ; Gibson, Amanda E. ; Cuillier, Paul M. ; Li, Cheng-Han ; Crosby, Patrice H. N. ; Trigg, Edward B. ; Najmr, Stan ; Murray, Christopher B. ; Jinschek, Joerg R. ; Doan-Nguyen, Vicky ( August 2022 , Scientific Reports)

   Initially, vanadium dioxide seems to be an ideal first-order phase transition case study due to its deceptively simple structure and composition, but upon closer inspection there are nuances to the driving mechanism of the metal-insulator transition (MIT) that are still unexplained. In this study, a local structure analysis across a bulk powder tungsten-substitution series is utilized to tease out the nuances of this first-order phase transition. A comparison of the average structure to the local structure using synchrotron x-ray diffraction and total scattering pair-distribution function methods, respectively, is discussed as well as comparison to bright field transmission electron microscopy imaging through a similar temperature-series as the local structure characterization. Extended x-ray absorption fine structure fitting of thin film data across the substitution-series is also presented and compared to bulk. Machine learning technique, non-negative matrix factorization, is applied to analyze the total scattering data. The bulk MIT is probed through magnetic susceptibility as well as differential scanning calorimetry. The findings indicate the local transition temperature ($$T_c$$$T_c$) is less than the average$$T_c$$$T_c$supporting the Peierls-Mott MIT mechanism, and demonstrate that in bulk powder and thin-films, increasing tungsten-substitution instigates local V-oxidation through the phase pathway VO$$_2\, \rightarrow$$${}_2\to$V$$_6$$${}_6$O$$_{13} \, \rightarrow$$${}_{13}\to$V$$_2$$${}_2$O$$_5$$${}_5$.
2. Non-simple conformal loop ensembles on Liouville quantum gravity and the law of CLE percolation interfaces

   https://doi.org/10.1007/s00440-021-01070-4  

   Miller, Jason ; Sheffield, Scott ; Werner, Wendelin ( June 2021 , Probability Theory and Related Fields)

   We study the structure of the Liouville quantum gravity (LQG) surfaces that are cut out as one explores a conformal loop-ensemble$$\hbox {CLE}_{\kappa '}$$${\text{CLE}}_{{\kappa }^{\prime }}$for$$\kappa '$$${\kappa }^{\prime }$in (4, 8) that is drawn on an independent$$\gamma $$$\gamma$-LQG surface for$$\gamma ^2=16/\kappa '$$${\gamma }^2=16/{\kappa }^{\prime }$. The results are similar in flavor to the ones from our companion paper dealing with$$\hbox {CLE}_{\kappa }$$${\text{CLE}}_{\kappa }$for$$\kappa $$$\kappa$in (8/3, 4), where the loops of the CLE are disjoint and simple. In particular, we encode the combined structure of the LQG surface and the$$\hbox {CLE}_{\kappa '}$$${\text{CLE}}_{{\kappa }^{\prime }}$in terms of stable growth-fragmentation trees or their variants, which also appear in the asymptotic study of peeling processes on decorated planar maps. This has consequences for questions that do a priori not involve LQG surfaces: In our paper entitled “CLE Percolations” described the law of interfaces obtained when coloring the loops of a$$\hbox {CLE}_{\kappa '}$$${\text{CLE}}_{{\kappa }^{\prime }}$independently into two colors with respective probabilitiespand$$1-p$$$1-p$. This description was complete up to one missing parameter$$\rho $$$\rho$. The results of the present paper about CLE on LQG allow us to determine its value in terms ofpand$$\kappa '$$${\kappa }^{\prime }$. It shows in particular that$$\hbox {CLE}_{\kappa '}$$${\text{CLE}}_{{\kappa }^{\prime }}$and$$\hbox {CLE}_{16/\kappa '}$$${\text{CLE}}_{16/{\kappa }^{\prime }}$are related via a continuum analog of the Edwards-Sokal coupling between$$\hbox {FK}_q$$${\text{FK}}_q$percolation and theq-state Potts model (which makes sense evenmore »for non-integerqbetween 1 and 4) if and only if$$q=4\cos ^2(4\pi / \kappa ')$$$q=4{cos}^2(4\pi /{\kappa }^{\prime })$. This provides further evidence for the long-standing belief that$$\hbox {CLE}_{\kappa '}$$${\text{CLE}}_{{\kappa }^{\prime }}$and$$\hbox {CLE}_{16/\kappa '}$$${\text{CLE}}_{16/{\kappa }^{\prime }}$represent the scaling limits of$$\hbox {FK}_q$$${\text{FK}}_q$percolation and theq-Potts model whenqand$$\kappa '$$${\kappa }^{\prime }$are related in this way. Another consequence of the formula for$$\rho (p,\kappa ')$$$\rho (p,{\kappa }^{\prime })$is the value of half-plane arm exponents for such divide-and-color models (a.k.a. fuzzy Potts models) that turn out to take a somewhat different form than the usual critical exponents for two-dimensional models.

   « less
3. Semileptonic form factors for $$B\rightarrow D^*\ell \nu $$ at nonzero recoil from $$2+1$$-flavor lattice QCD: Fermilab Lattice and MILC Collaborations

   https://doi.org/10.1140/epjc/s10052-022-10984-9  

   Bazavov, A. ; DeTar, C. E. ; Du, D. ; El-Khadra, A. X. ; Gámiz, E. ; Gelzer, Z. ; Gottlieb, S. ; Heller, U. M. ; Kronfeld, A. S. ; Laiho, J. ; et al ( December 2022 , The European Physical Journal C)

   We present the first unquenched lattice-QCD calculation of the form factors for the decay$$B\rightarrow D^*\ell \nu $$$B\to D^{\ast }\ell \nu$at nonzero recoil. Our analysis includes 15 MILC ensembles with$$N_f=2+1$$$N_f=2+1$flavors of asqtad sea quarks, with a strange quark mass close to its physical mass. The lattice spacings range from$$a\approx 0.15$$$a\approx 0.15$fm down to 0.045 fm, while the ratio between the light- and the strange-quark masses ranges from 0.05 to 0.4. The valencebandcquarks are treated using the Wilson-clover action with the Fermilab interpretation, whereas the light sector employs asqtad staggered fermions. We extrapolate our results to the physical point in the continuum limit using rooted staggered heavy-light meson chiral perturbation theory. Then we apply a model-independent parametrization to extend the form factors to the full kinematic range. With this parametrization we perform a joint lattice-QCD/experiment fit using several experimental datasets to determine the CKM matrix element$$|V_{cb}|$$$|V_{\mathrm{cb}}|$. We obtain$$\left| V_{cb}\right| = (38.40 \pm 0.68_{\text {th}} \pm 0.34_{\text {exp}} \pm 0.18_{\text {EM}})\times 10^{-3}$$$\left(V_{\mathrm{cb}}\right)=(38.40\pm 0.{68}_{\text{th}}\pm 0.{34}_{\text{exp}}\pm 0.{18}_{\text{EM}})\times {10}^{-3}$. The first error is theoretical, the second comes from experiment and the last one includes electromagnetic and electroweak uncertainties, with an overall$$\chi ^2\text {/dof} = 126/84$$${\chi }^2\text{/dof}=126/84$, which illustrates the tensions between the experimental data sets, and between theory and experiment. This result is inmore »agreement with previous exclusive determinations, but the tension with the inclusive determination remains. Finally, we integrate the differential decay rate obtained solely from lattice data to predict$$R(D^*) = 0.265 \pm 0.013$$$R\left(D^{\ast }\right)=0.265\pm 0.013$, which confirms the current tension between theory and experiment.

   « less
4. The Hanson–Wright inequality for random tensors

   https://doi.org/10.1007/s43670-022-00028-4  

   Bamberger, Stefan ; Krahmer, Felix ; Ward, Rachel ( August 2022 , Sampling Theory, Signal Processing, and Data Analysis)

   We provide moment bounds for expressions of the type$$(X^{(1)} \otimes \cdots \otimes X^{(d)})^T A (X^{(1)} \otimes \cdots \otimes X^{(d)})$$${(X^{\left(1\right)}\otimes \cdots \otimes X^{\left(d\right)})}^{T}A(X^{\left(1\right)}\otimes \cdots \otimes X^{\left(d\right)})$where$$\otimes $$$\otimes$denotes the Kronecker product and$$X^{(1)}, \ldots , X^{(d)}$$$X^{\left(1\right)},\dots ,X^{\left(d\right)}$are random vectors with independent, mean 0, variance 1, subgaussian entries. The bounds are tight up to constants depending ondfor the case of Gaussian random vectors. Our proof also provides a decoupling inequality for expressions of this type. Using these bounds, we obtain new, improved concentration inequalities for expressions of the form$$\Vert B (X^{(1)} \otimes \cdots \otimes X^{(d)})\Vert _2$$$\Vert B(X^{\left(1\right)}\otimes \cdots \otimes X^{\left(d\right)}){\Vert }_2$.
5. 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 polynomialmore »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.

   « less