Related papers: On Nash-Williams' Theorem regarding sequences with…
Identifying a full basis of operators to a given order is key to the generality of Effective Field Theory (EFT) and is by now a problem of known solution in terms of the Hilbert series. The present work is concerned with hidden symmetry in…
We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of $\text{ATR}_0$) to the existence of transitive models of Kripke-Platek set theory, and thus to $\Pi^1_1$-comprehension. This is a…
We study the Hamiltonian truncation for the two-dimensional $\lambda\phi^4$ theory within the framework of Hamiltonian truncation effective theory, where truncation artifacts are mitigated through a systematic inclusion of corrective terms…
Uhlmann's theorem states that, for any two quantum states $\rho_{AB}$ and $\sigma_A$, there exists an extension $\sigma_{AB}$ of $\sigma_A$ such that the fidelity between $\rho_{AB}$ and $\sigma_{AB}$ equals the fidelity between their…
We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…
In the theory of conditional sets, many classical theorems from areas such as functional analysis, probability theory or measure theory are lifted to a conditional framework, often to be applied in areas such as mathematical economics or…
We develop the theory of transfer and norm maps for finite group schemes, extending classical results from finite group theory to a context where induction and restriction are not necessarily bi-adjoint. In the additive setting, we…
An instructive example is presented to elucidate the mathematical situation in the non-uniqueness problem of the infinite Friedmann-Keller hierarchy of equations for all multi-point moments within the theory of spatially unbounded…
We extend a theory of first order hbar corrections to Gutzwiller's trace formula for systems with a smooth potential to systems with discrete symmetries and, as an example, apply the method to the two-dimensional hydrogen atom in a uniform…
We propose an algorithm which for any recursive group $G$, given by its effectively enumerable generators and recursively enumerable relations, outputs an explicit embedding of $G$ into a finitely presented group directly written by its…
Restriction is a natural quasi-order on $d$-way tensors. We establish a remarkable aspect of this quasi-order in the case of tensors over a fixed finite field -- namely, that it is a well-quasi-order: it admits no infinite antichains and no…
We extend Ravagnani's MacWilliams duality theory to the settings of rank metric codes over finite chain rings, relating the sequences of $q$-binomial moments of a rank metric code over this class of rings with those of its dual.
We introduce a flexible class of well-quasi-orderings (WQOs) on words that generalizes the ordering of (not necessarily contiguous) subwords. Each such WQO induces a class of piecewise testable languages (PTLs) as Boolean combinations of…
We give a simple proof of Kolmogorov's theorem on the persistence of a quasiperiodic invariant torus in Hamiltonian systems. The theorem is first reduced to a well-posed inversion problem (Herman's normal form) by switching the frequency…
Uhlmann's theorem is a cornerstone of quantum information theory, stating that for any quantum state $\rho_{AB}$ and any state $\sigma_A$, there exists an extension $\sigma_{AB}$ of $\sigma_A$ such that the fidelity between $\rho_{AB}$ and…
Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman, Marcone, Montalban et al.) and with…
In the first purpose, we concentrate on the theory of quantum integrable systems underlying the Connes-Kreimer approach. We introduce a new family of Hamiltonian systems depended on the perturbative renormalization process in renormalizable…
Reparameterization invariance, a symmetry of heavy quark effective theory, appears in different forms in the literature. The most commonly cited forms of the reparameterization transformation are shown to induce the same constraints on…
We observe that the group of all lifts of elements of Thompson's group $T$ to the real line is finitely presented and contains the additive group $\mathbb{Q}$ of the rational numbers. This gives an explicit realization of the Higman…
Over decades, the time evolution of Wigner functions along classical Hamiltonian flows has been used for approximating key signatures of molecular quantum systems. Such approximations are for example the Wigner phase space method, the…