Showing 1–11 of 11 results for author: Brady, Z

Coarse classification of binary minimal clones

Authors: Zarathustra Brady

Abstract: We classify binary minimal clones into seven categories: affine algebras, rectangular bands, $p$-cyclic groupoids, spirals, non-Taylor partial semilattices, melds, and dispersive algebras. Each category has nice enough properties to guarantee that any clone of one of these types contains a minimal clone of the same type. We classify binary minimal clones into seven categories: affine algebras, rectangular bands, $p$-cyclic groupoids, spirals, non-Taylor partial semilattices, melds, and dispersive algebras. Each category has nice enough properties to guarantee that any clone of one of these types contains a minimal clone of the same type. △ Less

Submitted 29 January, 2023; originally announced January 2023.

Comments: 55 pages, submitted to Journal of Multi-valued Logic and Soft Computing

MSC Class: 08A40 (Primary) 20N02; 08A50 (Secondary)

Notes on CSPs and Polymorphisms

Authors: Zarathustra Brady

Abstract: These are notes from a multi-year learning seminar on the algebraic approach to Constraint Satisfaction Problems (CSPs). The main topics covered are the theory of algebraic structures with few subpowers, the theory of absorbing subalgebras and its applications to studying CSP templates which can be solved by local consistency methods, and the dichotomy theorem for conservative CSP templates. Subse… ▽ More These are notes from a multi-year learning seminar on the algebraic approach to Constraint Satisfaction Problems (CSPs). The main topics covered are the theory of algebraic structures with few subpowers, the theory of absorbing subalgebras and its applications to studying CSP templates which can be solved by local consistency methods, and the dichotomy theorem for conservative CSP templates. Subsections and appendices cover supplementary material. △ Less

Submitted 26 May, 2025; v1 submitted 13 October, 2022; originally announced October 2022.

Comments: 506 pages

MSC Class: 08A70 ACM Class: F.2.2; F.4.1; F.1.3

A Semidefinite Framework for the Sieve

Authors: Zarathustra Brady

