Sabiar Shaikh(The Institute of Mathematical Sciences, 2023)
In this thesis, we study the confinement-deconfinement (CD) transition and the Z 3 symmetry in SU(3)+Higgs theory in 3 + 1 dimensions, using non-perturbative lattice Monte Carlo simulations. In particular, we study the ...
Arindam Mitra(The Institute of Mathematical Sciences, 2023)
Incompatibility of quantum devices is one of the central features of quantum mechanics that makes it distinct from classical physics. Quantum devices are said to be
incompatible if those can not be implemented simultaneously ...
Gaurav Sood(The Institute of Mathematical Sciences, 2023)
In this thesis, we study the proof complexity of two proof systems: (i) Merge
Resolution proof system for Quantified Boolean Formulas (QBFs), and (ii) MaxSAT
Resolution proof system for certifying unsatisfiability
Aparna Sankar(The Institute of Mathematical Sciences, 2022)
This thesis arises in the context of precision physics at hadron colliders. As Large Hadron
Collider (LHC) at CERN is close to its Run-3 phase and the experimental measure-
ments are rapidly progressing with significant ...
Vivek Ananth R.P(The Institute of Mathematical Sciences, 2022)
Endogenous secondary metabolites produced by living organisms are valuable natural products. Such secondary metabolites are produced primarily by plants, fungi and bacteria. Many natural products have been found to have ...
Sabiar Shaikh(The Institute of Mathematical Sciences, 2023)
In this thesis, we study the confinement-deconfinement (CD) transition and the Z 3 symmetry in SU(3)+Higgs theory in 3 + 1 dimensions, using non-perturbative lattice Monte Carlo simulations. In particular, we study the ...
Arindam Mitra(The Institute of Mathematical Sciences, 2023)
Incompatibility of quantum devices is one of the central features of quantum mechanics that makes it distinct from classical physics. Quantum devices are said to be
incompatible if those can not be implemented simultaneously ...
Gaurav Sood(The Institute of Mathematical Sciences, 2023)
In this thesis, we study the proof complexity of two proof systems: (i) Merge
Resolution proof system for Quantified Boolean Formulas (QBFs), and (ii) MaxSAT
Resolution proof system for certifying unsatisfiability
Aparna Sankar(The Institute of Mathematical Sciences, 2022)
This thesis arises in the context of precision physics at hadron colliders. As Large Hadron
Collider (LHC) at CERN is close to its Run-3 phase and the experimental measure-
ments are rapidly progressing with significant ...
Vivek Ananth R.P(The Institute of Mathematical Sciences, 2022)
Endogenous secondary metabolites produced by living organisms are valuable natural products. Such secondary metabolites are produced primarily by plants, fungi and bacteria. Many natural products have been found to have ...
Arkajyoti Manna(The Institute of Mathematical Sciences, 2022)
In last few decades, the S-matrix program of quantum field theory has witnessed a number
of remarkable developments: a) the study of analytic structure of S-matrix has revealed
strikingly new insights in our understanding ...
Semanti Dutta(The Institute of Mathematical Sciences, 2022)
Studying finite cutoff CFT holds much importance in both Condensed Matter Physics and
AdS/CFT conjecture. As lattice systems always have an inherent scale, it is important to
devise a theory that will be valid for all ...
Janani, R.(The Institute of Mathematical Sciences, 2022)
Humans are exposed to environmental chemicals in their everyday life and such exposure can contribute to the incidence of several chronic diseases. Characterization, monitoring and regulation of the ever increasing space ...
Abhishek Sahu(The Institute of Mathematical Sciences, 2022)
Packing and Covering are some of the fundamental problems in graph theory. An H-
P ACKING problem is, given a graph G, what is the maximum number of disjoint graphs in
H one can find in G. Similarly in H-C OVERING problem ...
Abhranil Chatterjee(The Institute of Mathematical Sciences, 2022)
Algebraic Complexity is the study of the complexity of computing multivariate
polynomials where the complexity of a polynomial is the number of arithmetic
operations such as additions, and multiplications required to ...
Arindam Biswas(The Institute of Mathematical Sciences, 2022)
This thesis is a study on the existence of algorithms for NP-hard problems in the interval of algorithmic complexity between linear and logarithmic space. In the early days, much research was conducted on the existence of ...
Chandrashekar, K.A.(The Institute of Mathematical Sciences, 2021)
Processes that break spatial symmetry to produce patterns are at the heart of embryonic
development. These patterns are produced by regulating cell division, migration, differentiation and apoptosis, the four most important ...
Dhruv Pathak(The Institute of Mathematical Sciences, 2021)
The timing analysis of radio pulsars gives many interesting results and
is expected to contribute further in many areas of fundamental physics in
the future. In this connection, it is important to understand the external ...