BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Alan D. Logan contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The Surface Group Conjectures are statements about recognising surface groups among one-relator groups, using either the structure of their finite-index subgroups, or all subgroups. We resolve these conjectures in the two generator case. More generally, we prove that every two-generator one-relator group with every infinite-index subgroup free is itself either free or a surface group.
We demonstrate quasi-phase matched, triply-resonant sum frequency conversion in 10.6-um-diameter integrated gallium phosphide ring resonators. A small-signal, waveguide-to-waveguide power conversion efficiency of 8%/mW is measured for conversion from telecom (1536 nm) and near infrared (1117 nm) to visible (647 nm) wavelengths with an absolute power conversion efficiency of 6.3% measured at saturation pump power. For the complementary difference frequency generation process, a single photon conversion efficiency of 7.2%/mW from visible to telecom is projected for resonators with optimized coupling. Efficient conversion from visible to telecom will facilitate long-distance transmission of spin-entangled photons from solid-state emitters such as the diamond NV center, allowing long-distance entanglement for quantum networks.
We give an algorithm which computes the fixed subgroup and the stable image for any endomorphism of the free group of rank two $F_2$, answering for $F_2$ a question posed by Stallings in 1984 and a question of Ventura.
A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free groups, and provide an algorithm to compute bases for the sets, called equalisers, on which the immersions take the same values. We also answer a question of Stallings about the rank of the equaliser. Analogous results are proven for marked morphisms of free monoids.