Showing 1–39 of 39 results for author: Lee, D J

Uniqueness of $p$-local truncated Brown-Peterson spectra

Authors: David Jongwon Lee

Abstract: When $p$ is an odd prime, we prove that the $\mathbb F_p$-cohomology of $\mathrm{BP}\langle n\rangle$ as a module over the Steenrod algebra determines the $p$-local spectrum $\mathrm{BP}\langle n\rangle$. In particular, we prove that the $p$-local spectrum $\mathrm{BP}\langle n\rangle$ only depends on its $p$-completion $\mathrm{BP}\langle n\rangle_p^\wedge$. As a corollary, this proves that the… ▽ More When $p$ is an odd prime, we prove that the $\mathbb F_p$-cohomology of $\mathrm{BP}\langle n\rangle$ as a module over the Steenrod algebra determines the $p$-local spectrum $\mathrm{BP}\langle n\rangle$. In particular, we prove that the $p$-local spectrum $\mathrm{BP}\langle n\rangle$ only depends on its $p$-completion $\mathrm{BP}\langle n\rangle_p^\wedge$. As a corollary, this proves that the $p$-local homotopy type of $\mathrm{BP}\langle n\rangle$ does not depend on the ideal by which we take the quotient of $\mathrm{BP}$. In the course of the argument, we show that there is a vanishing line for odd degree classes in the Adams spectral sequence for endomorphisms of $\mathrm{BP}\langle n\rangle$. We also prove that there are enough endomorphisms of $\mathrm{BP}\langle n\rangle$ in a suitable sense. When $p=2$, we obtain the results for $n\leq 3$. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 27 pages, comments welcome

Topological Hochschild homology of the image of j

Authors: David Jongwon Lee, Ishan Levy

Abstract: We compute the mod $(p,v_1)$ and mod $(2,η,v_1)$ $\mathrm{THH}$ of many variants of the image-of-$J$ spectrum. In particular, we do this for $j_ζ$, whose $\mathrm{TC}$ is closely related to the $K$-theory of the $K(1)$-local sphere. We find in particular that the failure for $\mathrm{THH}$ to satisfy $\mathbb{Z}_p$-Galois descent for the extension $j_ζ \to \ell_p$ corresponds to the failure of the… ▽ More We compute the mod $(p,v_1)$ and mod $(2,η,v_1)$ $\mathrm{THH}$ of many variants of the image-of-$J$ spectrum. In particular, we do this for $j_ζ$, whose $\mathrm{TC}$ is closely related to the $K$-theory of the $K(1)$-local sphere. We find in particular that the failure for $\mathrm{THH}$ to satisfy $\mathbb{Z}_p$-Galois descent for the extension $j_ζ \to \ell_p$ corresponds to the failure of the $p$-adic circle to be its own free loop space. For $p>2$, we also prove the Segal conjecture for $j_ζ$, and we compute the $K$-theory of the $K(1)$-local sphere in degrees $\leq 4p-6$. △ Less

Submitted 9 July, 2023; originally announced July 2023.

Comments: 42 pages, 4 figures, comments welcome!

Integral topological Hochschild homology of connective complex K-theory

Authors: David Jongwon Lee

Abstract: We compute the homotopy groups of $\mathrm{THH}(\mathrm{ku})$ as a $\mathrm{ku}_\ast$-module using the descent spectral sequence for the map $\mathrm{THH}(\mathrm{ku})\to\mathrm{THH}(\mathrm{ku}/\mathrm{MU})$, which is the motivic spectral sequence for $\mathrm{THH}(\mathrm{ku})$ in the sense of Hahn-Raksit-Wilson. We compute the $E_2$-page using an algebraic Bockstein spectral sequence, which is… ▽ More We compute the homotopy groups of $\mathrm{THH}(\mathrm{ku})$ as a $\mathrm{ku}_\ast$-module using the descent spectral sequence for the map $\mathrm{THH}(\mathrm{ku})\to\mathrm{THH}(\mathrm{ku}/\mathrm{MU})$, which is the motivic spectral sequence for $\mathrm{THH}(\mathrm{ku})$ in the sense of Hahn-Raksit-Wilson. We compute the $E_2$-page using an algebraic Bockstein spectral sequence, which is an approximation to the topological Bockstein spectral sequence computing $\mathrm{THH}(\mathrm{ku})$ from $\mathrm{THH}(\mathrm{ku})/(p,β)$, where $β$ is the Bott element. Then, we show that the descent spectral sequence degenerates at the $E_2$-page. △ Less

Submitted 21 July, 2022; v1 submitted 6 June, 2022; originally announced June 2022.

Comments: Minor edits, comments welcome, 20 pages, 1 figure

Reactive Task Allocation and Planning for Quadrupedal and Wheeled Robot Teaming

Authors: Ziyi Zhou, Dong Jae Lee, Yuki Yoshinaga, Stephen Balakirsky, Dejun Guo, Ye Zhao

Abstract: This paper takes the first step towards a reactive, hierarchical multi-robot task allocation and planning framework given a global Linear Temporal Logic specification. The capabilities of both quadrupedal and wheeled robots are leveraged via a heterogeneous team to accomplish a variety of navigation and delivery tasks. However, when deployed in the real world, all robots can be susceptible to diff… ▽ More This paper takes the first step towards a reactive, hierarchical multi-robot task allocation and planning framework given a global Linear Temporal Logic specification. The capabilities of both quadrupedal and wheeled robots are leveraged via a heterogeneous team to accomplish a variety of navigation and delivery tasks. However, when deployed in the real world, all robots can be susceptible to different types of disturbances, including but not limited to locomotion failures, human interventions, and obstructions from the environment. To address these disturbances, we propose task-level local and global reallocation strategies to efficiently generate updated action-state sequences online while guaranteeing the completion of the original task. These task reallocation approaches eliminate reconstructing the entire plan or resynthesizing a new task. To integrate the task planner with low-level inputs, a Behavior Tree execution layer monitors different types of disturbances and employs the reallocation methods to make corresponding recovery strategies. To evaluate this planning framework, dynamic simulations are conducted in a realistic hospital environment with a heterogeneous robot team consisting of quadrupeds and wheeled robots for delivery tasks. △ Less

Submitted 20 June, 2022; v1 submitted 15 October, 2021; originally announced October 2021.

Demonstration of hybrid high-Q hexagonal boron nitride microresonators

Authors: Anustup Das, Dong Jun Lee, Prasoon K. Shandilya, Sejeong Kim, Gumin Kang, David P. Lake, Bishnupada Behera, Denis Sukachev, Igor Aharonovich, Jung-Hyun Lee, Jaehyun Park, Paul E. Barclay

Abstract: Hexagonal boron nitride (hBN) is a wide bandgap van der Waals material that is emerging as a powerful platform for quantum optics and nanophotonics. In this work, we demonstrate whispering gallery mode silica microresonators hybridized with thin layers of epitaxially grown hBN that exhibit high optical quality factor $> 7 \times 10^5$. Measurements of the effect of hBN thickness on optical $Q$ a… ▽ More Hexagonal boron nitride (hBN) is a wide bandgap van der Waals material that is emerging as a powerful platform for quantum optics and nanophotonics. In this work, we demonstrate whispering gallery mode silica microresonators hybridized with thin layers of epitaxially grown hBN that exhibit high optical quality factor $> 7 \times 10^5$. Measurements of the effect of hBN thickness on optical $Q$ and comparison with a theoretical model allows the linear optical absorption coefficient of the hBN films to be estimated. These high-$Q$ devices will be useful for applications in quantum and nonlinear optics, and their hybridized geometry provides a sensitive platform for evaluating losses in hBN and other 2D materials. △ Less

