Fooling sets and rank

An $n\times n$ matrix $M$ is called a \textit{fooling-set matrix of size $n$} if its diagonal entries are nonzero and $M_{k,\ell} M_{\ell,k} = 0$ for every $k\ne \ell$. Dietzfelbinger, Hromkovi{\v{c}}, and Schnitger (1996) showed that n \le (\mbox{rk} M)^2, regardless of over which field the rank is computed, and asked whether the exponent on \mbox{rk} M can be improved. We settle this question. In characteristic zero, we construct an infinite family of rational fooling-set matrices with size n = \binom{\mbox{rk} M+1}{2}. In nonzero characteristic, we construct an infinite family of matrices with n= (1+o(1))(\mbox{rk} M)^2.Comment: 10 pages. Now resolves the open problem also in characteristic

Polütoopide laienditega seotud ülesanded

Väitekirja elektrooniline versioon ei sisalda publikatsiooneLineaarplaneerimine on optimeerimine matemaatilise mudeliga, mille sihi¬funktsioon ja kitsendused on esitatud lineaarsete seostega. Paljusid igapäeva elu väljakutseid võime vaadelda lineaarplaneerimise vormis, näiteks miinimumhinna või maksimaalse tulu leidmist. Sisepunkti meetod saavutab häid tulemusi nii teoorias kui ka praktikas ning lahendite leidmise tööaeg ja lineaarsete seoste arv on polünomiaalses seoses. Sellest tulenevalt eksponentsiaalne arv lineaarseid seoseid väljendub ka ekponentsiaalses tööajas. Iga vajalik lineaarne seos vastab ühele polütoobi P tahule, mis omakorda tähistab lahendite hulka. Üks võimalus tööaja vähendamiseks on suurendada dimensiooni, mille tulemusel väheneks ka polütoobi tahkude arv. Saadud polütoopi Q nimeta¬takse polütoobi P laiendiks kõrgemas dimensioonis ning polütoobi Q minimaalset tahkude arvu nimetakakse polütoobi P laiendi keerukuseks, sellisel juhul optimaalsete lahendite hulk ei muutu. Tekib küsimus, millisel juhul on võimalik leida laiend Q, mille korral tahkude arv on polünomiaalne. Mittedeterministlik suhtluskeerukus mängib olulist rolli tõestamaks polütoopide laiendite keerukuse alampiiri. Polütoobile P vastava suhtluskeerukuse leidmine ning alamtõkke tõestamine väistavad võimalused leida laiend Q, mis ei oleks eksponentsiaalne. Käesolevas töös keskendume me juhuslikele Boole'i funktsioonidele f, mille tihedusfunktsioon on p = p(n). Me pakume välja vähima ülemtõkke ning suurima alamtõkke mittedeterministliku suhtluskeerukuse jaoks. Lisaks uurime me ka pedigree polütoobi graafi. Pedigree polütoop on rändkaupmehe ülesande polütoobi laiend, millel on kombinatoorne struktuur. Polütoobi graafi võib vaadelda kui abstraktset graafi ning see annab informatsiooni polütoobi omaduste kohta.The linear programming (LP for short) is a method for finding an optimal solution, such as minimum cost or maximum profit for a linear function subject to linear constraints. But having an exponential number of inequalities gives the exponential running time in solving linear program. A polytope, let's say P, represents the space of the feasible solution. One idea for decreasing the running time of the problem, is lifting the polytope P tho the higher dimensions with the goal of decresing the number of inequalities. The polytope in higher dimension, let's say Q, is the extension of the original polytope P and the minimum number of facets that Q can have is the extension complexity of P. Then the optimal solution of the problem over Q, gives the optimal solution over P. The natural question may raise is when is it possible to have an extension with a polynomial number of inequalities? Nondeterministic communication complexity is a powerful tool for proving lower bound on the extension complexity of a polytopes. Finding a suitable communication complexity problem corresponded to a polytope P and proving a linear lower bound for the nondeterministic communication complexity of it, will rule out all the attempts for finding sub-exponential size extension Q of P. In this thesis, we focus on the random Boolean functions f, with density p = p(n). We give tight upper and lower bounds for the nondeterministic communication complexity and parameters related to it. Also, we study the rank of fooling set matrix which is an important lower bound for nondeterministic communication complexity. Finally, we investigate the graph of the pedigree polytope. Pedigree polytope is an extension of TSP (traveling salesman problem; the most extensively studied problem in combinatorial optimization) polytopes with a nice combinatorial structure. The graph of a polytope can be regarded as an abstract graph and it reveals meaningful information about the properties of the polytope

