Search

A new, more efficient, numerical method for the SDOF problem is presented. Its construction is based on the weak form of the equation of motion, as obtained in part I of the paper, using piece-wise polynomial functions as interpolation functions. The approximation rate can be arbitrarily high, proportional to the degree of the interpolation functions, tempered only by numerical instability. Moreover, the mechanical energy of the system is conserved. Consequently, all significant drawbacks of existing algorithms, such as the limitations imposed by the Dahlqvist Barrier theorem and the need for introduction of numerical damping, have been overcome.

The weak form of the SDOF and MDOF equations of motion are obtained. The original initial conditions problem is transformed into a boundary value problem. The boundary value problem is then solved and transformed back to the initial conditions one. Subsequently, a general method for obtaining numerical methods using an arbitrary number of linearly independent approximating functions is outlined. This is part one of a series of three papers, in the second of which a numerical method is obtained, using Bernstein polynomials of arbitrarily high order. The numerical evidence for the convergence of the method will be presented in the third part paper., Comment: Preliminary version, survey of the SOTA not included

Semi-Supervised Learning (SSL) seeks to leverage large amounts of non-annotated data along with the smallest amount possible of annotated data in order to achieve the same level of performance as if all data were annotated. A fruitful method in SSL is Pseudo-Labeling (PL), which, however, suffers from the important drawback that the associated loss function has discontinuities in its derivatives, which cause instabilities in performance when labels are very scarce. In the present work, we address this drawback with the introduction of a Smooth Pseudo-Labeling (SP L) loss function. It consists in adding a multiplicative factor in the loss function that smooths out the discontinuities in the derivative due to thresholding. In our experiments, we test our improvements on FixMatch and show that it significantly improves the performance in the regime of scarce labels, without addition of any modules, hyperparameters, or computational overhead. In the more stable regime of abundant labels, performance remains at the same level. Robustness with respect to variation of hyperparameters and training parameters is also significantly improved. Moreover, we introduce a new benchmark, where labeled images are selected randomly from the whole dataset, without imposing representation of each class proportional to its frequency in the dataset. We see that the smooth version of FixMatch does appear to perform better than the original, non-smooth implementation. However, more importantly, we notice that both implementations do not necessarily see their performance improve when labeled images are added, an important issue in the design of SSL algorithms that should be addressed so that Active Learning algorithms become more reliable and explainable.

We prove that if the frequency of the quasi-periodic $\mathrm{SL}(2,\R)$ cocycle is Diophantine, then the following properties are dense in the subcritical regime: for any $\frac{1}{2}<\kappa<1$, the Lyapunov exponent is exactly $\kappa$-H\"older continuous; the extended eigenstates of the potential have optimal sub-linear growth; and the dual operator associated a subcritical potential has power-law decay eigenfunctions. The proof is based on fibered Anosov-Katok constructions for quasi-periodic $\mathrm{SL}(2,\R)$ cocycles.

Using weak solutions to the conjugation equation, we define a fibered rotation vector for almost reducible quasi-periodic cocycles in $\mathbb{T}^{d} \times G$, $G$ a compact Lie group, over a Diophantine rotation. We then prove that if this rotation vector is Diophantine with respect to the rotation in $\mathbb{T}^{d}$, the cocycle is smoothly reducible, thus establishing a hypoellipticity property in the spirit of the Greenfield-Wallach conjecture in PDEs., Comment: 14 pages

We provide a general argument for the failure of Anosov-Katok-like constructions (as in \cite{AFKo2015} and \cite{NKInvDist}) to produce Cohomologically Rigid diffeomorphisms in manifolds other than tori. A $C^{\infty }$ smooth diffeomorphism $f $ of a compact manifold $M$ is Cohomologically Rigid iff the equation, known as Linear Cohomological one, \begin{equation*} \psi \circ f - \psi = \varphi \end{equation*} admits a $C^{\infty }$ smooth solution $\psi$ for every $\varphi$ in a codimension $1$ closed subspace of $C^{\infty } (M, \mathbb{C} )$. As an application, we show that no Cohomologically Rigid diffeomorphisms exist in the Almost Reducibility regime for quasi-periodic cocycles in homogeneous spaces of compact type, even though the Linear Cohomological equation over a generic such system admits a solution for a dense subset of functions $\varphi$. We thus confirm a conjecture by M. Herman and A. Katok in that context and provide some insight in the mechanism obstructing the construction of counterexamples., Comment: 43 pages. The proof of corollary B provides a more precise statement and some minor errors have been corrected

