Showing 1–19 of 19 results for author: Chaudhary, I

Specification Generation for Neural Networks in Systems

Authors: Isha Chaudhary, Shuyi Lin, Cheng Tan, Gagandeep Singh

Abstract: Specifications - precise mathematical representations of correct domain-specific behaviors - are crucial to guarantee the trustworthiness of computer systems. With the increasing development of neural networks as computer system components, specifications gain more importance as they can be used to regulate the behaviors of these black-box models. Traditionally, specifications are designed by doma… ▽ More Specifications - precise mathematical representations of correct domain-specific behaviors - are crucial to guarantee the trustworthiness of computer systems. With the increasing development of neural networks as computer system components, specifications gain more importance as they can be used to regulate the behaviors of these black-box models. Traditionally, specifications are designed by domain experts based on their intuition of correct behavior. However, this is labor-intensive and hence not a scalable approach as computer system applications diversify. We hypothesize that the traditional (aka reference) algorithms that neural networks replace for higher performance can act as effective proxies for correct behaviors of the models, when available. This is because they have been used and tested for long enough to encode several aspects of the trustworthy/correct behaviors in the underlying domain. Driven by our hypothesis, we develop a novel automated framework, SpecTRA to generate specifications for neural networks using references. We formulate specification generation as an optimization problem and solve it with observations of reference behaviors. SpecTRA clusters similar observations into compact specifications. We present specifications generated by SpecTRA for neural networks in adaptive bit rate and congestion control algorithms. Our specifications show evidence of being correct and matching intuition. Moreover, we use our specifications to show several unknown vulnerabilities of the SOTA models for computer systems. △ Less

Submitted 3 December, 2024; originally announced December 2024.

Certifying Counterfactual Bias in LLMs

Authors: Isha Chaudhary, Qian Hu, Manoj Kumar, Morteza Ziyadi, Rahul Gupta, Gagandeep Singh

Abstract: Large Language Models (LLMs) can produce biased responses that can cause representational harms. However, conventional studies are insufficient to thoroughly evaluate biases across LLM responses for different demographic groups (a.k.a. counterfactual bias), as they do not scale to large number of inputs and do not provide guarantees. Therefore, we propose the first framework, LLMCert-B that certif… ▽ More Large Language Models (LLMs) can produce biased responses that can cause representational harms. However, conventional studies are insufficient to thoroughly evaluate biases across LLM responses for different demographic groups (a.k.a. counterfactual bias), as they do not scale to large number of inputs and do not provide guarantees. Therefore, we propose the first framework, LLMCert-B that certifies LLMs for counterfactual bias on distributions of prompts. A certificate consists of high-confidence bounds on the probability of unbiased LLM responses for any set of counterfactual prompts - prompts differing by demographic groups, sampled from a distribution. We illustrate counterfactual bias certification for distributions of counterfactual prompts created by applying prefixes sampled from prefix distributions, to a given set of prompts. We consider prefix distributions consisting random token sequences, mixtures of manual jailbreaks, and perturbations of jailbreaks in LLM's embedding space. We generate non-trivial certificates for SOTA LLMs, exposing their vulnerabilities over distributions of prompts generated from computationally inexpensive prefix distributions. △ Less

Submitted 21 April, 2025; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: Published at ICLR 2025

Certifying Knowledge Comprehension in LLMs

Authors: Isha Chaudhary, Vedaant V. Jain, Gagandeep Singh

Abstract: Large Language Models (LLMs) are increasingly deployed in safety-critical systems where they provide answers based on in-context information derived from knowledge bases. As LLMs are increasingly envisioned as superhuman agents, their proficiency in knowledge comprehension-extracting relevant information and reasoning over it to answer questions, a key facet of human intelligence-becomes crucial.… ▽ More Large Language Models (LLMs) are increasingly deployed in safety-critical systems where they provide answers based on in-context information derived from knowledge bases. As LLMs are increasingly envisioned as superhuman agents, their proficiency in knowledge comprehension-extracting relevant information and reasoning over it to answer questions, a key facet of human intelligence-becomes crucial. However, existing evaluations of LLMs on knowledge comprehension are typically conducted on small test sets, but these datasets represent only a tiny fraction of the vast number of possible queries. Simple empirical evaluations on these limited test sets raises concerns about the reliability and generalizability of the results. In this work, we introduce the first specification and certification framework for knowledge comprehension in LLMs, providing formal probabilistic guarantees for reliability. Instead of a fixed dataset, we design novel specifications that mathematically represent prohibitively large probability distributions of knowledge comprehension prompts with natural noise, using knowledge graphs. From these specifications, we generate quantitative certificates that offer high-confidence, tight bounds on the probability that a given LLM correctly answers any question drawn from the specification distribution. We apply our framework to certify SOTA LLMs in two domains: precision medicine and general question-answering. Our results reveal previously unrecognized vulnerabilities in SOTA LLMs due to natural noise in the prompts. Additionally, we establish performance hierarchies with formal guarantees among the SOTA LLMs, particularly in the context of precision medicine question-answering. △ Less