Fractional coverings, greedy coverings, and rectifier networks

A rectifier network is a directed acyclic graph with distinguished sources and sinks; it is said to compute a Boolean matrix M that has a 1 in the entry (i,j) iff there is a path from the j-th source to the i-th sink. The smallest number of edges in a rectifier network that computes M is a classic complexity measure on matrices, which has been studied for more than half a century. We explore two techniques that have hitherto found little to no applications in this theory. They build upon a basic fact that depth-2 rectifier networks are essentially weighted coverings of Boolean matrices with rectangles. Using fractional and greedy coverings (defined in the standard way), we obtain new results in this area. First, we show that all fractional coverings of the so-called full triangular matrix have cost at least n log n. This provides (a fortiori) a new proof of the tight lower bound on its depth-2 complexity (the exact value has been known since 1965, but previous proofs are based on different arguments). Second, we show that the greedy heuristic is instrumental in tightening the upper bound on the depth-2 complexity of the Kneser-Sierpinski (disjointness) matrix. The previous upper bound is O(n^{1.28}), and we improve it to O(n^{1.17}), while the best known lower bound is Omega(n^{1.16}). Third, using fractional coverings, we obtain a form of direct product theorem that gives a lower bound on unbounded-depth complexity of Kronecker (tensor) products of matrices. In this case, the greedy heuristic shows (by an argument due to Lovász) that our result is only a logarithmic factor away from the "full" direct product theorem. Our second and third results constitute progress on open problem 7.3 and resolve, up to a logarithmic factor, open problem 7.5 from a recent book by Jukna and Sergeev (in Foundations and Trends in Theoretical Computer Science (2013)

Algebraic Dependencies and PSPACE Algorithms in Approximative Complexity

Testing whether a set $\mathbf{f}$ of polynomials has an algebraic dependence is a basic problem with several applications. The polynomials are given as algebraic circuits. Algebraic independence testing question is wide open over finite fields (Dvir, Gabizon, Wigderson, FOCS'07). The best complexity known is NP$^{\#\rm P}$ (Mittmann, Saxena, Scheiblechner, Trans.AMS'14). In this work we put the problem in AM $\cap$ coAM. In particular, dependence testing is unlikely to be NP-hard and joins the league of problems of "intermediate" complexity, eg. graph isomorphism & integer factoring. Our proof method is algebro-geometric-- estimating the size of the image/preimage of the polynomial map $\mathbf{f}$ over the finite field. A gap in this size is utilized in the AM protocols. Next, we study the open question of testing whether every annihilator of $\mathbf{f}$ has zero constant term (Kayal, CCC'09). We give a geometric characterization using Zariski closure of the image of $\mathbf{f}$; introducing a new problem called approximate polynomials satisfiability (APS). We show that APS is NP-hard and, using projective algebraic-geometry ideas, we put APS in PSPACE (prior best was EXPSPACE via Grobner basis computation). As an unexpected application of this to approximative complexity theory we get-- Over any field, hitting-set for $\overline{\rm VP}$ can be designed in PSPACE. This solves an open problem posed in (Mulmuley, FOCS'12, J.AMS 2017); greatly mitigating the GCT Chasm (exponentially in terms of space complexity)