Submitted 8 July, 2021; originally announced July 2021.

Comments: 5 pages, 4 figures

Telesco** Filter: A Practical Adaptive Filter

Authors: David J. Lee, Samuel McCauley, Shikha Singh, Max Stein

Abstract: Filters are fast, small and approximate set membership data structures. They are often used to filter out expensive accesses to a remote set S for negative queries (that is, a query x not in S). Filters have one-sided errors: on a negative query, a filter may say "present" with a tunable false-positve probability of epsilon. Correctness is traded for space: filters only use log (1/ε) + O(1) bits p… ▽ More Filters are fast, small and approximate set membership data structures. They are often used to filter out expensive accesses to a remote set S for negative queries (that is, a query x not in S). Filters have one-sided errors: on a negative query, a filter may say "present" with a tunable false-positve probability of epsilon. Correctness is traded for space: filters only use log (1/ε) + O(1) bits per element. The false-positive guarantees of most filters, however, hold only for a single query. In particular, if x is a false positive of a filter, a subsequent query to x is a false positive with probability 1, not epsilon. With this in mind, recent work has introduced the notion of an adaptive filter. A filter is adaptive if each query has false positive epsilon, regardless of what queries were made in the past. This requires "fixing" false positives as they occur. Adaptive filters not only provide strong false positive guarantees in adversarial environments but also improve performance on query practical workloads by eliminating repeated false positives. Existing work on adaptive filters falls into two categories. First, there are practical filters based on cuckoo filters that attempt to fix false positives heuristically, without meeting the adaptivity guarantee. Meanwhile, the broom filter is a very complex adaptive filter that meets the optimal theoretical bounds. In this paper, we bridge this gap by designing a practical, provably adaptive filter: the telesco** adaptive filter. We provide theoretical false-positive and space guarantees of our filter, along with empirical results where we compare its false positive performance against state-of-the-art filters. We also test the throughput of our filters, showing that they achieve comparable performance to similar non-adaptive filters. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Lux: Always-on Visualization Recommendations for Exploratory Dataframe Workflows

Authors: Doris Jung-Lin Lee, Dixin Tang, Kunal Agarwal, Thyne Boonmark, Caitlyn Chen, Jake Kang, Ujjaini Mukhopadhyay, Jerry Song, Micah Yong, Marti A. Hearst, Aditya G. Parameswaran

Abstract: Exploratory data science largely happens in computational notebooks with dataframe APIs, such as pandas, that support flexible means to transform, clean, and analyze data. Yet, visually exploring data in dataframes remains tedious, requiring substantial programming effort for visualization and mental effort to determine what analysis to perform next. We propose Lux, an always-on framework for acce… ▽ More Exploratory data science largely happens in computational notebooks with dataframe APIs, such as pandas, that support flexible means to transform, clean, and analyze data. Yet, visually exploring data in dataframes remains tedious, requiring substantial programming effort for visualization and mental effort to determine what analysis to perform next. We propose Lux, an always-on framework for accelerating visual insight discovery in dataframe workflows. When users print a dataframe in their notebooks, Lux recommends visualizations to provide a quick overview of the patterns and trends and suggests promising analysis directions. Lux features a high level language for generating visualizations on demand to encourage rapid visual experimentation with data. We demonstrate that through the use of a careful design and three system optimizations, Lux adds no more than two seconds of overhead on top of pandas for over 98% of datasets in the UCI repository. We evaluate Lux in terms of usability via a controlled first-use study and interviews with early adopters, finding that Lux helps fulfill the needs of data scientists for visualization support within their dataframe workflows. Lux has already been embraced by data science practitioners, with over 3.1k stars on Github. △ Less

Submitted 22 December, 2021; v1 submitted 30 April, 2021; originally announced May 2021.

Deconstructing Categorization in Visualization Recommendation: A Taxonomy and Comparative Study

Authors: Doris Jung-Lin Lee, Vidya Setlur, Melanie Tory, Karrie Karahalios, Aditya Parameswaran

Abstract: Visualization recommendation (VisRec) systems provide users with suggestions for potentially interesting and useful next steps during exploratory data analysis. These recommendations are typically organized into categories based on their analytical actions, i.e., operations employed to transition from the current exploration state to a recommended visualization. However, despite the emergence of a… ▽ More Visualization recommendation (VisRec) systems provide users with suggestions for potentially interesting and useful next steps during exploratory data analysis. These recommendations are typically organized into categories based on their analytical actions, i.e., operations employed to transition from the current exploration state to a recommended visualization. However, despite the emergence of a plethora of VisRec systems in recent work, the utility of the categories employed by these systems in analytical workflows has not been systematically investigated. Our paper explores the efficacy of recommendation categories by formalizing a taxonomy of common categories and develo** a system, Frontier, that implements these categories. Using Frontier, we evaluate workflow strategies adopted by users and how categories influence those strategies. Participants found recommendations that add attributes to enhance the current visualization and recommendations that filter to sub-populations to be comparatively most useful during data exploration. Our findings pave the way for next-generation VisRec systems that are adaptive and personalized via carefully chosen, effective recommendation categories. △ Less

Submitted 14 February, 2021; originally announced February 2021.

Comments: 10 pages. This work has been submitted to IEEE TVCG. Copyright may be transferred without notice, after which this version may no longer be accessible

Whither AutoML? Understanding the Role of Automation in Machine Learning Workflows

Authors: Doris Xin, Eva Yiwei Wu, Doris Jung-Lin Lee, Niloufar Salehi, Aditya Parameswaran

Abstract: Efforts to make machine learning more widely accessible have led to a rapid increase in Auto-ML tools that aim to automate the process of training and deploying machine learning. To understand how Auto-ML tools are used in practice today, we performed a qualitative study with participants ranging from novice hobbyists to industry researchers who use Auto-ML tools. We present insights into the bene… ▽ More Efforts to make machine learning more widely accessible have led to a rapid increase in Auto-ML tools that aim to automate the process of training and deploying machine learning. To understand how Auto-ML tools are used in practice today, we performed a qualitative study with participants ranging from novice hobbyists to industry researchers who use Auto-ML tools. We present insights into the benefits and deficiencies of existing tools, as well as the respective roles of the human and automation in ML workflows. Finally, we discuss design implications for the future of Auto-ML tool development. We argue that instead of full automation being the ultimate goal of Auto-ML, designers of these tools should focus on supporting a partnership between the user and the Auto-ML tool. This means that a range of Auto-ML tools will need to be developed to support varying user goals such as simplicity, reproducibility, and reliability. △ Less

Submitted 12 January, 2021; originally announced January 2021.

Fine-Grained Lineage for Safer Notebook Interactions

Authors: Stephen Macke, Hongpu Gong, Doris Jung-Lin Lee, Andrew Head, Doris Xin, Aditya Parameswaran

