skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Characterizing Schwarz maps by tracial inequalities
Abstract Let$$\phi $$ ϕ be a positive map from the$$n\times n$$ n × n matrices$$\mathcal {M}_n$$ M n to the$$m\times m$$ m × m matrices$$\mathcal {M}_m$$ M m . It is known that$$\phi $$ ϕ is 2-positive if and only if for all$$K\in \mathcal {M}_n$$ K M n and all strictly positive$$X\in \mathcal {M}_n$$ X M n ,$$\phi (K^*X^{-1}K) \geqslant \phi (K)^*\phi (X)^{-1}\phi (K)$$ ϕ ( K X - 1 K ) ϕ ( K ) ϕ ( X ) - 1 ϕ ( K ) . This inequality is not generally true if$$\phi $$ ϕ is merely a Schwarz map. We show that the corresponding tracial inequality$${{\,\textrm{Tr}\,}}[\phi (K^*X^{-1}K)] \geqslant {{\,\textrm{Tr}\,}}[\phi (K)^*\phi (X)^{-1}\phi (K)]$$ Tr [ ϕ ( K X - 1 K ) ] Tr [ ϕ ( K ) ϕ ( X ) - 1 ϕ ( K ) ] holds for a wider class of positive maps that is specified here. We also comment on the connections of this inequality with various monotonicity statements that have found wide use in mathematical physics, and apply it, and a close relative, to obtain some new, definitive results.  more » « less
Award ID(s):
2055282
PAR ID:
10395048
Author(s) / Creator(s):
;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Letters in Mathematical Physics
Volume:
113
Issue:
1
ISSN:
0377-9017
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract A search for exotic decays of the Higgs boson ($$\text {H}$$ H ) with a mass of 125$$\,\text {Ge}\hspace{-.08em}\text {V}$$ Ge V to a pair of light pseudoscalars$$\text {a}_{1} $$ a 1 is performed in final states where one pseudoscalar decays to two$${\textrm{b}}$$ b quarks and the other to a pair of muons or$$\tau $$ τ leptons. A data sample of proton–proton collisions at$$\sqrt{s}=13\,\text {Te}\hspace{-.08em}\text {V} $$ s = 13 Te V corresponding to an integrated luminosity of 138$$\,\text {fb}^{-1}$$ fb - 1 recorded with the CMS detector is analyzed. No statistically significant excess is observed over the standard model backgrounds. Upper limits are set at 95% confidence level ($$\text {CL}$$ CL ) on the Higgs boson branching fraction to$$\upmu \upmu \text{ b } \text{ b } $$ μ μ b b and to$$\uptau \uptau \text{ b } \text{ b },$$ τ τ b b , via a pair of$$\text {a}_{1} $$ a 1 s. The limits depend on the pseudoscalar mass$$m_{\text {a}_{1}}$$ m a 1 and are observed to be in the range (0.17–3.3) $$\times 10^{-4}$$ × 10 - 4 and (1.7–7.7) $$\times 10^{-2}$$ × 10 - 2 in the$$\upmu \upmu \text{ b } \text{ b } $$ μ μ b b and$$\uptau \uptau \text{ b } \text{ b } $$ τ τ b b final states, respectively. In the framework of models with two Higgs doublets and a complex scalar singlet (2HDM+S), the results of the two final states are combined to determine upper limits on the branching fraction$${\mathcal {B}}(\text {H} \rightarrow \text {a}_{1} \text {a}_{1} \rightarrow \ell \ell \text{ b } \text{ b})$$ B ( H a 1 a 1 b b ) at 95%$$\text {CL}$$ CL , with$$\ell $$ being a muon or a$$\uptau $$ τ lepton. For different types of 2HDM+S, upper bounds on the branching fraction$${\mathcal {B}}(\text {H} \rightarrow \text {a}_{1} \text {a}_{1} )$$ B ( H a 1 a 1 ) are extracted from the combination of the two channels. In most of the Type II 2HDM+S parameter space,$${\mathcal {B}}(\text {H} \rightarrow \text {a}_{1} \text {a}_{1} )$$ B ( H a 1 a 1 ) values above 0.23 are excluded at 95%$$\text {CL}$$ CL for$$m_{\text {a}_{1}}$$ m a 1 values between 15 and 60$$\,\text {Ge}\hspace{-.08em}\text {V}$$ Ge V
    more » « less
  2. Abstract Let$$(h_I)$$ ( h I ) denote the standard Haar system on [0, 1], indexed by$$I\in \mathcal {D}$$ I D , the set of dyadic intervals and$$h_I\otimes h_J$$ h I h J denote the tensor product$$(s,t)\mapsto h_I(s) h_J(t)$$ ( s , t ) h I ( s ) h J ( t ) ,$$I,J\in \mathcal {D}$$ I , J D . We consider a class of two-parameter function spaces which are completions of the linear span$$\mathcal {V}(\delta ^2)$$ V ( δ 2 ) of$$h_I\otimes h_J$$ h I h J ,$$I,J\in \mathcal {D}$$ I , J D . This class contains all the spaces of the formX(Y), whereXandYare either the Lebesgue spaces$$L^p[0,1]$$ L p [ 0 , 1 ] or the Hardy spaces$$H^p[0,1]$$ H p [ 0 , 1 ] ,$$1\le p < \infty $$ 1 p < . We say that$$D:X(Y)\rightarrow X(Y)$$ D : X ( Y ) X ( Y ) is a Haar multiplier if$$D(h_I\otimes h_J) = d_{I,J} h_I\otimes h_J$$ D ( h I h J ) = d I , J h I h J , where$$d_{I,J}\in \mathbb {R}$$ d I , J R , and ask which more elementary operators factor throughD. A decisive role is played by theCapon projection$$\mathcal {C}:\mathcal {V}(\delta ^2)\rightarrow \mathcal {V}(\delta ^2)$$ C : V ( δ 2 ) V ( δ 2 ) given by$$\mathcal {C} h_I\otimes h_J = h_I\otimes h_J$$ C h I h J = h I h J if$$|I|\le |J|$$ | I | | J | , and$$\mathcal {C} h_I\otimes h_J = 0$$ C h I h J = 0 if$$|I| > |J|$$ | I | > | J | , as our main result highlights: Given any bounded Haar multiplier$$D:X(Y)\rightarrow X(Y)$$ D : X ( Y ) X ( Y ) , there exist$$\lambda ,\mu \in \mathbb {R}$$ λ , μ R such that$$\begin{aligned} \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C})\text { approximately 1-projectionally factors through }D, \end{aligned}$$ λ C + μ ( Id - C ) approximately 1-projectionally factors through D , i.e., for all$$\eta > 0$$ η > 0 , there exist bounded operatorsA, Bso thatABis the identity operator$${{\,\textrm{Id}\,}}$$ Id ,$$\Vert A\Vert \cdot \Vert B\Vert = 1$$ A · B = 1 and$$\Vert \lambda \mathcal {C} + \mu ({{\,\textrm{Id}\,}}-\mathcal {C}) - ADB\Vert < \eta $$ λ C + μ ( Id - C ) - A D B < η . Additionally, if$$\mathcal {C}$$ C is unbounded onX(Y), then$$\lambda = \mu $$ λ = μ and then$${{\,\textrm{Id}\,}}$$ Id either factors throughDor$${{\,\textrm{Id}\,}}-D$$ Id - D
    more » « less
  3. Abstract A model based on a$$U(1)_{T^3_R}$$ U ( 1 ) T R 3 extension of the Standard Model can address the mass hierarchy between generations of fermions, explain thermal dark matter abundance, and the muon$$g - 2$$ g - 2 ,$$R_{(D)}$$ R ( D ) , and$$R_{(D^*)}$$ R ( D ) anomalies. The model contains a light scalar boson$$\phi '$$ ϕ and a heavy vector-like quark$$\chi _\textrm{u}$$ χ u that can be probed at CERN’s large hadron collider (LHC). We perform a phenomenology study on the production of$$\phi '$$ ϕ and$${\chi }_u$$ χ u particles from proton–proton$$(\textrm{pp})$$ ( pp ) collisions at the LHC at$$\sqrt{s}=13.6$$ s = 13.6 TeV, primarily through$$g{-g}$$ g - g and$$t{-\chi _\textrm{u}}$$ t - χ u fusion. We work under a simplified model approach and directly take the$$\chi _\textrm{u}$$ χ u and$$\phi '$$ ϕ masses as free parameters. We perform a phenomenological analysis considering$$\chi _\textrm{u}$$ χ u final states to b-quarks, muons, and neutrinos, and$$\phi '$$ ϕ decays to$$\mu ^+\mu ^-$$ μ + μ - . A machine learning algorithm is used to maximize the signal sensitivity, considering an integrated luminosity of 3000$$\text {fb}^{-1}$$ fb - 1 . The proposed methodology can be a key mode for discovery over a large mass range, including low masses, traditionally considered difficult due to experimental constraints. 
    more » « less
  4. Abstract For every$$n\ge 2$$ n 2 , thesurface Houghton group$${\mathcal {B}}_n$$ B n is defined as the asymptotically rigid mapping class group of a surface with exactlynends, all of them non-planar. The groups$${\mathcal {B}}_n$$ B n are analogous to, and in fact contain, the braided Houghton groups. These groups also arise naturally in topology: every monodromy homeomorphism of a fibered component of a depth-1 foliation of closed 3-manifold is conjugate into some$${\mathcal {B}}_n$$ B n . As countable mapping class groups of infinite type surfaces, the groups$$\mathcal {B}_n$$ B n lie somewhere between classical mapping class groups and big mapping class groups. We initiate the study of surface Houghton groups proving, among other things, that$$\mathcal {B}_n$$ B n is of type$$\text {F}_{n-1}$$ F n - 1 , but not of type$$\text {FP}_{n}$$ FP n , analogous to the braided Houghton groups. 
    more » « less
  5. Abstract LetXbe ann-element point set in thek-dimensional unit cube$$[0,1]^k$$ [ 0 , 1 ] k where$$k \ge 2$$ k 2 . According to an old result of Bollobás and Meir (Oper Res Lett 11:19–21, 1992) , there exists a cycle (tour)$$x_1, x_2, \ldots , x_n$$ x 1 , x 2 , , x n through thenpoints, such that$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} \le c_k$$ i = 1 n | x i - x i + 1 | k 1 / k c k , where$$|x-y|$$ | x - y | is the Euclidean distance betweenxandy, and$$c_k$$ c k is an absolute constant that depends only onk, where$$x_{n+1} \equiv x_1$$ x n + 1 x 1 . From the other direction, for every$$k \ge 2$$ k 2 and$$n \ge 2$$ n 2 , there existnpoints in$$[0,1]^k$$ [ 0 , 1 ] k , such that their shortest tour satisfies$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} = 2^{1/k} \cdot \sqrt{k}$$ i = 1 n | x i - x i + 1 | k 1 / k = 2 1 / k · k . For the plane, the best constant is$$c_2=2$$ c 2 = 2 and this is the only exact value known. Bollobás and Meir showed that one can take$$c_k = 9 \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ c k = 9 2 3 1 / k · k for every$$k \ge 3$$ k 3 and conjectured that the best constant is$$c_k = 2^{1/k} \cdot \sqrt{k}$$ c k = 2 1 / k · k , for every$$k \ge 2$$ k 2 . Here we significantly improve the upper bound and show that one can take$$c_k = 3 \sqrt{5} \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ c k = 3 5 2 3 1 / k · k or$$c_k = 2.91 \sqrt{k} \ (1+o_k(1))$$ c k = 2.91 k ( 1 + o k ( 1 ) ) . Our bounds are constructive. We also show that$$c_3 \ge 2^{7/6}$$ c 3 2 7 / 6 , which disproves the conjecture for$$k=3$$ k = 3 . Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollobás–Meir conjecture is proposed. 
    more » « less