Related papers: Constraint rescaling in refined algebraic quantisa…
Partition refinement is a method for minimizing automata and transition systems of various types. Recently, a new partition refinement algorithm and associated tool CoPaR were developed that are generic in the transition type of the input…
Global constraints and reranking have not been used in cognates detection research to date. We propose methods for using global constraints by performing rescoring of the score matrices produced by state of the art cognates detection…
We use Dirac's method for the quantization of constrained systems in order to quantize a spatially flat Friedmann-Lema\^{i}tre-Robertson-Walker spacetime in the context of $f(Q)$ cosmology. When the coincident gauge is considered, the…
We employ the machinery of smooth scaling and coarse-graining of observables, developed recently by us in the context of so-called fluctuation operators (inspired by prior work of Verbeure et al) to make a rigorous renormalisation group…
The canonical formalism of the (2+2) formulation of general relativity of 4 spacetime dimensions is studied under no symmetry assumptions, where the spacetime is viewed as a local product of a 2 dimensional base manifold of Lorentzian…
We obtain a general concept of triplet of Hilbert spaces with closed (unbounded) embeddings instead of continuous (bounded) ones. The construction starts with a positive selfadjoint operator $H$, that is called the Hamiltonian of the…
We present a new methodology for utilising machine learning technology in symbolic computation research. We explain how a well known human-designed heuristic to make the choice of variable ordering in cylindrical algebraic decomposition may…
The projectability of Poincar\'e-Cartan forms in a third-order jet bundle $J^3\pi$ onto a lower-order jet bundle is a consequence of the degenerate character of the corresponding Lagrangian. This fact is analyzed using the constraint…
Recent progress in the quantization of nonrenormalizable scalar fields has found that a suitable non-classical modification of the ground state wave function leads to a result that eliminates term-by-term divergences that arise in a…
We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…
Randomized algorithms such as qDRIFT provide an efficient framework for quantum simulation by sampling terms from a decomposition of the system's generator. However, existing error bounds for qDRIFT scale quadratically with the norm of the…
It has become obvious that certain singular phenomena cannot be explained by a mere investigation of the configuration space, defined as the solution set of the loop closure equations. For example, it was observed that a particular 6R…
Random instances of Constraint Satisfaction Problems (CSP's) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of…
Quantization relates Poisson algebras to $C^*$-algebras. The analysis of local gauge symmetries in algebraic quantum field theory is approached through the quantization of classical gauge theories, regarded as constrained dynamical systems.…
We use the reconfiguration framework to analyze problems that involve the rearrangement of items among groups. In various applications, a group of items could correspond to the files or jobs assigned to a particular machine, and the goal of…
Many combinatorial optimisation problems hide algebraic structures that, once exposed, shrink the search space and improve the chance of finding the global optimal solution. We present a general framework that (i) identifies algebraic…
Central issues of the Dirac constraint formalism are discussed in relation to the algorithmic methods of commutative algebra based on the Groebner basis techniques. For a wide class of finite dimensional polynomial degenerate Lagrangian…
We show that the Classical Constraint Algebra of a Parametrized Relativistic Gauge System induces a natural structure of Conformal Foliation on a Transversal Gauge. Using the theory of Conformal Foliations, we provide a natural Factor…
A formalism for the study of highly interacting electronic systems is presented. The proposed scheme is based on two key concepts: composite operators and algebra constraints. Composite field operators, that naturally appear as a…
Using the analytic assembly map that appears in the Baum-Connes conjecture in noncommutative geometry, we generalise the $\Spin^c$-version of the Guillemin-Sternberg conjecture that `quantisation commutes with reduction' to (discrete series…