Source author record

Zarathustra Brady

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA Computational Complexity Computational Geometry math.DG math.FA math.LO math.MG

Catalog footprint

Research overview

4works

7topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Symmetric Operations on Domains of Size at Most 4

To convert a fractional solution to an instance of a constraint satisfaction problem into a solution, a rounding scheme is needed, which can be described by a collection of symmetric operations with one of each arity. An intriguing possibility, raised in a recent paper by Carvalho and Krokhin, would imply that any clone of operations on a set $D$ which contains symmetric operations of arities $1, 2, \ldots, \lvert D \rvert$ contains symmetric operations of all arities in the clone. If true, then it is possible to check whether any given family of constraint satisfaction problems is solved by its linear programming relaxation. We characterize all idempotent clones containing symmetric operations of arities $1, 2, \ldots, \lvert D \rvert$ for all sets $D$ with size at most four and prove that each one contains symmetric operations of every arity, proving the conjecture above for $\lvert D \rvert \leq 4$ .

preprint2020arXiv

A hardness of approximation result in metric geometry

We show that it is $\mathsf{NP}$ -hard to approximate the hyperspherical radius of a triangulated manifold up to an almost-polynomial factor.

preprint2020arXiv

Examples, counterexamples, and structure in bounded width algebras

We study bounded width algebras which are minimal in the sense that every proper reduct does not have bounded width. We show that minimal bounded width algebras can be arranged into a pseudovariety with one basic ternary operation. We classify minimal bounded width algebras which have size at most three, and prove a structure theorem for minimal bounded width algebras which have no majority subalgebra, which form a pseudovariety with a commutative binary operation. As a byproduct of our results, we also classify minimal clones which have a Taylor term.

preprint2011arXiv

Inequalities and higher order convexity

We study the following problem: given n real arguments a1, ..., an and n real weights w1, ..., wn, under what conditions does the inequality w1 f(a1) + w2 f(a2) + ... + wn f(an) >= 0 hold for all functions f with nonnegative kth derivative for some given integer k? Using simple combinatorial techniques, we can prove many generalizations of theorems ranging from the Fuchs inequality to the criterion for Schur convexity.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.