Related papers: On some Fraisse limits with free amalgamation
We present a Lagrangian approach to counting degrees of freedom in first-order field theories. The emphasis is on the systematic attainment of a complete set of constraints. In particular, we provide the first comprehensive procedure to…
We develop a finite KKG-theory of C*-algebras following Arlettaz- H.Inassaridze's approach to finite algebraic K-theory. The Browder- Karoubi-Lambre's theorem on the orders of the elements for finite algebraic K-theory is extended to finite…
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of…
We introduce an independence criterion based on entropy regularized optimal transport. Our criterion can be used to test for independence between two samples. We establish non-asymptotic bounds for our test statistic and study its…
We generalize two main theorems of matching polynomials of undirected simple graphs, namely, real-rootedness and the Heilmann-Lieb root bound. Viewing the matching polynomial of a graph $G$ as the independence polynomial of the line graph…
We explore the consequences of assuming that the bounded space-time subsets contain a finite number of degrees of freedom. A physically natural hypothesis is that this number is additive for spatially separated subsets. We show that this…
We consider a class of parametrically forced Hamiltonian systems with one-and-a-half degrees of freedom and study the stability of the dynamics when the frequency of the forcing is relatively high or low. We show that, provided the…
We show that the problem of deciding for a given finite relation algebra A whether the network satisfaction problem for A can be solved by the k-consistency procedure, for some natural number k, is undecidable. For the important class of…
The relationship between overparameterization, stability, and generalization remains incompletely understood in the setting of discontinuous classifiers. We address this gap by establishing a generalization bound for finite function classes…
In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $\Sigma_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is…
A one-parameter generalized fermion algebra ${\cal B}_{\kappa}(1)$ is introduced. The Fock representation is studied. The associated coherent states are constructed and the polynomial representation, in the Bargmann sense, is derived. A…
We study stable like behaviour in first order theories without the independence property. We introduce generically stable measures, give characterizatiions, and show their ubiquity. We also introduce generic compact domination. We also…
In this note we generalise some of the work of Klarner on free semigroups of affine maps acting on the real line by using a classical approach from geometric group theory (the Ping-Pong lemma). We also investigate the boundaries within…
A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…
We produce infinite families of knots $\{K^i\}_{i\geq 1}$ for which the set of cables $\{K^i_{p,1}\}_{i,p\geq 1}$ is linearly independent in the knot concordance group. We arrange that these examples lie arbitrarily deep in the solvable and…
We prove Freudenburg's Freeness Conjecture: Let B be the polynomial ring in three variables over a field of characteristic zero, let D : B --> B be a nonzero locally nilpotent derivation, and let A = ker(D). Then B is a free A-module, and…
We consider a system realized with one spinless quantum particle and an array of $N$ spins 1/2 in dimension one and three. We characterize all the Hamiltonians obtained as point perturbations of an assigned free dynamics in terms of some…
If a Hamiltonian dynamical system with $n$ degrees of freedom admits $m$ constants of motion more than $2n-1$, then there exist some functional relations between the constants of motion. Among these relations the number of functionally…
In the present work, we consider a variety of two-component, one-dimensional states in nonlinear Schrodinger equations in the presence of a parabolic trap, inspired by the atomic physics context of Bose-Einstein condensates. The use of…
Traditional statistical learning theory relies on the assumption that data are identically and independently distributed (i.i.d.). However, this assumption often does not hold in many real-life applications. In this survey, we explore…