4 papers
Extending Prolog for Quantified Boolean Horn Formulas
Anish Mallick, Anil Shukla
Prolog is a well known declarative programming language based on propositional Horn formulas. It is useful in various areas, including artificial intelligence, automated theorem pr…
Regularity of the density of states of Random Schrödinger Operators
Dhriti Ranjan Dolai, M Krishna, Anish Mallick
In this paper we solve a long standing open problem for Random Schrödinger operators on with i.i.d single site random potentials. We allow a large class of free…
Schrödinger operators with decaying randomness - Pure point spectrum
Anish Mallick, Dhriti Ranjan Dolai
Here we show that for Schrödinger operator with decaying random potential with fat tail single site distribution, the negative spectrum shows a transition from essential spectrum t…
Global multiplicity bounds and Spectral Statistics Random Operators
Anish Mallick, M Krishna
In this paper, we consider Anderson type operators on a separable Hilbert space where the random perturbations are finite rank and the random variables have full support on $\mathb…