Related papers: Conjugacy search problem and the Andrews-Curtis co…
We investigate a class of general combinatorial graph problems, including MAX-CUT and community detection, reformulated as quadratic objectives over nonconvex constraints and solved via the alternating direction method of multipliers…
Grover's search algorithm is the optimal quantum algorithm that can search an unstructured database quadratically faster than any known classical algorithm. The role of entanglement and correlations in the search algorithm have been studied…
Equational theories that contain axioms expressing associativity and commutativity (AC) of certain operators are ubiquitous. Theorem proving methods in such theories rely on well-founded orders that are compatible with the AC axioms. In…
This paper introduces an efficient algorithm for finding the dominant generalized eigenvectors of a pair of symmetric matrices. Combining tools from approximation theory and convex optimization, we develop a simple scalable algorithm with…
Although the conjugacy classes of the general linear group are known, it is not obvious (from the canonic form of matrices) that two permutation matrices are similar if and only if they are conjugate as permutations in the symmetric group,…
The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Kim and Lee showed, by using Curtiss' theorem and moment generating functions, how to prove a…
The classification of Curtis-Tits amalgams with {connected}, triangle free, simply-laced diagram over a field of size at least $4$ was completed in~\cite{BloHof2014b}. Orientable amalgams are those arising from applying the Curtis-Tits…
Outer automorphisms of symmetries ("symmetries of symmetries") in relativistic quantum field theories are studied, including charge conjugation (C), space-reflection (P) , and time-reversal (T) transformations. The group theory of outer…
Motivated by nonconvex, inconsistent feasibility problems in imaging, the relaxed alternating averaged reflections algorithm, or relaxed Douglas-Rachford algorithm (DR$\lambda$), was first proposed over a decade ago. Convergence results for…
We present an extension of Adiabatic Quantum Computing (AQC) algorithm for the unstructured search to the case when the number of marked items is unknown. The algorithm maintains the optimal Grover speedup and includes a small counting…
We study conformal field theories (CFTs) on curved spaces including both orientable and unorientable manifolds possibly with boundaries. We first review conformal transformations on curved manifolds. We then compute the identity components…
We study an analogue of the conjugacy growth function in finitely generated groups: the automorphic growth function. This counts the number of automorphic orbits that intersect the ball of radius $n$ in the group. We show that this is not a…
Solution and analysis of mathematical programming problems may be simplified when these problems are symmetric under appropriate linear transformations. In particular, a knowledge of the symmetries may help reduce the problem dimension, cut…
Existing rigorous convergence guarantees for the Hamiltonian Monte Carlo (HMC) algorithm use Gaussian auxiliary momentum variables, which are crucially symmetrically distributed. We present a novel convergence analysis for HMC utilizing new…
We define a new congruence relation on the set of integers, leading to a group similar to the multiplicative group of integers modulo $n$. It makes use of a symmetry almost omnipresent in modular multiplications and halves the number of…
Numerical codes based on a direct implementation of the standard ADM formulation of Einstein's equations have generally failed to provide long-term stable and convergent evolutions of black hole spacetimes when excision is used to remove…
The canonical ADM equations are solved in terms of the conformal factor in the instantaneous York gauge. A simple derivation is given for the solution of the two body problem. A geometrical characterization is given for the apparent…
The conjugacy classes of the involutive automorphisms of the affine Kac-Moody algebras \Cli\ for $\ell\geq 2$ are determined using the matrix formulation of automorphisms of an affine Kac-Moody algebra.
We give a classification into conjugacy classes of subalgebras of the symmetry algebra generated by the Zabolotskaya-Khokhlov equation, and obtain all similarity reductions of this equation into $(1+1)$-dimensional equations. We thus show…
Let A be a finite abelian group. We set up an algebraic framework for studying A-equivariant complex-orientable cohomology theories in terms of a suitable kind of equivariant formal groups. We compute the equivariant cohomology of many…