Showing 1–50 of 93 results for author: Pearce, P

Understanding Routing-Induced Censorship Changes Globally

Authors: Abhishek Bhaskar, Paul Pearce

Abstract: Internet censorship is pervasive, with significant effort dedicated to understanding what is censored, and where. Prior censorship work however have identified significant inconsistencies in their results; experiments show unexplained non-determinism thought to be caused by censor load, end-host geographic diversity, or incomplete censorship -- inconsistencies which impede reliable, repeatable and… ▽ More Internet censorship is pervasive, with significant effort dedicated to understanding what is censored, and where. Prior censorship work however have identified significant inconsistencies in their results; experiments show unexplained non-determinism thought to be caused by censor load, end-host geographic diversity, or incomplete censorship -- inconsistencies which impede reliable, repeatable and correct understanding of global censorship. In this work we investigate the extent to which Equal-cost Multi-path (ECMP) routing is the cause for these inconsistencies, develo** methods to measure and compensate for them. We find ECMP routing significantly changes observed censorship across protocols, censor mechanisms, and in 17 countries. We identify that previously observed non-determinism or regional variations are attributable to measurements between fixed end-hosts taking different routes based on Flow-ID; i.e., choice of intra-subnet source IP or ephemeral source port leads to differences in observed censorship. To achieve this we develop new route-stable censorship measurement methods that allow consistent measurement of DNS, HTTP, and HTTPS censorship. We find ECMP routing yields censorship changes across 42% of IPs and 51% of ASes, but that impact is not uniform. We identify numerous causes of the behavior, ranging from likely failed infrastructure, to routes to the same end-host taking geographically diverse paths which experience differences in censorship en-route. Finally, we explore our results in the context of prior global measurement studies, exploring first the applicability of our findings to prior observed variations, and then demonstrating how specific experiments from two studies could be impacted by, and specific results are explainable by, ECMP routing. Our work points to methods for improving future studies, reducing inconsistencies and increasing repeatability. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: In Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (CCS 2024)

A First Look At NAT64 Deployment In-The-Wild

Authors: Amanda Hsu, Frank Li, Paul Pearce, Oliver Gasser

Abstract: IPv6 is a fundamentally different Internet Protocol than IPv4, and IPv6-only networks cannot, by default, communicate with the IPv4 Internet. This lack of interoperability necessitates complex mechanisms for incremental deployment and bridging networks so that non-dual-stack systems can interact with the whole Internet. NAT64 is one such bridging mechanism by which a network allows IPv6-only clien… ▽ More IPv6 is a fundamentally different Internet Protocol than IPv4, and IPv6-only networks cannot, by default, communicate with the IPv4 Internet. This lack of interoperability necessitates complex mechanisms for incremental deployment and bridging networks so that non-dual-stack systems can interact with the whole Internet. NAT64 is one such bridging mechanism by which a network allows IPv6-only clients to connect to the entire Internet, leveraging DNS to identify IPv4-only networks, inject IPv6 response addresses pointing to an internal gateway, and seamlessly translate connections. To date, our understanding of NAT64 deployments is limited; what little information exists is largely qualitative, taken from mailing lists and informal discussions. In this work, we present a first look at the active measurement of NAT64 deployment on the Internet focused on deployment prevalence, configuration, and security. We seek to measure NAT64 via two distinct large-scale measurements: 1) open resolvers on the Internet, and 2) client measurements from RIPE Atlas. For both datasets, we broadly find that despite substantial anecdotal reports of NAT64 deployment, measurable deployments are exceedingly sparse. While our measurements do not preclude the large-scale deployment of NAT64, they do point to substantial challenges in measuring deployments with our existing best-known methods. Finally, we also identify problems in NAT64 deployments, with gateways not following the RFC specification and also posing potential security risks. △ Less

