Search results for " mathematical physics"

showing 10 items of 396 documents

A characterization of the Schur property through the disk algebra

2017

[EN] In this paper we give a new characterization of when a Banach space E has the Schur property in terms of the disk algebra. We prove that E has the Schur property if and only if A(D, E) = A(D,E-w). (C) 2016 Elsevier Inc. All rights reserved.

Discrete mathematicsPure mathematicsMathematics::CombinatoricsBanach spaceApplied Mathematics010102 general mathematicsSchur's lemmaSchur algebra01 natural sciencesSchur's theoremSchur polynomialSchur propertySchur decomposition0103 physical sciencesSchur complement010307 mathematical physics0101 mathematicsDisk algebraMathematics::Representation TheoryMATEMATICA APLICADAAnalysisDisk algebraMathematicsSchur product theorem
researchProduct

Restriction of odd degree characters and natural correspondences

2016

Let $q$ be an odd prime power, $n > 1$, and let $P$ denote a maximal parabolic subgroup of $GL_n(q)$ with Levi subgroup $GL_{n-1}(q) \times GL_1(q)$. We restrict the odd-degree irreducible characters of $GL_n(q)$ to $P$ to discover a natural correspondence of characters, both for $GL_n(q)$ and $SL_n(q)$. A similar result is established for certain finite groups with self-normalizing Sylow $p$-subgroups. We also construct a canonical bijection between the odd-degree irreducible characters of $S_n$ and those of $M$, where $M$ is any maximal subgroup of $S_n$ of odd index; as well as between the odd-degree irreducible characters of $G = GL_n(q)$ or $GU_n(q)$ with $q$ odd and those of $N_{G}…

Discrete mathematicsRational numberGeneral Mathematics010102 general mathematicsSylow theoremsGroup Theory (math.GR)Absolute Galois group01 natural sciencesCombinatoricsMaximal subgroupMathematics::Group TheoryCharacter (mathematics)0103 physical sciencesFOS: MathematicsBijection010307 mathematical physicsRepresentation Theory (math.RT)0101 mathematicsBijection injection and surjectionMathematics::Representation TheoryPrime powerMathematics - Group TheoryMathematics - Representation TheoryMathematics
researchProduct

Triple planes with $p_g=q=0$

2019

We show that general triple planes with p_g=q=0 belong to at most 12 families, that we call surfaces of type I,..., XII, and we prove that the corresponding Tschirnhausen bundle is direct sum of two line bundles in cases I, II, III, whereas is a rank 2 Steiner bundle in the remaining cases. We also provide existence results and explicit constructions for surfaces of type I,..., VII, recovering all classical examples and discovering several new ones. In particular, triple planes of type VII provide counterexamples to a wrong claim made in 1942 by Bronowski.

Discrete mathematicsSteiner bundleApplied MathematicsGeneral Mathematics010102 general mathematicsprojective varietiesspaceadjunction theorysurfaces01 natural sciences14E20bundlesunstable hyperplanesMathematics - Algebraic GeometryTriple plane0103 physical sciencesFOS: Mathematics010307 mathematical physicsarrangements[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]0101 mathematicsMSc: Primary 14E20 14J60Algebraic Geometry (math.AG)Mathematicscovers
researchProduct

The cup product of Hilbert schemes for K3 surfaces

2003

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A [n] so that there is canonical isomorphism of rings (H *(X;ℚ)[2]) [n] ≅H *(X [n] ;ℚ)[2n] for the Hilbert scheme X [n] of generalised n-tuples of any smooth projective surface X with numerically trivial canonical bundle.

Discrete mathematicsSurface (mathematics)Hilbert series and Hilbert polynomialSequencePure mathematicsMathematics::Commutative AlgebraGeneral Mathematics010102 general mathematics01 natural sciencesCanonical bundlesymbols.namesakeHilbert schemeCup product0103 physical sciencesFrobenius algebrasymbols[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]010307 mathematical physicsIsomorphism0101 mathematicsComputingMilieux_MISCELLANEOUSMathematicsInventiones Mathematicae
researchProduct

Automorphism groups of some affine and finite type Artin groups

2004

We observe that, for fixed n ≥ 3, each of the Artin groups of finite type An, Bn = Cn, and affine type ˜ An−1 and ˜ Cn−1 is a central extension of a finite index subgroup of the mapping class group of the (n + 2)-punctured sphere. (The centre is trivial in the affine case and infinite cyclic in the finite type cases). Using results of Ivanov and Korkmaz on abstract commensurators of surface mapping class groups we are able to determine the automorphism groups of each member of these four infinite families of Artin groups. A rank n Coxeter matrix is a symmetric n × n matrix M with integer entries mij ∈ N ∪ {∞} where mij ≥ 2 for ij, and mii = 1 for all 1 ≤ i ≤ n. Given any rank n Coxeter matr…

