Related papers: Subspace-Invariant AC$^0$ Formulas

Let ${\mathbb C}[x_1,\dots,x_n]_{d+1}$ be the vector space of homogeneous forms of degree $d+1$ on ${\mathbb C}^n$, with $n,d\ge 2$. In earlier articles by J. Alper, M. Eastwood and the author, we introduced a morphism, called $A$, that…

Let $\Lambda$ be any integral lattice in Euclidean space. It has been shown that for every integer $n>0$, there is a hypersphere that passes through exactly $n$ points of $\Lambda$. Using this result, we introduce new lattice invariants and…

Let K be the product O(n_1) x O(n_2) x ... x O(n_r) of orthogonal groups. Let V the r-fold tensor product of defining representations of each orthogonal factor. We compute a stable formula for the dimension of the K-invariant algebra of…

We show that if a nonscalar operator on a separable Hilbert space has a nontrivial invariant subspace, then it has also a nontrivial hyperinvariant subspace. Thus the hyperinvariant subspace problem is equivalent to the invariant subspace…

We show that any semi-direct sum $L$ of Lie algebras with Levi factor $S$ must be perfect if the representation associated with it does not possess a copy of the trivial representation. As a consequence, all invariant functions of $L$ must…

We consider the function $x^{-1}$ that inverses a finite field element $x \in \mathbb{F}_{p^n}$ ($p$ is prime, $0^{-1} = 0$) and affine $\mathbb{F}_{p}$-subspaces of $\mathbb{F}_{p^n}$ such that their images are affine subspaces as well. It…

We study the quantum dynamics of a system of $n$ Abelian ${\cal N}=1$ vector multiplets coupled to $\frac 12 n(n+1)$ chiral multiplets which parametrise the Hermitian symmetric space $\mathsf{Sp}(2n, {\mathbb R})/ \mathsf{U}(n)$. In the…

An algorithm is described to convert Lorentz and gauge invariant expressions in non--Abelian gauge theories with matter into a standard form, consisting of a linear combination of basis invariants. This algorithm is needed for computer…

In this work, we mainly study the one-loop effective action for real scalar theories in non-homogeneous backgrounds in odd dimensions. It is shown that through the method studied in Ref. [1], it is possible to obtain a unified result for…

The halfspace depth is a well studied tool of nonparametric statistics in multivariate spaces, naturally inducing a multivariate generalisation of quantiles. The halfspace depth of a point with respect to a measure is defined as the infimum…

We study representations of lattices of PU(m,1) into PU(n,1). We show that if a representation is reductive and if m is at least 2, then there exists a finite energy harmonic equivariant map from complex hyperbolic m-space to complex…

Chemical space which encompasses all stable compounds is unfathomably large and its dimension scales linearly with the number of atoms considered. The success of machine learning methods suggests that many physical quantities exhibit…

We study quantum corrections to hypersurfaces of dimension $d+1>2$ embedded in generic higher-dimensional spacetimes. Manifest covariance is maintained throughout the analysis and our methods are valid for arbitrary co-dimension and…

In this study, we partially answer the question left open in Rudin's book "Function theory in polydiscs" on the structure of invariant subspaces of the Hardy space $H^2(U^n)$ on the polydisc $U^n$. We completely describe all invariant…

In the Drury-Arveson space, we consider the subspace of functions whose Taylor coefficients are supported in the complement of a set $Y\subset\mathbb{N}^d$ with the property that $Y+e_j\subset Y$ for all $j=1,\dots,d$. This is an easy…

We analyze properties of a map B = f(U) sending a unitary matrix U of size N into a doubly stochastic matrix defined by B_{i,j} = |U_{i,j}|^2. For any U we define its DEFECT, determined by the dimensionality of the space being the image…

We examine the hypothesis that space-time is a product of a continuous four-dimensional manifold times a finite space. A new tensorial notation is developed to present the various constructs of noncommutative geometry. In particular, this…

Consider $m \in \mathbb{N}$ and $\beta \in (1, m + 1]$. Assume that $a\in \mathbb{R}$ can be represented in base $\beta$ using a development in series $a = \sum^{\infty}_{n = 1}x(n)\beta^{-n}$ where the sequence $x = (x(n))_{n \in…

The motivating question for this work is a long standing open problem, posed by Nisan (1991), regarding the relative powers of algebraic branching programs (ABPs) and formulas in the non-commutative setting. Even though the general question…

We study the problem of detecting outlier pairs of strongly correlated variables among a collection of $n$ variables with otherwise weak pairwise correlations. After normalization, this task amounts to the geometric task where we are given…