Related papers: A Structural Criterion for the Applicability of Al…
In this thesis, we construct and classify planar noncommutative phase spaces by the coadjoint orbit method on the anisotropic and absolute time kinematical groups. We show that noncommutative symplectic structures can be generated in the…
The importance of the first-class constraint algebra of general relativity is not limited just by its self-contained description of the gauge nature of spacetime, but it also provides conditions to properly evolve the geometry by selecting…
We study the phase structure and charge transport at finite temperature and chemical potential in the non-Hermitian PT-symmetric holographic model of arXiv:1912.06647. The non-Hermitian PT-symmetric deformation is realized by promoting the…
Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…
We derive universal constraints on $(1+1)d$ rational conformal field theories (CFTs) that can arise as transitions between topological theories protected by a global symmetry. The deformation away from criticality to the trivially gapped…
We introduce an operational framework to analyze non-adiabatic Abelian and non-Abelian, cyclic and non-cyclic, geometric phases in open quantum systems. In order to remove the adiabaticity condition, we generalize the theory of dynamical…
We extend the definition of algebraic entropy to a class of differential-delay equations. The vanishing of the entropy, as a structural property of an equation, signals its integrability. We suggest a simple way to produce…
We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…
For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then…
Fracton theories possess exponentially degenerate ground states, excitations with restricted mobility, and nontopological higher-form symmetries. This paper shows that such theories can be defined on arbitrary spatial lattices in three…
Approximation Fixpoint Theory (AFT) is a powerful theory covering various semantics of non-monotonic reasoning formalisms in knowledge representation such as Logic Programming and Answer Set Programming. Many semantics of such non-monotonic…
We consider a three-dimensional Fourier integral in which the exponent in the exponential factor is the product of some phase function and a large parameter. The asymptotics of this integral is sought when the large parameter tends to…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
An analytical study is taken to investigate the relationship between material softening and structural softening through the use of a model problem in one dimension. With general nonlinear assumptions on the constitutive relations, it turns…
We present an algebraic method for solving the Bethe ansatz equations for the periodic totally asymmetric exclusion process (TASEP) with an arbitrary number of sites and particles. The Bethe ansatz equations are realized as an algebraic…
A formulation of singular classical theories (determined by degenerate Lagrangians) without constraints is presented. A partial Hamiltonian formalism in the phase space having an initially arbitrary number of momenta (which can be smaller…
A broad range of nonlinear processes over networks are governed by threshold dynamics. So far, existing mathematical theory characterizing the behavior of such systems has largely been concerned with the case where the thresholds are…
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
The constraint satisfaction problem (CSP) on a relational structure B is to decide, given a set of constraints on variables where the relations come from B, whether or not there is a assignment to the variables satisfying all of the…