Journal of automated reasoning, ISSN 0168-7433, 1985

Journal

Proceedings of the IEEE, ISSN 0018-9219, 06/2010, Volume 98, Issue 6, pp. 913 - 924

Undersampling theorems state that we may gather far fewer samples than the usual sampling theorem while exactly reconstructing the object of interest-provided...

Heart | ell_{1} -minimization | Psychology | Image sampling | Length measurement | universality of matrix ensembles | random measurements | Image reconstruction | Geometry | Magnetic resonance imaging | random polytopes | superresolution | Sampling methods | Particle measurements | Bandlimited measurements | Compressed sensing | undersampling | Undersampling | Universality of matrix ensembles | minimization | Superresolution | Random measurements | Random polytopes | compressed sensing | RECONSTRUCTION | SIGNAL RECOVERY | EQUATIONS | POLYTOPES | ENGINEERING, ELECTRICAL & ELECTRONIC | SPARSE REPRESENTATION | UNCERTAINTY PRINCIPLES | l-minimization | NEIGHBORLINESS | Studies | Algorithms | Sparsity | Phase transitions | Theorems | Phase transformations | Mathematical analysis | Sampling | Compressed | Combinatorial analysis | Standards

Heart | ell_{1} -minimization | Psychology | Image sampling | Length measurement | universality of matrix ensembles | random measurements | Image reconstruction | Geometry | Magnetic resonance imaging | random polytopes | superresolution | Sampling methods | Particle measurements | Bandlimited measurements | Compressed sensing | undersampling | Undersampling | Universality of matrix ensembles | minimization | Superresolution | Random measurements | Random polytopes | compressed sensing | RECONSTRUCTION | SIGNAL RECOVERY | EQUATIONS | POLYTOPES | ENGINEERING, ELECTRICAL & ELECTRONIC | SPARSE REPRESENTATION | UNCERTAINTY PRINCIPLES | l-minimization | NEIGHBORLINESS | Studies | Algorithms | Sparsity | Phase transitions | Theorems | Phase transformations | Mathematical analysis | Sampling | Compressed | Combinatorial analysis | Standards

Journal Article

Transactions of the American Mathematical Society, ISSN 0002-9947, 06/2019, Volume 371, Issue 6, pp. 4193 - 4214

We represent a general bilinear Calderón-Zygmund operator as a sum of simple dyadic operators. The appearing dyadic operators also admit a simple proof of a...

bilinear analysis | weighted theory | MATHEMATICS | representation theorems | Dyadic analysis | model operators | T1 theorems | Calderon-Zygmund operators | dyadic shifts | OPERATORS

bilinear analysis | weighted theory | MATHEMATICS | representation theorems | Dyadic analysis | model operators | T1 theorems | Calderon-Zygmund operators | dyadic shifts | OPERATORS

Journal Article

Communications in Algebra, ISSN 0092-7872, 05/2019, Volume 47, Issue 5, pp. 2192 - 2203

In the present article, we examine linear representations of finite gyrogroups, following their group-counterparts. In particular, we prove Maschke's theorem...

linear representation | gyrogroup action | Primary 20G05 | Gyrogroup | Secondary 20N05 | left regular representation | Maschke's theorem | Function space | Theorems | Mathematics - Representation Theory

linear representation | gyrogroup action | Primary 20G05 | Gyrogroup | Secondary 20N05 | left regular representation | Maschke's theorem | Function space | Theorems | Mathematics - Representation Theory

Journal Article

Linear Algebra and Its Applications, ISSN 0024-3795, 11/2019, Volume 581, pp. 304 - 323

We establish an effective version of the classical Lie–Kolchin Theorem. Namely, let A,B∈GLm(C) be quasi-unipotent matrices such that the Jordan Canonical Form...

Solvable groups | Unipotent matrices | Mapping class groups | Lie–Kolchin theorem | MATHEMATICS | MATHEMATICS, APPLIED | REPRESENTATIONS | BRAID-GROUPS | AUTOMORPHISM GROUP | Lie-Kolchin theorem | QUOTIENTS | Theorems | Mapping | Eigenvectors | Subgroups | Canonical forms

Solvable groups | Unipotent matrices | Mapping class groups | Lie–Kolchin theorem | MATHEMATICS | MATHEMATICS, APPLIED | REPRESENTATIONS | BRAID-GROUPS | AUTOMORPHISM GROUP | Lie-Kolchin theorem | QUOTIENTS | Theorems | Mapping | Eigenvectors | Subgroups | Canonical forms

Journal Article