Discrete mathematics[ MATH.MATH-GR ] Mathematics [math]/Group Theory [math.GR]General Mathematics010102 general mathematicsCoxeter groupBraid group20F36Group Theory (math.GR)Automorphism01 natural sciences[MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR]ConductorCombinatoricsMathematics::Group TheoryGroup of Lie typeSymmetric group0103 physical sciencesFOS: MathematicsRank (graph theory)Artin group010307 mathematical physics0101 mathematicsMathematics - Group Theory[MATH.MATH-GR] Mathematics [math]/Group Theory [math.GR]Mathematics
researchProduct

Three cyclic branched covers suffice to determine hyperbolic knots.

2005

Let n > m > 2 be two fixed coprime integers. We prove that two Conway reducible, hyperbolic knots sharing the 2-fold, m-fold and n-fold cyclic branched covers are equivalent. Using previous results by Zimmermann we prove that this implies that a hyperbolic knot is determined by any three of its cyclic branched covers.

Discrete mathematics[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]Quantitative Biology::BiomoleculesAlgebra and Number TheoryCoprime integers010102 general mathematics01 natural sciencesMathematics::Geometric TopologyCombinatoricsKnot (unit)[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]0103 physical sciences010307 mathematical physics0101 mathematics[MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]Mathematics
researchProduct

The renormalized electron mass in non-relativistic quantum electrodynamics

2007

This work addresses the problem of infrared mass renormalization for a scalar electron in a translation-invariant model of non-relativistic QED. We assume that the interaction of the electron with the quantized electromagnetic field comprises a fixed ultraviolet regularization and an infrared regularization parametrized by $\sigma>0$. For the value $p=0$ of the conserved total momentum of electron and photon field, bounds on the renormalized mass are established which are uniform in $\sigma\to0$, and the existence of a ground state is proved. For $|p|>0$ sufficiently small, bounds on the renormalized mass are derived for any fixed $\sigma>0$. A key ingredient of our proofs is the operator-t…

Electromagnetic fieldQuantum electrodynamics010102 general mathematicsFOS: Physical sciencesElectronMathematical Physics (math-ph)Spectral analysisRenormalization group01 natural sciences81T16Mass renormalization3. Good healthRenormalizationIsospectralRegularization (physics)Quantum mechanics0103 physical sciencesFunctional renormalization group010307 mathematical physics0101 mathematicsGround stateRenormalization group methodsAnalysisMathematical PhysicsMathematicsJournal of Functional Analysis
researchProduct

Combinatorial proofs of two theorems of Lutz and Stull

2021

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatori…

FOS: Computer and information sciences28A80 (primary) 28A78 (secondary)General MathematicskombinatoriikkaCombinatorial proofComputational Complexity (cs.CC)01 natural sciencesCombinatoricsMathematics - Metric GeometryHausdorff and packing measures0103 physical sciencesClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsMathematicsAlgorithmic information theoryLemma (mathematics)Euclidean spacePigeonhole principle010102 general mathematicsOrthographic projectionHausdorff spaceMetric Geometry (math.MG)Projection (relational algebra)Computer Science - Computational ComplexityMathematics - Classical Analysis and ODEsfraktaalit010307 mathematical physicsmittateoria
researchProduct

Efficient Quantum Algorithms for (Gapped) Group Testing and Junta Testing

2015

In the k-junta testing problem, a tester has to efficiently decide whether a given function f: {0, 1}n → {0, 1} is a k-junta (i.e., depends on at most fc of its input bits) or is ε-far from any k-junta. Our main result is a quantum algorithm for this problem with query complexity Õ([EQUATION]) and time complexity Õ(n[EQUATION]). This quadratically improves over the query complexity of the previous best quantum junta tester, due to Atıcı and Servedio. Our tester is based on a new quantum algorithm for a gapped version of the combinatorial group testing problem, with an up to quartic improvement over the query complexity of the best classical algorithm. For our upper bound on the time complex…

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum Physics0103 physical sciencesFOS: Physical sciences010307 mathematical physicsComputational Complexity (cs.CC)Computer Science::Computational ComplexityQuantum Physics (quant-ph)010306 general physics01 natural sciences
researchProduct

Lines on K3 quartic surfaces in characteristic 2

2016

We prove that a K3 quartic surface defined over a field of characteristic 2 can contain at most 68 lines. If it contains 68 lines, then it is projectively equivalent to a member of a 1-dimensional family found by Rams and Sch\"utt.

Field (physics)General Mathematics010102 general mathematicsMathematical analysis01 natural sciencesMathematics - Algebraic GeometryQuartic function0103 physical sciencesFOS: Mathematics010307 mathematical physics0101 mathematicsQuartic surface14J28 14N10 14N25Algebraic Geometry (math.AG)Mathematical physicsMathematics
researchProduct