Related papers: High Dimensional Expanders and Property Testing
This article presents a differential geometrical method for analyzing sequential test procedures. It is based on the primal result on the conformal geometry of statistical manifold developed in Kumon, Takemura and Takeuchi (2011). By…
We give estimates of the Gromov norm of the top dimensional class in $H_c^4(\mathrm{Isom}(\mathbb{H}_{\mathbb{C}}^2);\mathbb{R})$. As a consequence, we obtain an explicit upper bound for the simplicial volume of closed oriented manifolds…
Modular deductive verification is a powerful technique capable to show that each function in a program satisfies its contract. However, function contracts do not provide a global view of which high-level (e.g. security-related properties of…
Motivated by potential applications in network theory, engineering and computer science, we study $r$-ample simplicial complexes. These complexes can be viewed as finite approximations to the Rado complex which has a remarkable property of…
We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $\Gamma$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$…
Coman, Guedj and Zeriahi proved that, for an ample line bundle $L$ on a projective manifold $X$, any singular positive metric on the line bundle $L|_{V}$ along a subvariety $V \subset X$ can be extended to a global singular positive metric…
We demonstrate the ``peeling property'' of the Weyl tensor in higher dimensions in the case of even dimensions (and with some additional assumptions), thereby providing a first step towards understanding of the general peeling behaviour of…
We introduce a new model for random simplicial complexes which with high probability generates a complex that has a simply-connected double cover. Hence we develop a model for random simplicial complexes with fundamental group…
We prove that if $R$ is a ring that is object unital and strongly graded by a groupoid $\Gamma$, and if $\Delta$ is a wide subgroupoid of $\Gamma$, then $R/R_\Delta$ is separable if and only if, for each $e \in \Gamma_0$, there exist $f \in…
We propose a series-based nonparametric specification test for a regression function when data are spatially dependent, the `space' being of a general economic or social nature. Dependence can be parametric, parametric with increasing…
We solve the derandomized direct product testing question in the low acceptance regime, by constructing new high dimensional expanders that have no small connected covers. We show that our complexes have swap cocycle expansion, which allows…
In this paper we show that a $k$-shellable simplicial complex is the expansion of a shellable complex. We prove that the face ring of a pure $k$-shellable simplicial complex satisfies the Stanley conjecture. In this way, by applying…
In this note, we extend the quasi-projective dimension of finite (that is, finitely generated) modules to homologically finite complexes, and we investigate some of homological properties of this dimension.
In this note, we construct a distal expansion for the structure $(\mathbb{R}; +,<,H)$, where $H\subseteq \mathbb{R}$ is a dense $\mathbb{Q}$-vector space basis of $\mathbb{R}$ (a so-called Hamel basis). Our construction is also an expansion…
Distribution testing deals with what information can be deduced about an unknown distribution over $\{1,\ldots,n\}$, where the algorithm is only allowed to obtain a relatively small number of independent samples from the distribution. In…
Experience shows that the poset of levels (or dimensions) of the topos of presheaves on some elegant Reedy categories may be equipped with a monotone increasing `successor' function which, as the case of simplicial sets shows, is different…
In this paper we present some properties for projective hypersurfaces, smooth and singular, to be criteria for identification. To make the decision with these criteria, we have included procedures written in Singular language.
I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…
A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study various versions of Gromov's question and…
We study sheaves on posets, showing that cosystolic expansion of such sheaves can be derived from local expansion conditions of the sheaf and the poset (typically a high dimensional expander). When the poset at hand is a cell complex, a…