Related papers: Hardness of monadic second-order formulae over suc…
We construct M-theory curves associated with brane configurations of SU(N), SO(N) and $Sp(2N)$ 5d supersymmetric gauge theories compactified on a circle. From the curves we can account for all the existing different SU(N) field theories…
We consider the bar complex of a monomial non-unital associative algebra $A=k \langle X \rangle / (w_1,...,w_t)$. It splits as a direct sum of complexes $B_w$, defined for any fixed monomial $w=x_1...x_n \in A$. We give a simple argument,…
The matching of global anomalies of a supersymmetric gauge theory and its dual is seen to follow from similarities in their classical chiral rings. These similarities provide a formula for the dimension of the dual gauge group. As examples…
In this work we extend the results of previous derivations of Seiberg-like dualities (level-rank duality) between gauged Wess-Zumino-Witten theories. The arguments in use to identify a potential dual for the supersymmetric WZW theory based…
We give some reductions among problems in (nonnegative) weighted #CSP which restrict the class of functions that needs to be considered in computational complexity studies. Our reductions can be applied to both exact and approximate…
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…
A conjecture in algorithmic model theory predicts that the model-checking problem for first-order logic is fixed-parameter tractable on a hereditary graph class if and only if the class is monadically dependent. Originating in model theory,…
We study the computational problem of checking whether a quantified conjunctive query (a first-order sentence built using only conjunction as Boolean connective) is true in a finite poset (a reflexive, antisymmetric, and transitive directed…
We study the complexity of counting (weighted) planar graph homomorphism problem $\tt{Pl\text{-}GH}(M)$ parametrized by an arbitrary symmetric non-negative real valued matrix $M$. For matrices with pairwise distinct diagonal values, we…
Starting from context-free inverse graphs, we introduce a new class of groups and study their structural properties. We establish closure properties, show that their co-word problems are context-free, analyze torsion elements, and realize…
We study supersymmetric $SO(N_c)$ gauge theories with $N_f$ flavors of quarks in the vector representation. Among the phenomena we find are dynamically generated superpotentials with physically inequivalent branches, smooth moduli spaces of…
We consider the sl(2) current algebra at level k=-4 when the sl(2) BRST operator is nilpotent. We formulate a spectral sequence converging to the cohomology of this BRST operator. At the second term of the spectral sequence, we observe an…
We show that the second coefficient of the Conway knot polynomial is annihilated by the Hamiltonian constraint of canonically quantized general relativity in the loop representation. The calculations are carried out in a fully regularized…
After some definitions, we review in the first part of this talk the construction and classification of classical $W$ (super)algebras symmetries of Toda theories. The second part deals with more recently obtained properties. At first, we…
Mock threshold graphs are a simple generalization of threshold graphs that, like threshold graphs, are perfect graphs. Our main theorem is a characterization of mock threshold graphs by forbidden induced subgraphs. Other theorems…
We study the nonunitary representations of N=2 Super Virasoro algebra for the rational central charges c<3. The resolutions for the irreducible representations of N=2 SVir in terms of the "2-d gravity modules" are obtained and their…
Second-order methods are of great importance for composite convex optimization problems due to their local super-linear convergence rates (under appropriate assumptions). However, the presence of even a simple nonsmooth function in the…
The supercomplexification is a special method of N=2 supersymmetrization of the integrable equations in which the bosonic sector could be reduced to the complex version of these equations. The N=2 supercomplex Korteweg de Vries,…
We introduce constrained polynomial zonotopes, a novel non-convex set representation that is closed under linear map, Minkowski sum, Cartesian product, convex hull, intersection, union, and quadratic as well as higher-order maps. We show…
It follows from the famous Fagin's theorem that all problems in NP are expressible in existential second-order logic (ESO), and vice versa. Indeed, there are well-known ESO characterizations of NP-complete problems such as 3-colorability,…