Abstract: Computational notebooks have emerged as the platform of choice for data science and analytical workflows, enabling rapid iteration and exploration. By kee** intermediate program state in memory and segmenting units of execution into so-called "cells", notebooks allow users to execute their workflows interactively and enjoy particularly tight feedback. However, as cells are added, removed, reorde… ▽ More Computational notebooks have emerged as the platform of choice for data science and analytical workflows, enabling rapid iteration and exploration. By kee** intermediate program state in memory and segmenting units of execution into so-called "cells", notebooks allow users to execute their workflows interactively and enjoy particularly tight feedback. However, as cells are added, removed, reordered, and rerun, this hidden intermediate state accumulates in a way that is not necessarily correlated with the notebook's visible code, making execution behavior difficult to reason about, and leading to errors and lack of reproducibility. We present NBSafety, a custom Jupyter kernel that uses runtime tracing and static analysis to automatically manage lineage associated with cell execution and global notebook state. NBSafety detects and prevents errors that users make during unaided notebook interactions, all while preserving the flexibility of existing notebook semantics. We evaluate NBSafety's ability to prevent erroneous interactions by replaying and analyzing 666 real notebook sessions. Of these, NBSafety identified 117 sessions with potential safety errors, and in the remaining 549 sessions, the cells that NBSafety identified as resolving safety issues were more than $7\times$ more likely to be selected by users for re-execution compared to a random baseline, even though the users were not using NBSafety and were therefore not influenced by its suggestions. △ Less

Submitted 19 June, 2021; v1 submitted 13 December, 2020; originally announced December 2020.

Almost certain loss from black holes: critical comments on the black hole final state proposal

Authors: Dong ** Lee, Dong-han Yeom

Abstract: In this paper, we critically revisit the Horowitz-Maldacena proposal and its generalization by Lloyd. In the original proposal, as well as in Lloyd's generalization, Hawking radiation involves a pair of maximally entangled quantum states in which the ingoing partner state and the collapsed matter form either a maximally entangled pair or a Schmidt decomposed random state near the singularity. We p… ▽ More In this paper, we critically revisit the Horowitz-Maldacena proposal and its generalization by Lloyd. In the original proposal, as well as in Lloyd's generalization, Hawking radiation involves a pair of maximally entangled quantum states in which the ingoing partner state and the collapsed matter form either a maximally entangled pair or a Schmidt decomposed random state near the singularity. We point out that the unitary matrix introduced in Lloyd's fidelity calculation depends on initial matter states; hence, his result on the high average fidelity may not represent an almost unitary evolution. In opposition to Lloyd's conclusion, when we do not include the state-dependent unitary matrix for the fidelity computation, we analytically and numerically confirm that information will almost certainly be lost because the fidelity will approach zero as the degrees of freedom increase. △ Less

Submitted 11 August, 2021; v1 submitted 17 September, 2020; originally announced September 2020.

Comments: 12 pages, 3 figures

Journal ref: J.Korean Phys.Soc. 79, 249-255 (2021)

Before the Page time: maximum entanglements or the return of the monster?

Authors: Jeong-Myeong Bae, Dong ** Lee, Dong-han Yeom, Heeseung Zoe

Abstract: The conservation of information of evaporating black holes is a very natural consequence of unitarity which is the fundamental symmetry of quantum mechanics. In order to study the conservation of information, we need to understand the nature of the entanglement entropy. The entropy of Hawking radiation is approximately equal to the maximum of entanglement entropy if a black hole is in a state befo… ▽ More The conservation of information of evaporating black holes is a very natural consequence of unitarity which is the fundamental symmetry of quantum mechanics. In order to study the conservation of information, we need to understand the nature of the entanglement entropy. The entropy of Hawking radiation is approximately equal to the maximum of entanglement entropy if a black hole is in a state before the Page time, i.e., when the entropy of Hawking radiation is smaller than the entropy of the black hole. However, if there exists a process generating smaller entanglements rather than maximal entanglements, the entropy of Hawking radiation will become smaller than the maximum of the entanglement entropy before the Page time. If this process accumulates, even though the probability is small, the emitted radiation can eventually be distinguished from the exactly thermal state. In this paper, we provide several interpretations of this phenomenon: (1) information of the collapsed matter is emitted before the Page time, (2) there exists a firewall or a non-local effect before the Page time, or (3) the statistical entropy is greater than the areal entropy; a monster is formed. Our conclusion will help resolve the information loss paradox by providing groundwork for further research. △ Less

Submitted 1 September, 2022; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: 20 pages, 8 figures

Journal ref: Symmetry 14, 1649 (2022)

SCATTERSEARCH: Visual Querying of Scatterplot Visualizations

Authors: Doris Jung-Lin Lee, Jaewoo Kim, Renxuan Wang, Aditya Parameswaran

Abstract: Scatterplots are one of the simplest and most commonly-used visualizations for understanding quantitative, multidimensional data. However, since scatterplots only depict two attributes at a time, analysts often need to manually generate and inspect large numbers of scatterplots to make sense of large datasets with many attributes. We present a visual query system for scatterplots, SCATTERSEARCH, t… ▽ More Scatterplots are one of the simplest and most commonly-used visualizations for understanding quantitative, multidimensional data. However, since scatterplots only depict two attributes at a time, analysts often need to manually generate and inspect large numbers of scatterplots to make sense of large datasets with many attributes. We present a visual query system for scatterplots, SCATTERSEARCH, that enables users to visually search and browse through large collections of scatterplots. Users can query for other visualizations based on a region of interest or find other scatterplots that "look similar'' to a selected one. We present two demo scenarios, provide a system overview of SCATTERSEARCH, and outline future directions. △ Less

Submitted 26 July, 2019; originally announced July 2019.

You can't always sketch what you want: Understanding Sensemaking in Visual Query Systems

Authors: Doris Jung-Lin Lee, John Lee, Tarique Siddiqui, Jaewoo Kim, Karrie Karahalios, Aditya Parameswaran

Abstract: Visual query systems (VQSs) empower users to interactively search for line charts with desired visual patterns, typically specified using intuitive sketch-based interfaces. Despite decades of past work on VQSs, these efforts have not translated to adoption in practice, possibly because VQSs are largely evaluated in unrealistic lab-based settings. To remedy this gap in adoption, we collaborated wit… ▽ More Visual query systems (VQSs) empower users to interactively search for line charts with desired visual patterns, typically specified using intuitive sketch-based interfaces. Despite decades of past work on VQSs, these efforts have not translated to adoption in practice, possibly because VQSs are largely evaluated in unrealistic lab-based settings. To remedy this gap in adoption, we collaborated with experts from three diverse domains---astronomy, genetics, and material science---via a year-long user-centered design process to develop a VQS that supports their workflow and analytical needs, and evaluate how VQSs can be used in practice. Our study results reveal that ad-hoc sketch-only querying is not as commonly used as prior work suggests, since analysts are often unable to precisely express their patterns of interest. In addition, we characterize three essential sensemaking processes supported by our enhanced VQS. We discover that participants employ all three processes, but in different proportions, depending on the analytical needs in each domain. Our findings suggest that all three sensemaking processes must be integrated in order to make future VQSs useful for a wide range of analytical inquiries. △ Less

Submitted 3 October, 2019; v1 submitted 2 October, 2017; originally announced October 2017.

Comments: Accepted for presentation at IEEE VAST 2019, to be held October 20-25 in Vancouver, Canada. Paper will also be published in a special issue of IEEE Transactions on Visualization and Computer Graphics (TVCG) IEEE VIS (InfoVis/VAST/SciVis) 2019 ACM 2012 CCS - Human-centered computing, Visualization, Visualization design and evaluation methods

Compressed channeled spectropolarimetry