Submitted 21 April, 2025; v1 submitted 24 February, 2024; originally announced February 2024.

Bypassing the Safety Training of Open-Source LLMs with Priming Attacks

Authors: Jason Vega, Isha Chaudhary, Changming Xu, Gagandeep Singh

Abstract: With the recent surge in popularity of LLMs has come an ever-increasing need for LLM safety training. In this paper, we investigate the fragility of SOTA open-source LLMs under simple, optimization-free attacks we refer to as $\textit{priming attacks}$, which are easy to execute and effectively bypass alignment from safety training. Our proposed attack improves the Attack Success Rate on Harmful B… ▽ More With the recent surge in popularity of LLMs has come an ever-increasing need for LLM safety training. In this paper, we investigate the fragility of SOTA open-source LLMs under simple, optimization-free attacks we refer to as $\textit{priming attacks}$, which are easy to execute and effectively bypass alignment from safety training. Our proposed attack improves the Attack Success Rate on Harmful Behaviors, as measured by Llama Guard, by up to $3.3\times$ compared to baselines. Source code and data are available at https://github.com/uiuc-focal-lab/llm-priming-attacks. △ Less

Submitted 17 May, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: ICLR Tiny Paper camera ready version

COMET: Neural Cost Model Explanation Framework

Authors: Isha Chaudhary, Alex Renda, Charith Mendis, Gagandeep Singh

Abstract: Cost models predict the cost of executing given assembly code basic blocks on a specific microarchitecture. Recently, neural cost models have been shown to be fairly accurate and easy to construct. They can replace heavily engineered analytical cost models used in mainstream compiler workflows. However, their black-box nature discourages their adoption. In this work, we develop the first framework… ▽ More Cost models predict the cost of executing given assembly code basic blocks on a specific microarchitecture. Recently, neural cost models have been shown to be fairly accurate and easy to construct. They can replace heavily engineered analytical cost models used in mainstream compiler workflows. However, their black-box nature discourages their adoption. In this work, we develop the first framework, COMET, for generating faithful, generalizable, and intuitive explanations for neural cost models. We generate and compare COMET's explanations for the popular neural cost model, Ithemal against those for an accurate CPU simulation-based cost model, uiCA. Our empirical findings show an inverse correlation between the prediction errors of Ithemal and uiCA and the granularity of basic block features in COMET's explanations for them, thus indicating potential reasons for the higher error of Ithemal with respect to uiCA. △ Less

Submitted 18 April, 2024; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: Proceedings of the 5th MLSys Conference, Santa Clara, CA, USA, 2024

The center-mode instability of viscoelastic plane Poiseuille flow

Authors: Mohammad Khalid, Indresh Chaudhary, Piyush Garg, V. Shankar, Ganesh Subramanian

Abstract: A modal stability analysis shows that plane Poiseuille flow of an Oldroyd-B fluid becomes unstable to a `center mode' with phase speed close to the maximum base-flow velocity, $U_{max}$. The governing dimensionless groups are the Reynolds number $Re = ρU_{max} H/η$, the elasticity number $E = λη/(H^2ρ)$, and the ratio of solvent to solution viscosity $η_s/η$; here, $λ$ is the polymer relaxation ti… ▽ More A modal stability analysis shows that plane Poiseuille flow of an Oldroyd-B fluid becomes unstable to a `center mode' with phase speed close to the maximum base-flow velocity, $U_{max}$. The governing dimensionless groups are the Reynolds number $Re = ρU_{max} H/η$, the elasticity number $E = λη/(H^2ρ)$, and the ratio of solvent to solution viscosity $η_s/η$; here, $λ$ is the polymer relaxation time, $H$ is the channel half-width, and $ρ$ is the fluid density. For experimentally relevant values (e.g., $E \sim 0.1$ and $β\sim 0.9$), the predicted critical Reynolds number, $Re_c$, for the center-mode instability is around $200$, with the associated eigenmodes being spread out across the channel. In the asymptotic limit of $E(1 -β) \ll 1$, with $E$ fixed, corresponding to strongly elastic dilute polymer solutions, $Re_c \propto (E(1-β))^{-\frac{3}{2}}$ and the critical wavenumber $k_c \propto (E(1-β))^{-\frac{1}{2}}$. The unstable eigenmode in this limit is confined in a thin layer near the channel centerline. The above features are largely analogous to the center-mode instability in viscoelastic pipe flow (Garg et al., Phys. Rev. Lett., 121, 024502 (2018)), and suggest a universal linear mechanism underlying the onset of turbulence in both channel and pipe flows of suffciently elastic dilute polymer solutions. △ Less

