Related papers: The Diagonal Strong Reflection Principle and its f…
Deep neural networks are at the forefront of machine learning research. However, despite achieving impressive performance on complex tasks, they can be very sensitive: Small perturbations of inputs can be sufficient to induce incorrect…
The classical laws of physics are usually invariant under time reversal. Here, we reveal a novel class of magnetomechanical effects rigorously breaking time-reversal symmetry. The effect is based on the mechanical rotation of a hard magnet…
Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…
We introduce bounded category forcing axioms for well-behaved classes $\Gamma$. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe $H_{\lambda_\Gamma^+}$ modulo…
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…
A variational principle is proposed for obtaining the Jacobi equations in systems admitting a Lagrangian description. The variational principle gives simultaneously the Lagrange equations of motion and the Jacobi variational equations for…
We investigate the position that foundational theories should be modelled on ordinary computability. In this context, we investigate the metamathematics of $\Sigma$ formulas. We consider theories whose axioms are implications between…
Questioning the experimental basis of continuous descriptions of fundamental interactions we discuss classical gravity as an effective continuous first-order approximation of a discrete interaction. The sub-dominant contributions produce a…
We analyse some compositeness effects and their relation with entanglement. We show that the purity of a composite system increases, in the sense of the expectation values of the deviation operators, with large values of the entanglement…
State-of-art deep neural networks (DNN) are vulnerable to attacks by adversarial examples: a carefully designed small perturbation to the input, that is imperceptible to human, can mislead DNN. To understand the root cause of adversarial…
Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important…
David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2. We answer negatively, in fact we show the negative result…
We obtain a strong invariance principle for nonconventional sums and applying this result we derive for them a version of the law of iterated logarithm, as well as an almost sure central limit theorem. Among motivations for such results are…
This article reports on emergence of structures in a class of alternative theories of gravity. These theories do not have any horizon, flatness, initial cosmological singularity and (possibly) quantization problems. The model is…
We consider a particular instance of reflection of shock waves in self-similar compressible flow. We prove that local self-similar regular reflection (RR) cannot always be extended into a global flow. Therefore the detachment criterion is…
This work is devoted to molecular dynamics modeling of collision of nanoparticle having a small number of degrees of freedom with a structureless plain. The new regularities are established that determine properties of such particles.…
We consider systems characterized by the presence of a rapidly oscillating force. A general method is presented for the construction of the effective action governing the large-scale nonlinear dynamics of such systems order by order in…
The concept of a fully interlacing matrix of formal power series with real coefficients is introduced. This concept extends and strengthens that of an interlacing sequence of real-rooted polynomials with nonnegative coefficients, in the…
We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…
A new understanding of adversarial examples and adversarial robustness is proposed by decoupling the data generator and the label generator (which we call the teacher). In our framework, adversarial robustness is a conditional concept---the…