Authors: Dennis J. Lee, Charles F. LaCasse, Julia M. Craven

Abstract: Channeled spectropolarimetry measures the spectrally resolved Stokes parameters. A key aspect of this technique is to accurately reconstruct the Stokes parameters from a modulated measurement of the channeled spectropolarimeter. The state-of-the-art reconstruction algorithm uses the Fourier transform to extract the Stokes parameters from channels in the Fourier domain. While this approach is strai… ▽ More Channeled spectropolarimetry measures the spectrally resolved Stokes parameters. A key aspect of this technique is to accurately reconstruct the Stokes parameters from a modulated measurement of the channeled spectropolarimeter. The state-of-the-art reconstruction algorithm uses the Fourier transform to extract the Stokes parameters from channels in the Fourier domain. While this approach is straightforward, it can be sensitive to noise and channel cross-talk, and it imposes bandwidth limitations that cut off high frequency details. To overcome these drawbacks, we present a reconstruction method called compressed channeled spectropolarimetry. In our proposed framework, reconstruction in channeled spectropolarimetry is an underdetermined problem, where we take N measurements and solve for 3N unknown Stokes parameters. We formulate an optimization problem by creating a mathematical model of the channeled spectropolarimeter with inspiration from compressed sensing. We show that our approach offers greater noise robustness and reconstruction accuracy compared with the Fourier transform technique in simulations and experimental measurements. By demonstrating more accurate reconstructions, we push performance to the native resolution of the sensor, allowing more information to be recovered from a single measurement of a channeled spectropolarimeter. △ Less

Submitted 31 July, 2017; originally announced August 2017.

Comments: 21 pages

Report number: Volume 25, Issue 25

Journal ref: Optics Express, 2017

Single Shot Digital Holography Using Iterative Reconstruction with Alternating Updates of Amplitude and Phase

Authors: Dennis J. Lee, Charles A. Bouman, Andrew M. Weiner

Abstract: We present an image recovery approach to improve amplitude and phase reconstruction from single shot digital holograms, using iterative reconstruction with alternating updates. This approach allows the flexibility to apply different priors to amplitude and phase, improves phase reconstruction in image areas with low amplitudes, and does not require phase unwrap** for regularization. Phantom simu… ▽ More We present an image recovery approach to improve amplitude and phase reconstruction from single shot digital holograms, using iterative reconstruction with alternating updates. This approach allows the flexibility to apply different priors to amplitude and phase, improves phase reconstruction in image areas with low amplitudes, and does not require phase unwrap** for regularization. Phantom simulations and experimental measurements of a grating sample both demonstrate that the proposed method helps to reduce noise and resolve finer features. The improved image reconstruction from this technique will benefit the many applications of digital holography. △ Less

Submitted 2 October, 2016; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: 6 pages, 4 figures

Optical Phase Imaging Using Synthetic Aperture Illumination and Phase Retrieval

Authors: Dennis J. Lee, Andrew M. Weiner

Abstract: We perform quantitative phase imaging using phase retrieval to implement synthetic aperture imaging. Compared to digital holography, the developed technique is simpler, less expensive, and more stable. We perform quantitative phase imaging using phase retrieval to implement synthetic aperture imaging. Compared to digital holography, the developed technique is simpler, less expensive, and more stable. △ Less

Submitted 5 September, 2016; originally announced September 2016.

Comments: 2 pages, Conference on Lasers and Electro-optics: 2014, OSA Technical Digest (Optical Society of America, 2014), paper JTu4A.75

Which way up? Recognition of homologous DNA segments in parallel and antiparallel alignment

Authors: Dominic J. Lee, Aaron Wynveen, Tim Albrecht, Alexei A. Kornyshev

Abstract: Homologous gene shuffling between DNA promotes genetic diversity and is an important pathway for DNA repair. For this to occur, homologous genes need to find and recognize each other. However, despite its central role in homologous recombination, the mechanism of homology recognition is still an unsolved puzzle. While specific proteins are known to play a role at later stages of recombination, an… ▽ More Homologous gene shuffling between DNA promotes genetic diversity and is an important pathway for DNA repair. For this to occur, homologous genes need to find and recognize each other. However, despite its central role in homologous recombination, the mechanism of homology recognition is still an unsolved puzzle. While specific proteins are known to play a role at later stages of recombination, an initial coarse grained recognition step has been proposed. This relies on the sequence dependence of the DNA structural parameters, such as twist and rise, mediated by intermolecular interactions, in particular electrostatic ones. In this proposed mechanism, sequences having the same base pair text, or are homologous, have lower interaction energy than those sequences with uncorrelated base pair texts; the difference termed the recognition energy. Here, we probe how the recognition energy changes when one DNA fragment slides past another, and consider, for the first time, homologous sequences in antiparallel alignment. This dependence on sliding was termed the recognition well. We find that there is recognition well for anti-parallel, homologous DNA tracts, but only a very shallow one, so that their interaction will differ little from the interaction between two nonhomologous tracts. This fact may be utilized in single molecule experiments specially targeted to test the theory. As well as this, we test previous theoretical approximations in calculating the recognition well for parallel molecules against MC simulations, and consider more rigorously the optimization of the orientations of the fragments about their long axes. The more rigorous treatment affects the recognition energy a little, when the molecules are considered rigid. However when torsional flexibility of the DNA molecules is introduced, we find excellent agreement between analytical approximation and simulation. △ Less

Submitted 3 December, 2014; originally announced December 2014.

Comments: Paper with supplemental material attached. 41 pages in all, 4 figures in main text, 3 figures in supplmental. To be submitted to Journal

A statistical mechanical model of closed loop plectoneme supercoiling and its variational approximation

Authors: Dominic J. O'. Lee

Abstract: Presented here, is a technical manuscript that may form the basis of later published work. In it, we develop a statistical mechanical model to describe a closed loop plectoneme, applicable for when the closed loop is sufficiently supercoiled. The model divides the system up into end loops and a braided section; the end loops are assumed to contribute little to the super-coil writhe. Within the bra… ▽ More Presented here, is a technical manuscript that may form the basis of later published work. In it, we develop a statistical mechanical model to describe a closed loop plectoneme, applicable for when the closed loop is sufficiently supercoiled. The model divides the system up into end loops and a braided section; the end loops are assumed to contribute little to the super-coil writhe. Within the braided section, the model incorporates interactions that depend on the structure of the molecule; in particular, we consider those that depend on helical structure. A method for approximating the steric interactions is utilized that we had previously used in other publications. We go on to construct variational approximations for our closed loop plectoneme model in two cases. The first case is where helix dependent interactions are strong, and in the second case they are considered weak. In develo** these approximations, we approximate the Fuller-White condition by replacing, in all expressions that depend on twist, writhe with average writhe, valid when the braided section is sufficiently long. How this approximation is made and the conditions when this approximation is valid are also discussed. The approximation allows for a Legendre transformation of the free energy, which with the introduction of moment (or torque), effectively allowing for twist and average writhe to be treated independently in the transformed (Gibbs like) free energy. Next, we then show how one may compute the average writhe of the braided section. Lastly, we discuss how some of the approximations considered may be relaxed, and discuss how the resulting model free energy might be computed by MC simulation. △ Less

Submitted 8 September, 2016; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: 1 Figure, 100 pages. Revised version, typos, notation problems, and misprints corrected. An important error corrected: stretching should enter only into fluctuations of twist density (measured with respect to average length of loop) and not into the torsional elastic response

