| Total: 1000
We study diagrams of commutative differential graded algebras (DGAs) over the orbit category $\sO_G$ in the context of equivariant rational homotopy theory. For $G = C_{pq}$ with $p, q$ distinct primes, we give necessary conditions for injectivity. We prove a combination-type result: the equivariant wedge of injective diagrams over $\mathcal{O}_{C_p}$ and $\mathcal{O}_{C_q}$ with retract structure maps yields an injective diagram over $\mathcal{O}_{C_{pq}}$ with a level-wise minimal model. As an application, we construct examples of $C_{pq}$-formal spaces.
A Robinson space is a dissimilarity space $(X,d)$ on $n$ points for which there exists a compatible order, {\it i.e.} a total order $<$ on $X$ such that $x<y<z$ implies that $d(x,y)\le d(x,z)$ and $d(y,z)\leq d(x,z)$. Recognizing if a dissimilarity space is Robinson has numerous applications in seriation and classification. A PQ-tree is a classical data structure introduced by Booth and Lueker to compactly represent a set of related permutations on a set $X$. In particular, the set of all compatible orders of a Robinson space are encoded by a PQ-tree. An mmodule is a subset $M$ of $X$ which is not distinguishable from the outside of $M$, {\it i.e.} the distances from any point of $X\setminus M$ to all points of $M$ are the same. Mmodules define the mmodule-tree of a dissimilarity space $(X,d)$. Given $p\in X$, a $p$-copoint is a maximal mmodule not containing $p$. The $p$-copoints form a partition of $X\setminus \{p\}$. There exist two algorithms recognizing Robinson spaces in optimal $O(n^2)$ time. One uses PQ-trees and one uses a copoint partition of $(X, d)$. In this paper, we establish correspondences between the PQ-trees and the mmodule-trees of Robinson spaces. More precisely, we show how to construct the mmodule-tree of a Robinson dissimilarity from its PQ-tree and how to construct the PQ-tree from the odule-tree. To establish this translation, additionally to the previous notions, we introduce the notions of $\delta$-graph $G_\delta$ of a Robinson space and of $\delta$-mmodules, the connected components of $G_\delta$. We also use the dendrogram of the subdominant ultrametric of $d$. All these results also lead to optimal $O(n^2)$ time algorithms for constructing the PQ-tree and the mmodule tree of Robinson spaces.
We study the local discrepancy of a symmetrized version of the well-known van der Corput sequence and of modified two-dimensional Hammersley point sets in arbitrary base $b$. We give upper bounds on the norm of the local discrepancy in Besov spaces of dominating mixed smoothness $S_{pq}^rB([0,1)^s)$, which will also give us bounds on the $L_p$-discrepancy. Our sequence and point sets will achieve the known optimal order for the $L_p$- and $S_{pq}^rB$-discrepancy. The results in this paper generalize several previous results on $L_p$- and $S_{pq}^rB$-discrepancy estimates and provide a sharp upper bound on the $S_{pq}^rB$-discrepancy of one-dimensional sequences for $r>0$. We will use the $b$-adic Haar function system in the proofs.
As our main result, we supply the missing characterization of the $L^p(\mu)\to L^q(\lambda)$ boundedness of the commutator of a non-degenerate Calderón--Zygmund operator $T$ and pointwise multiplication by $b$ for exponents $1<q<p<\infty$ and Muckenhoupt weights $\mu\in A_p$ and $\lambda\in A_q$. Namely, the commutator $[b,T]\colon L^p(\mu)\to L^q(\lambda)$ is bounded if and only if $b$ satisfies the following new, cancellative condition: $$M^\#_\nu b\in L^{pq/(p-q)}(\nu),$$ where $M^\#_\nu b$ is the weighted sharp maximal function defined by $$ M^\#_\nu b:=\sup_{Q} \frac{\mathbf{1}_Q}{\nu(Q)} \int_{Q} |b-\langle b\rangle_Q |\,\mathrm{d}x$$ and $\nu$ is the Bloom weight defined by $\nu^{1/p+1/q'}:= \mu^{1/p} \lambda^{-1/q}$. In the unweighted case $\mu=\lambda=1$, by a result of Hytönen the boundedness of the commutator $[b,T]$ is, after factoring out constants, characterized by the boundedness of pointwise multiplication by $b$, which amounts to the non-cancellative condition $b\in L^{pq/(p-q)}$. We provide a counterexample showing that this characterization breaks down in the weighted case $\mu\in A_p$ and $\lambda\in A_q$. Therefore, the introduction of our new, cancellative condition is necessary. In parallel to commutators, we also characterize the weighted boundedness of dyadic paraproducts $\Pi_b$ in the missing exponent range $p\neq q$. Combined with previous results in the complementary exponent ranges, our results complete the characterisation of the weighted boundedness of both commutators and of paraproducts for all exponents $p,q \in (1,\infty)$.
Right Bol loops are loops satisfying the identity $((zx)y)x = z((xy)x)$, and right Bruck loops are right Bol loops satisfying the identity $(xy)^{-1} = x^{-1}y^{-1}$. Let $p$ and $q$ be odd primes such that $p>q$. Advancing the research program of Niederreiter and Robinson from $1981$, we classify right Bol loops of order $pq$. When $q$ does not divide $p^2-1$, the only right Bol loop of order $pq$ is the cyclic group of order $pq$. When $q$ divides $p^2-1$, there are precisely $(p-q+4)/2$ right Bol loops of order $pq$ up to isomorphism, including a unique nonassociative right Bruck loop $B_{p,q}$ of order $pq$. Let $Q$ be a nonassociative right Bol loop of order $pq$. We prove that the right nucleus of $Q$ is trivial, the left nucleus of $Q$ is normal and is equal to the unique subloop of order $p$ in $Q$, and the right multiplication group of $Q$ has order $p^2q$ or $p^3q$. When $Q=B_{p,q}$, the right multiplication group of $Q$ is isomorphic to the semidirect product of $\mathbb{Z}_p\times \mathbb{Z}_p$ with $\mathbb{Z}_q$. Finally, we offer computational results as to the number of right Bol loops of order $pq$ up to isotopy.
We study embeddings of $L^p$-operator algebras arising from (twisted) étale groupoids, with particular emphasis on rigidity phenomena for $p\neq 2$. Our methods rely on a detailed analysis of core normalizers and their functorial behavior under algebra homomorphisms. Using the notion of actors between groupoids, we show that under natural hypotheses, embeddings between reduced $L^p$-groupoid algebras can be described entirely in terms of morphisms of the underlying groupoids. We further show that embeddings of $L^p$-groupoid algebras induce embeddings of the associated topological full groups. Our results provide new tools for studying embeddability questions in the $L^p$-setting, and are particularly helpful when ruling out the existence of embeddings. As applications, we obtain strong rigidity results for (spatial) $L^p$-AF-embeddability, showing that, for $p\neq 2$, an $L^p$-groupoid algebra embeds into a spatial $L^p$-AF-algebra if and only if the underlying groupoid is AF. In particular, irrational rotation $L^p$-operator algebras do not embed into spatial $L^p$-AF-algebras. We apply these results to tensor products of $L^p$-Cuntz algebras and prove that, for $p\neq 2$, there is no unital contractive homomorphism from $\mathcal{O}_2^p \otimes_p \mathcal{O}_2^p$ into $\mathcal{O}_2^p$, showing that there is no $L^p$-analog of Kirchberg's $\mathcal{O}_2$-embedding theorem.
With an eye toward the precision physics of the LHC, such as the recent measurement of $M_W$ by the ATLAS Collaboration, we present here systematic studies relevant to the assessment of the expected size of multiple photon radiative effects in heavy gauge boson production with decay to charged lepton pairs. We use the new version 4.22 of ${\cal KK}$MC-hh so that we have CEEX EW exact ${\cal O}(\alpha^2 L)$ corrections in a hadronic MC and control over the corresponding EW initial-final interference (IFI) effects as well. In this way, we illustrate the interplay between cuts of the type used in the measurement of $M_W$ at the LHC and the sizes of the expected responses of the attendant higher order corrections. We find that there are per cent to per mille level effects in the initial-state radiation, fractional per mille level effects in the IFI and per mille level effects in the over-all ${\cal O}(\alpha^2 L)$ corrections that any treatment of EW corrections at the per mille level should consider. Our results have direct applicability to current LHC experimental data analyses.
For each $1\le p<\infty$ and each countable oriented graph $Q$ we introduce an $L^p$-operator algebra $\mathcal{O}^p(Q)$ which contains the Leavitt path $\mathbb{C}$-algebra $L_Q$ as a dense subalgebra and is universal for those $L^p$-representations of $L_Q$ which are spatial in the sense of N.C. Phillips. For $\mathcal{R}_n$ the graph with one vertex and $n$ loops ($2\le n\le \infty$), $\mathcal{O}^p(\mathcal{R}_n)=\mathcal{O}^p_n$, the $L^p$-Cuntz algebra introduced by Phillips. If $p\notin\{1,2\}$ and $\mathcal{S}(Q)$ is the inverse semigroup generated by $Q$, $\mathcal{O}^p(Q)=F_{\operatorname{tight}}^p(\mathcal{S}(Q))$ is the tight semigroup $L^p$-operator algebra introduced by Gardella and Lupini. We prove that $\mathcal{O}^p(Q)$ is simple as an $L^p$-operator algebra if and only if $L_Q$ is simple, and that in this case it is isometrically isomorphic to the closure $\overline{\rho(L_Q)}$ of the image of any nonzero spatial $L^p$-representation $\rho:L_Q\to\mathscr{L}(L^p(X))$. We also show that if $L_Q$ is purely infinite simple and $p\ne p'$, then there is no nonzero continuous homomorphism $\mathcal{O}^p(Q)\to\mathcal{O}^{p'}(Q)$. Our results generalize those obtained by Phillips for $L^p$-Cuntz algebras.
Let $p>q$ be odd primes. We classify Bol loops and Bruck loops of order $pq$ up to isotopism. When $q$ does not divide $p^2-1$, the only Bol loop (and hence the only Bruck loop) of order $pq$ is the cyclic group of order $pq$. When $q$ divides $p^2-1$, there are precisely $\lfloor(p-1+4q)(2q)^{-1}\rfloor$ Bol loops of order $pq$ up to isotopism, including a unique nonassociative Bruck loop of order $pq$.
\textit{Matching families} are one of the major ingredients in the construction of {\em locally decodable codes} (LDCs) and the best known constructions of LDCs with a constant number of queries are based on matching families. The determination of the largest size of any matching family in $\mathbb{Z}_m^n$, where $\mathbb{Z}_m$ is the ring of integers modulo $m$, is an interesting problem. In this paper, we show an upper bound of $O((pq)^{0.625n+0.125})$ for the size of any matching family in $\mathbb{Z}_{pq}^n$, where $p$ and $q$ are two distinct primes. Our bound is valid when $n$ is a constant, $p\rightarrow \infty$ and $p/q\rightarrow 1$. Our result improves an upper bound of Dvir {\it et al.}
For each $1\le p<\infty$ and each countable directed graph $E$ we consider the Leavitt path $\mathbb{C}$-algebra $L(E)$ and the $L^p$-operator graph algebra $\mathcal{O}^p(E)$. We show that the (purely infinite) simplicity of $\mathcal{O}^p(E)$ as a Banach algebra is equivalent to the (purely infinite) simplicity of $L(E)$ as a ring.
The aim of this paper is to determine the non-abelian tensor square and Schur multiplier of groups of square free order and of groups of orders $p^2q$, $pq^2$ and $p^2qr$, where $p$, $q$ and $r$ are primes and $p<q<r$.
The QCD axion is widely studied as a dark matter (DM) candidate and as a solution to the strong CP problem of the Standard Model. In conventional field-theoretic models, a much larger mass scale than the electroweak (EW) scale is typically introduced to spontaneously break Peccei-Quinn (PQ) symmetry with a large enough axion decay constant, $f_a$, thereby avoiding constraints from star cooling. In this paper, I propose an alternative approach to achieving the large decay constant: a PQ scalar field with a large wave function renormalization constant, analogous to a feebly coupled gauge theory. Other dimensionless parameters are ${O}(1)$ in the unit of the EW scale for the naturalness. This framework predicts a light PQ Higgs boson with a mass $\sim (\mathrm{EW~scale})^2 / f_a$. Exotic particles associated with the PQ anomaly are expected to have masses around the EW scale. The proposed model alleviates both the PQ quality and EW scale fine-tuning problems and introduces interesting axion-PQ Higgs cosmologies, encompassing: slim axion DM from a fat string network, heavy axion DM from PQ Higgs condensate fragmentation, PQ Higgs DM, and axion-PQ Higgs co-DM scenarios. Potential experimental signatures are explored, including fifth-force tests, DM detections, accelerator searches, and gravitational wave observations by employing lattice simulation. Possible extensions of the scenario are also discussed.
For a positive integer $N$ and $\mathbb{A}$ a subset of $\mathbb{Q}$, let $\mathbb{A}$-$\mathcal{KS}(N)$ denote the set of $\alpha=\dfrac{\alpha_{1}}{\alpha_{2}}\in \mathbb{A}\setminus \{0,N\}$ verifying $\alpha_{2}r-\alpha_{1}$ divides $\alpha_{2}N-\alpha_{1}$ for every prime divisor $r$ of $N$. The set $\mathbb{A}$-$\mathcal{KS}(N)$ is called the set of $N$-Korselt bases in $\mathbb{A}$. Let $p, q$ be two distinct prime numbers. In this paper, we prove that each $pq$-Korselt base in $\mathbb{Z}\setminus\{ q+p-1\}$ generates other(s) in $\mathbb{Q}$-$\mathcal{KS}(pq)$. More precisely, we will prove that if $(\mathbb{Q}\setminus\mathbb{Z})$-$\mathcal{KS}(pq)=\emptyset$ then $\mathbb{Z}$-$\mathcal{KS}(pq)=\{ q+p-1\}$.
In this paper, we give a classification of regular maps with Euler characteristic $-pq$ for distinct primes $q>p\geq 5$. This together with previous classification of regular maps with Euler characteristic $-2p,-3p$ and $-p^2$ completes the classification of regular maps with Euler characteristic $-pq$ for two primes $p$ and $q$. An interesting consequence is that, for every pair of twin primes $p$ and $q$ greater than $5$, there exist three regular maps with solvable automorphism groups and Euler characteristic $-pq$, up to duality and isomorphism.
For $p \in [1, \infty),$ we define and study full and reduced crossed products of algebras of operators on $\sigma$-finite $L^p$ spaces by isometric actions of second countable locally compact groups. We give universal properties for both crossed products. When the group is abelian, we prove the existence of a dual action on the full and reduced $L^p$ operator crossed products. When the group is discrete, we construct a conditional expectation to the original algebra which is faithful in a suitable sense. For a free action of a discrete group on a compact metric space $X,$ we identify all traces on the reduced $L^p$ operator crossed product, and if the action is also minimal we show that the reduced $L^p$ operator crossed product is simple. We prove that the full and reduced $L^p$ operator crossed products of an amenable $L^p$ operator algebra by a discrete amenable group are again amenable. We prove a Pimsner-Voiculescu exact sequence for the K-theory of reduced $L^p$ operator crossed products by ${\mathbb{Z}}.$ We show that the $L^p$ analogs ${\mathcal{O}}_d^p$ of the Cuntz algebras ${\mathcal{O}}_d$ are stably isomorphic to reduced $L^p$ operator crossed products of stabilized $L^p$ UHF algebra by ${\mathbb{Z}},$ and show that $K_0 ({\mathcal{O}}_d^p) \cong {\mathbb{Z}} / (d - 1) {\mathbb{Z}}$ and $K_1 ({\mathcal{O}}_d^p) = 0.$
In 2020, Alabdali and Byott described the Hopf-Galois structures arising on Galois field extensions of squarefree degree. Extending to squarefree separable, but not necessarily normal, extensions $L/K$ is a natural next step. One must consider now the interplay between two Galois groups $G=\operatorname{Gal}(E/K)$ and $G'=\operatorname{Gal}(E/L)$, where $E$ is the Galois closure of $L/K$. In this paper, we give a characterisation and enumeration of the Hopf-Galois structures arising on separable extensions of degree $pq$ where $p$ and $q$ are distinct odd primes. This work includes the results of Byott and Martin-Lyons who do likewise for the special case that $p=2q+1$.
We investigate finitary functions from $\mathbb{Z}_{pq}$ to $\mathbb{Z}_{pq}$ for two distinct prime numbers $p$ and $q$. We show that the lattice of all clones on the set $\mathbb{Z}_{pq}$ which contain the addition of $\mathbb{Z}_{pq}$ is finite. We provide an upper bound for the cardinality of this lattice through an injective function to the direct product of the lattice of all $(\mathbb{Z}_p,\mathbb{Z}_q)$-linearly closed clonoids to the $p+1$ power and the lattice of all $(\mathbb{Z}_q,\mathbb{Z}_p)$-linearly closed clonoids to the $q+1$ power. These lattices are studied in arXiv:1910.11759 and there we can find the exact cardinality of them. Furthermore, we prove that these clones can be generated by a set of functions of arity at most $max(\{p,q\})$.
Let $N$ be a positive integer, $\mathbb{A}$ be a nonempty subset of $\mathbb{Q}$ and $\alpha=\dfrac{\alpha_{1}}{\alpha_{2}}\in \mathbb{A}\setminus \{0,N\}$. $\alpha$ is called an $N$-Korselt base (equivalently $N$ is said an $\alpha$-Korselt number) if $\alpha_{2}p-\alpha_{1}$ is a divisor of $\alpha_{2}N-\alpha_{1}$ for every prime $p$ dividing $N$. The set of all Korselt bases of $N$ in $\mathbb{A}$ is called the $\mathbb{A}$-Korselt set of $N$ and is simply denoted by $\mathbb{A}$-$\mathcal{KS}(N)$. Let $p$ and $q$ be two distinct prime numbers. In this paper, we study the $\mathbb{Q}$-Korselt bases of $pq$, where we give in detail how to provide $\mathbb{Q}$-$\mathcal{KS}(pq)$. Consequently, we finish the incomplete characterization of the Korselt set of $pq$ over $\mathbb{Z}$ given in [4], by supplying the set $\mathbb{Z}$-$\mathcal{KS}(pq)$ when $q <2p$.
Two basic classes of electromagnetic media, recently defined and labeled as those of P media and Q media, are generalized to define the class of PQ media. Plane wave propagation in the general PQ medium is studied and the quartic dispersion equation is derived in analytic form applying four-dimensional dyadic formalism. The result is verified by considering various special cases of PQ media for which the dispersion equation is known to decompose to two quadratic equations or be identically satisfied (media with no dispersion equation). As a numerical example, the dispersion surface of a PQ medium with non-decomposable dispersion equation is considered.
In this paper, we study the irreducible representations of skew braces of order \( pq \), which is equivalent to studying the representation theory of groups of order \( p^2q^2 \) arising from skew left braces, where \( p > q \) are primes. To achieve this, we classify all semidirect product groups \( \Lambda_A \) associated with skew left braces $A$ of order \( pq \), up to isomorphism.
Integral modular categories of Frobenius-Perron dimension $pq^n$, where $p$ and $q$ are primes, are considered. It is already known that such categories are group-theoretical in the cases of $0 \leq n \leq 4$. In the general case we determine that these categories are either group theoretical or contain a Tannakian subcategory of dimension $q^i$ for $i>1$. We then show that all integral modular categories $\mathcal{C}$ with $\mathrm{FPdim}(\mathcal{C})=pq^5$ are group-theoretical, and, if in addition $p<q$, all with $\mathrm{FPdim}(\mathcal{C})=pq^6$ or $pq^7$ are group-theoretical. In the process we generalize an existing criterion for an integral modular category to be group-theoretical.
We examine the giant graviton expansions of the Higgs indices for the 3d $\mathcal{N}=4$ $U(N)$ ADHM theories with $l$ fundamental hypermultiplets. The indices for the M5-brane giant gravitons of wrapping number $m$ appearing in the expansions consist of the contributions that generalize the characters of the W-algebra $\mathcal{W}(\mathfrak{gl}(m))$ and those which realize the characters of the affine Kac-Moody algebras of type $A_{l-1}$. Also we confirm that the inverse giant graviton expansions of the resulting M5-brane indices consistently reproduce the Higgs indices.
Let ${\Gamma}_n$ be an $n\times n$ Haar-invariant orthogonal matrix. Let ${ Z}_n$ be the $p\times q$ upper-left submatrix of ${\Gamma}_n$ and ${G}_n$ be a $p\times q$ matrix whose $pq$ entries are independent standard normals, where $p$ and $q$ are two positive integers. Let $\mathcal{L}(\sqrt{n} {Z}_n)$ and $\mathcal{L}({G}_n)$ be their joint distribution, respectively. Consider the Fisher information $I(\mathcal{L}(\sqrt{n} { Z}_n)|\mathcal{L}(G_n))$ between the distributions of $\sqrt{n} {Z}_n$ and ${ G}_n.$ In this paper, we conclude that $$I(\mathcal{L}(\sqrt{n} {Z}_n)|\mathcal{L}(G_n))\longrightarrow 0 $$ as $n\to\infty$ if $pq=o(n)$ and it does not tend to zero if $c=\lim\limits_{n\to\infty}\frac{pq}{n}\in(0, +\infty).$ Precisely, we obtain that $$I(\mathcal{L}(\sqrt{n} {Z}_n)|\mathcal{L}(G_n))=\frac{p^2q(q+1)}{4n^2}(1+o(1))$$ when $p=o(n).$
For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an étale groupoid $\mathcal{G}_A$, which in many cases of interest is a complete invariant for $A$. By identifying this groupoid for large classes of examples, we obtain a number of rigidity results that display a stark contrast with the case $p=2$; the most striking one being that of crossed products by topologically free actions. Our rigidity results give answers to questions concerning the existence of isomorphisms between different algebras. Among others, we show that for the $L^p$-analog $\mathcal{O}_2^p$ of the Cuntz algebra, there is no isometric isomorphism between $\mathcal{O}_2^p$ and $\mathcal{O}_2^p\otimes^p\mathcal{O}_2^p$, when $p\neq 2$. In particular, we deduce that there is no $L^p$-version of Kirchberg's absorption theorem, and that there is no $K$-theoretic classification of purely infinite simple amenable $L^p$-operator algebras for $p\neq 2$. Our methods also allow us to recover a folklore fact in the case of C*-algebras ($p=2$), namely that no isomorphism $\mathcal{O}_2^p\cong \mathcal{O}_2^p\otimes\mathcal{O}_2^p$ preserves the canonical Cartan subalgebras.