Submitted 26 January, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Journal ref: Proceedings of the Passive and Active Measurement Conference 2024 (PAM '24)

ZDNS: A Fast DNS Toolkit for Internet Measurement

Authors: Liz Izhikevich, Gautam Akiwate, Briana Berger, Spencer Drakontaidis, Anna Ascheman, Paul Pearce, David Adrian, Zakir Durumeric

Abstract: Active DNS measurement is fundamental to understanding and improving the DNS ecosystem. However, the absence of an extensible, high-performance, and easy-to-use DNS toolkit has limited both the reproducibility and coverage of DNS research. In this paper, we introduce ZDNS, a modular and open-source active DNS measurement framework optimized for large-scale research studies of DNS on the public Int… ▽ More Active DNS measurement is fundamental to understanding and improving the DNS ecosystem. However, the absence of an extensible, high-performance, and easy-to-use DNS toolkit has limited both the reproducibility and coverage of DNS research. In this paper, we introduce ZDNS, a modular and open-source active DNS measurement framework optimized for large-scale research studies of DNS on the public Internet. We describe ZDNS' architecture, evaluate its performance, and present two case studies that highlight how the tool can be used to shed light on the operational complexities of DNS. We hope that ZDNS will enable researchers to better -- and in a more reproducible manner -- understand Internet behavior. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: Proceedings of the 22nd ACM Internet Measurement Conference. 2022

An agent-based modelling framework to study growth mechanisms in EGFR-L858R mutant alveolar type II cells

Authors: Helena Coggan, Clare E. Weeden, Philip Pearce, Mohit P. Dalwadi, Alastair Magness, Charles Swanton, Karen M. Page

Abstract: Mutations in the epidermal growth factor receptor (EGFR) are common in non-small cell lung cancer (NSCLC), particularly in never-smoker patients. However, these mutations are not always carcinogenic, and have recently been reported in histologically normal lung tissue from patients with and without lung cancer. To investigate the outcome of EGFR mutation in healthy lung stem cells, we grew murine… ▽ More Mutations in the epidermal growth factor receptor (EGFR) are common in non-small cell lung cancer (NSCLC), particularly in never-smoker patients. However, these mutations are not always carcinogenic, and have recently been reported in histologically normal lung tissue from patients with and without lung cancer. To investigate the outcome of EGFR mutation in healthy lung stem cells, we grew murine alveolar type-II organoids monoclonally in a 3D Matrigel. Our experiments showed that the \textit{EGFR-L858R} mutation induced a change in organoid structure: mutated organoids displayed more `budding', in comparison to non-mutant controls, which were nearly spherical. We perform on-lattice computational simulations, which suggest that this can be explained by the concentration of division amongst a small number of cells on the surface of the organoid, which may arise from several possible biological mechanisms. These results suggest that the L858R mutation produces structures which expand quickly from surface protrusions. We are currently unable to distinguish the cell-based mechanisms that lead to this spatial heterogeneity in growth, but suggest a number of future experiments which could be used to do so. We suggest that the likelihood of L858R-fuelled tumorigenesis is affected not just by random fluctuations in cell fitness, but by whether the mutation arises in a spatial environment that allows mutant cells to reproduce without being forced to encounter each other. These data may have implications for cancer prevention strategies and for understanding NSCLC progression. △ Less

Submitted 11 March, 2024; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: 18 pages, 10 figures

Critical site percolation on the triangular lattice: From integrability to conformal partition functions

Authors: Alexi Morin-Duchesne, Andreas Klümper, Paul A. Pearce

Abstract: Critical site percolation on the triangular lattice is described by the Yang-Baxter solvable dilute $A_2^{(2)}$ loop model with crossing parameter specialized to $λ=\frac\pi3$, corresponding to the contractible loop fugacity $β=-2\cos4λ=1$. We study the functional relations satisfied by the commuting transfer matrices of this model and the associated Bethe ansatz equations. The single and double r… ▽ More Critical site percolation on the triangular lattice is described by the Yang-Baxter solvable dilute $A_2^{(2)}$ loop model with crossing parameter specialized to $λ=\frac\pi3$, corresponding to the contractible loop fugacity $β=-2\cos4λ=1$. We study the functional relations satisfied by the commuting transfer matrices of this model and the associated Bethe ansatz equations. The single and double row transfer matrices are respectively endowed with strip and periodic boundary conditions, and are elements of the ordinary and periodic dilute Temperley-Lieb algebras. The standard modules for these algebras are labeled by the number of defects $d$ and, in the latter case, also by the twist $e^{iγ}$. Nonlinear integral equation techniques are used to analytically solve the Bethe ansatz functional equations in the scaling limit for the central charge $c=0$ and conformal weights $Δ,\barΔ$. For the groundstates, we find $Δ=Δ_{1,d+1}$ for strip boundary conditions and $(Δ,\barΔ)=(Δ_{γ/π,d/2},Δ_{γ/π,-d/2})$ for periodic boundary conditions, where $Δ_{r,s}=\frac1{24}((3r-2s)^2-1)$. We give explicit conjectures for the scaling limit of the trace of the transfer matrix in each standard module. For $d\le8$, these conjectures are supported by numerical solutions of the logarithmic form of the Bethe ansatz equations for the leading $20$ or more conformal eigenenergies. With these conjectures, we apply the Markov traces to obtain the conformal partition functions on the cylinder and torus. These precisely coincide with our previous results for critical bond percolation on the square lattice described by the dense $A_1^{(1)}$ loop model with $λ=\frac\pi3$. The concurrence of all this conformal data provides compelling evidence supporting a strong form of universality between these two stochastic models as logarithmic CFTs. △ Less

Submitted 4 February, 2023; v1 submitted 22 November, 2022; originally announced November 2022.

Comments: v2: 84 pages, with a new section 4.4

Glowing in the Dark Uncovering IPv6 Address Discovery and Scanning Strategies in the Wild

Authors: Hammas Bin Tanveer, Rachee Singh, Paul Pearce, Rishab Nithyanand

Abstract: In this work we identify scanning strategies of IPv6 scanners on the Internet. We offer a unique perspective on the behavior of IPv6 scanners by conducting controlled experiments leveraging a large and unused /56 IPv6 subnet. We selectively make parts of the subnet visible to scanners by hosting applications that make direct or indirect contact with IPv6- capable servers on the Internet. By carefu… ▽ More In this work we identify scanning strategies of IPv6 scanners on the Internet. We offer a unique perspective on the behavior of IPv6 scanners by conducting controlled experiments leveraging a large and unused /56 IPv6 subnet. We selectively make parts of the subnet visible to scanners by hosting applications that make direct or indirect contact with IPv6- capable servers on the Internet. By careful experiment design, we mitigate the effects of hidden variables on scans sent to our /56 subnet and establish causal relationships between IPv6 host activity types and the scanner attention they evoke. We show that IPv6 host activities e.g., Web browsing, membership in the NTP pool and Tor network, cause scanners to send a magnitude higher number of unsolicited IP scans and reverse DNS queries to our subnet than before. DNS scanners focus their scans in narrow regions of the address space where our applications are hosted whereas IP scanners broadly scan the entire subnet. Even after the host activity from our subnet subsides, we observe persistent residual scanning to portions of the address space that previously hosted applications △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: 13 pages, 18 pages with appendix + bib, To appear in USENIX Security '23

On the partition function of the $Sp(4)$ integrable vertex model

Authors: G. A. P. Ribeiro, A. Klümper, P. A. Pearce

Abstract: In this paper we investigate certain fusion relations associated to an integrable vertex model on the square lattice which is invariant under $Sp(4)$ symmetry. We establish a set of functional relations which include a transfer matrix inversion identity. The solution of these relations in the thermodynamic limit allows us to compute the partition function per site of the fundamental $Sp(4)$ repres… ▽ More In this paper we investigate certain fusion relations associated to an integrable vertex model on the square lattice which is invariant under $Sp(4)$ symmetry. We establish a set of functional relations which include a transfer matrix inversion identity. The solution of these relations in the thermodynamic limit allows us to compute the partition function per site of the fundamental $Sp(4)$ representation of the vertex model. As a byproduct we also obtain the partition function per site of a vertex model mixing the four and five dimensional representations of the $Sp(4)$ symmetry. △ Less

Submitted 24 November, 2022; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: 23 pages, 3 figures

Journal ref: J. Stat. Mech. (2022) 113102

Compositional dependence of direct transition energies in Si$_x$Ge$_{1-x-y}$Sn$_y$ alloys lattice-matched to Ge/GaAs

Authors: Phoebe M. Pearce, Sheau Wei Ong, Andrew D. Johnson, Eng Soon Tok, Nicholas J. Ekins-Daukes

Abstract: Si$_x$Ge$_{1-x-y}$Sn$_y$ ternary alloys are a candidate material system for use in solar cells and other optoelectronic devices. We report on the direct transition energies and structural properties of Ge-rich Si$_x$Ge$_{1-x-y}$Sn$_y$ alloys with six different compositions up to 10 % Si and 3 % Sn, lattice-matched to Ge or GaAs substrates. The direct transitions occurring between 0.9 and 5.0 eV we… ▽ More Si$_x$Ge$_{1-x-y}$Sn$_y$ ternary alloys are a candidate material system for use in solar cells and other optoelectronic devices. We report on the direct transition energies and structural properties of Ge-rich Si$_x$Ge$_{1-x-y}$Sn$_y$ alloys with six different compositions up to 10 % Si and 3 % Sn, lattice-matched to Ge or GaAs substrates. The direct transitions occurring between 0.9 and 5.0 eV were investigated using spectroscopic ellipsometry (SE), and the resulting data was used to obtain the dielectric functions of the Si$_x$Ge$_{1-x-y}$Sn$_y$n layer by fitting a multi-layer model. Values for the $E_0$, $E_1$, $Δ_1$, $E_0'$ and $E_2$ transition energies were then found by differentiating these dielectric functions to extract the locations of critical points. Structurally, the composition of the samples was measured using energy-dispersive X-ray measurements (EDX). The lattice constants predicted from these compositions are in good agreement with reciprocal space maps obtained through X-ray diffraction (XRD). The results confirm that a 1 eV direct absorption edge can be achieved using relatively low Si and Sn fractions ($<$ 10 % and $<$ 3 % respectively), while the higher-energy critical points show smaller shifts relative to Ge and match results previously observed or predicted in the literature. △ Less

Submitted 10 March, 2022; originally announced March 2022.

Comments: 11 pages, 9 figures

Electronic and optical properties of Si$_{x}$Ge$_{1-x-y}$Sn$_{y}$ alloys lattice-matched to Ge

Authors: Phoebe M. Pearce, Christopher A. Broderick, Michael P. Nielsen, Andrew D. Johnson, Nicholas J. Ekins-Daukes

Abstract: We present a combined experimental and theoretical analysis of the evolution of the near-band gap electronic and optical properties of Si$_{x}$Ge$_{1-x-y}$Sn$_{y}$ alloys lattice-matched to Ge and GaAs substrates. We perform photoreflectance (PR) and photoluminescence (PL) measurements on Si$_{x}$Ge$_{1-x-y}$Sn$_{y}$ epitaxial layers grown via chemical vapour deposition, for Si (Sn) compositions u… ▽ More We present a combined experimental and theoretical analysis of the evolution of the near-band gap electronic and optical properties of Si$_{x}$Ge$_{1-x-y}$Sn$_{y}$ alloys lattice-matched to Ge and GaAs substrates. We perform photoreflectance (PR) and photoluminescence (PL) measurements on Si$_{x}$Ge$_{1-x-y}$Sn$_{y}$ epitaxial layers grown via chemical vapour deposition, for Si (Sn) compositions up to $x =$ 9.6% ($y =$ 2.5%). Our measurements indicate the presence of an indirect fundamental band gap, with PL observed $\approx$ 200-250 meV lower in energy than the direct $E_0$ transition identified by PR measurements. The measured PL is Ge-like, suggesting that the alloy conduction band (CB) edge is primarily derived from the Ge L-point CB minimum. Interpretation of the PR and PL measurements is supported by atomistic electronic structure calculations. Effective alloy band structures calculated via density functional theory confirm the presence of an indirect fundamental band gap, and reveal the origin of the observed inhomogeneous broadening of the measured optical spectra as being alloy-induced band hybridisation occurring close in energy to the CB edge. To analyze the evolution of the band gap, semi-empirical tight-binding (TB) calculations are employed to enable calculations for large supercell sizes. TB calculations reveal that the alloy CB edge is hybridized in nature, consisting at low Si and Sn compositions of an admixture of Ge L-, $Γ$- and X-point CB edge states, and confirm that the alloy CB edge retains primarily Ge L-point CB edge character. Our experimental measurements and theoretical calculations confirm a direct transition energy close to 1 eV in magnitude for Si and Sn compositions $x =$ 6.8 - 9.6% and $y =$ 1.6 - 2.2%. △ Less

Submitted 18 January, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

Comments: Main: 16 pages, 8 figures. Supplemental material: 15 pages, 10 figures

Journal ref: Phys. Rev. Materials 6, 015402 (2022)

Groundstate finite-size corrections and dilogarithm identities for the twisted $A_1^{(1)}$, $A_2^{(1)}$ and $A_2^{(2)}$ models

Authors: Alexi Morin-Duchesne, Andreas Klümper, Paul A. Pearce

Abstract: We consider the $Y$-systems satisfied by the $A_1^{(1)}$, $A_2^{(1)}$, $A_2^{(2)}$ vertex and loop models at roots of unity with twisted boundary conditions on the cylinder. The vertex models are the 6-, 15- and Izergin-Korepin 19-vertex models respectively. The corresponding loop models are the dense, fully packed and dilute Temperley-Lieb loop models respectively. For all three models, our focus… ▽ More We consider the $Y$-systems satisfied by the $A_1^{(1)}$, $A_2^{(1)}$, $A_2^{(2)}$ vertex and loop models at roots of unity with twisted boundary conditions on the cylinder. The vertex models are the 6-, 15- and Izergin-Korepin 19-vertex models respectively. The corresponding loop models are the dense, fully packed and dilute Temperley-Lieb loop models respectively. For all three models, our focus is on roots of unity values of $e^{iλ}$ with the crossing parameter $λ$ corresponding to the principal and dual series of these models. Converting the known functional equations to nonlinear integral equations in the form of Thermodynamic Bethe Ansatz (TBA) equations, we solve the $Y$-systems for the finite-size $\frac 1N$ corrections to the groundstate eigenvalue following the methods of Klümper and Pearce. The resulting expressions for $c-24Δ$, where $c$ is the central charge and $Δ$ is the conformal weight associated with the groundstate, are simplified using various dilogarithm identities. Our analytic results are in agreement with previous results obtained by different methods and are new for the dual series of the $A_2^{(1)}$ model. △ Less

Submitted 24 February, 2021; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: version 2: 81 pages. Error in section 4.4 fixed

Yang-Baxter Integrable Dimers on a Strip

Authors: Paul A. Pearce, Jørgen Rasmussen, Alessandra Vittorini-Orgeas

Abstract: The dimer model on a strip is considered as a Yang-Baxter \mbox{integrable} six vertex model at the free-fermion point with crossing parameter $λ=\tfracπ{2}$ and quantum group invariant boundary conditions. A one-to-many map** of vertex onto dimer configurations allows for the solution of the free-fermion model to be applied to the anisotropic dimer model on a square lattice where the dimers are… ▽ More The dimer model on a strip is considered as a Yang-Baxter \mbox{integrable} six vertex model at the free-fermion point with crossing parameter $λ=\tfracπ{2}$ and quantum group invariant boundary conditions. A one-to-many map** of vertex onto dimer configurations allows for the solution of the free-fermion model to be applied to the anisotropic dimer model on a square lattice where the dimers are rotated by $45\degree$ compared to their usual orientation. In a suitable gauge, the dimer model is described by the Temperley-Lieb algebra with loop fugacity $β=2\cosλ=0$. It follows that the model is exactly solvable in geometries of arbitrary finite size. We establish and solve transfer matrix inversion identities on the strip with arbitrary finite width $N$. In the continuum scaling limit, in sectors with magnetization $S_z$, we obtain the conformal weights $Δ_{s}=\big((2-s)^2-1\big)/8$ where $s=|S_z|+1=1,2,3,\ldots$. We further show that the corresponding finitized characters $\chit_s^{(N)}(q)$ decompose into sums of $q$-Narayana numbers or, equivalently, skew $q$-binomials. In the particle representation, the local face tile operators give a representation of the fermion algebra and the fermion particle trajectories play the role of nonlocal degrees of freedom. We argue that, in the continuum scaling limit, there exist nontrivial Jordan blocks of rank 2 in the Virasoro dilatation operator $L_0$. This confirms that, with quantum group invariant boundary conditions, the dimer model gives rise to a {\em logarithmic} conformal field theory with central charge $c=-2$, minimal conformal weight $Δ_{\text{min}}=-\frac{1}{8}$ and effective central charge $c_{\text{eff}}=1$.Our analysis of the structure of the ensuing rank 2 modules indicates that the familiar staggered $c=-2$ modules appear as submodules. △ Less

Submitted 16 December, 2019; v1 submitted 12 July, 2019; originally announced July 2019.

Comments: 35 pages, 10 Figures. arXiv admin note: text overlap with arXiv:1612.09477

Fusion hierarchies, $T$-systems and $Y$-systems for the dilute $A_2^{(2)}$ loop models

Authors: Alexi Morin-Duchesne, Paul A. Pearce

Abstract: The fusion hierarchy, $T$-system and $Y$-system of functional equations are the key to integrability for 2d lattice models. We derive these equations for the generic dilute $A_2^{(2)}$ loop models. The fused transfer matrices are associated with nodes of the infinite dominant integral weight lattice of $s\ell(3)$. For generic values of the crossing parameter $λ$, the $T$- and $Y$-systems do not tr… ▽ More The fusion hierarchy, $T$-system and $Y$-system of functional equations are the key to integrability for 2d lattice models. We derive these equations for the generic dilute $A_2^{(2)}$ loop models. The fused transfer matrices are associated with nodes of the infinite dominant integral weight lattice of $s\ell(3)$. For generic values of the crossing parameter $λ$, the $T$- and $Y$-systems do not truncate. For the case $\fracλπ=\frac{(2p'-p)}{4p'}$ rational so that $x=\mathrm{e}^{\mathrm{i}λ}$ is a root of unity, we find explicit closure relations and derive closed finite $T$- and $Y$-systems. The TBA diagrams of the $Y$-systems and associated Thermodynamic Bethe Ansatz (TBA) integral equations are not of simple Dynkin type. They involve $p'+2$ nodes if $p$ is even and $2p'+2$ nodes if $p$ is odd and are related to the TBA diagrams of $A_2^{(1)}$ models at roots of unity by a ${\Bbb Z}_2$ folding which originates from the addition of crossing symmetry. In an appropriate regime, the known central charges are $c=1-\frac{6(p-p')^2}{pp'}$. Prototypical examples of the $A_2^{(2)}$ loop models, at roots of unity, include critical dense polymers ${\cal DLM}(1,2)$ with central charge $c=-2$, $λ=\frac{3π}{8}$ and loop fugacity $β=0$ and critical site percolation on the triangular lattice ${\cal DLM}(2,3)$ with $c=0$, $λ=\fracπ{3}$ and $β=1$. Solving the TBA equations for the conformal data will determine whether these models lie in the same universality classes as their $A_1^{(1)}$ counterparts. More specifically, it will confirm the extent to which bond and site percolation lie in the same universality class as logarithmic conformal field theories. △ Less

Submitted 20 May, 2019; originally announced May 2019.

Comments: 34 pages

Extended T-systems, Q matrices and T-Q relations for $s\ell(2)$ models at roots of unity

Authors: Holger Frahm, Alexi Morin-Duchesne, Paul A. Pearce

Abstract: The mutually commuting $1\times n$ fused single and double-row transfer matrices of the critical six-vertex model are considered at roots of unity $q=e^{iλ}$ with crossing parameter $λ=\frac{(p'-p)π}{p'}$ a rational fraction of $π$. The $1\times n$ transfer matrices of the dense loop model analogs, namely the logarithmic minimal models ${\cal LM}(p,p')$, are similarly considered. For these… ▽ More The mutually commuting $1\times n$ fused single and double-row transfer matrices of the critical six-vertex model are considered at roots of unity $q=e^{iλ}$ with crossing parameter $λ=\frac{(p'-p)π}{p'}$ a rational fraction of $π$. The $1\times n$ transfer matrices of the dense loop model analogs, namely the logarithmic minimal models ${\cal LM}(p,p')$, are similarly considered. For these $s\ell(2)$ models, we find explicit closure relations for the $T$-system functional equations and obtain extended sets of bilinear $T$-system identities. We also define extended $Q$ matrices as linear combinations of the fused transfer matrices and obtain extended matrix $T$-$Q$ relations. These results hold for diagonal twisted boundary conditions on the cylinder as well as $U_q(s\ell(2))$ invariant/Kac vacuum and off-diagonal/Robin vacuum boundary conditions on the strip. Using our extended $T$-system and extended $T$-$Q$ relations for eigenvalues, we deduce the usual scalar Baxter $T$-$Q$ relation and the Bazhanov-Mangazeev decomposition of the fused transfer matrices $T^{n}(u+λ)$ and $D^{n}(u+λ)$, at fusion level $n=p'-1$, in terms of the product $Q^+(u)Q^-(u)$ or $Q(u)^2$. It follows that the zeros of $T^{p'-1}(u+λ)$ and $D^{p'-1}(u+λ)$ are comprised of the Bethe roots and complete $p'$ strings. We also clarify the formal observations of Pronko and Yang-Nepomechie-Zhang and establish, under favourable conditions, the existence of an infinite fusion limit $n\to\infty$ in the auxiliary space of the fused transfer matrices. Despite this connection, the infinite-dimensional oscillator representations are not needed at roots of unity due to finite closure of the functional equations. △ Less

Submitted 4 December, 2018; originally announced December 2018.

Comments: 38 pages

Fusion hierarchies, $T$-systems and $Y$-systems for the $A_2^{(1)}$ models

Authors: Alexi Morin-Duchesne, Paul A. Pearce, Jorgen Rasmussen

Abstract: The family of $A^{(1)}_2$ models on the square lattice includes a dilute loop model, a $15$-vertex model and, at roots of unity, a family of RSOS models. The fused transfer matrices of the general loop and vertex models are shown to satisfy $s\ell(3)$-type fusion hierarchies. We use these to derive explicit $T$- and $Y$-systems of functional equations. At roots of unity, we further derive closure… ▽ More The family of $A^{(1)}_2$ models on the square lattice includes a dilute loop model, a $15$-vertex model and, at roots of unity, a family of RSOS models. The fused transfer matrices of the general loop and vertex models are shown to satisfy $s\ell(3)$-type fusion hierarchies. We use these to derive explicit $T$- and $Y$-systems of functional equations. At roots of unity, we further derive closure identities for the functional relations and show that the universal $Y$-system closes finitely. The $A^{(1)}_2$ RSOS models are shown to satisfy the same functional and closure identities but with finite truncation. △ Less

Submitted 20 September, 2018; originally announced September 2018.

Comments: 36 pages

Physical and geometric determinants of transport in feto-placental microvascular networks

Authors: Alexander Erlich, Philip Pearce, Romina Plitman Mayo, Oliver E. Jensen, Igor L. Chernyavsky

Abstract: Across mammalian species, solute exchange takes place in complex microvascular networks. In the human placenta, the primary exchange units are terminal villi that contain disordered networks of fetal capillaries and are surrounded externally by maternal blood. Here we show how the irregular internal structure of a terminal villus determines its exchange capacity for a wide range of solutes. Distil… ▽ More Across mammalian species, solute exchange takes place in complex microvascular networks. In the human placenta, the primary exchange units are terminal villi that contain disordered networks of fetal capillaries and are surrounded externally by maternal blood. Here we show how the irregular internal structure of a terminal villus determines its exchange capacity for a wide range of solutes. Distilling geometric features into three scalar parameters, obtained from image analysis and computational fluid dynamics, we capture archetypal features of the the structure-function relationship of terminal villi using a simple algebraic approximation, revealing transitions between flow- and diffusion-limited transport at vessel and network levels. Our theory accommodates countercurrent effects, incorporates nonlinear blood rheology and offers an efficient method for testing network robustness. Our results show how physical estimates of solute transport, based on carefully defined geometrical statistics, provide a viable method for linking placental structure and function, and offer a framework for assessing transport in other microvascular systems. △ Less

Submitted 12 February, 2019; v1 submitted 3 September, 2018; originally announced September 2018.

Journal ref: Science Advances 5 (2019) eaav6326

One-Dimensional Sums and Finitized Characters of $2 \times 2$ Fused RSOS Models

Authors: György Z. Fehér, Paul A. Pearce, Alessandra Vittorini-Orgeas

Abstract: Tartaglia and Pearce have argued that the nonunitary $n\times n$ fused Forrester-Baxter $\mbox{RSOS}(m,m')$ models are described, in the continuum scaling limit, by the minimal models ${\cal M}(M,M',n)$ constructed as the higher-level conformal cosets $(A^{(1)}_1)_k\otimes (A^{(1)}_1)_n/(A^{(1)}_1)_{k+n}$ at integer fusion level $n\ge 1$ and fractional level $k=nM/(M'\!-\!M)-2$ with… ▽ More Tartaglia and Pearce have argued that the nonunitary $n\times n$ fused Forrester-Baxter $\mbox{RSOS}(m,m')$ models are described, in the continuum scaling limit, by the minimal models ${\cal M}(M,M',n)$ constructed as the higher-level conformal cosets $(A^{(1)}_1)_k\otimes (A^{(1)}_1)_n/(A^{(1)}_1)_{k+n}$ at integer fusion level $n\ge 1$ and fractional level $k=nM/(M'\!-\!M)-2$ with $(M,M')=\big(nm-(n\!-\!1)m',m'\big)$. These results rely on Yang-Baxter integrability and are valid in Regime III for models determined by the crossing parameter $λ=(m'\!-\!m)π/m'$ in the interval $0<λ<π/n$. Here we consider the $2\times 2$ $\mbox{RSOS}(m,m')$ models in the interval $\tfracπ{2}<λ<π$ and investigate the associated one-dimensional sums. In this interval, we verify that the one-dimensional sums produce new finitized Virasoro characters $ch_{r,s}^{(N)}(q)$ of the minimal models ${\cal M}(m,m',1)$ with $m'>2m$. We further conjecture finitized bosonic forms and check that these agree with the ground state one-dimensional sums out to system sizes $N=12$. The $2\times 2$ $\mbox{RSOS}(m,m')$ models thus realize new Yang-Baxter integrable models in the universality classes of the minimal models ${\cal M}(m,m',1)$. For the series ${\cal M}(m,2m+1,1)$ with $m\ge 2$, the spin-1 one-dimensional sums were previously analysed by Jacob and Mathieu without the underlying Yang-Baxter structure. Finitized Kac characters $χ_{r,s}^{m,m';(N)}(q)$ for the logarithmic minimal models ${\cal LM}(p,p',1)$ are also obtained for $p'\ge 2p$ by taking the logarithmic limit $m,m'\to\infty$ with $m'/m\to p'/p+$. △ Less

Submitted 9 April, 2018; originally announced April 2018.

Curvature-sensitive kinesin binding can explain microtubule ring formation and reveals chaotic dynamics in a mathematical model

Authors: Simon P Pearce, Matthias Heil, Oliver E Jensen, Gareth W Jones, Andreas Prokop

Abstract: Microtubules are filamentous tubular protein polymers which are essential for a range of cellular behaviour, and are generally straight over micron length scales. However, in some gliding assays, where microtubules move over a carpet of molecular motors, individual microtubules can also form tight arcs or rings, even in the absence of crosslinking proteins. Understanding this phenomenon may provid… ▽ More Microtubules are filamentous tubular protein polymers which are essential for a range of cellular behaviour, and are generally straight over micron length scales. However, in some gliding assays, where microtubules move over a carpet of molecular motors, individual microtubules can also form tight arcs or rings, even in the absence of crosslinking proteins. Understanding this phenomenon may provide important explanations for similar highly curved microtubules which can be found in nerve cells undergoing neurodegeneration. We propose a model for gliding assays where the kinesins moving the microtubules over the surface induce ring formation through differential binding, substantiated by recent findings that a mutant version of the motor protein kinesin applied in solution is able to lock-in microtubule curvature. For certain parameter regimes, our model predicts that both straight and curved microtubules can exist simultaneously as stable steady-states, as has been seen experimentally. Additionally, unsteady solutions are found, where a wave of differential binding propagates down the microtubule as it glides across the surface, which can lead to chaotic motion. Whilst this model explains two-dimensional microtubule behaviour in an experimental gliding assay, it has the potential to be adapted to explain pathological curling in nerve cells. △ Less

Submitted 1 August, 2018; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 24 pages, 6 figures. Accepted for publication in the Bulletin of Mathematical Biology

MSC Class: 92C37

Propagation and stability of flames in inhomogeneous mixtures

Authors: Philip Pearce

Abstract: We investigate the effect of thermal expansion and gravity on the propagation and stability of flames in inhomogeneous mixtures. We focus on laminar flames in the simple configuration of an infinitely long channel with rigid porous walls in order to understand the effect of inhomogeneities on these fundamental structures. We investigate the effect of thermal expansion and gravity on the propagation and stability of flames in inhomogeneous mixtures. We focus on laminar flames in the simple configuration of an infinitely long channel with rigid porous walls in order to understand the effect of inhomogeneities on these fundamental structures. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: Thesis submitted February 2015, http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.644525

Journal ref: PhD Thesis, University of Manchester, 2015

Solcore: A multi-scale, python-based library for modelling solar cells and semiconductor materials

Authors: D. Alonso-Álvarez, T. Wilson, P. Pearce, M. Führer, D. Farrell, N. Ekins-Daukes

Abstract: Computational models can provide significant insight into the operation mechanisms and deficiencies of photovoltaic solar cells. Solcore is a modular set of computational tools, written in Python 3, for the design and simulation of photovoltaic solar cells. Calculations can be performed on ideal, thermodynamic limiting behaviour, through to fitting experimentally accessible parameters such as dark… ▽ More Computational models can provide significant insight into the operation mechanisms and deficiencies of photovoltaic solar cells. Solcore is a modular set of computational tools, written in Python 3, for the design and simulation of photovoltaic solar cells. Calculations can be performed on ideal, thermodynamic limiting behaviour, through to fitting experimentally accessible parameters such as dark and light IV curves and luminescence. Uniquely, it combines a complete semiconductor solver capable of modelling the optical and electrical properties of a wide range of solar cells, from quantum well devices to multi-junction solar cells. The model is a multi-scale simulation accounting for nanoscale phenomena such as the quantum confinement effects of semiconductor nanostructures, to micron level propagation of light through to the overall performance of solar arrays, including the modelling of the spectral irradiance based on atmospheric conditions. In this article we summarize the capabilities in addition to providing the physical insight and mathematical formulation behind the software with the purpose of serving as both a research and teaching tool. △ Less

Submitted 14 April, 2018; v1 submitted 20 September, 2017; originally announced September 2017.

Comments: 25 pages, 18 figures, Journal of Computational Electronics (2018)

Conformal partition functions of critical percolation from $D_3$ Thermodynamic Bethe Ansatz equations

Authors: Alexi Morin-Duchesne, Andreas Klümper, Paul A. Pearce

Abstract: Using the planar Temperley-Lieb algebra, critical bond percolation on the square lattice is incorporated as ${\cal LM}(2,3)$ in the family of Yang-Baxter integrable logarithmic minimal models ${\cal LM}(p,p')$. We consider this model in the presence of boundaries and with periodic boundary conditions. Inspired by Kuniba, Sakai and Suzuki, we rewrite the recently obtained infinite $Y$-system of fun… ▽ More Using the planar Temperley-Lieb algebra, critical bond percolation on the square lattice is incorporated as ${\cal LM}(2,3)$ in the family of Yang-Baxter integrable logarithmic minimal models ${\cal LM}(p,p')$. We consider this model in the presence of boundaries and with periodic boundary conditions. Inspired by Kuniba, Sakai and Suzuki, we rewrite the recently obtained infinite $Y$-system of functional equations. We obtain nonlinear integral equations in the form of a closed finite set of TBA equations described by a $D_3$ Dynkin diagram. Following the methods of Klümper and Pearce, we solve the TBA equations for the conformal finite-size corrections. For the ground states of the standard modules on the strip, these agree with the known central charge $c=0$ and conformal weights $Δ_{1,s}$ for $s\in {\Bbb Z_{\ge 1}}$ with $Δ_{r,s}= \big((3r-2s)^2-1\big)/24$. For the periodic case, the finite-size corrections agree with the conformal weights $Δ_{0,s}$, $Δ_{1,s}$ with $s\in\frac12\Bbb Z_{\ge0}$. These are obtained analytically using Rogers dilogarithm identities. We incorporate all finite excitations by formulating empirical selection rules for the patterns of zeros of all the eigenvalues of the standard modules. We thus obtain the conformal partition functions on the cylinder and the modular invariant partition function (MIPF) on the torus. By applying $q$-binomial identities, it is shown that our finitized characters on the strip agree with those of Pearce, Rasmussen and Zuber. On the torus, the MIPF is a non-diagonal sesquilinear form in affine $u(1)$ characters given by the $u(1)$ partition function $Z_{2,3}(q)=Z_{2,3}^{\rm{Circ}}(q)$. This is compatible with the general conjecture of Pearce and Rasmussen, namely $Z_{p,p'}(q)=Z^{\rm{Proj}}_{p,p'}(q)+n_{p,p'}Z^{\rm{Min}}_{p,p'}(q)$ with $n_{p,p'}\in {\Bbb Z}$, and the lattice derivation fixes $n_{2,3}=-1$. △ Less

Submitted 11 August, 2017; v1 submitted 27 January, 2017; originally announced January 2017.

Comments: 74 pages

Yang-Baxter Solution of Dimers as a Free-Fermion Six-Vertex Model

Authors: Paul A. Pearce, Alessandra Vittorini-Orgeas

Abstract: It is shown that dimers is Yang-Baxter integrable as a six-vertex model at the free-fermion point with crossing parameter $λ=\tfracπ{2}$. A one-to-many map** of vertex onto dimer configurations allows the free-fermion solutions to be applied to the anisotropic dimer model on a square lattice where the dimers are rotated by 45 degrees compared to their usual orientation. This dimer model is exact… ▽ More It is shown that dimers is Yang-Baxter integrable as a six-vertex model at the free-fermion point with crossing parameter $λ=\tfracπ{2}$. A one-to-many map** of vertex onto dimer configurations allows the free-fermion solutions to be applied to the anisotropic dimer model on a square lattice where the dimers are rotated by 45 degrees compared to their usual orientation. This dimer model is exactly solvable in geometries of arbitrary finite size. In this paper, we establish and solve inversion identities for dimers with periodic boundary conditions on the cylinder. In the particle representation, the local face tile operators give a representation of the fermion algebra and the fermion particle trajectories play the role of nonlocal (logarithmic) degrees of freedom. In a suitable gauge, the dimer model is described by the Temperley-Lieb algebra with loop fugacity $β=2\cosλ=0$. At the isotropic point, the exact solution allows for the explicit counting of 45 degrees rotated dimer configurations on a periodic $M\times N$ rectangular lattice. We show that the modular invariant partition function on the torus is the same as symplectic fermions and critical dense polymers. We also show that nontrivial Jordan cells appear for the dimer Hamiltonian on the strip with vacuum boundary conditions. We therefore argue that, in the continuum scaling limit, the dimer model gives rise to a {\em logarithmic} conformal field theory with central charge c=-2, minimal conformal weight $Δ_{\text{min}}=-1/8$ and effective central charge $c_{\text{eff}}=1$. △ Less

Submitted 16 May, 2017; v1 submitted 30 December, 2016; originally announced December 2016.

Journal ref: arXiv:1612.09477 [math-ph] 30 Dec 2016

Finite indentation of highly curved elastic shells

Authors: Simon P. Pearce, John R. King, Tina Steinbrecher, Gerhard Leubner-Metzger, Nicola M. Everitt, Michael J. Holdsworth

Abstract: Experimentally measuring the elastic properties of thin biological surfaces is non-trivial, particularly when they are curved. One technique that may be used is the indentation of a thin sheet of material by a rigid indenter, whilst measuring the applied force and displacement. This gives immediate information on the fracture strength of the material (from the force required to puncture), but it i… ▽ More Experimentally measuring the elastic properties of thin biological surfaces is non-trivial, particularly when they are curved. One technique that may be used is the indentation of a thin sheet of material by a rigid indenter, whilst measuring the applied force and displacement. This gives immediate information on the fracture strength of the material (from the force required to puncture), but it is also theoretically possible to determine the elastic properties by comparing the resulting force-displacement curves with a mathematical model. Existing mathematical studies generally assume that the elastic surface is initially flat, which is often not the case for biological membranes. We previously outlined a theory for the indentation of curved isotropic, incompressible, hyperelastic membranes (with no bending stiffness) which breaks down for highly curved surfaces, as the entire membrane becomes wrinkled. Here we introduce the effect of bending stiffness, ensuring that energy is required to change the shell shape without stretching, and find that commonly neglected terms in the shell equilibrium equation must be included. The theory presented here allows for the estimation of shape- and size-independent elastic properties of highly curved surfaces via indentation experiments, and is particularly relevant for biological surfaces. △ Less

Submitted 11 December, 2017; v1 submitted 4 December, 2016; originally announced December 2016.

Comments: 23 pages, 11 figures

MSC Class: 74K25; 74B20

Maths in Medicine: How to Survive a Science Fair

Authors: Philip Pearce, Tom Shearer

Abstract: When talking to secondary school students, first impressions are crucial. Accidentally say something that sounds boring and you'll lose them in seconds. A physical demonstration can be an eye-catching way to begin an activity or spark off a conversation about mathematics. This is especially true in the context of an event like a science fair where there are hundreds of other exhibitors and stands,… ▽ More When talking to secondary school students, first impressions are crucial. Accidentally say something that sounds boring and you'll lose them in seconds. A physical demonstration can be an eye-catching way to begin an activity or spark off a conversation about mathematics. This is especially true in the context of an event like a science fair where there are hundreds of other exhibitors and stands, possibly involving loud music and/or dancing robots! In this article we describe three devices that were built to illustrate specific physical phenomena that occur in the human body. Each device corresponds to a simple mathematical model which contains both elements that are accessible to pupils in the early years of secondary education and more challenging mathematical concepts that might appeal to A-level students. Two of the devices relate to the Windkessel effect, a physical phenomenon that regulates blood flow, and the third demonstrates the elastic properties of ligaments and tendons. △ Less

Submitted 13 June, 2016; originally announced June 2016.

Journal ref: Mathematics Today 52.3 (2016) 135-139

Image-Based Modeling of Blood Flow and Oxygen Transfer in Feto-Placental Capillaries

Authors: Philip Pearce, Paul Brownbill, Jiri Janacek, Marie Jirkovska, Lucie Kubinova, Igor L. Chernyavsky, Oliver E. Jensen

Abstract: During pregnancy, oxygen diffuses from maternal to fetal blood through villous trees in the placenta. In this paper, we simulate blood flow and oxygen transfer in feto-placental capillaries by converting three-dimensional representations of villous and capillary surfaces, reconstructed from confocal laser scanning microscopy, to finite-element meshes, and calculating values of vascular flow resist… ▽ More During pregnancy, oxygen diffuses from maternal to fetal blood through villous trees in the placenta. In this paper, we simulate blood flow and oxygen transfer in feto-placental capillaries by converting three-dimensional representations of villous and capillary surfaces, reconstructed from confocal laser scanning microscopy, to finite-element meshes, and calculating values of vascular flow resistance and total oxygen transfer. The relationship between the total oxygen transfer rate and the pressure drop through the capillary is shown to be captured across a wide range of pressure drops by physical scaling laws and an upper bound on the oxygen transfer rate. A regression equation is introduced that can be used to estimate the oxygen transfer in a capillary using the vascular resistance. Two techniques for quantifying the effects of statistical variability, experimental uncertainty and pathological placental structure on the calculated properties are then introduced. First, scaling arguments are used to quantify the sensitivity of the model to uncertainties in the geometry and the parameters. Second, the effects of localized dilations in fetal capillaries are investigated using an idealized axisymmetric model, to quantify the possible effect of pathological placental structure on oxygen transfer. The model predicts how, for a fixed pressure drop through a capillary, oxygen transfer is maximized by an optimal width of the dilation. The results could explain the prevalence of fetal hypoxia in cases of delayed villous maturation, a pathology characterized by a lack of the vasculo-syncytial membranes often seen in conjunction with localized capillary dilations. △ Less

Submitted 27 October, 2016; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: Final version of manuscript

Journal ref: PLoS ONE 11(10):e0165369 (2016)

Characterisation and stability of localised bulging/necking in inflated membrane tubes

Authors: Simon P Pearce, Yibin B Fu

Abstract: We consider localised bulging/necking in an inflated hyperelastic membrane tube with closed ends. We first show that the initiation pressure for the onset of localised bulging is simply the limiting pressure in uniform inflation when the axial force is held fixed. We then demonstrate analytically how, as inflation continues, the initial bulge grows continually in diameter until it reaches a critic… ▽ More We consider localised bulging/necking in an inflated hyperelastic membrane tube with closed ends. We first show that the initiation pressure for the onset of localised bulging is simply the limiting pressure in uniform inflation when the axial force is held fixed. We then demonstrate analytically how, as inflation continues, the initial bulge grows continually in diameter until it reaches a critical size and then propagates in both directions. The bulging solution before propagation starts is of the solitary-wave type, whereas the propagating bulging solution is of the kink-wave type. The stability, with respect to axially symmetric perturbations, of both the solitary-wave type and the kink-wave type solutions is studied by computing the Evans function using the compound matrix method. It is found that when the inflation is pressure-controlled, the Evans function has a single non-negative real root and this root tends to zero only when the initiation pressure or the propagation pressure is approached. Thus, the kink-wave type solution is probably stable but the solitary-wave type solution is definitely unstable. △ Less

Submitted 6 April, 2016; originally announced April 2016.

Comments: 31 pages, 11 figures

Journal ref: IMA J Appl Math (2010) 75 p581-602

Axisymmetric Indentation of Curved Elastic Membranes by a Convex Rigid Indenter

Authors: Simon P Pearce, John R King, Michael J Holdsworth

Abstract: Motivated by applications to seed germination, we consider the transverse deflection that results from the axisymmetric indentation of an elastic membrane by a rigid body. The elastic membrane is fixed around its boundary, with or without an initial pre-stretch, and may be initially curved prior to indentation. General indenter shapes are considered, and the load-indentation curves that result for… ▽ More Motivated by applications to seed germination, we consider the transverse deflection that results from the axisymmetric indentation of an elastic membrane by a rigid body. The elastic membrane is fixed around its boundary, with or without an initial pre-stretch, and may be initially curved prior to indentation. General indenter shapes are considered, and the load-indentation curves that result for a range of spheroidal tips are obtained for both flat and curved membranes. Wrinkling may occur when the membrane is initially curved, and a relaxed strain-energy function is used to calculate the deformed profile in this case. Applications to experiments designed to measure the mechanical properties of seed endosperms are discussed. △ Less

Submitted 1 April, 2016; originally announced April 2016.

Journal ref: Int J Non-linear Mech (2011) 46(9) p1128-1138

Logarithmic Minimal Models with Robin Boundary Conditions

Authors: Jean-Emile Bourgine, Paul A. Pearce, Elena Tartaglia

Abstract: We consider general logarithmic minimal models ${\cal LM}(p,p')$, with $p,p'$ coprime, on a strip of $N$ columns with the $(r,s)$ Robin boundary conditions introduced by Pearce, Rasmussen and Tipunin. The associated conformal boundary conditions are labelled by the Kac labels $r\in{\Bbb Z}$ and $s\in{\Bbb N}$. The Robin vacuum boundary condition, labelled by $(r,s\!-\!\frac{1}{2})=(0,\mbox{$\texts… ▽ More We consider general logarithmic minimal models ${\cal LM}(p,p')$, with $p,p'$ coprime, on a strip of $N$ columns with the $(r,s)$ Robin boundary conditions introduced by Pearce, Rasmussen and Tipunin. The associated conformal boundary conditions are labelled by the Kac labels $r\in{\Bbb Z}$ and $s\in{\Bbb N}$. The Robin vacuum boundary condition, labelled by $(r,s\!-\!\frac{1}{2})=(0,\mbox{$\textstyle \frac{1}{2}$})$, is given as a linear combination of Neumann and Dirichlet boundary conditions. The general $(r,s)$ Robin boundary conditions are constructed, using fusion, by acting on the Robin vacuum boundary with an $(r,s)$-type seam consisting of an $r$-type seam of width $w$ columns and an $s$-type seam of width $d=s-1$ columns. The $r$-type seam admits an arbitrary boundary field which we fix to the special value $ξ=-\tfracλ{2}$ where $λ=\frac{(p'-p)π}{2p'}$ is the crossing parameter. The $s$-type boundary introduces $d$ defects into the bulk. We consider the associated quantum Hamiltonians and calculate analytically the boundary free energies of the $(r,s)$ Robin boundary conditions. Using finite-size corrections and sequence extrapolation out to system sizes $N+w+d\le 26$, the conformal spectrum of boundary operators is accessible by numerical diagonalization of the Hamiltonians. Fixing the parity of $N$ for $r\ne 0$ and restricting to the ground state sequences $w=\big\lfloor\frac{|r|p'}{p}\big\rfloor$, $r\in{\Bbb Z}$ with the inverse $r=(-1)^{N+w+d}\big\lceil \frac{p w}{p'}\big\rceil$, we find that the conformal weights take the values $Δ^{p,p'}_{r,s-\frac12}$ where $Δ^{p,p'}_{r,s}$ is given by the usual Kac formula. The $(r,s)$ Robin boundary conditions are thus conjugate to scaling operators with half-integer values for the Kac label $s-\mbox{$\textstyle \frac{1}{2}$}$. △ Less

Submitted 2 April, 2017; v1 submitted 18 January, 2016; originally announced January 2016.

Fused RSOS Lattice Models as Higher-Level Nonunitary Minimal Cosets

Authors: Elena Tartaglia, Paul A. Pearce

Abstract: We consider the Forrester-Baxter RSOS lattice models with crossing parameter $λ=(m'\!-\!m)π/m'$ in Regime~III. In the continuum scaling limit, these models are described by the minimal models ${\cal M}(m,m')$. We conjecture that, for $λ<π/n$, the $n\times n$ fused RSOS models with $n\ge 2$ are described by the higher-level coset $(A^{(1)}_1)_k\otimes (A^{(1)}_1)_n/(A^{(1)}_1)_{k+n}$ at fractional… ▽ More We consider the Forrester-Baxter RSOS lattice models with crossing parameter $λ=(m'\!-\!m)π/m'$ in Regime~III. In the continuum scaling limit, these models are described by the minimal models ${\cal M}(m,m')$. We conjecture that, for $λ<π/n$, the $n\times n$ fused RSOS models with $n\ge 2$ are described by the higher-level coset $(A^{(1)}_1)_k\otimes (A^{(1)}_1)_n/(A^{(1)}_1)_{k+n}$ at fractional level $k=nM/(M'\!-\!M)-2$ with $(M,M')=\big(nm-(n\!-\!1)m',m'\big)$. To support this conjecture, we investigate the one-dimensional sums arising from Baxter's off-critical corner transfer matrices. In unitary cases ($m=m'\!-\!1$) it is known that, up to leading powers of $q$, these coincide with the branching functions $b_{r,s,\ell}^{m'\!-n,m'\!,n}(q)$. For general nonunitary cases ($m<m'\!-\!1$), we identify the ground state one-dimensional RSOS paths and relate them to the quantum numbers $(r,s,\ell)$ in the various sectors. For $n=1,2,3$, we obtain the local energy functions $H(a,b,c)$ in a suitable gauge and verify that the associated one-dimensional sums produce finitized forms that converge, as $N$ becomes large, to the fractional level branching functions $b_{r,s,\ell}^{M,M'\!,n}(q)$. Extending the work of Schilling, we also conjecture finitized bosonic branching functions $b_{r,s,\ell}^{M,M'\!,n;(N)}(q)$ for general $n$ and check that these agree with the one-dimensional sums for $n=1,2,3$ out to system sizes $N=14$. Lastly, the finitized Kac characters $χ_{r,s,\ell}^{P,P'\!,n;(N)}(q)$ of the $n\times n$ fused logarithmic minimal models ${\cal LM}(p,p')$ are obtained by taking the {\em logarithmic limit\/} $m,m'\to\infty$ with $m/m'\to p/p'+$. △ Less

Submitted 2 April, 2017; v1 submitted 24 September, 2015; originally announced September 2015.

Finite-Volume Spectra of the Lee-Yang Model

Authors: Zoltan Bajnok, Omar el Deeb, Paul A. Pearce

Abstract: We consider the non-unitary Lee-Yang minimal model ${\cal M}(2,5)$ in three different finite geometries: (i) on the interval with integrable boundary conditions labelled by the Kac labels $(r,s)=(1,1),(1,2)$, (ii) on the circle with periodic boundary conditions and (iii) on the periodic circle including an integrable purely transmitting defect. We apply $\varphi_{1,3}$ integrable perturbations on… ▽ More We consider the non-unitary Lee-Yang minimal model ${\cal M}(2,5)$ in three different finite geometries: (i) on the interval with integrable boundary conditions labelled by the Kac labels $(r,s)=(1,1),(1,2)$, (ii) on the circle with periodic boundary conditions and (iii) on the periodic circle including an integrable purely transmitting defect. We apply $\varphi_{1,3}$ integrable perturbations on the boundary and on the defect and describe the flow of the spectrum. Adding a $Φ_{1,3}$ integrable perturbation to move off-criticality in the bulk, we determine the finite size spectrum of the massive scattering theory in the three geometries via Thermodynamic Bethe Ansatz (TBA) equations. We derive these integral equations for all excitations by solving, in the continuum scaling limit, the TBA functional equations satisfied by the transfer matrices of the associated $A_{4}$ RSOS lattice model of Forrester and Baxter in Regime III. The excitations are classified in terms of $(m,n)$ systems. The excited state TBA equations agree with the previously conjectured equations in the boundary and periodic cases. In the defect case, new TBA equations confirm previously conjectured transmission factors. △ Less

Submitted 29 December, 2014; originally announced December 2014.

Comments: LateX, 42 pages with 22 eps figures

Journal ref: JHEP, 04, (2015), 073

RSOS Quantum Chains Associated with Off-Critical Minimal Models and $\mathbb{Z}_n$ Parafermions

Authors: Davide Bianchini, Elisa Ercolessi, Paul A. Pearce, Francesco Ravanini

Abstract: We consider the $\varphi_{1,3}$ off-critical perturbation ${\cal M}(m,m';t)$ of the general non-unitary minimal models where $2\le m\le m'$ and $m, m'$ are coprime and $t$ measures the departure from criticality corresponding to the $\varphi_{1,3}$ integrable perturbation. We view these models as the continuum scaling limit in the ferromagnetic Regime III of the Forrester-Baxter Restricted Solid-O… ▽ More We consider the $\varphi_{1,3}$ off-critical perturbation ${\cal M}(m,m';t)$ of the general non-unitary minimal models where $2\le m\le m'$ and $m, m'$ are coprime and $t$ measures the departure from criticality corresponding to the $\varphi_{1,3}$ integrable perturbation. We view these models as the continuum scaling limit in the ferromagnetic Regime III of the Forrester-Baxter Restricted Solid-On-Solid (RSOS) models on the square lattice. We also consider the RSOS models in the antiferromagnetic Regime II related in the continuum scaling limit to $\mathbb{Z}_n$ parfermions with $n=m'-2$. Using an elliptic Yang-Baxter algebra of planar tiles encoding the allowed face configurations, we obtain the Hamiltonians of the associated quantum chains defined as the logarithmic derivative of the transfer matrices with periodic boundary conditions. The transfer matrices and Hamiltonians act on a vector space of paths on the $A_{m'-1}$ Dynkin diagram whose dimension is counted by generalized Fibonacci numbers. △ Less

Submitted 16 December, 2014; originally announced December 2014.

Comments: 18 pages

Journal ref: J. Stat. Mech. (2015) P03010

Kac boundary conditions of the logarithmic minimal models

Authors: Paul A. Pearce, Elena Tartaglia, Romain Couvreur

Abstract: We develop further the implementation and analysis of Kac boundary conditions in the general logarithmic minimal models ${\cal LM}(p,p')$ with $1\le p<p'$ and $p,p'$ coprime. Working in a strip geometry, we consider the $(r,s)$ boundary conditions, which are organized into infinitely extended Kac tables labeled by $r,s=1,2,3,...$. They are conjugate to Virasoro Kac representations with conformal d… ▽ More We develop further the implementation and analysis of Kac boundary conditions in the general logarithmic minimal models ${\cal LM}(p,p')$ with $1\le p<p'$ and $p,p'$ coprime. Working in a strip geometry, we consider the $(r,s)$ boundary conditions, which are organized into infinitely extended Kac tables labeled by $r,s=1,2,3,...$. They are conjugate to Virasoro Kac representations with conformal dimensions $Δ_{r,s}$ given by the usual Kac formula. On a finite strip of width $N$, built from a square lattice, the associated integrable boundary conditions are constructed by acting on the vacuum $(1,1)$ boundary with an $s$-type seam of width $s-1$ columns and an $r$-type seam of width $ρ-1$ columns. The $r$-type seam contains an arbitrary boundary field $ξ$. The usual fusion construction of the $r$-type seam relies on the existence of Wenzl-Jones projectors restricting its application to $r\leρ<p'$. This limitation was recently removed by Pearce, Rasmussen and Villani who further conjectured that the conformal boundary conditions labeled by $r$ are realized, in particular, for $ρ=ρ(r)=\lfloor \frac{rp'}{p}\rfloor$. In this paper, we confirm this conjecture by performing extensive numerics on the commuting double row transfer matrices and their associated quantum Hamiltonian chains. Letting $[x]$ denote the fractional part, we fix the boundary field to the specialized values $ξ=\fracπ{2}$ if $[\fracρ{p'}]=0$ and $ξ=[\frac{ρp}{p'}]\fracπ{2}$ otherwise. For these boundary conditions, we obtain the Kac conformal weights $Δ_{r,s}$ by numerically extrapolating the finite-size corrections to the lowest eigenvalue of the quantum Hamiltonians out to sizes $N\le 32-ρ-s$. Additionally, by solving local inversion relations, we obtain general analytic expressions for the boundary free energies allowing for more accurate estimates of the conformal data. △ Less

Submitted 1 October, 2014; originally announced October 2014.

Critical dense polymers with Robin boundary conditions, half-integer Kac labels and $\mathbb{Z}_4$ fermions

Authors: Paul A. Pearce, Jorgen Rasmussen, Ilya Yu. Tipunin

Abstract: For general Temperley-Lieb loop models, including the logarithmic minimal models ${\cal LM}(p,p')$ with $p,p'$ coprime integers, we construct an infinite family of Robin boundary conditions on the strip as linear combinations of Neumann and Dirichlet boundary conditions. These boundary conditions are Yang-Baxter integrable and allow loop segments to terminate on the boundary. Algebraically, the Ro… ▽ More For general Temperley-Lieb loop models, including the logarithmic minimal models ${\cal LM}(p,p')$ with $p,p'$ coprime integers, we construct an infinite family of Robin boundary conditions on the strip as linear combinations of Neumann and Dirichlet boundary conditions. These boundary conditions are Yang-Baxter integrable and allow loop segments to terminate on the boundary. Algebraically, the Robin boundary conditions are described by the one-boundary Temperley-Lieb algebra. Solvable critical dense polymers is the first member ${\cal LM}(1,2)$ of the family of logarithmic minimal models and has loop fugacity $β=0$ and central charge $c=-2$. Specializing to ${\cal LM}(1,2)$ with our Robin boundary conditions, we solve the model exactly on strips of arbitrary finite size $N$ and extract the finite-size conformal corrections using an Euler-Maclaurin formula. The key to the solution is an inversion identity satisfied by the commuting double row transfer matrices. This inversion identity is established directly in the Temperley-Lieb algebra. We classify the eigenvalues of the double row transfer matrices using the physical combinatorics of the patterns of zeros in the complex spectral parameter plane and obtain finitized characters related to spaces of coinvariants of $\mathbb{Z}_4$ fermions. In the continuum scaling limit, the Robin boundary conditions are associated with irreducible Virasoro Verma modules with conformal weights $Δ_{r,s-\frac{1}{2}}=\frac{1}{32}(L^2-4)$ where $L=2s-1-4r$, $r\in\mathbb{Z}$, $s\in\mathbb{N}$. These conformal weights populate a Kac table with half-integer Kac labels. Fusion of the corresponding modules with the generators of the Kac fusion algebra is examined and general fusion rules are proposed. △ Less

Submitted 28 October, 2014; v1 submitted 2 May, 2014; originally announced May 2014.

Comments: 53 pages, v2: comments and references added

Fusion hierarchies, T-systems and Y-systems of logarithmic minimal models

Authors: Alexi Morin-Duchesne, Paul A. Pearce, Jorgen Rasmussen

Abstract: A Temperley-Lieb (TL) loop model is a Yang-Baxter integrable lattice model with nonlocal degrees of freedom. On a strip of width N, the evolution operator is the double-row transfer tangle D(u), an element of the TL algebra TL_N(beta) with loop fugacity beta=2cos(lambda). Similarly on a cylinder, the single-row transfer tangle T(u) is an element of the enlarged periodic TL algebra. The logarithmic… ▽ More A Temperley-Lieb (TL) loop model is a Yang-Baxter integrable lattice model with nonlocal degrees of freedom. On a strip of width N, the evolution operator is the double-row transfer tangle D(u), an element of the TL algebra TL_N(beta) with loop fugacity beta=2cos(lambda). Similarly on a cylinder, the single-row transfer tangle T(u) is an element of the enlarged periodic TL algebra. The logarithmic minimal models LM(p,p') comprise a subfamily of the TL loop models for which the crossing parameter lambda=(p'-p)pi/p' is parameterised by coprime integers 0<p<p'. For these special values, additional symmetries allow for particular degeneracies in the spectra that account for the logarithmic nature of these theories. For critical dense polymers LM(1,2), D(u) and T(u) are known to satisfy inversion identities that allow us to obtain exact eigenvalues in any representation and for all system sizes N. The generalisation for p'>2 takes the form of functional relations for D(u) and T(u) of polynomial degree p'. These derive from fusion hierarchies of commuting transfer tangles D^{m,n}(u) and T^{m,n}(u) where D(u)=D^{1,1}(u) and T(u)=T^{1,1}(u). The fused transfer tangles are constructed from (m,n)-fused face operators involving Wenzl-Jones projectors P_k on k=m or k=n nodes. Some projectors P_k are singular for k>p'-1, but we argue that D^{m,n}(u) and T^{m,n}(u) are well defined for all m,n. For generic lambda, we derive the fusion hierarchies and the associated T- and Y-systems. For the logarithmic theories, the closure of the fusion hierarchies at n=p' translates into functional relations of polynomial degree p' for D^{m,1}(u) and T^{m,1}(u). We also derive the closure of the Y-systems for the logarithmic theories. The T- and Y-systems are the key to exact integrability and we observe that the underlying structure of these functional equations relate to Dynkin diagrams of affine Lie algebras. △ Less

Submitted 30 January, 2014; originally announced January 2014.

Comments: 77 pages

Logarithmic Superconformal Minimal Models

Authors: Paul A. Pearce, Jorgen Rasmussen, Elena Tartaglia

Abstract: The higher fusion level logarithmic minimal models LM(P,P';n) have recently been constructed as the diagonal GKO cosets (A_1^{(1)})_k oplus (A_1^{(1)})_n / (A_1^{(1)})_{k+n} where n>0 is an integer fusion level and k=nP/(P'-P)-2 is a fractional level. For n=1, these are the logarithmic minimal models LM(P,P'). For n>1, we argue that these critical theories are realized on the lattice by n x n fusi… ▽ More The higher fusion level logarithmic minimal models LM(P,P';n) have recently been constructed as the diagonal GKO cosets (A_1^{(1)})_k oplus (A_1^{(1)})_n / (A_1^{(1)})_{k+n} where n>0 is an integer fusion level and k=nP/(P'-P)-2 is a fractional level. For n=1, these are the logarithmic minimal models LM(P,P'). For n>1, we argue that these critical theories are realized on the lattice by n x n fusion of the n=1 models. For n=2, we call them logarithmic superconformal minimal models LSM(p,p') where P=|2p-p'|, P'=p' and p,p' are coprime, and they share the central charges of the rational superconformal minimal models SM(P,P'). Their mathematical description entails the fused planar Temperley-Lieb algebra which is a spin-1 BMW tangle algebra with loop fugacity beta_2=x^2+1+x^{-2} and twist omega=x^4 where x=e^{i(p'-p)pi/p'}. Examples are superconformal dense polymers LSM(2,3) with c=-5/2, beta_2=0 and superconformal percolation LSM(3,4) with c=0, beta_2=1. We calculate the free energies analytically. By numerically studying finite-size spectra on the strip with appropriate boundary conditions in Neveu-Schwarz and Ramond sectors, we argue that, in the continuum scaling limit, these lattice models are associated with the logarithmic superconformal models LM(P,P';2). For system size N, we propose finitized Kac character formulas whose P,P' dependence only enters in the fractional power of q in a prefactor. These characters involve Motzkin and Riordan polynomials defined in terms of q-trinomial coefficients. Using the Hamiltonian limit, we argue that there exist reducible yet indecomposable representations for which the Virasoro dilatation operator L_0 exhibits rank-2 Jordan blocks confirming that these theories are indeed logarithmic. We relate these results to the N=1 superconformal representation theory. △ Less

Submitted 2 April, 2014; v1 submitted 24 December, 2013; originally announced December 2013.

Comments: 55 pages, v2: comments and references added

Coset construction of logarithmic minimal models: branching rules and branching functions

Authors: Paul A. Pearce, Jorgen Rasmussen

Abstract: Working in the Virasoro picture, it is argued that the logarithmic minimal models LM(p,p')=LM(p,p';1) can be extended to an infinite hierarchy of logarithmic conformal field theories LM(p,p';n) at higher fusion levels n=1,2,3,.... From the lattice, these theories are constructed by fusing together n x n elementary faces of the appropriate LM(p,p') models. It is further argued that all of these log… ▽ More Working in the Virasoro picture, it is argued that the logarithmic minimal models LM(p,p')=LM(p,p';1) can be extended to an infinite hierarchy of logarithmic conformal field theories LM(p,p';n) at higher fusion levels n=1,2,3,.... From the lattice, these theories are constructed by fusing together n x n elementary faces of the appropriate LM(p,p') models. It is further argued that all of these logarithmic theories are realized as diagonal cosets (A_1^{(1)})_k \oplus (A_1^{(1)})_n / (A_1^{(1)})_{k+n} where n is the integer fusion level and k=np/(p'-p)-2 is a fractional level. These cosets mirror the cosets of the higher fusion level minimal models of the form M(m,m';n), but are associated with certain reducible representations. We present explicit branching rules for characters in the form of multiplication formulas arising in the logarithmic limit of the usual Goddard-Kent-Olive coset construction of the non-unitary minimal models M(m,m';n). The limiting branching functions play the role of Kac characters for the LM(p,p';n) theories. △ Less

Submitted 4 August, 2013; v1 submitted 31 May, 2013; originally announced May 2013.

Comments: 16 pages, v2: footnote added

Modular invariant partition function of critical dense polymers

Authors: Alexi Morin-Duchesne, Paul A. Pearce, Jorgen Rasmussen

Abstract: A lattice model of critical dense polymers is solved exactly for arbitrary system size on the torus. More generally, an infinite family of lattice loop models is studied on the torus and related to the corresponding Fortuin-Kasteleyn random cluster models. Starting with a cylinder, the commuting periodic single-row transfer matrices are built from the periodic Temperley-Lieb algebra extended by th… ▽ More A lattice model of critical dense polymers is solved exactly for arbitrary system size on the torus. More generally, an infinite family of lattice loop models is studied on the torus and related to the corresponding Fortuin-Kasteleyn random cluster models. Starting with a cylinder, the commuting periodic single-row transfer matrices are built from the periodic Temperley-Lieb algebra extended by the shift operators Omega and Omega^{-1}. In this enlarged algebra, the non-contractible loop fugacity is alpha and the contractible loop fugacity is beta. The torus is formed by gluing the top and bottom of the cylinder. This gives rise to a variety of non-contractible loops winding around the torus. Because of their nonlocal nature, the standard matrix trace does not produce the proper geometric torus. Instead, we introduce a modified matrix trace for this purpose. This is achieved by using a representation of the enlarged periodic Temperley-Lieb algebra with a parameter v that keeps track of the winding of defects on the cylinder. The transfer matrix representatives and their eigenvalues thus depend on v. The modified trace is constructed as a linear functional on planar connectivity diagrams in terms of matrix traces Tr_d (with a fixed number of defects d) and Chebyshev polynomials of the first kind. For critical dense polymers, where beta=0, the transfer matrix eigenvalues are obtained by solving a functional equation in the form of an inversion identity. The solution depends on d and is subject to selection rules which we prove. Simplifications occur if all non-contractible loop fugacities are set to alpha=2 in which case the traces are evaluated at v=1. In the continuum scaling limit, the corresponding conformal torus partition function obtained from finite-size corrections agrees with the known modular invariant partition function of symplectic fermions. △ Less

Submitted 27 May, 2013; v1 submitted 20 March, 2013; originally announced March 2013.

Comments: 51 pages, v2: added comments and references

From the artificial atom to the Kondo-Anderson model: orientation dependent magneto-photoluminescence of charged excitons in InAs quantum dots

Authors: B. Van Hattem, P. Corfdir, P. Brereton, P. Pearce, A. M. Graham, M. J. Stanley, M. Hugues, M. Hopkinson, R. T. Phillips

Abstract: We present a magneto-photoluminescence study on neutral and charged excitons confined to InAs/GaAs quantum dots. Our investigation relies on a confocal microscope that allows arbitrary tuning of the angle between the applied magnetic field and the sample growth axis. First, from experiments on neutral excitons and trions, we extract the in-plane and on-axis components of the Landé tensor for elect… ▽ More We present a magneto-photoluminescence study on neutral and charged excitons confined to InAs/GaAs quantum dots. Our investigation relies on a confocal microscope that allows arbitrary tuning of the angle between the applied magnetic field and the sample growth axis. First, from experiments on neutral excitons and trions, we extract the in-plane and on-axis components of the Landé tensor for electrons and holes in the s-shell. Then, based on the doubly negatively charged exciton magneto-photoluminescence we show that the p-electron wave function spreads significantly into the GaAs barriers. We also demonstrate that the p-electron g-factor depends on the presence of a hole in the s-shell. The magnetic field dependence of triply negatively charged excitons photoluminescence exhibits several anticrossings, as a result of coupling between the quantum dot electronic states and the wetting layer. Finally, we discuss how the system evolves from a Kondo-Anderson exciton description to the artificial atom model when the orientation of the magnetic field goes from Faraday to Voigt geometry. △ Less

Submitted 24 May, 2013; v1 submitted 26 February, 2013; originally announced February 2013.

Journal ref: Phys. Rev. B 87, 205308 (2013)

Infinitely extended Kac table of solvable critical dense polymers

Authors: Paul A. Pearce, Jorgen Rasmussen, Simon P. Villani

Abstract: Solvable critical dense polymers is a Yang-Baxter integrable model of polymers on the square lattice. It is the first member LM(1,2) of the family of logarithmic minimal models LM(p,p'). The associated logarithmic conformal field theory admits an infinite family of Kac representations labelled by the Kac labels r,s=1,2,.... In this paper, we explicitly construct the conjugate boundary conditions o… ▽ More Solvable critical dense polymers is a Yang-Baxter integrable model of polymers on the square lattice. It is the first member LM(1,2) of the family of logarithmic minimal models LM(p,p'). The associated logarithmic conformal field theory admits an infinite family of Kac representations labelled by the Kac labels r,s=1,2,.... In this paper, we explicitly construct the conjugate boundary conditions on the strip. The boundary operators are labelled by the Kac fusion labels (r,s)=(r,1) x (1,s) and involve a boundary field xi. Tuning the field xi appropriately, we solve exactly for the transfer matrix eigenvalues on arbitrary finite-width strips and obtain the conformal spectra using the Euler-Maclaurin formula. The key to the solution is an inversion identity satisfied by the commuting double-row transfer matrices. The transfer matrix eigenvalues are classified by the physical combinatorics of the patterns of zeros in the complex spectral-parameter plane. This yields selection rules for the physically relevant solutions to the inversion identity which takes the form of a decomposition into irreducible blocks corresponding combinatorially to finitized characters given by generalized q-Catalan polynomials. This decomposition is in accord with the decomposition of the Kac characters into irreducible characters. In the scaling limit, we confirm the central charge c=-2 and the Kac formula for the conformal weights Delta_{r,s}=((2r-s)^2-1)/8 for r,s=1,2,3,... in the infinitely extended Kac table. △ Less

Submitted 2 April, 2013; v1 submitted 31 October, 2012; originally announced October 2012.

Comments: 40 pages. arXiv admin note: substantial text overlap with arXiv:hep-th/0610273. v2: Added comments and references

Off-Critical Logarithmic Minimal Models

Authors: Paul A. Pearce, Katherine A. Seaton

Abstract: We consider the integrable minimal models ${\cal M}(m,m';t)$, corresponding to the $\varphi_{1,3}$ perturbation off-criticality, in the {\it logarithmic limit\,} $m, m'\to\infty$, $m/m'\to p/p'$ where $p, p'$ are coprime and the limit is taken through coprime values of $m,m'$. We view these off-critical minimal models ${\cal M}(m,m';t)$ as the continuum scaling limit of the Forrester-Baxter Restri… ▽ More We consider the integrable minimal models ${\cal M}(m,m';t)$, corresponding to the $\varphi_{1,3}$ perturbation off-criticality, in the {\it logarithmic limit\,} $m, m'\to\infty$, $m/m'\to p/p'$ where $p, p'$ are coprime and the limit is taken through coprime values of $m,m'$. We view these off-critical minimal models ${\cal M}(m,m';t)$ as the continuum scaling limit of the Forrester-Baxter Restricted Solid-On-Solid (RSOS) models on the square lattice. Applying Corner Transfer Matrices to the Forrester-Baxter RSOS models in Regime III, we argue that taking first the thermodynamic limit and second the {\it logarithmic limit\,} yields off-critical logarithmic minimal models ${\cal LM}(p,p';t)$ corresponding to the $\varphi_{1,3}$ perturbation of the critical logarithmic minimal models ${\cal LM}(p,p')$. Specifically, in accord with the Kyoto correspondence principle, we show that the logarithmic limit of the one-dimensional configurational sums yields finitized quasi-rational characters of the Kac representations of the critical logarithmic minimal models ${\cal LM}(p,p')$. We also calculate the logarithmic limit of certain off-critical observables ${\cal O}_{r,s}$ related to One Point Functions and show that the associated critical exponents $β_{r,s}=(2-α)\,Δ_{r,s}^{p,p'}$ produce all conformal dimensions $Δ_{r,s}^{p,p'}<{(p'-p)(9p-p')\over 4pp'}$ in the infinitely extended Kac table. The corresponding Kac labels $(r,s)$ satisfy $(p s-p' r)^2< 8p(p'-p)$. The exponent $2-α={p'\over 2(p'-p)}$ is obtained from the logarithmic limit of the free energy giving the conformal dimension $Δ_t={1-α\over 2-α}={2p-p'\over p'}=Δ_{1,3}^{p,p'}$ for the perturbing field $t$. As befits a non-unitary theory, some observables ${\cal O}_{r,s}$ diverge at criticality. △ Less

Submitted 22 August, 2012; v1 submitted 1 July, 2012; originally announced July 2012.

Comments: 18 pages, 5 figures; version 3 contains amplifications and minor typographical corrections

Geometric Exponents of Dilute Logarithmic Minimal Models

Authors: Guillaume Provencher, Yvan Saint-Aubin, Paul A. Pearce, Jorgen Rasmussen

Abstract: The fractal dimensions of the hull, the external perimeter and of the red bonds are measured through Monte Carlo simulations for dilute minimal models, and compared with predictions from conformal field theory and SLE methods. The dilute models used are those first introduced by Nienhuis. Their loop fugacity is beta = -2cos(pi/barkappa}) where the parameter barkappa is linked to their description… ▽ More The fractal dimensions of the hull, the external perimeter and of the red bonds are measured through Monte Carlo simulations for dilute minimal models, and compared with predictions from conformal field theory and SLE methods. The dilute models used are those first introduced by Nienhuis. Their loop fugacity is beta = -2cos(pi/barkappa}) where the parameter barkappa is linked to their description through conformal loop ensembles. It is also linked to conformal field theories through their central charges c = 13 - 6(barkappa + barkappa^{-1}) and, for the minimal models of interest here, barkappa = p/p' where p and p' are two coprime integers. The geometric exponents of the hull and external perimeter are studied for the pairs (p,p') = (1,1), (2,3), (3,4), (4,5), (5,6), (5,7), and that of the red bonds for (p,p') = (3,4). Monte Carlo upgrades are proposed for these models as well as several techniques to improve their speeds. The measured fractal dimensions are obtained by extrapolation on the lattice size H,V -> infinity. The extrapolating curves have large slopes; despite these, the measured dimensions coincide with theoretical predictions up to three or four digits. In some cases, the theoretical values lie slightly outside the confidence intervals; explanations of these small discrepancies are proposed. △ Less

Submitted 3 September, 2011; originally announced September 2011.

Comments: 41 pages, 32 figures, added references

Coset Graphs in Bulk and Boundary Logarithmic Minimal Models

Authors: Paul A. Pearce, Jorgen Rasmussen

Abstract: The logarithmic minimal models are not rational but, in the W-extended picture, they resemble rational conformal field theories. We argue that the W-projective representations are fundamental building blocks in both the boundary and bulk description of these theories. In the boundary theory, each W-projective representation arising from fundamental fusion is associated with a boundary condition. M… ▽ More The logarithmic minimal models are not rational but, in the W-extended picture, they resemble rational conformal field theories. We argue that the W-projective representations are fundamental building blocks in both the boundary and bulk description of these theories. In the boundary theory, each W-projective representation arising from fundamental fusion is associated with a boundary condition. Multiplication in the associated Grothendieck ring leads to a Verlinde-like formula involving A-type twisted affine graphs A^{(2)}_{p} and their coset graphs A^{(2)}_{p,p'}=A^{(2)}_{p} x A^{(2)}_{p'}/Z_2. This provides compact formulas for the conformal partition functions with W-projective boundary conditions. On the torus, we propose modular invariant partition functions as sesquilinear forms in W-projective and rational minimal characters and observe that they are encoded by the same coset fusion graphs. △ Less

Submitted 26 January, 2011; v1 submitted 26 October, 2010; originally announced October 2010.

Comments: 33 pages, v2: comments and references added, v3: minor corrections

Journal ref: Nucl.Phys.B846:616-649,2011

Solvable Critical Dense Polymers on the Cylinder

Authors: Paul A. Pearce, Jorgen Rasmussen, Simon P. Villani

Abstract: A lattice model of critical dense polymers is solved exactly on a cylinder with finite circumference. The model is the first member LM(1,2) of the Yang-Baxter integrable series of logarithmic minimal models. The cylinder topology allows for non-contractible loops with fugacity alpha that wind around the cylinder or for an arbitrary number ell of defects that propagate along the full length of th… ▽ More A lattice model of critical dense polymers is solved exactly on a cylinder with finite circumference. The model is the first member LM(1,2) of the Yang-Baxter integrable series of logarithmic minimal models. The cylinder topology allows for non-contractible loops with fugacity alpha that wind around the cylinder or for an arbitrary number ell of defects that propagate along the full length of the cylinder. Using an enlarged periodic Temperley-Lieb algebra, we set up commuting transfer matrices acting on states whose links are considered distinct with respect to connectivity around the front or back of the cylinder. These transfer matrices satisfy a functional equation in the form of an inversion identity. For even N, this involves a non-diagonalizable braid operator J and an involution R=-(J^3-12J)/16=(-1)^{F} with eigenvalues R=(-1)^{ell/2}. The number of defects ell separates the theory into sectors. For the case of loop fugacity alpha=2, the inversion identity is solved exactly for the eigenvalues in finite geometry. The eigenvalues are classified by the physical combinatorics of the patterns of zeros in the complex spectral-parameter plane yielding selection rules. The finite-size corrections are obtained from Euler-Maclaurin formulas. In the scaling limit, we obtain the conformal partition functions and confirm the central charge c=-2 and conformal weights Delta_t=(t^2-1)/8. Here t=ell/2 and t=2r-s in the ell even sectors with Kac labels r=1,2,3,...; s=1,2 while t is half-integer in the ell odd sectors. Strikingly, the ell/2 odd sectors exhibit a W-extended symmetry but the ell/2 even sectors do not. Moreover, the naive trace summing over all ell even sectors does not yield a modular invariant. △ Less

Submitted 25 February, 2010; v1 submitted 23 October, 2009; originally announced October 2009.

Comments: 44 pages, v3: minor corrections

Journal ref: J.Stat.Mech.1002:P02010,2010

Grothendieck ring and Verlinde-like formula for the W-extended logarithmic minimal model WLM(1,p)

Authors: Paul A. Pearce, Jorgen Rasmussen, Philippe Ruelle

Abstract: We consider the Grothendieck ring of the fusion algebra of the W-extended logarithmic minimal model WLM(1,p). Informally, this is the fusion ring of W-irreducible characters so it is blind to the Jordan block structures associated with reducible yet indecomposable representations. As in the rational models, the Grothendieck ring is described by a simple graph fusion algebra. The 2p-dimensional m… ▽ More We consider the Grothendieck ring of the fusion algebra of the W-extended logarithmic minimal model WLM(1,p). Informally, this is the fusion ring of W-irreducible characters so it is blind to the Jordan block structures associated with reducible yet indecomposable representations. As in the rational models, the Grothendieck ring is described by a simple graph fusion algebra. The 2p-dimensional matrices of the regular representation are mutually commuting but not diagonalizable. They are brought simultaneously to Jordan form by the modular data coming from the full (3p-1)-dimensional S-matrix which includes transformations of the p-1 pseudo-characters. The spectral decomposition yields a Verlinde-like formula that is manifestly independent of the modular parameter $τ$ but is, in fact, equivalent to the Verlinde-like formula recently proposed by Gaberdiel and Runkel involving a $τ$-dependent S-matrix. △ Less

Submitted 9 December, 2009; v1 submitted 1 July, 2009; originally announced July 2009.

Comments: 13 pages, v2: example, comments and references added

Journal ref: J.Phys.A43:045211,2010

Physical Combinatorics and Quasiparticles

Authors: Giovanni Feverati, Paul A. Pearce, Nicholas S. Witte

Abstract: We consider the physical combinatorics of critical lattice models and their associated conformal field theories arising in the continuum scaling limit. As examples, we consider A-type unitary minimal models and the level-1 sl(2) Wess-Zumino-Witten (WZW) model. The Hamiltonian of the WZW model is the $U_q(sl(2))$ invariant XXX spin chain. For simplicity, we consider these theories only in their v… ▽ More We consider the physical combinatorics of critical lattice models and their associated conformal field theories arising in the continuum scaling limit. As examples, we consider A-type unitary minimal models and the level-1 sl(2) Wess-Zumino-Witten (WZW) model. The Hamiltonian of the WZW model is the $U_q(sl(2))$ invariant XXX spin chain. For simplicity, we consider these theories only in their vacuum sectors on the strip. Combinatorially, fermionic particles are introduced as certain features of RSOS paths. They are composites of dual-particles and exhibit the properties of quasiparticles. The particles and dual-particles are identified, through an energy preserving bijection, with patterns of zeros of the eigenvalues of the fused transfer matrices in their analyticity strips. The associated (m,n) systems arise as geometric packing constraints on the particles. The analyticity encoded in the patterns of zeros is the key to the analytic calculation of the excitation energies through the Thermodynamic Bethe Ansatz (TBA). As a by-product of our study, in the case of the WZW or XXX model, we find a relation between the location of the Bethe root strings and the location of the transfer matrix 2-strings. △ Less

Submitted 16 October, 2009; v1 submitted 3 March, 2009; originally announced March 2009.

Comments: 57 pages, in version 2: typos corrected, some sentences clarified, one appendix removed

Report number: LAPTH-1293/08

Journal ref: J.Stat.Mech.0910:P10013,2009

Cyclinacs: Fast-Cycling Accelerators for Hadrontherapy

Authors: U. Amaldi, S. Braccini, A. Citterio, K. Crandall, M. Crescenti, M. Dominietto, A. Giuliacci, G. Magrin, C. Mellace, P. Pearce, G. Pitta', E. Rosso, M. Weiss, R. Zennaro

Abstract: We propose an innovative fast-cycling accelerator complex conceived and designed to exploit at best the properties of accelerated ion beams for hadrontherapy. A cyclinac is composed by a cyclotron, which can be used also for other valuable medical and research purposes, followed by a high gradient linear accelerator capable to produce ion beams optimized for the irradiation of solid tumours with… ▽ More We propose an innovative fast-cycling accelerator complex conceived and designed to exploit at best the properties of accelerated ion beams for hadrontherapy. A cyclinac is composed by a cyclotron, which can be used also for other valuable medical and research purposes, followed by a high gradient linear accelerator capable to produce ion beams optimized for the irradiation of solid tumours with the most modern techniques. The properties of cyclinacs together with design studies for protons and carbon ions are presented and the advantages in facing the challenges of hadrontherapy are discussed. △ Less

Submitted 20 February, 2009; originally announced February 2009.

Comments: 28 pages, 18 figures. In memory of Mario Weiss who lead the developments of cyclinacs from 1993 to 2003. Submitted to Nuclear Inst. and Methods in Physics Research, A

Geometric Exponents, SLE and Logarithmic Minimal Models

Authors: Yvan Saint-Aubin, Paul A. Pearce, Jorgen Rasmussen

Abstract: In statistical mechanics, observables are usually related to local degrees of freedom such as the Q < 4 distinct states of the Q-state Potts models or the heights of the restricted solid-on-solid models. In the continuum scaling limit, these models are described by rational conformal field theories, namely the minimal models M(p,p') for suitable p, p'. More generally, as in stochastic Loewner ev… ▽ More In statistical mechanics, observables are usually related to local degrees of freedom such as the Q < 4 distinct states of the Q-state Potts models or the heights of the restricted solid-on-solid models. In the continuum scaling limit, these models are described by rational conformal field theories, namely the minimal models M(p,p') for suitable p, p'. More generally, as in stochastic Loewner evolution (SLE_kappa), one can consider observables related to nonlocal degrees of freedom such as paths or boundaries of clusters. This leads to fractal dimensions or geometric exponents related to values of conformal dimensions not found among the finite sets of values allowed by the rational minimal models. Working in the context of a loop gas with loop fugacity beta = -2 cos(4 pi/kappa), we use Monte Carlo simulations to measure the fractal dimensions of various geometric objects such as paths and the generalizations of cluster mass, cluster hull, external perimeter and red bonds. Specializing to the case where the SLE parameter kappa = 4p'/p is rational with p < p', we argue that the geometric exponents are related to conformal dimensions found in the infinitely extended Kac tables of the logarithmic minimal models LM(p,p'). These theories describe lattice systems with nonlocal degrees of freedom. We present results for critical dense polymers LM(1,2), critical percolation LM(2,3), the logarithmic Ising model LM(3,4), the logarithmic tricritical Ising model LM(4,5) as well as LM(3,5). Our results are compared with rigourous results from SLE_kappa, with predictions from theoretical physics and with other numerical experiments. Throughout, we emphasize the relationships between SLE_kappa, geometric exponents and the conformal dimensions of the underlying CFTs. △ Less

Submitted 10 October, 2008; v1 submitted 27 September, 2008; originally announced September 2008.

Comments: Added references

W-Extended Fusion Algebra of Critical Percolation

Authors: Jorgen Rasmussen, Paul A. Pearce

Abstract: Two-dimensional critical percolation is the member LM(2,3) of the infinite series of Yang-Baxter integrable logarithmic minimal models LM(p,p'). We consider the continuum scaling limit of this lattice model as a `rational' logarithmic conformal field theory with extended W=W_{2,3} symmetry and use a lattice approach on a strip to study the fundamental fusion rules in this extended picture. We fi… ▽ More Two-dimensional critical percolation is the member LM(2,3) of the infinite series of Yang-Baxter integrable logarithmic minimal models LM(p,p'). We consider the continuum scaling limit of this lattice model as a `rational' logarithmic conformal field theory with extended W=W_{2,3} symmetry and use a lattice approach on a strip to study the fundamental fusion rules in this extended picture. We find that the representation content of the ensuing closed fusion algebra contains 26 W-indecomposable representations with 8 rank-1 representations, 14 rank-2 representations and 4 rank-3 representations. We identify these representations with suitable limits of Yang-Baxter integrable boundary conditions on the lattice and obtain their associated W-extended characters. The latter decompose as finite non-negative sums of W-irreducible characters of which 13 are required. Implementation of fusion on the lattice allows us to read off the fusion rules governing the fusion algebra of the 26 representations and to construct an explicit Cayley table. The closure of these representations among themselves under fusion is remarkable confirmation of the proposed extended symmetry. △ Less

Submitted 28 April, 2008; originally announced April 2008.

Comments: 30 pages

Journal ref: J.Phys.A41:295208,2008

Integrable Boundary Conditions and W-Extended Fusion in the Logarithmic Minimal Models LM(1,p)

Authors: Paul A. Pearce, Jorgen Rasmussen, Philippe Ruelle

Abstract: We consider the logarithmic minimal models LM(1,p) as `rational' logarithmic conformal field theories with extended W symmetry. To make contact with the extended picture starting from the lattice, we identify 4p-2 boundary conditions as specific limits of integrable boundary conditions of the underlying Yang-Baxter integrable lattice models. Specifically, we identify 2p integrable boundary condi… ▽ More We consider the logarithmic minimal models LM(1,p) as `rational' logarithmic conformal field theories with extended W symmetry. To make contact with the extended picture starting from the lattice, we identify 4p-2 boundary conditions as specific limits of integrable boundary conditions of the underlying Yang-Baxter integrable lattice models. Specifically, we identify 2p integrable boundary conditions to match the 2p known irreducible W-representations. These 2p extended representations naturally decompose into infinite sums of the irreducible Virasoro representations (r,s). A further 2p-2 reducible yet indecomposable W-representations of rank 2 are generated by fusion and these decompose as infinite sums of indecomposable rank-2 Virasoro representations. The fusion rules in the extended picture are deduced from the known fusion rules for the Virasoro representations of LM(1,p) and are found to be in agreement with previous works. The closure of the fusion algebra on a finite number of representations in the extended picture is remarkable confirmation of the consistency of the lattice approach. △ Less

