Related papers: A nonstandard technique in combinatorial number th…

In this paper, we study the convergence of the spectral embeddings obtained from the leading eigenvectors of certain similarity matrices to their population counterparts. We opt to study this convergence in a uniform (instead of average)…

We present a new short proof of Van der Waerden's Theorem about the existence of arbitrarily long monochromatic arithmetic progressions. The proof uses algebra in the compact space of ultrafilters $\beta\N$, but contrarily to the other…

We consider numeration systems where digits are integers and the base is an algebraic number $\beta$ such that $|\beta|>1$ and $\beta$ satisfies a polynomial where one coefficient is dominant in a certain sense. For this class of bases…

We analyze the polynomial solutions of a nonlinear integral equation, generalizing the work of C. Bender and E. Ben-Naim. We show that, in some cases, an orthogonal solution exists and we give its general form in terms of kernel…

We primarily investigate the properties of characteristic polynomials of semimatroids. In particular, we provide a combinatorial interpretation of their coefficients, generalizing the Whitney's Broken Circuit Theorem. We also prove that the…

Motivated by the problem of the existence of bounds on degrees and orders in checking primality of radical (partial) differential ideals, the nonstandard methods of van den Dries and Schmidt ["Bounds in the theory of polynomial rings over…

The piecewise quadratic polynomial collocation is used to approximate the nonlocal model, which generally obtain the {\em nonsymmetric indefinite system} [Chen et al., IMA J. Numer. Anal., (2021)]. In this case, the discrete maximum…

Many common methods for data analysis rely on linear algebra. We provide new results connecting data analysis error to numerical accuracy, which leads to the first meaningful stopping criterion for two way spectral partitioning. More…

Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the…

H. Furstenberg introduced the notion of central set in terms of topological dynamics and established the central set theorem. The essence of central set theorem is that it is the simultaneous extension of van der Waerden's theorem and…

We construct the non-standard complex (and real) numbers using the ultrapower method in the spirit of Cauchy's construction of the real numbers. We show that the non-standard complex numbers are a non-archimedean, algebraically closed…

Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Br\"and\'en and Solus have given sufficient conditions under which the image…

We prove partition regularity of the configuration $x,y,x+y,y/x$ in a strong infinitary form that extends Hindman's Theorem. We study the related issue of partition regularity of configurations involving products of a degree one polynomial…

We present a novel approach that integrates unfitted finite element methods and neural networks to approximate partial differential equations on complex geometries. Easy-to-generate background meshes (e.g., a simple Cartesian mesh) that cut…

Superlevel partitioning is combined with a simple relaxation procedure to construct an iterative technique for solving equations of statistical equilibrium. In treating an $N$-level model atom, the technique avoids the $N^{3}$ scaling in…

Substitution resolution supports the computational character of $\beta$-reduction, complementing its execution with a capture-avoiding exchange of terms for bound variables. Alas, the meta-level definition of substitution, masking a…

We study a generalization of the classical correspondence between homogeneous quadratic polynomials, quadratic forms, and symmetric/alternating bilinear forms to forms in $n$ variables. The main tool is combinatorial polarization, and the…

Interpolation-based techniques become popular in recent years, as they can improve the scalability of existing verification techniques due to their inherent modularity and local reasoning capabilities. Synthesizing Craig interpolants is the…

Let $(M,\scott X) \models \ACA$ be such that $P_\scott X$, the collection of all unbounded sets in $\scott X$, admits a definable complete ultrafilter and let $T$ be a theory extending first order arithmetic coded in $\scott X$ such that…

In this monograph, nonstandard characteristics for many notions from real analysis are obtained and applied. However, only two simple types of atomic formula are used and almost all of the characteristics are shown to hold for a simple…