Related papers: On the equivalence of linear sets

Given the projections of two semialgebraic sets defined by polynomial matrix inequalities, it is in general difficult to determine whether one is contained in the other. To address this issue we propose a new matrix Positivstellensatz that…

Quasi-Hermitian quantum systems, including $\mathcal{PT}$-symmetric ones, can be mapped to equivalent Hermitian systems via a similarity transformation that redefines the inner product with a positive-definite metric operator. Although an…

A work of Sorensen is rewritten here to include nontrivial types at the infinite places. This extends results of K. Ribet and R. Taylor on level-raising for algebraic modular forms on D^{\times}, where D is a definite quaternion algebra…

Subsystem symmetries are intermediate between global and gauge symmetries. One can treat these symmetries either like global symmetries that act on subregions of a system, or gauge symmetries that act on the regions transverse to the…

The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for $K_2$-algebras \cite{6}, is introduced. It is proved that the congruences of the principal MS-algebras $L$ correspond to the MS-congruence…

Let $\Gamma$ be a metric graph having a linear system $g^r_{2r}$ for some $2 \leq r \leq g-2$ then $\Gamma$ has a linear system $g^1_2$. This is similar to the well-known Clifford's Theorem from the theory of linear systems on smooth…

In this article we provide a combinatorial sufficient (and conjecturally, necessary) condition (called $\alpha$-symmetry) for the mating of two postcritically finite polynomials in $\mathcal{S}_1$ to be obstructed. To do this, we study the…

We consider the sigma models where the base metric is proportional to the metric of the configuration space. We show that the corresponding sigma model equation admits a Lax pair. We also show that this type of sigma models in two…

Consider a real matrix $\Theta$ consisting of rows $(\theta_{i,1},\ldots,\theta_{i,n})$, for $1\leq i\leq m$. The problem of making the system linear forms $x_{1}\theta_{i,1}+\cdots+x_{n}\theta_{i,n}-y_{i}$ for integers $x_{j},y_{i}$ small…

In the setting of CAT(k) spaces, common fixed point iterations built from prox mappings (e.g. prox-prox, Krasnoselsky-Mann relaxations, nonlinear projected-gradients) converge locally linearly under the assumption of linear metric…

Over an infinite field $K$, we investigate the minimal free resolution of some configurations of lines. We explicitly describe the minimal free resolution of "complete grids of lines" and obtain an analogous result about the so-called…

We show that the Harnack inequality for a class of degenerate parabolic quasilinear PDE $$\p_t u=-X_i^* A_i(x,t,u,Xu)+ B(x,t,u,Xu),$$ associated to a system of Lipschitz continuous vector fields $X=(X_1,...,X_m)$ in in $\Om\times (0,T)$…

Let $(X, \Delta)$ be a projective log canonical Calabi-Yau pair and $L$ an ample $\mathbb{Q}$-line bundle on $X$, we show that there is a correspondence between lc places of $(X, \Delta)$ and weakly special test configurations of $(X,…

For a poset $P$, let $\sigma(P)$ and $\Gamma(P)$ respectively denote the lattice of its Scott open subsets and Scott closed subsets ordered by inclusion, and set $\Sigma P=(P,\sigma(P))$. In this paper, we discuss the lower Vietoris…

We give a necessary condition of generic 3 -rigidity of graphs relying on partitioning the edges into 3 subsets; such that each subset-pair gives a generically 2-rigid graph, either by themselves or after an appropriate edge-deletion.…

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…

We define Modular Linear Differential Equations (MLDE) for the level-two congruence subgroups $\Gamma_\vartheta$, $\Gamma^0(2)$ and $\Gamma_0(2)$ of $\text{SL}_2(\mathbb Z)$. Each subgroup corresponds to one of the spin structures on the…

We prove that if two linear codes are equivalent then they are semi-linearly equivalent. We also prove that if two additive MDS codes over a field are equivalent then they are additively equivalent.

In this note we generalize the main result in [DIV: R. Di Gennaro, G. Ilardi, J. Valles, Singular hypersurfaces characterizing the Lefschetz properties J. Lond. Math. Soc. (2) 89 (2014), no. 1, 194-212] on artinian ideals failing Lefschetz…

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…