BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Robin Houston

Robin Houston contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTLogic in Computer Sciencemath.LOComputational ComplexityData Structures and Algorithmsmath.CO

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
6topics
4close 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

5 published item(s)

preprint2014arXiv

Tackling the Minimal Superpermutation Problem

A superpermutation on $n$ symbols is a string that contains each of the $n!$ permutations of the $n$ symbols as a contiguous substring. The shortest superpermutation on $n$ symbols was conjectured to have length $\sum_{i=1}^n i!$. The conjecture had been verified for $n \leq 5$. We disprove it by exhibiting an explicit counterexample for $n=6$. This counterexample was found by encoding the problem as an instance of the (asymmetric) Traveling Salesman Problem, and searching for a solution using a powerful heuristic solver.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Linear Logic without Units

We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed very thoroughly, at least in the published literature, we need to develop it here. The most natural way to do this - and the simplest, once the (substantial) groundwork has been laid - is to consider promonoidal categories as an instance of the general theory of pseudomonoids in a monoidal bicategory. Accordingly, we describe and explain the notions of monoidal bicategory and pseudomonoid therein. The higher-dimensional nature of monoidal bicategories presents serious notational difficulties, since to use the natural analogue of the commutative diagrams used in ordinary category theory would require the use of three-dimensional diagrams. We therefore introduce a novel technical device, which we dub the calculus of components, that simplifies the business of reasoning about a certain class of algebraic structure internal to a monoidal bicategory. When viewed through this simplifying lens, the theory of pseudomonoids turns out to be essentially formally identical to the ordinary theory of monoidal categories. We indicate how the calculus of components may be extended to cover structures that make use of the braiding in a braided monoidal bicategory, and use this to study braided pseudomonoids. A higher-dimensional analogue of Cayley's theorem is proved, and used to deduce a novel characterisation of the unit of a promonoidal category. This, and the other preceding work, is then used to give two characterisations of the categories that model the unitless fragment of intuitionistic multiplicative linear logic. Finally we consider the non-intuitionistic case, where the second characterisation in particular takes a surprisingly simple form.

0 citations0 reviewsNo code linkedOpen access