An official website of the United States government
Abstract Let$$M_{\langle \mathbf {u},\mathbf {v},\mathbf {w}\rangle }\in \mathbb C^{\mathbf {u}\mathbf {v}}{\mathord { \otimes } } \mathbb C^{\mathbf {v}\mathbf {w}}{\mathord { \otimes } } \mathbb C^{\mathbf {w}\mathbf {u}}$$denote the matrix multiplication tensor (and write$$M_{\langle \mathbf {n} \rangle }=M_{\langle \mathbf {n},\mathbf {n},\mathbf {n}\rangle }$$), and let$$\operatorname {det}_3\in (\mathbb C^9)^{{\mathord { \otimes } } 3}$$denote the determinant polynomial considered as a tensor. For a tensorT, let$$\underline {\mathbf {R}}(T)$$denote its border rank. We (i) give the first hand-checkable algebraic proof that$$\underline {\mathbf {R}}(M_{\langle 2\rangle })=7$$, (ii) prove$$\underline {\mathbf {R}}(M_{\langle 223\rangle })=10$$and$$\underline {\mathbf {R}}(M_{\langle 233\rangle })=14$$, where previously the only nontrivial matrix multiplication tensor whose border rank had been determined was$$M_{\langle 2\rangle }$$, (iii) prove$$\underline {\mathbf {R}}( M_{\langle 3\rangle })\geq 17$$, (iv) prove$$\underline {\mathbf {R}}(\operatorname {det}_3)=17$$, improving the previous lower bound of$$12$$, (v) prove$$\underline {\mathbf {R}}(M_{\langle 2\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+1.32\mathbf {n}$$for all$$\mathbf {n}\geq 25$$, where previously only$$\underline {\mathbf {R}}(M_{\langle 2\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+1$$was known, as well as lower bounds for$$4\leq \mathbf {n}\leq 25$$, and (vi) prove$$\underline {\mathbf {R}}(M_{\langle 3\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+1.6\mathbf {n}$$for all$$\mathbf {n} \ge 18$$, where previously only$$\underline {\mathbf {R}}(M_{\langle 3\mathbf {n}\mathbf {n}\rangle })\geq \mathbf {n}^2+2$$was known. The last two results are significant for two reasons: (i) they are essentially the first nontrivial lower bounds for tensors in an “unbalanced” ambient space and (ii) they demonstrate that the methods we use (border apolarity) may be applied to sequences of tensors. The methods used to obtain the results are new and “nonnatural” in the sense of Razborov and Rudich, in that the results are obtained via an algorithm that cannot be effectively applied to generic tensors. We utilize a new technique, calledborder apolaritydeveloped by Buczyńska and Buczyński in the general context of toric varieties. We apply this technique to develop an algorithm that, given a tensorTand an integerr, in a finite number of steps, either outputs that there is no border rankrdecomposition forTor produces a list of all normalized ideals which could potentially result from a border rank decomposition. The algorithm is effectively implementable whenThas a large symmetry group, in which case it outputs potential decompositions in a natural normal form. The algorithm is based on algebraic geometry and representation theory.
more »
« less
The Dual Kaczmarz Algorithm
The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector $$x$$ in a (separable) Hilbert space from the inner-products $$\{ \langle x, \phi_{n} \rangle \}$$. The Kaczmarz algorithm defines a sequence of approximations from the sequence $$\{ \langle x, \phi_{n} \rangle \}$$; these approximations only converge to $$x$$ when $$\{ \phi_{n} \}$$ is \emph{effective}. We dualize the Kaczmarz algorithm so that $$x$$ can be obtained from $$\{\langle x, \phi_{n} \rangle\}$$ by using a second sequence $$\{\psi_{n}\}$$ in the reconstruction. This allows for the recovery of $$x$$ even when the sequence $$\{\phi_{n}\}$$ is not effective; in particular, our dualization yields a reconstruction when the sequence $$\{\phi_{n}\}$$ is \emph{almost effective}. We also obtain some partial results characterizing when the sequence of approximations from $$\{\langle \vec{x}, \phi_{n} \rangle\}$$ converges to $$x$$, in which case $$\{ (\phi_{n}, \psi_{n}) \}$$ is called an effective pair.
more »
« less
- Award ID(s):
- 1830254
- PAR ID:
- 10088772
- Date Published:
- Journal Name:
- Acta Applicandae Mathematicae
- ISSN:
- 0167-8019
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We investigate the behavior of higher-form symmetries at variousquantum phase transitions. We consider discrete 1-form symmetries, whichcan be either part of the generalized concept “categorical symmetry”(labelled as \tilde{Z}_N^{(1)} Z ̃ N ( 1 ) )introduced recently, or an explicit Z_N^{(1)} Z N ( 1 ) 1-form symmetry. We demonstrate that for many quantum phase transitionsinvolving a Z_N^{(1)} Z N ( 1 ) or \tilde{Z}_N^{(1)} Z ̃ N ( 1 ) symmetry, the following expectation value \langle \left( O_\mathcal{C}\right)^2 \rangle ⟨ ( O 𝒞 ) 2 ⟩ takes the form \langle \left( \log O_\mathcal{C} \right)^2 \rangle \sim - \frac{A}{\epsilon} P + b \log P ⟨ ( log O 𝒞 ) 2 ⟩ ∼ − A ϵ P + b log P , where O_\mathcal{C} O 𝒞 is an operator defined associated with loop \mathcal{C} 𝒞 (or its interior \mathcal{A} 𝒜 ),which reduces to the Wilson loop operator for cases with an explicit Z_N^{(1)} Z N ( 1 ) 1-form symmetry. P P is the perimeter of \mathcal{C} 𝒞 ,and the b \log P b log P term arises from the sharp corners of the loop \mathcal{C} 𝒞 ,which is consistent with recent numerics on a particular example. b b is a universal microscopic-independent number, which in (2+1)d ( 2 + 1 ) d is related to the universal conductivity at the quantum phasetransition. b b can be computed exactly for certain transitions using the dualitiesbetween (2+1)d ( 2 + 1 ) d conformal field theories developed in recent years. We also compute the"strange correlator" of O_\mathcal{C} O 𝒞 : S_{\mathcal{C}} = \langle 0 | O_\mathcal{C} | 1 \rangle / \langle 0 | 1 \rangle S 𝒞 = ⟨ 0 | O 𝒞 | 1 ⟩ / ⟨ 0 | 1 ⟩ where |0\rangle | 0 ⟩ and |1\rangle | 1 ⟩ are many-body states with different topological nature.more » « less
-
In the problem of horizontal convection a non-uniform buoyancy, $$b_{s}(x,y)$$ , is imposed on the top surface of a container and all other surfaces are insulating. Horizontal convection produces a net horizontal flux of buoyancy, $$\boldsymbol{J}$$ , defined by vertically and temporally averaging the interior horizontal flux of buoyancy. We show that $$\overline{\boldsymbol{J}\boldsymbol{\cdot }\unicode[STIX]{x1D735}b_{s}}=-\unicode[STIX]{x1D705}\langle |\unicode[STIX]{x1D735}b|^{2}\rangle$$ ; the overbar denotes a space–time average over the top surface, angle brackets denote a volume–time average and $$\unicode[STIX]{x1D705}$$ is the molecular diffusivity of buoyancy $$b$$ . This connection between $$\boldsymbol{J}$$ and $$\unicode[STIX]{x1D705}\langle |\unicode[STIX]{x1D735}b|^{2}\rangle$$ justifies the definition of the horizontal-convective Nusselt number, $Nu$ , as the ratio of $$\unicode[STIX]{x1D705}\langle |\unicode[STIX]{x1D735}b|^{2}\rangle$$ to the corresponding quantity produced by molecular diffusion alone. We discuss the advantages of this definition of $Nu$ over other definitions of horizontal-convective Nusselt number. We investigate transient effects and show that $$\unicode[STIX]{x1D705}\langle |\unicode[STIX]{x1D735}b|^{2}\rangle$$ equilibrates more rapidly than other global averages, such as the averaged kinetic energy and bottom buoyancy. We show that $$\unicode[STIX]{x1D705}\langle |\unicode[STIX]{x1D735}b|^{2}\rangle$$ is the volume-averaged rate of Boussinesq entropy production within the enclosure. In statistical steady state, the interior entropy production is balanced by a flux through the top surface. This leads to an equivalent ‘surface Nusselt number’, defined as the surface average of vertical buoyancy flux through the top surface times the imposed surface buoyancy $$b_{s}(x,y)$$ . In experimental situations it is easier to evaluate the surface entropy flux, rather than the volume integral of $$|\unicode[STIX]{x1D735}b|^{2}$$ demanded by $$\unicode[STIX]{x1D705}\langle |\unicode[STIX]{x1D735}b|^{2}\rangle$$ .more » « less
-
ABSTRACT We measure the mean free path ($$\lambda _{\rm mfp,H\, \small {I}}$$), photoionization rate ($$\langle \Gamma _{\rm H\, \small {I}} \rangle$$), and neutral fraction ($$\langle f_{\rm H\, \small {I}} \rangle$$) of hydrogen in 12 redshift bins at 4.85 < z < 6.05 from a large sample of moderate resolution XShooter and ESI QSO absorption spectra. The fluctuations in ionizing radiation field are modelled by post-processing simulations from the Sherwood suite using our new code ‘EXtended reionization based on the Code for Ionization and Temperature Evolution’ (ex-cite). ex-cite uses efficient Octree summation for computing intergalactic medium attenuation and can generate large number of high resolution $$\Gamma _{\rm H\, \small {I}}$$ fluctuation models. Our simulation with ex-cite shows remarkable agreement with simulations performed with the radiative transfer code Aton and can recover the simulated parameters within 1σ uncertainty. We measure the three parameters by forward-modelling the Lyα forest and comparing the effective optical depth ($$\tau _{\rm eff, H\, \small {I}}$$) distribution in simulations and observations. The final uncertainties in our measured parameters account for the uncertainties due to thermal parameters, modelling parameters, observational systematics, and cosmic variance. Our best-fitting parameters show significant evolution with redshift such that $$\lambda _{\rm mfp,H\, \small {I}}$$ and $$\langle f_{\rm H\, \small {I}} \rangle$$ decreases and increases by a factor ∼6 and ∼104, respectively from z ∼ 5 to z ∼ 6. By comparing our $$\lambda _{\rm mfp,H\, \small {I}}$$, $$\langle \Gamma _{\rm H\, \small {I}} \rangle$$ and $$\langle f_{\rm H\, \small {I}} \rangle$$ evolution with that in state-of-the-art Aton radiative transfer simulations and the Thesan and CoDa-III simulations, we find that our best-fitting parameter evolution is consistent with a model in which reionization completes by z ∼ 5.2. Our best-fitting model that matches the $$\tau _{\rm eff, H\, \small {I}}$$ distribution also reproduces the dark gap length distribution and transmission spike height distribution suggesting robustness and accuracy of our measured parameters.more » « less
-
The eigenstate thermalization hypothesis (ETH) in chaotic two-dimensional CFTs is subtle due to the presence of infinitely many conserved KdV charges. Previous works have shown that primary CFT eigenstates exhibit a flat entanglement spectrum, which is very different from that of the microcanonical ensemble. This appears to contradict conventional ETH, which does not account for KdV charges. In a companion paper \cite{1}, we resolve this discrepancy by analyzing the subsystem entropy of a chaotic CFT in KdV-generalized Gibbs and microcanonical ensembles. In this paper, we perform parallel computations within the framework of AdS/CFT. We focus on the high-density limit, which corresponds to the thermodynamic limit in conformal theories. In this regime, holographic Rényi entropy can be calculated using the so-called *gluing construction*. We specifically study the KdV-generalized microcanonical ensemble where the densities of the first two KdV charges are fixed: $$ \langle Q_1 \rangle = q_1, \quad \langle Q_3 \rangle = q_3 $$ with the condition $$q_3 - q_1^2 \ll q_1^2$$. In this regime, we find that the refined Rényi entropy $$\tilde{S}_n$$ becomes independent of $$n$$ for $$n > n_{\text{cut}}$$, where $$n_{\text{cut}}$$ depends on $$q_1$$ and $$q_3$$. By taking the primary state limit $$q_3 \to q_1^2$$, we recover the flat entanglement spectrum characteristic of fixed-area states, consistent with the behavior of primary states. This result supports the consistency of KdV-generalized ETH in 2d CFTs.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/s10440-019-00244-6
