-
One-Way Communication Complexity of Partial XOR Functions
Authors:
Vladimir V. Podolskii,
Dmitrii Sluch
Abstract:
Boolean function $F(x,y)$ for $x,y \in \{0,1\}^n$ is an XOR function if $F(x,y)=f(x\oplus y)$ for some function $f$ on $n$ input bits, where $\oplus$ is a bit-wise XOR. XOR functions are relevant in communication complexity, partially for allowing Fourier analytic technique. For total XOR functions it is known that deterministic communication complexity of $F$ is closely related to parity decision…
▽ More
Boolean function $F(x,y)$ for $x,y \in \{0,1\}^n$ is an XOR function if $F(x,y)=f(x\oplus y)$ for some function $f$ on $n$ input bits, where $\oplus$ is a bit-wise XOR. XOR functions are relevant in communication complexity, partially for allowing Fourier analytic technique. For total XOR functions it is known that deterministic communication complexity of $F$ is closely related to parity decision tree complexity of $f$. Montanaro and Osbourne (2009) observed that one-sided communication complexity $D_{cc}^{\rightarrow}(F)$ of $F$ is exactly equal to nonadaptive parity decision tree complexity $NADT^{\oplus}(f)$ of $f$. Hatami et al. (2018) showed that unrestricted communication complexity of $F$ is polynomially related to parity decision tree complexity of $f$.
We initiate the studies of a similar connection for partial functions. We show that in case of one-sided communication complexity whether these measures are equal, depends on the number of undefined inputs of $f$. On the one hand, if $D_{cc}^{\rightarrow}(F)=t$ and $f$ is undefined on at most $O(\frac{2^{n-t}}{\sqrt{n-t}})$, then $NADT^{\oplus}(f)=t$.
On the other hand, for a wide range of values of $D_{cc}^{\rightarrow}(F)$ and $NADT^{\oplus}(f)$ (from constant to $n-2$) we provide partial functions for which $D_{cc}^{\rightarrow}(F) < NADT^{\oplus}(f)$. In particular, we provide a function with an exponential gap between the two measures. Our separation results translate to the case of two-sided communication complexity as well, in particular showing that the result of Hatami et al. (2018) cannot be generalized to partial functions.
Previous results for total functions heavily rely on Boolean Fourier analysis and the technique does not translate to partial functions. For the proofs of our results we build a linear algebraic framework instead. Separation results are proved through the reduction to covering codes.
△ Less
Submitted 31 May, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Parity Decision Tree Complexity is Greater Than Granularity
Authors:
Anastasiya Chistopolskaya,
Vladimir V. Podolskii
Abstract:
We prove a new lower bound on the parity decision tree complexity $\mathsf{D}_{\oplus}(f)$ of a Boolean function $f$. Namely, granularity of the Boolean function $f$ is the smallest $k$ such that all Fourier coefficients of $f$ are integer multiples of $1/2^k$. We show that $\mathsf{D}_{\oplus}(f)\geq k+1$.
This lower bound is an improvement of lower bounds through the sparsity of $f$ and throug…
▽ More
We prove a new lower bound on the parity decision tree complexity $\mathsf{D}_{\oplus}(f)$ of a Boolean function $f$. Namely, granularity of the Boolean function $f$ is the smallest $k$ such that all Fourier coefficients of $f$ are integer multiples of $1/2^k$. We show that $\mathsf{D}_{\oplus}(f)\geq k+1$.
This lower bound is an improvement of lower bounds through the sparsity of $f$ and through the degree of $f$ over $\mathbb{F}_2$. Using our lower bound we determine the exact parity decision tree complexity of several important Boolean functions including majority and recursive majority. For majority the complexity is $n - \mathsf{B}(n)+1$, where $\mathsf{B}(n)$ is the number of ones in the binary representation of $n$. For recursive majority the complexity is $\frac{n+1}{2}$. Finally, we provide an example of a function for which our lower bound is not tight.
Our results imply new lower bound of $n - \mathsf{B}(n)$ on the multiplicative complexity of majority.
△ Less
Submitted 26 October, 2018; v1 submitted 19 October, 2018;
originally announced October 2018.
-
Inner Product and Set Disjointness: Beyond Logarithmically Many Parties
Authors:
Vladimir V. Podolskii,
Alexander A. Sherstov
Abstract:
A basic goal in complexity theory is to understand the communication complexity of number-on-the-forehead problems $f\colon(\{0,1\}^n)^{k}\to\{0,1\}$ with $k\gg\log n$ parties. We study the problems of inner product and set disjointness and determine their randomized communication complexity for every $k\geq\log n$, showing in both cases that $Θ(1+\lceil\log n\rceil/\log\lceil1+k/\log n\rceil)$ bi…
▽ More
A basic goal in complexity theory is to understand the communication complexity of number-on-the-forehead problems $f\colon(\{0,1\}^n)^{k}\to\{0,1\}$ with $k\gg\log n$ parties. We study the problems of inner product and set disjointness and determine their randomized communication complexity for every $k\geq\log n$, showing in both cases that $Θ(1+\lceil\log n\rceil/\log\lceil1+k/\log n\rceil)$ bits are necessary and sufficient. In particular, these problems admit constant-cost protocols if and only if the number of parties is $k\geq n^ε$ for some constant $ε>0.$
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
Tropical Combinatorial Nullstellensatz and Sparse Polynomials
Authors:
Dima Grigoriev,
Vladimir V. Podolskii
Abstract:
Tropical algebra emerges in many fields of mathematics such as algebraic geometry, mathematical physics and combinatorial optimization. In part, its importance is related to the fact that it makes various parameters of mathematical objects computationally accessible. Tropical polynomials play a fundamental role in this, especially for the case of algebraic geometry. On the other hand, many algebra…
▽ More
Tropical algebra emerges in many fields of mathematics such as algebraic geometry, mathematical physics and combinatorial optimization. In part, its importance is related to the fact that it makes various parameters of mathematical objects computationally accessible. Tropical polynomials play a fundamental role in this, especially for the case of algebraic geometry. On the other hand, many algebraic questions behind tropical polynomials remain open. In this paper we address four basic questions on tropical polynomials closely related to their computational properties:
1. Given a polynomial with a certain support (set of monomials) and a (finite) set of inputs, when is it possible for the polynomial to vanish on all these inputs?
2. A more precise question, given a polynomial with a certain support and a (finite) set of inputs, how many roots can this polynomial have on this set of inputs?
3. Given an integer $k$, for which $s$ there is a set of $s$ inputs such that any non-zero polynomial with at most $k$ monomials has a non-root among these inputs?
4. How many integer roots can have a one variable polynomial given by a tropical algebraic circuit?
In the classical algebra well-known results in the direction of these questions are Combinatorial Nullstellensatz due to N. Alon, J. Schwartz - R. Zippel Lemma and Universal Testing Set for sparse polynomials respectively. The classical analog of the last question is known as $τ$-conjecture due to M. Shub - S. Smale. In this paper we provide results on these four questions for tropical polynomials.
△ Less
Submitted 25 April, 2019; v1 submitted 31 May, 2017;
originally announced June 2017.
-
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries
Authors:
Meghyn Bienvenu,
Stanislav Kikot,
Roman Kontchakov,
Vladimir V. Podolskii,
Vladislav Ryzhikov,
Michael Zakharyaschev
Abstract:
Our concern is the overhead of answering OWL 2 QL ontology-mediated queries (OMQs) in ontology-based data access compared to evaluating their underlying tree-shaped and bounded treewidth conjunctive queries (CQs). We show that OMQs with bounded-depth ontologies have nonrecursive datalog (NDL) rewritings that can be constructed and evaluated in LOGCFL for combined complexity, even in NL if their CQ…
▽ More
Our concern is the overhead of answering OWL 2 QL ontology-mediated queries (OMQs) in ontology-based data access compared to evaluating their underlying tree-shaped and bounded treewidth conjunctive queries (CQs). We show that OMQs with bounded-depth ontologies have nonrecursive datalog (NDL) rewritings that can be constructed and evaluated in LOGCFL for combined complexity, even in NL if their CQs are tree-shaped with a bounded number of leaves, and so incur no overhead in complexity-theoretic terms. For OMQs with arbitrary ontologies and bounded-leaf CQs, NDL-rewritings are constructed and evaluated in LOGCFL. We show experimentally feasibility and scalability of our rewritings compared to previously proposed NDL-rewritings. On the negative side, we prove that answering OMQs with tree-shaped CQs is not fixed-parameter tractable if the ontology depth or the number of leaves in the CQs is regarded as the parameter, and that answering OMQs with a fixed ontology (of infinite depth) is NP-complete for tree-shaped and LOGCFL for bounded-leaf CQs.
△ Less
Submitted 24 September, 2020; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates
Authors:
Alexander S. Kulikov,
Vladimir V. Podolskii
Abstract:
We study the following computational problem: for which values of $k$, the majority of $n$ bits $\text{MAJ}_n$ can be computed with a depth two formula whose each gate computes a majority function of at most $k$ bits? The corresponding computational model is denoted by $\text{MAJ}_k \circ \text{MAJ}_k$. We observe that the minimum value of $k$ for which there exists a…
▽ More
We study the following computational problem: for which values of $k$, the majority of $n$ bits $\text{MAJ}_n$ can be computed with a depth two formula whose each gate computes a majority function of at most $k$ bits? The corresponding computational model is denoted by $\text{MAJ}_k \circ \text{MAJ}_k$. We observe that the minimum value of $k$ for which there exists a $\text{MAJ}_k \circ \text{MAJ}_k$ circuit that has high correlation with the majority of $n$ bits is equal to $Θ(n^{1/2})$. We then show that for a randomized $\text{MAJ}_k \circ \text{MAJ}_k$ circuit computing the majority of $n$ input bits with high probability for every input, the minimum value of $k$ is equal to $n^{2/3+o(1)}$. We show a worst case lower bound: if a $\text{MAJ}_k \circ \text{MAJ}_k$ circuit computes the majority of $n$ bits correctly on all inputs, then $k\geq n^{13/19+o(1)}$. This lower bound exceeds the optimal value for randomized circuits and thus is unreachable for pure randomized techniques. For depth $3$ circuits we show that a circuit with $k= O(n^{2/3})$ can compute $\text{MAJ}_n$ correctly on all inputs.
△ Less
Submitted 9 October, 2016;
originally announced October 2016.
-
Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries
Authors:
Meghyn Bienvenu,
Stanislav Kikot,
Roman Kontchakov,
Vladimir V. Podolskii,
Michael Zakharyaschev
Abstract:
We show that, for OWL 2 QL ontology-mediated queries with (i) ontologies of bounded depth and conjunctive queries of bounded treewidth, (ii) ontologies of bounded depth and bounded-leaf tree-shaped conjunctive queries, and (iii) arbitrary ontologies and bounded-leaf tree-shaped conjunctive queries, one can construct and evaluate nonrecursive datalog rewritings by, respectively, LOGCFL, NL and LOGC…
▽ More
We show that, for OWL 2 QL ontology-mediated queries with (i) ontologies of bounded depth and conjunctive queries of bounded treewidth, (ii) ontologies of bounded depth and bounded-leaf tree-shaped conjunctive queries, and (iii) arbitrary ontologies and bounded-leaf tree-shaped conjunctive queries, one can construct and evaluate nonrecursive datalog rewritings by, respectively, LOGCFL, NL and LOGCFL algorithms, which matches the optimal combined complexity.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
Circuit Complexity Meets Ontology-Based Data Access
Authors:
Vladimir V. Podolskii
Abstract:
Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without any use of theory. Thus the problem reduces to the standard database setting.
However, the size of the query may increase substantially during the reformulation…
▽ More
Ontology-based data access is an approach to organizing access to a database augmented with a logical theory. In this approach query answering proceeds through a reformulation of a given query into a new one which can be answered without any use of theory. Thus the problem reduces to the standard database setting.
However, the size of the query may increase substantially during the reformulation. In this survey we review a recently developed framework on proving lower and upper bounds on the size of this reformulation by employing methods and results from Boolean circuit complexity.
△ Less
Submitted 3 June, 2015;
originally announced June 2015.
-
Tropical Effective Primary and Dual Nullstellensätze
Authors:
Dima Grigoriev,
Vladimir V. Podolskii
Abstract:
Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials…
▽ More
Tropical algebra is an emerging field with a number of applications in various areas of mathematics. In many of these applications appeal to tropical polynomials allows to study properties of mathematical objects such as algebraic varieties and algebraic curves from the computational point of view. This makes it important to study both mathematical and computational aspects of tropical polynomials.
In this paper we prove a tropical Nullstellensatz and moreover we show an effective formulation of this theorem. Nullstellensatz is a natural step in building algebraic theory of tropical polynomials and its effective version is relevant for computational aspects of this field.
On our way we establish a simple formulation of min-plus and tropical linear dualities. We also observe a close connection between tropical and min-plus polynomial systems.
△ Less
Submitted 4 June, 2015; v1 submitted 22 September, 2014;
originally announced September 2014.
-
Patience of Matrix Games
Authors:
Kristoffer Arnsfelt Hansen,
Rasmus Ibsen-Jensen,
Vladimir V. Podolskii,
Elias Tsigaridas
Abstract:
For matrix games we study how small nonzero probability must be used in optimal strategies. We show that for nxn win-lose-draw games (i.e. (-1,0,1) matrix games) nonzero probabilities smaller than n^{-O(n)} are never needed. We also construct an explicit nxn win-lose game such that the unique optimal strategy uses a nonzero probability as small as n^{-Omega(n)}. This is done by constructing an exp…
▽ More
For matrix games we study how small nonzero probability must be used in optimal strategies. We show that for nxn win-lose-draw games (i.e. (-1,0,1) matrix games) nonzero probabilities smaller than n^{-O(n)} are never needed. We also construct an explicit nxn win-lose game such that the unique optimal strategy uses a nonzero probability as small as n^{-Omega(n)}. This is done by constructing an explicit (-1,1) nonsingular nxn matrix, for which the inverse has only nonnegative entries and where some of the entries are of value n^{Omega(n)}.
△ Less
Submitted 8 June, 2012;
originally announced June 2012.
-
Complexity of tropical and min-plus linear prevarieties
Authors:
Dima Grigoriev,
Vladimir V. Podolskii
Abstract:
A tropical (or min-plus) semiring is a set $\mathbb{Z}$ (or $\mathbb{Z \cup \{\infty\}}$) endowed with two operations: $\oplus$, which is just usual minimum, and $\odot$, which is usual addition. In tropical algebra the vector $x$ is a solution to a polynomial $g_1(x) \oplus g_2(x) \oplus...\oplus g_k(x)$, where $g_i(x)$'s are tropical monomials, if the minimum in $\min_i(g_{i}(x))$ is attained at…
▽ More
A tropical (or min-plus) semiring is a set $\mathbb{Z}$ (or $\mathbb{Z \cup \{\infty\}}$) endowed with two operations: $\oplus$, which is just usual minimum, and $\odot$, which is usual addition. In tropical algebra the vector $x$ is a solution to a polynomial $g_1(x) \oplus g_2(x) \oplus...\oplus g_k(x)$, where $g_i(x)$'s are tropical monomials, if the minimum in $\min_i(g_{i}(x))$ is attained at least twice. In min-plus algebra solutions of systems of equations of the form $g_1(x)\oplus...\oplus g_k(x) = h_1(x)\oplus...\oplus h_l(x)$ are studied.
In this paper we consider computational problems related to tropical linear system. We show that the solvability problem (both over $\mathbb{Z}$ and $\mathbb{Z} \cup \{\infty\}$) and the problem of deciding the equivalence of two linear systems (both over $\mathbb{Z}$ and $\mathbb{Z} \cup \{\infty\}$) are equivalent under polynomial-time reduction to mean payoff games and are also equivalent to analogous problems in min-plus algebra. In particular, all these problems belong to $\mathsf{NP} \cap \mathsf{coNP}$. Thus we provide a tight connection of computational aspects of tropical linear algebra with mean payoff games and min-plus linear algebra. On the other hand we show that computing the dimension of the solution space of a tropical linear system and of a min-plus linear system are $\mathsf{NP}$-complete.
We also extend some of our results to the systems of min-plus linear inequalities.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
Lower Bound on Weights of Large Degree Threshold Functions
Authors:
Vladimir V. Podolskii
Abstract:
An integer polynomial $p$ of $n$ variables is called a \emph{threshold gate} for a Boolean function $f$ of $n$ variables if for all $x \in \zoon$ $f(x)=1$ if and only if $p(x)\geq 0$. The \emph{weight} of a threshold gate is the sum of its absolute values.
In this paper we study how large a weight might be needed if we fix some function and some threshold degree. We prove $2^{Ω(2^{2n/5})}$ lower…
▽ More
An integer polynomial $p$ of $n$ variables is called a \emph{threshold gate} for a Boolean function $f$ of $n$ variables if for all $x \in \zoon$ $f(x)=1$ if and only if $p(x)\geq 0$. The \emph{weight} of a threshold gate is the sum of its absolute values.
In this paper we study how large a weight might be needed if we fix some function and some threshold degree. We prove $2^{Ω(2^{2n/5})}$ lower bound on this value. The best previous bound was $2^{Ω(2^{n/8})}$ (Podolskii, 2009).
In addition we present substantially simpler proof of the weaker $2^{Ω(2^{n/4})}$ lower bound. This proof is conceptually similar to other proofs of the bounds on weights of nonlinear threshold gates, but avoids a lot of technical details arising in other proofs. We hope that this proof will help to show the ideas behind the construction used to prove these lower bounds.
△ Less
Submitted 27 June, 2013; v1 submitted 12 April, 2012;
originally announced April 2012.
-
Room temperature ferromagnetism and anomalous Hall effect in Si$_{1-x}$Mn$_x$ ($x\approx 0.35$) alloys
Authors:
B. A. Aronzon,
V. V. Rylkov,
S. N. Nikolaev,
V. V. Tugushev,
S. Caprara,
V. V. Podolskii,
V. P. Lesnikov,
A. Lashkul,
R. Laiho,
R. R. Gareev,
N. S. Perov,
A. S. Semisalova
Abstract:
A detailed study of the magnetic and transport properties of Si$_{1-x}$Mn$_x$ ($x\approx 0.35$) films is presented. We observe the anomalous Hall effect (AHE) in these films up to room temperature. The results of the magnetic measurements and the AHE data are consistent and demonstrate the existence of long-range ferromagnetic (FM) order in the systems under study. A correlation of the AHE and the…
▽ More
A detailed study of the magnetic and transport properties of Si$_{1-x}$Mn$_x$ ($x\approx 0.35$) films is presented. We observe the anomalous Hall effect (AHE) in these films up to room temperature. The results of the magnetic measurements and the AHE data are consistent and demonstrate the existence of long-range ferromagnetic (FM) order in the systems under study. A correlation of the AHE and the magnetic properties of Si$_{1-x}$Mn$_x$ ($x\approx 0.35$) films with their conductivity and substrate type is shown. A theoretical model based on the idea of a two-phase magnetic material, in which molecular clusters with localized magnetic moments are embedded in the matrix of a weak itinerant ferromagnet, is discussed. The long-range ferromagnetic order at high temperatures is mainly due to the Stoner enhancement of the exchange coupling between clusters through thermal spin fluctuations (paramagnons) in the matrix. Theoretical predictions and experimental data are in good qualitative agreement.
△ Less
Submitted 6 December, 2010;
originally announced December 2010.
-
Room temperature ferromagnetism and anomalous Hall effect in Si_{1-x}Mn_x (x = 0.35) alloys
Authors:
B. A. Aronzon,
V. V. Rylkov,
S. N. Nikolaev,
V. V. Tugushev,
S. Caprara,
V. V. Podolskii,
V. P. Lesnikov,
A. Lashkul,
R. Laiho,
R. R. Gareev,
N. S. Perov,
A. S. Semisalova
Abstract:
A detailed study of the magnetic and transport properties of Si1-xMnx (X = 0.35) films is presented. We observe the anomalous Hall effect (AHE) in these films up to room temperature. The results of the magnetic measurements and the AHE data are consistent and demonstrate the existence of long-range ferromagnetic (FM) order in the systems under study. A correlation of the AHE and the magnetic prope…
▽ More
A detailed study of the magnetic and transport properties of Si1-xMnx (X = 0.35) films is presented. We observe the anomalous Hall effect (AHE) in these films up to room temperature. The results of the magnetic measurements and the AHE data are consistent and demonstrate the existence of long-range ferromagnetic (FM) order in the systems under study. A correlation of the AHE and the magnetic properties of Si1-xMnx (X = 0.35) films with their conductivity and substrate type is shown. A theoretical model based on the idea of a two-phase magnetic material, in which molecular clusters with localized magnetic moments are embedded in the matrix of a weak itinerant ferromagnet, is discussed. The long-range ferromagnetic order at high temperatures is mainly due to the Stoner enhancement of the exchange coupling between clusters through thermal spin fluctuations ("paramagnons") in the matrix. Theoretical predictions and experimental data are in good qualitative agreement.
△ Less
Submitted 3 December, 2010;
originally announced December 2010.
-
Peculiarities of the transport properties of InMnAs layers, produced by the laser deposition, in strong magnetic fields
Authors:
V. V. Rylkov,
A. S. Lagutin,
B. A. Aronzon,
V. V. Podolskii,
V. P. Lesnikov,
M. Goiran,
J. Galibert,
B. Raquet,
J. Leotin
Abstract:
Magnetotransport properties of p-InMnAs layers are studied in pulsed magnetic fields up to 30 T. Samples were prepared by the laser deposition and annealed by ruby laser pulses. Well annealed samples show p-type conductivity while they were n-type before the annealing. Surprisingly the anomalous Hall effect resistance in paramagnetic state (T>40 K) and in strong magnetic fields (B > 20 T) appear…
▽ More
Magnetotransport properties of p-InMnAs layers are studied in pulsed magnetic fields up to 30 T. Samples were prepared by the laser deposition and annealed by ruby laser pulses. Well annealed samples show p-type conductivity while they were n-type before the annealing. Surprisingly the anomalous Hall effect resistance in paramagnetic state (T>40 K) and in strong magnetic fields (B > 20 T) appears to be greater than that in ferromagnetic state (T <= 40 K), while the longitudinal resistance rises with the temperature decrease. The negative magnetoresistance saturates in magnetic fields higher then 10T at T near 4 K only, whereas the saturation fields of the anomalous Hall effect resistance are much less (around 2 T at 30K). The total reduction of resistance exceeds 10 times in magnetic fields around of 10T. The obtained results are interpreted on the base of the assumptions of the non-uniform distribution of Mn atoms acting as acceptors, the local ferromagnetic transition and the percolation-like character of the film conductivity, which prevailed under conditions of the strong fluctuations of the exchange interaction. Characteristic scales of the magneto-electric nonuniformity are estimated using analysis of the mesoscopic fluctuations of the non-diagonal components of the magnetoresistivity tensor.
△ Less
Submitted 27 December, 2006;
originally announced December 2006.