Submitted 1 August, 2020; originally announced August 2020.

MSC Class: 76E05 ACM Class: J.2

Linear instability of viscoelastic pipe flow

Authors: Indresh Chaudhary, Piyush Garg, Ganesh Subramanian, Viswanathan Shankar

Abstract: A modal stability analysis shows that pressure-driven pipe flow of an Oldroyd-B fluid is linearly unstable to axisymmetric perturbations, in stark contrast to its Newtonian counterpart which is linearly stable at all Reynolds numbers. The dimensionless groups that govern stability are the Reynolds number, the elasticity number, and the ratio of solvent to solution viscosity. The unstable mode has… ▽ More A modal stability analysis shows that pressure-driven pipe flow of an Oldroyd-B fluid is linearly unstable to axisymmetric perturbations, in stark contrast to its Newtonian counterpart which is linearly stable at all Reynolds numbers. The dimensionless groups that govern stability are the Reynolds number, the elasticity number, and the ratio of solvent to solution viscosity. The unstable mode has a phase speed close to the base-state maximum over the entire unstable region in the relevant parameter space, implying that the unstable mode belongs to a class of viscoelastic center modes. Unlike the Newtonian transition which is dominated by nonlinear processes, the linear instability discussed here could be very relevant to the onset of turbulence in viscoelastic pipe flows. The prediction of an instability is, in fact, consistent with several experimental studies on pipe flow of polymer solutions, ranging from previous reports of early turbulence to the more recent discovery of elasto-inertial turbulence. The instability identified in this study comprehensively dispels the prevailing notion of pipe flow of viscoelastic fluids being linearly stable in the Reynolds-Weissenberg plane, marking a possible paradigm shift in our understanding of transition in rectilinear viscoelastic shearing flows. △ Less

Submitted 20 March, 2020; originally announced March 2020.

Comments: 51 pages, 30 figures

Journal ref: J. Fluid Mech. 908 (2021) A11

Viscoelastic pipe flow is linearly unstable

Authors: Piyush Garg, Indresh Chaudhary, Mohammad Khalid, V Shankar, Ganesh Subramanian

Abstract: Newtonian pipe flow is known to be linearly stable at all Reynolds numbers. We report, for the first time, a linear instability of pressure driven pipe flow of a viscoelastic fluid, obeying the Oldroyd-B constitutive equation commonly used to model dilute polymer solutions. The instability is shown to exist at Reynolds numbers significantly lower than those at which transition to turbulence is typ… ▽ More Newtonian pipe flow is known to be linearly stable at all Reynolds numbers. We report, for the first time, a linear instability of pressure driven pipe flow of a viscoelastic fluid, obeying the Oldroyd-B constitutive equation commonly used to model dilute polymer solutions. The instability is shown to exist at Reynolds numbers significantly lower than those at which transition to turbulence is typically observed for Newtonian pipe flow. Our results qualitatively explain experimental observations of transition to turbulence in pipe flow of dilute polymer solutions at flow rates where Newtonian turbulence is absent. The instability discussed here should form the first stage in a hitherto unexplored dynamical pathway to turbulence in polymer solutions. An analogous instability exists for plane Poiseuille flow. △ Less

Submitted 4 December, 2017; v1 submitted 21 November, 2017; originally announced November 2017.

Journal ref: Phys. Rev. Lett. 121, 024502 (2018)

Coupling between a deuteron and a lattice

Authors: P. L. Hagelstein, I. U. Chaudhary

