Related papers: On the Relation between Rigging Inner Product and …
Open quantum systems are traditionally described by decomposing the total Hilbert space into a system and an external environment, linked by an explicit interaction Hamiltonian. We propose an alternative framework in which the environment…
This paper is concerned with a backward stochastic linear-quadratic (LQ, for short) optimal control problem with deterministic coefficients. The weighting matrices are allowed to be indefinite, and cross-product terms in the control and…
Many mechanical systems are large and complex, despite being composed of simple subsystems. In order to understand such large systems it is natural to tear the system into these subsystems. Conversely we must understand how to invert this…
To a finite group G one can associate a tower of wreath products S_n[G]. It is well known that the graded direct sum of the Grothendieck groups of the categories of finite dimensional complex representations of these groups can be given the…
The reformulation-linearization technique (RLT) is a prominent approach to constructing tight linear relaxations of non-convex continuous and mixed-integer optimization problems. The goal of this paper is to extend the applicability and…
Cylindrical algebraic decomposition (CAD) is an important tool for the study of real algebraic geometry with many applications both within mathematics and elsewhere. It is known to have doubly exponential complexity in the number of…
We present the Dirac Hamiltonian formalism for a pair of $1$-form fields with a topological-like potential coupled to first-order gravity in three-dimensional spacetime. By considering the complete phase space, we derive the full structure…
Constrained competitive optimization involves multiple agents trying to minimize conflicting objectives, subject to constraints. This is a highly expressive modeling language that subsumes most of modern machine learning. In this work we…
We introduce a master constraint operator $\hat{\mathbf{M}}$ densely defined in the diffeomorphism invariant Hilbert space in loop quantum gravity, which corresponds classically to the master constraint in the programme. It is shown that…
Generators of the algebra of first class functions in a system with second class constraints are found. It is shown that first class functions form algebras with respect to the Dirac bracket and pointwise multiplication.The subspace of…
In this paper, we propose novel algorithms for inferring the Maximum a Posteriori (MAP) solution of discrete pairwise random field models under multiple constraints. We show how this constrained discrete optimization problem can be…
In this paper we discuss how to decompose the constrained generalized discrete-time algebraic Riccati equation arising in optimal control and optimal filtering problems into two parts corresponding to an additive decomposition X=X0+D of…
We analyze a singular theory with first class constraints of an arbitrary stage. Relation among the formulations of the constrained system in terms of complete and extended Hamiltonians is clarified. We replace the extended Hamiltonian…
For any truncated path algebra $\Lambda$ of a quiver, we classify, by way of representation-theoretic invariants, the irreducible components of the parametrizing varieties $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ of the $\Lambda$-modules with…
We focus on controllable disentangled representation learning (C-Dis-RL), where users can control the partition of the disentangled latent space to factorize dataset attributes (concepts) for downstream tasks. Two general problems remain…
The combinatorial integral approximation (CIA) is a solution technique for integer optimal control problems. In order to regularize the solutions produced by CIA, one can minimize switching costs in one of its algorithmic steps. This leads…
Some basic ideas of the Refined Algebraic Quantization scheme are outlined at an intuitive level, using a class of simple models with a single wave equation as quantum constraint. In addition, hints are given how the scheme is applied to…
We analyze the canonical treatment of classical constrained mechanical systems formulated with a discrete time. We prove that under very general conditions, it is possible to introduce nonsingular canonical transformations that preserve the…
We study quantization of a minimally gauged massless Rarita-Schwinger field, by both Dirac bracket and functional integral methods. The Dirac bracket approach in covariant radiation gauge leads to an anticommutator that has a non-singular…
Finding tight bounds on the optimal solution is a critical element of practical solution methods for discrete optimization problems. In the last decade, decision diagrams (DDs) have brought a new perspective on obtaining upper and lower…