Physical Review D - Particles, Fields, Gravitation and Cosmology, ISSN 1550-7998, 09/2015, Volume 92, Issue 6

We study the behavior of the tree-level S-matrix of a variety of theories as two particles become soft. By analogy with the recently found subleading soft...

GENERAL RELATIVITY | ASTRONOMY & ASTROPHYSICS | GRAVITATIONAL WAVES | PHOTONS | PHYSICS, PARTICLES & FIELDS | Gravitation | Theorems | Gluons | Scalars | Nonlinearity | Mathematical models | Representations | Formulas (mathematics) | Physics - High Energy Physics - Theory

GENERAL RELATIVITY | ASTRONOMY & ASTROPHYSICS | GRAVITATIONAL WAVES | PHOTONS | PHYSICS, PARTICLES & FIELDS | Gravitation | Theorems | Gluons | Scalars | Nonlinearity | Mathematical models | Representations | Formulas (mathematics) | Physics - High Energy Physics - Theory

Journal Article

Journal of Mathematical Physics, ISSN 0022-2488, 12/2017, Volume 58, Issue 12, p. 122204

Quantum versions of de Finetti’s theorem are powerful tools, yielding conceptually important insights into the security of key distribution protocols or...

REPRESENTATION | SYSTEMS | QUANTUM STATES | PHYSICS, MATHEMATICAL | ALGEBRA | CENTRAL-LIMIT-THEOREM | Permutations | Theorems | Security | Symmetry

REPRESENTATION | SYSTEMS | QUANTUM STATES | PHYSICS, MATHEMATICAL | ALGEBRA | CENTRAL-LIMIT-THEOREM | Permutations | Theorems | Security | Symmetry

Journal Article

Inventiones Mathematicae, ISSN 0020-9910, 2016, Volume 203, Issue 1, pp. 1 - 177

We consider certain families of automorphic representations over number fields arising from the principle of functoriality of Langlands. Let be a reductive...

P-ADIC GROUPS | MATHEMATICS | MOTIVIC INTEGRATION | LIE-GROUPS | STABLE TRACE FORMULA | EULER PRODUCTS | RANDOM-MATRIX THEORY | HECKE OPERATORS | REDUCTIVE GROUPS | POWER L-FUNCTIONS | MODULAR-FORMS | Theorems | Infinity | Eigenvalues | Isomorphism | Fuel consumption | Representations | Symmetry

P-ADIC GROUPS | MATHEMATICS | MOTIVIC INTEGRATION | LIE-GROUPS | STABLE TRACE FORMULA | EULER PRODUCTS | RANDOM-MATRIX THEORY | HECKE OPERATORS | REDUCTIVE GROUPS | POWER L-FUNCTIONS | MODULAR-FORMS | Theorems | Infinity | Eigenvalues | Isomorphism | Fuel consumption | Representations | Symmetry

Journal Article

Algebra universalis, ISSN 0002-5240, 9/2018, Volume 79, Issue 3, pp. 1 - 14

An important theorem of Baker and Pixley states that if $$\mathbf {A}$$ A is a finite algebra with a $$(d+1)$$ (d+1) -ary near-unanimity term and f is an n-ary...

03C40 | Algebra | Global representation | 08B10 | Baker–Pixley theorem | 03C05 | Mathematics | Near unanimity term | 08A40 | Term-interpolability | MATHEMATICS | Baker-Pixley theorem

03C40 | Algebra | Global representation | 08B10 | Baker–Pixley theorem | 03C05 | Mathematics | Near unanimity term | 08A40 | Term-interpolability | MATHEMATICS | Baker-Pixley theorem

Journal Article

Random Structures & Algorithms, ISSN 1042-9832, 08/2019, Volume 55, Issue 1, pp. 173 - 214

Journal Article

Annales Henri Poincaré, ISSN 1424-0637, 3/2018, Volume 19, Issue 3, pp. 843 - 874

We show how chirality of the weak interactions stems from string independence in the string-local formalism of quantum field theory.

Mathematical Methods in Physics | Theoretical, Mathematical and Computational Physics | Quantum Physics | Dynamical Systems and Ergodic Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | REPRESENTATIONS | PARTICLES | PHYSICS, MULTIDISCIPLINARY | POTENTIALS | PHYSICS, MATHEMATICAL | PERTURBATIVE GAUGE-INVARIANCE | ELECTROWEAK THEORY | LOCALIZED QUANTUM-FIELDS | PHYSICS, PARTICLES & FIELDS | Physics - High Energy Physics - Theory

