Related papers: On Nash-Williams' Theorem regarding sequences with…
It has recently been shown that fairly strong axiom systems such as $\mathsf{ACA}_0$ cannot prove that the antichain with three elements is a better quasi order ($\mathsf{bqo}$). In the present paper, we give a complete characterization of…
We define the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment generalizes (after a routine renaming) two-variable logic as well…
We give a simple proof that the first-order theory of well orders is axiomatized by transfinite induction, and that it is decidable.
Based on the superconvergent approximation at some point (depending on the fractional order $\alpha$, but not belonging to the mesh points) for Gr\"{u}nwald discretization to fractional derivative, we develop a series of high order…
As a powerful theoretical construct, the entanglement Hamiltonian (EH) encapsulates the essential entanglement properties of a quantum many-body system. From the EH, one can extract a variety of entanglement quantities, such as entanglement…
We set up a general scheme to resum ladder diagrams for the quark-anti-quark potential in N=4 super-Yang-Mills theory, and do explicit calculations at the next-to-leading order. The results perfectly agree with string theory in AdS(5)xS(5)…
We develop a theory of higher order structures in compact abelian groups. In the frame of this theory we prove general inverse theorems and regularity lemmas for Gowers's uniformity norms. We put forward an algebraic interpretation of the…
A comprehensive review of the equations of general relativity in the quasi-Maxwellian (QM) formalism introduced by Jordan, Ehlers and Kundt is made. Our main interest concerns its applications to the analysis of the perturbation of standard…
We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions…
In its original formulation, Heisenberg's uncertainty principle describes a trade-off relation between the error of a quantum measurement and the thereby induced disturbance on the measured object. However, this relation is not valid in…
Guo, Li, Shangguan, Tamo, and Wootters formulated in SIAM Journal on Computing a hypergraph Nash--Williams--Tutte conjecture: every $k$-weakly-partition-connected hypergraph on $t$ vertices should admit a $k$-distinguishable tree…
For any field k and any integers m,n with 0 <= 2m <= n+1, let W_n be the k-vector space of sequences (x_0,...,x_n), and let H_m be the subset of W_n consisting of the sequences that satisfy a degree-m linear recursion, that is, for which…
Let $G$ be an almost linear Nash group, namely, a Nash group which admits a Nash homomorphism with finite kernel to some $\GL_k(\mathbb R)$. A homology theory (the Schwartz homology) is established for the category of smooth \Fre…
In 1972, Chvatal gave a well-known sufficient condition for a graphical sequence to be forcibly hamiltonian, and showed that in some sense his condition is best possible. Nash-Williams gave examples of forcibly hamiltonian n-sequences that…
A differentially recursive sequence over a differential field is a sequence of elements satisfying a homogeneous differential equation with non-constant coefficients (namely, Taylor expansions of elements of the field) in the differential…
By solving an infinite nonlinear system of $q$-difference equations one constructs a chain of $q$-difference operators. The eigenproblems for the chain are solved and some applications, including the one related to $q$-Hahn orthogonal…
We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…
Let $A_q(n,d)$ be the maximum order (maximum number of codewords) of a $q$-ary code of length $n$ and Hamming distance at least $d$. And let $A(n,d,w)$ that of a binary code of constant weight $w$. Building on results from algebraic graph…
Wigner's celebrated theorem, which is particularly important in the mathematical foundations of quantum mechanics, states that every bijective transformation on the set of all rank-one projections of a complex Hilbert space which preserves…
We prove a relative version over $\mathbb{Q}$ of Nash-Tognoli theorem, that is: Let $M$ be a compact smooth manifold with closed smooth submanifolds $M_1,\dots,M_\ell$ in general position, then there exists a nonsingular real algebraic set…