Related papers: A $\Pi^0_2$ Singleton of Minimal Arithmetic Degree
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
This paper establishes a novel upper bound-termed the arithmetic Singleton bound-on the Hamming distance of any simple-root constacyclic code over a finite field. The key technical ingredient is the notion of multiple equal-difference (MED)…
In this work, we aim at understanding incompleteness in an abstract way via metamathematical properties of formal theories. We systematically examine the relationships between the following twelve important metamathematical properties of…
There are two seemingly unrelated ideals associated with a simplicial complex \Delta. One is the Stanley-Reisner ideal I_\Delta, the monomial ideal generated by minimal non-faces of \Delta, well-known in combinatorial commutative algebra.…
We consider the problem of learning a mixture of Random Utility Models (RUMs). Despite the success of RUMs in various domains and the versatility of mixture RUMs to capture the heterogeneity in preferences, there has been only limited…
Minimum resolution set and associated metric dimension provide the basis for unique and systematic labeling of nodes of a graph using distances to a set of landmarks. Such a distance vector set, however, may not be unique to the graph and…
The Random Projection Tree structures proposed in [Freund-Dasgupta STOC08] are space partitioning data structures that automatically adapt to various notions of intrinsic dimensionality of data. We prove new results for both the RPTreeMax…
We consider the problem of computing matrix polynomials $p(X)$, where $X$ is a large dense matrix, with as few matrix-matrix multiplications as possible. More precisely, let $\Pi_{2^{m}}^*$ represent the set of polynomials computable with…
We consider some natural sets of real numbers arising in ergodic theory and show that they are, respectively, complete in the classes $\mathcal D_2 (\mathbf\Pi^0_3)$ and $\mathcal D_\omega (\mathbf \Pi^0_3)$, that is, the class of sets…
The purpose of this article is to give, for any commutative ring A, an explicit minimal set of generators for the ring of multisymmetric functions TS^d_A(A[x_1,...,x_r]) as an A-algebra. In characteristic zero, i.e. when A is an algebra…
For an extension A/B of neither necessarily associative nor necessarily unital rings, we investigate the connection between simplicity of A with a property that we call A-simplicity of B. By this we mean that there is no non-trivial ideal I…
Recent work proposed $\delta$-relevant inputs (or sets) as a probabilistic explanation for the predictions made by a classifier on a given input. $\delta$-relevant sets are significant because they serve to relate (model-agnostic) Anchors…
This survey provides a practical and algorithmic perspective on Drinfeld modules over $\mathbb F_q[T]$. Starting with the construction of the Carlitz module, we present Drinfeld modules in any rank and some of their arithmetic properties.…
A regularity lemma for polynomials provides a decomposition in terms of a bounded number of approximately independent polynomials. Such regularity lemmas play an important role in numerous results, yet suffer from the familiar shortcoming…
While much of network design focuses mostly on cost (number or weight of edges), node degrees have also played an important role. They have traditionally either appeared as an objective, to minimize the maximum degree (e.g., the Minimum…
If \A is a complex hyperplane arrangement, with complement X, we show that the Chen ranks of G=\pi_1(X) are equal to the graded Betti numbers of the linear strand in a minimal, free resolution of the cohomology ring A=H^*(X,\k), viewed as a…
We exhibit a set of minimal generators of the defining ideal of the Rees Algebra associated to the ideal of three bivariate homogeneous polynomials parametrizing a proper rational curve in projective plane, having a minimal syzygy of degree…
Numerical characteristics of identities of finite-dimensional nonassociative algebras are studied. The main result is the construction of a four-dimensional simple unitary algebra with fractional PI-exponent strictly less than its…
Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…
In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and order. Afterwards, we combine the results from our study of…