Collapse and coexistence for a molecular braid with an attractive interaction component subject to mechanical forces

Authors: Dominic J. Lee

Abstract: Dual mechanical braiding experiments provide a useful tool with which investigate the nature of interactions between rod-like molecules, for instance actin and DNA. In conditions close to molecular condensation, one would expect an appearance of a local minimum in the interaction potential between the two molecules. We investigate this situation, introducing an attractive component into the intera… ▽ More Dual mechanical braiding experiments provide a useful tool with which investigate the nature of interactions between rod-like molecules, for instance actin and DNA. In conditions close to molecular condensation, one would expect an appearance of a local minimum in the interaction potential between the two molecules. We investigate this situation, introducing an attractive component into the interaction potential, using a model developed for describing such experiments. We consider attraction that does not depend on molecular structure, as well that which depends on a DNA-like helix structure. In braiding experiments, an attractive term may lead to certain effects. A local minimum may cause molecules to collapse from a loosely braided configuration into a tight one, occurring at a critical value of the moment applied about the axis of the braid. For a fixed number of braid pitches, this may lead to coexistence between the two braiding states, tight and loose. Coexistence implies certain proportions of the braid are in each state, their relative size depending on the number of braid pitches. This manifests itself as linear dependence in numerically calculated quantities as functions of the number of braid pitches. Also, in the collapsed state, the braid radius stays roughly constant. Furthermore, if the attractive interaction is helix dependent, the left-right handed braid symmetry is broken. For a DNA like charge distribution, using the Kornyshev-Leikin interaction model, our results suggest that significant braid collapse and coexistence only occurs for left handed braids. Regardless of the interaction model, the study highlights the possible qualitative physics of braid collapse and coexistence; and the role helix specific forces might play, if important. The model could be used to connect other microscopic theories of interaction with braiding experiments. △ Less

Submitted 29 July, 2014; v1 submitted 30 June, 2014; originally announced June 2014.

Comments: Further updated and corrected for typos in discussion. Appendices and Main Text combined

Undulations in a weakly interacting mechanically generated molecular braid under tension

Authors: D. J. Lee

Abstract: We consider mechanically generated molecular braids composed of two molecules where long range interactions between them can be considered to be very weak. We describe a model that takes account of the thermal fluctuations of the braid, steric interactions between the molecules, and external mechanical forces. In this model, both sets of ends, of the two molecules, are considered to be separated b… ▽ More We consider mechanically generated molecular braids composed of two molecules where long range interactions between them can be considered to be very weak. We describe a model that takes account of the thermal fluctuations of the braid, steric interactions between the molecules, and external mechanical forces. In this model, both sets of ends, of the two molecules, are considered to be separated by a fixed distance apart much larger than the radius of the braid. One set of ends are rotated to generate a braid of a certain number of pitches (or turns), while the other set remains fixed. This model may describe the situation in which the ends of each molecule are attached to a substrate and a magnetic bead; to the latter a pulling force and rotational torque can be applied. We discuss various aspects of our model. Most importantly, an expression for the free energy is given, from which equations, determining the various geometric parameters of the braid, can be obtained. By numerically solving these equations, we give predictions from the model for the external torque needed to produce a braid with a certain number of turns per bending persistence length, as well as the end to end extension of the two molecules for a given pulling force. Other geometric parameters, as well as the lateral force required to keep the ends of the two molecules apart, are also calculated. △ Less

Submitted 20 December, 2013; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 25 pages, 9 figures. To be submitted to Journal of Physics Condensed Matter

A statistical mechanical study of mechanical dual molecular braiding

Authors: D. J. Lee

Abstract: This is an archival document; the work contains theoretical development to be used in new publications and to stimulate further development. Here, we develop a statistical mechanical treatment of a braid formed of two molecules subject to an external pulling force and an applied moment at one of the braid ends. The braids, considered here, are those whose axis is straight when thermal fluctuations… ▽ More This is an archival document; the work contains theoretical development to be used in new publications and to stimulate further development. Here, we develop a statistical mechanical treatment of a braid formed of two molecules subject to an external pulling force and an applied moment at one of the braid ends. The braids, considered here, are those whose axis is straight when thermal fluctuations are absent. Firstly, the geometry and topology of the fluctuating braid are characterized and an energy functional is built, including a generalized interaction potential between the two molecules. To obtain expressions for the free energy, we use variational approximations for two cases. In one case, the interaction potential is considered weak and steric interactions between the two molecules determine the mean squared amplitude of fluctuations in the braid radius. In the second case, where the interactions are strong, the mean squared amplitude is self consistently calculated and the effects of the intermolecular interaction on the twisting of the two molecules in the braid are considered. In the last case, two specific examples are considered. The first of these is two uniformly charged rods with a repulsive mean field electrostatic interaction, as well as a shorter ranged attractive component. This second component may model correlation forces. The second example includes possible helix specific forces in a braid formed of two DNA molecules. △ Less

Submitted 28 March, 2014; v1 submitted 5 December, 2013; originally announced December 2013.

Comments: 81 pages. Some typos corrected

The effect of undulations on Spontaneous Braid formation

Authors: D. J. Lee

Abstract: This paper extends on a recent work where it was shown that forces dependent on the helical structure may cause two DNA molecules to spontaneously braid [R. Cortini et Al, Biophys. J. 101, 875 (2011)]. Here, bending fluctuations of DNA centre lines about the braid axis are incorporated into the braiding theory. The free energy of the pair of molecules is recalculated and compared to its value with… ▽ More This paper extends on a recent work where it was shown that forces dependent on the helical structure may cause two DNA molecules to spontaneously braid [R. Cortini et Al, Biophys. J. 101, 875 (2011)]. Here, bending fluctuations of DNA centre lines about the braid axis are incorporated into the braiding theory. The free energy of the pair of molecules is recalculated and compared to its value without incorporating undulations. We find that the loss of configurational entropy due to confinement of the molecules in the braid is rather high. This contribution to the Free Energy pushes up the amount of attraction needed for spontaneous braiding due to helix dependant forces. The theory will be further developed for plectonemes and braids under mechanical forces, in later work. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: Main Text+Supplemental material. 5 figures

MSC Class: 82Dxx

Calculation of the electrostatic energy of two charged helices on rods in a generalized braid geometry

Authors: D. J. Lee

Abstract: This is a technical document that outlines a calculation of an electrostatic interaction energy between two rods, with charge helices on them, forming a braid. We deal here with screened electrostatics. A general braid geometry is considered, though to obtain local expressions for the energy the curvature of the rods is considered to be small. Further approximations are made for small tilt angle.… ▽ More This is a technical document that outlines a calculation of an electrostatic interaction energy between two rods, with charge helices on them, forming a braid. We deal here with screened electrostatics. A general braid geometry is considered, though to obtain local expressions for the energy the curvature of the rods is considered to be small. Further approximations are made for small tilt angle. This is a generalization of the calculations given in the supplemental material of [R. Cortini et Al, Biophys. J. 101 875 (2011)] for a straight symmetric braid structure, using a different method of calculation where the braid geometry does not need to be supposed a priori. △ Less

Submitted 11 February, 2013; v1 submitted 6 February, 2013; originally announced February 2013.

Comments: This document may be updated with any corrections or extensions. Feedback welecome

MSC Class: 51Pxx; 70Sxx

Determinant Approximations

