Related papers: On the equivalence of linear sets
We show that static data structure lower bounds in the group (linear) model imply semi-explicit lower bounds on matrix rigidity. In particular, we prove that an explicit lower bound of $t \geq \omega(\log^2 n)$ on the cell-probe complexity…
We study special linear systems of surfaces of $\mathbb{P}^3$ interpolating nine points in general position having a quadric as fixed component. By performing degenerations in the blown-up space, we interpret the quadric obstruction in…
Unlike in TFNP, for which there is an abundance of problems capturing natural existence principles which are incomparable (in the black-box setting), Kleinberg et al. [KKMP21] observed that many of the natural problems considered so far in…
We study the following characterization problem. Given a set $T$ of terminals and a $(2^{|T|}-2)$-dimensional vector $\pi$ whose coordinates are indexed by proper subsets of $T$, is there a graph $G$ that contains $T$, such that for all…
In this paper we focus on the description of the automorphism group $\Gamma_{\parallel}$ of a Clifford-like parallelism $\parallel$ on a $3$-dimensional projective double space…
If $L$ is a semisimple Lie algebra of vector fields on R^N with a split Cartan subalgebra C, then it is proved that the dimension of the generic orbit of C coincides with the dimension of C. As a consequence one obtains a local canonical…
We study some examples when there is actually an equality in the linear algebra bound. When the vectors considered span in fact the entire space. We would like to point out that in some cases this provides some interesting extra information…
We consider a Hamiltonian $\hat H$ with a (partially) continuous spectrum and examine the zero-overlap condition which involves the projection onto exact continuum eigenstates of a set of pseudostates obtained from the diagonalization of…
We study representations of a Leavitt path algebra $L$ of a finitely separated digraph $\Gamma$ over a field. We show that the category of $L$-modules is equivalent to a full subcategory of quiver representations. When $\Gamma$ is a…
$\cal{A}$ point $P \in \Real^n$ is represented in Parallel Coordinates by a polygonal line $\bar{P}$ (see \cite{Insel99a} for a recent survey). Earlier \cite{inselberg85plane}, a surface $\sigma$ was represented as the {\em envelope} of the…
Let $\Sigma$ be Laurent phenomenon (LP) seed of rank $n$, $\mathcal{A}(\Sigma)$, $\mathcal{U}(\Sigma)$ and $\mathcal{L}(\Sigma)$ be its corresponding Laurent phenomenon algebra, upper bound and lower bound respectively. We prove that each…
A permutation $\pi$ contains a permutation $\sigma$ as a pattern if it contains a subsequence of length $|\sigma|$ whose elements are in the same relative order as in the permutation $\sigma$. This notion plays a major role in enumerative…
It is possible to ameliorate the Higgs vacuum stability problem by switching over to two Higgs doublet models (2HDM), ensuring a stable electroweak vacuum up to the Planck scale, even though the top quark mass may be on the high side.…
In this paper, we consider real hypersurfaces $M$ in $\Bbb C^3$ (or more generally, 5-dimensional CR manifolds of hypersurface type) at uniformly Levi degenerate points, i.e. Levi degenerate points such that the rank of the Levi form is…
Sublinear circuits are generalizations of the affine circuits in matroid theory, and they arise as the convex-combinatorial core underlying constrained non-negativity certificates of exponential sums and of polynomials based on the…
Let G=PGL(2,q) be the projective general linear group acting on the projective line P_q. A subset S of G is intersecting if for any pair of permutations \pi,\sigma in S, there is a projective point p in P_q such that p^\pi=p^\sigma. We…
We study $\Sigma^1_2$ definable counterparts for some algebraic equivalent forms of the Continuum Hypothesis. All turn out to be equivalent to "all reals are constructible".
Given a parallel calibration $\phi \in \Omega^p(M)$ on a Riemannian manifold $M$, I prove that the $\phi$--critical submanifolds with nonzero critical value are minimal submanifolds. I also show that the $\phi$--critical submanifolds are…
Revisiting the results by Winternitz [Symmetry in physics, CRM Proc. Lecture Notes 34, American Mathematical Society, Providence, RI, 2004, pp. 215-227], we thoroughly refine his classification of Lie subalgebras of the real order-three…
An abstract, Hales-Jewett type extension of the polynomial van der Waerden Theorem [J. Amer. Math. Soc. 9 (1996),725-753] is established: Theorem. Let r,d,q \in \N. There exists N \in \N such that for any r-coloring of the set of subsets of…