Related papers: Capra-Convexity, Convex Factorization and Variatio…
The \emph{linear refinement number} $\mathfrak{lr}$ is the minimal cardinality of a centered family in $[\omega]^\omega$ such that no linearly ordered set in $([\omega]^\omega,\subseteq^*)$ refines this family. The \emph{linear excluded…
In this paper, we develop a nonconvex approach to the problem of low-rank and sparse matrix decomposition. In our nonconvex method, we replace the rank function and the $l_{0}$-norm of a given matrix with a non-convex fraction function on…
We define a class of singularity on arbitrary pairs of a normal variety and an effective $\mathbb{R}$-divisor on it, which we call pseudo-lc in this paper. This is a generalization of the usual lc singularity of pairs and log canonical…
We continue the investigation into the computational status of the existence of moduli of regularity (and their use for rates of convergence) in the sense of Kohlenbach, Lopez and Nicolae (2019), carried out w.r.t. classical reverse…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
A Lagrangian method is introduced for calculating simultaneous n-point correlations of a passive scalar advected by a random velocity field, with random forcing and finite molecular diffusivity kappa. The method, which is here presented in…
The approximate Carath\'eodory theorem states that given a compact convex set $\mathcal{C}\subset\mathbb{R}^n$ and $p\in\left[2,+\infty\right[$, each point $x^*\in\mathcal{C}$ can be approximated to $\epsilon$-accuracy in the $\ell_p$-norm…
Deciding whether a given function is quasiconvex is generally a difficult task. Here, we discuss a number of numerical approaches that can be used in the search for a counterexample to the quasiconvexity of a given function $W$. We will…
Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…
We apply the notion of a full convex subcategory to a wide range of algebras including tilted, quasi-tilted, shod, weakly shod, left and right glued, laura, simply connected, strongly simply connected, left supported, and cluster-tilted. In…
The underlying theme of this article is a class of sequences in metric structures satisfying a much weaker kind of Cauchy condition, namely quasi-Cauchy sequences (introduced in \cite{bc}) that has been used to define several new concepts…
In this paper, we continue to study random convex analysis. First, we introduce the notion of an $L^0$--pre--barreled module. Then, we develop the theory of random duality under the framework of a random locally convex module endowed with…
Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to $\kappa$) such that the composition still…
The logarithmic convexity of restrictions of the Beta functions to rays parallel to the main diagonal and the functional equation \[ \phi\left( x+1\right) =\frac{x\left( x+k\right) }{\left( 2x+k+1\right) \left( 2x+k\right) }\phi\left(…
For a normal subvariety $V$ of ${\bf C}^n$ with a good ${\bf C}^*$-action we give a simple characterization for when it has only log canonical, log terminal or rational singularities. Moreover we are able to give formulas for the…
It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…
We introduce the scalar function $C(v)=\pi(1-v^2/c^2)$ as a conformal factor associated, within the model, with longitudinal Lorentz contraction. Extending $C(v)$ to a one-parameter family $C(v,\tau)$, we construct a variational scalar…
Let $E$ be the union of two real intervals not containing zero. Then $L_n^r(E)$ denotes the supremum norm of that polynomial $P_n$ of degree less than or equal to $n$, which is minimal with respect to the supremum norm provided that…
Many models for undirected graphs are based on factorizing the graph's adjacency matrix; these models find a vector representation of each node such that the predicted probability of a link between two nodes increases with the similarity…
The aim of this work is to provide formulae for the subdifferential and the conjungate function of the supremun function over an arbitrary family of functions. The work is principally motivated by the case when data functions are lower…