Related papers: Necessary Conditions for Geometric Realizability o…
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…
For any semiring, the concept of k-congruences is introduced, criteria for k-congruences are established, it is proved that there is an inclusion-preserving bijection between k-congruences and k-ideals, and an equivalent condition for the…
Simplicial arrangements are classical objects in discrete geometry. Their classification remains an open problem but there is a list conjectured to be complete at least for rank three. A further important class in the theory of hyperplane…
Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are $\bullet$ a…
For a simplicial complex K on m vertices and simplicial complexes K1,...,Km a composed simplicial complex K(K1,...,Km) is introduced. This construction generalizes an iterated simplicial wedge construction studied by A. Bahri, M. Bendersky,…
This paper deals with exploiting symmetry for solving linear and integer programming problems. Basic properties of linear representations of finite groups can be used to reduce symmetric linear programming to solving linear programs of…
We provide a sufficient condition for solvability of a system of real quadratic equations $p_i(x)=y_i$, $i=1, \ldots, m$, where $p_i: {\mathbb R}^n \longrightarrow {\mathbb R}$ are quadratic forms. By solving a positive semidefinite…
We give a self-contained introduction to the relations between Integrable Systems and the Geometry of Riemann Surfaces. We start from a historical introduction to the topic of integrable systems. Afterwards, we study the polynomial…
The linearization of complex ordinary differential equations is studied by extending Lie's criteria for linearizability to complex functions of complex variables. It is shown that the linearization of complex ordinary differential equations…
We introduce a general notion of solution for a Noetherian differential $k$-algebra and study its relationship with simplicity, where k is an algebraically closed field; then we analyze conditions under which such solutions may exist and be…
We explicate a procedure to solve general linear differential equations, which connects the desired solutions to monomials x^m of an appropriate degree m. In the process the underlying symmetry of the equations under study, as well as that…
We construct a monomorphism from the differential algebra $k\{x\} / [x^m]$ to a Grassmann algebra endowed with a structure of differential algebra. Using this monomorphism we prove primality of $k\{x\} / [x^m]$ and its algebra of…
We introduce a new `geometric realization' of an (abstract) simplicial complex, inspired by probability theory. This space (and its completion) is a metric space, which has the right (weak) homotopy type, and which can be compared with the…
A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof…
A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|f\sigma \cap f\tau|$ is even for any non-adjacent $k$-faces…
Integrable systems constitute an essential part of modern physics. Traditionally, to approve a model is integrable one has to find its infinitely many symmetries or conserved quantities. In this letter, taking the well known Korteweg-de…
For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this…
Integrability conditions for Lie systems are related to reduction or transformation processes. We here analyse a geometric method to construct integrability conditions for Riccati equations following these approaches. This approach provides…
We say that a list of real numbers is "symmetrically realisable" if it is the spectrum of some (entrywise) nonnegative symmetric matrix. The Symmetric Nonnegative Inverse Eigenvalue Problem (SNIEP) is the problem of characterising all…
For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${\rm CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and…