Abstract: We recently put forth a new fundamental lattice Hamiltonian based on an underlying picture of electrons and deuterons as elementary Dirac particles. Within this model there appears a term in which lattice vibrations are coupled to internal nuclear transitions. This is interesting as it has the potential to provide a connection between experiment and models that describe coherent energy transfer be… ▽ More We recently put forth a new fundamental lattice Hamiltonian based on an underlying picture of electrons and deuterons as elementary Dirac particles. Within this model there appears a term in which lattice vibrations are coupled to internal nuclear transitions. This is interesting as it has the potential to provide a connection between experiment and models that describe coherent energy transfer between two-level systems and an oscillator. In this work we describe a calculation of the coupling matrix element in the case of the deuteron based on the old empirical Hamada-Johnston model for the nucleon-nucleon interaction. The triplet S and D states of the the deuteron in the rest frame couples to a singlet P state through this new interaction. The singlet P state in this calculation is a virtual state with an energy of 125 MeV, and a coupling matrix element for $z$-directed motion given by $2.98 \times 10^{-3} ~M_J c \hat{P}_z$. △ Less

Submitted 7 April, 2012; originally announced April 2012.

Including nuclear degrees of freedom in a lattice Hamiltonian

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: Motivated by many observations of anomalies in condensed matter systems, we consider a new fundamental Hamiltonian in which condensed matter and nuclear systems are described initially on the same footing. Since it may be possible that the lattice will respond to the mass change associated with a excited nuclear state, we adopt a relativistic description throughout based on a many-particle Dirac f… ▽ More Motivated by many observations of anomalies in condensed matter systems, we consider a new fundamental Hamiltonian in which condensed matter and nuclear systems are described initially on the same footing. Since it may be possible that the lattice will respond to the mass change associated with a excited nuclear state, we adopt a relativistic description throughout based on a many-particle Dirac formalism. This approach has not been used in the past, perhaps due to the difficulty in separating the center of mass and relative degrees of freedom of the nuclear system, or perhaps due to an absence of applications for such a model. In response to some recent ideas about how to think about the center of mass and relative separation, we obtained from the Dirac model a new fundamental Hamiltonian in which the lattice couples to different states within the composite nuclei within the lattice. In this description the different nuclear states have different mass energies and kinetic energies, as we had expected. In addition there appear new terms which provide for nuclear excitation as a result of coupling to the composite momentum. This new effect comes about because of changes in the composite nuclear state as a result of the dynamical Lorentz boost in the lattice. △ Less

Submitted 7 April, 2012; v1 submitted 20 January, 2012; originally announced January 2012.

Kinematic mass of a composite in the many-particle Dirac model

Authors: Peter L Hagelstein, Irfan U Chaudhary

Abstract: We are interested in the energy-momentum relation for a moving composite in relativistic quantum mechanics in many-particle Dirac models. For a manifestly covariant model one can apply the Lorentz transform to go from the rest frame to a moving frame to establish an energy-momentum relation of the form $\sqrt{(M^*c^2)^2+c^2|{\bf P}|^2}$ where $M^*$ is the kinematic mass. However, the many-particle… ▽ More We are interested in the energy-momentum relation for a moving composite in relativistic quantum mechanics in many-particle Dirac models. For a manifestly covariant model one can apply the Lorentz transform to go from the rest frame to a moving frame to establish an energy-momentum relation of the form $\sqrt{(M^*c^2)^2+c^2|{\bf P}|^2}$ where $M^*$ is the kinematic mass. However, the many-particle Dirac model is not manifestly covariant, and some other approach is required. We have found a simple approach that allows for a separation of relative and center of mass contributions to the energy. We are able to define the associated kinematic energy and determine the energy-momentum relation. Our result can be expressed as a modified deBroglie relation of the form $$ \hbar ω({\bf P}) = <Φ' | \sum_j {m_j \over M} β_j | Φ' >~ \sqrt{[M^*({\bf P}) c^2]^2 + c^2 |{\bf P}|^2} $$ where the kinematic mass $M^*$ will depend on the total momentum ${\bf P}$ for a general noncovariant potential. The prefactor that occurs we associate with a time dilation effect, the existence of which has been discussed previously in the literature. △ Less

Submitted 6 January, 2012; originally announced January 2012.

Comments: 14 pages

