Researcher profile

Pavel Hrubes

Pavel Hrubes contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 13 - UnverifiedVerification L1Unclaimed author
2works
0followers
3topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2020arXiv

On the distribution of runners on a circle

Consider $n$ runners running on a circular track of unit length with constant speeds such that $k$ of the speeds are distinct. We show that, at some time, there will exist a sector $S$ which contains at least $|S|n+ Ω(\sqrt{k})$ runners. The result can be generalized as follows. Let $f(x,y)$ be a complex bivariate polynomial whose Newton polytope has $k$ vertices. Then there exists $a\in {\mathbb C}\setminus\{0\}$ and a complex sector $S=\{re^{\imath θ}: r>0, α\leq θ\leq β\}$ such that the univariate polynomial $f(x,a)$ contains at least $\frac{β-α}{2π}n+Ω(\sqrt{k})$ non-zero roots in $S$ (where $n$ is the total number of such roots and $0\leq (β-α)\leq 2π$). This shows that the Real $τ$-Conjecture of Koiran implies the conjecture on Newton polytopes of Koiran et al.

preprint2013arXiv

Short Proofs for the Determinant Identities

We study arithmetic proof systems P_c(F) and P_f(F) operating with arithmetic circuits and arithmetic formulas, respectively, that prove polynomial identities over a field F. We establish a series of structural theorems about these proof systems, the main one stating that P_c(F) proofs can be balanced: if a polynomial identity of syntactic degree d and depth k has a P_c(F) proof of size s, then it also has a P_c(F) proof of size poly(s,d) and depth O(k+\log^2 d + \log d\cd \log s). As a corollary, we obtain a quasipolynomial simulation of P_c(F) by P_f(F), for identities of a polynomial syntactic degree. Using these results we obtain the following: consider the identities det(XY) = det(X)det(Y) and det(Z)= z_{11}... z_{nn}, where X,Y and Z are nxn square matrices and Z is a triangular matrix with z_{11},..., z_{nn} on the diagonal (and det is the determinant polynomial). Then we can construct a polynomial-size arithmetic circuit det such that the above identities have P_c(F) proofs of polynomial-size and O(\log^2 n) depth. Moreover, there exists an arithmetic formula det of size n^{O(\log n)} such that the above identities have P_f(F) proofs of size n^{O(\log n)}. This yields a solution to a basic open problem in propositional proof complexity, namely, whether there are polynomial-size NC^2-Frege proofs for the determinant identities and the hard matrix identities, as considered, e.g., in Soltys and Cook (2004) (cf., Beame and Pitassi (1998)). We show that matrix identities like AB=I {\to} BA=I (for matrices over the two element field) as well as basic properties of the determinant have polynomial-size NC^2-Frege proofs, and quasipolynomial-size Frege proofs.