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
A positive-definite integral quadratic form is called regular if it represents every positive integer which is locally represented. In this article, we classify all regular diagonal quadratic forms of rank greater than 3.
Neural processes (NPs) aim to stochastically complete unseen data points based on a given context dataset. NPs essentially leverage a given dataset as a context representation to derive a suitable identifier for a novel task. To improve the prediction accuracy, many variants of NPs have investigated context embedding approaches that generally design novel network architectures and aggregation functions satisfying permutation invariant. In this work, we propose a stochastic attention mechanism for NPs to capture appropriate context information. From the perspective of information theory, we demonstrate that the proposed method encourages context embedding to be differentiated from a target dataset, allowing NPs to consider features in a target dataset and context embedding independently. We observe that the proposed method can appropriately capture context embedding even under noisy data sets and restricted task distributions, where typical NPs suffer from a lack of context embeddings. We empirically show that our approach substantially outperforms conventional NPs in various domains through 1D regression, predator-prey model, and image completion. Moreover, the proposed method is also validated by MovieLens-10k dataset, a real-world problem.
A (positive definite and integral) quadratic form f is said to be universal if it represents all positive integers, and is said to be primitively universal if it represents all positive integers primitively. We also say f is primitively almost universal if it represents almost all positive integers primitively. Conway and Schneeberger proved (see [1]) that there are exactly 204 equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved in [4] that among 204 equivalence classes of universal quaternary quadratic forms, there are exactly 152 equivalence classes of primitively almost universal quaternary quadratic forms. In this article, we prove that there are exactly 107 equivalence classes of primitively universal quaternary quadratic forms. We also determine the set of all positive integers that are not primitively represented by each of the remaining 152−107=45 equivalence classes of primitively almost universal quaternary quadratic forms.
In this paper, we propose a novel benchmark called the StarCraft Multi-Agent Challenges+, where agents learn to perform multi-stage tasks and to use environmental factors without precise reward functions. The previous challenges (SMAC) recognized as a standard benchmark of Multi-Agent Reinforcement Learning are mainly concerned with ensuring that all agents cooperatively eliminate approaching adversaries only through fine manipulation with obvious reward functions. This challenge, on the other hand, is interested in the exploration capability of MARL algorithms to efficiently learn implicit multi-stage tasks and environmental factors as well as micro-control. This study covers both offensive and defensive scenarios. In the offensive scenarios, agents must learn to first find opponents and then eliminate them. The defensive scenarios require agents to use topographic features. For example, agents need to position themselves behind protective structures to make it harder for enemies to attack. We investigate MARL algorithms under SMAC+ and observe that recent approaches work well in similar settings to the previous challenges, but misbehave in offensive scenarios. Additionally, we observe that an enhanced exploration approach has a positive effect on performance but is not able to completely solve all scenarios. This study proposes new directions for future research.
Let P8(x)=3x2−2x. For positive integers a1,a2,…,ak, a polynomial of the form a1P8(x1)+a2P8(x2)+⋯+akP8(xk) is called an octagonal form. For a positive integer n, an octagonal form is called tight T(n)-universal if it represents (over z) every positive integer greater than or equal to n and does not represent any positive integer less than n. In this article, we find all tight T(n)-universal octagonal forms for every n≥2. Furthermore, we provide an effective criterion on tight T(n)-universality of an arbirary octagonal form, which is a generalization of "15-Theorem" of Conway and Schneeberger.
For a positive integer n, the set of all integers greater than or equal to n is denoted by T(n). A sum of generalized m-gonal numbers g is called tight T(n)-universal if the set of all nonzero integers represented by g is equal to T(n). In this article, we prove the existence of a minimal tight T(n)-universality criterion set for a sum of generalized m-gonal numbers for any pair (m,n). To achieve this, we introduce an algorithm giving all candidates for tight T(n)-universal sums of generalized m-gonal numbers for any given pair (m,n). Furthermore, we provide some experimental results on the classification of tight T(n)-universal sums of generalized m-gonal numbers.
A (positive definite primitive integral) quadratic form is called odd-regular if it represents every odd positive integer which is locally represented. In this paper, we show that there are at most 147 diagonal odd-regular ternary quadratic forms and prove the odd-regularities of all but 6 candidates.
A (positive definite and integral) quadratic form is said to be prime-universal if it represents all primes. Recently, Doyle and Williams in [2] classified all prime-universal diagonal ternary quadratic forms, and all prime-universal diagonal quaternary quadratic forms under two conjectures proposed by themselves. In this article, we classify all prime-universal diagonal quadratic forms regardless of ranks. Furthermore, we prove, so called, 67-Theorem for a diagonal quadratic form to be prime-universal.
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.