Related papers: The rationality problem for multinorm one tori
These are the notes for an undergraduate course at the University of Edinburgh, 2021-2023. Assuming basic knowledge of ring theory, group theory and linear algebra, the notes lay out the theory of field extensions and their Galois groups,…
We prove that a very general complex hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ containing an $r$-plane with multiplicity $m$ is not stably rational for $n \ge 3$, $m, r > 0$ and $n \ge m+r$. We also investigate failure of stable…
Faroldi argues that deontic modals are hyperintensional and thus traditional modal logic cannot provide an appropriate formalization of deontic situations. To overcome this issue, we introduce novel justification logics as hyperintensional…
A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is…
This paper presents a rigorous framework for the continuation of solutions to nonlinear constraints and the simultaneous analysis of the sensitivities of test functions to constraint violations at each solution point using an adjoint-based…
We develop a Galois theory for systems of linear difference equations with periodic parameters, for which we also introduce linear difference algebraic groups. We then apply this to constructively test if solutions of linear q-difference…
Norms with sanctions have been widely employed as a mechanism for controlling and coordinating the behavior of agents without limiting their autonomy. The norms enforced in a multi-agent system can be revised in order to increase the…
Let $(Z,o)$ be a three-dimensional terminal singularity of type $cA/r$. We prove that all exceptional divisors over $o$ with discrepancies $\le 1$ are rational.
We consider a linear runs and tumbles equation in dimension d $\ge$ 1 for which we establish the existence of a unique positive and normalized steady state as well as its asymptotic stability, improving similar results obtained by Calvez et…
Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…
We characterize the global hypoellipticity, almost hypoellipticity and solvability for a class of systems of real vector fields on the (n + 1)-dimensional torus as well as the same properties about the sum of squares associated to the…
Free-text rationales play a pivotal role in explainable NLP, bridging the knowledge and reasoning gaps behind a model's decision-making. However, due to the diversity of potential reasoning paths and a corresponding lack of definitive…
We extend Theorem 1 of R. Reams, A Galois approach to m-th roots of matrices with rational entries, LAA 258 (1997), 187-194. Let $p(\lambda)$ be any polynomial over $\mathbb{Q}$ and let $A\in M_n(\mathbb{Q})$ have irreducible characteristic…
Following earlier results of Sondow, we propose another criterion of irrationality for Euler's constant $\gamma$. It involves similar linear combinations of logarithm numbers $L\_{n,m}$. To prove that $\gamma$ is irrational, it suffices to…
In this paper we prove the validity of Gibbons' conjecture for a coupled competing Gross-Pitaevskii system. We also provide sharp a priori bounds, regularity results and additional Liouville-type theorems.
We generalize the theory of ordering character triples, developed by Navarro and Sp\"ath, by taking into account the action of Galois automorphisms on characters. This new technique, together with previous results of Ladisch and Turull,…
In the context of differential fields of characteristic zero with several commuting derivations, we discuss the notion of $\#$-differential equations on parameterized D-torsors and their associated Galois extensions. Using model-theoretic…
We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Tur\'an's theorem, the…
Galois/monodromy groups attached to parametric systems of polynomial equations provide a method for detecting the existence of symmetries in solution sets. Beyond the question of existence, one would like to compute formulas for these…
Rational pairs, recently introduced by Koll\'ar and Kov\'acs, generalize rational singularities to pairs $(X,D)$. Here $X$ is a normal variety and $D$ is a reduced divisor on $X$. Integral to the definition of a rational pair is the notion…