相关论文: Dominating the Erdos-Moser theorem in reverse math…
The global-in-time existence and uniqueness of bounded weak solutions to a spinorial matrix drift-diffusion model for semiconductors is proved. Developing the electron density matrix in the Pauli basis, the coefficients (charge density and…
Dynamical systems that are contracting on a subspace are said to be semicontracting. Semicontraction theory is a useful tool in the study of consensus algorithms and dynamical flow systems such as Markov chains. To develop a comprehensive…
An error in the proof of Lemma 2 (ii) in [I. Werner, Math. Proc. Camb. Phil. Soc. 140(2) 333-347 (2006)], which claims the absolute continuity of dynamically defined measures (DDM), is identified. This undermines the assertion of the…
We define a notion of entropy for an infinite family $\mathcal{C}$ of measurable sets in a probability space. We show that the mean ergodic theorem holds uniformly for $\mathcal{C}$ under every ergodic transformation if and only if…
In the context of adversarial robustness, a single model does not usually have enough power to defend against all possible adversarial attacks, and as a result, has sub-optimal robustness. Consequently, an emerging line of work has focused…
We further develop the theory of layered semigroups, as introduced by Farah, Hindman and McLeod, providing a general framework to prove Ramsey statements about such a semigroup $S$. By nonstandard and topological arguments, we show Ramsey…
We prove an equidistribution theorem a la Bader-Muchnik for operator-valued measures associated with boundary representations in the context of discrete groups of isometries of CAT(-1) spaces thanks to an equidistribution theorem of T.…
The expectation-maximization (EM) algorithm is a well-known iterative method for computing maximum likelihood estimates from incomplete data. Despite its numerous advantages, a main drawback of the EM algorithm is its frequently observed…
The paper gives an improvement of the Trudinger-Moser inequality, in which the constraint set is defined not by the squared gradient norm, but with the squared gradient norm minus a remainder term of the weighted L^p-type. This is a…
Shortly after Szemer\'edi's proof that a set of positive upper density contains arbitrarily long arithmetic progressions, Furstenberg gave a new proof of this theorem using ergodic theory. This gave rise to the field of ergodic Ramsey…
The theory of eigenvalues and eigenvectors is one of the fundamental and essential components in tensor analysis. Computing the dominant eigenpair of an essentially nonnegative tensor is an important topic in tensor computation because of…
Let $T$ be a power bounded Hilbert space operator without unimodular eigenvalues. We show that the subsequential ergodic averages $N^{-1}\sum_{n=1}^N T^{a_n}$ converge in the strong operator topology for a wide range of sequences $(a_n)$,…
We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two…
Tournament procedures, recently introduced in Lugosi & Mendelson (2016), offer an appealing alternative, from a theoretical perspective at least, to the principle of Empirical Risk Minimization in machine learning. Statistical learning by…
We prove an infinite-dimensional version of an approximate Ramsey theorem of Gowers, initially used to show that every Lipschitz function on the unit sphere of $c_0$ is oscillation stable. To do so, we use the theory of ultra-Ramsey spaces…
We study the ergodicity of deterministic two-person zero-sum differential games. This property is defined by the uniform convergence to a constant of either the infinite-horizon discounted value as the discount factor tends to zero, or…
Structural equation models (SEMs) are widely used in sciences, ranging from economics to psychology, to uncover causal relationships underlying a complex system under consideration and estimate structural parameters of interest. We study…
In this work, we aim at understanding incompleteness in an abstract way via metamathematical properties of formal theories. We systematically examine the relationships between the following twelve important metamathematical properties of…
Resistive magnetohydrodynamics is thought to play a key role in transient astrophysical phenomena such as black hole flares and neutron star magnetospheres. When performing numerical simulations of resistive magnetohydrodynamics, one is…
The total momentum of a thermodynamically closed system is unique, as is the total energy. Nevertheless, there is continuing confusion concerning the correct form of the momentum and the energy-momentum tensor for an electromagnetic field…