Source author record

Trevor Pinto

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
3topics
2close collaborators

Published work

4 publications

preprint2020arXiv

Random Uniform and Pure Random Simplicial Complexes

In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random pure simplicial complex of dimension dd, generated by letting any subset of size d+1d+1 of a set of nn vertices be a facet with probability pp and considering the simplicial complex generated by these facets. We compare the behaviour of these models for suitable values of dd and pp. Finally we use the equivalence between simplicial complexes and monotone boolean functions to study the behaviour of typical such functions. Specifically we prove that most monotone boolean functions are evasive, hence proving that the well known Evasiveness conjecture is generically true for monotone boolean functions without symmetry assumptions.

preprint2016arXiv

Saturated Subgraphs of the Hypercube

We say GG is \emph{(Qn,Qm)(Q_n,Q_m)-saturated} if it is a maximal QmQ_m-free subgraph of the nn-dimensional hypercube QnQ_n. A graph, GG, is said to be (Qn,Qm)(Q_n,Q_m)-semi-saturated if it is a subgraph of QnQ_n and adding any edge forms a new copy of QmQ_m. The minimum number of edges a (Qn,Qm)(Q_n,Q_m)-saturated graph (resp. (Qn,Qm)(Q_n,Q_m)-semi-saturated graph) can have is denoted by sat(Qn,Qm)sat(Q_n,Q_m) (resp. s-sat(Qn,Qm)s\text{-}sat(Q_n,Q_m)). We prove that lim⁡n→∞sat(Qn,Qm)e(Qn)=0 \lim_{n\to\infty}\frac{sat(Q_n,Q_m)}{e(Q_n)}=0, for fixed mm, disproving a conjecture of Santolupo that, when m=2m=2, this limit is 14\frac{1}{4}. Further, we show by a different method that sat(Qn,Q2)=O(2n)sat(Q_n, Q_2)=O(2^n), and that s-sat(Qn,Qm)=O(2n)s\text{-}sat(Q_n, Q_m)=O(2^n), for fixed mm. We also prove the lower bound s−sat(Qn,Q2)≥m+12⋅2ns-sat(Q_n,Q_2)\geq \frac{m+1}{2}\cdot 2^n, thus determining sat(Qn,Q2)sat(Q_n,Q_2) to within a constant factor, and discuss some further questions.

preprint2015arXiv

The proofs of two directed paths conjectures of Bollobás and Leader

Let AA and BB be disjoint sets, of size 2k2^k, of vertices of QnQ_n, the nn-dimensional hypercube. In 1997, Bollobás and Leader proved that there must be (n−k)2k(n-k)2^k edge-disjoint paths between such AA and BB. They conjectured that when AA is a down-set and BB is an up-set, these paths may be chosen to be directed (that is, the vertices in the path form a chain). We use a novel type of compression argument to prove stronger versions of these conjectures, namely that the largest number of edge-disjoint paths between a down-set AA and an up-set BB is the same as the largest number of directed edge-disjoint paths between AA and BB. Bollobás and Leader made an analogous conjecture for vertex-disjoint paths and we prove a strengthening of this by similar methods. We also prove similar results for all other sizes of AA and BB.

preprint2014arXiv

Biclique Covers and Partitions

The biclique cover number (resp. biclique partition number) of a graph GG, bc(G\mathrm{bc}(G) (resp. bp(G)\mathrm{bp}(G)), is the least number of biclique (complete bipartite) subgraphs that are needed to cover (resp. partition) the edges of GG. The \emph{local biclique cover number} (resp. local biclique partition number) of a graph GG, lbc(G\mathrm{lbc}(G) (resp. lbp(G)\mathrm{lbp}(G)), is the least rr such that there is a cover (resp. partition) of the edges of GG by bicliques with no vertex in more than rr of these bicliques. We show that bp(G)\mathrm{bp}(G) may be bounded in terms of bc(G)\mathrm{bc}(G), in particular, bp(G)≤12(3bc(G)−1)\mathrm{bp}(G)\leq \frac{1}{2}(3^\mathrm{bc(G)}-1). However, the analogous result does not hold for the local measures. Indeed, in our main result, we show that lbp(G)\mathrm{lbp}(G) can be arbitrarily large, even for graphs with lbc(G)=2\mathrm{lbc}(G)=2. For such graphs, GG, we try to bound lbp(G)\mathrm{lbp}(G) in terms of additional information about biclique covers of GG. We both answer and leave open questions related to this. There is a well known link between biclique covers and subcube intersection graphs. We consider the problem of finding the least r(n)r(n) for which every graph on nn vertices can be represented as a subcube intersection graph in which every subcube has dimension rr. We reduce this problem to the much studied question of finding the least d(n)d(n) such that every graph on nn vertices is the intersection graph of subcubes of a dd-dimensional cube.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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