Source author record

Ming-Chuan Yang

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

1works
1topics
3close collaborators

Published work

1 publications

preprint2015arXiv

On Restricting No-Junta Boolean Function and Degree Lower Bounds by Polynomial Method

Let Fn∗\mathcal{F}_{n}^* be the set of Boolean functions depending on all nn variables. We prove that for any f∈Fn∗f\in \mathcal{F}_{n}^*, f∣xi=0f|_{x_i=0} or f∣xi=1f|_{x_i=1} depends on the remaining n−1n-1 variables, for some variable xix_i. This existent result suggests a possible way to deal with general Boolean functions via its subfunctions of some restrictions. As an application, we consider the degree lower bound of representing polynomials over finite rings. Let f∈Fn∗f\in \mathcal{F}_{n}^* and denote the exact representing degree over the ring Zm\mathbb{Z}_m (with the integer m>2m>2) as dm(f)d_m(f). Let m=Πi=1rpieim=Π_{i=1}^{r}p_i^{e_i}, where pip_i's are distinct primes, and rr and eie_i's are positive integers. If ff is symmetric, then m⋅dp1e1(f)...dprer(f)>nm\cdot d_{p_1^{e_1}}(f)... d_{p_r^{e_r}}(f) > n. If ff is non-symmetric, by the second moment method we prove almost always m⋅dp1e1(f)...dprer(f)>lg⁡n−1m\cdot d_{p_1^{e_1}}(f)... d_{p_r^{e_r}}(f) > \lg{n}-1. In particular, as m=pqm=pq where pp and qq are arbitrary distinct primes, we have dp(f)dq(f)=Ω(n)d_p(f)d_q(f)=Ω(n) for symmetric ff and dp(f)dq(f)=Ω(lg⁡n−1)d_p(f)d_q(f)=Ω(\lg{n}-1) almost always for non-symmetric ff. Hence any nn-variate symmetric Boolean function can have exact representing degree o(n)o(\sqrt{n}) in at most one finite field, and for non-symmetric functions, with o(lg⁡n)o(\sqrt{\lg{n}})-degree in at most one finite field.

Research graph

See the researcher in context

Open full explorer

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.