BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Anish Mallick

Anish Mallick appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.SPData Structures and AlgorithmsLogic in Computer Sciencemath-phmath.MPProgramming Languages

Catalog footprint

What is connected

3works
6topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

3 published item(s)

preprint2021arXiv

Extending Prolog for Quantified Boolean Horn Formulas

Prolog is a well known declarative programming language based on propositional Horn formulas. It is useful in various areas, including artificial intelligence, automated theorem proving, mathematical logic and so on. An active research area for many years is to extend Prolog to larger classes of logic. Some important extensions of it includes the constraint logic programming, and the object oriented logic programming. However, it cannot solve problems having arbitrary quantified Horn formulas. To be precise, the facts, rules and queries in Prolog are not allowed to have arbitrary quantified variables. The paper overcomes this major limitations of Prolog by extending it for the quantified Boolean Horn formulas. We achieved this by extending the SLD-resolution proof system for quantified Boolean Horn formulas, followed by proposing an efficient model for implementation. The paper shows that the proposed implementation also supports the first-order predicate Horn logic with arbitrary quantified variables. The paper also introduces for the first time, a declarative programming for the quantified Boolean Horn formulas.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Global multiplicity bounds and Spectral Statistics Random Operators

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 $\mathbb{R}$. We show that spectral multiplicity has a uniform lower bound whenever the lower bound is given on a set of positive Lebesgue measure on the point spectrum away from the continuous one. We also show a deep connection between the multiplicity of pure point spectrum and local spectral statistics, in particular, we show that spectral multiplicity higher than one always gives non-Poisson local statistics in the framework of Minami theory. In particular, in higher rank Anderson models with pure-point spectrum, with the randomness having support equal to $\mathbb{R}$, there is a uniform lower bound on spectral multiplicity and in case this is larger than one the local statistics is not Poisson.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Regularity of the density of states of Random Schrödinger Operators

In this paper we solve a long standing open problem for Random Schrödinger operators on $L^2(\mathbb{R}^d)$ with i.i.d single site random potentials. We allow a large class of free operators, including magnetic potential, however our method of proof works only for the case when the random potentials satisfy a complete covering condition. We require that the supports of the random potentials cover $\mathbb{R}^d$ and the bump functions that appear in the random potentials form a partition of unity. For such models, we show that the Density of States (DOS) is $m$ times differentiable in the part of the spectrum where exponential localization is valid, if the single site distribution has compact support and has Hölder continuous $m+1$ st derivative. The required Hölder continuity depends on the fractional moment bounds satisfied by appropriate operator kernels. Our proof of the Random Schrödinger operator case is an extensions of our proof for Anderson type models on $\ell^2(\mathbb{G})$, $\mathbb{G}$ a countable set, with the property that the cardinality of the set of points at distance $N$ from any fixed point grows at some rate in $N^α, α>0$. This condition rules out the Bethe lattice, where our method of proof works but the degree of smoothness also depends on the localization length, a result we do not present here. Even for these models the random potentials need to satisfy a complete covering condition. The Anderson model on the lattice for which regularity results were known earlier also satisfies the complete covering condition.

0 citations0 reviewsNo code linkedOpen access