Related papers: Revisiting Zariski Main Theorem from a constructiv…
Let K be a complete, algebraically closed, nonarchimedean valued field, and let f(z) be a rational function in K(z) of degree d at least 2. We show there is a natural way to assign non-negative integer weights w_f(P) to points of the…
A min-max formula is proved for the minimum of an integer-valued separable discrete convex function where the minimum is taken over the set of integral elements of a box total dual integral (box-TDI) polyhedron. One variant of the theorem…
We review different (reduced) models for thin structures using bending as principal mechanism to undergo large deformations. Each model consists in the minimization of a fourth order energy, potentially subject to a nonconvex constraint.…
The article contains a survey of our results on weakly commensurable arithmetic and general Zariski-dense subgroups, length-commensurable and isospectral locally symmetric spaces and of related problems in the theory of semi-simple agebraic…
As suggested by the title, the aim of this paper is to uncover the vast computational content of classical Nonstandard Analysis. To this end, we formulate a template $\mathfrak{CI}$ which converts a theorem of 'pure' Nonstandard Analysis,…
We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose…
This paper is about the surprising interaction of a foundational result from model theory, about stability of theories, with algorithmic stability in learning. First, in response to gaps in existing learning models, we introduce a new…
Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…
We resolve the Grothendieck-Serre question over an arbitrary base field $k$: for a smooth $k$-group scheme $G$ and a smooth $k$-variety $X$, we show that every generically trivial $G$-torsor over $X$ trivializes Zariski semilocally on $X$.…
We present a method to extend the finite element library FEniCS to solve problems with domains in dimensions above three by constructing tensor product finite elements. This methodology only requires that the high dimensional domain is…
This work applies the ideas of Alekseev and Meinrenken's Non-commutative Chern-Weil Theory to describe a completely combinatorial and constructive proof of the Wheeling Theorem. In this theory, the crux of the proof is, essentially, the…
The existence and multiplicity of positive periodic solutions for second order non-autonomous singular dynamical systems are established with superlinearity or sublinearity assumptions at infinity for an appropriately chosen parameter. Our…
We study the problem of subharmonic bifurcations for analytic systems in the plane with perturbations depending periodically on time, in the case in which we only assume that the subharmonic Melnikov function has at least one zero. If the…
In this paper, we introduce a general family of sequent-style calculi over the modal language and its fragments to capture the essence of all constructively acceptable systems. Calling these calculi \emph{constructive}, we show that any…
The Melnikov method is applied to a class of generalized Ziegler pendulums. We find an analytical form for the separatrix of the system in terms of Jacobian elliptic integrals, holding for a large class of initial conditions and parameters.…
A classic result by Raynaud and Gruson says that the notion of an (infinite dimensional) vector bundle is Zariski local. This result may be viewed as a particular instance (for n = 0) of the locality of more general notions of…
An idea that became unavoidable to study zero entropy symbolic dynamics is that the dynamical properties of a system induce in it a combinatorial structure. An old problem addressing this intuition is finding a structure theorem for…
We study the Zariski closure of points in local deformation rings corresponding to potential semi-stable representations with certain prescribed $p$-adic Hodge theoretic properties. We show in favourable cases that the closure is equal to a…
The purpose of this paper is to introduce a Zariski-like topology on the spectrum of all proper ideals of a ring. We show that the space is T_0, quasi-compact, and every irreducible closed subset has a unique generic point. Furthermore,…
We introduced an $\tilde{\mathcal{A}}$-invariant for quasi-ordinary parameterizations and we consider it to describe quasi-ordinary surfaces with one generalized characteristic exponent admitting a countable moduli.