相关论文: Symmetries between two Ramsey properties
In this paper, we propose a weak regularity principle which is similar to both weak K\"onig's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then…
We exploit the presence of approximate (broken) symmetries to obtain general scaling laws governing the process of pattern formation in weakly damped Faraday waves. Specifically, we consider a two-frequency forcing function and trace the…
Rohatgi and the author recently proved a shuffling theorem for lozenge tilings of `doubly-dented hexagons' (arXiv:1905.08311). The theorem can be considered as a hybrid between two classical theorems in the enumeration of tilings:…
We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…
A Ramsey-like theorem is a statement of the form ``For every 2-coloring of $[\mathbb{N}]^2$, there exists an infinite set~$H \subseteq \mathbb{N}$ such that $[H]^2$ avoids some pattern''. We prove that none of these statements are…
In this paper, we study the doubly warped product manifolds with semisymmetric metric connection. We derive the curvatures formulas for doubly warped product manifold with semi-symmetric metric connection in terms of curvatures of…
Fourier transformations of several functions of one and two variables are evaluated and then used to derive some integral and series identities. It is shown that certain double Mordell integrals can be reduced to a sum of products of…
Using the superfield formalism and the master action approach, we prove, both at the classical and quantum levels, the dual equivalence between four-dimensional supersymmetric self-dual and topologically massive models coupled to dynamical…
A graph on $n$ vertices is said to be \emph{$C$-Ramsey} if every clique or independent set of the graph has size at most $C \log n$. The only known constructions of Ramsey graphs are probabilistic in nature, and it is generally believed…
The notion of a firmly nonexpansive mapping is central in fixed point theory because of attractive convergence properties for iterates and the correspondence with maximal monotone operators due to Minty. In this paper, we systematically…
We consider the restriction of Ramsey's theorem that arises from considering only translation-invariant colourings of pairs, and show that this has the same strength (both from the viewpoint of Reverse Mathematics and from the viewpoint of…
Using a BRST treatment, we show that the equivalence of General Relativity and Shape Dynamics can be extended to a theory that respects the BRST-symmetries of General Relativity as well as the ones of an extended version of Shape Dynamics.…
The notion of \emph{concurrence} was recently proposed as the natural compatibility relation between Dirac structures, generalizing the commutativity of two Poisson structures. We address the question of when a reduction scheme -- that is,…
We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed.
This paper develops a mirror symmetry theory of Spencer cohomology within the geometric framework of constrained systems on principal bundles, revealing deep symmetric structures in constraint geometry. Based on compatible pairs…
The concept of duality reflects a link between two seemingly different physical objects. An example in quantum mechanics is a situation where the spectra (or their parts) of two Hamiltonians go into each other under a certain…
A reciprocal LASSO (rLASSO) regularization employs a decreasing penalty function as opposed to conventional penalization approaches that use increasing penalties on the coefficients, leading to stronger parsimony and superior model…
First constructed by Beilinson for curves defined over an algebraically closed field; R\"ossler and Szamuely generalized Beilinson's height pairing to the higher dimensional setting. In this paper we study this pairing and relate it to the…
Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…
Given a Banach space X and a subspace Y, the pair (X,Y) is said to have the approximation property (AP) provided there is a net of finite rank bounded linear operators on X all of which leave the subspace Y invariant such that the net…