Authors: Ilse C. F. Ipsen, Dean J. Lee

Abstract: A sequence of approximations for the determinant and its logarithm of a complex matrixis derived, along with relative error bounds. The determinant approximations are derived from expansions of det(X)=exp(trace(log(X))), and they apply to non-Hermitian matrices. Examples illustrate that these determinant approximations are efficient for lattice simulations of finite temperature nuclear matter, and… ▽ More A sequence of approximations for the determinant and its logarithm of a complex matrixis derived, along with relative error bounds. The determinant approximations are derived from expansions of det(X)=exp(trace(log(X))), and they apply to non-Hermitian matrices. Examples illustrate that these determinant approximations are efficient for lattice simulations of finite temperature nuclear matter, and that they use significantly less space than Gaussian elimination. The first approximation in the sequence is a block diagonal approximation; it represents an extension of Fischer's and Hadamard's inequalities to non-Hermitian matrices. In the special case of Hermitian positive-definite matrices, block diagonal approximations can be competitive with sparse inverse approximations. At last, a different representation of sparse inverse approximations is given and it is shown that their accuracy increases as more matrix elements are included. △ Less

Submitted 2 May, 2011; originally announced May 2011.

Comments: 14 pages, 6 figures, 3 tables

MSC Class: 15A15; 65F40; 15A18; 15A42; 15A90

Torsional fluctuations in columnar DNA assemblies

Authors: D. J. Lee, A. Wynveen

Abstract: In columnar assemblies of helical bio-molecules the azimuthal degrees of freedom, i.e. rotations about the long axes of molecules, may be important in determining the structure of the assemblies especially when the interaction energy between neighbouring molecules explicitly depends on their relative azimuthal orientations. For DNA this leads to a rich variety of mesophases for columnar assembli… ▽ More In columnar assemblies of helical bio-molecules the azimuthal degrees of freedom, i.e. rotations about the long axes of molecules, may be important in determining the structure of the assemblies especially when the interaction energy between neighbouring molecules explicitly depends on their relative azimuthal orientations. For DNA this leads to a rich variety of mesophases for columnar assemblies, each categorized by a specific azimuthal ordering. In a preceding paper [A. Wynveen, D. J. Lee, and A. A. Kornyshev, Eur. Phys. J. E, 16, 303 (2005)] a statistical mechanical theory was developed for the assemblies of torsionally rigid molecues in order to determine how thermal fluctuations influence the structure of these mesophases. Here we extend this theory by including torsional fluctuations of the molecules, where a DNA molecule may twist about its long axis at the cost of torsional elastic energy. Comparing this with the previous study, we find that inclusion of torsional fluctuations further increases the density at which the transition between the hexagonal structure and the predicted rhombic phase occurs and reduces the level of distortion in the rhombic phase. As X-ray diffraction may probe the 2-D lattice structure of such assemblies and provide information concerning the underlying interaction between molecules, we have also calculated correlation functions for the azimuthal ordering which are manifest in an x-ray scattering intensity profiles. △ Less

Submitted 1 November, 2005; originally announced November 2005.

Comments: 33 pages, 8 figures

Statistical mechanics of columnar DNA assemblies

Authors: A. Wynveen, D. J. Lee, A. A. Kornyshev

Abstract: Many physical systems can be mapped onto solved or "solvable" models of magnetism. In this work, we have mapped the statistical mechanics of columnar phases of ideally helical rigid DNA -- subject to the earlier found unusual, frustrated pair potential [A. A. Kornyshev and S. Leikin, J. Chem. Phys. 107, 3656 (1997)] -- onto an exotic, unknown variant of the XY model on a fixed or restructurable… ▽ More Many physical systems can be mapped onto solved or "solvable" models of magnetism. In this work, we have mapped the statistical mechanics of columnar phases of ideally helical rigid DNA -- subject to the earlier found unusual, frustrated pair potential [A. A. Kornyshev and S. Leikin, J. Chem. Phys. 107, 3656 (1997)] -- onto an exotic, unknown variant of the XY model on a fixed or restructurable lattice. Here the role of the 'spin' is played by the azimuthal orientation of the molecules. We have solved this model using a Hartree-Fock approximation, ground state calculations, and finite temperature Monte Carlo simulations. We have found peculiar spin order transitions, which may also be accompanied by positional restructuring, from hexagonal to rhombohedric lattices. Some of these have been experimentally observed in dense columnar aggregates. Note that DNA columnar phases are of great interest in biophysical research, not only because they are a useful in vitro tool for the study of DNA condensation, but also since these structures have been detected in living matter. Within the approximations made, our study provides insight into the statistical mechanics of these systems. △ Less

Submitted 13 August, 2004; originally announced August 2004.

Comments: 19 pages, 18 figures

Zone Determinant Expansions for Nuclear Lattice Simulations

Authors: Dean J. Lee, Ilse C. F. Ipsen

Abstract: We introduce a new approximation to nucleon matrix determinants that is physically motivated by chiral effective theory. The method involves breaking the lattice into spatial zones and expanding the determinant in powers of the boundary hop** parameter. We introduce a new approximation to nucleon matrix determinants that is physically motivated by chiral effective theory. The method involves breaking the lattice into spatial zones and expanding the determinant in powers of the boundary hop** parameter. △ Less

Submitted 28 November, 2003; v1 submitted 19 August, 2003; originally announced August 2003.

Comments: 20 pages, 6 figures, revtex4 (version to appear in PRC)

Journal ref: Phys.Rev. C68 (2003) 064003

Theory of spin response in underdoped cuprates as strongly fluctuating d-wave superconductors

Authors: Igor F. Herbut, Dominic J. Lee

