Related papers: Solutions of definable ODEs with regular separatio…
Statistical physics models with hard constraints, such as the discrete hard-core gas model (random independent sets in a graph), are inherently combinatorial and present the discrete mathematician with a relatively comfortable setting for…
A detailed study of solutions to the first order partial differential equation H(x,y,z_x,z_y)=0, with special emphasis on the eikonal equation z_x^2+z_y^2=h(x,y), is made near points where the equation becomes singular in the sense that…
Taking an elementary and straightforward approach, we develop the concept of a regular value for a smooth map f: O -> P between smooth orbifolds O and P. We show that Sard's theorem holds and that the inverse image of a regular value is a…
We study the Hardy identities and inequalities on Cartan-Hadamard manifolds using the notion of a Bessel pair. These Hardy identities offer significantly more information on the existence/nonexistence of the extremal functions of the Hardy…
We present a new one parameter family of second derivative discontinuous solutions to the simplest scale invariant linear ordinary differential equation. We also point out how the construction could be extended to generate families of…
We investigate some analytic properties of traces of Dirichlet forms with respect to measures satisfying Hardy-type inequality. Among other results we prove convergence of spectra, ordered eigenvalues, eigenfunctions as well as convergence…
Implicit computational complexity is a lively area of theoretical computer science, which aims to provide machine-independent characterizations of relevant complexity classes. % for uniformity with subsequent uses >> 1960s (but feel free to…
We prove an inequality between the conductor and the discriminant for all hyperelliptic curves defined over discretely valued fields $K$ with perfect residue field of characteristic not 2. Specifically, if such a curve is given by $y^2 =…
In the study of ordinary differential equations (ODEs) of the form $\hat{L}[y(x)]=f(x)$, where $\hat{L}$ is a linear differential operator, two related phenomena can arise: resonance, where $f(x)\propto u(x)$ and $\hat{L}[u(x)]=0$, and…
We construct stable periodic solutions for a simple form nonlinear delay differential equation (DDE) with a periodic coefficient. The equation involves one underlying nonlinearity with the multiplicative periodic coefficient. The well-known…
Discrete integrable equations over finite fields are investigated. The indeterminacy of the equation is resolved by treating it over a field of rational functions instead of the finite field itself. The main discussion concerns a…
Solutions of Rough Differential Equations (RDE) may be defined as paths whose increments are close to an approximation of the associated flow. They are constructed through a discrete scheme using a non-linear sewing lemma. In this article,…
Given a finite set of data generated by an unknown ordinary differential equation it is impossible to exactly determine the associated vector field, and hence, bifurcation theory tells us that it is impossible, in general, to correctly…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously…
In this second paper of a series dedicated to type I Howe duality for finite fields, we explicitly describe the eta and zeta correspondences constructed in the first paper in terms of G. Lusztig's parametrization of the irreducible…
We study the Convex Set Disjointness (CSD) problem, where two players have input sets taken from an arbitrary fixed domain~$U\subseteq \mathbb{R}^d$ of size $\lvert U\rvert = n$. Their mutual goal is to decide using minimum communication…
We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$…
We consider the symmetry-breaking steady state bifurcation of a spatially-uniform equilibrium solution of E(2)-equivariant PDEs. We restrict the space of solutions to those that are doubly-periodic with respect to a square or hexagonal…
We give an alternative proof of the theorem of Alikakos-Fusco [AF] concerning existence of heteroclinic solutions to a Hamiltonian ODE system on the whole real line which arises in the theory of phase transitions. Our method is variational…