Mathematical Methods in Physics | Theoretical, Mathematical and Computational Physics | Quantum Physics | Dynamical Systems and Ergodic Theory | Classical and Quantum Gravitation, Relativity Theory | Physics | Elementary Particles, Quantum Field Theory | REPRESENTATIONS | PARTICLES | PHYSICS, MULTIDISCIPLINARY | POTENTIALS | PHYSICS, MATHEMATICAL | PERTURBATIVE GAUGE-INVARIANCE | ELECTROWEAK THEORY | LOCALIZED QUANTUM-FIELDS | PHYSICS, PARTICLES & FIELDS | Physics - High Energy Physics - Theory

Journal Article

Fuzzy Sets and Systems, ISSN 0165-0114, 12/2018, Volume 352, pp. 1 - 11

In the paper, the implication and tensor operations of strong L-nested systems are found, and further we show that the family of all strong L-nested systems on...

Representation theorem | L-subsets | Strong L-nested systems | Girard residuated lattices

Representation theorem | L-subsets | Strong L-nested systems | Girard residuated lattices

Journal Article

Annals of Mathematics, ISSN 0003-486X, 9/2010, Volume 172, Issue 2, pp. 1407 - 1434

In the local, characteristic 0, non-Archimedean case, we consider distributions on GL(n + 1) which are invariant under the adjoint action of GL(n). We prove...

Algebra | Mathematical theorems | Topological theorems | Adjoints | Homeomorphism | Fourier transformations | Polynomials | Vector spaces | Topological spaces | MATHEMATICS | SHINTANI FUNCTIONS | REPRESENTATIONS | GL(N) | ORTHOGONAL GROUPS | DECOMPOSITION | LOCAL-FIELD F | GELFAND PAIR

Algebra | Mathematical theorems | Topological theorems | Adjoints | Homeomorphism | Fourier transformations | Polynomials | Vector spaces | Topological spaces | MATHEMATICS | SHINTANI FUNCTIONS | REPRESENTATIONS | GL(N) | ORTHOGONAL GROUPS | DECOMPOSITION | LOCAL-FIELD F | GELFAND PAIR

Journal Article

FUZZY SETS AND SYSTEMS, ISSN 0165-0114, 12/2018, Volume 352, pp. 1 - 11

In the paper, the implication and tensor operations of strong L-nested systems are found, and further we show that the family of all strong L-nested systems on...

MATHEMATICS, APPLIED | L-subsets | Strong L-nested systems | Representation theorem | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | FUZZY-SETS | Girard residuated lattices

MATHEMATICS, APPLIED | L-subsets | Strong L-nested systems | Representation theorem | STATISTICS & PROBABILITY | COMPUTER SCIENCE, THEORY & METHODS | FUZZY-SETS | Girard residuated lattices

Journal Article

Israel Journal of Mathematics, ISSN 0021-2172, 11/2012, Volume 192, Issue 1, pp. 83 - 120

Let F be a totally real field, G a connected reductive group over F, and S a finite set of finite places of F. Assume that G(F ⊗ℚ ℝ) has a discrete series...

Algebra | Analysis | Theoretical, Mathematical and Computational Physics | Mathematics, general | Mathematics | Group Theory and Generalizations | Applications of Mathematics | MATHEMATICS | EIGENVALUES | LIMIT MULTIPLICITIES | CUSPIDAL REPRESENTATIONS | FORMULA | HECKE | Series | Existence theorems | Research

Algebra | Analysis | Theoretical, Mathematical and Computational Physics | Mathematics, general | Mathematics | Group Theory and Generalizations | Applications of Mathematics | MATHEMATICS | EIGENVALUES | LIMIT MULTIPLICITIES | CUSPIDAL REPRESENTATIONS | FORMULA | HECKE | Series | Existence theorems | Research

Journal Article

Journal of Mathematical Physics, ISSN 0022-2488, 04/2018, Volume 59, Issue 4, p. 42202

We prove a generalization of the quantum de Finetti theorem when the local space is an infinite-dimensional Fock space. In particular, instead of considering...

REPRESENTATION | SECURITY | QUANTUM KEY DISTRIBUTION | PHYSICS, MATHEMATICAL | Mathematical Physics | Quantum Physics | Physics

REPRESENTATION | SECURITY | QUANTUM KEY DISTRIBUTION | PHYSICS, MATHEMATICAL | Mathematical Physics | Quantum Physics | Physics

Journal Article

Journal of Algebra, ISSN 0021-8693, 04/2020, Volume 547, pp. 179 - 219

