Related papers: Effective atypical intersections and applications …
The spin-orbital polarization of superconducting excitations in momentum space is shown to provide distinctive marks of unconventional pairing in the presence of inversion symmetry breaking.Taking the prototypical example of an electronic…
In the realm of computer-aided design (CAD) software, the intersection of B-spline surfaces stands as a fundamental operation. Despite the extensive history of surface intersection algorithms, the challenge of handling complex intersection…
The topology of the embedding of the coadjoint orbits of the unitary group U(H) of an in-finite dimensional complex Hilbert space H, as canonically determined subsets of the B-space T_s of symmetric trace class operators, is investigated.…
We discuss the relationships between the Andr\'e-Oort, Andr\'e-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely…
We study ordinary abelian schemes in characteristic $p$ and their moduli spaces from the perspective of char $p$ Mumford--Tate, log Ax--Lindemann, and geometric Andr\'e--Oort conjectures (abbreviated as $\MTT_p$, $\mathrm{logAL}_p$ and…
To any complex algebraic variety endowed with a morphism to a complex affine torus we associate multivariable cohomological Alexander modules, and define natural mixed Hodge structures on their maximal Artinian submodules. The key…
We introduce a geometric realization of noncommutative singularity resolutions. To do this, we first present a new conjectural method of obtaining conventional resolutions using coordinate rings of matrix-valued functions. We verify this…
We consider some Diophantine problems of mixed modular-multiplicative type associated with the Zilber-Pink conjecture. In particular, we prove a finiteness statement for the number of multiplicative relations between singular moduli…
We solve a case of the Abelian Exponential-Algebraic Closedness Conjecture, a conjecture due to Bays and Kirby, building on work of Zilber, which predicts sufficient conditions for systems of equations involving algebraic operations and the…
In this paper we propose a novel approach to aperiodic order in optical science and technology that leverages the intrinsic structural complexity of certain non-polynomial (hard) problems in number theory and cryptography for the…
This paper considers two point boundary value problems for conservative systems defined in multiple coordinate systems, and develops a flexible a-posteriori framework for computer assisted existence proofs. Our framework is applied to the…
The paper proposes a novel hybrid method for solving equilibrium problems and fixed point problems. By constructing specially cutting-halfspaces, in this algorithm, only an optimization program is solved at each iteration without the…
Zilber's Exponential Algebraic Closedness conjecture (also known as Zilber's Nullstellensatz) gives conditions under which a complex algebraic variety should intersect the graph of the exponential map of a semiabelian variety. We prove the…
Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…
We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many…
We study sets of nontypical points under the map $f_\beta \mapsto \beta x $ mod 1, for non-integer $\beta$ and extend our results from [F\"arm, Persson, Schmeling, 2010] in several directions. In particular we prove that sets of points…
We use proof mining techniques to obtain a uniform rate of asymptotic regularity for the instance of the parallel algorithm used by L\'opez-Acedo and Xu to find common fixed points of finite families of $k$-strict pseudocontractive…
We extend our previous algorithm computing the minimum orbital intersection distance (MOID) to include hyperbolic orbits, and mixed combinations ellipse--hyperbola. The MOID is computed by finding all stationary points of the distance…
We give explicit bounds on the intersection number between any curve on a tight multigeodesic and the two ending curves. We use this to construct all tight multigeodesics and so conclude that distances in the curve graph are computable. The…
We show that a simple geometric result suffices to derive the form of the optimal solution in a large class of finite and infinite-dimensional maximum entropy problems concerning probability distributions, spectral densities and covariance…