Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
14topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

TorchEsegeta: Framework for Interpretability and Explainability of Image-based Deep Learning Models

Clinicians are often very sceptical about applying automatic image processing approaches, especially deep learning based methods, in practice. One main reason for this is the black-box nature of these approaches and the inherent problem of missing insights of the automatically derived decisions. In order to increase trust in these methods, this paper presents approaches that help to interpret and explain the results of deep learning algorithms by depicting the anatomical areas which influence the decision of the algorithm most. Moreover, this research presents a unified framework, TorchEsegeta, for applying various interpretability and explainability techniques for deep learning models and generate visual interpretations and explanations for clinicians to corroborate their clinical findings. In addition, this will aid in gaining confidence in such methods. The framework builds on existing interpretability and explainability techniques that are currently focusing on classification models, extending them to segmentation tasks. In addition, these methods have been adapted to 3D models for volumetric analysis. The proposed framework provides methods to quantitatively compare visual explanations using infidelity and sensitivity metrics. This framework can be used by data scientists to perform post-hoc interpretations and explanations of their models, develop more explainable tools and present the findings to clinicians to increase their faith in such models. The proposed framework was evaluated based on a use case scenario of vessel segmentation models trained on Time-of-fight (TOF) Magnetic Resonance Angiogram (MRA) images of the human brain. Quantitative and qualitative results of a comparative study of different models and interpretability methods are presented. Furthermore, this paper provides an extensive overview of several existing interpretability and explainability methods.

preprint2021arXiv

Statistical Mechanics of Floquet Quantum Matter: Exact and Emergent Conservation Laws

Equilibrium statistical mechanics rests on the assumption of ergodic dynamics of a system modulo the conservation laws of local observables: extremization of entropy immediately gives Gibbs' ensemble (GE) for energy conserving systems and a generalized version of it (GGE) when the number of local conserved quantities (LCQ) is more than one. Through the last decade, statistical mechanics has been extended to describe the late-time behaviour of periodically driven (Floquet) quantum matter starting from a generic state. The structure built on the fundamental assumptions of ergodicity and identification of the relevant "conservation laws" in this inherently non-equilibrium setting. More recently, it has been shown that the statistical mechanics has a much richer structure due to the existence of {\it emergent} conservation laws: these are approximate but stable conservation laws arising {\it due to the drive}, and are not present in the undriven system. Extensive numerical and analytical results support perpetual stability of these emergent (though approximate) conservation laws, probably even in the thermodynamic limit. This banks on the recent finding of a sharp ergodicity threshold for Floquet thermalization in clean, interacting non-integrable Floquet systems. This opens up a new possibility of stable Floquet engineering in such systems. This review intends to give a theoretical overview of these developments. We conclude by briefly surveying the experimental scenario.

preprint2020arXiv

An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis

Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools and techniques, while providing tight bounds, fail to analyze expressions with more than a few hundred operators, thus unable to cover important practical problems. In this work, we present Satire, a new tool that sheds light on how scalability and bound-tightness can be attained through a combination of incremental analysis, abstraction, and judicious use of concrete and symbolic evaluation. Satire has handled problems exceeding 200K operators. We present Satire's underlying error analysis approach, information-theoretic abstraction heuristics, and a wide range of case studies, with evaluation covering FFT, Lorenz system of equations, and various PDE stencil types. Our results demonstrate the tightness of Satire's bounds, its acceptable runtime, and valuable insights provided.

preprint2020arXiv

Disorder-induced Enhancement of Entanglement Growth in One Dimension: Information Leakage at the scale of localization length

When a group of compactly packed free fermions is allowed to spread over an empty one-dimensional lattice, the spreading particles can create entanglement between different parts of the lattice. We show, though breaking of translational invariance (TI) of the lattice by disorder slows down the spreading of local observables, the entanglement entropy of a subsystem can nonetheless receive a remarkable enhancement as long as the subsystem lies within the single-particle localization length. We show, the main mechanism behind this enhancement is the re-entrant exchange of particles between the subparts due to transport of mutual information due to back scattering. We discuss the length and time scales relevant to the phenomenon. We study the phenomenon for breaking of TI by both quasi-periodic and random potentials. We further explore the effect of randomness only in the initial state. This also exhibits a similar enhancement effect even in a TI lattice. We also touch upon the special case of periodic potential, where qualitatively similar phenomenology emerges, though the coherence in the back scattering in this case leads to effects not captured by our simple yet generic picture.

preprint2020arXiv

FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation

We present FPDetect, a low overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline analysis that tightly estimates the number of floating-point bits preserved across stencil applications. This estimate rigorously bounds the values expected in the data space of the computation. Violations of this bound can be attributed with certainty to errors. FPDetect helps synthesize error detectors customized for user-specified levels of accuracy and coverage. FPDetect also enables overhead reduction techniques based on deploying these detectors coarsely in space and time. Experimental evaluations demonstrate the practicality of our approach.

preprint2010arXiv

Exotic Freezing of Response in Quantum Many-Body System

We show that when a quantum many-body system is subjected to coherent periodic driving, the response may exhibit exotic freezing behavior in high driving frequency ($ω$) regime. In a periodically driven classical thermodynamic system, freezing at high $ω$ occurs when $1/ω$ is much smaller than the characteristic relaxation time of the system, and hence the freezing always increases there as $ω$ is increased. Here, in the contrary, we see surprising non-monotonic freezing behavior of the response with $ω$, showing curious peak-valley structure. Quite interestingly, the entire system tends to freeze almost absolutely (the freezing peaks) when driven with a certain combination of driving parameters values (amplitude and $ω$) due to coherent suppression of dynamics of the quantum many-body modes, which has no classical analog. We demonstrate this new freezing phenomenon analytically (supported by large-scale numerics) for a general class of integrable quantum spin systems.

preprint2008arXiv

Non-classical Role of Potential Energy in Adiabatic Quantum Annealing

Adiabatic quantum annealing is a paradigm of analog quantum computation, where a given computational job is converted to the task of finding the global minimum of some classical potential energy function and the search for the global potential minimum is performed by employing external kinetic quantum fluctuations and subsequent slow reduction (annealing) of them. In this method, the entire potential energy landscape (PEL) may be accessed simultaneously through a delocalized wave-function, in contrast to a classical search, where the searcher has to visit different points in the landscape (i.e., individual classical configurations) sequentially. Thus in such searches, the role of the potential energy might be significantly different in the two cases. Here we discuss this in the context of searching of a single isolated hole (potential minimum) in a golf-course type gradient free PEL. We show, that the quantum particle would be able to locate the hole faster if the hole is deeper, while the classical particle of course would have no scope to exploit the depth of the hole. We also discuss the effect of the underlying quantum phase transition on the adiabatic dynamics.

preprint2008arXiv

Quantum Annealing and Analog Quantum Computation

We review here the recent success in quantum annealing, i.e., optimization of the cost or energy functions of complex systems utilizing quantum fluctuations. The concept is introduced in successive steps through the studies of mapping of such computationally hard problems to the classical spin glass problems. The quantum spin glass problems arise with the introduction of quantum fluctuations, and the annealing behavior of the systems as these fluctuations are reduced slowly to zero. This provides a general framework for realizing analog quantum computation.