Related papers: Cut time in sub-Riemannian problem on Engel group
A dynamical Maxwell system is \begin{align*} & e_t={\rm curl\,} h, \quad h_t=-{\rm curl\,} e &&{\rm in}\,\,\Omega \times (0,T) & e|_{t=0}=0,\,\,\,\,h|_{t=0}=0 &&{\rm in}\,\,\Omega & e_\theta =f &&{\rm in}\,\,\, \partial\Omega \times [0,T]…
We describe the quaternionic Heisenberg group in the dimension $7$ as a matrix group. We study the local control of a compatible left-invariant control system. We describe the impact of symmetries of the corresponding sub-Riemannian…
We study the projection of the left-invariant sub-Riemannian structure on the 3D Heisenberg group $G$ to the Heisenberg 3D nil-manifold $M$ -- the compact homogeneous space of $G$ by the discrete Heisenberg group. First we describe…
We significantly improve known time bounds for solving the minimum cut problem on undirected graphs. We use a ``semi-duality'' between minimum cuts and maximum spanning tree packings combined with our previously developed random sampling…
We study the reduction by symmetry for optimality conditions in optimal control problems of left-invariant affine multi-agent control systems, with partial symmetry breaking cost functions for continuous-time and discrete-time systems. We…
We prove the linear stability of subextremal Reissner-Nordstr\"om spacetimes as solutions to the Einstein-Maxwell equation. We make use of a novel representation of gauge-invariant quantities which satisfy a symmetric system of coupled wave…
These notes give an introduction to the equivalence problem of sub-Riemannian manifolds. We first introduce preliminaries in terms of connections, frame bundles and sub-Riemannian geometry. Then we arrive to the main aim of these notes,…
We introduce a variant of modal logic, dubbed EXISTENTIAL COUNTING MODAL LOGIC (ECML), which captures a vast majority of problems known to be tractable in single exponential time when parameterized by treewidth. It appears that all these…
A finite element analysis of a Dirichlet boundary control problem governed by the linear parabolic equation is presented in this article. The Dirichlet control is considered in a closed and convex subset of the energy space $H^1(\Omega…
In this paper, we consider the perturbed solutions with polynomial tail in large velocities for the non-cutoff Boltzmann equation near global Maxwellians in the whole space. The global in time existence is proved in the weighted Sobolev…
In this paper, we consider the cutoff Boltzmann equation near Maxwellian, we proved the global existence and uniqueness for the cutoff Boltzmann equation in polynomial weighted space for all $\gamma \in (-3, 1]$. We also proved initially…
Non-unitary quantum mechanics has been used in the past to study irreversibility, dissipation and decay in a variety of physical systems. In this letter, we propose a general scheme to deal with systems governed by non-Hermitian…
We study an abstract setting for cutting planes for integer programming called the infinite group problem. In this abstraction, cutting planes are computed via cut generating function that act on the simplex tableau. In this function space,…
There is a graph reduction system so that every optimal 1-planar graph can be reduced to an irreducible extended wheel graph, provided the reductions are applied such that the given graph class is preserved. A graph is optimal 1-planar if…
In its most general form, the optimal transport problem is an infinite-dimensional optimization problem, yet certain notable instances admit closed-form solutions. We identify the common source of this tractability as \textit{symmetry} and…
In this paper, we study the control of a class of time-invariant linear ensemble systems whose natural dynamics are linear in the system parameter. This class of ensemble control systems arises from practical engineering and physical…
The minimum cut problem for an undirected edge-weighted graph asks us to divide its set of nodes into two blocks while minimizing the weight sum of the cut edges. In this paper, we engineer the fastest known exact algorithm for the problem.…
This work presents and analyzes space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of parabolic optimal control problems. Using Babu\v{s}ka's theorem, we show well-posedness of…
The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…
Classical (maximal) superintegrable systems in $n$ dimensions are Hamiltonian systems with $2n-1$ independent constants of the motion, globally defined, the maximum number possible. They are very special because they can be solved…