-
Mechanized HOL Reasoning in Set Theory
Authors:
Simon Guilloud,
Sankalp Gambhir,
Andrea Gilot,
Viktor Kunčak
Abstract:
We present a mechanized embedding of higher-order logic (HOL) and algebraic data types (ADT) into first-order logic with ZFC axioms. We implement this in the Lisa proof assistant for schematic first-order logic and its library based on axiomatic set theory. HOL proof steps are implemented as proof producing tactics in Lisa, and the types are interpreted as sets, with function (or arrow) types coin…
▽ More
We present a mechanized embedding of higher-order logic (HOL) and algebraic data types (ADT) into first-order logic with ZFC axioms. We implement this in the Lisa proof assistant for schematic first-order logic and its library based on axiomatic set theory. HOL proof steps are implemented as proof producing tactics in Lisa, and the types are interpreted as sets, with function (or arrow) types coinciding with set-theoretic function spaces. The embedded HOL proofs, as opposed to being a layer over the existing proofs, are interoperable with the existing library. This yields a form of soft type system supporting top-level polymorphism and ADTs over set theory, and offer tools to reason about functions in set theory.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Amplification of cascaded downconversion by reusing photons with a switchable cavity
Authors:
Alexandre Z. Leger,
Samridhi Gambhir,
Julien Légère,
Deny R. Hamel
Abstract:
The ability to efficiently produce and manipulate nonclassical states of light is a critical requirement for the development of quantum optical technologies. In recent years, experiments have demonstrated that cascaded spontaneous parametric down-conversion is a promising approach to implement photon precertification, providing a way to overcome photon transmission losses for quantum communication…
▽ More
The ability to efficiently produce and manipulate nonclassical states of light is a critical requirement for the development of quantum optical technologies. In recent years, experiments have demonstrated that cascaded spontaneous parametric down-conversion is a promising approach to implement photon precertification, providing a way to overcome photon transmission losses for quantum communication, as well as to directly produce entangled three-photon states and heralded Bell pairs. However, the low efficiency of this process has so far limited its applicability beyond basic experiments. Here, we propose a scheme to amplify triplet production rates by using a fast switch and a delay loop to reuse photons that fail to convert on the first pass through the cascade's second nonlinear crystal. We construct a theoretical model to predict amplification rates and verify them in an experimental implementation. Our proof-of-concept device increases the rate of detected photon triplets as predicted, demonstrating that the method has the potential to dramatically improve the usefulness of cascaded down-conversion for device-independent quantum communication and entangled state generation.
△ Less
Submitted 5 June, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
LTL-Based Non-Markovian Inverse Reinforcement Learning
Authors:
Mohammad Afzal,
Sankalp Gambhir,
Ashutosh Gupta,
Krishna S,
Ashutosh Trivedi,
Alvaro Velasquez
Abstract:
The successes of reinforcement learning in recent years are underpinned by the characterization of suitable reward functions. However, in settings where such rewards are non-intuitive, difficult to define, or otherwise error-prone in their definition, it is useful to instead learn the reward signal from expert demonstrations. This is the crux of inverse reinforcement learning (IRL). While elicitin…
▽ More
The successes of reinforcement learning in recent years are underpinned by the characterization of suitable reward functions. However, in settings where such rewards are non-intuitive, difficult to define, or otherwise error-prone in their definition, it is useful to instead learn the reward signal from expert demonstrations. This is the crux of inverse reinforcement learning (IRL). While eliciting learning requirements in the form of scalar reward signals has been shown to effective, such representations lack explainability and lead to opaque learning. We aim to mitigate this situation by presenting a novel IRL method for eliciting declarative learning requirements in the form of a popular formal logic -- Linear Temporal Logic (LTL) -- from a set of traces given by the expert policy. A key novelty of the proposed approach is quantitative semantics of satisfaction of an LTL formula by a word that, following Occam's razor principle, incentivizes simpler explanations. Given a sample $S=(P,N)$ consisting of positive traces $P$ and negative traces $N$, the proposed algorithms automate the search for a formula $\varphi$ which provides the simplest explanation (in the $GF$ fragment of LTL) of the samples. We have implemented this approach as an open-source tool QuantLearn to perform logic-based non-Markovian IRL. Our results demonstrate the feasibility of the proposed approach in eliciting intuitive LTL-based reward signals from noisy data.
△ Less
Submitted 28 February, 2023; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Detailed analysis of excited state systematics in a lattice QCD calculation of $g_A$
Authors:
**chen He,
David A. Brantley,
Chia Cheng Chang,
Ivan Chernyshev,
Evan Berkowitz,
Dean Howarth,
Christopher Körber,
Aaron S. Meyer,
Henry Monge-Camacho,
Enrico Rinaldi,
Chris Bouchard,
M. A. Clark,
Arjun Singh Gambhir,
Christopher J. Monahan,
Amy Nicholson,
Pavlos Vranas,
André Walker-Loud
Abstract:
Excited state contamination remains one of the most challenging sources of systematic uncertainty to control in lattice QCD calculations of nucleon matrix elements and form factors: early time separations are contaminated by excited states and late times suffer from an exponentially bad signal-to-noise problem. High-statistics calculations at large time separations $\gtrsim1$ fm are commonly used…
▽ More
Excited state contamination remains one of the most challenging sources of systematic uncertainty to control in lattice QCD calculations of nucleon matrix elements and form factors: early time separations are contaminated by excited states and late times suffer from an exponentially bad signal-to-noise problem. High-statistics calculations at large time separations $\gtrsim1$ fm are commonly used to combat these issues. In this work, focusing on $g_A$, we explore the alternative strategy of utilizing a large number of relatively low-statistics calculations at short to medium time separations (0.2--1 fm), combined with a multi-state analysis. On an ensemble with a pion mass of approximately 310 MeV and a lattice spacing of approximately 0.09 fm, we find this provides a more robust and economical method of quantifying and controlling the excited state systematic uncertainty. A quantitative separation of various types of excited states enables the identification of the transition matrix elements as the dominant contamination. The excited state contamination of the Feynman-Hellmann correlation function is found to reduce to the 1% level at approximately 1 fm while for the more standard three-point functions, this does not occur until after 2 fm. Critical to our findings is the use of a global minimization, rather than fixing the spectrum from the two-point functions and using them as input to the three-point analysis. We find that the ground state parameters determined in such a global analysis are stable against variations in the excited state model, the number of excited states, and the truncation of early-time or late-time numerical data.
△ Less
Submitted 9 June, 2022; v1 submitted 12 April, 2021;
originally announced April 2021.
-
Scale setting the Möbius Domain Wall Fermion on gradient-flowed HISQ action using the omega baryon mass and the gradient-flow scales $t_0$ and $w_0$
Authors:
Nolan Miller,
Logan C Carpenter,
Evan Berkowitz,
Chia Cheng Chang,
Ben Hörz,
Dean Howarth,
Henry Monge-Camacho,
Enrico Rinaldi,
David A. Brantley,
Christopher Körber,
Chris Bouchard,
M. A. Clark,
Arjun Singh Gambhir,
Christopher J. Monahan,
Amy Nicholson,
Pavlos Vranas,
André Walker-Loud
Abstract:
We report on a sub-percent scale determination using the omega baryon mass and gradient-flow methods. The calculations are performed on 22 ensembles of $N_f=2+1+1$ highly improved, rooted staggered sea-quark configurations generated by the MILC and CalLat Collaborations. The valence quark action used is Möbius Domain-Wall fermions solved on these configurations after a gradient-flow smearing is ap…
▽ More
We report on a sub-percent scale determination using the omega baryon mass and gradient-flow methods. The calculations are performed on 22 ensembles of $N_f=2+1+1$ highly improved, rooted staggered sea-quark configurations generated by the MILC and CalLat Collaborations. The valence quark action used is Möbius Domain-Wall fermions solved on these configurations after a gradient-flow smearing is applied with a flowtime of $t_{\rm gf}=1$ in lattice units. The ensembles span four lattice spacings in the range $0.06 \lesssim a \lesssim 0.15$ fm, six pion masses in the range $130 \lesssim m_π\lesssim 400$ MeV and multiple lattice volumes. On each ensemble, the gradient-flow scales $t_0/a^2$ and $w_0/a$ and the omega baryon mass $a m_Ω$ are computed. The dimensionless product of these quantities is then extrapolated to the continuum and infinite volume limits and interpolated to the physical light, strange and charm quark mass point in the isospin limit, resulting in the determination of $\sqrt{t_0}=0.1422(14)$ fm and $w_0 = 0.1709(11)$ fm with all sources of statistical and systematic uncertainty accounted for. The dominant uncertainty in this result is the stochastic uncertainty, providing a clear path for a few-per-mille uncertainty, as recently obtained by the Budapest-Marseille-Wuppertal Collaboration.
△ Less
Submitted 15 April, 2021; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Computational Enhancement of Molecularly Targeted Contrast-Enhanced Ultrasound: Application to Human Breast Tumor Imaging
Authors:
Andrew A. Berlin,
Mon Young,
Ahmed El Kaffas,
Sam Gambhir,
Amelie Lutz,
Maria Luigia Storto,
Juergen Willmann
Abstract:
Molecularly targeted contrast enhanced ultrasound (mCEUS) is a clinically promising approach for early cancer detection through targeted imaging of VEGFR2 (KDR) receptors. We have developed computational enhancement techniques for mCEUS tailored to address the unique challenges of imaging contrast accumulation in humans. These techniques utilize dynamic analysis to distinguish molecularly bound co…
▽ More
Molecularly targeted contrast enhanced ultrasound (mCEUS) is a clinically promising approach for early cancer detection through targeted imaging of VEGFR2 (KDR) receptors. We have developed computational enhancement techniques for mCEUS tailored to address the unique challenges of imaging contrast accumulation in humans. These techniques utilize dynamic analysis to distinguish molecularly bound contrast agent from other contrast-mode signal sources, enabling analysis of contrast agent accumulation to be performed during contrast bolus arrival when the signal due to molecular binding is strongest.
Applied to the 18 human patient examinations of the first-in-human molecular ultrasound breast lesion study, computational enhancement improved the ability to differentiate between pathology-proven lesion and pathology-proven normal tissue in real-world human examination conditions that involved both patient and probe motion, with improvements in contrast ratio between lesion and normal tissue that in most cases exceed an order of magnitude (10x). Notably, computational enhancement eliminated a false positive result in which tissue leakage signal was misinterpreted by radiologists to be contrast agent accumulation.
△ Less
Submitted 21 June, 2020;
originally announced June 2020.
-
$F_K / F_π$ from Möbius domain-wall fermions solved on gradient-flowed HISQ ensembles
Authors:
Nolan Miller,
Henry Monge-Camacho,
Chia Cheng Chang,
Ben Hörz,
Enrico Rinaldi,
Dean Howarth,
Evan Berkowitz,
David A. Brantley,
Arjun Singh Gambhir,
Christopher Körber,
Christopher J. Monahan,
M. A. Clark,
Bálint Joó,
Thorsten Kurth,
Amy Nicholson,
Kostas Orginos,
Pavlos Vranas,
André Walker-Loud
Abstract:
We report the results of a lattice quantum chromodynamics calculation of $F_K/F_π$ using Möbius domain-wall fermions computed on gradient-flowed $N_f=2+1+1$ highly-improved staggered quark (HISQ) ensembles. The calculation is performed with five values of the pion mass ranging from $130 \lesssim m_π\lesssim 400$ MeV, four lattice spacings of $a\sim 0.15, 0.12, 0.09$ and $0.06$ fm and multiple valu…
▽ More
We report the results of a lattice quantum chromodynamics calculation of $F_K/F_π$ using Möbius domain-wall fermions computed on gradient-flowed $N_f=2+1+1$ highly-improved staggered quark (HISQ) ensembles. The calculation is performed with five values of the pion mass ranging from $130 \lesssim m_π\lesssim 400$ MeV, four lattice spacings of $a\sim 0.15, 0.12, 0.09$ and $0.06$ fm and multiple values of the lattice volume. The interpolation/extrapolation to the physical pion and kaon mass point, the continuum, and infinite volume limits are performed with a variety of different extrapolation functions utilizing both the relevant mixed-action effective field theory expressions as well as discretization-enhanced continuum chiral perturbation theory formulas. We find that the $a\sim0.06$ fm ensemble is helpful, but not necessary to achieve a subpercent determination of $F_K/F_π$. We also include an estimate of the strong isospin breaking corrections and arrive at a final result of $F_{K^\pm}/F_{π^\pm} = 1.1942(45)$ with all sources of statistical and systematic uncertainty included. This is consistent with the Flavour Lattice Averaging Group average value, providing an important benchmark for our lattice action. Combining our result with experimental measurements of the pion and kaon leptonic decays leads to a determination of $|V_{us}|/|V_{ud}| = 0.2311(10)$.
△ Less
Submitted 3 September, 2020; v1 submitted 10 May, 2020;
originally announced May 2020.
-
Assessing Robustness to Noise: Low-Cost Head CT Triage
Authors:
Sarah M. Hooper,
Jared A. Dunnmon,
Matthew P. Lungren,
Sanjiv Sam Gambhir,
Christopher Ré,
Adam S. Wang,
Bhavik N. Patel
Abstract:
Automated medical image classification with convolutional neural networks (CNNs) has great potential to impact healthcare, particularly in resource-constrained healthcare systems where fewer trained radiologists are available. However, little is known about how well a trained CNN can perform on images with the increased noise levels, different acquisition protocols, or additional artifacts that ma…
▽ More
Automated medical image classification with convolutional neural networks (CNNs) has great potential to impact healthcare, particularly in resource-constrained healthcare systems where fewer trained radiologists are available. However, little is known about how well a trained CNN can perform on images with the increased noise levels, different acquisition protocols, or additional artifacts that may arise when using low-cost scanners, which can be underrepresented in datasets collected from well-funded hospitals. In this work, we investigate how a model trained to triage head computed tomography (CT) scans performs on images acquired with reduced x-ray tube current, fewer projections per gantry rotation, and limited angle scans. These changes can reduce the cost of the scanner and demands on electrical power but come at the expense of increased image noise and artifacts. We first develop a model to triage head CTs and report an area under the receiver operating characteristic curve (AUROC) of 0.77. We then show that the trained model is robust to reduced tube current and fewer projections, with the AUROC drop** only 0.65% for images acquired with a 16x reduction in tube current and 0.22% for images acquired with 8x fewer projections. Finally, for significantly degraded images acquired by a limited angle scan, we show that a model trained specifically to classify such images can overcome the technological limitations to reconstruction and maintain an AUROC within 0.09% of the original model.
△ Less
Submitted 28 March, 2020; v1 submitted 17 March, 2020;
originally announced March 2020.
-
Quantum diffraction of position-momentum entangled photons from a sharp edge
Authors:
Samridhi Gambhir,
Mandip Singh
Abstract:
In this paper, an experiment of quantum diffraction of position-momentum entangled photons from a straight sharp edge is presented. Path of a single photon of an entangled pair is partially blocked by a sharp edge whereas the other photon is detected at a stationary location without revealing the which-path information of the other photon. Quantum diffraction pattern of the sharp edge is revealed…
▽ More
In this paper, an experiment of quantum diffraction of position-momentum entangled photons from a straight sharp edge is presented. Path of a single photon of an entangled pair is partially blocked by a sharp edge whereas the other photon is detected at a stationary location without revealing the which-path information of the other photon. Quantum diffraction pattern of the sharp edge is revealed only in the correlated conditional detection of spatially separated photons and no diffraction pattern is formed in local detections of individual photons. Theoretical analysis of the quantum diffraction of position-momentum entangled photons from a sharp edge is also presented in this paper. Experimental measurements of the quantum diffraction pattern are compared with theoretically calculated quantum diffraction pattern of position-momentum entangled photons.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
The Stochastic Feynman-Hellmann Method
Authors:
Arjun Singh Gambhir,
Evan Berkowitz,
David Brantley,
Chia Cheng Chang,
M. A. Clark,
Thorsten Kurth,
Chris Monahan,
Amy Nicholson,
Pavlos Vranas,
André Walker-Loud
Abstract:
The Feynman-Hellmann method, as implemented by Bouchard et al. [1612.06963], was recently employed successfully to determine the nucleon axial charge. A limitation of the method was the restriction to a single operator and a single momentum during the computation of each "Feynman- Hellmann" propagator. By using stochastic techniques to estimate the all-to-all propagator, we relax this constraint a…
▽ More
The Feynman-Hellmann method, as implemented by Bouchard et al. [1612.06963], was recently employed successfully to determine the nucleon axial charge. A limitation of the method was the restriction to a single operator and a single momentum during the computation of each "Feynman- Hellmann" propagator. By using stochastic techniques to estimate the all-to-all propagator, we relax this constraint and demonstrate the successful implementation of this new method. We show reproduction of the axial charge on a test ensemble and non-zero momentum transfer points of the axial and vector form factors.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
Profile-Based Ad Hoc Social Networking Using Wi-Fi Direct on the Top of Android
Authors:
Nagender Aneja,
Sapna Gambhir
Abstract:
Ad-hoc Social Networks have become popular to support novel applications related to location-based mobile services that are of great importance to users and businesses. Unlike traditional social services using a centralized server to fetch location, ad-hoc social network services support infrastructure less real-time social networking. It allows users to collaborate and share views anytime anywher…
▽ More
Ad-hoc Social Networks have become popular to support novel applications related to location-based mobile services that are of great importance to users and businesses. Unlike traditional social services using a centralized server to fetch location, ad-hoc social network services support infrastructure less real-time social networking. It allows users to collaborate and share views anytime anywhere. However, current ad-hoc social network applications are either not available without rooting the mobile phones or don't filter the nearby users based on common interests without a centralized server. This paper presents an architecture and implementation of social networks on commercially available mobile devices that allow broadcasting name and a limited number of keywords representing users' interests without any connection in a nearby region to facilitate matching of interests. The broadcasting region creates a digital aura and is limited by WiFi region that is around 200 meters. The application connects users to form a group based on their profile or interests using peer-to-peer communication mode without using any centralized networking or profile matching infrastructure. The peer-to-peer group can be used for private communication when the network is not available.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Intrinsic nonlinearity of a PN-junction diode and higher order harmonic generation
Authors:
Samridhi Gambhir,
Arvind,
Mandip Singh
Abstract:
Voltage current characteristics of a PN-junction diode are intrinsically nonlinear in nature. It is shown in this paper that a mathematical form of nonlinearity of a PN-junction diode resembles the nonlinear response of electric polarization of a dielectric medium to the electric field. Nonlinearity of a PN-junction can be expressed in a series of successively increasing orders of the nonlinearity…
▽ More
Voltage current characteristics of a PN-junction diode are intrinsically nonlinear in nature. It is shown in this paper that a mathematical form of nonlinearity of a PN-junction diode resembles the nonlinear response of electric polarization of a dielectric medium to the electric field. Nonlinearity of a PN-junction can be expressed in a series of successively increasing orders of the nonlinearity. For a PN-junction diode, higher order nonlinear terms become significant as a voltage across the diode is increased. In this paper, a gradual emergence of a nonlinear regime with the amplitude of a sinusoidal voltage is presented. Higher order harmonics are produced by utilizing the nonlinearity of a single PN-junction diode. An experimental realization of a frequency comb with the highest frequency up to the twentieth harmonics is also presented. In addition, in the same circuit by making the nonlinearity significant up to the second order, an experiment on generation of the sum and difference of frequencies is realized.
△ Less
Submitted 29 June, 2018;
originally announced August 2018.
-
Three-dimensional imaging of a pattern localized in a phase space
Authors:
Mandip Singh,
Samridhi Gambhir
Abstract:
In coventional imaging experiments, objects are localized in a position space and such optically responsive objects can be imaged with a convex lens and can be seen by a human eye. In this paper, we introduce an experiment on a three-dimensional imaging of a pattern which is localized in a three-dimesional phase space. The phase space pattern can not be imaged with a lens in a conventional way and…
▽ More
In coventional imaging experiments, objects are localized in a position space and such optically responsive objects can be imaged with a convex lens and can be seen by a human eye. In this paper, we introduce an experiment on a three-dimensional imaging of a pattern which is localized in a three-dimesional phase space. The phase space pattern can not be imaged with a lens in a conventional way and it can not be seen by a human eye. In this experiment, a phase space pattern is produced from object transparancies and imprinted onto the phase space of an atomic gaseous medium, of doppler broadened absorption profile at room temperature, by utilizing velocity selective hole burning in the absorption profile. The pattern is localized in an unique three dimensional phase space which is a subspace of the six dimensional phase space. Imaging of the localized phase space pattern is performed at different momentum locations. In addition, imaging of the imprinted pattern of an object of nonuniform transmittance is presented.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Diffraction effects in mechanically chopped laser pulses
Authors:
Samridhi Gambhir,
Mandip Singh
Abstract:
A mechanical beam chopper consists of a rotating disc of regularly spaced wide slits which allow light to pass through them. A continuous light beam, after passing through the rotating disc, is switched-on and switched-off periodically, and a series of optical pulses are produced. The intensity of each pulse is expected to rise and fall smoothly with time. However, a careful study has revealed tha…
▽ More
A mechanical beam chopper consists of a rotating disc of regularly spaced wide slits which allow light to pass through them. A continuous light beam, after passing through the rotating disc, is switched-on and switched-off periodically, and a series of optical pulses are produced. The intensity of each pulse is expected to rise and fall smoothly with time. However, a careful study has revealed that the edges of mechanically chopped laser light pulses consist of periodic intensity undulations which can be detected with a photo detector. It has been shown in this paper that the intensity undulations in mechanically chopped laser pulses are produced by diffraction of light from the rotating disc and a detailed explanation of the intensity undulations is given. The experiment provides an efficient method to capture a one dimensional diffraction profile of light from a straight sharp-edge in the time domain. In addition, the experiment accurately measured wavelengths of three different laser beams from the undulations in mechanically chopped laser light pulses.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Nuclear modification of scalar, axial and tensor charges from lattice QCD
Authors:
Emmanuel Chang,
Zohreh Davoudi,
William Detmold,
Arjun S. Gambhir,
Kostas Orginos,
Martin J. Savage,
Phiala E. Shanahan,
Michael L. Wagman,
Frank Winter
Abstract:
Complete flavour decompositions of the scalar, axial and tensor charges of the proton, deuteron, diproton and $^3$He at SU(3)-symmetric values of the quark masses corresponding to a pion mass $m_π\sim806$ MeV are determined using lattice QCD. At the physical quark masses, the scalar charges constrain mean-field models of nuclei and the low-energy interactions of nuclei with potential dark matter c…
▽ More
Complete flavour decompositions of the scalar, axial and tensor charges of the proton, deuteron, diproton and $^3$He at SU(3)-symmetric values of the quark masses corresponding to a pion mass $m_π\sim806$ MeV are determined using lattice QCD. At the physical quark masses, the scalar charges constrain mean-field models of nuclei and the low-energy interactions of nuclei with potential dark matter candidates. The axial and tensor charges of nuclei constrain their spin content, integrated transversity and the quark contributions to their electric dipole moments. External fields are used to directly access the quark-line connected matrix elements of quark bilinear operators, and a combination of stochastic estimation techniques is used to determine the disconnected sea-quark contributions. Significant nuclear modifications are found, with particularly large, O(10%), effects in the scalar charges. Typically, these nuclear effects reduce the effective charge of the nucleon (quenching), although in some cases an enhancement is not excluded. Given the size of the nuclear modifications of the scalar charges resolved here, contributions from correlated multi-nucleon effects should be quantified in the analysis of dark matter direct-detection experiments using nuclear targets.
△ Less
Submitted 13 May, 2018; v1 submitted 8 December, 2017;
originally announced December 2017.
-
First lattice QCD study of the gluonic structure of light nuclei
Authors:
Frank Winter,
William Detmold,
Arjun S. Gambhir,
Kostas Orginos,
Martin J. Savage,
Phiala E. Shanahan,
Michael L. Wagman
Abstract:
The role of gluons in the structure of the nucleon and light nuclei is investigated using lattice quantum chromodynamics (QCD) calculations. The first moment of the unpolarised gluon distribution is studied in nuclei up to atomic number $A=3$ at quark masses corresponding to pion masses of $m_π\sim 450$ and $806$ MeV. Nuclear modification of this quantity defines a gluonic analogue of the EMC effe…
▽ More
The role of gluons in the structure of the nucleon and light nuclei is investigated using lattice quantum chromodynamics (QCD) calculations. The first moment of the unpolarised gluon distribution is studied in nuclei up to atomic number $A=3$ at quark masses corresponding to pion masses of $m_π\sim 450$ and $806$ MeV. Nuclear modification of this quantity defines a gluonic analogue of the EMC effect and is constrained to be less than $\sim 10$% in these nuclei. This is consistent with expectations from phenomenological quark distributions and the momentum sum rule. In the deuteron, the combination of gluon distributions corresponding to the $b_1$ structure function is found to have a small first moment compared with the corresponding momentum fraction. The first moment of the gluon transversity structure function is also investigated in the spin-1 deuteron, where a non-zero signal is observed at $m_π\sim 806$ MeV. This is the first indication of gluon contributions to nuclear structure that can not be associated with an individual nucleon.
△ Less
Submitted 29 November, 2017; v1 submitted 1 September, 2017;
originally announced September 2017.
-
Algorithms for Disconnected Diagrams in Lattice QCD
Authors:
Arjun Singh Gambhir,
Andreas Stathopoulos,
Kostas Orginos,
Boram Yoon,
Rajan Gupta,
Sergey Syritsyn
Abstract:
Computing disconnected diagrams in Lattice QCD (operator insertion in a quark loop) entails the computationally demanding problem of taking the trace of the all to all quark propagator. We first outline the basic algorithm used to compute a quark loop as well as improvements to this method. Then, we motivate and introduce an algorithm based on the synergy between hierarchical probing and singular…
▽ More
Computing disconnected diagrams in Lattice QCD (operator insertion in a quark loop) entails the computationally demanding problem of taking the trace of the all to all quark propagator. We first outline the basic algorithm used to compute a quark loop as well as improvements to this method. Then, we motivate and introduce an algorithm based on the synergy between hierarchical probing and singular value deflation. We present results for the chiral condensate using a 2+1-flavor clover ensemble and compare estimates of the nucleon charges with the basic algorithm.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
Deflation as a Method of Variance Reduction for Estimating the Trace of a Matrix Inverse
Authors:
Arjun Singh Gambhir,
Andreas Stathopoulos,
Kostas Orginos
Abstract:
Many fields require computing the trace of the inverse of a large, sparse matrix. The typical method used for such computations is the Hutchinson method which is a Monte Carlo (MC) averaging over matrix quadratures. To improve its convergence, several variance reductions techniques have been proposed. In this paper, we study the effects of deflating the near null singular value space. We make two…
▽ More
Many fields require computing the trace of the inverse of a large, sparse matrix. The typical method used for such computations is the Hutchinson method which is a Monte Carlo (MC) averaging over matrix quadratures. To improve its convergence, several variance reductions techniques have been proposed. In this paper, we study the effects of deflating the near null singular value space. We make two main contributions.
First, we analyze the variance of the Hutchinson method as a function of the deflated singular values and vectors. Although this provides good intuition in general, by assuming additionally that the singular vectors are random unitary matrices, we arrive at concise formulas for the deflated variance that include only the variance and mean of the singular values. We make the remarkable observation that deflation may increase variance for Hermitian matrices but not for non-Hermitian ones. This is a rare, if not unique, property where non-Hermitian matrices outperform Hermitian ones. The theory can be used as a model for predicting the benefits of deflation.
Second, we use deflation in the context of a large scale application of "disconnected diagrams" in Lattice QCD. On lattices, Hierarchical Probing (HP) has previously provided an order of magnitude of variance reduction over MC by removing "error" from neighboring nodes of increasing distance in the lattice. Although deflation used directly on MC yields a limited improvement of 30% in our problem, when combined with HP they reduce variance by a factor of over 60 compared to MC. For this, we pre-computated 1000 smallest singular values of an ill-conditioned matrix of size 25 million. Using PRIMME and a domain-specific Algebraic Multigrid preconditioner, we perform one of the largest eigenvalue computations in Lattice QCD at a fraction of the cost of our trace computation.
△ Less
Submitted 24 November, 2016; v1 submitted 18 March, 2016;
originally announced March 2016.
-
Improved Sampling Algorithms in Lattice QCD
Authors:
Arjun Singh Gambhir,
Kostas Orginos
Abstract:
Reverse Monte Carlo (RMC) is an algorithm that incorporates stochastic modification of the action as part of the process that updates the fields in a Monte Carlo simulation. Such update moves have the potential of lowering or eliminating potential barriers that may cause inefficiencies in exploring the field configuration space. The highly successful Cluster algorithms for spin systems can be deri…
▽ More
Reverse Monte Carlo (RMC) is an algorithm that incorporates stochastic modification of the action as part of the process that updates the fields in a Monte Carlo simulation. Such update moves have the potential of lowering or eliminating potential barriers that may cause inefficiencies in exploring the field configuration space. The highly successful Cluster algorithms for spin systems can be derived from the RMC framework. In this work we apply RMC ideas to pure gauge theory, aiming to alleviate the critical slowing down observed in the topological charge evolution as well as other long distance observables. We present various formulations of the basic idea and report on our numerical experiments with these algorithms.
△ Less
Submitted 19 June, 2015;
originally announced June 2015.
-
Study of Computer Network Issues and Improvising Drop Rate of TCP Packet Using NS-2
Authors:
Shweta Gambhir,
Kuldeep Tomar
Abstract:
As the enormous use of internet increases day by day so as security concern is also raise day by day over the internet. In this paper we discuss the network security and its related threats and also study the types of protocols and few issues related to protocols in computer networks. We also simulate the design of 5 node wired network scenario, its packet drop rate analysis through TCP protocol u…
▽ More
As the enormous use of internet increases day by day so as security concern is also raise day by day over the internet. In this paper we discuss the network security and its related threats and also study the types of protocols and few issues related to protocols in computer networks. We also simulate the design of 5 node wired network scenario, its packet drop rate analysis through TCP protocol using NS2 as a simulator. Analyzed the performance of 5-node network when the packet is drop down by graphical method also called as Xgraph when rate parameter is in mb and also analyzed the performance of same network by changing the value of rate parameter at same time so no packets would drop down at same time and also analyzed the performance by Xgraph method.
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
A photonic crystal cavity-optical fiber tip nanoparticle sensor for biomedical applications
Authors:
Gary Shambat,
Sri Rajasekhar Kothapalli,
Aman Khurana,
J Provine,
Tomas Sarmiento,
Kai Cheng,
Zhen Cheng,
James Harris,
Heike Daldrup-Link,
Sanjiv Sam Gambhir,
Jelena Vuckovic
Abstract:
We present a sensor capable of detecting solution-based nanoparticles using an optical fiber tip functionalized with a photonic crystal cavity. When sensor tips are retracted from a nanoparticle solution after being submerged, we find that a combination of convective fluid forces and optically-induced trap** cause an aggregation of nanoparticles to form directly on cavity surfaces. A simple read…
▽ More
We present a sensor capable of detecting solution-based nanoparticles using an optical fiber tip functionalized with a photonic crystal cavity. When sensor tips are retracted from a nanoparticle solution after being submerged, we find that a combination of convective fluid forces and optically-induced trap** cause an aggregation of nanoparticles to form directly on cavity surfaces. A simple readout of quantum dot photoluminescence coupled to the optical fiber shows that nanoparticle presence and concentration can be detected through modified cavity properties. Our sensor can detect both gold and iron oxide nanoparticles and can be utilized for molecular sensing applications in biomedicine.
△ Less
Submitted 3 April, 2012;
originally announced April 2012.