-
Degrees of Freedom in modified Teleparallel Gravity
Authors:
Alexey Golovnev
Abstract:
I discuss the issue of degrees of freedom in modified teleparallel gravity. These theories do have an extra structure on top of the usual (pseudo)Riemannian manifold, that of a flat parallel transport. This structure is absolutely abstract and unpredictable (pure gauge) in GR-equivalent models, however it becomes physical upon modifications. The problem is that, in the most popular models, this lo…
▽ More
I discuss the issue of degrees of freedom in modified teleparallel gravity. These theories do have an extra structure on top of the usual (pseudo)Riemannian manifold, that of a flat parallel transport. This structure is absolutely abstract and unpredictable (pure gauge) in GR-equivalent models, however it becomes physical upon modifications. The problem is that, in the most popular models, this local symmetry is broken but not stably so, hence the infamous strong coupling issues. The Hamiltonian analyses become complicated and with contradictory results. A funny point is that what we see in available linear perturbation treatments of $f(T)$ gravity is much closer to the analysis with less dynamical degrees of freedom which has got a well-known mistake in it, while the more accurate work predicts much more of dynamics than what has ever been seen up to now. I discuss possible reasons behind this puzzle, and also argue in favour of studying the most general New GR models which are commonly ignored due to suspicion of ghosts.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Hilbert Functions and Low-Degree Randomness Extractors
Authors:
Alexander Golovnev,
Zeyu Guo,
Pooya Hatami,
Satyajeet Nagargoje,
Chao Yan
Abstract:
For $S\subseteq \mathbb{F}^n$, consider the linear space of restrictions of degree-$d$ polynomials to $S$. The Hilbert function of $S$, denoted $\mathrm{h}_S(d,\mathbb{F})$, is the dimension of this space. We obtain a tight lower bound on the smallest value of the Hilbert function of subsets $S$ of arbitrary finite grids in $\mathbb{F}^n$ with a fixed size $|S|$. We achieve this by proving that th…
▽ More
For $S\subseteq \mathbb{F}^n$, consider the linear space of restrictions of degree-$d$ polynomials to $S$. The Hilbert function of $S$, denoted $\mathrm{h}_S(d,\mathbb{F})$, is the dimension of this space. We obtain a tight lower bound on the smallest value of the Hilbert function of subsets $S$ of arbitrary finite grids in $\mathbb{F}^n$ with a fixed size $|S|$. We achieve this by proving that this value coincides with a combinatorial quantity, namely the smallest number of low Hamming weight points in a down-closed set of size $|S|$.
Understanding the smallest values of Hilbert functions is closely related to the study of degree-$d$ closure of sets, a notion introduced by Nie and Wang (Journal of Combinatorial Theory, Series A, 2015). We use bounds on the Hilbert function to obtain a tight bound on the size of degree-$d$ closures of subsets of $\mathbb{F}_q^n$, which answers a question posed by Doron, Ta-Shma, and Tell (Computational Complexity, 2022).
We use the bounds on the Hilbert function and degree-$d$ closure of sets to prove that a random low-degree polynomial is an extractor for samplable randomness sources. Most notably, we prove the existence of low-degree extractors and dispersers for sources generated by constant-degree polynomials and polynomial-size circuits. Until recently, even the existence of arbitrary deterministic extractors for such sources was not known.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Conformal Transformations and Cosmological Perturbations in New General Relativity
Authors:
Alexey Golovnev,
A. N. Semenova,
V. P. Vandeev
Abstract:
We study conformal transformations in the most general parity-preserving models of the New General Relativity type. Then we apply them to analysis of cosmological perturbations in the (simplest) spatially flat cosmologies. Strong coupling issues around Minkowski spacetime are seen for many special cases of these models. At the same time, the behaviour of the most general three-parameter case seems…
▽ More
We study conformal transformations in the most general parity-preserving models of the New General Relativity type. Then we apply them to analysis of cosmological perturbations in the (simplest) spatially flat cosmologies. Strong coupling issues around Minkowski spacetime are seen for many special cases of these models. At the same time, the behaviour of the most general three-parameter case seems to be very robust, presumably always with only the eight first-class constraints coming from diffeomorphisms. Also the case of the so-called 1-parameter New GR doesn't show any discontinuity between Minkowski and the cosmology, though without showing any deviations from GR which would be observable at this level either.
△ Less
Submitted 24 March, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Geometry of teleparallel theories
Authors:
Alexey Golovnev
Abstract:
I give a brief introduction to and explain the geometry of teleparallel models of modified gravity. In particular I explain why, in my opinion, the covariantised approaches are not needed and the Weitzenböck connection is the most natural representation of the parallel transport structure. An interesting point is that it also applies to the symmetric teleparallel case. I also share my thoughts on…
▽ More
I give a brief introduction to and explain the geometry of teleparallel models of modified gravity. In particular I explain why, in my opinion, the covariantised approaches are not needed and the Weitzenböck connection is the most natural representation of the parallel transport structure. An interesting point is that it also applies to the symmetric teleparallel case. I also share my thoughts on why the teleparallel framework does not seem to be a next rung in the ladder of understanding the real worlds' gravity. At the same time, these theories do have a clear and justified academic interest to them.
△ Less
Submitted 17 January, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
On the degrees of freedom count on singular phase space submanifolds
Authors:
Alexey Golovnev
Abstract:
I discuss singular loci in the phase spaces of theories which lack globally well-defined numbers of dynamical modes. This is a topic which appears quite often in the recent literature on modified gravity. In particular, there were discussions about $R^2$ gravity around Minkowski space. It is a relatively simple case, and still there were some confusions. It clearly shows that one should be very ac…
▽ More
I discuss singular loci in the phase spaces of theories which lack globally well-defined numbers of dynamical modes. This is a topic which appears quite often in the recent literature on modified gravity. In particular, there were discussions about $R^2$ gravity around Minkowski space. It is a relatively simple case, and still there were some confusions. It clearly shows that one should be very accurate when trying to understand a potentially problematic theory through perturbations around a simply looking background. At the same time, many modern teleparallel approaches are laden with even more severe issues. Therefore, it is a topic which is certainly worth carefully thinking about.
△ Less
Submitted 27 February, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
More on the fact that Rastall = GR
Authors:
Alexey Golovnev
Abstract:
Rastall gravity is the same as General Relativity, with a simple algebraic redefinition of what is called the energy-momentum tensor. Despite it having been very clearly explained by M. Visser several years go, there are still many papers claiming big differences between the two formulations of gravitational equations and trying to use them for problems of physics. When going this way, the totally…
▽ More
Rastall gravity is the same as General Relativity, with a simple algebraic redefinition of what is called the energy-momentum tensor. Despite it having been very clearly explained by M. Visser several years go, there are still many papers claiming big differences between the two formulations of gravitational equations and trying to use them for problems of physics. When going this way, the totally ignored task is to explain why the conserved energy-momentum quantities and the quantities used for other purposes are different from each other. Moreover, when researchers are using the non-conserved energy density and pressure for determining the sound speed, it is just inconsistent with the Rastall gravity. I carefully explain all this, and also show how one could construct a variational principle for producing equations in the Rastall form.
△ Less
Submitted 18 December, 2023; v1 submitted 31 October, 2023;
originally announced November 2023.
-
Matrix Multiplication Verification Using Coding Theory
Authors:
Huck Bennett,
Karthik Gajulapalli,
Alexander Golovnev,
Philip G. Warton
Abstract:
We study the Matrix Multiplication Verification Problem (MMV) where the goal is, given three $n \times n$ matrices $A$, $B$, and $C$ as input, to decide whether $AB = C$. A classic randomized algorithm by Freivalds (MFCS, 1979) solves MMV in $\widetilde{O}(n^2)$ time, and a longstanding challenge is to (partially) derandomize it while still running in faster than matrix multiplication time (i.e.,…
▽ More
We study the Matrix Multiplication Verification Problem (MMV) where the goal is, given three $n \times n$ matrices $A$, $B$, and $C$ as input, to decide whether $AB = C$. A classic randomized algorithm by Freivalds (MFCS, 1979) solves MMV in $\widetilde{O}(n^2)$ time, and a longstanding challenge is to (partially) derandomize it while still running in faster than matrix multiplication time (i.e., in $o(n^ω)$ time).
To that end, we give two algorithms for MMV in the case where $AB - C$ is sparse. Specifically, when $AB - C$ has at most $O(n^δ)$ non-zero entries for a constant $0 \leq δ< 2$, we give (1) a deterministic $O(n^{ω- \varepsilon})$-time algorithm for constant $\varepsilon = \varepsilon(δ) > 0$, and (2) a randomized $\widetilde{O}(n^2)$-time algorithm using $δ/2 \cdot \log_2 n + O(1)$ random bits. The former algorithm is faster than the deterministic algorithm of Künnemann (ESA, 2018) when $δ\geq 1.056$, and the latter algorithm uses fewer random bits than the algorithm of Kimbrel and Sinha (IPL, 1993), which runs in the same time and uses $\log_2 n + O(1)$ random bits (in turn fewer than Freivalds's algorithm).
We additionally study the complexity of MMV. We first show that all algorithms in a natural class of deterministic linear algebraic algorithms for MMV (including ours) require $Ω(n^ω)$ time. We also show a barrier to proving a super-quadratic running time lower bound for matrix multiplication (and hence MMV) under the Strong Exponential Time Hypothesis (SETH). Finally, we study relationships between natural variants and special cases of MMV (with respect to deterministic $\widetilde{O}(n^2)$-time reductions).
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Gravitational Waves in New General Relativity
Authors:
Alexey Golovnev,
A. N. Semenova,
V. P. Vandeev
Abstract:
The models of New General Relativity have recently got attention of research community, and there are some works studying their dynamical properties. The formal aspects of this investigation have been mostly restricted to the primary constraints in the Hamiltonian analysis. However, it is by far not enough for counting their degrees of freedom or judging whether they are any good and viable. In th…
▽ More
The models of New General Relativity have recently got attention of research community, and there are some works studying their dynamical properties. The formal aspects of this investigation have been mostly restricted to the primary constraints in the Hamiltonian analysis. However, it is by far not enough for counting their degrees of freedom or judging whether they are any good and viable. In this paper we study linearised equations in vacuum around the trivial Minkowski tetrad. By taking the approach of cosmological perturbation theory we show that the numbers of primary constraints are very easily seen without any need of genuine Hamiltonian techniques, and give the full count of linearised degrees of freedom in the weak field limit of each and every version of New General Relativity without matter.
△ Less
Submitted 4 November, 2023; v1 submitted 6 September, 2023;
originally announced September 2023.
-
A Pamphlet against The Energy
Authors:
Alexey Golovnev
Abstract:
It is a well-known fact that there is no well-defined notion of conserved energy in gravity. In my opinion, it is not a big deal. As a conserved quantity, energy is a rather artificial invention which works perfectly well as long as we have a natural symmetry with respect to translations in time, however not when there ceases to be any notion of an objective time, rather than a mere coordinate. Ho…
▽ More
It is a well-known fact that there is no well-defined notion of conserved energy in gravity. In my opinion, it is not a big deal. As a conserved quantity, energy is a rather artificial invention which works perfectly well as long as we have a natural symmetry with respect to translations in time, however not when there ceases to be any notion of an objective time, rather than a mere coordinate. However, recently we have got an essential progress in teleparallel models of gravity, with emerging opinions of having solved the problem of energy. I explain why I think it simply makes no good sense to go for solving a non-existent problem, and the correct answer is just that in general there is no such thing as The Energy. (It has just been presented online at the Conference on Geometric Foundations of Gravity 2023 in Tartu, Estonia.)
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Geometry and covariance of symmetric teleparallel theories of gravity
Authors:
Daniel Blixt,
Alexey Golovnev,
Maria-Jose Guzman,
Ramazan Maksyutov
Abstract:
We present the geometric foundations and derivations of equations of motion for symmetric teleparallel theories of gravity in the coincident gauge and covariant frameworks. We discuss the theoretical challenges introduced by the auxiliary fields responsible for the covariantisation procedure. We elucidate a tetradic structure interpretation behind this covariant formulation. Regarding the effect o…
▽ More
We present the geometric foundations and derivations of equations of motion for symmetric teleparallel theories of gravity in the coincident gauge and covariant frameworks. We discuss the theoretical challenges introduced by the auxiliary fields responsible for the covariantisation procedure. We elucidate a tetradic structure interpretation behind this covariant formulation. Regarding the effect of covariantisation at the level of the equations of motion, we explicitly show that the only physical change, in case of setting an arbitrary energy-momentum tensor to the right hand side, resides in the requirement of the fulfillment of the covariant conservation laws. Also, we have explicitly introduced the fundamental covariantly-conserved teleparallel tetrad for the symmetric teleparallel frameworks.
△ Less
Submitted 2 February, 2024; v1 submitted 15 June, 2023;
originally announced June 2023.
-
Static spherically symmetric solutions in New General Relativity
Authors:
Alexey Golovnev,
A. N. Semenova,
V. P. Vandeev
Abstract:
We give a pedagogical introduction to static spherically symmetric solutions in models of New GR, both explaining the basics and showing how all such vacuum solutions can be obtained in elementary functions. In doing so, we coherently introduce the full landscape of these modified teleparallel spacetimes, and find a few special cases. The equations of motion are turned into a very nice and compact…
▽ More
We give a pedagogical introduction to static spherically symmetric solutions in models of New GR, both explaining the basics and showing how all such vacuum solutions can be obtained in elementary functions. In doing so, we coherently introduce the full landscape of these modified teleparallel spacetimes, and find a few special cases. The equations of motion are turned into a very nice and compact form by using the Levi-Civita divergence of the torsion-conjugate; and generalised Bianchi identities are briefly discussed. Another important point we make is that a convenient choice of the radial variable might be instrumental for success of similar studies in other modified gravity models.
△ Less
Submitted 10 May, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Range Avoidance for Constant-Depth Circuits: Hardness and Algorithms
Authors:
Karthik Gajulapalli,
Alexander Golovnev,
Satyajeet Nagargoje,
Sidhant Saraogi
Abstract:
Range Avoidance (AVOID) is a total search problem where, given a Boolean circuit $C\colon\{0,1\}^n\to\{0,1\}^m$, $m>n$, the task is to find a $y\in\{0,1\}^m$ outside the range of $C$. For an integer $k\geq 2$, $\mathrm{NC}^0_k$-AVOID is a special case of AVOID where each output bit of $C$ depends on at most $k$ input bits. While there is a very natural randomized algorithm for AVOID, a determinist…
▽ More
Range Avoidance (AVOID) is a total search problem where, given a Boolean circuit $C\colon\{0,1\}^n\to\{0,1\}^m$, $m>n$, the task is to find a $y\in\{0,1\}^m$ outside the range of $C$. For an integer $k\geq 2$, $\mathrm{NC}^0_k$-AVOID is a special case of AVOID where each output bit of $C$ depends on at most $k$ input bits. While there is a very natural randomized algorithm for AVOID, a deterministic algorithm for the problem would have many interesting consequences. Ren, Santhanam, and Wang (FOCS 2022) and Guruswami, Lyu, and Wang (RANDOM 2022) proved that explicit constructions of functions of high formula complexity, rigid matrices, and optimal linear codes, reduce to $\mathrm{NC}^0_4$-AVOID, thus establishing conditional hardness of the $\mathrm{NC}^0_4$-AVOID problem. On the other hand, $\mathrm{NC}^0_2$-AVOID admits polynomial-time algorithms, leaving the question about the complexity of $\mathrm{NC}^0_3$-AVOID open.
We give the first reduction of an explicit construction question to $\mathrm{NC}^0_3$-AVOID. Specifically, we prove that a polynomial-time algorithm (with an $\mathrm{NP}$ oracle) for $\mathrm{NC}^0_3$-AVOID for the case of $m=n+n^{2/3}$ would imply an explicit construction of a rigid matrix, and, thus, a super-linear lower bound on the size of log-depth circuits.
We also give deterministic polynomial-time algorithms for all $\mathrm{NC}^0_k$-AVOID problems for $m\geq n^{k-1}/\log(n)$. Prior work required an $\mathrm{NP}$ oracle, and required larger stretch, $m \geq n^{k-1}$.
△ Less
Submitted 7 July, 2023; v1 submitted 9 March, 2023;
originally announced March 2023.
-
The geometrical meaning of the Weitzenböck connection
Authors:
Alexey Golovnev
Abstract:
In the current literature, there are many discussions about the local Lorentz invariance of modified teleparallel gravity. This symmetry is obviously violated in the classical "pure tetrad" formulation of the theory, while it gets restored in the "fully covariant" approach. My claim is that, despite many heated discussions, the two formulations are just equivalent. And the purpose of this note is…
▽ More
In the current literature, there are many discussions about the local Lorentz invariance of modified teleparallel gravity. This symmetry is obviously violated in the classical "pure tetrad" formulation of the theory, while it gets restored in the "fully covariant" approach. My claim is that, despite many heated discussions, the two formulations are just equivalent. And the purpose of this note is to argue that the local Lorentz invariance is not natural for the modified teleparallel theories at all, making the pure tetrad approach more fundamentally justified.
△ Less
Submitted 21 May, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
On the role of constraints and degrees of freedom in the Hamiltonian formalism
Authors:
Alexey Golovnev
Abstract:
Unfortunately, the Hamiltonian mechanics of degenerate Lagrangian systems is usually presented as a mere recipe of Dirac, with no explanation as to how it works. Then it comes to discussing conjectures of whether all primary constraints correspond to gauge symmetries, and it goes all the way to absolutely wrong claims such as the statement that electrodynamics or gravity have only two physical com…
▽ More
Unfortunately, the Hamiltonian mechanics of degenerate Lagrangian systems is usually presented as a mere recipe of Dirac, with no explanation as to how it works. Then it comes to discussing conjectures of whether all primary constraints correspond to gauge symmetries, and it goes all the way to absolutely wrong claims such as the statement that electrodynamics or gravity have only two physical components each, with others being spurious. One has to be very careful because non-dynamical, or constrained, does not mean unphysical. I give a pedagogical introduction to the degenerate Hamiltonian systems, showing both very simple mechanical examples and general arguments about how it works. For the familiar field theory models, I explain why the gauge freedom there "hits twice" in the sense of producing twice as many first-class constraints as gauge symmetries, and why primary, and only primary, constraints should be put into the total Hamiltonian.
△ Less
Submitted 17 February, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Quantum Worst-Case to Average-Case Reductions for All Linear Problems
Authors:
Vahid R. Asadi,
Alexander Golovnev,
Tom Gur,
Igor Shinkar,
Sathyawageeswar Subramanian
Abstract:
We study the problem of designing worst-case to average-case reductions for quantum algorithms. For all linear problems, we provide an explicit and efficient transformation of quantum algorithms that are only correct on a small (even sub-constant) fraction of their inputs into ones that are correct on all inputs. This stands in contrast to the classical setting, where such results are only known f…
▽ More
We study the problem of designing worst-case to average-case reductions for quantum algorithms. For all linear problems, we provide an explicit and efficient transformation of quantum algorithms that are only correct on a small (even sub-constant) fraction of their inputs into ones that are correct on all inputs. This stands in contrast to the classical setting, where such results are only known for a small number of specific problems or restricted computational models. En route, we obtain a tight $Ω(n^2)$ lower bound on the average-case quantum query complexity of the Matrix-Vector Multiplication problem.
Our techniques strengthen and generalise the recently introduced additive combinatorics framework for classical worst-case to average-case reductions (STOC 2022) to the quantum setting. We rely on quantum singular value transformations to construct quantum algorithms for linear verification in superposition and learning Bogolyubov subspaces from noisy quantum oracles. We use these tools to prove a quantum local correction lemma, which lies at the heart of our reductions, based on a noise-robust probabilistic generalisation of Bogolyubov's lemma from additive combinatorics.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
Lattice Problems Beyond Polynomial Time
Authors:
Divesh Aggarwal,
Huck Bennett,
Zvika Brakerski,
Alexander Golovnev,
Rajendra Kumar,
Zeyong Li,
Spencer Peters,
Noah Stephens-Davidowitz,
Vinod Vaikuntanathan
Abstract:
We study the complexity of lattice problems in a world where algorithms, reductions, and protocols can run in superpolynomial time, revisiting four foundational results: two worst-case to average-case reductions and two protocols. We also show a novel protocol.
1. We prove that secret-key cryptography exists if $\widetilde{O}(\sqrt{n})$-approximate SVP is hard for $2^{\varepsilon n}$-time algori…
▽ More
We study the complexity of lattice problems in a world where algorithms, reductions, and protocols can run in superpolynomial time, revisiting four foundational results: two worst-case to average-case reductions and two protocols. We also show a novel protocol.
1. We prove that secret-key cryptography exists if $\widetilde{O}(\sqrt{n})$-approximate SVP is hard for $2^{\varepsilon n}$-time algorithms. I.e., we extend to our setting (Micciancio and Regev's improved version of) Ajtai's celebrated polynomial-time worst-case to average-case reduction from $\widetilde{O}(n)$-approximate SVP to SIS.
2. We prove that public-key cryptography exists if $\widetilde{O}(n)$-approximate SVP is hard for $2^{\varepsilon n}$-time algorithms. This extends to our setting Regev's celebrated polynomial-time worst-case to average-case reduction from $\widetilde{O}(n^{1.5})$-approximate SVP to LWE. In fact, Regev's reduction is quantum, but ours is classical, generalizing Peikert's polynomial-time classical reduction from $\widetilde{O}(n^2)$-approximate SVP.
3. We show a $2^{\varepsilon n}$-time coAM protocol for $O(1)$-approximate CVP, generalizing the celebrated polynomial-time protocol for $O(\sqrt{n/\log n})$-CVP due to Goldreich and Goldwasser. These results show complexity-theoretic barriers to extending the recent line of fine-grained hardness results for CVP and SVP to larger approximation factors. (This result also extends to arbitrary norms.)
4. We show a $2^{\varepsilon n}$-time co-non-deterministic protocol for $O(\sqrt{\log n})$-approximate SVP, generalizing the (also celebrated!) polynomial-time protocol for $O(\sqrt{n})$-CVP due to Aharonov and Regev.
5. We give a novel coMA protocol for $O(1)$-approximate CVP with a $2^{\varepsilon n}$-time verifier.
All of the results described above are special cases of more general theorems that achieve time-approximation factor tradeoffs.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
The Variational principle, Conformal and Disformal transformations, and the degrees of freedom
Authors:
Alexey Golovnev
Abstract:
Conformal and disformal transformations are now being very intensively studied in the context of various modified gravity theories. In particular, some special classes of them can be used for constructing Mimetic Dark Matter models. Recently, it has been shown that many more transformations of this type, if not virtually all of them when the coefficients depend on the scalar kinetic term, can prod…
▽ More
Conformal and disformal transformations are now being very intensively studied in the context of various modified gravity theories. In particular, some special classes of them can be used for constructing Mimetic Dark Matter models. Recently, it has been shown that many more transformations of this type, if not virtually all of them when the coefficients depend on the scalar kinetic term, can produce new solutions with mimetic properties. The aim of this paper is to explain how it works at the level of the variational principle, and to express some worries about viability of these models.
△ Less
Submitted 14 August, 2022; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Revisiting diagonal tetrads: New Black Hole solutions in $f(T)$ gravity
Authors:
Adel Awad,
Alexey Golovnev,
María-José Guzmán,
Waleed El Hanafy
Abstract:
We study various forms of diagonal tetrads that accommodate Black Hole solutions in $f(T)$ gravity with certain symmetries. As is well-known, vacuum spherically symmetric diagonal tetrads lead to rather boring cases of constant torsion scalars. We extend this statement to other possible horizon topologies, namely, spherical, hyperbolic and planar horizons. All such cases are forced to have constan…
▽ More
We study various forms of diagonal tetrads that accommodate Black Hole solutions in $f(T)$ gravity with certain symmetries. As is well-known, vacuum spherically symmetric diagonal tetrads lead to rather boring cases of constant torsion scalars. We extend this statement to other possible horizon topologies, namely, spherical, hyperbolic and planar horizons. All such cases are forced to have constant torsion scalars to satisfy the anti-symmetric part of the field equations. We give a full classification of possible vacuum static solutions of this sort. Furthermore, we discuss addition of time-dependence in all the above cases. We also show that if all the components of a diagonal tetrad depend only on one coordinate, then the anti-symmetric part of the field equations is automatically satisfied. This result applies to the flat horizon case with Cartesian coordinates. For solutions with a planar symmetry (or a flat horizon), one can naturally use Cartesian coordinates on the horizon. In this case, we show that the presence of matter is required for existence of non-trivial solutions. This is a novel and very interesting feature of these constructions. We present two new exact solutions, the first is a magnetic Black Hole which is the magnetic dual of a known electrically charged Black Hole in literature. The second is a dyonic Black Hole with electric and magnetic charges. We present some features of these Black holes, namely, extremality conditions, mass, behavior of torsion and curvature scalars near the singularity.
△ Less
Submitted 6 October, 2022; v1 submitted 30 June, 2022;
originally announced July 2022.
-
Polynomial formulations as a barrier for reduction-based hardness proofs
Authors:
Tatiana Belova,
Alexander Golovnev,
Alexander S. Kulikov,
Ivan Mihajlin,
Denil Sharipov
Abstract:
The Strong Exponential Time Hypothesis (SETH) asserts that for every $\varepsilon>0$ there exists $k$ such that $k$-SAT requires time $(2-\varepsilon)^n$. The field of fine-grained complexity has leveraged SETH to prove quite tight conditional lower bounds for dozens of problems in various domains and complexity classes, including Edit Distance, Graph Diameter, Hitting Set, Independent Set, and Or…
▽ More
The Strong Exponential Time Hypothesis (SETH) asserts that for every $\varepsilon>0$ there exists $k$ such that $k$-SAT requires time $(2-\varepsilon)^n$. The field of fine-grained complexity has leveraged SETH to prove quite tight conditional lower bounds for dozens of problems in various domains and complexity classes, including Edit Distance, Graph Diameter, Hitting Set, Independent Set, and Orthogonal Vectors. Yet, it has been repeatedly asked in the literature whether SETH-hardness results can be proven for other fundamental problems such as Hamiltonian Path, Independent Set, Chromatic Number, MAX-$k$-SAT, and Set Cover.
In this paper, we show that fine-grained reductions implying even $λ^n$-hardness of these problems from SETH for any $λ>1$, would imply new circuit lower bounds: super-linear lower bounds for Boolean series-parallel circuits or polynomial lower bounds for arithmetic circuits (each of which is a four-decade open question).
We also extend this barrier result to the class of parameterized problems. Namely, for every $λ>1$ we conditionally rule out fine-grained reductions implying SETH-based lower bounds of $λ^k$ for a number of problems parameterized by the solution size $k$.
Our main technical tool is a new concept called polynomial formulations. In particular, we show that many problems can be represented by relatively succinct low-degree polynomials, and that any problem with such a representation cannot be proven SETH-hard (without proving new circuit lower bounds).
△ Less
Submitted 29 November, 2022; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Sketching Approximability of (Weak) Monarchy Predicates
Authors:
Chi-Ning Chou,
Alexander Golovnev,
Amirbehshad Shahrasbi,
Madhu Sudan,
Santhoshini Velusamy
Abstract:
We analyze the sketching approximability of constraint satisfaction problems on Boolean domains, where the constraints are balanced linear threshold functions applied to literals. In~particular, we explore the approximability of monarchy-like functions where the value of the function is determined by a weighted combination of the vote of the first variable (the president) and the sum of the votes…
▽ More
We analyze the sketching approximability of constraint satisfaction problems on Boolean domains, where the constraints are balanced linear threshold functions applied to literals. In~particular, we explore the approximability of monarchy-like functions where the value of the function is determined by a weighted combination of the vote of the first variable (the president) and the sum of the votes of all remaining variables. The pure version of this function is when the president can only be overruled by when all remaining variables agree. For every $k \geq 5$, we show that CSPs where the underlying predicate is a pure monarchy function on $k$ variables have no non-trivial sketching approximation algorithm in $o(\sqrt{n})$ space. We also show infinitely many weaker monarchy functions for which CSPs using such constraints are non-trivially approximable by $O(\log(n))$ space sketching algorithms. Moreover, we give the first example of sketching approximable asymmetric Boolean CSPs. Our results work within the framework of Chou, Golovnev, Sudan, and Velusamy (FOCS 2021) that characterizes the sketching approximability of all CSPs. Their framework can be applied naturally to get a computer-aided analysis of the approximability of any specific constraint satisfaction problem. The novelty of our work is in using their work to get an analysis that applies to infinitely many problems simultaneously.
△ Less
Submitted 15 July, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Contemplating the fate of modified gravity
Authors:
Alexey Golovnev,
Maria-Jose Guzman
Abstract:
Possible models of modified gravity are being extensively studied now, with most phenomenological motivations coming from puzzles and tensions in cosmology due to a natural desire to better fit the known and newly coming data. At the same time, available experimental evidence is limited for testing gravity as a force beyond the regimes in which the theory of general relativity has proven to be suc…
▽ More
Possible models of modified gravity are being extensively studied now, with most phenomenological motivations coming from puzzles and tensions in cosmology due to a natural desire to better fit the known and newly coming data. At the same time, available experimental evidence is limited for testing gravity as a force beyond the regimes in which the theory of general relativity has proven to be successful. This situation leads researchers to look for ``the simplest modification'' to general relativity in a certain class of models, which is enough to solve one or more problems. As a result, we are lost amid a variety of theories with no deeper guiding principle. We give a general review of existing approaches and discuss the current state of the art.
△ Less
Submitted 3 February, 2024; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Worst-Case to Average-Case Reductions via Additive Combinatorics
Authors:
Vahid R. Asadi,
Alexander Golovnev,
Tom Gur,
Igor Shinkar
Abstract:
We present a new framework for designing worst-case to average-case reductions. For a large class of problems, it provides an explicit transformation of algorithms running in time $T$ that are only correct on a small (subconstant) fraction of their inputs into algorithms running in time $\widetilde{O}(T)$ that are correct on all inputs.
Using our framework, we obtain such efficient worst-case to…
▽ More
We present a new framework for designing worst-case to average-case reductions. For a large class of problems, it provides an explicit transformation of algorithms running in time $T$ that are only correct on a small (subconstant) fraction of their inputs into algorithms running in time $\widetilde{O}(T)$ that are correct on all inputs.
Using our framework, we obtain such efficient worst-case to average-case reductions for fundamental problems in a variety of computational models; namely, algorithms for matrix multiplication, streaming algorithms for the online matrix-vector multiplication problem, and static data structures for all linear problems as well as for the multivariate polynomial evaluation problem.
Our techniques crucially rely on additive combinatorics. In particular, we show a local correction lemma that relies on a new probabilistic version of the quasi-polynomial Bogolyubov-Ruzsa lemma.
△ Less
Submitted 17 February, 2022;
originally announced February 2022.
-
Lorentz gauge-invariant variables in torsion-based theories of gravity
Authors:
Daniel Blixt,
Rafael Ferraro,
Alexey Golovnev,
María-José Guzmán
Abstract:
General relativity dynamics can be derived from different actions -- which depart from the Einstein-Hilbert action in boundary terms -- and for different choices of the dynamical variables. Among them, the teleparallel equivalent of general relativity is a torsion-based theory for the tetrad field. More general torsion-based theories have been built in the last years, intending to supersede genera…
▽ More
General relativity dynamics can be derived from different actions -- which depart from the Einstein-Hilbert action in boundary terms -- and for different choices of the dynamical variables. Among them, the teleparallel equivalent of general relativity is a torsion-based theory for the tetrad field. More general torsion-based theories have been built in the last years, intending to supersede general relativity. There are two current ways to formulate such theories; one includes a spin-connection and the other does not. We discuss the notion of Lorentz gauge invariance in such theories, and give a simple but important proof that both formulations are physically equivalent.
△ Less
Submitted 19 April, 2022; v1 submitted 26 January, 2022;
originally announced January 2022.
-
Lorentz symmetries and primary constraints in covariant teleparallel gravity
Authors:
Alexey Golovnev,
Maria-Jose Guzman
Abstract:
In this article we explore local Lorentz transformations in theories of gravity based on the teleparallel formalism. For the teleparallel equivalent of general relativity (TEGR), the spin connection plays no role in the equations of motion, and therefore it is possible to simply put it equal to zero with no change in physical quantities, and then the theory is formulated purely in terms of the tet…
▽ More
In this article we explore local Lorentz transformations in theories of gravity based on the teleparallel formalism. For the teleparallel equivalent of general relativity (TEGR), the spin connection plays no role in the equations of motion, and therefore it is possible to simply put it equal to zero with no change in physical quantities, and then the theory is formulated purely in terms of the tetrad field which can be freely chosen in any way. In nonlinear modifications of TEGR, this is a more intricate issue, and vanishing spin connection is then the Weitzenböck gauge choice which imposes restrictions on the choice of tetrad. This has led to considering the so-called covariant formulation of $f(T)$ gravity. We examine the primary constraints arising when passing to the Hamiltonian framework, and compute their algebra. We show that the problems of local Lorentz symmetry breaking still appear in this formulation, even if in a different disguise.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
Black Holes in $f(T,B)$ Gravity: Exact and Perturbed Solutions
Authors:
Sebastian Bahamonde,
Alexey Golovnev,
María-José Guzmán,
Jackson Levi Said,
Christian Pfeifer
Abstract:
Spherically symmetric solutions of theories of gravity built one fundamental class of solutions to describe compact objects like black holes and stars. Moreover, they serve as starting point for the search of more realistic axially symmetric solutions which are capable to describe rotating compact objects. Theories of gravity that do not possess spherically symmetric solutions which meet all obser…
▽ More
Spherically symmetric solutions of theories of gravity built one fundamental class of solutions to describe compact objects like black holes and stars. Moreover, they serve as starting point for the search of more realistic axially symmetric solutions which are capable to describe rotating compact objects. Theories of gravity that do not possess spherically symmetric solutions which meet all observational constraints are easily falsified. In this article, we discuss classes of exact and perturbative spherically symmetric solutions in $f(T,B)$-gravity. The perturbative solutions add to the ones which have already been found in the literature, while the exact solutions are presented here for the first time. Moreover, we present general methods and strategies, like generalized Bianchi identities, to find spherically solutions in modified teleparallel theories of gravity.
△ Less
Submitted 19 January, 2022; v1 submitted 8 October, 2021;
originally announced October 2021.
-
Derandomization of Cell Sampling
Authors:
Alexander Golovnev,
Tom Gur,
Igor Shinkar
Abstract:
Since 1989, the best known lower bound on static data structures was Siegel's classical cell sampling lower bound. Siegel showed an explicit problem with $n$ inputs and $m$ possible queries such that every data structure that answers queries by probing $t$ memory cells requires space $s\geq\widetildeΩ\left(n\cdot(\frac{m}{n})^{1/t}\right)$. In this work, we improve this bound for non-adaptive data…
▽ More
Since 1989, the best known lower bound on static data structures was Siegel's classical cell sampling lower bound. Siegel showed an explicit problem with $n$ inputs and $m$ possible queries such that every data structure that answers queries by probing $t$ memory cells requires space $s\geq\widetildeΩ\left(n\cdot(\frac{m}{n})^{1/t}\right)$. In this work, we improve this bound for non-adaptive data structures to $s\geq\widetildeΩ\left(n\cdot(\frac{m}{n})^{1/(t-1)}\right)$ for all $t \geq 2$.
For $t=2$, we give a lower bound of $s>m-o(m)$, improving on the bound $s>m/2$ recently proved by Viola over $\mathbb{F}_2$ and Siegel's bound $s\geq\widetildeΩ(\sqrt{mn})$ over other finite fields.
△ Less
Submitted 15 October, 2022; v1 submitted 12 August, 2021;
originally announced August 2021.
-
Linear Space Streaming Lower Bounds for Approximating CSPs
Authors:
Chi-Ning Chou,
Alexander Golovnev,
Madhu Sudan,
Ameya Velingker,
Santhoshini Velusamy
Abstract:
We consider the approximability of constraint satisfaction problems in the streaming setting. For every constraint satisfaction problem (CSP) on $n$ variables taking values in $\{0,\ldots,q-1\}$, we prove that improving over the trivial approximability by a factor of $q$ requires $Ω(n)$ space even on instances with $O(n)$ constraints. We also identify a broad subclass of problems for which any imp…
▽ More
We consider the approximability of constraint satisfaction problems in the streaming setting. For every constraint satisfaction problem (CSP) on $n$ variables taking values in $\{0,\ldots,q-1\}$, we prove that improving over the trivial approximability by a factor of $q$ requires $Ω(n)$ space even on instances with $O(n)$ constraints. We also identify a broad subclass of problems for which any improvement over the trivial approximability requires $Ω(n)$ space. The key technical core is an optimal, $q^{-(k-1)}$-inapproximability for the \textsf{Max $k$-LIN}-$\bmod\; q$ problem, which is the Max CSP problem where every constraint is given by a system of $k-1$ linear equations $\bmod\; q$ over $k$ variables. Our work builds on and extends the breakthrough work of Kapralov and Krachun (Proc. STOC 2019) who showed a linear lower bound on any non-trivial approximation of the MaxCut problem in graphs. MaxCut corresponds roughly to the case of \textsf{Max $k$-LIN}-$\bmod\; q$ with ${k=q=2}$. For general CSPs in the streaming setting, prior results only yielded $Ω(\sqrt{n})$ space bounds. In particular no linear space lower bound was known for an approximation factor less than $1/2$ for {\em any} CSP. Extending the work of Kapralov and Krachun to \textsf{Max $k$-LIN}-$\bmod\; q$ to $k>2$ and $q>2$ (while getting optimal hardness results) is the main technical contribution of this work. Each one of these extensions provides non-trivial technical challenges that we overcome in this work.
△ Less
Submitted 24 April, 2022; v1 submitted 24 June, 2021;
originally announced June 2021.
-
Circuit topology for bottom-up engineering of molecular knots
Authors:
Anatoly Golovnev,
Alireza Mashaghi
Abstract:
The art of tying knots is exploited in nature and occurs in multiple applications ranging from being an essential part of scouting programs to engineering molecular knots. Biomolecular knots, such as knotted proteins, bear various cellular functions and their entanglement is believed to provide them with thermal and kinetic stability. Yet, little is known about the design principles of naturally e…
▽ More
The art of tying knots is exploited in nature and occurs in multiple applications ranging from being an essential part of scouting programs to engineering molecular knots. Biomolecular knots, such as knotted proteins, bear various cellular functions and their entanglement is believed to provide them with thermal and kinetic stability. Yet, little is known about the design principles of naturally evolved molecular knots. Intra-chain contacts and chain entanglement contribute to folding of knotted proteins. Circuit topology, a theory that describes intra-chain contacts, was recently generalized to account for chain entanglement. This generalization is unique to circuit topology and not motivated by other theories. In this paper, we systematically analyze the circuit topology approach to a description of linear chain entanglement. We utilize a bottom-up approach, i.e., we express entanglement by a set of 4 fundamental structural units subjected to 3 (or 5) binary topological operations. All knots found in proteins form a well-defined, distinct group which naturally appears if expressed in terms of these basic structural units. Prime knots, which are viewed by knot theory as undecomposable, are also made of these structural units connected in some specific way. In turn, this kind of connection shows the fundamental reason why prime knots cannot be decomposed in the rigorous sense of knot theory. We believe that such a detailed, bottom-up understanding of the structure of molecular knots should be beneficial for molecular engineering.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Issues of Lorentz-invariance in f(T) gravity and calculations for spherically symmetric solutions
Authors:
Alexey Golovnev
Abstract:
The f(T) gravity is nowadays being widely used for cosmological model building, as well as for constructing spherically symmetric solutions. In its classical pure tetrad formulation it violates the local Lorentz symmetry in the space of tetrads. By using an appropriate spin connection it can be brought to a formally Lorentz invariant shape. However, despite some mathematical elegance obtained and…
▽ More
The f(T) gravity is nowadays being widely used for cosmological model building, as well as for constructing spherically symmetric solutions. In its classical pure tetrad formulation it violates the local Lorentz symmetry in the space of tetrads. By using an appropriate spin connection it can be brought to a formally Lorentz invariant shape. However, despite some mathematical elegance obtained and new options of looking for non-standard couplings to matter probably made possible, it is fully equivalent in itself to the initial formulation. It seems that this fact, that the covariantisation does not in principle change anything, is not understood well by the community. Therefore we give a pedagogical introduction to these topics. And, on top of that, we show that obtaining the explicit equations for spherically symmetric solutions in f(T) gravity is not very difficult computationally and can be easily done even without any computer at hand.
△ Less
Submitted 14 July, 2021; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Sketching approximability of all finite CSPs
Authors:
Chi-Ning Chou,
Alexander Golovnev,
Madhu Sudan,
Santhoshini Velusamy
Abstract:
A constraint satisfaction problem (CSP), $\textsf{Max-CSP}(\mathcal{F})$, is specified by a finite set of constraints $\mathcal{F} \subseteq \{[q]^k \to \{0,1\}\}$ for positive integers $q$ and $k$. An instance of the problem on $n$ variables is given by $m$ applications of constraints from $\mathcal{F}$ to subsequences of the $n$ variables, and the goal is to find an assignment to the variables t…
▽ More
A constraint satisfaction problem (CSP), $\textsf{Max-CSP}(\mathcal{F})$, is specified by a finite set of constraints $\mathcal{F} \subseteq \{[q]^k \to \{0,1\}\}$ for positive integers $q$ and $k$. An instance of the problem on $n$ variables is given by $m$ applications of constraints from $\mathcal{F}$ to subsequences of the $n$ variables, and the goal is to find an assignment to the variables that satisfies the maximum number of constraints. In the $(γ,β)$-approximation version of the problem for parameters $0 \leq β< γ\leq 1$, the goal is to distinguish instances where at least $γ$ fraction of the constraints can be satisfied from instances where at most $β$ fraction of the constraints can be satisfied. In this work we consider the approximability of this problem in the context of sketching algorithms and give a dichotomy result. Specifically, for every family $\mathcal{F}$ and every $β< γ$, we show that either a linear sketching algorithm solves the problem in polylogarithmic space, or the problem is not solvable by any sketching algorithm in $o(\sqrt{n})$ space. In particular, we give non-trivial approximation algorithms using polylogarithmic space for infinitely many constraint satisfaction problems. We also extend previously known lower bounds for general streaming algorithms to a wide variety of problems, and in particular the case of $q=k=2$, where we get a dichotomy, and the case when the satisfying assignments of the constraints of $\mathcal{F}$ support a distribution on $[q]^k$ with uniform marginals. Prior to this work, other than sporadic examples, the only systematic classes of CSPs that were analyzed considered the setting of Boolean variables $q=2$, binary constraints $k=2$, singleton families $|\mathcal{F}|=1$ and only considered the setting where constraints are placed on literals rather than variables.
△ Less
Submitted 25 February, 2024; v1 submitted 3 May, 2021;
originally announced May 2021.
-
Toward a concordance teleparallel Cosmology II: Linear perturbation
Authors:
Mahmoud Hashim,
Amr A. El-Zant,
Waleed El Hanafy,
Alexey Golovnev
Abstract:
Late time cosmic acceleration may be achieved by modifying gravity on large scales. This should also have consequences on the evolution of perturbations. We thus extend our study of exponential infrared $f(T)$ teleparallel gravity to examine the viability of the theory at the linear perturbation level, evaluating the full CMB and matter power spectra. As the theory does not introduce extra free pa…
▽ More
Late time cosmic acceleration may be achieved by modifying gravity on large scales. This should also have consequences on the evolution of perturbations. We thus extend our study of exponential infrared $f(T)$ teleparallel gravity to examine the viability of the theory at the linear perturbation level, evaluating the full CMB and matter power spectra. As the theory does not introduce extra free parameters, it fits within the minimal six parameter space of standard $Λ$CDM. Using Planck 2018 CMB (TT+TE+EE+lensing) alone, best fits predict those parameters to be almost identical to $Λ$CDM, with slightly smaller $χ^2_{min}$. The resulting $H_0=72.24\pm 0.64$ km/s/Mpc, which "practically" alleviates the tension with local measurements, due to late time phantom behaviour. Inclusion of BAO data however reduces $H_0$, reflecting furthermore systematic deviations from data that are also present in supernova distances and the growth rate of structure (increasing the apparent tension in the latter case). As the theory, unlike other viable $f(T)$ models, does not reduce to $Λ$CDM through extra free parameters, those conclusions are generic; applying to any modified gravity or dynamical dark energy with phantom behaviour. With best fit parameters, the present scenario produces a CMB spectrum almost identical to $Λ$CDM, with slight deviation at low-multipole $\ell < 30$, where cosmic variance is large. The matter power spectrum is also quite close to $Λ$CDM; with percent level scale free modifications affecting modes significantly smaller than the horizon, arising primarily from modified background evolution. More significant deviations appear on larger scales, and may in principle distinguish modified gravity scenarios of the type studied here from dynamical dark energy.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Approaches to spherically symmetric solutions in f(T) gravity
Authors:
Alexey Golovnev,
Maria-Jose Guzman
Abstract:
We study properties of static spherically symmetric solutions in $f(\mathbb T)$ gravity. Based on our previous work on generalising Bianchi identities for this kind of theories, we show how this search of solutions can be reduced to the study of two relatively simple equations. One of them does not depend on the function $f$ and therefore describes the properties of such solutions in any…
▽ More
We study properties of static spherically symmetric solutions in $f(\mathbb T)$ gravity. Based on our previous work on generalising Bianchi identities for this kind of theories, we show how this search of solutions can be reduced to the study of two relatively simple equations. One of them does not depend on the function $f$ and therefore describes the properties of such solutions in any $f(\mathbb T)$ theory. Another equation is the radial one and, if a possible solution is chosen, it allows to find out which function $f$ is suitable for it. We use these equations to find exact and perturbative solutions for arbitrary and specific choices off.
△ Less
Submitted 19 April, 2021; v1 submitted 31 March, 2021;
originally announced March 2021.
-
Approximability of all Boolean CSPs with linear sketches
Authors:
Chi-Ning Chou,
Alexander Golovnev,
Madhu Sudan,
Santhoshini Velusamy
Abstract:
In this work we consider the approximability of $\textsf{Max-CSP}(f)$ in the context of sketching algorithms and completely characterize the approximability of all Boolean CSPs. Specifically, given $f$, $γ$ and $β$ we show that either (1) the $(γ,β)$-approximation version of $\textsf{Max-CSP}(f)$ has a linear sketching algorithm using $O(\log n)$ space, or (2) for every $ε> 0$ the $(γ-ε,β+ε)$-appr…
▽ More
In this work we consider the approximability of $\textsf{Max-CSP}(f)$ in the context of sketching algorithms and completely characterize the approximability of all Boolean CSPs. Specifically, given $f$, $γ$ and $β$ we show that either (1) the $(γ,β)$-approximation version of $\textsf{Max-CSP}(f)$ has a linear sketching algorithm using $O(\log n)$ space, or (2) for every $ε> 0$ the $(γ-ε,β+ε)$-approximation version of $\textsf{Max-CSP}(f)$ requires $Ω(\sqrt{n})$ space for any sketching algorithm. We also prove lower bounds against streaming algorithms for several CSPs. In particular, we recover the streaming dichotomy of [CGV20] for $k=2$ and show streaming approximation resistance of all CSPs for which $f^{-1}(1)$ supports a distribution with uniform marginals. Our positive results show wider applicability of bias-based algorithms used previously by [GVV17] and [CGV20] by giving a systematic way to discover biases. Our negative results combine the Fourier analytic methods of [KKS15], which we extend to a wider class of CSPs, with a rich collection of reductions among communication complexity problems that lie at the heart of the negative results.
△ Less
Submitted 11 February, 2022; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Foundational issues in f(T) gravity theory
Authors:
Alexey Golovnev,
María-José Guzmán
Abstract:
We give a short review on the status of research on the theoretical foundations of $f(T)$ gravity theories. We discuss recent results on perturbative and non-perturbative approaches, causality and degrees of freedom, and discuss future directions to follow.
We give a short review on the status of research on the theoretical foundations of $f(T)$ gravity theories. We discuss recent results on perturbative and non-perturbative approaches, causality and degrees of freedom, and discuss future directions to follow.
△ Less
Submitted 14 September, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Non-trivial Minkowski backgrounds in f(T) gravity
Authors:
Alexey Golovnev,
Maria-Jose Guzman
Abstract:
Boosted and rotated tetrad backgrounds for the Minkowski space are studied in $f(T)$ gravity. We perform Lorentzian perturbations at first order around non-trivial backgrounds and show that some Lorentz modes can exhibit non-trivial dynamics and can propagate in time. This remarkable feature gives evidence of additional mode(s) in the Lorentzian sector which have no precedent in Lorentz-violating…
▽ More
Boosted and rotated tetrad backgrounds for the Minkowski space are studied in $f(T)$ gravity. We perform Lorentzian perturbations at first order around non-trivial backgrounds and show that some Lorentz modes can exhibit non-trivial dynamics and can propagate in time. This remarkable feature gives evidence of additional mode(s) in the Lorentzian sector which have no precedent in Lorentz-violating modified gravities, however they can cast doubts onto even theoretical viability of these models.
△ Less
Submitted 16 January, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Toward a concordance teleparallel Cosmology I: Background Dynamics
Authors:
Mahmoud Hashim,
Waleed El Hanafy,
Alexey Golovnev,
Amr A. El-Zant
Abstract:
Assuming a spatially flat universe, we study the cosmological viability of an infrared corrected teleparallel gravity model, which accounts for late acceleration by weakening gravity at later times on cosmological distances. The theory does not introduce any additional free parameters into the cosmological model, as is commonly the case with modified gravity based cosmologies. This feature renders…
▽ More
Assuming a spatially flat universe, we study the cosmological viability of an infrared corrected teleparallel gravity model, which accounts for late acceleration by weakening gravity at later times on cosmological distances. The theory does not introduce any additional free parameters into the cosmological model, as is commonly the case with modified gravity based cosmologies. This feature renders the cosmological model statistically comparable, on equal footing, with $Λ$CDM. In this context, using recent cosmological observations -- Pantheon supernova Type Ia, Hubble constant $H_0$, Baryon acoustic oscillation, redshift space distortions, Big Bang nucleosynthesis and the cosmic microwave background constraint on the decoupling acoustic scale -- we show that, although the exponential infrared-corrected gravity and $Λ$CDM are physically different, they are phenomenologically and statistically equivalent. However, the former is more adept at fitting accurately determined observational constraints while decreasing the $H_0$ tension without worsening the $S_8$ tension. This calls for full examination of the empirical viability of the theory at the linear perturbation level, which is the subject of paper II.
△ Less
Submitted 16 April, 2021; v1 submitted 28 October, 2020;
originally announced October 2020.
-
Bianchi identities in f(T) gravity: paving the way to confrontation with astrophysics
Authors:
Alexey Golovnev,
Maria-Jose Guzman
Abstract:
Theories of $f(T)$ gravity are being actively confronted with cosmological observations, and are being studied for their potential to solve famous problems of cosmology. A necessary step is to extend these studies to astrophysical settings. However, to this end one must understand the structure of spherically symmetric solutions. We show that two different known approaches to these solutions are a…
▽ More
Theories of $f(T)$ gravity are being actively confronted with cosmological observations, and are being studied for their potential to solve famous problems of cosmology. A necessary step is to extend these studies to astrophysical settings. However, to this end one must understand the structure of spherically symmetric solutions. We show that two different known approaches to these solutions are actually fully equivalent from the point of view of Lorentz-covariant formalism. Moreover, we explain Bianchi identities in $f(T)$ gravity and apply them to show that the corresponding equations are always compatible. It puts these efforts on much firmer grounds than before.
△ Less
Submitted 3 October, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Optimal Streaming Approximations for all Boolean Max-2CSPs and Max-kSAT
Authors:
Chi-Ning Chou,
Alexander Golovnev,
Santhoshini Velusamy
Abstract:
We prove tight upper and lower bounds on approximation ratios of all Boolean Max-2CSP problems in the streaming model. Specifically, for every type of Max-2CSP problem, we give an explicit constant $α$, s.t. for any $ε>0$ (i) there is an $(α-ε)$-streaming approximation using space $O(\log{n})$; and (ii) any $(α+ε)$-streaming approximation requires space $Ω(\sqrt{n})$. This generalizes the celebrat…
▽ More
We prove tight upper and lower bounds on approximation ratios of all Boolean Max-2CSP problems in the streaming model. Specifically, for every type of Max-2CSP problem, we give an explicit constant $α$, s.t. for any $ε>0$ (i) there is an $(α-ε)$-streaming approximation using space $O(\log{n})$; and (ii) any $(α+ε)$-streaming approximation requires space $Ω(\sqrt{n})$. This generalizes the celebrated work of [Kapralov, Khanna, Sudan SODA 2015; Kapralov, Krachun STOC 2019], who showed that the optimal approximation ratio for Max-CUT was $1/2$.
Prior to this work, the problem of determining this ratio was open for all other Max-2CSPs. Our results are quite surprising for some specific Max-2CSPs. For the Max-DCUT problem, there was a gap between an upper bound of $1/2$ and a lower bound of $2/5$ [Guruswami, Velingker, Velusamy APPROX 2017]. We show that neither of these bounds is tight, and the optimal ratio for Max-DCUT is $4/9$. We also establish that the tight approximation for Max-2SAT is $\sqrt{2}/2$, and for Exact Max-2SAT it is $3/4$. As a byproduct, our result gives a separation between space-efficient approximations for Max-2SAT and Exact Max-2SAT. This is in sharp contrast to the setting of polynomial-time algorithms with polynomial space, where the two problems are known to be equally hard to approximate. Finally, we prove that the tight streaming approximation for \mksat{} is $\sqrt{2}/2$ for every $k\geq2$.
△ Less
Submitted 11 January, 2021; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Minkowski space in $f(T)$ gravity
Authors:
Jose Beltran Jimenez,
Alexey Golovnev,
Tomi Koivisto,
Hardi Veermae
Abstract:
The full set of solutions of $f(T)$ gravity with the Minkowski metric is considered in this note. At the 4-th order in perturbations around the trivial tetrad solution, a new mode is found explicitly. Its presence signals a strong coupling problem that transcends the Minkowski background and also suggests the pathological nature of cosmological solutions.
The full set of solutions of $f(T)$ gravity with the Minkowski metric is considered in this note. At the 4-th order in perturbations around the trivial tetrad solution, a new mode is found explicitly. Its presence signals a strong coupling problem that transcends the Minkowski background and also suggests the pathological nature of cosmological solutions.
△ Less
Submitted 25 April, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
The (Generalized) Orthogonality Dimension of (Generalized) Kneser Graphs: Bounds and Applications
Authors:
Alexander Golovnev,
Ishay Haviv
Abstract:
The orthogonality dimension of a graph $G=(V,E)$ over a field $\mathbb{F}$ is the smallest integer $t$ for which there exists an assignment of a vector $u_v \in \mathbb{F}^t$ with $\langle u_v,u_v \rangle \neq 0$ to every vertex $v \in V$, such that $\langle u_v, u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent vertices in $G$. The study of the orthogonality dimension of graphs is motivated…
▽ More
The orthogonality dimension of a graph $G=(V,E)$ over a field $\mathbb{F}$ is the smallest integer $t$ for which there exists an assignment of a vector $u_v \in \mathbb{F}^t$ with $\langle u_v,u_v \rangle \neq 0$ to every vertex $v \in V$, such that $\langle u_v, u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent vertices in $G$. The study of the orthogonality dimension of graphs is motivated by various applications in information theory and in theoretical computer science. The contribution of the present work is two-fold.
First, we prove that there exists a constant $c$ such that for every sufficiently large integer $t$, it is $\mathsf{NP}$-hard to decide whether the orthogonality dimension of an input graph over $\mathbb{R}$ is at most $t$ or at least $3t/2-c$. At the heart of the proof lies a geometric result, which might be of independent interest, on a generalization of the orthogonality dimension parameter for the family of Kneser graphs, analogously to a long-standing conjecture of Stahl (J. Comb. Theo. Ser. B, 1976).
Second, we study the smallest possible orthogonality dimension over finite fields of the complement of graphs that do not contain certain fixed subgraphs. In particular, we provide an explicit construction of triangle-free $n$-vertex graphs whose complement has orthogonality dimension over the binary field at most $n^{1-δ}$ for some constant $δ>0$. Our results involve constructions from the family of generalized Kneser graphs and they are motivated by the rigidity approach to circuit lower bounds. We use them to answer a couple of questions raised by Codenotti, Pudlák, and Resta (Theor. Comput. Sci., 2000), and in particular, to disprove their Odd Alternating Cycle Conjecture over every finite field.
△ Less
Submitted 2 May, 2021; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Perturbations in f(T) cosmology and the spin connection
Authors:
Alexey Golovnev
Abstract:
In this short paper we explain how the spin connection variables should be introduced into the perturbation theory of the spatially flat cosmology in f(T) gravity with the background tetrad $e^a_μ=a(t)\cdotδ^a_μ$ and zero background spin connection. In passing, we also correct some small mistakes in our previous work on this subject.
In this short paper we explain how the spin connection variables should be introduced into the perturbation theory of the spatially flat cosmology in f(T) gravity with the background tetrad $e^a_μ=a(t)\cdotδ^a_μ$ and zero background spin connection. In passing, we also correct some small mistakes in our previous work on this subject.
△ Less
Submitted 4 February, 2020; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Disformal transformations in modified teleparallel gravity
Authors:
Alexey Golovnev,
Maria Jose Guzman
Abstract:
In this work, we explore disformal transformations in the context of the teleparallel equivalent of general relativity and modified teleparallel gravity. We present explicit formulas in components for disformal transformations of the main geometric objects in these theories such as torsion tensor, torsion vector and contortion. Most importantly, we consider the boundary term which distinguishes th…
▽ More
In this work, we explore disformal transformations in the context of the teleparallel equivalent of general relativity and modified teleparallel gravity. We present explicit formulas in components for disformal transformations of the main geometric objects in these theories such as torsion tensor, torsion vector and contortion. Most importantly, we consider the boundary term which distinguishes the torsion scalar from the Ricci scalar. With that we show for $f(T)$ gravity that disformal transformations from the Jordan frame representation are unable to straightforwardly remove local Lorentz breaking terms that characterize it. However, we have shown that disformal transformations have interesting properties, which can be useful for future applications in scalar-torsion gravity models, among others.
△ Less
Submitted 13 January, 2020; v1 submitted 10 December, 2019;
originally announced December 2019.
-
Fine-grained hardness of CVP(P) -- Everything that we can prove (and nothing else)
Authors:
Divesh Aggarwal,
Huck Bennett,
Alexander Golovnev,
Noah Stephens-Davidowitz
Abstract:
We show a number of fine-grained hardness results for the Closest Vector Problem in the $\ell_p$ norm ($\mathrm{CVP}_p$), and its approximate and non-uniform variants. First, we show that $\mathrm{CVP}_p$ cannot be solved in $2^{(1-\varepsilon)n}$ time for all $p \notin 2\mathbb{Z}$ and $\varepsilon > 0$, assuming the Strong Exponential Time Hypothesis (SETH). Second, we extend this by showing tha…
▽ More
We show a number of fine-grained hardness results for the Closest Vector Problem in the $\ell_p$ norm ($\mathrm{CVP}_p$), and its approximate and non-uniform variants. First, we show that $\mathrm{CVP}_p$ cannot be solved in $2^{(1-\varepsilon)n}$ time for all $p \notin 2\mathbb{Z}$ and $\varepsilon > 0$, assuming the Strong Exponential Time Hypothesis (SETH). Second, we extend this by showing that there is no $2^{(1-\varepsilon)n}$-time algorithm for approximating $\mathrm{CVP}_p$ to within a constant factor $γ$ for such $p$ assuming a "gap" version of SETH, with an explicit relationship between $γ$, $p$, and the arity $k = k(\varepsilon)$ of the underlying hard CSP. Third, we show the same hardness result for (exact) $\mathrm{CVP}_p$ with preprocessing (assuming non-uniform SETH).
For exact "plain" $\mathrm{CVP}_p$, the same hardness result was shown in [Bennett, Golovnev, and Stephens-Davidowitz FOCS 2017] for all but finitely many $p \notin 2\mathbb{Z}$, where the set of exceptions depended on $\varepsilon$ and was not explicit. For the approximate and preprocessing problems, only very weak bounds were known prior to this work.
We also show that the restriction to $p \notin 2\mathbb{Z}$ is in some sense inherent. In particular, we show that no "natural" reduction can rule out even a $2^{3n/4}$-time algorithm for $\mathrm{CVP}_2$ under SETH. For this, we prove that the possible sets of closest lattice vectors to a target in the $\ell_2$ norm have quite rigid structure, which essentially prevents them from being as expressive as $3$-CNFs.
We prove these results using techniques from many different fields, including complex analysis, functional analysis, additive combinatorics, and discrete Fourier analysis. E.g., along the way, we give a new (and tighter) proof of Szemerédi's cube lemma for the boolean cube.
△ Less
Submitted 7 August, 2021; v1 submitted 6 November, 2019;
originally announced November 2019.
-
An Attack on the the Encryption Scheme of the Moscow Internet Voting System
Authors:
Alexander Golovnev
Abstract:
The next Moscow City Duma elections will be held on September 8th with an option of Internet voting. Some source code of the voting system is posted online for public testing. Pierrick Gaudry recently showed that due to the relatively small length of the key, the encryption scheme could be easily broken. This issue has been fixed in the current version of the voting system. In this note we show th…
▽ More
The next Moscow City Duma elections will be held on September 8th with an option of Internet voting. Some source code of the voting system is posted online for public testing. Pierrick Gaudry recently showed that due to the relatively small length of the key, the encryption scheme could be easily broken. This issue has been fixed in the current version of the voting system. In this note we show that the new implementation of the ElGamal encryption system is not semantically secure. We also demonstrate how this newly found security vulnerability can be potentially used for counting the number of votes cast for a candidate.
△ Less
Submitted 18 November, 2019; v1 submitted 24 August, 2019;
originally announced August 2019.
-
Breaking the encryption scheme of the Moscow Internet voting system
Authors:
Pierrick Gaudry,
Alexander Golovnev
Abstract:
In September 2019, voters for the election at the Parliament of the city of Moscow were allowed to use an Internet voting system. The source code of it had been made available for public testing. In this paper we show two successful attacks on the encryption scheme implemented in the voting system. Both attacks were sent to the developers of the system, and both issues had been fixed after that.Th…
▽ More
In September 2019, voters for the election at the Parliament of the city of Moscow were allowed to use an Internet voting system. The source code of it had been made available for public testing. In this paper we show two successful attacks on the encryption scheme implemented in the voting system. Both attacks were sent to the developers of the system, and both issues had been fixed after that.The encryption used in this system is a variant of ElGamal over finite fields. In the first attack we show that the used key sizes are too small. We explain how to retrieve the private keys from the public keys in a matter of minutes with easily available resources.When this issue had been fixed and the new system had become available for testing, we discovered that the new implementation was not semantically secure. We demonstrate how this newly found security vulnerability can be used for counting the number of votes cast for a candidate.
△ Less
Submitted 15 November, 2019; v1 submitted 14 August, 2019;
originally announced August 2019.
-
Data Structures Meet Cryptography: 3SUM with Preprocessing
Authors:
Alexander Golovnev,
Siyao Guo,
Thibaut Horel,
Sunoo Park,
Vinod Vaikuntanathan
Abstract:
This paper shows several connections between data structure problems and cryptography against preprocessing attacks. Our results span data structure upper bounds, cryptographic applications, and data structure lower bounds, as summarized next.
First, we apply Fiat--Naor inversion, a technique with cryptographic origins, to obtain a data structure upper bound. In particular, our technique yields…
▽ More
This paper shows several connections between data structure problems and cryptography against preprocessing attacks. Our results span data structure upper bounds, cryptographic applications, and data structure lower bounds, as summarized next.
First, we apply Fiat--Naor inversion, a technique with cryptographic origins, to obtain a data structure upper bound. In particular, our technique yields a suite of algorithms with space $S$ and (online) time $T$ for a preprocessing version of the $N$-input 3SUM problem where $S^3\cdot T = \widetilde{O}(N^6)$. This disproves a strong conjecture (Goldstein et al., WADS 2017) that there is no data structure that solves this problem for $S=N^{2-δ}$ and $T = N^{1-δ}$ for any constant $δ>0$.
Secondly, we show equivalence between lower bounds for a broad class of (static) data structure problems and one-way functions in the random oracle model that resist a very strong form of preprocessing attack. Concretely, given a random function $F: [N] \to [N]$ (accessed as an oracle) we show how to compile it into a function $G^F: [N^2] \to [N^2]$ which resists $S$-bit preprocessing attacks that run in query time $T$ where $ST=O(N^{2-\varepsilon})$ (assuming a corresponding data structure lower bound on 3SUM). In contrast, a classical result of Hellman tells us that $F$ itself can be more easily inverted, say with $N^{2/3}$-bit preprocessing in $N^{2/3}$ time. We also show that much stronger lower bounds follow from the hardness of kSUM. Our results can be equivalently interpreted as security against adversaries that are very non-uniform, or have large auxiliary input, or as security in the face of a powerfully backdoored random oracle.
Thirdly, we give non-adaptive lower bounds for 3SUM and a range of geometric problems which match the best known lower bounds for static data structure problems.
△ Less
Submitted 12 July, 2021; v1 submitted 18 July, 2019;
originally announced July 2019.
-
On the computational complexity of the probabilistic label tree algorithms
Authors:
Robert Busa-Fekete,
Krzysztof Dembczynski,
Alexander Golovnev,
Kalina Jasinska,
Mikhail Kuznetsov,
Maxim Sviridenko,
Chao Xu
Abstract:
Label tree-based algorithms are widely used to tackle multi-class and multi-label problems with a large number of labels. We focus on a particular subclass of these algorithms that use probabilistic classifiers in the tree nodes. Examples of such algorithms are hierarchical softmax (HSM), designed for multi-class classification, and probabilistic label trees (PLTs) that generalize HSM to multi-lab…
▽ More
Label tree-based algorithms are widely used to tackle multi-class and multi-label problems with a large number of labels. We focus on a particular subclass of these algorithms that use probabilistic classifiers in the tree nodes. Examples of such algorithms are hierarchical softmax (HSM), designed for multi-class classification, and probabilistic label trees (PLTs) that generalize HSM to multi-label problems. If the tree structure is given, learning of PLT can be solved with provable regret guaranties [Wydmuch et.al. 2018]. However, to find a tree structure that results in a PLT with a low training and prediction computational costs as well as low statistical error seems to be a very challenging problem, not well-understood yet.
In this paper, we address the problem of finding a tree structure that has low computational cost. First, we show that finding a tree with optimal training cost is NP-complete, nevertheless there are some tractable special cases with either perfect approximation or exact solution that can be obtained in linear time in terms of the number of labels $m$. For the general case, we obtain $O(\log m)$ approximation in linear time too. Moreover, we prove an upper bound on the expected prediction cost expressed in terms of the expected training cost. We also show that under additional assumptions the prediction cost of a PLT is $O(\log m)$.
△ Less
Submitted 1 June, 2019;
originally announced June 2019.
-
The information-theoretic value of unlabeled data in semi-supervised learning
Authors:
Alexander Golovnev,
Dávid Pál,
Balázs Szörényi
Abstract:
We quantify the separation between the numbers of labeled examples required to learn in two settings: Settings with and without the knowledge of the distribution of the unlabeled data. More specifically, we prove a separation by $Θ(\log n)$ multiplicative factor for the class of projections over the Boolean hypercube of dimension $n$. We prove that there is no separation for the class of all funct…
▽ More
We quantify the separation between the numbers of labeled examples required to learn in two settings: Settings with and without the knowledge of the distribution of the unlabeled data. More specifically, we prove a separation by $Θ(\log n)$ multiplicative factor for the class of projections over the Boolean hypercube of dimension $n$. We prove that there is no separation for the class of all functions on domain of any size.
Learning with the knowledge of the distribution (a.k.a. fixed-distribution learning) can be viewed as an idealized scenario of semi-supervised learning where the number of unlabeled data points is so great that the unlabeled distribution is known exactly. For this reason, we call the separation the value of unlabeled data.
△ Less
Submitted 13 May, 2019; v1 submitted 16 January, 2019;
originally announced January 2019.
-
Circuit Depth Reductions
Authors:
Alexander Golovnev,
Alexander S. Kulikov,
R. Ryan Williams
Abstract:
The best known size lower bounds against unrestricted circuits have remained around $3n$ for several decades. Moreover, the only known technique for proving lower bounds in this model, gate elimination, is inherently limited to proving lower bounds of less than $5n$. In this work, we propose a non-gate-elimination approach for obtaining circuit lower bounds, via certain depth-three lower bounds. W…
▽ More
The best known size lower bounds against unrestricted circuits have remained around $3n$ for several decades. Moreover, the only known technique for proving lower bounds in this model, gate elimination, is inherently limited to proving lower bounds of less than $5n$. In this work, we propose a non-gate-elimination approach for obtaining circuit lower bounds, via certain depth-three lower bounds. We prove that every (unbounded-depth) circuit of size $s$ can be expressed as an OR of $2^{s/3.9}$ $16$-CNFs. For DeMorgan formulas, the best known size lower bounds have been stuck at around $n^{3-o(1)}$ for decades. Under a plausible hypothesis about probabilistic polynomials, we show that $n^{4-\varepsilon}$-size DeMorgan formulas have $2^{n^{1-Ω(\varepsilon)}}$-size depth-3 circuits which are approximate sums of $n^{1-Ω(\varepsilon)}$-degree polynomials over ${\mathbb F}_2$. While these structural results do not immediately lead to new lower bounds, they do suggest new avenues of attack on these longstanding lower bound problems.
Our results complement the classical depth-$3$ reduction results of Valiant, which show that logarithmic-depth circuits of linear size can be computed by an OR of $2^{\varepsilon n}$ $n^δ$-CNFs, and slightly stronger results for series-parallel circuits. It is known that no purely graph-theoretic reduction could yield interesting depth-3 circuits from circuits of super-logarithmic depth. We overcome this limitation (for small-size circuits) by taking into account both the graph-theoretic and functional properties of circuits and formulas.
We show that improvements of the following pseudorandom constructions imply new circuit lower bounds: dispersers for varieties, correlation with constant degree polynomials, matrix rigidity, and hardness for depth-$3$ circuits with constant bottom fan-in.
△ Less
Submitted 7 December, 2020; v1 submitted 12 November, 2018;
originally announced November 2018.
-
Static Data Structure Lower Bounds Imply Rigidity
Authors:
Zeev Dvir,
Alexander Golovnev,
Omri Weinstein
Abstract:
We show that static data structure lower bounds in the group (linear) model imply semi-explicit lower bounds on matrix rigidity. In particular, we prove that an explicit lower bound of $t \geq ω(\log^2 n)$ on the cell-probe complexity of linear data structures in the group model, even against arbitrarily small linear space $(s= (1+\varepsilon)n)$, would already imply a semi-explicit (…
▽ More
We show that static data structure lower bounds in the group (linear) model imply semi-explicit lower bounds on matrix rigidity. In particular, we prove that an explicit lower bound of $t \geq ω(\log^2 n)$ on the cell-probe complexity of linear data structures in the group model, even against arbitrarily small linear space $(s= (1+\varepsilon)n)$, would already imply a semi-explicit ($\bf P^{NP}\rm$) construction of rigid matrices with significantly better parameters than the current state of art (Alon, Panigrahy and Yekhanin, 2009). Our results further assert that polynomial ($t\geq n^δ$) data structure lower bounds against near-optimal space, would imply super-linear circuit lower bounds for log-depth linear circuits (a four-decade open question). In the succinct space regime $(s=n+o(n))$, we show that any improvement on current cell-probe lower bounds in the linear model would also imply new rigidity bounds. Our results rely on a new connection between the "inner" and "outer" dimensions of a matrix (Paturi and Pudlak, 2006), and on a new reduction from worst-case to average-case rigidity, which is of independent interest.
△ Less
Submitted 13 February, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.