-
CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay
Authors:
Natasha Butt,
Blazej Manczak,
Auke Wiggers,
Corrado Rainone,
David W. Zhang,
Michaël Defferrard,
Taco Cohen
Abstract:
Large language models are increasingly solving tasks that are commonly believed to require human-level reasoning ability. However, these models still perform very poorly on benchmarks of general intelligence such as the Abstraction and Reasoning Corpus (ARC). In this paper, we approach ARC as a programming-by-examples problem, and introduce a novel and scalable method for language model self-impro…
▽ More
Large language models are increasingly solving tasks that are commonly believed to require human-level reasoning ability. However, these models still perform very poorly on benchmarks of general intelligence such as the Abstraction and Reasoning Corpus (ARC). In this paper, we approach ARC as a programming-by-examples problem, and introduce a novel and scalable method for language model self-improvement called Code Iteration (CodeIt). Our method iterates between 1) program sampling and hindsight relabeling, and 2) learning from prioritized experience replay. By relabeling the goal of an episode (i.e., the target program output given input) to the realized output produced by the sampled program, our method effectively deals with the extreme sparsity of rewards in program synthesis. Applying CodeIt to the ARC dataset, we demonstrate that prioritized hindsight replay, along with pre-training and data-augmentation, leads to successful inter-task generalization. CodeIt is the first neuro-symbolic approach that scales to the full ARC evaluation dataset. Our method solves 15% of ARC evaluation tasks, achieving state-of-the-art performance and outperforming existing neural and symbolic baselines. Our code is available at https://github.com/Qualcomm-AI-research/codeit .
△ Less
Submitted 1 July, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Deriving and Evaluating a Detailed Taxonomy of Game Bugs
Authors:
Nigar Azhar Butt,
Salman Sherin,
Muhammad Uzair Khan,
Atif Aftab Jilani,
Muhammad Zohaib Iqbal
Abstract:
Game development has become an extremely competitive multi-billion-dollar industry. Many games fail even after years of development efforts because of game-breaking bugs that disrupt the game-play and ruin the player experience. The goal of this work is to provide a bug taxonomy for games that will help game developers in develo** bug-resistant games, game testers in designing and executing faul…
▽ More
Game development has become an extremely competitive multi-billion-dollar industry. Many games fail even after years of development efforts because of game-breaking bugs that disrupt the game-play and ruin the player experience. The goal of this work is to provide a bug taxonomy for games that will help game developers in develo** bug-resistant games, game testers in designing and executing fault-finding test cases, and researchers in evaluating game testing approaches. For this purpose, we performed a Multivocal Literature Review (MLR) by analyzing 436 sources, out of which 189 (78 academic and 111 grey) sources reporting bugs encountered in the game development industry were selected for analysis. We validate the proposed taxonomy by conducting a survey involving different game industry practitioners. The MLR allowed us to finalize a detailed taxonomy of 63 game bug categories in end-user perspective including eight first-tier categories: Gaming Balance, Implementation Response, Network, Sound, Temporal, Unexpected Crash, Navigational, and Non-Temporal faults. We observed that manual approaches towards game testing are still widely used. Only one of the approaches targets sound bugs whereas game balancing and how to incorporate machine learning in game testing is trending in the recent literature. Most of the game testing techniques are specialized and dependent on specific platforms.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Fast Partitioning of Pauli Strings into Commuting Families for Expectation Value Measurements of Dense Operators
Authors:
Nouman Butt,
Andrew Lytle,
Ben Reggio,
Patrick Draper
Abstract:
The cost of measuring quantum expectation values of an operator can be reduced by grou** the Pauli string ($SU(2)$ tensor product) decomposition of the operator into maximally commuting sets. We detail an algorithm, presented in [1], to partition the full set of $m$-qubit Pauli strings into the minimal number of commuting families, and benchmark the performance with dense Hamiltonians on IBM har…
▽ More
The cost of measuring quantum expectation values of an operator can be reduced by grou** the Pauli string ($SU(2)$ tensor product) decomposition of the operator into maximally commuting sets. We detail an algorithm, presented in [1], to partition the full set of $m$-qubit Pauli strings into the minimal number of commuting families, and benchmark the performance with dense Hamiltonians on IBM hardware. Here we also compare how our method scales compared to graph-theoretic techniques for the generally commuting case.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
How does Module Tracking for Agrivoltaics Differ from Standard Photovoltaics? Performance & Technoeconomic Implications
Authors:
Habeel Alam,
Nauman Zafar Butt
Abstract:
Spatial-temporal sharing of sunlight between solar modules and crops needs to be designed optimally in agrivoltaics (AV). For AV with fixed module tilts, the sunlight balance is governed through the spatial density and elevation of the modules which cannot be manipulated after the installation. For flexible food-energy balancing across various seasons and crop rotations, modules with single or dua…
▽ More
Spatial-temporal sharing of sunlight between solar modules and crops needs to be designed optimally in agrivoltaics (AV). For AV with fixed module tilts, the sunlight balance is governed through the spatial density and elevation of the modules which cannot be manipulated after the installation. For flexible food-energy balancing across various seasons and crop rotations, modules with single or dual axis mobility can be best suitable. AV tracking must be geared towards ensuring a desired sunlight balance that may depend on many factors including the crop type, module array density, socio-economic factors, and local policies. Here, we explore single axis customized tracking (CT) for the mobile AV using a techno-economic model that incorporates design parameters including crop's shade sensitivity, module to land area ratio, and module types, as well as the economic parameters including soft and hardware costs for modules, feed-in-tariff, and crop income. CT is implemented through standard tracking that tracks the sun around noon hours and its orthogonal, i.e., anti-tracking around sunrise and sunset. We evaluate the optimal CT schemes that can maximize economic performance while ensuring the desired food-energy yield thresholds. Economic feasibility for AV is evaluated in terms of the ratio (ppr) of the price for the module system customizations to the performance benefit due to the crop income. A case study for Punjab, Pakistan shows that CT schemes for moderate shade sensitive crops and typically dense AV module arrays can require 30 to 40 percent increase in the reference FIT to ensure the food-energy yield threshold of 80 percent relative to standalone food-energy farms for high and low value crops, respectively. CT schemes for a lower crop yield threshold of 70 percent require the corresponding increase in FIT to 10 to 20 percent, respectively.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Fast Partitioning of Pauli Strings into Commuting Families for Optimal Expectation Value Measurements of Dense Operators
Authors:
Ben Reggio,
Nouman Butt,
Andrew Lytle,
Patrick Draper
Abstract:
The Pauli strings appearing in the decomposition of an operator can be can be grouped into commuting families, reducing the number of quantum circuits needed to measure the expectation value of the operator. We detail an algorithm to completely partition the full set of Pauli strings acting on any number of qubits into the minimal number of sets of commuting families, and we provide python code to…
▽ More
The Pauli strings appearing in the decomposition of an operator can be can be grouped into commuting families, reducing the number of quantum circuits needed to measure the expectation value of the operator. We detail an algorithm to completely partition the full set of Pauli strings acting on any number of qubits into the minimal number of sets of commuting families, and we provide python code to perform the partitioning. The partitioning method scales linearly with the size of the set of Pauli strings and it naturally provides a fast method of diagonalizing the commuting families with quantum gates. We provide a package that integrates the partitioning into Qiskit, and use this to benchmark the algorithm with dense Hamiltonians, such as those that arise in matrix quantum mechanics models, on IBM hardware. We demonstrate computational speedups close to the theoretical limit of $(3/2)^m$ relative to qubit-wise commuting grou**s, for $m=2,\dotsc,6$ qubits.
△ Less
Submitted 7 June, 2023; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Simulating the Femtouniverse on a Quantum Computer
Authors:
Nouman Butt,
Patrick Draper,
Jiayu Shen
Abstract:
We compute the low-lying spectrum of 4D SU(2) Yang-Mills in a finite volume using quantum simulations. In contrast to small-volume lattice truncations of the Hilbert space, we employ toroidal dimensional reduction to the ``femtouniverse" matrix quantum mechanics model. In this limit the theory is equivalent to the quantum mechanics of three interacting particles moving inside a 3-ball with certain…
▽ More
We compute the low-lying spectrum of 4D SU(2) Yang-Mills in a finite volume using quantum simulations. In contrast to small-volume lattice truncations of the Hilbert space, we employ toroidal dimensional reduction to the ``femtouniverse" matrix quantum mechanics model. In this limit the theory is equivalent to the quantum mechanics of three interacting particles moving inside a 3-ball with certain boundary conditions. We use the variational quantum eigensolver and quantum subspace expansion techniques to compute the string tension to glueball mass ratio near the small/large-volume transition point, finding qualitatively good agreement with large volume Euclidean lattice simulations.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Techno Economic Modeling for Agrivoltaics: Can Agrivoltaics be more profitable than Ground mounted PV?
Authors:
Habeel Alam,
Muhammad Ashraful Alam,
Nauman Zafar Butt
Abstract:
Agrivoltaics (AV) is a dual land-use approach to collocate solar energy generation with agriculture for preserving the terrestrial ecosystem and enabling food-energy-water synergies. Here, we present a systematic approach to model the economic performance of AV relative to standalone ground-mounted PV (GMPV) and explore how the module design configuration can affect the dual food-energy economic p…
▽ More
Agrivoltaics (AV) is a dual land-use approach to collocate solar energy generation with agriculture for preserving the terrestrial ecosystem and enabling food-energy-water synergies. Here, we present a systematic approach to model the economic performance of AV relative to standalone ground-mounted PV (GMPV) and explore how the module design configuration can affect the dual food-energy economic performance. A remarkably simple criterion for economic feasibility is quantified that relates the land preservation cost to dual food-energy profit. We explore case studies including both high and low value crops under fixed tilt bifacial modules oriented either along the conventional North/South (N/S) facings or vertical East/West (E/W) facings. For each module configuration, the array density is varied to explore an economically feasible design space relative to GMPV for a range of module to land cost ratio (M_L) - a location-specific indicator relating the module technology (hardware and installation) costs to the soft (land acquisition, tax, overheads, etc.) costs. To offset a typically higher AV module cost needed to preserve the cropland, both E/W and N/S orientated modules favor high value crops, reduced (<60%) module density, and higher M_L (>25). In contrast, higher module density and an increased feed-in-tariff (FIT) relative to GMPV are desirable at lower M_L. The economic trends vary sharply for M_L< 10 but tend to saturate for M_L> 20. For low value crops, ~15% additional FIT can enable economic equivalence to GMPV at standard module density. The proposed modeling framework can provide a valuable tool for AV stakeholders to assess, predict, and optimize the techno-economic design for AV
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Moving from continuous to discrete symmetry in the 2D XY model
Authors:
Nouman Butt,
Xiao-Yong **,
James C Osborn,
Zain H Saleem
Abstract:
We study the effects of discretization on the U(1) symmetric XY model in two dimensions using the Higher Order Tensor Renormalization Group (HOTRG) approach. Regarding the $Z_N$ symmetric clock models as specific discretizations of the XY model, we compare those discretizations to ones from truncations of the tensor network formulation of the XY model based on a character expansion, and focus on t…
▽ More
We study the effects of discretization on the U(1) symmetric XY model in two dimensions using the Higher Order Tensor Renormalization Group (HOTRG) approach. Regarding the $Z_N$ symmetric clock models as specific discretizations of the XY model, we compare those discretizations to ones from truncations of the tensor network formulation of the XY model based on a character expansion, and focus on the differences in their phase structure at low temperatures. We also divide the tensor network formulations into core and interaction tensors and show that the core tensor has the dominant influence on the phase structure. Lastly, we examine a perturbed form of the XY model that continuously interpolates between the XY and clock models. We examine the behavior of the additional phase transition caused by the perturbation as the magnitude of perturbation is taken to zero. We find that this additional transition has a non-zero critical temperature as the perturbation vanishes, suggesting that even small perturbations can have a significant effect on the phase structure of the theory.
△ Less
Submitted 18 August, 2023; v1 submitted 7 May, 2022;
originally announced May 2022.
-
Symmetric Mass Generation in Lattice Gauge Theory
Authors:
Nouman Butt,
Simon Catterall,
Goksu Can Toga
Abstract:
We construct a four dimensional lattice gauge theory in which fermions acquire mass without breaking symmetries as a result of gauge interactions. Our model consists of reduced staggered fermions transforming in the bifundamental representation of a $SU(2)\times SU(2)$ gauge symmetry. This fermion representation ensures that single site bilinear mass terms vanish identically. A symmetric four ferm…
▽ More
We construct a four dimensional lattice gauge theory in which fermions acquire mass without breaking symmetries as a result of gauge interactions. Our model consists of reduced staggered fermions transforming in the bifundamental representation of a $SU(2)\times SU(2)$ gauge symmetry. This fermion representation ensures that single site bilinear mass terms vanish identically. A symmetric four fermion operator is however allowed and we show numerical results that show that a condensate of this operator develops in the vacuum.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
Crop-specific Optimization of Bifacial PV Arrays for Agrivoltaic Food-Energy Production: The Light-Productivity-Factor Approach
Authors:
Muhammad Hussnain Riaz,
Hassan Imran,
Habeel Alam,
Muhammad Ashraful Alam,
Nauman Zafar Butt
Abstract:
Agrivoltaics (AV) is an emerging technology having symbiotic benefits for food-energy-water needs of the growing world population and an inherent resilience against climate vulnerabilities. An agrivoltaic system must optimize sunlight-sharing between the solar panels and crops to maximize the food-energy yields, subject to appropriate constraints. Given the emerging diversity of monofacial and bif…
▽ More
Agrivoltaics (AV) is an emerging technology having symbiotic benefits for food-energy-water needs of the growing world population and an inherent resilience against climate vulnerabilities. An agrivoltaic system must optimize sunlight-sharing between the solar panels and crops to maximize the food-energy yields, subject to appropriate constraints. Given the emerging diversity of monofacial and bifacial farms, the lack of a standardized crop-specific metric (to evaluate the efficacy of the irradiance sharing) has made it difficult to optimize and assess the performance of agrivoltaic systems. Here we introduce a new metric, light productivity factor (LPF), that evaluates the effectiveness of irradiance sharing for a given crop type and PV array design. The metric allows us to identify optimal design parameters including the spatial PV array density, panel orientation, and single axis tracking schemes specific to the PAR needs of the crop. By definition, LPF equals 1 for PV-only or crop-only systems. The AV systems enhances LPF between 1 and 2 depending on the shade sensitivity of the crop, PV array configuration, and the season. While traditional fixed-tilt systems increase LPF significantly above 1, we find LPF is maximized at 2 for shade-tolerant crops with a solar farm based on single axis sun tracking scheme. Among the fixed tilt systems, East-West faced bifacial vertical solar farms is particularly promising because it produces smallest variability in the seasonal yield for shade sensitive crops, while providing LPF comparable to the standard North-South faced solar farms. Additional benefits include reduced soiling and ease of movement of large-scale combine-harvester and other farming equipment.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Anomalies and symmetric mass generation for Kaehler-Dirac fermions
Authors:
Nouman Butt,
Simon Catterall,
Arnab Pradhan,
Goksu Can Toga
Abstract:
We show that massless Kaehler-Dirac (KD) fermions exhibit a mixed gravitational anomaly involving an exact $U(1)$ symmetry which is unique to KD fields. Under this $U(1)$ symmetry the partition function transforms by a phase depending only on the Euler character of the background space. Compactifying flat space to a sphere we learn that the anomaly vanishes in odd dimensions but breaks the symmetr…
▽ More
We show that massless Kaehler-Dirac (KD) fermions exhibit a mixed gravitational anomaly involving an exact $U(1)$ symmetry which is unique to KD fields. Under this $U(1)$ symmetry the partition function transforms by a phase depending only on the Euler character of the background space. Compactifying flat space to a sphere we learn that the anomaly vanishes in odd dimensions but breaks the symmetry down to $Z_4$ in even dimensions. This $Z_4$ is sufficient to prohibit bilinear terms from arising in the fermionic effective action. Four fermion terms are allowed but require multiples of two flavors of KD field. In four dimensional flat space each KD field can be decomposed into four Dirac spinors and hence these anomaly constraints ensure that eight Dirac fermions or, for real representations, sixteen Majorana fermions are needed for a consistent interacting theory. These constraints on fermion number agree with known results for topological insulators and recent work on discrete anomalies rooted in the Dai-Freed theorem. Our work suggests that KD fermions may offer an independent path to understanding these constraints. Finally we point out that this anomaly survives intact under discretization and hence is relevant in understanding recent numerical results on lattice models possessing massive symmetric phases.
△ Less
Submitted 7 August, 2022; v1 submitted 4 January, 2021;
originally announced January 2021.
-
Optimum design of tracking bifacial solar farms -- A comprehensive global analysis of next-generation PV
Authors:
M. Tahir Patel,
M. Sojib Ahmed,
Hassan Imran,
Nauman Z. Butt,
M. Ryyan Khan,
Muhammad A. Alam
Abstract:
The bifacial gain of East-West vertical and South-facing optimally-tilted bifacial farms are well established. One wonders if bifacial gain (and the associated LCOE) may be further improved by tracking the sun. Tracking bifacial PV has advantages of improved temperature sensitivity, enhanced diffuse and albedo light collection, flattened energy-output, reduced soiling, etc. Monofacial tracking alr…
▽ More
The bifacial gain of East-West vertical and South-facing optimally-tilted bifacial farms are well established. One wonders if bifacial gain (and the associated LCOE) may be further improved by tracking the sun. Tracking bifacial PV has advantages of improved temperature sensitivity, enhanced diffuse and albedo light collection, flattened energy-output, reduced soiling, etc. Monofacial tracking already provides many of these advantages, therefore the relative merits of bifacial tracking are not obvious. In this paper, we use a detailed illumination and temperature-dependent bifacial solar farm model to show that bifacial tracking PV delivers up to 45% energy gain when compared to fixed-tilt bifacial PV near the equator, and ~10% bifacial energy gain over tracking monofacial farm with an albedo of 0.5. An optimum pitch further improves the gain of a tracking bifacial farm. Our results will broaden the scope and understanding of bifacial technology by demonstrating global trends in energy gain for worldwide deployment.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Off-resonant coherent electron transport over three nanometers in multi-heme protein bioelectronic junctions
Authors:
Zdenek Futera,
Ichiro Ide,
Ben Kayser,
Kavita Garg,
Xiuyun Jiang,
Jessica H. van Wonderen,
Julea N. Butt,
Hisao Ishii,
Israel Pecht,
Mordechai Sheves,
David Cahen,
Jochen Blumberger
Abstract:
Multi-heme cytochromes (MHC) are fascinating proteins used by bacterial organisms to shuttle electrons within and between their cells. When placed in a solid state electronic junction, they support temperature-independent currents over several nanometers that are three orders of magnitude higher compared to other redox proteins of comparable size. To gain microscopic insight into their astonishing…
▽ More
Multi-heme cytochromes (MHC) are fascinating proteins used by bacterial organisms to shuttle electrons within and between their cells. When placed in a solid state electronic junction, they support temperature-independent currents over several nanometers that are three orders of magnitude higher compared to other redox proteins of comparable size. To gain microscopic insight into their astonishingly high conductivities, we present herein the first current-voltage calculations of its kind, for a MHC sandwiched between two Au(111) electrodes, complemented by photo-emission spectroscopy experiments. We find that conduction proceeds via off-resonant coherent tunneling mediated by a large number of protein valence-band orbitals that are strongly delocalized over heme and protein residues, effectively "gating" the current between the two electrodes. This picture is profoundly different from the dominant electron hop** mechanism supported by the same protein in aqueous solution. Our results imply that current output in MHC junctions could be even further increased in the resonant regime, e.g. by application of a gate voltage, making these proteins extremely interesting for next-generation bionanoelectronic devices.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Exotic Phases of a Higgs-Yukawa Model with Reduced Staggered Fermions
Authors:
Simon Catterall,
Nouman Butt,
David Schaich
Abstract:
We investigate the phase structure of a four dimensional SO(4) invariant lattice Higgs-Yukawa model comprising four reduced staggered fermions interacting with a real scalar field. The fermions belong to the fundamental representation of the symmetry group while the three scalar field components transform in the self-dual representation of SO(4). We explore the phase diagram and find evidence of a…
▽ More
We investigate the phase structure of a four dimensional SO(4) invariant lattice Higgs-Yukawa model comprising four reduced staggered fermions interacting with a real scalar field. The fermions belong to the fundamental representation of the symmetry group while the three scalar field components transform in the self-dual representation of SO(4). We explore the phase diagram and find evidence of a continuous transition between a phase where the fermions are massless to one where the fermions acquire mass. This transition is not associated with symmetry breaking and there is no obvious local order parameter.
△ Less
Submitted 31 January, 2020;
originally announced February 2020.
-
Tensor network formulation of the massless Schwinger model
Authors:
Nouman Butt,
Simon Catterall,
Yannick Meurice,
Judah Unmuth-Yockey
Abstract:
We construct a tensor network representation of the partition function for the massless Schwinger model on a two dimensional lattice using staggered fermions. The tensor network representation allows us to include a topological term. Using a particular implementation of the tensor renormalization group (HOTRG) we calculate the phase diagram of the theory. For a range of values of the coupling to t…
▽ More
We construct a tensor network representation of the partition function for the massless Schwinger model on a two dimensional lattice using staggered fermions. The tensor network representation allows us to include a topological term. Using a particular implementation of the tensor renormalization group (HOTRG) we calculate the phase diagram of the theory. For a range of values of the coupling to the topological term $θ$ and the gauge coupling $β$ we compare with results from hybrid Monte Carlo when possible and find good agreement.
△ Less
Submitted 20 November, 2019; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Module Technology for Agrivoltaics: Vertical Bifacial vs. Tilted Monofacial Farms
Authors:
Muhammad Hussnain Riaz,
Rehan Younas,
Hassan Imran,
Muhammad Ashraful Alam,
Nauman Zafar Butt
Abstract:
Agrivoltaics is an innovative approach in which solar photovoltaic (PV) energy generation is collocated with agricultural production to enable food-energy-water synergies and landscape ecological conservation. This dual-use requirement leads to unique co-optimization challenges (e.g. shading, soiling, spacing) that make module technology and farm topology choices distinctly different from traditio…
▽ More
Agrivoltaics is an innovative approach in which solar photovoltaic (PV) energy generation is collocated with agricultural production to enable food-energy-water synergies and landscape ecological conservation. This dual-use requirement leads to unique co-optimization challenges (e.g. shading, soiling, spacing) that make module technology and farm topology choices distinctly different from traditional solar farms. Here we compare the performance of the traditional optimally-titled North/South (N/S) faced monofacial farms with a potential alternative based on vertical East/West (E/W)-faced bifacial farms. Remarkably, the vertical farm produces essentially the same energy output and photosynthetically active radiation (PAR) compared to traditional farms as long as the PV array density is reduced to half or lower relative to that for the standard ground-mounted PV farms. Our results explain the relative merits of the traditional mono facial vs. vertical bifacial farms as a function of array density, acceptable PAR-deficit, and energy production. The combined PAR/Energy yields for the vertical bifacial farm may not always be superior, it could still be an attractive choice for agrivoltaics due to its distinct advantages such as minimum land coverage, least hindrance to the farm machinery and rainfall, inherent resilience to PV soiling, easier cleaning and cost advantages due to potentially reduced elevation.
△ Less
Submitted 23 August, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Design and Analysis of Microfluidic Cell Counter using Spice Simulation
Authors:
Sheikh Muhammad Asher Iqbal,
Nauman Zaffar Butt
Abstract:
Microfluidic cytometers based on coulter principle have recently shown a great potential for point of care biosensors for medical diagnostics. In this study, the design of coulter based microfluidic cytometer is investigated by using electrical circuit simulations. We explore the effects of physical dimensions of the microelectrodes, the measurement volume, size/morphology of the targeted cells, e…
▽ More
Microfluidic cytometers based on coulter principle have recently shown a great potential for point of care biosensors for medical diagnostics. In this study, the design of coulter based microfluidic cytometer is investigated by using electrical circuit simulations. We explore the effects of physical dimensions of the microelectrodes, the measurement volume, size/morphology of the targeted cells, electrical properties of the reagents in the measurement volume, and, the impedance of external readout circuit, on the sensitivity of the sensor. We show that the effect of microelectrode's surface area and the dielectric properties of the suspension medium should be carefully considered when characterizing the output response of the sensor. In particular, the area of microelectrodes can have significant effect on cells electrical opacity( the ratio of the cell impedance at high to low frequency) which is commonly used to distinguish between sub-population of the target cells( e.g. lymphocytes vs monocytes when counting white blood cells).Moreover, we highlight that the opacity response vs frequency can significantly vary depending upon whether the absolute cell impedance or the differential output impedance is used in the calculation. These insights can provide valuable guidelines for the design and characterization of coulter based microfluidic sensors.
△ Less
Submitted 27 October, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
Four fermion condensates in $SU(2)$ Yang-Mills-Higgs theory on a lattice
Authors:
Nouman Butt,
Simon Catterall
Abstract:
We study a model of four reduced staggered fields transforming in the bifundamental representation of a $SU(2)\times SU(2)$ symmetry group where just one of the SU(2) factors is gauged. This field content and symmetries are similar to a Higgs-Yukawa model that has been studied recently. The key observation in the latter work is that fermions acquire masses at strong coupling via the formation of a…
▽ More
We study a model of four reduced staggered fields transforming in the bifundamental representation of a $SU(2)\times SU(2)$ symmetry group where just one of the SU(2) factors is gauged. This field content and symmetries are similar to a Higgs-Yukawa model that has been studied recently. The key observation in the latter work is that fermions acquire masses at strong coupling via the formation of a symmetric four fermion condensate in contrast to the more usual symmetry breaking bilinear condensate seen in eg. NJL models. The current work attempts to see whether this structure survives when the four fermi interactions are replaced by gauge interactions and to explore the resulting phase diagram.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
$SO(4)$ invariant Higgs-Yukawa model with reduced staggered fermions
Authors:
Nouman Butt,
Simon Catterall,
David Schaich
Abstract:
We explore the phase structure of a four dimensional $SO(4)$ invariant lattice Higgs-Yukawa model comprising four reduced staggered fermions interacting with a real scalar field. The fermions belong to the fundamental representation of the symmetry group while the three scalar field components transform in the self-dual representation of $SO(4)$. The model is a generalization of a four fermion sys…
▽ More
We explore the phase structure of a four dimensional $SO(4)$ invariant lattice Higgs-Yukawa model comprising four reduced staggered fermions interacting with a real scalar field. The fermions belong to the fundamental representation of the symmetry group while the three scalar field components transform in the self-dual representation of $SO(4)$. The model is a generalization of a four fermion system with the same symmetries that has received recent attention because of its unusual phase structure comprising massless and massive symmetric phases separated by a very narrow phase in which a small bilinear condensate breaking $SO(4)$ symmetry is present. The generalization described in this paper simply consists of the addition of a scalar kinetic term. We find a region of the enlarged phase diagram which shows no sign of a fermion condensate or symmetry breaking but in which there is nevertheless evidence of a diverging correlation length. Our results in this region are consistent with the presence of a single continuous phase transition separating the massless and massive symmetric phases observed in the earlier work.
△ Less
Submitted 14 October, 2018;
originally announced October 2018.
-
Simulations of $ SU(2) $ lattice gauge theory with dynamical reduced staggered fermions
Authors:
Simon Catterall,
Nouman Butt
Abstract:
We simulate $ SU(2) $ lattice gauge theory using dynamical reduced staggered fermions. The latter lead to two rather than four Dirac fermions in the continuum limit. We review the derivation and properties of reduced staggered fermions and show that in the case of fields in the fundamental representation of $SU(2)$ the theory does not exhibit a sign problem and can be simulated using the RHMC algo…
▽ More
We simulate $ SU(2) $ lattice gauge theory using dynamical reduced staggered fermions. The latter lead to two rather than four Dirac fermions in the continuum limit. We review the derivation and properties of reduced staggered fermions and show that in the case of fields in the fundamental representation of $SU(2)$ the theory does not exhibit a sign problem and can be simulated using the RHMC algorithm. We present results on lattices up to $16^4$ for a wide range of bare fermion masses. We find a single site condensate appears at strong coupling that spontaneously breaks the one global $U(1)$ symmetry remaining in the reduced fermion action.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Table Based Detection of Degenerate Predicates in Free Space Construction
Authors:
Victor Milenkovic,
Elisha Sacks,
Nabeel Butt
Abstract:
The key to a robust and efficient implementation of a computational geometry algorithm is an efficient algorithm for detecting degenerate predicates. We study degeneracy detection in constructing the free space of a polyhedron that rotates around a fixed axis and translates freely relative to another polyhedron. The structure of the free space is determined by the signs of univariate polynomials,…
▽ More
The key to a robust and efficient implementation of a computational geometry algorithm is an efficient algorithm for detecting degenerate predicates. We study degeneracy detection in constructing the free space of a polyhedron that rotates around a fixed axis and translates freely relative to another polyhedron. The structure of the free space is determined by the signs of univariate polynomials, called angle polynomials, whose coefficients are polynomials in the coordinates of the vertices of the polyhedra. Every predicate is expressible as the sign of an angle polynomial $f$ evaluated at a zero $t$ of an angle polynomial $g$. A predicate is degenerate (the sign is zero) when $t$ is a zero of a common factor of $f$ and $g$. We present an efficient degeneracy detection algorithm based on a one-time factoring of every possible angle polynomial. Our algorithm is 3500 times faster than the standard algorithm based on greatest common divisor computation. It reduces the share of degeneracy detection in our free space computations from 90% to 0.5% of the running time.
△ Less
Submitted 19 March, 2018;
originally announced March 2018.
-
Topology and strong four fermion interactions in four dimensions
Authors:
Simon Catterall,
Nouman Butt
Abstract:
We study massless fermions interacting through a particular four fermion term in four dimensions. Exact symmetries prevent the generation of bilinear fermion mass terms. We determine the structure of the low energy effective action for the auxiliary field needed to generate the four fermion term and find it has an novel structure that admits topologically non-trivial defects with non-zero Hopf inv…
▽ More
We study massless fermions interacting through a particular four fermion term in four dimensions. Exact symmetries prevent the generation of bilinear fermion mass terms. We determine the structure of the low energy effective action for the auxiliary field needed to generate the four fermion term and find it has an novel structure that admits topologically non-trivial defects with non-zero Hopf invariant. We show that fermions propagating in such a background pick up a mass without breaking symmetries. Furthermore pairs of such defects experience a logarithmic interaction. We argue that a phase transition separates a phase where these defects proliferate from a broken phase where they are bound tightly. We conjecture that by tuning one additional operator the broken phase can be eliminated with a single BKT-like phase transition separating the massless from massive phases.
△ Less
Submitted 27 April, 2018; v1 submitted 22 August, 2017;
originally announced August 2017.
-
A graph cut approach to 3D tree delineation, using integrated airborne LiDAR and hyperspectral imagery
Authors:
Juheon Lee,
David Coomes,
Carola-Bibiane Schonlieb,
Xiaohao Cai,
Jan Lellmann,
Michele Dalponte,
Yadvinder Malhi,
Nathalie Butt,
Mike Morecroft
Abstract:
Recognising individual trees within remotely sensed imagery has important applications in forest ecology and management. Several algorithms for tree delineation have been suggested, mostly based on locating local maxima or inverted basins in raster canopy height models (CHMs) derived from Light Detection And Ranging (LiDAR) data or photographs. However, these algorithms often lead to inaccurate es…
▽ More
Recognising individual trees within remotely sensed imagery has important applications in forest ecology and management. Several algorithms for tree delineation have been suggested, mostly based on locating local maxima or inverted basins in raster canopy height models (CHMs) derived from Light Detection And Ranging (LiDAR) data or photographs. However, these algorithms often lead to inaccurate estimates of forest stand characteristics due to the limited information content of raster CHMs. Here we develop a 3D tree delineation method which uses graph cut to delineate trees from the full 3D LiDAR point cloud, and also makes use of any optical imagery available (hyperspectral imagery in our case). First, conventional methods are used to locate local maxima in the CHM and generate an initial map of trees. Second, a graph is built from the LiDAR point cloud, fused with the hyperspectral data. For computational efficiency, the feature space of hyperspectral imagery is reduced using robust PCA. Third, a multi-class normalised cut is applied to the graph, using the initial map of trees to constrain the number of clusters and their locations. Finally, recursive normalised cut is used to subdivide, if necessary, each of the clusters identified by the initial analysis. We call this approach Multiclass Cut followed by Recursive Cut (MCRC). The effectiveness of MCRC was tested using three datasets: i) NewFor, ii) a coniferous forest in the Italian Alps, and iii) a deciduous woodland in the UK. The performance of MCRC was usually superior to that of other delineation methods, and was further improved by including high-resolution optical imagery. Since MCRC delineates the entire LiDAR point cloud in 3D, it allows individual crown characteristics to be measured. By making full use of the data available, graph cut has the potential to considerably improve the accuracy of tree delineation.
△ Less
Submitted 23 January, 2017;
originally announced January 2017.
-
Role of Carrier Mobility and Band Alignment Engineering on the Efficiency of Colloidal Quantum Dot Solar Cells
Authors:
Roha Saad,
Nauman Z. Butt
Abstract:
We investigate physics based design of colloidal quantum dot (CQD) solar cells using self-consistent computational modeling. The significance of band alignment engineering and optimized carrier mobility are quantitatively explored as a function of sub bandgap defect densities (N_t) in the bulk CQD. For $N_t \leq 10^{15} cm^{-3}$, band alignment engineering near the interface of CQD and the metal c…
▽ More
We investigate physics based design of colloidal quantum dot (CQD) solar cells using self-consistent computational modeling. The significance of band alignment engineering and optimized carrier mobility are quantitatively explored as a function of sub bandgap defect densities (N_t) in the bulk CQD. For $N_t \leq 10^{15} cm^{-3}$, band alignment engineering near the interface of CQD and the metal contact could significantly improve open circuit voltage by suppressing the forward bias dark current. This effect could enhance cell efficiency up to ~37% for thinner $(< 1 μm)$ CQD layers. For thicker $(> 1 μm)$ CQD layer, the effect of band engineering is diminished as the forward bias dark current becomes diffusion-limited and less dependent on the interfacial band offsets. An optimal carrier mobility in CQD lies in the range ~ 10^{-2} cm^2/Vs - 10^0 cm^2/Vs and shows variation as a function of CQD layer thickness and the interfacial band offset. For $N_t \approx 10^{14} cm^{-3}$, an optimally designed cell could provide ~20% efficiency under AM1.5G solar spectrum without employing advanced structural optimizations such as the nanostructured electrodes. These physical insights contribute to a better understanding of quantum dot solar cell design, allowing a step further towards a highly efficient and a low cost solar cell technology.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Allometry and growth of eight tree taxa in United Kingdom woodlands
Authors:
Matthew R. Evans,
Aristides Moustakas,
Gregory Carey,
Yadvinder Malhi,
Nathalie Butt,
Sue Benham,
Denise Pallett,
Stefanie Schaefer
Abstract:
Allometry and growth rates of 8 forest species in the UK. The data were collected from two United Kingdom woodlands - Wytham Woods and Alice Holt. Here we present data from 582 individual trees of eight taxa in the form of summary variables. In addition the raw data files containing the variables from which the summary data were obtained. Large sample sizes with longitudinal data spanning 22 years…
▽ More
Allometry and growth rates of 8 forest species in the UK. The data were collected from two United Kingdom woodlands - Wytham Woods and Alice Holt. Here we present data from 582 individual trees of eight taxa in the form of summary variables. In addition the raw data files containing the variables from which the summary data were obtained. Large sample sizes with longitudinal data spanning 22 years make these datasets useful for future studies concerned with the way trees change in size and shape over their life-span. The allometric relationships include (1) trunk diameter, (2) height, (3) crown height, (4) crown radius and (5) trunk radial growth rate to (A) the light environment of each tree and (B) diameter at breast height.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
Low frequency noise statistics for the breakdown characterization of ultra-thin gate oxides
Authors:
N. Z. Butt,
A. M. Chang,
H. Raza,
R. Bashir,
J. Liu,
D. L. Kwong
Abstract:
We have investigated the statistics of low frequency noise in the tunneling current of ultrathin oxides (2.5nm-4nm) in metal oxide semiconductor capacitors as a function of the applied voltage stress. The statistical analysis includes (i) non-Gaussianity (nG), which is a measure of the degree of temporal correlation in the noise, and (ii) ratio of integrated noise power to the DC leakage current…
▽ More
We have investigated the statistics of low frequency noise in the tunneling current of ultrathin oxides (2.5nm-4nm) in metal oxide semiconductor capacitors as a function of the applied voltage stress. The statistical analysis includes (i) non-Gaussianity (nG), which is a measure of the degree of temporal correlation in the noise, and (ii) ratio of integrated noise power to the DC leakage current (R). The occurrence of high peaks in nG indicates the appearance of new percolation paths, and the subsequent conduction through these paths is indicated by R. Our results show that the nG and R characteristics are generic for the oxides of different thickness and growth quality and have the potential, in conjunction with leakage itself, of being used as a prognosticator of oxide reliability.
△ Less
Submitted 16 August, 2005;
originally announced August 2005.