Abstract: We describe a semidefinite programming framework for proving upper bounds on concrete sifting problems, and show that the Large Sieve can be interpreted as a special case of this framework. With a small tweak, the Larger Sieve also falls into this framework. We compare the semidefinite approach to the linear programming approach (i.e., the general framework of the combinatorial sieve and the Sel… ▽ More We describe a semidefinite programming framework for proving upper bounds on concrete sifting problems, and show that the Large Sieve can be interpreted as a special case of this framework. With a small tweak, the Larger Sieve also falls into this framework. We compare the semidefinite approach to the linear programming approach (i.e., the general framework of the combinatorial sieve and the Selberg sieve), and show that it has a qualitative advantage in a toy case where the primes are completely independent from each other. No new sieve-theoretic bounds are proved. △ Less

Submitted 5 December, 2021; originally announced December 2021.

MSC Class: 11N35 (Primary) 90C22 (Secondary)

Symmetric Operations on Domains of Size at Most 4

Authors: Zarathustra Brady, Holden Mui

Abstract: 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… ▽ More 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$. △ Less

Submitted 14 February, 2021; originally announced February 2021.

Comments: 28 pages

MSC Class: 08A70; 08B05

Asymptotics of $d$-Dimensional Visibility

Authors: Ezra Erives, Srinivasan Sathiamurthy, Zarathustra Brady

Abstract: We consider the space $[0,n]^3$, imagined as a three dimensional, axis-aligned grid world partitioned into $n^3$ $1\times 1 \times 1$ unit cubes. Each cube is either considered to be empty, in which case a line of sight can pass through it, or obstructing, in which case no line of sight can pass through it. From a given position, some of these obstructing cubes block one's view of other obstructin… ▽ More We consider the space $[0,n]^3$, imagined as a three dimensional, axis-aligned grid world partitioned into $n^3$ $1\times 1 \times 1$ unit cubes. Each cube is either considered to be empty, in which case a line of sight can pass through it, or obstructing, in which case no line of sight can pass through it. From a given position, some of these obstructing cubes block one's view of other obstructing cubes, leading to the following extremal problem: What is the largest number of obstructing cubes that can be simultaneously visible from the surface of an observer cube, over all possible choices of which cubes of $[0,n]^3$ are obstructing? We construct an example of a configuration in which $Ω\big(n^\frac{8}{3}\big)$ obstructing cubes are visible, and generalize this to an example with $Ω\big(n^{d-\frac{1}{d}}\big)$ visible obstructing hypercubes for dimension $d>3$. Using Fourier analytic techniques, we prove an $O\big(n^{d-\frac{1}{d}}\log n\big)$ upper bound in a reduced visibility setting. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 30 pages, 6 figures

Examples, counterexamples, and structure in bounded width algebras

Authors: Zarathustra Brady

Abstract: 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 subalg… ▽ More 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. △ Less

Submitted 14 February, 2020; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: Simplified and generalized the main results about partial semilattices

MSC Class: 08A70; 08B05

A hardness of approximation result in metric geometry

Authors: Zarathustra Brady, Larry Guth, Fedor Manin

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

Submitted 28 June, 2020; v1 submitted 7 August, 2019; originally announced August 2019.

Comments: 21 pages, final version to appear in Selecta Math

Journal ref: Selecta Math. 26 (2020) no. 4 article 54

Chromatic numbers of directed hypergraphs with no "bad" cycles

Authors: Zarathustra Brady

Abstract: Imagine that you are handed a rule for determining whether a cycle in a digraph is "good" or "bad", based on which edges of the cycle are traversed in the forward direction and which edges are traversed in the backward direction. Can you then construct a digraph which avoids having any "bad" cycles, but has arbitrarily large chromatic number? We answer this question when the rule is described in… ▽ More Imagine that you are handed a rule for determining whether a cycle in a digraph is "good" or "bad", based on which edges of the cycle are traversed in the forward direction and which edges are traversed in the backward direction. Can you then construct a digraph which avoids having any "bad" cycles, but has arbitrarily large chromatic number? We answer this question when the rule is described in terms of a finite state machine. The proof relies on Nesetril and Rodl's structural Ramsey theory of posets with a linear extension. As an application, we give a new proof of the Loop Lemma of Barto, Kozik, and Niven in the special case of bounded width algebras. △ Less

Submitted 3 June, 2018; originally announced June 2018.

Comments: 9 pages

MSC Class: 05D10 (Primary) 08B05; 68Q17; 05C15 (Secondary)

General divisor function inequalities and the third cumulant

Authors: Zarathustra Brady

Abstract: We extend a lower bound of Munshi on sums over divisors of a number $n$ which are less than a fixed power of $n$ from the squarefree case to the general case. In the process we prove a lower bound on the entropy of a geometric distribution with finite support, as well as a lower bound on the probability that a random variable is less than its mean given that it satisfies a natural condition relate… ▽ More We extend a lower bound of Munshi on sums over divisors of a number $n$ which are less than a fixed power of $n$ from the squarefree case to the general case. In the process we prove a lower bound on the entropy of a geometric distribution with finite support, as well as a lower bound on the probability that a random variable is less than its mean given that it satisfies a natural condition related to its third cumulant. △ Less

Submitted 14 September, 2015; originally announced September 2015.

MSC Class: 11N37

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, 163(3), 547-560 (2017)

Sums of seven octahedral numbers

Authors: Zarathustra Brady

Abstract: We show that for a large class of cubic polynomials $f$, every sufficiently large number can be written as a sum of seven positive values of $f$. As a special case, we show that every number greater than $e^{10^7}$ is a sum of seven positive octahedral numbers, where an octahedral number is a number of the form $\frac{2x^3+x}{3}$, reducing an open problem due to Pollock to a finite computation. We show that for a large class of cubic polynomials $f$, every sufficiently large number can be written as a sum of seven positive values of $f$. As a special case, we show that every number greater than $e^{10^7}$ is a sum of seven positive octahedral numbers, where an octahedral number is a number of the form $\frac{2x^3+x}{3}$, reducing an open problem due to Pollock to a finite computation. △ Less

Submitted 16 September, 2015; v1 submitted 14 September, 2015; originally announced September 2015.

Comments: Ancillary file added

MSC Class: 11P05

Journal ref: Journal of the London Mathematical Society, Volume 93, Issue 1, 1 February 2016, Pages 244-272

Inequalities and higher order convexity

Authors: Zarathustra Brady

Abstract: 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 criterio… ▽ More 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. △ Less

Submitted 26 August, 2011; originally announced August 2011.

MSC Class: 26A51