We prove a theorem asserting that, given a Diophantine rotation $\alpha $ in a torus $\T ^{d} \equiv \R ^{d} / \Z ^{d}$, any perturbation, small enough in the $C^{\infty}$ topology, that does not destroy all orbits with rotation vector $\alpha$ is actually smoothly conjugate to the rigid rotation. The proof relies on a K.A.M. scheme (named after Kolmogorov-Arnol'd-Moser), where at each step the existence of an invariant measure with rotation vector $\alpha$ assures that we can linearize the equations around the same rotation $\alpha$. The proof of the convergence of the scheme is carried out in the $C^{\infty}$ category., Comment: 16 pages

We continue our study of the local theory for quasiperiodic cocycles in $\mathbb{T} ^{d} \times G$, where $G=SU(2)$, over a rotation satisfying a Diophantine condition and satisfying a closeness-to-constants condition, by proving a dichotomy between measurable reducibility (and therefore pure point spectrum), and purely continuous spectrum in the space orthogonal to $L^{2}(\mathbb{T} ^{d}) \hookrightarrow L^{2}(\mathbb{T} ^{d} \times G)$. Subsequently, we describe the equivalence classes of cocycles under smooth conjugacy, as a function of the parameters defining their K.A.M. normal form. Finally, we derive a complete classification of the dynamics of one-frequency ($d=1$) cocycles over a Recurrent Diophantine rotation. All theorems will be stated sharply in terms of the number of frequencies $d$, but in the proofs we will always assume $d=1$, for simplicity in expression and notation., Comment: 25 pages, 1 figure. arXiv admin note: text overlap with arXiv:1407.4763

In this m\'emoire we study quasiperiodic cocycles in semi-simple compact Lie groups. For the greatest part of our study, we will focus ourselves to one-frequency cocyles. We will prove that $C^{\infty}$ reducible cocycles are dense in the $C^{\infty}$ topology, for a full measure set of frequencies. Moreover, we will show that every cocycle (or an appropriate iterate of it, if homotopy appears as an obstruction) is almost torus-reducible (i.e. can be conjugated arbitrarily close to cocycles taking values in an abelian subgroup of G). In the course of the proof we will firstly define two invariants of the dynamics, which we will call energy and degree and which give a preliminary distinction between (almost-)reducible and non-reducible cocycles. We will then take up the proof of the density theorem. We will show that an algorithm of renormalization converges to perturbations of simple models, indexed by the degree. Finally, we will analyze these perturbations using methods inspired by K.A.M. theory., Comment: 138 pages, accepted for publication in M\'emoires de la SMF

We study the linear cohomological equation in the smooth category over quasi-periodic cocycles in $\mathbb{T} ^{d} \times SU(2)$. We prove that, under a full measure condition on the rotation in $\mathbb{T} ^{d}$, for a generic cocycle in an open set of cocycles, the equation admits a solution for a dense set of functions on $\mathbb{T} ^{d} \times SU(2)$ of zero average with respect to the Haar measure. This property is known as Distributional Unique Ergodicity (DUE). We then show that given such a cocycle, for a generic function no such solution exists. We thus confirm in this context a conjecture by A. Katok stating that the only dynamical systems for which the linear cohomological equation admits a smooth solution for all $0$-average functions with respect to a smooth volume are Diophantine rotations in tori. The proof is based on a careful analysis of the K.A.M. scheme of Krikorian (1999) and Karaliolios (2015), inspired by Eliasson (2002), which also gives a proof of the local density of cocycles which are reducible via finitely differentiable or measurable transfer functions., Comment: The paper spent more than 3 years under review in a respected journal of the field. After 3 years of superficial and unconstructive reports, we decided to withdraw the paper from that journal. We do not intend to resubmit the paper in the near future. This version addresses the well-founded part of the referee's criticism, regarding exposition. The core of the paper remains the same

We study close-to-constants quasiperiodic cocycles in $\mathbb{T} ^{d} \times G$, where $d \in \mathbb{N} ^{*} $ and $G$ is a compact Lie group, under the assumption that the rotation in the basis satisfies a Diophantine condition. We prove differentiable rigidity for such cocycles: if such a cocycle is measurably conjugate to a constant one satisfying a Diophantine condition with respect to the rotation, then it is $C^{\infty}$-conjugate to it, and the K.A.M. scheme actually produces a conjugation. We also derive a global differentiable rigidity theorem, assuming the convergence of the renormalization scheme for such dynamical systems., Comment: 16 pages. arXiv admin note: substantial text overlap with arXiv:1407.4763