Abstract: We study the spin dynamics in underdoped cuprates at low temperatures by considering them as quasi two dimensional d-wave superconductors (dSC) with strong phase fluctuations. An effective theory of spin degrees of freedom of nodal quasiparticles coupled to vortex defects in the phase of the superconducting order parameter is formulated. It represents the minimal extension of the QED3 theory of… ▽ More We study the spin dynamics in underdoped cuprates at low temperatures by considering them as quasi two dimensional d-wave superconductors (dSC) with strong phase fluctuations. An effective theory of spin degrees of freedom of nodal quasiparticles coupled to vortex defects in the phase of the superconducting order parameter is formulated. It represents the minimal extension of the QED3 theory of the pseudogap phase into the superconducting region. The theory predicts a single dSC-SDW transition, which may be fluctuation induced first order, without the region of coexistence between the two ordered phases. We compute the spin-spin correlator in the dSC, and explain the evolution of the spin response with frequency as observed in neutron scattering experiments on YBCO. We predict that at the frequencies much below the resonance the (weak) spin response should become narrowly peaked at four `diagonally' incommensurate wave vectors that span between the nodes of the supercopnducting order parameter. These peaks represent an inherent collective mode of the phase fluctuating dSC, the condensation of which would bring about the SDW order in the pseudogap phase. Our interpretation of the resonance suggests it should become more elusive in the superconductors with lower Tc, in accord with its' conspicuous absence in LSCO. △ Less

Submitted 22 May, 2003; originally announced May 2003.

Comments: 10 pages, 7 figures, Revtex, the extended version of cond-mat/0211418 with a more detailed discussion of spin response

Journal ref: Physical Review B, vol. 68, 104518 (2003)

Solution of mass/gap equations for strong velocity anisotropy in the QED3 theory of underdoped cuprates

Authors: Dominic J. Lee

Abstract: The low-lying excitations at the nodes of the d-wave gap in the normal state for underdoped cuprates, close to the superconducting phase transition, may be described by an effective QED3 theory. There are three characteristic velocities: v_F, v_Delta and c. For v_Delta=v_F=c, the model reduces to N-flavour QED3. Here, in the isotropic limit, for N<N_0c, a critical number of fermions, a dynamical… ▽ More The low-lying excitations at the nodes of the d-wave gap in the normal state for underdoped cuprates, close to the superconducting phase transition, may be described by an effective QED3 theory. There are three characteristic velocities: v_F, v_Delta and c. For v_Delta=v_F=c, the model reduces to N-flavour QED3. Here, in the isotropic limit, for N<N_0c, a critical number of fermions, a dynamical mass is generated which corresponds to the formation of a spin density wave. We study the effects of strong velocity anisotropy (v_F \neq v_Δ) on dynamical mass generation. Solutions are given for the dynamical mass at both N=2 and N=100, and so we show that the critical number of fermions N_c>100. However, we argue that N_c=N_0c, when we go beyond the approximations used to derive our mass gap equations. We expect, though, that our solution for N=2 is roughly correct, at low momentum, for large enough anisotropies. Implications and possible extensions to this work are also discussed. △ Less

Submitted 12 December, 2002; v1 submitted 9 December, 2002; originally announced December 2002.

Comments: 6 pages and 4 figures

Theory of phase fluctuating d-wave superconductors and the spin response in underdoped cuprates

Authors: Igor F. Herbut, Dominic J. Lee

Abstract: The minimal theory of spin of gapless quasiparticles coupled to fluctuating vortex defects in the phase of the d-wave superconducting order parameter at T=0 is studied. With the proliferation of the vortex loops the theory reduces to the previuosly studied QED3, with its concomitant spin-density-wave (chiral) instability. We find a single superconductor-insulator phase transition, which may be f… ▽ More The minimal theory of spin of gapless quasiparticles coupled to fluctuating vortex defects in the phase of the d-wave superconducting order parameter at T=0 is studied. With the proliferation of the vortex loops the theory reduces to the previuosly studied QED3, with its concomitant spin-density-wave (chiral) instability. We find a single superconductor-insulator phase transition, which may be fluctuation induced first-order, at which vortices condense and the chiral symmetry for fermions dynamically breaks. We compute the spin-spin correlation function deep in the fluctuating superconducting state, and discuss some prominent trends in the neutron scattering data on underdoped cuprates in light of our results. △ Less

Submitted 23 May, 2003; v1 submitted 19 November, 2002; originally announced November 2002.

Comments: 4 pages, Revtex; superseded by a more detailed version, see cond-mat/0305512

QED_3 theory of underdoped high temperature superconductors II: the quantum critical point

Authors: Dominic J. Lee, Igor F. Herbut

Abstract: We study the effect of gapless quasiparticles in a d-wave superconductor on the T=0 end point of the Kosterlitz-Thouless transition line in underdoped high-temperature superconductors. Starting from a lattice model that has gapless fermions coupled to 3D XY phase fluctuations of the superconducting order parameter, we propose a continuum field theory to describe the quantum phase transition betw… ▽ More We study the effect of gapless quasiparticles in a d-wave superconductor on the T=0 end point of the Kosterlitz-Thouless transition line in underdoped high-temperature superconductors. Starting from a lattice model that has gapless fermions coupled to 3D XY phase fluctuations of the superconducting order parameter, we propose a continuum field theory to describe the quantum phase transition between the d-wave superconductor and the spin-density-wave insulator. Without fermions the theory reduces to the standard Higgs scalar electrodynamics (HSE), which is known to have the critical point in the inverted XY universality class. Extending the renormalization group calculation for the HSE to include the coupling to fermions, we find that the qualitative effect of fermions is to increase the portion of the space of coupling constants where the transition is discontinuous. The critical exponents at the stable fixed point vary continuously with the number of fermion fields $N$, and we estimate the correlation length exponent (nu = 0.65) and the vortex field anomalous dimension(eta_Phi=-0.48) at the quantum critical point for the physical case N=2. The stable critical point in the theory disappears for the number of Dirac fermions N > N_c, with N_c ~ 3.4 in our approximation. We discuss the relationship between the superconducting and the chiral (SDW) transitions, and point to some interesting parallels between our theory and the Thirring model. △ Less

Submitted 8 October, 2002; originally announced October 2002.

Comments: 13 pages including figures in text

Journal ref: Physical Review B, vol. 67, 174512 (2003)

The effect of velocity anisotropy on the antiferromagnetic instability of a d-wave superconductor

Authors: Dominic J. Lee, Igor F. Herbut

Abstract: We consider the effective 2+1 dimensional electrodynamics (QED_3) of low-energy quasiparticles coupled to fluctuating vortex loops in the d-wave superconductor, with the velocity anisotropy: v_F not equal to v_Delta. This theory should be relevant to the quantum superconductor-insulator transition in underdoped cuprates. Working in the customary large-N approximation, we find that weak anisotrop… ▽ More We consider the effective 2+1 dimensional electrodynamics (QED_3) of low-energy quasiparticles coupled to fluctuating vortex loops in the d-wave superconductor, with the velocity anisotropy: v_F not equal to v_Delta. This theory should be relevant to the quantum superconductor-insulator transition in underdoped cuprates. Working in the customary large-N approximation, we find that weak anisotropy is a marginally irrelevant perturbation to the Lorentz invariant QED_3, and that the critical number N_c of Dirac fields below which the theory suffers the antiferromagnetic (chiral) instability stays the same. △ Less

Submitted 24 April, 2002; v1 submitted 7 January, 2002; originally announced January 2002.

Journal ref: Phys.Rev.B66:094512,2002

Critical-point scaling function for the specific heat of a Ginzburg-Landau superconductor

Authors: Dominic J. Lee, Ian D. Lawrie

Abstract: If the zero-field transition in high temperature superconductors such as YBa_2Cu_3O_7-δis a critical point in the universality class of the 3-dimensional XY model, then the general theory of critical phenomena predicts the existence of a critical region in which thermodynamic functions have a characteristic scaling form. We report the first attempt to calculate the universal scaling function ass… ▽ More If the zero-field transition in high temperature superconductors such as YBa_2Cu_3O_7-δis a critical point in the universality class of the 3-dimensional XY model, then the general theory of critical phenomena predicts the existence of a critical region in which thermodynamic functions have a characteristic scaling form. We report the first attempt to calculate the universal scaling function associated with the specific heat, for which experimental data have become available in recent years. Scaling behaviour is extracted from a renormalization-group analysis, and the 1/N expansion is adopted as a means of approximation. The estimated scaling function is qualitatively similar to that observed experimentally, and also to the lowest-Landau-level scaling function used by some authors to provide an alternative interpretation of the same data. Unfortunately, the 1/N expansion is not sufficiently reliable at small values of N for a quantitative fit to be feasible. △ Less

Submitted 19 July, 2001; originally announced July 2001.

Comments: 20 pages; 4 figures

Renormalization group and 1/N expansion for 3-dimensional Ginzburg-Landau-Wilson models

Authors: Ian D. Lawrie, Dominic J. Lee

Abstract: A renormalization-group scheme is developed for the 3-dimensional O($2N$)-symmetric Ginzburg-Landau-Wilson model, which is consistent with the use of a 1/N expansion as a systematic method of approximation. It is motivated by an application to the critical properties of superconductors, reported in a separate paper. Within this scheme, the infrared stable fixed point controlling critical behavio… ▽ More A renormalization-group scheme is developed for the 3-dimensional O($2N$)-symmetric Ginzburg-Landau-Wilson model, which is consistent with the use of a 1/N expansion as a systematic method of approximation. It is motivated by an application to the critical properties of superconductors, reported in a separate paper. Within this scheme, the infrared stable fixed point controlling critical behaviour appears at $z=0$, where $z=λ^{-1}$ is the inverse of the quartic coupling constant, and an efficient renormalization procedure consists in the minimal subtraction of ultraviolet divergences at $z=0$. This scheme is implemented at next-to-leading order, and the standard results for critical exponents calculated by other means are recovered. An apparently novel result of this non-perturbative method of approximation is that corrections to scaling (or confluent singularities) do not, as in perturbative analyses, appear as simple power series in the variable $y=zt^{ων}$. At least in three dimensions, the power series are modified by powers of $\ln y$. △ Less

Submitted 19 July, 2001; originally announced July 2001.

Comments: 20 pages; 5 figures

On Coherency-Induced Ordering in Substitutional Alloys: I. Analytical

Authors: Dean J. Lee, Jong K. Lee

Abstract: As pointed out by Linus Pauling in his classic work on the relationship between crystal packing and ionic radius ratio, a difference in atomic size can be accommodated more readily by an ordered structure than by a disordered one. Because of mathematical complexity, however, very few works have been reported for substitutional alloys. In this work, coherency-induced ordering in substitutional al… ▽ More As pointed out by Linus Pauling in his classic work on the relationship between crystal packing and ionic radius ratio, a difference in atomic size can be accommodated more readily by an ordered structure than by a disordered one. Because of mathematical complexity, however, very few works have been reported for substitutional alloys. In this work, coherency-induced ordering in substitutional alloys is examined through a simple model based on a two-dimensional square lattice. Within the assumption of nearest neighbor interactions on a square lattice, both modified Bragg-Williams and Onsager approaches show that coherency strain arising due to atomic mismatch can exert profound effects on order-disorder transitions in substitutional alloys. If the alloy system is elastically homogeneous and Vegard's law is obeyed, the order-disorder transition is of a second-order kinetics. If the atomic mismatches significantly deviate from Vegard's law, however, the transition may become a first-order kinetics, as the configurational free energy surface is composed of double wells. At the transition of a first-order kinetics, the lattice parameter can either increase or decrease upon heating, i.e., the lattice parameter of an ordered state can be less or greater than that of a disordered state. The results of Onsager's approach are independently confirmed with those of the Discrete Atom Method, a Monte Carlo technique predicated upon the combination of statistical mechanics and linear elasticity. △ Less

Submitted 23 November, 1999; v1 submitted 17 November, 1999; originally announced November 1999.

Comments: 18 pages, PDF

Journal ref: Acta Materialia, volume 48, pp. 3847-3855, 2000

Finite Temperature Time-Dependent Effective Theory For The Goldstone Field In A BCS-Type Superfluid

Authors: Ian J. R. Aitchison, Dominic J. Lee, Georgios Metikas

Abstract: We extend to finite temperature the time-dependent effective theory for the Goldstone field (the phase of the pair field) $ θ$ which is appropriate for a superfluid containing one species of fermions with s-wave interactions, described by the BCS Lagrangian. We show that, when Landau dam** is neglected, the effective theory can be written as a local time-dependent non-linear Schrödinger Lagran… ▽ More We extend to finite temperature the time-dependent effective theory for the Goldstone field (the phase of the pair field) $ θ$ which is appropriate for a superfluid containing one species of fermions with s-wave interactions, described by the BCS Lagrangian. We show that, when Landau dam** is neglected, the effective theory can be written as a local time-dependent non-linear Schrödinger Lagrangian (TDNLSL) which preserves the Galilean invariance of the zero temperature effective theory and is identified with the superfluid component. We then calculate the relevant Landau terms which are non-local and which destroy the Galilean invariance. We show that the retarded $θ$-propagator (in momentum space) can be well represented by two poles in the lower-half frequency plane, describing dam** with a predicted temperature, frequency and momentum dependence. It is argued that the real parts of the Landau terms can be approximately interpreted as contributing to the normal fluid component. △ Less

Submitted 10 October, 1999; v1 submitted 1 May, 1999; originally announced May 1999.

Comments: 25 pages, 5 figures, references added, Introduction rewritten

Report number: OUTP-98-82P

The D-Gauge: a solution to the i-r problem for fermion mass generation in QED3 in the Matsubara formalism

Authors: D. J. Lee

Abstract: A serious problem with the Schwinger-Dyson approach to dynamical mass generation in QED3 at finite temperature is that the contribution from the transverse part of the photon propagator, in the Landau gauge, leads to infrared divergences in both the mass function and the wavefunction renormalisation. We show how, by using a simple choice of vertex anatz and a choice of non-local gauge (the `D-ga… ▽ More A serious problem with the Schwinger-Dyson approach to dynamical mass generation in QED3 at finite temperature is that the contribution from the transverse part of the photon propagator, in the Landau gauge, leads to infrared divergences in both the mass function and the wavefunction renormalisation. We show how, by using a simple choice of vertex anatz and a choice of non-local gauge (the `D-gauge') both quantities can be made finite. We formulate an equation for the physical mass M. and show that it reduces to the coresponding equation obtained in the constant physical mass approximation M=M(0,pi T) (which is finite). There for at finite temperature, we are able to justify a `constant' mass approximation for M, and show that the value of r (the ratio of twice the physical mass at zero temperature to the critical temperature) remains close to the value obtained in previous calculations with retardation. △ Less

Submitted 3 June, 1998; originally announced June 1998.

Comments: 19 pages including 3 diagrams

Report number: OUTP-98-46-P

Effect of retardation on dynamical mass generation in two-dimensional QED at finite temperature

Authors: D. J. Lee

Abstract: The effect of retardation on dynamical mass generation in is studied, in the imaginary time formalism. The photon porarization tensor is evaluated to leading order in 1/N (N is the number of flavours), and simple closed form expressions are found for the fully retarded longitudinal and transverse propagators, which have the correct limit when T goes to zero. The resulting S-D equation for the fe… ▽ More The effect of retardation on dynamical mass generation in is studied, in the imaginary time formalism. The photon porarization tensor is evaluated to leading order in 1/N (N is the number of flavours), and simple closed form expressions are found for the fully retarded longitudinal and transverse propagators, which have the correct limit when T goes to zero. The resulting S-D equation for the fermion mass (at order 1/N) has an infrared divergence associated with the contribution of the transverse photon propagator; only the longitudinal contribution is retained, as in earlier treatments. For solutions of constant mass, it is found that the retardation reduces the value of the parameter r (the ratio of twice the mass to the critical temperature) from about 10 to about 6. The gap equation is then solved allowing for the mass to depend on frequency. It was found that the r value remained close to 6. Possibilities for including the transverse propagator are discussed. △ Less

Submitted 3 June, 1998; v1 submitted 13 March, 1998; originally announced March 1998.

Comments: 26 pages 8 figures

Report number: OUTP-97-56-P

Journal ref: Phys.Rev. D58 (1998) 105012