BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let q,n≥1 be integers, [q]={1,…,q}, and F be a field with ∣F∣≥q. The set of increasing sequences I(n,q)={(f1,f2,…,fn)∈[q]n: f1≤f2≤⋯≤fn} can be mapped via an injective map i:[q]→F into a subset J(n,q) of the affine space Fn. We describe reduced Gröbner bases, standard monomials and Hilbert function of the ideal of polynomials vanishing on J(n,q). As applications we give an interpolation basis for J(n,q), and lower bounds for the size of increasing Kakeya sets, increasing Nikodym sets, and for the size of affine hyperplane covers of J(n,q).
In this paper we give a short, new proof of a natural generalization of Gerzon's bound. This bound improves the Delsarte, Goethals and Seidel's upper bound in a special case. Our proof is a simple application of the linear algebra bound method.
In a recent paper Petrov and Pohoata developed a new algebraic method which combines the Croot-Lev-Pach Lemma from additive combinatorics and Sylvester's Law of Inertia for real quadratic forms. As an application, they gave a simple proof of the Bannai-Bannai-Stanton bound on the size of s-distance sets (subsets $\mbox{$\cal A$}\subseteq {\mathbb R}^n$ which determine at most s different distances). In this paper we extend their work and prove upper bounds for the size of s-distance sets in various real algebraic sets. This way we obtain a novel and short proof for the bound of Delsarte-Goethals-Seidel on spherical s-distance sets and a generalization of a bound by Bannai-Kawasaki-Nitamizu-Sato on s-distance sets on unions of spheres. In our arguments we use the method of Petrov and Pohoata together with some Gröbner basis techniques.
Let W denote a linear space over a fixed field F. We define the notions of weak ISP-system and weak (u,v)-system S={(Ui,Vi): 1≤i≤m} of subspaces of W. We give upper bounds for the size of weak ISP-systems and weak (u,v)-systems.
Let W denote the n-dimensional affine space over the finite field Fq. We prove here a Bollobás-type upper bound in the case of the set of affine subspaces. We give a construction of a pair of families of affine subspaces, which shows that our result is almost sharp.
Our main result is a new upper bound for the size of k-uniform, L-intersecting families of sets, where L contains only positive integers. We characterize extremal families in this setting. Our proof is based on the Ray-Chaudhuri--Wilson Theorem. As an application, we give a new proof for the Erdős-Ko-Rado Theorem, improve Fisher's inequality in the uniform case and give an uniform version of the Frankl-Füredi conjecture .
Explicit construction of Ramsey graphs has remained a challenging open problem for a long time. Frankl--Wilson \cite{FW}, Alon \cite{A} and Grolmusz \cite{G2} gave the best explicit constructions of graphs on m vertices with no clique or independent set of size m(1+o(1))41loglogmlogm. We describe here an explicit construction which produces for every integer m>1 a graph on at least m(1+o(1))31loglogmlogm vertices containing neither a clique of size m nor an independent set of size m. In the proof we use the polynomial subspace method and some character theory of the complete symmmetric group.
This article provides a gentle introduction for a general mathematical audience to the factorization theory of motion polynomials and its application in mechanism science. This theory connects in a rather unexpected way a seemingly abstract mathematical topic, the non-unique factorization of certain polynomials over the ring of dual quaternions, with engineering applications. Four years after its introduction, it is already clear how beneficial it has been to both fields.
Let $\mbox{ V}(n,d,q)$ stand for the q--ary Hamming spheres. Let $\mbox{ C}\subseteq (q)^n$ denote a tuple system such that $\mbox{ C}\subseteq \cup_{i=0}^s \mbox{ V}(n,d_i,q)$, where d1<…<ds. We give here a general upper bound on the size of a shattered sets of the tuple system $\mbox{ C}$.
Let n be an arbitrary integer, let p be a prime factor of n. Denote by ω1 the pth primitive unity root, ω1:=ep2πi. Define ωi:=ω1i for 0≤i≤p−1 and B:={1,ω1,...,ωp−1}n. Denote by K(n,p) the minimum k for which there exist vectors v1,...,vk∈B such that for any vector w∈B, there is an i, 1≤i≤k, such that vi⋅w=0, where v⋅w is the usual scalar product of v and w. Gröbner basis methods and linear algebra proof gives the lower bound K(n,p)≥n(p−1). Galvin posed the following problem: Let m=m(n) denote the minimal integer such that there exists subsets A1,...,Am of {1,...,4n} with ∣Ai∣=2n for each 1≤i≤n, such that for any subset B⊆[4n] with 2n elements there is at least one i, 1≤i≤m, with Ai∩B having n elements. We obtain here the result m(p)≥p in the case of p>3 primes.
We use the recently introduced factorization theory of motion polynomials over the dual quaternions for the synthesis of closed kinematic loops with six revolute joints that visit four prescribed poses. Our approach admits either no or a one-parametric family of solutions. We suggest strategies for picking good solutions from this family.
In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a one-parametric mobility. We demonstrate the usefulness of bond theory by giving a new and transparent proof for the well-known classification of overconstrained 5R linkages.
Given a generic rational curve C in the group of Euclidean displacements we construct a linkage such that the constrained motion of one of the links is exactly C. Our construction is based on the factorization of polynomials over dual quaternions. Low degree examples include the Bennett mechanisms and contain new types of overconstrained 6R-chains as sub-mechanisms.
For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflexive order polytopes, and to the Birkhoff polytope.
Let P be a finite poset. Let L:=J(P) denote the lattice of order ideals of P. Let bi(L) denote the number of Boolean intervals of L of rank i. We construct a simple graph G(P) from our poset P. Denote by fi(P) the number of the cliques Ki+1, contained in the graph G(P). Our main results are some linear equations connecting the numbers fi(P) and bi(L). We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.
V. Golyshev conjectured that for any smooth polytope P of dimension at most five, the roots $z\in\C$ of the Ehrhart polynomial for P have real part equal to -1/2. An elementary proof is given, and in each dimension the roots are described explicitly. We also present examples which demonstrate that this result cannot be extended to dimension six.
Let n≥1, 0≤t≤(2n) be arbitrary integers. Define the numbers In(t) as the number of permutations of [n] with t inversions. Let n,d≥1 and 0≤t≤(d−1)n be arbitrary integers. Define {\em the polynomial coefficients} H(n,d,t) as the numbers of compositions of t with at most n parts, no one of which is greater than d−1. In our article we give explicit formulas for the numbers In(t) and H(n,d,t) using the theory of Gröbner bases and free resolutions.
My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.