Excitation transfer in two two-level systems coupled to an oscillator

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: We consider a generalization of the spin-boson model in which two different two-level systems are coupled to an oscillator, under conditions where the oscillator energy is much less than the two-level system energies, and where the oscillator is highly excited. We find that the two-level system transition energy is shifted, producing a Bloch-Siegert shift in each two-level system similar to what… ▽ More We consider a generalization of the spin-boson model in which two different two-level systems are coupled to an oscillator, under conditions where the oscillator energy is much less than the two-level system energies, and where the oscillator is highly excited. We find that the two-level system transition energy is shifted, producing a Bloch-Siegert shift in each two-level system similar to what would be obtained if the other were absent. At resonances associated with energy exchange between a two-level system and the oscillator, the level splitting is about the same as would be obtained in the spin-boson model at a Bloch-Siegert resonance. However, there occur resonances associated with the transfer of excitation between one two-level system and the other, an effect not present in the spin-boson model. We use a unitary transformation leading to a rotated system in which terms responsible for the shift and splittings can be identified. The level splittings at the anticrossings associated with both energy exchange and excitation transfer resonances are accounted for with simple two-state models and degenerate perturbation theory using operators that appear in the rotated Hamiltonian. △ Less

Submitted 13 March, 2008; originally announced March 2008.

Comments: 26 pages, 4 figures

Multiphoton Bloch-Siegert shifts and level-splittings in a three-level system

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: In previous work we studied the spin-boson model in the multiphoton regime, using a rotation that provides a separation between terms that contribute most of the level energies away from resonance, and terms responsible for the level splittings at the anticrossing. Here, we consider a generalization of the spin-boson model consisting of a three-level system coupled to an oscillator. We construct… ▽ More In previous work we studied the spin-boson model in the multiphoton regime, using a rotation that provides a separation between terms that contribute most of the level energies away from resonance, and terms responsible for the level splittings at the anticrossing. Here, we consider a generalization of the spin-boson model consisting of a three-level system coupled to an oscillator. We construct a similar rotation and apply it to the more complicated model. We find that the rotation provides a useful approximation to the energy levels in the multiphoton region of the new problem. We find that good results can be obtained for the level splittings at the anticrossings for resonances involving the lower two levels in regions away from accidental or low-order resonances of the upper two levels. △ Less

Submitted 20 February, 2008; originally announced February 2008.

Comments: 29 pages, 13 figures

Electron mass shift in nonthermal systems

Authors: Peter L Hagelstein, Irfan U Chaudhary

Abstract: The electron mass is known to be sensitive to local fluctuations in the electromagnetic field, and undergoes a small shift in a thermal field. It was claimed recently that a very large electron mass shift should be expected near the surface of a metal hydride [{\it Eur. Phys. J. C}, {\bf 46} 107 (2006)]. We examine the shift using a formulation based on the Coulomb gauge, which leads to a much s… ▽ More The electron mass is known to be sensitive to local fluctuations in the electromagnetic field, and undergoes a small shift in a thermal field. It was claimed recently that a very large electron mass shift should be expected near the surface of a metal hydride [{\it Eur. Phys. J. C}, {\bf 46} 107 (2006)]. We examine the shift using a formulation based on the Coulomb gauge, which leads to a much smaller shift. The maximization of the electron mass shift under nonequilibrium conditions seems nonetheless to be an interesting problem. We consider a scheme in which a current in a hollow wire produces a large vector potential in the wire center. Fluctuations in an LC circuit with nearly matched loss and gain can produce large current fluctuations; and these can increase the electron mass shift by orders of magnitude over its room temperature value. △ Less

Submitted 24 January, 2008; originally announced January 2008.

Comments: 23 pages, 5 figures

Multiphoton Bloch-Siegert shifts and level-splittings in spin-one systems

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: We consider a spin-boson model in which a spin 1 system is coupled to an oscillator. A unitary transformation is applied which allows a separation of terms responsible for the Bloch-Siegert shift, and terms responsible for the level splittings at anticrossings associated with Bloch-Siegert resonances. When the oscillator is highly excited, the system can maintain resonance for sequential multiph… ▽ More We consider a spin-boson model in which a spin 1 system is coupled to an oscillator. A unitary transformation is applied which allows a separation of terms responsible for the Bloch-Siegert shift, and terms responsible for the level splittings at anticrossings associated with Bloch-Siegert resonances. When the oscillator is highly excited, the system can maintain resonance for sequential multiphoton transitions. At lower levels of excitation, resonance cannot be maintained because energy exchange with the oscillator changes the level shift. An estimate for the critical excitation level of the oscillator is developed. △ Less

Submitted 21 September, 2007; originally announced September 2007.

Comments: 14 pages, 3 figures