We study the structure of an algebraic supergroup ▪ and establish the Borel-Weil theorem for ▪ to give a systematic construction of all simple supermodules...

Borel-Weil theorem | Hopf superalgebra | Algebraic supergroup | Quasireductive supergroup | Chevalley supergroup | MATHEMATICS | LIE-SUPERALGEBRAS | MODULAR-REPRESENTATIONS

Borel-Weil theorem | Hopf superalgebra | Algebraic supergroup | Quasireductive supergroup | Chevalley supergroup | MATHEMATICS | LIE-SUPERALGEBRAS | MODULAR-REPRESENTATIONS

Journal Article

Communications in Algebra, ISSN 0092-7872, 06/2018, Volume 46, Issue 6, pp. 2615 - 2619

In these notes we give a version of the Alperin-Goldschmidt fusion theorem for localities.

Fusion systems | 20J15 Secondary 20J06 | localities | group cohomology | Primary 20D20 | transporter systems | MATHEMATICS | SYSTEMS | Theorems

Fusion systems | 20J15 Secondary 20J06 | localities | group cohomology | Primary 20D20 | transporter systems | MATHEMATICS | SYSTEMS | Theorems

Journal Article

Information Fusion, ISSN 1566-2535, 05/2018, Volume 41, pp. 48 - 56

•Every typical HFS is represented by a well-structured family of FSs.•We define uniformly typical HFS and characteristic of a HFS.•We define new families of...

Representation theorem | Extension principle | Decomposition theorem | Hesitant fuzzy set | Cut set | NUMBERS | RANKING | CUTS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | HEURISTIC-SEARCH ALGORITHMS | BALANCING MEALS | CONNECTIVES | COMPUTER SCIENCE, THEORY & METHODS | DIRECTIONS | Family | Data- och informationsvetenskap | Skövde Artificial Intelligence Lab (SAIL) | Computer and Information Sciences | Naturvetenskap | Computer Sciences | Datavetenskap (datalogi) | INF301 Data Science | Natural Sciences

Representation theorem | Extension principle | Decomposition theorem | Hesitant fuzzy set | Cut set | NUMBERS | RANKING | CUTS | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | HEURISTIC-SEARCH ALGORITHMS | BALANCING MEALS | CONNECTIVES | COMPUTER SCIENCE, THEORY & METHODS | DIRECTIONS | Family | Data- och informationsvetenskap | Skövde Artificial Intelligence Lab (SAIL) | Computer and Information Sciences | Naturvetenskap | Computer Sciences | Datavetenskap (datalogi) | INF301 Data Science | Natural Sciences

Journal Article

Mathematical Programming, ISSN 0025-5610, 10/2014, Volume 147, Issue 1, pp. 519 - 538

In this paper, we study the existence of optimal solutions to a constrained polynomial optimization problem. More precisely, let $$f_0$$ f 0 and $$f_1, \ldots...

Theoretical, Mathematical and Computational Physics | Nondegenerate polynomial programs | Mathematics | 90C26 | Frank–Wolfe type theorem | Mathematical Methods in Physics | 90C30 | Calculus of Variations and Optimal Control; Optimization | Mathematics of Computing | Numerical Analysis | Combinatorics | Existence of optimal solutions | Newton polyhedron | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Frank-Wolfe type theorem | MATHEMATICS, APPLIED | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | REPRESENTATIONS | CONVEX | GLOBAL OPTIMIZATION | SQUARES | SUMS | Studies | Computer science | Polynomials | Polyhedra | Analysis | Mathematical programming | Functions (mathematics) | Constraints | Infinity | Mathematical analysis | Infimum | Texts | Optimization

Theoretical, Mathematical and Computational Physics | Nondegenerate polynomial programs | Mathematics | 90C26 | Frank–Wolfe type theorem | Mathematical Methods in Physics | 90C30 | Calculus of Variations and Optimal Control; Optimization | Mathematics of Computing | Numerical Analysis | Combinatorics | Existence of optimal solutions | Newton polyhedron | COMPUTER SCIENCE, SOFTWARE ENGINEERING | Frank-Wolfe type theorem | MATHEMATICS, APPLIED | OPERATIONS RESEARCH & MANAGEMENT SCIENCE | REPRESENTATIONS | CONVEX | GLOBAL OPTIMIZATION | SQUARES | SUMS | Studies | Computer science | Polynomials | Polyhedra | Analysis | Mathematical programming | Functions (mathematics) | Constraints | Infinity | Mathematical analysis | Infimum | Texts | Optimization

Journal Article

No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.