Submitted 5 March, 2008; originally announced March 2008.

Comments: 15 pages

Journal ref: J.Phys.A41:295201,2008

Polynomial Fusion Rings of Logarithmic Minimal Models

Authors: Jorgen Rasmussen, Paul A. Pearce

Abstract: We identify quotient polynomial rings isomorphic to the recently found fundamental fusion algebras of logarithmic minimal models. We identify quotient polynomial rings isomorphic to the recently found fundamental fusion algebras of logarithmic minimal models. △ Less

Submitted 20 September, 2007; originally announced September 2007.

Comments: 18 pages

Journal ref: J.Phys.A41:175210,2008

Fusion Algebras of Logarithmic Minimal Models

Authors: Jorgen Rasmussen, Paul A. Pearce

Abstract: We present explicit conjectures for the chiral fusion algebras of the logarithmic minimal models LM(p,p') considering Virasoro representations with no enlarged or extended symmetry algebra. The generators of fusion are countably infinite in number but the ensuing fusion rules are quasi-rational in the sense that the fusion of a finite number of representations decomposes into a finite direct sum… ▽ More We present explicit conjectures for the chiral fusion algebras of the logarithmic minimal models LM(p,p') considering Virasoro representations with no enlarged or extended symmetry algebra. The generators of fusion are countably infinite in number but the ensuing fusion rules are quasi-rational in the sense that the fusion of a finite number of representations decomposes into a finite direct sum of representations. The fusion rules are commutative, associative and exhibit an sl(2) structure but require so-called Kac representations which are reducible yet indecomposable representations of rank 1. In particular, the identity of the fundamental fusion algebra is in general a reducible yet indecomposable Kac representation of rank 1. We make detailed comparisons of our fusion rules with the results of Gaberdiel and Kausch for p=1 and with Eberle and Flohr for (p,p')=(2,5) corresponding to the logarithmic Yang-Lee model. In the latter case, we confirm the appearance of indecomposable representations of rank 3. We also find that closure of a fundamental fusion algebra is achieved without the introduction of indecomposable representations of rank higher than 3. The conjectured fusion rules are supported, within our lattice approach, by extensive numerical studies of the associated integrable lattice models. Details of our lattice findings and numerical results will be presented elsewhere. The agreement of our fusion rules with the previous fusion rules lends considerable support for the identification of the logarithmic minimal models LM(p,p') with the augmented c_{p,p'} (minimal) models defined algebraically. △ Less

Submitted 21 September, 2007; v1 submitted 21 July, 2007; originally announced July 2007.

Comments: 22 pages, v2: comments added

Journal ref: J.Phys.A40:13711-13734,2007