Level Splitting in Association with the Multiphoton Bloch-Siegert Shift

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: We present a unitary equivalent spin-boson Hamiltonian in which terms can be identified which contribute to the Bloch-Siegert shift, and to the level splittings at the anticrossings associated with the Bloch-Siegert resonances. First-order degenerate perturbation theory is used to develop approximate results in the case of moderate coupling for the level splitting. We present a unitary equivalent spin-boson Hamiltonian in which terms can be identified which contribute to the Bloch-Siegert shift, and to the level splittings at the anticrossings associated with the Bloch-Siegert resonances. First-order degenerate perturbation theory is used to develop approximate results in the case of moderate coupling for the level splitting. △ Less

Submitted 12 September, 2007; originally announced September 2007.

Comments: 8 pages, 2 figures

Bloch-Siegert shift for multiphoton resonances

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: Recently there has been theoretical and experimental interest in Bloch-Siegert shifts in an intense photon field. A perturbative treatment becomes difficult in this multiphoton regime. We present a unitary transform and rotated model, which allows us to get accurate results away from the level anticrossings. A simple variational energy estimate leads to a new expression for the dressed two-level… ▽ More Recently there has been theoretical and experimental interest in Bloch-Siegert shifts in an intense photon field. A perturbative treatment becomes difficult in this multiphoton regime. We present a unitary transform and rotated model, which allows us to get accurate results away from the level anticrossings. A simple variational energy estimate leads to a new expression for the dressed two-level system energy which is accurate, and useful over a wide range of the dimensionless coupling constant. △ Less

Submitted 12 September, 2007; originally announced September 2007.

Comments: 6 pages, 1 figure

Two-level systems coupled to an oscillator: Excitation transfer and energy exchange

Authors: Peter L. Hagelstein, Irfan U. Chaudhary

Abstract: We consider models in which two sets of matched two-level systems are coupled to a common oscillator in the case where the oscillator energy is small relative to the two-level transition energies. Since the two sets of two-level systems are coupled indirectly through the oscillator, excitation transfer from one set of two-level systems to the other is possible. In addition, the excitation energy… ▽ More We consider models in which two sets of matched two-level systems are coupled to a common oscillator in the case where the oscillator energy is small relative to the two-level transition energies. Since the two sets of two-level systems are coupled indirectly through the oscillator, excitation transfer from one set of two-level systems to the other is possible. In addition, the excitation energy from the two-level systems may be exchanged with the oscillator coherently, even though the oscillator energy may be orders of magnitude smaller than the two-level system transition energy. In the lossless case, we demonstrate these effects numerically, and also use an approximate diagonalization to show that these effects are expected from the model Hamiltonian. We augment the model to include loss effects, and show that loss enhances the excitation transfer effect by breaking the severe cancelation between different paths that occurs in the lossless case. We describe a simple approximate model wavefunction appropriate when the loss increases rapidly with energy. Within this model approximation, we present numerical and analytical results for excitation transfer and energy transfer rates, showing that they are greatly increased. Our study of these models is motivated in part by claims of excess heat production in electrochemical experiments in heavy water. We examine the question of whether the rates associated with this kind of model are sufficiently large to be relevant to the experimental claims. We find that consistency is possible given recent experimental results showing strong screening effects in low energy deuteron-deuteron fusion experiments in metals. △ Less

Submitted 12 December, 2006; originally announced December 2006.

Comments: 48 pages, 12 figures

Inclusion of phonon exchange in a nuclear matrix element

Authors: Irfan Chaudhary, Peter Hagelstein

Abstract: Phonon exchange with nuclei in the course of fusion reactions that occur in a solid has not been analyzed previously. This problem has become of interest in connection with claims of observations of anomalies in metal deuterides. If the strong force interaction were dependent only on position (and not spin or isospin), then the coupling with phonons can be developed directly. Since a nuclear int… ▽ More Phonon exchange with nuclei in the course of fusion reactions that occur in a solid has not been analyzed previously. This problem has become of interest in connection with claims of observations of anomalies in metal deuterides. If the strong force interaction were dependent only on position (and not spin or isospin), then the coupling with phonons can be developed directly. Since a nuclear interaction can change the lattice constituents, the initial and final state lattices can be different, and we must include this in the formulation. For more realistic strong force models with spin and isospin dependence, we can use correlated nuclear wavefunctions which are made up of products of space, spin and isospin components. In this case, the spin and isospin algebra can be done analytically, producing channel-dependent potentials that are only space dependent. The formulation that results can be used for quantitative estimates of phonon exchange. △ Less

Submitted 4 January, 2007; v1 submitted 22 June, 2006; originally announced June 2006.

Comments: 38 pages,typos corrected, references added, modifications mainly in the Introduction and Conculsions sections