• A study of QBF Merge Resolution and MaxSAT Resolution [HBNI Th221] 

  Gaurav Sood (, )

  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
• Higher order corrections and resummation in perturbative QCD[HBNI Th220] 

  Aparna Sankar (, )

  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 ...
• Compilation curation and exploration of natural product spaces to enable traditional knowledge based drug discovery[HBNI Th219] 

  Vivek Ananth R.P (, )
• Around non-vanishing, linear independence and transcendence of L values at rational and integer points[HBNI Th218] 

  Neelam (, )
• Thermo-mechanical response of glassy systems[HBNI Th217] 

  Vinay Vaibhav (, )
• New Directions in Parameterized deletion problems[HBNI Th216] 

  Ashwin Jacob (, )
• Emergent patterns of activity in disordered biological systems: Role of heterogeneities in organizing the collective dynamics of excitable cell-assemblies and tissues[HBNI Th215] 

  Ria Ghosh (, )
• Scattering amplitudes from generalized recursion[HBNI Th214] 

  Arkajyoti Manna (, )

  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 ...
• Exact Renormalization Group and the O(N) Model[HBNI Th213] 

  Semanti Dutta (, )

  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 ...
• Exposome and health: characterization and network-based exploration of diverse environmental chemical spaces[HBNI Th212] 

  Janani, R. (, )

• A study of QBF Merge Resolution and MaxSAT Resolution [HBNI Th221] 

  Gaurav Sood (, )

  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
• Higher order corrections and resummation in perturbative QCD[HBNI Th220] 

  Aparna Sankar (, )

  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 ...
• Compilation curation and exploration of natural product spaces to enable traditional knowledge based drug discovery[HBNI Th219] 

  Vivek Ananth R.P (, )
• Around non-vanishing, linear independence and transcendence of L values at rational and integer points[HBNI Th218] 

  Neelam (, )
• Thermo-mechanical response of glassy systems[HBNI Th217] 

  Vinay Vaibhav (, )
• New Directions in Parameterized deletion problems[HBNI Th216] 

  Ashwin Jacob (, )
• Emergent patterns of activity in disordered biological systems: Role of heterogeneities in organizing the collective dynamics of excitable cell-assemblies and tissues[HBNI Th215] 

  Ria Ghosh (, )
• Scattering amplitudes from generalized recursion[HBNI Th214] 

  Arkajyoti Manna (, )

  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 ...
• Exact Renormalization Group and the O(N) Model[HBNI Th213] 

  Semanti Dutta (, )

  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 ...
• Exposome and health: characterization and network-based exploration of diverse environmental chemical spaces[HBNI Th212] 

  Janani, R. (, )
• Packing and Covering: New paradigms and Algorithms[HBNI Th 211] 

  Abhishek Sahu (, )

  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 ...
• New Algorithmic results using Noncommutative Algebraic Complexity[HBNI Th210] 

  Abhranil Chatterjee (, )

  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 ...
• Algorithms for NP-hard problems in the sublinear-space regime[HBNI Th209] 

  Arindam Biswas (, )

  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 ...
• A study on some arithmetic properties of the Beatty sequences[HBNI Th208] 

  Karthick Babu, C.G. (, )
• Contact-mediated signaling in developmental pattern formation[HBNI Th207] 

  Chandrashekar, K.A. (, )

  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 ...
• Probing structural and orbital properties of binary pulsars [HBNI Th206] 

  Dhruv Pathak (The Institute of Mathematical Sciences, )

  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 ...
• Two restriction problems in the representation theory of symmetric groups [HBNI Th205] 

  Sridhar P. Narayanan (The Institute of Mathematical Sciences, 2021)
• Low Energy Theories of Quantum Magnets: Emergent Descriptions and Order by Singularity [HBNI Th204] 

  Subhankar Khatua (The Institute of Mathematical Sciences, 2021)

  This thesis explores the notion of emergence in quantum magnets. Emergence describes properties of a system that do not resemble the behavior of its microscopic constituents. We argue that a quantum magnet at low energies ...
• Surface Defects from Fractional Branes [HBNI Th203] 

  Sujay Mahato (The Institute of Mathematical Sciences, 2021)

  Surface defects in gauge theories are non-local operators supported on co-dimension two sub manifold. Defects in quantum field theory can provide us with important non- perturbative information eg. di↵erent phase structures ...
• A study of infra-red behaviour of gauge theories involving dark matter [HBNI Th202] 

  Pritam Sen (The Institute of Mathematical Sciences, 2021)

  This thesis concerns the demonstration of infrared (IR) finiteness of a thermal theory of neutrals interacting with charged fermions and scalars to all orders in perturbation theory specifically in the context of theories ...

View more