-
Debugging Without Error Messages: How LLM Prompting Strategy Affects Programming Error Explanation Effectiveness
Authors:
Audrey Salmon,
Katie Hammer,
Eddie Antonio Santos,
Brett A. Becker
Abstract:
Making errors is part of the programming process -- even for the most seasoned professionals. Novices in particular are bound to make many errors while learning. It is well known that traditional (compiler/interpreter) programming error messages have been less than helpful for many novices and can have effects such as being frustrating, containing confusing jargon, and being downright misleading.…
▽ More
Making errors is part of the programming process -- even for the most seasoned professionals. Novices in particular are bound to make many errors while learning. It is well known that traditional (compiler/interpreter) programming error messages have been less than helpful for many novices and can have effects such as being frustrating, containing confusing jargon, and being downright misleading. Recent work has found that large language models (LLMs) can generate excellent error explanations, but that the effectiveness of these error messages heavily depends on whether the LLM has been provided with context -- typically the original source code where the problem occurred. Knowing that programming error messages can be misleading and/or contain that serves little-to-no use (particularly for novices) we explore the reverse: what happens when GPT-3.5 is prompted for error explanations on just the erroneous source code itself -- original compiler/interpreter produced error message excluded. We utilized various strategies to make more effective error explanations, including one-shot prompting and fine-tuning. We report the baseline results of how effective the error explanations are at providing feedback, as well as how various prompting strategies might improve the explanations' effectiveness. Our results can help educators by understanding how LLMs respond to such prompts that novices are bound to make, and hopefully lead to more effective use of Generative AI in the classroom.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Euclidean rings of $S$-integers in complex quadratic fields
Authors:
Kyle Hammer,
Kevin McGown,
Skip Moses
Abstract:
We give an elementary approach to studying whether rings of $S$-integers in complex quadratic fields are Euclidean with respect to the $S$-norm.
We give an elementary approach to studying whether rings of $S$-integers in complex quadratic fields are Euclidean with respect to the $S$-norm.
△ Less
Submitted 29 March, 2022;
originally announced March 2022.
-
Skateboard Tricks and Topological Flips
Authors:
Justus Carlisle,
Kyle Hammer,
Robert Hingtgen,
Gabriel Martins
Abstract:
We study the motion of skateboard flip tricks by modeling them as continuous curves in the group $SO(3)$ of special orthogonal matrices. We show that up to continuous deformation there are only four flip tricks. The proof relies on an analysis of the lift of such curves to the unit 3-sphere. We also derive explicit formulas for a number of tricks and continuous deformations between them.
We study the motion of skateboard flip tricks by modeling them as continuous curves in the group $SO(3)$ of special orthogonal matrices. We show that up to continuous deformation there are only four flip tricks. The proof relies on an analysis of the lift of such curves to the unit 3-sphere. We also derive explicit formulas for a number of tricks and continuous deformations between them.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.
-
Axionic cosmological constant
Authors:
Katrin Hammer,
Pavel Jirousek,
Alexander Vikman
Abstract:
We propose a novel, higher-derivative, Weyl-invariant and generally-covariant theory for the cosmological constant. This theory is a mimetic construction with gauge fields playing the role of dynamical variables. These fields compose the Chern-Simons current instead of the vector field used in the Henneaux and Teitelboim formulation of the unimodular gravity. The equations of motion exactly reprod…
▽ More
We propose a novel, higher-derivative, Weyl-invariant and generally-covariant theory for the cosmological constant. This theory is a mimetic construction with gauge fields playing the role of dynamical variables. These fields compose the Chern-Simons current instead of the vector field used in the Henneaux and Teitelboim formulation of the unimodular gravity. The equations of motion exactly reproduce the traceless Einstein equations. We demonstrate that, reformulated in Weyl-invariant variables, this novel theory reduces to standard general relativity with the cosmological constant as a Lagrange multiplier. This Lagrange multiplier has an axion-like coupling.
△ Less
Submitted 9 January, 2020;
originally announced January 2020.
-
The special value $u=1$ of Artin-Ihara $L$-functions
Authors:
Kyle Hammer,
Thomas W. Mattman,
Jonathan W. Sands,
Daniel Vallières
Abstract:
We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger i…
▽ More
We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Viscosity independent diffusion mediated by death and reproduction in biofilms
Authors:
Arben Kalziqi,
Siu Lung Ng,
David Yanni,
Gabi Steinbach,
Brian K. Hammer,
Peter J. Yunker
Abstract:
Bacterial biofilms, surface-attached communities of cells, are in some respects similar to colloidal solids; both are densely packed with non-zero yield stresses. However, unlike non-living materials, bacteria reproduce and die, breaking mechanical equilibrium and inducing collective dynamic responses. We report experiments and theory investigating the motion of immotile Vibrio cholerae, which can…
▽ More
Bacterial biofilms, surface-attached communities of cells, are in some respects similar to colloidal solids; both are densely packed with non-zero yield stresses. However, unlike non-living materials, bacteria reproduce and die, breaking mechanical equilibrium and inducing collective dynamic responses. We report experiments and theory investigating the motion of immotile Vibrio cholerae, which can kill each other and reproduce in biofilms. We vary viscosity by using bacterial variants that secrete different amounts of extracellular matrix polymers, but are otherwise identical. Unlike thermally-driven diffusion, in which diffusivity decreases with increased viscosity, we find that cellular motion mediated by death and reproduction is independent of viscosity over timescales relevant to bacterial reproduction. To understand this surprising result, we use two separate modeling approaches. First we perform explicitly mechanical simulations of one-dimensional chains of Voigt-Kelvin elements that can die and reproduce. Next, we perform an independent statistical approach, modeling Brownian motion with the classic Langevin equation under an effective temperature that depends on cellular division rate. The diffusion of cells in both approaches agrees quite well, supporting a kinetic interpretation for the effective temperature used here and developed in previous work. As the viscoelastic behavior of biofilms is believed to play a large role in their anomalous biological properties, such as antibiotic resistance, the independence of cellular diffusive motion --- important for biofilm growth and remodeling --- on viscoelastic properties likely holds ecological, medical, and industrial relevance.
△ Less
Submitted 4 January, 2019;
originally announced January 2019.
-
Life in the coffee-ring: how evaporation-driven density gradients dictate the outcome of inter-bacterial competition
Authors:
David Yanni,
Arben Kalziqi,
Jacob Thomas,
Siu Lung Ng,
Skanda Vivek,
William C. Ratcliff,
Brian K. Hammer,
Peter J. Yunker
Abstract:
When a drop dries, it often leaves a ring-shaped stain through a ubiquitous phenomenon known as the coffee-ring effect. This also occurs when the liquid contains suspended microbes; evaporation leaves cells at higher concentrations in the ring than the drop interior. Using biofilm experiments and cellular automata simulations, we show that the physical structure created by the coffee-ring effect c…
▽ More
When a drop dries, it often leaves a ring-shaped stain through a ubiquitous phenomenon known as the coffee-ring effect. This also occurs when the liquid contains suspended microbes; evaporation leaves cells at higher concentrations in the ring than the drop interior. Using biofilm experiments and cellular automata simulations, we show that the physical structure created by the coffee-ring effect can dramatically alter the outcome of inter-bacterial competition. We experimentally study this effect using two strains of $\textit{Vibrio cholerae}$ that compete using a contact-dependent killing mechanism termed the type 6 secretion system. By creating a heterogeneous density profile, the coffee-ring effect changes the outcome of competition: the bacterial strain that wins in the low-density interior loses in the far denser ring. Through simulations parameterized with experimentally-determined density profiles, we recapitulate our experimental findings. We examine the role of a $\textit{V. cholerae}$ strain's frequency, its relative efficacy at killing competitors, and the initial concentration of cells in the droplet in determining the outcome of competition. By scaling from individual cellular interactions to overall changes in strain frequency, our work demonstrates how the coffee-ring effect plays a powerful role in structuring microbial communities, indirectly driving ecological changes in community composition.
△ Less
Submitted 11 July, 2017;
originally announced July 2017.
-
Remarks on meson loop effects on quark models
Authors:
I. K. Hammer,
C. Hanhart,
A. V. Nefediev
Abstract:
We investigate the effect of meson loops on the spectrum of quark states. We demonstrate that in general quark states do not tend to get very broad if their coupling to the continuum increases, but instead they decouple from the latter in the large coupling limit. We ascribe this effect to the essentially nonperturbative unitarization procedure involved. In the meantime, some quark resonances beha…
▽ More
We investigate the effect of meson loops on the spectrum of quark states. We demonstrate that in general quark states do not tend to get very broad if their coupling to the continuum increases, but instead they decouple from the latter in the large coupling limit. We ascribe this effect to the essentially nonperturbative unitarization procedure involved. In the meantime, some quark resonances behave very differently and demonstrate collectivity in the sense that their pole trajectories span a wide, as compared to the level spacing, region therefore acquiring contributions from multiple bare poles rather than from the closest neighbors. While the actual calculations are done within particular, very simplified models, it is argued that the findings might well be general.
△ Less
Submitted 15 November, 2016; v1 submitted 23 July, 2016;
originally announced July 2016.
-
Many Faces of Mimetic Gravity
Authors:
Katrin Hammer,
Alexander Vikman
Abstract:
We consider the recently introduced mimetic gravity, which is a Weyl-symmetric extension of the General Relativity and which can play a role of an imperfect fluid-like Dark Matter with a small sound speed. In this paper we discuss in details how this higher- derivative scalar-tensor theory goes beyond the construction by Horndeski, keeping only one scalar degree of freedom on top of two standard g…
▽ More
We consider the recently introduced mimetic gravity, which is a Weyl-symmetric extension of the General Relativity and which can play a role of an imperfect fluid-like Dark Matter with a small sound speed. In this paper we discuss in details how this higher- derivative scalar-tensor theory goes beyond the construction by Horndeski, keeping only one scalar degree of freedom on top of two standard graviton polarizations. In particular, we consider representations of the theory in different sets of Weyl-invariant variables and connect this framework to the singular Brans-Dicke theory. Further, we find solution of equations of motion for the mimetic gravity in the synchronous reference frame in a general curved spacetime. This solution is exact in the test-field approximation or in the case of a shear-free spacetime without any other matter.
△ Less
Submitted 30 December, 2015;
originally announced December 2015.