Related papers: On transversal and $2$-packing numbers in straight…
Linear codes in the projective space $\mathbb{P}_q(n)$, the set of all subspaces of the vector space $\mathbb{F}_q^n$, were first considered by Braun, Etzion and Vardy. The Grassmannian $\mathbb{G}_q(n,k)$ is the collection of all subspaces…
Packing and covering linear programs belong to the narrow class of linear programs that are efficiently solvable in parallel and distributed models of computation, yet are a powerful modeling tool for a wide range of fundamental problems in…
A finite linear space is a finite set of points and lines, where any two points lie on a unique line. Well known examples include projective planes. This project focuses on linear spaces which admit certain types of symmetries. Symmetries…
A set system $\mathcal{F}$ is $t$-\textit{intersecting}, if the size of the intersection of every pair of its elements has size at least $t$. A set system $\mathcal{F}$ is $k$-\textit{Sperner}, if it does not contain a chain of length…
We prove that if $\alpha\in (0,1/2]$, then the packing dimension of a set $E\subset\mathbb{R}^2$ for which there exists a set of lines of dimension $1$ intersecting $E$ in dimension $\ge \alpha$ is at least $1/2+\alpha+c(\alpha)$ for some…
The problem of solving linear systems is one of the most fundamental problems in computer science, where given a satisfiable linear system $(A,b)$, for $A \in \mathbb{R}^{n \times n}$ and $b \in \mathbb{R}^n$, we wish to find a vector $x…
A family of sets $\mathcal{F} \subseteq 2^{[n]}$ is defined to be $l$-trace $k$-Sperner if for any $l$-subset $L$ of $[n]$ the family of traces $\mathcal{F}|_L=\{F \cap L: F \in \mathcal{F}\}$ does not contain any chain of length $k+1$. In…
Orthogonal systems in $\mathrm{L}_2(\mathbb{R})$, once implemented in spectral methods, enjoy a number of important advantages if their differentiation matrix is skew-symmetric and highly structured. Such systems, where the differentiation…
The Boolean lattice $2^{[n]}$ is the family of all subsets of $[n]=\{1,\dots,n\}$ ordered by inclusion, and a chain is a family of pairwise comparable elements of $2^{[n]}$. Let $s=2^{n}/\binom{n}{\lfloor n/2\rfloor}$, which is the average…
Five equivalence classes had been found for systems of two second-order ordinary differential equations, transformable to linear equations (linearizable systems) by a change of variables. An "optimal (or simplest) canonical form" of linear…
In the parameterized problem \textsc{MaxLin2-AA}[$k$], we are given a system with variables $x_1,...,x_n$ consisting of equations of the form $\prod_{i \in I}x_i = b$, where $x_i,b \in \{-1, 1\}$ and $I\subseteq [n],$ each equation has a…
To any solution of a linear system of differential equations, we associate a kernel, correlators satisfying a set of loop equations, and in presence of isomonodromic parameters, a Tau function. We then study their semiclassical expansion…
A central problem of linear algebra is solving linear systems. Regarding linear systems as equations over general semirings (V,otimes,oplus,0,1) instead of rings or fields makes traditional approaches impossible. Earlier work shows that the…
This contribution describes relationship between fractions, projective representation, duality, linear algebra and geometry. Many problems lead to a system of linear equations. This paper presents equivalence of the Cross-product operation…
In their solution to the orchard-planting problem, Green and Tao established a structure theorem which proves that in a line arrangement in the real projective plane with few double points, most lines are tangent to the dual curve of a…
We analyze Hamiltonians linear in the time variable for which the multistate Landau-Zener problem is known to have an exact solution. We show that they either belong to families of mutually commuting Hamiltonians polynomial in time or…
Checking whether a system of linear equations is consistent is a basic computational problem with ubiquitous applications. When dealing with inconsistent systems, one may seek an assignment that minimizes the number of unsatisfied…
Within the class of heterotic line bundle models, we argue that N=1 vacua which lead to a small number of low-energy chiral families are preferred. By imposing an upper limit on the volume of the internal manifold, as required in order to…
A graph is rectilinear planar if it admits a planar orthogonal drawing without bends. While testing rectilinear planarity is NP-hard in general (Garg and Tamassia, 2001), it is a long-standing open problem to establish a tight upper bound…
A system of linear equations in $\mathbb{F}_p^n$ is \textit{Sidorenko} if any subset of $\mathbb{F}_p^n$ contains at least as many solutions to the system as a random set of the same density, asymptotically as $n\to \infty$. A system of…