inedge

(graph theory) An incoming edge in a digraph, i.e. one that enters a particular node.


half-edge

(graph theory) An edge that is attached to only one node, rather than connecting two of them, or is connected in only one direction


partial differential

en-noun

partial differential (plural partial differentials)

(mathematics) an infinitesimal change in a variable in a partial derivative, or the result of partial differentiation


esterling

An obsolete Belgian unit of mass, one twentieth of an ounce.


Eppstein's algorithm

After US mathematician David Eppstein (born 1963).

(graph theory) An algorithm that finds a number of shortest paths (allowing cycles) connecting a given pair of vertices in a digraph.


all students take calculus

LL-Q1860 (eng)-Flame, not lame-all students take calculus.wav

(mathematics, mnemonic) An acronym used to remember the sign values of all the trigonometric functions in the two-dimensional Cartesian coordinate system: all, sine, tangent, cosine — signifying which of the functions are positive, in the order of the quadrants, starting at the top right and moving counterclockwise.


postmultiply

en-verb

postmultiply (third-person singular simple present postmultiplies, present participle postmultiplying, simple past and past participle postmultiplied)

postmultiplies (present singular third-person)
postmultiplying (participle present)
postmultiplied (participle past)
postmultiplied (past)

(mathematics) To multiply (the elements of a vector or matrix) by a following factor


subcomb

A corresponding series of descending subcombs lay in place, each successive subcomb's conduits, or teeth, having diameters decreased by half.

2007, Ron Sanders, Microcosmia, →ISBN, page 132:

With these choices, a subcomb with at least one tooth can be smoothed.

2013, Olivier Debarre, Higher-Dimensional Algebraic Geometry, →ISBN, page 106:

(algebraic geometry) A subcurve of a comb that includes the handle.


in one's head

Captain Whalley, who seemed lost in a mental effort as of doing a sum in his head, gave a slight start.

1902, Joseph Conrad, chapter 5, in The End of the Tether:

(idiomatic, mathematics, of performing a calculation) Mentally.


Galileo's paradox

Named after the scientist Galileo, though he did not originate the concept.

(set theory) A demonstration of a surprising property of infinite sets. Some positive integers are squares while others are not; therefore, all the numbers, including both squares and non-squares, must be more numerous than just the squares; yet for every square there is exactly one positive number that is its square root, and for every number there is exactly one square; hence, there cannot be more of one than of the other.


Hauptvermutung

From German Hauptvermutung, from haupt- (“main, chief, primary”) + Vermutung (“conjecture”).

(topology) The conjecture, now proven false, that any two triangulations of a triangulable space have a common refinement, a single triangulation that is a subdivision of both of them.


quasireflexive

(set theory) Of a relation ~ on a set S: such that every element that is related to some element is also related to itself, i.e. ∀x,y∈S: x~y ⇒ x~x ∧ y~y.

(topology) Of a Banach space X: such that the quotient X ′′ / J(X) has finite dimension d. (It is then said to be "quasireflexive of order d".)


hyperdeficient

en-adj

hyperdeficient (comparative more hyperdeficient, superlative most hyperdeficient)

more hyperdeficient (comparative)
most hyperdeficient (superlative)

(mathematics, number theory) Having the property that, for some positive integer k, δk(n) > 0, where δk(n) = n(k+1) +(k-1) –kσ(n) and σ(n) is the sum of the positive divisors of n.


hyperdeficiency

(mathematics) The quality of being hyperdeficient


colog

(mathematics) Abbreviation of cologarithm.


cologarithmic

(mathematics) Relating to the cologarithm.


cosmism

artificial intelligence
artificial intelligence

A moral philosophy regarding the future of artificial intelligence, based on the writings of Hugo de Garis (born 1947).


CHZ

Circumstellar habitable zone
w:Circumstellar habitable zone

Initialism of Circumstellar habitable zone.


Killing field

(mathematics) A vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric.


principal part

prīncipālis pars

grammar, obsolete: most fundamental or indispensable part of speech

(mathematics) A polynomial approximation of a power series, made up of monomials whose indices lie in the Newton diagram of the power series and which occur with the same coefficients as in the original power series.

(mathematics) The portion of a Laurent series that has negative exponents.


weightable

weightable (comparative more weightable, superlative most weightable)

more weightable (comparative)
most weightable (superlative)

Obviously, each metric is weightable and the weight function of a weightable quasi-pseudometric is determined up to an additive constant.

2013, C.E. Aull, Handbook of the History of General Topology, page 926:


matrically

en-adv

matrically (comparative more matrically, superlative most matrically)

more matrically (comparative)
most matrically (superlative)

This is a modern computer for the solution of matrically formulated implicit mathematical relations such as differential equations systems.

1964 September, The Matrix and Tensor Quarterly:

Since S is assumed to be a matrically reduced ring, it follows that...

1970, A. V. Jategaonkar, Left Principal Ideal Rings:

Therefore, from the results of section 2 it follows that these properties are matrically invariant.

1974, Fundamenta Mathematicae, volumes 85-86, page 69:

(mathematics) By means of, or in the form of matrices


S-box

In block ciphers, S-boxes are typically used to obscure the relationship between the key and the ciphertext.

(cryptography) A basic component of symmetric-key algorithms, which performs substitution, transforming one set of bits into another.


underrelaxation

LL-Q1860 (eng)-Flame, not lame-underrelaxation.wav

(mathematics) A technique useful for solving strongly nonlinear equations, similar to overrelaxation, except that the variable changes are slowed down rather than sped up.


underrelax

en-verb

underrelax (third-person singular simple present underrelaxes, present participle underrelaxing, simple past and past participle underrelaxed)

underrelaxes (present singular third-person)
underrelaxing (participle present)
underrelaxed (participle past)
underrelaxed (past)

LL-Q1860 (eng)-Flame, not lame-underrelax.wav

Because of the inherent non-linearity of the discretization equation it is sometimes necessary to slow down the change in φ from one iteration to the next, i.e. underrelaxing, to avoid divergence to the solution.

2003, Hazim B. Awbi, Ventilation of Buildings, →ISBN, page 377:

With this modification, van Doormal and Raithby reported that it was no longer necessary to underrelax the pressure correction.

2016, Richard H. Pletcher, John C. Tannehill, Dale Anderson, Computational Fluid Mechanics and Heat Transfer, →ISBN:

(mathematics) To solve using underrelaxation.


paradifferential

We here give an overview of results that we can get by Fourier analysis and paradifferential calculus, for the compressible Navier-Stokes equations.

2015, Raphaël Danchin, “Fourier analysis methods for the compressible Navier-Stokes equations”, in arXiv:

differential calculus
differential calculus

(mathematics) Describing an extension of differential calculus that deals with nonlinear hyperbolic and similar functions


pseudodifferential

LL-Q1860 (eng)-Flame, not lame-pseudodifferential.wav

differential calculus
differential calculus#English

Fourier transform
Fourier transform#English

(mathematics) Describing an extension to differential calculus that deals with Fourier transforms and similar structures.


parahoric

As a corollary, we prove that the canonical Haar measure on G, which assigns volume 1 to the particular \emph{canonical} maximal parahoric defined by Gross, is motivic.

2015, Julia Gordon, David Roe, “The canonical measure on a reductive p-adic group is motivic”, in arXiv:

(mathematics) Describing a form of parabolic Iwahori subgroups


semicontiguous

They conjectured that any semicontiguous minor can also be written in terms of domino tilings of a region on the square lattice.

2015, Tri Lai, “Proof of a conjecture of Kenyon and Wilson on semicontiguous minors”, in arXiv:


surjunctive

We prove that pre-injective, post-surjective cellular automata over surjunctive groups are reversible.

2015, Silvio Capobianco, Jarkko Kari, Siamak Taati, “Post-surjectivity and balancedness of cellular automata over groups”, in arXiv:

(mathematics) Describing a group whose every injective cellular automaton is surjective


timestepping

Computational efficiency is achieved under a combination of element-specific kernels (including new quadrature-free operators for the pyramid), multi-rate timestepping, and acceleration using Graphics Processing Units..

2015, Jesse Chan, Zheng Wang, Axel Modave, Jean-Francois Remacle, T. Warburton, “GPU-accelerated discontinuous Galerkin methods on hybrid meshes”, in arXiv:

(mathematics) A stepwise temporal analysis.


biaffine

This construction is explained using incidences between points and lines of a biaffine plane and we also provide a pure algebraic model for it with the aid of finite Heisenberg groups.

2015, Štefan Gyürki, Mikhail Klin, “Construction of infinite families of non-Schurian association schemes of order 2p², p an odd prime, based on biaffine planes and Heisenberg groups: research report and beyond”, in arXiv:

(mathematics) affine in two different ways


extremizer

We also prove that any extremizer satisfies foralmosteveryx#92;inS¹.

2015, Shuanglin Shao, “On existence of extremizers for the Tomas-Stein inequality for S¹”, in arXiv:

(mathematics) A function that returns an extremum.


multimodeness

en-noun

multimodeness (countable and uncountable, plural multimodenesses)

Despite the multimodeness of our waveguide, the well-established Fabry-Perot technique for recording fringes in the optical transmission spectrum can successfully be employed for a detailed linear optical characterization when combined with Fourier analysis.

2015, B. Pressl, T. Günthner, K. Laiho, J. Geßler, M. Kamp, S. Höfling, C. Schneider, G. Weihs, “Modally Resolved Fabry-Perot Experiment with Semiconductor Waveguides”, in arXiv:

(mathematics) The condition of having or employing multiple modes


onshell

So far these results include the following families of the integrals: 3-loop onshell massless vertices, 3-loop onshell mass operator type integrals, 4-loop QED-type tadpoles, 4-loop massless propagators.

2015, Roman N. Lee, Kirill T. Mingulov, “Introducing SummerTime: a package for high-precision computation of sums appearing in DRA method”, in arXiv:

(mathematics, physics) That conforms to classical physics


semidistributive

Building on work of Iyama, Reiten, Thomas, and Todorov, we show that this directed graph is a semidistributive lattice by using the isomorphism to the lattice of functorially finite torsion classes of the corresponding cluster-tilted algebra when the exchange graph is finite.

2015, Alexander Garver, Thomas McConville, “Lattice Properties of Oriented Exchange Graphs and Torsion Classes”, in arXiv:


superlimit

LL-Q1860 (eng)-Flame, not lame-superlimit.wav

Then the following are equivalent: 1) For all high-enough #92;lambda, there exists #92;kappa#92;le#92;lambda such that there is a good #92;lambda-frame on the class of #92;kappa-saturated models in K#95;#92;lambda. 2) For all high-enough #92;lambda, K has a unique limit model of cardinality #92;lambda. 3) For all high-enough #92;lambda, K has a superlimit model of cardinality #92;lambda. 4) For all high-enough #92;lambda, the union of a chain of #92;lambda-saturated models is #92;lambda-saturated. 5) There exists #92;theta such that for all high-enough #92;lambda, K is (#92;lambda,#92;theta)-solvable..

2015, Rami Grossberg, Sebastien Vasey, “Superstability in abstract elementary classes”, in arXiv:


transnormal

In this paper, we introduce isoparametric functions and isoparametric hypersurfaces in Finsler manifolds and give the necessary and sufficient conditions for a transnormal function to be isoparametric.

2015, Qun He, SongTing Yin, YiBing Shen, “Isoparametric Hypersurfaces in Minkowski Spaces”, in arXiv:

(mathematics) Having the property that for any pair of points (x, y) in a Riemannian manifold where x belongs to the normal subspace at y, the normal subspaces at points x and y coincide.


bicomplex

We also study the conditions under which topological bicomplex modules and locally bicomplex convex modules become hyperbolic normable and hyperbolic metrizable respectively..

2015, Romesh Kumar, Heera Saini, “Topological Bicomplex Modules”, in arXiv:

(mathematics) Composed of a pair of complex numbers having certain defined properties


conormal

Given two closed submanifolds Q#95;0 and Q#95;1 of M and a real number k, we study the existence of Euler-Lagrange orbits with energy k connecting Q#95;0 to Q#95;1 and satisfying the conormal boundary conditions.

2015, Luca Asselle, “On the existence of Euler-Lagrange orbits satisfying the conormal boundary conditions”, in arXiv:

(mathematics) Whose corresponding vector field (covector) is normal


hyperholomorphic

Generalizing work of Haydys and Hitchin, we prove the existence of a hyperholomorphic line bundle on certain hyperk\"ahler manifolds that do not admit an S^1 symmetry.

2015, Eric O. Korman, “A hyperholomorphic line bundle on certain hyperkähler manifolds not admitting an S^1-symmetry”, in arXiv:

(mathematics) hyperbolic and holomorphic


subitemset

As an immediate consequence, we prove that finding a class representative itemsets up to subitemset isomorphism is GI-Hard --- at least as hard as the graph isomorphism problem..

2015, Martin Marinov, David Gregg, “Itemset Isomorphism: GI-Complete”, in arXiv:


superfractal

LL-Q1860 (eng)-Flame, not lame-superfractal.wav

As a corollary of our main results, we obtain the non-faithfullness of the family of cylinders generated by the classical L\"uroth expansion. Possible infinite entropy of the stochastic vector Q#95;#92;infty which determines the metric relations for partitions of the generalized L\"uroth expansions, possible non-faithfulness of the family #92;Phi(Q#95;#92;infty) and the absence of general formulae for the calculation of the Hausdorff dimension even for probability measures with independent identically distributed symbols of generalized L\"uroth expansions are all facts that do not allow to apply usual probabilistic methods, as well as methods of dynamical systems to study fractal properties of corresponding subsets of non-normal numbers. Despite of the above mentioned difficulties, we develop new approach to the study of subsets of Q#95;#92;infty-essentially non-normal numbers and prove (without any additional restrictions on the stochastic vector Q#95;#123;#92;infty#125;) that this set is superfractal.

2015, Sergio Albeverio, Yuri Kondratiev, Roman Nikiforov, Grygoriy Torbin, “On new fractal phenomena connected with infinite linear IFS”, in arXiv:

iterated function system
iterated function system

(mathematics) The attractor of an iterated function system


iterated function system

iterated function system (plural iterated function systems)

(mathematics) A collection of transformations, which, when applied sequentially, can be used to construct a fractal. Formally: a finite set (or tuple) of contraction mappings on a complete metric space.


undercomplete

LL-Q1860 (eng)-Flame, not lame-undercomplete.wav

Recent work unified the analysis of these algorithms for the overcomplete and undercomplete systems, showing convergence to the ordinary least squares (OLS) solution and the minimum Euclidean norm solution respectively.

2015, Ahmed Hefny, Deanna Needell, Aaditya Ramdas, “Rows vs. Columns: Randomized Kaczmarz or Gauss-Seidel for Ridge Regression”, in arXiv:

(mathematics) Describing a frame (in linear algebra) having a set of functions less than a basis


Spearman's rho

Created by Charles Spearman, and often denoted by the Greek letter rho.

Spearman's rank correlation coefficient#English

Synonym of Spearman's rank correlation coefficient


multinorm

We also give a complete criterion for the Hasse principle for multinorm equations to hold when L#95;0 is a meta-cyclic extension..

2015, Eva Bayer-Fluckiger, Ting-Yu Lee, Raman Parimala, “Hasse principles for multinorm equations”, in arXiv:


superlevel

LL-Q1860 (eng)-Flame, not lame-superlevel.wav

Method 1 exploits the fact that F can be defined with an existential quantifier, while Method 2 computes approximations of the support of image measures.The two methods output a sequence of superlevel sets defined with a single polynomial that yield explicit outer approximations of F.

2015, Victor Magron, Didier Henrion, Jean-Bernard Lasserre, “Semidefinite approximations of projections and polynomial images of semialgebraic sets”, in arXiv:

(mathematics) Having a greater constant value than a related level set


blockmodeling

Performance bounds are given for exploratory co-clustering/ blockmodeling of bipartite graph data, where we assume the rows and columns of the data matrix are samples from an arbitrary population.

2015, David Choi, “Co-clustering of Nonsmooth Graphons”, in arXiv:

(mathematics) The modeling of data using block models


circloid

Our second result shows that if the continuum K is minimal with the property of being annular (what we call a circloid), then every rational number between the extrema of the rotation set in K is realized by a periodic orbit in K.

2015, Andres Koropecki, “Realizing rotation numbers on annular continua”, in arXiv:

(mathematics) A variant of a cycloid being the locus of a point on a circle that rolls around another circle


quotienting

We show that such deformations still exists after quotienting out by diffeomorphisms only if the non linear addition is non associative..

2015, Valerio Astuti, Laurent Freidel, “Lorentz invariant deformations of momentum space”, in arXiv:

(mathematics) The formation of quotients.


semicharacteristic

Defining a consistent set of local rules requires the sign structure of the ground state wavefunction to depend not just on the number of disconnected surfaces, but also upon their higher Betti numbers through the semicharacteristic.

2015, Michael H. Freedman, Matthew B. Hastings, “Double semions in arbitrary dimension”, in arXiv:


triholomorphic

We then address compactness issues for a weakly converging sequence u#95;#92;ell#92;rightharpoonupu#95;#92;infty of strongly approximable triholomorphic maps u#95;#92;ell#58;#92;mathcal#123;M#125;#92;to#92;mathcal#123;N#125; with uniformly bounded Dirichlet energies.

2015, Costante Bellettini, Gang Tian, “Compactness results for triholomorphic maps”, in arXiv:

(mathematics) trijective and holomorphic


coclosed

We give a method to obtain new 7-dimensional Lie algebras endowed with closed and coclosed G2-structures starting from 6-dimensional Lie algebras with symplectic half- at SU(3)-structures and half- at SU(3)- structures, respectively.

2015, Victor Manero, “Construction of Lie algebras with special G2-structures”, in arXiv:


cocoercive

Our general setting features stochastic approximations of the cocoercive operator and stochastic perturbations in the evaluation of the resolvents of the set-valued operator.

2015, Patrick L. Combettes, Jean-Christophe Pesquet, “Stochastic Approximations and Perturbations in Forward-Backward Splitting for Monotone Operators”, in arXiv:

(mathematics, of an operator) Having the property that there exists a constant L ≥ 0 such that for all x and y in the domain, <Ax-Ay, x-y> is greater than or equal to 1/L ||Ax - Ay||2, where Ax is the operator applied to x.


pseudoeffective

LL-Q1860 (eng)-Flame, not lame-pseudoeffective.wav

In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces.

2015, Brian Harbourne, Piotr Pokora, Halszka Tutaj-Gasińska, “On integral Zariski decompositions of pseudoeffective divisors on algebraic surfaces”, in arXiv:

(mathematics) Having a nonnegative intersection product with every ample divisor and numerically eventually free if the intersection product with every positive divisor is non-negative.


pseudotensorial

In the present paper this criterion is reformulated in terms of pseudotensorial invariants of the form..

2015, Ruslan Sharipov, “On positive bivariate quartic forms”, in arXiv:

(mathematics) Relating to a pseudotensor


supercongruence

LL-Q1860 (eng)-Flame, not lame-supercongruence.wav

Mortenson \cite{mortenson2} using the theory of Gaussian hypergeometric series follows from one of our more general supercongruence..

2015, Rupam Barman, Neelam Saikia, “Supercongruences for truncated hypergeometric series and p-adic gamma function”, in arXiv:

(mathematics) A congruence modulo some power of a prime


superiorization

This resilience to bounded perturbations is relevant to the ability to apply the recently developed superiorization methodology to PSG methods, in particular to the EM algorithm..

2015, W. Jin, Y. Censor, M. Jiang, “Bounded perturbation resilience of projected scaled gradient methods”, in arXiv:

(mathematics) An iterative form of optimization.


orientifolded

We describe in detail how the spectrum of a single anti-D3-brane in four-dimensional orientifolded IIB string models reproduces precisely the field content of a nilpotent chiral superfield with the only physical component corresponding to the fermionic goldstino.

2015, Renata Kallosh, Fernando Quevedo, Angel M. Uranga, “String Theory Realizations of the Nilpotent Goldstino”, in arXiv:

(mathematics) Converted into an orientifold


quasiminimal

In this paper we explore possibilities of constructing quasiminimal models of a given first-order theory.

2015, Levon Haykazyan, “Constructing Quasiminimal Structures”, in arXiv:

(mathematics) Relating to a quasiminimum


squarefreed

In fact, we find a factor Hp(f,#91;x#95;1,#92;ldots,x#95;n#93;) of the squarefreed iterated resultant, and prove that the multivariate discriminant #92;Delta(f) is a factor of Hp(f,#91;x#95;1,#92;ldots,x#95;n#93;).

2015, Jingjun Han, “Multivariate discriminant and iterated resultant”, in arXiv:

(mathematics) Converted into a squarefree form


sublocus

We prove that they describe a sublocus #92;mathcal#123;G#125;ʳ#95;g(#92;underline#123;k#125;) of #92;mathcal#123;M#125;#95;#123;g,n#125; having codimension at most g-1#43;#92;frac#123;r(r-1)#125;#123;2#125;.

2015, Edoardo Ballico, Francesco Bastianelli, Luca Benzo, “On large theta-characteristics with prescribed vanishing”, in arXiv:


coherentized

This is confirmed by our results of the investigations relative to the following items: an open resonator with periodic boundaries, conditions to create specific distribution of the modes and the effect of the field crystallization, the use of this effect to create an^([sic]) proficient and coherentized system of neutral atoms traps and to achieve their precise localization; the equilibrium systems which can go, at temperatures below critical ones, into the special state with off-diagonal long-range order (i.e. to the state with macroscopic quantum coherence), phase transition (photons condensation) in the two-level atoms interacting with radiation mode in the resonator, superradiant phase transition, the order-disorder type ferroelectrics in the cavity electromagnetic field, the advantage of the systems capable to self-organization, including the suppression of the temperature influence as the decoherence factor acting on the work states of the qubits (atoms, ferroelectric molecules), and also the coherent character of the direct dipole-dipole interaction between qubits (in the case of ferroelectrics), and other items..

2015, T.M. Makhviladze, M.E. Sarychev, “Theoretical study of a new method for the quantum computer implementation based on self-organizing structures: the essence of new proposals and argumentation”, in arXiv:

(mathematics, physics) Converted to a coherent form


coregionalization

We review the main approaches to building cross-covariance models, including the linear model of coregionalization, convolution methods, the multivariate Mat\'{e}rn and nonstationary and space-time extensions of these among others.

2015, Marc G. Genton, William Kleiber, “Cross-Covariance Functions for Multivariate Geostatistics”, in Statistical Science, volume 30, pages 147–163:


quasiabelian

We prove that certain degenerate abelian varieties, the compactified Jacobian of a nodal curve and a stable quasiabelian variety, satisfy autoduality.

2015, Jesse Leo Kass, “Autoduality holds for a degenerating abelian variety”, in arXiv:

(mathematics) Having properties similar to an abelian structure


quasimetric

(mathematics) A structure that satisfies most, but not all, axioms of a metric


altermatic

Coined by mathematicians Meysam Alishahiand and Hossein Hajiabolhassan in 2014 for the 2015 paper "On the chromatic number of general Kneser hypergraphs" as a blend of alternating + chromatic on the grounds that the chromatic bound is given by a longest subsequence in which every pair of consecutive terms differs (loosely, the subsequence "alternates").

coinage

In this paper, as a generalization of the well-known result of Schrijver about the chromatic number of Schrijver graphs, we determine the chromatic number of a large family of matching graphs by specifying their altermatic number.

2015, Meysam Alishahi, Hossein Hajiabolhassan, “On The Chromatic Number of Matching Graphs”, in arXiv:

(mathematics) Describing a certain combinatorial lower bound of a chromatic number of a graph.


cokriging

In this work, we provide some theoretical results to compare cokriging with kriging by examining some explicit models and specific sampling schemes. [arXiv:1507.08017].

2015, Hao Zhang, Wenxiang Cai, “When Doesn't Cokriging Outperform Kriging?”, in Statistical Science, volume 30, pages 176–180:

(mathematics) A multivariate form of kriging


intersective

Coordinate term: subsective

It is known that s(G)#92;leqr(G). It is also known that if G is realizable as a Galois group over the rationals, then it is also realizable as the Galois group of an intersective polynomial.

2015, D. Bubboloni, J. Sonn, “Intersective S_n polynomials with few irreducible factors”, in arXiv:


oplax

From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally inductive groupoids and to an equivalence between the category of inverse categories with oplax functors and the category of top-heavy locally inductive groupoids and ordered functors..

2015, Darien DeWolf, Dorette Pronk, “The Ehresmann-Schein-Nampooripad Theorem for Inverse Categories”, in arXiv:

(mathematics) Pertaining to the dual of a lax monoidal functor.


coderivative

This paper sheds new light on regularity of multifunctions through various characterizations of directional H\"older /Lipschitz metric regularity, which are based on the concepts of slope and coderivative.

2015, Van Ngai Huynh, Huu Tron Nguyen, Michel Théra, “Directional Hölder Metric Regularity”, in arXiv:

(mathematics) A generalised derivative of a multivalued mapping


galoisian

Let p be a prime number, let K be a local field with perfect residue field of characteristic p and let L be a finite galoisian totally ramified p-extension of group K) (of order gt;1).

2015, Chandan Singh Dalawat, “The ramification filtration in certain p-extensions”, in arXiv:

(mathematics) Pertaining to Galois theory.


hyperoctahedrally

From hyperoctahedral + -ly or hyper- + octahedrally.

The last two of these identities are new, and relate infinite sums over hyperoctahedrally symmetric Hall-Littlewood polynomials with partition functions of the six-vertex model on finite domains..

2015, Michael Wheeler, Paul Zinn-Justin, “Refined Cauchy/Littlewood identities and six-vertex model partition functions: III. Deformed bosons”, in arXiv:

(mathematics) With regard to a hyperoctahedron


orbifoldized

We calculate the bosonic boundary state corresponding to a moving fractional Dp-brane in a partially orbifoldized spacetime #92;mathbb#123;R#125;#123;1,d-5#125;#92;times#92;mathbb#123;C#125;#123;2#125;#47;#92;mathbb#123;Z#125;#95;#123;2#125; in the presence of the Kalb-Ramond field, the U(1) gauge potential and the tachyon field.

2015, Maryam Saidy-Sarjoubi, Davoud Kamani, “Moving Fractional Branes with Background Fields: Interaction and Tachyon Condensation”, in arXiv:

(mathematics) Converted to, or considered as an orbifold


positroid

Finally, we give a way of producing a number for each matroid variety called its expected codimension that can be computed combinatorially solely from the matroid itself and show that it agrees with the actual codimension in the case of a positroid variety.

2015, Nicolas Ford, “Geometric Shifts and Positroid Varieties”, in arXiv:

(mathematics) A matroid of a real matrix with nonnegative maximal minors


subdifferentiation

Considering two major subdifferentials of variational analysis, we derive nonsmooth versions of the Leibniz rule on subdifferentiation under the integral sign, where the integral of the subdifferential set-valued mappings generated by Lipschitzian integrands is understood in the Gelfand sense.

2015, Boris S. Mordukhovich, Nobusumi Sagara, “Subdifferentials of Nonconvex Integral Functionals in Banach Spaces with Applications to Stochastic Dynamic Programming”, in arXiv:

(mathematics) The formation of a subderivative


endocobordism

We show that any Legendrian knot has a non-orientable Lagrangian endocobordism, and that the crosscap genus of such a non-orientable Lagrangian endocobordism must be a positive multiple of 4.

2015, Orsola Capovilla-Searle, Lisa Traynor, “Non-Orientable Lagrangian Cobordisms between Legendrian Knots”, in arXiv:

(mathematics) A cobordism between a manifold and itself.


pluricanonical

Our main result is that, on the projective completion #92;mathbb#123;P#125;(#92;mathcal#123;F#125;#92;oplus#92;mathbb#123;C#125;) of a pluricanonical line bundle #92;mathcal#123;F#125;} over a product of K\"ahler--Einstein Fano manifolds with the second Betti number 1, momentum-constructed constant scalar curvature K\"ahler metrics with cone singularities along the #92;infty-section exist if and only if the log Futaki invariant vanishes on the fibrewise #92;mathbb#123;C#125;#42;-action, giving a supporting evidence to the log version of the Donaldson--Tian--Yau conjecture for general polarisations.

2015, Yoshinori Hashimoto, “Scalar curvature and Futaki invariant of Kähler metrics with cone singularities along a divisor”, in arXiv:


symplectization

In the symplectization of standard contact 3-space, #92;mathbbR#92;times#92;mathbbR³, it is known that an orientable Lagrangian cobordism between a Legendrian knot and itself, also known as an orientable Lagrangian endocobordism for the Legendrian knot, must have genus 0.

(mathematics) Conversion to symplectic form


syntomic

From syn- (“same”) + -tome (“cutting, section”) + -ic (“adjectival suffix”), ultimately from Ancient Greek τέμνω (témnō, “I cut”). Coined by mathematician Barry Mazur.

affix

(mathematics) Flat, of finite presentation, and locally a complete intersection.

We introduce syntomic coefficients and show that in dimension zero they form a full triangulated subcategory of the derived category of potentially semistable Galois representations. Along the way, we obtain p-adic realizations of mixed motives including p-adic comparison isomorphisms.

2015, Frédéric Déglise, Wiesława Nizioł, “On p-adic absolute Hodge cohomology and syntomic coefficients, I”, in arXiv:

(mathematics) Of or relating to a geometric object that is flat, of finite presentation, and locally a complete intersection.


automorphically

In Section 5, we present one example of the subvariety of the variety of all the representations of the Lie algebras over the field k, and two representations from these variety which are automorphically equivalent but not geometrically equivalent..

2015, A. Tsurkov, “Automorphic Equivalence in the Varieties of Representations of Lie algebras”, in arXiv:


cosimplicial

We prove that the differential graded algebra of functions on the cosimplicial scheme #92;text#123;MC#125;#92;bullet(L) is quasi-isomorphic to the Chevalley-Eilenberg complex of L#95;#43;..

2015, Ezra Getzler, “The derived Maurer-Cartan locus”, in arXiv:


demipositivity

The convergence of the empirical means of the x#95;n's towards a zero of #123;#92;mathcalA#125;#43;#123;#92;mathcalB#125; follows, as well as the convergence of the sequence (x#95;n) itself to such a zero under a demipositivity assumption.

2015, Pascal Bianchi, Walid Hachem, “Dynamical behavior of a stochastic forward-backward algorithm using random monotone operators”, in arXiv:

(mathematics) The condition of being demipositive


paracontact

The main purpose of this paper is to give some results in paracontact geometry obtained by the existence of a harmonic map..

2015, S. K. Srivastava, K. Srivastava, “Harmonic maps on paracontact manifolds”, in arXiv:

(mathematics) Having the property that every open cover has an open refinement that is locally finite.


preassociative

(mathematics) Prior to association into an aggregation


quasidiagonal

We extend the result of Choi on the quasidiagonality of C#42;(#123;#92;mathbbF#125;#95;n), proving that the free product with amalgamation over #123;#92;mathbbC#125;1 of a family of unital quasidiagonal C*-algebras is quasidiagonal..

2015, Florin P. Boca, “A note on full free product C*-algebras, lifting and quasidiagonality”, in Proceedings of the, volume 16:

(mathematics) Having an approximate unit consisting of projections which is quasicentral.


bifunction

The bifunction is assumed to be satisfying a Lipschitz-type condition when the basic iteration comes from the extragradient method.

2015, Bui Van Dinh, Do Sang Kim, “Extragradient algorithms for equilibrium problems and symmetric generalized hybrid mappings”, in arXiv:

(mathematics) A function of a pair of values


cotilting

We also provide a dual description of infinite dimensional cotilting modules and a classification result for the indecomposable pure-injective modules..

2015, Lidia Angeleri Hügel, Dirk Kussin, “Tilting and cotilting modules over concealed canonical algebras”, in arXiv:

(mathematics) dual to a tilting class, module, or functor.


demiclosed

The convergence of the iterates generated by each method is obtained under assumptions that the fixed point mapping is quasi-nonexpansive and demiclosed at 0, and the bifunction associated with the equilibrium problem is weakly continuous.


extragradient

It becomes unnecessary when an Armijo back tracking linesearch is incorporated in the extragradient method..

(mathematics) Obtaining strong convergence without strong monotonicity by projecting twice on the underlying set of constraints.


hyperregular

In fact, you can set one to one correspondence between the Lagrangian and Hamiltonian in the case of hyperregular Lagrangian.

2015, D. S. Kulyabov, A. V. Korolkova, L. A. Sevastyanov, “Maxwell's Optics Symplectic Hamiltonian”, in Vestnik NIYU MIFI, volumes 201-205, pages 201–205:

(mathematics, Of a Borel set) Having a bounded image over all arguments for every member.


negabicomplex

We also give the identities of negabicomplex Fibonacci and negabi- complex Lucas numbers, Binet formulas and relations of them..

2015, Semra Kaya Nurkan, İlkay Arslan Güven, “A Note On Bicomplex Fibonacci and Lucas Numbers”, in arXiv:

(mathematics) Related to a bicomplex value by a power of -1.


paracontrolled

We also build a partial link between energy solutions as introduced by Goncalves and Jara and paracontrolled solutions. Interpreting the KPZ equation as the value function of an optimal control problem, we give a pathwise proof for the global existence of solutions and thus for the strict positivity of solutions to the stochastic heat equation. Moreover, we study Sasamoto-Spohn type discretizations of the stochastic Burgers equation and show that their limit solves the continuous Burgers equation possibly with an additional linear transport term.

2015, Massimiliano Gubinelli, Nicolas Perkowski, “KPZ reloaded”, in arXiv:

paracontrolled distribution
paracontrolled distribution

(mathematics) Pertaining to a paracontrolled distribution.


pseudomonotone

LL-Q1860 (eng)-Flame, not lame-pseudomonotone.wav

In this paper, we propose new algorithms for finding a common point of the solution set of a pseudomonotone equilibrium problem and the set of fixed points of a symmetric generalized hybrid mapping in a real Hilbert space.

(mathematics) Almost, but not entirely monotone


subsheaf

We classify all tilting sheaves which have a non-coherent torsion subsheaf.

2015, Lidia Angeleri Hügel, Dirk Kussin, “Large tilting sheaves over weighted noncommutative regular projective curves”, in arXiv:


symmetrizer

We study hyperbolic first order systems and propose a new method proving Gevrey well posedness, constructing a symmetrizer, motivated by a special Lyapunov function for linear ODE.

2015, F. Colombini, T. Nishitani, J. Rauch, “On Bronshtein's Theorem”, in arXiv:

(mathematics) A function or other procedure that symmetrizes


orthosymplectic

Lastly, the same method is used to explain the fact that Sergeev's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial..

2015, P. Deligne, G. I. Lehrer, R. B. Zhang, “The first fundamental theorem of invariant theory for the orthosymplectic super group”, in arXiv:


periplectic

We treat in a similar way the case of the periplectic super group.

(mathematics) Having the odd canonical form; special peculiar.


polyloglog

Mainly, we get rid of the polyloglog factor in the runtime and we thus obtain an asymptotically optimal multichannel radio network MIS algorithm.

2015, Sebastian Daum, Fabian Kuhn, “Tight Bounds for MIS in Multichannel Radio Networks”, in arXiv:

(mathematics) Relating to a polynomial involving loglog terms


loglog

(mathematics) The logarithm of a logarithm


supertropical

LL-Q1860 (eng)-Flame, not lame-supertropical.wav

Extending earlier work on supertropical adjoints and applying symmetrization, we provide a symmetric supertropical version #92;operatorname#123;SL#125;#95;n of the special linear group, which we partition into submonoids, based on "quasi-identity" matrices, and we display maximal sub-semigroups of #92;operatorname#123;SL#125;#95;n.

2015, Zur Izhakian, Adi Niv, Louis Rowen, “Supertropical operatorname SLₙ”, in arXiv:

(mathematics, of a tropical geometry) Having symmetry and a modulus.


antiinvariant

They arise from the ring of polynomials in Dunkl-deformed angular momenta, by classifying the subspaces invariant and antiinvariant under all Weyl reflections, respectively..

2015, Francisco Correa, Olaf Lechtenfeld, “The tetrahexahedric angular Calogero model”, in arXiv:

(mathematics) Having the property that when subjected to a specified operation the result is the same as multiplying by the determinant.


colimiting

Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equations.

2015, Ohad Kammar, “An absolute characterisation of locally determined omega-colimits”, in arXiv:


coorientable

If Y is a closed orientable graph manifold, we show that Y admits a coorientable taut foliation if and only if Y is not an L-space.

2015, Jonathan Hanselman, Jacob Rasmussen, Sarah Dean Rasmussen, Liam Watson, “Taut foliations on graph manifolds”, in arXiv:

(mathematics) orientable in a codimension


prehomogeneous

To justify this viewpoint, we prove the convergence of p-adic local zeta integrals under certain premises, work out the case of prehomogeneous vector spaces and re-derive a large portion of Godement-Jacquet theory.

2015, Wen-Wei Li, “Zeta integrals, Schwartz spaces and local functional equations”, in arXiv:

(mathematics) Having an automorphism group with an open orbit.


prevariety

(mathematics) A ringed space that has a finite open cover by affine varieties


semicalibrated

Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of 2-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of 3-dimensional area minimizing cones..

2015, Camillo De Lellis, Emanuele Spadaro, Luca Spolaor, “Regularity theory for 2-dimensional almost minimal currents III: blowup”, in arXiv:

(mathematics) A condition where a differential form on a Riemannian manifold satisfies certain properties related to calibration.


semidualizing

Let R be a Noetherian ring and let C be a semidualizing R-module.

2015, M. Rahmani, A.-J. Taherizadeh, “Dual of Bass numbers and dualizing modules”, in arXiv:

(mathematics) That converts to a semidual


semimeasure

A universal a priori semimeasure (also known as "algorithmic probability") is defined as the transformation, by a given universal monotone Turing machine, of the uniform measure on the infinite strings.

2015, T.F. Sterkenburg, “A generalized characterization of algorithmic probability”, in arXiv:

(mathematics) A function that assigns a non-negative number to each element of a set that is subadditive.


subconvex

As part of the proof we obtain a strong bound of E#95;n(L,s) on the critical line that is subconvex for n#92;geq 5 and almost all n-dimensional lattices L..

2015, Johan Andersson, Anders Södergren, “On the universality of the Epstein zeta function”, in arXiv:

(mathematics) Less than or equal to a convex function.


supercharacter

LL-Q1860 (eng)-Flame, not lame-supercharacter.wav

The supercharacter analog of the A.A.

2015, A. N. Panov, “Supercharacters for the finite groups of triangular type”, in arXiv:

(mathematics) A single entity that represents multiple irreducible characters but is treated as a single character in the algebraic theory of Carlos André.


syzygetic

LL-Q1860 (eng)-Flame, not lame-syzygetic.wav

To study syzygies of the Cox rings of del Pezzo surfaces, we calculate important syzygetic invariants such as the Hilbert functions, the Green-Lazarsfeld indices, the projective dimensions, and the Castelnuovo-Mumford regularities.

2015, Jinhyung Park, Joonyeong Won, “Hilbert functions of Cox rings of del Pezzo surfaces”, in arXiv:

(mathematics) Relating to, or exhibiting, syzygy


pregeometry

In this article we give a classification of the binary, simple, #92;omega-categorical structures with SU-rank 1 and trivial pregeometry.

2015, Ove Ahlman, “Simple structures axiomatized by almost sure theories”, in arXiv:

(mathematics) An infinite finitary matroid.


preprojective

Mozgovoy in the case of preprojective algebras)..

2015, Jie Ren, Yan Soibelman, “Cohomological Hall algebras, semicanonical bases and Donaldson-Thomas invariants for 2-dimensional Calabi-Yau categories”, in arXiv:

(mathematics) Exhibiting a generalization of being projective, in which some, but not every surjective homomorphism splits.


pseudoinversion

LL-Q1860 (eng)-Flame, not lame-pseudoinversion.wav

In this paper we consider the training of single hidden layer neural networks by pseudoinversion, which, in spite of its popularity, is sometimes affected by numerical instability issues.

2015, Rossella Cancelliere, Mario Gai, Patrick Gallinari, Luca Rubini, “OCReP: An Optimally Conditioned Regularization for Pseudoinversion Based Neural Training”, in arXiv:

(mathematics) An operation that approximates an inversion; A reversal of the ends while maintaining a constant central region.


quasidistribution

(mathematics) A quantum state described in terms of phase-space quasiprobability densities.


superrank

LL-Q1860 (eng)-Flame, not lame-superrank.wav

Furthermore, for arbitrary pair (r,s)#92;neq(0,0) of nonnegative integers we provide a variety that has the unique basic superrank (r,s).

2015, Alexey Kuz'min, Ivan Shestakov, “Basic superranks for varieties of algebras”, in arXiv:


supersimplicity

LL-Q1860 (eng)-Flame, not lame-supersimplicity.wav

The lattice of the fixed fields of the named automorphisms breaks supersimplicity in #92;mathbb#123;Q#125;ACFA, but away from these we find many (weakly) minimal formulas.

2015, Alice Medvedev, “ℚACFA”, in arXiv:


otopy

We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group..

2015, Piotr Bartłomiejczyk, “The Hopf type theorem for equivariant local maps”, in arXiv:

(mathematics) A type of vector field defined on an open set of such that every vector in the field is tangent to the corresponding point in the set.


subhyperbolic

We prove the non-existence of wandering domains for subhyperbolic attracting skew products; this class contains the maps studied in [9].

2015, Han Peters, Iris Marjan Smit, “Fatou components of attracting skew products”, in arXiv:


hemisemidirect

Namely, we consider the hemisemidirect product h of a semidirect product Lie algebra g\ltimes M of a simple Lie algebra g with some irreducible g-module M with a non-trivial irreducible g-module I.

2015, Bakhrom Omirov, Friedrich Wagemann, “Rigidity and cohomology of Leibniz algebras”, in arXiv:

(mathematics) Being the analog withing a module of a semidirect product in the corresponding group.


prequantization

Using the theory of Spin#123;c#125; Dirac quantization, we set up natural K-theory invariants of structure group Cont#95;#123;0#125;(P,#92;alpha) fibrations of prequantization spaces.

2015, Yasha Savelyev, Egor Shelukhin, “Twisted and untwisted K-theory quantization, and symplectic topology”, in arXiv:

(mathematics, physics) The process of finding a quantum analog of a classical system by introducing a quantization condition.


quasiperpendicular

And third, the angular translational-rotational velocity correlations show a preference for a quasiperpendicular mutual orientation (which is called "lifted-tennis-ball" behavior)..

2015, Francisco Vega Reyes, Andrés Santos, “Steady state in a gas of inelastic rough spheres heated by a uniform stochastic force”, in arXiv:


quasidisordered

(mathematics) Apparently disordered, but having an underlying order.


light minute

Rick: We got some business to attend to a few light minutes south of here.

2015, "Mortynight Run", season 2, episode 2 of Rick and Morty [Rick and Morty are travelling in a spaceship]

(astronomy, physics) A unit of length equal to the distance light travels in one minute.


hypercontinuum

We show that negative iterates of a stable arc converges to this hypercontinuum in the considered metric.

2015, Alfonso Artigue, “Pseudo-Anosov maps and continuum theory”, in arXiv:

(set theory) The set of all subsets of a set of with the (infinite) cardinality of the continuum.


superrenormalizable

LL-Q1860 (eng)-Flame, not lame-superrenormalizable.wav

Our proof is somewhat nontrivial, suggesting that there may be alternative formulations of quantum field theory that make the QNEC more manifest. Our proof applies to free and superrenormalizable bosonic field theories, and to any points that lie on stationary null surfaces.

2015, Raphael Bousso, Zachary Fisher, Jason Koeller, Stefan Leichenauer, Aron C. Wall, “Proof of the Quantum Null Energy Condition”, in arXiv:


transseries

We develop here the algebra of the differential field of transseries and of related valued differential fields.

2015, Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven, “Asymptotic Differential Algebra and Model Theory of Transseries”, in arXiv:

(mathematics) A series (sequence of partial sums of a given sequence) in which members of the sequence from which the series is defined are defined by a transcendental function.


logseries

probability distribution
probability distribution

(statistics, biology) A class of continuous probability distributions developed in 1943 by the English statistician and biologist Ronald Fisher to fit some particular species distribution data sets.


contactomorphic

Additionally, we provide an explicit proof that (#92;Sigma,#92;xi#95;0) and the Lens space (L(n#43;1,n),#92;xi#95;#123;std#125;) are contactomorphic and show that their associated contact invariants agree..

2015, Leonardo Enrique Abbrescia, Irit Huq-Kuruvilla, Jo Nelson, Nawaz John Sultani, “Reeb Dynamics of the Link of the A_n Singularity”, in arXiv:

(mathematics) Describing a pair of contact manifolds that have a diffeomorphism


decategorified

We show that the decategorified representation is naturally isomorphic to a direct sum of level 2 Fock spaces.

2015, Olivier Dudas, Michela Varagnolo, Eric Vasserot, “Categorical actions on unipotent representations I. Finite unitary groups”, in arXiv:

(mathematics) Not represented in terms of category theory


duoverse

In the latter duoverse the two topologically hypercubic sub-lattices are causally disjoint but the local curvature depends on the lattice configuration on both.

2015, Martin Schaden, “Causal Space-Times on a Null Lattice”, in arXiv:


fiboquadratic

Also, fiboquadratic sequences provide extensions of Cassini's Identity..

2015, Tomás Guardia, Douglas Jiménez, “Fiboquadratic Sequences and Extensions of the Cassini Identity Raised From the Study of Rithmomachia”, in arXiv:

(mathematics) Describing an extension of Fibonacci sequences involving quadratic numbers


Jordan matrix

en-noun

Jordan matrix (plural Jordan matrixes or Jordan matrices)

Jordan matrixes (plural)
Jordan matrices (plural)

(mathematics) Any block diagonal matrix whose blocks are Jordan blocks.


biproduct

(category theory) A biproduct of a finite collection of objects, in a category with zero objects, is both a product and a coproduct.


Jordan block

(mathematics) A Jordan block over a ring R (whose identities are the zero 0 and one 1) is a matrix composed of 0 elements everywhere except for the diagonal, which is filled with a fixed element λ ∈ R, and the superdiagonal, which is composed of ones.


Ramanujan's constant

Named after Indian mathematician Srinivasa Ramanujan (1887–1920).

transcendental number
transcendental number

(mathematics) The transcendental number e^(π√), an almost integer, discovered in 1859 by mathematician Charles Hermite.


isoclinism

Others generalize a formula of P.Hall, repalcing the class of abelian p-groups by subclasses, or by isoclinism classes of non-abelian groups, also by replacing automorphism groups by holomorphs, etc.

2015, Avinoam Mann, “Some group theoretical mass formulae”, in arXiv:

(mathematics) The condition of being isoclinic


traciator

This situation lends itself to a diagramatic calculus of `strings on cylinders', where the traciator corresponds to wrapping a string around the back of a cylinder.

2015, André Henriques, David Penneys, James Tener, “Categorified trace for module tensor categories over braided tensor categories”, in arXiv:

(mathematics) A natural isomorphism of a functor (F) such that F(x⊗y)→F(y⊗x).


ultradistribution

It is shown that the microlocal properties of an ultradistribution can be obtained by sampling the Fourier transforms of its localizations over a lattice in #92;mathbb#123;R#125;#123;d#125;.

2015, Andreas Debrouwere, Jasson Vindas, “Discrete characterizations of wave front sets of Fourier-Lebesgue and quasianalytic type”, in arXiv:

(mathematics) A continuous linear functional.


Markov property

Markov property (plural Markov properties)

Introduced by Andrey Markov (Russian: Андре́й Ма́рков; 1856–1922), Russian mathematician.

(probability theory) The memoryless property of Markov models, according to which the future states depend only on the current state and not those that preceded it.

propriedade de Markov

the property of future states depending only on the current state


hyperinterpolation

hyperinterpolation (usually uncountable, plural hyperinterpolations)

The resulting "filtered polynomial approximation" (a spherical polynomial of degree 2L-1) is then made fully discrete by approximating the inner product integrals by an N-point cubature rule of suitably high polynomial degree of precision, giving an approximation called "filtered hyperinterpolation".

2015, Heping Wang, Ian H. Sloan, “On filtered polynomial approximation on the sphere”, in arXiv:

(mathematics) interpolation on a surface of more than two dimensions


presymplectic

We also find a list of thirteen invariants, each of which is the dimension of a space constructed from the relation, such that the 13-vector of multiplicities and the 13-vector of invariants are related by an invertible matrix over #92;mathbbZ. It turns out to be simpler to do the analysis above for isotropic relations between presymplectic vector spaces.

2015, Jonathan Lorand, Alan Weinstein, “Decomposition of (co)isotropic relations”, in arXiv:

(mathematics) prior to the introduction of symplectic geometry


quasiequational

We show that the quasiequational theory of a relatively congruence modular quasivariety of left R-modules is determined by a two-sided ideal in R together with a filter of left ideals.

2015, Keith A. Kearnes, “Relatively congruence modular quasivarieties of modules”, in arXiv:

(mathematics) Relating to quasiequations


selfinjective

We show that the p-power maps in the first Hochschild cohomology space of finite-dimensional selfinjective algebras over a field of prime characteristic p commute with stable equivalences of Morita type on the subgroup of classes represented by integrable derivations.

2015, Lleonard Rubio y Degrassi, “Invariance of the restricted p-power map on integrable derivations under stable equivalences”, in arXiv:

(mathematics) injective with itself (in a higher dimension)


bicharacter

In this paper we give a construction of the universal enveloping algebra of a Malcev algebra in categories of group algebra comodules with a symmetry given by a bicharacter of the group.

2015, Daniel de-la-Concepción, “Universal enveloping algebras for Malcev color algebras”, in arXiv:

(mathematics) A type of bilinear complex number


coatomic

Let (R,#92;mathfrakm) be a Noetherian local ring, I an ideal of R and M a weakly finite or a coatomic R-module of dimension n.

2015, Vahap Erdoğdu, Tuğba Yıldırım, “Top Local Cohomology Modules Are Almost Always Non-Artinian”, in arXiv:


equivelar

Semi-equivelar maps are generalizations of equivelar maps.

2015, Dipendu Maity, Ashish Kumar Upadhyay, “On enumeration of a class of maps on Klein bottle”, in arXiv:

(mathematics, of a map) In which each face and vertex has the same number of edges


hyperinterval

It is supposed that f'(x) satisfies the Lipschitz condition over the search hyperinterval with an unknown Lipschitz constant~K.

2015, Yaroslav D. Sergeyev, Dmitri E. Kvasov, “A deterministic global optimization using smooth diagonal auxiliary functions”, in Communications in Nonlinear Science and Numerical Simulation:

(mathematics) A box formed of intervals in multiple directions.


spheropolygon

(mathematics) Synonym of spheropolyhedron


spheropolyhedron

(mathematics) A polyhedron that approximates to a sphere


subminimality

The proofs rely on geometric structure of the action function #92;mathcalL#95;t(x,y) induced by H, and the identification of the absolute subminimality of u with convexity of the Hamilton-Jacobi flow t#92;mapstoTᵗᵘ(x).

2015, Qianyun Miao, Changyou Wang, Yuan Zhou, “Uniqueness of absolute minimizers for L ᪲-functionals involving Hamiltonians H(x,p)”, in arXiv:

(mathematics) The condition of being subminimal


enhancon

Instead, we show how to construct reliable sugra duals to particular points on the Coulomb branch where the enhancon is screened.

2015, William Cottrell, James Hanson, Akikazu Hashimoto, “Dynamics of cal N=4 supersymmetric field theories in 2+1 dimensions and their gravity dual”, in arXiv:

(mathematics, physics) A type of conifold ring proposed in some forms of supersymmetry.


multiextremal

Nature and evolutionary inspired metaheuristics are also not always successful in finding global solutions to these problems due to their multiextremal character.

2015, Dmitri E. Kvasov, Yaroslav D. Sergeyev, “Deterministic approaches for solving practical black-box global optimization problems”, in Advances in Engineering Software, volume 2015, pages 58–66:


imprimitivity

We describe how to obtain the imprimitivity bimodules of the noncommutative torus from a "principal bundle" construction, where the total space is a quasi-associative deformation of a 3-dimensional Heisenberg manifold..

2015, Francesco D'Andrea, Davide Franco, “Non-associative Geometry Of Quantum Tori”, in arXiv:

(mathematics) The condition of being imprimitive


omalous

After a short overview of the subject, we construct stable omalous bundles on some classes of surfaces of general type..

2015, Cristian Anghel, “Quantum Sheaf Cohomology on surfaces of general type I: construction of stable omalous bundles”, in arXiv:

(mathematics) Satisfying an analog of the anomaly cancellation condition.


ultradiscretization

ultradiscretization (usually uncountable, plural ultradiscretizations)

An ultradiscrete limit of the special solutions is studied by the procedure of ultradiscretization with parity varialbes.

2015, Hikaru Igarashi, Shin Isojima, Kouichi Takemura, “New Airy-type solutions of the ultradiscrete Painleve II equation with parity variables”, in arXiv:

(mathematics) The transformation of a discrete system into an ultradiscrete one


biorthogonalization

biorthogonalization (countable and uncountable, plural biorthogonalizations)

The proposed methods in particular draw upon the structural relevance and principles of orthogonalization and biorthogonalization and are presented from the perspectives of signal processing, convex programming, continuation methods and nonlinear projection operators.

2015, Tarek A. Lahlou, Alan V. Oppenheim, “Trading Accuracy for Numerical Stability: Orthogonalization, Biorthogonalization and Regularization”, in arXiv:

(mathematics) Conversion to biorthogonal form


catenoidal

The Jorge-Meeks n-noid (n#92;ge 2) is a complete minimal surface of genus zero with n catenoidal ends in the Euclidean 3-space #92;boldsymbol#123;R#125;³, which has (2#92;pi#47;n)-rotation symmetry with respect to its axis.

2015, Shoichi Fujimori, Yu Kawakami, Masatoshi Kokubu, Wayne Rossman, Masaaki Umehara, Kotaro Yamada, “Analytic extension of Jorge-Meeks type maximal surfaces in Lorentz-Minkowski 3-space”, in arXiv:

(mathematics) Relating to, or having the form of a catenoid


hypermeromorphic

We consider in the first case functions meromorphic in the right complex half-plane, and functions slice hypermeromorphic in the right quaternionic half-space in the second case.

2015, Daniel Alpay, Irene Sabadini, “Beurling-Lax type theorems in the complex and quaternionic setting: the half-space case”, in arXiv:


hyper-order

(mathematics) Having a higher order than normal


subhypergroup

(mathematics) A specific type of subset of a hypergroup


superextremal

We propose a "Lattice Weak Gravity Conjecture" that meets this requirement: a superextremal particle should exist for every charge in the charge lattice.

2015, Ben Heidenreich, Matthew Reece, Tom Rudelius, “Sharpening the Weak Gravity Conjecture with Dimensional Reduction”, in arXiv:

(mathematics) numerically more than a maximum or minimum


ultrahomogeneity

ultrahomogeneity (countable and uncountable, plural ultrahomogeneities)

If #92;mathfrak#123;M#125; satisfies the stronger properties of ultrahomogeneity and n-disjoint amalgamation property (n-DAP) for every n#92;geq1, then relatively exchangeable structures have a more precise description whereby each component depends locally on #92;mathfrak#123;M#125;.

2015, Harry Crane, Henry Towsner, “Relatively exchangeable structures”, in arXiv:

(mathematics) The condition of being ultrahomogeneous


bicombing

In this paper, we prove the Cartan-Hadamard Theorem in a more general setting, namely for spaces which are not uniquely geodesic but locally possess a suitable selection of geodesics, a so-called convex bicombing.

2015, Benjamin Miesch, “The Cartan-Hadamard Theorem for Metric Spaces with Local Bicombings”, in arXiv:

(mathematics) A selection of a path for which two points moving simultaneously along lines that begin and end at a distance less than or equal to 1 apart always remain within a specified bounded distance of each other, independent of the lengths of the paths.


birack

(mathematics) A rack in which the two operations are invertible.


eigenoperator

We conjecture two combinatorial interpretations for the symmetric function #92;Delta#95;#123;e#95;k#125;e#95;n, where #92;Delta#95;f is an eigenoperator for the modified Macdonald polynomials defined by Garsia and Haiman.

2015, James Haglund, Jeffrey Remmel, Andrew Timothy Wilson, “The Delta Conjecture”, in arXiv:

(mathematics) An operator (endomorphism) involving an eigenvalue


involutivity

involutivity (countable and uncountable, plural involutivities)

To each such solution we associate a shelf (i.e., a self-distributive structure) which captures its properties: invertibility, involutivity, the structure (semi)group, etc.

2015, V. Lebed, L. Vendramin, “Homology of left non-degenerate set-theoretic solutions to the Yang-Baxter equation”, in arXiv:

(mathematics) The condition of being involutive


postcritical

Given a rational map R, we consider the complement of the postcritical set S#95;R.

2015, Carlos Cabrera, Peter Makienko, “On hyperbolic metric and asymptotically finite invariant differentials in holomorphic dynamics”, in arXiv:

(mathematics) Pertaining to the set of all images of the critical points of a function.


bimonoid

The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C.

2015, Gabriella Böhm, Stephen Lack, “A category of multiplier bimonoids”, in arXiv:

(mathematics) A monoid that is also a comonoid


paracanonical

The Prym-Green Conjecture predicts that the resolution of a generic n-torsion paracanonical curve of every genus is natural.

2015, Gavril Farkas, Michael Kemeny, “The Prym-Green Conjecture for torsion bundles of high order”, in arXiv:

(mathematics) Pertaining to a curve in the linear system of a canonical divisor of an irregular surface and any point on that surface.


supervector

LL-Q1860 (eng)-Flame, not lame-supervector.wav

We first learn a high-dimensional sparse code for each frame by a universal background MBN, then accumulate the sparse codes of the frames in a session (a.k.a. utterance) into a single high-dimensional sparse supervector, and finally reduce the session-level sparse supervectors to a low-dimensional subspace by MBN where clustering is conducted.

2015, Xiao-Lei Zhang, “Universal Background Sparse Coding and Multilayer Bootstrap Network for Speaker Recognition”, in arXiv:

(mathematics) A combination of multiple vectors that represents a higher-dimensional object.


bidegreed

Additionally, the notion of so called weakly semiregular graphs is introduced, they are considered as a possible generalization of traditional bidegreed semiregular graphs.

2015, Tamás Réti, Imre Felde, “Novel Zagreb Indices-Based Inequalities with Particular Regard to Semiregular and Generalized Semiregular Graphs”, in arXiv:

(mathematics, of a graph) Whose vertices have exactly two degrees


conservativity

We also prove that M is without weights m,#92;dots,n (i.e., a decomposition of M avoiding these weights exists) if and only if the corresponding condition is fulfilled for its weight complex t(M). Moreover, we improve significantly the conservativity properties of the functor t (that were established in a preceding paper).

2015, Mikhail V. Bondarko, “On morphisms killing weights, weight complexes, and Eilenberg-Maclane (co)homology of spectra”, in arXiv:

(mathematics) The condition of being conservative


exponentiable

The result holds even if S is not exponentiable. An example is given of a category #92;mathcal#123;C#125; that satisfies the axioms, but for which there is no elementary topos #92;mathcal#123;E#125; such that #92;mathcal#123;C#125; is the category of locales over #92;mathcal#123;E#125;. It is shown, in outline, how the results can be extended from groups to groupoids..

2015, Christopher Townsend, “Stability of properties of locales under groups”, in arXiv:

(mathematics) convertible to an exponent


homomesy

After recourse to work of Rush and Shi mapping the anatomy of the lattice isomorphism, the upshot is a uniform proof that the cardinality statistic exhibits homomesy. A further application of these ideas shows that the statistic tracking the number of maximal elements in an order ideal is also homomesic, extending another result of Propp and Roby..

2015, David B. Rush, Kelvin Wang, “On Orbits of Order Ideals of Minuscule Posets II: Homomesy”, in arXiv:

(mathematics) The property of a set where all orbit averages are equal to the global average.


multinacci

Meanwhile, the realization of a class of reals including multinacci numbers is elaborated, which indicates that tree-shifts are capable of rich phenomena.

2015, Jung-Chao Ban, Chih-Hung Chang, “Tree-Shifts: The entropy of tree-shifts of finite type”, in arXiv:

(mathematics) Describing a generalization of Fibonacci numbers


subdrawing

The {multiple edge insertion} problem (MEI) asks for a drawing of G#43;F with the minimum number of pairwise edge crossings, such that the subdrawing of G is plane.

2015, Markus Chimani, Petr Hliněný, “Inserting Multiple Edges into a Planar Graph”, in arXiv:

(mathematics) A subset of a graph that is possibly discontinuous.


topologize

en-verb

topologize (third-person singular simple present topologizes, present participle topologizing, simple past and past participle topologized)

topologizes (present singular third-person)
topologizing (participle present)
topologized (participle past)
topologized (past)

We topologize Spec(M) with Zariski topology, which is analogous to that for Spec(R), and consider Max(M) as the induced subspace topology.

2015, Habibollah Ansari-Toroghy, Shokoufeh Habibi, “The Zariski topology-graph on the maximal spectrum of modules over commutative rings”, in arXiv:

(mathematics) To equip with a topology, to characterize as a topological space


unitree

When such a tree is uniquely determined by the set of black and white degrees of its vertices, it is called unitree, and the corresponding DZ-pair is defined over #92;mathbbQ.

2015, Fedor Pakovich, Alexander K. Zvonkin, “Minimum Degree of the Difference of Two Polynomials over ℚ. Part II: Davenport-Zannier pairs”, in arXiv:

(mathematics) A unique tree (for a set of vertices)


lethek

uder

Hebrew לֶ֫תֶך

(historical units of measure) A former Hebrew measure of dry volume, equal to about 115 L or 3¼ bushels.


anticyclotomic

Our methods are based on a new construction of the anticyclotomic p-adic L-function by means of the corresponding automorphic representation..

2015, Santiago Molina Blanco, “Anticyclotomic p-adic l-functions and the exceptional zero phenomenon”, in arXiv:

(number theory) Pertaining to a Galois character φ, such that φ . (φ ◦ c) = 1, where c is the nontrivial element of Gal(K/Q), where K is an imaginary quadratic field.


cofree

Our method relies on both the geometric and the algebraic aspects of the problem: the complete geometric description of the cohomology of Brown's moduli spaces and the coradical filtration of cofree cooperads..

2015, Clément Dupont, Bruno Vallette, “Brown's moduli spaces of curves and the gravity operad”, in arXiv:


cohyponormal

Moreover, for #92;psi#61;K#95;a, where #124;a#124;lt;1, we investigate normal, cohyponormal and hyponormal weighted composition operators C#95;#123;#92;psi,#92;varphi#125;.

2015, Mahsa Fatehi, Mahmood Haji Shaabani, “Normal, cohyponormal and normaloid weighted composition operators on the Hardy and weighted Bergman spaces”, in arXiv:

(mathematics) homomorphic and hyponormal


hyponormal

(mathematics) Having a self-commutator that is greater than or equal to zero.


issaron

From Hebrew עשרון ('isarón, “tenth”), from its value as ¹⁄₁₀ of an ephah.

(historical units of measure) Synonym of omer: a Hebrew unit of dry volume equal to about 2.3 L or 2.1 quarts.


crispification

en-noun

crispification (countable and uncountable, plural crispifications)

Our novel approach is based on a combination of the known crispification technique for finitely valued FDLs and the automata-based procedure originally developed for reasoning in G-IALC.

2015, Stefan Borgwardt, Rafael Peñaloza, “Reasoning in Infinitely Valued G-IALCQ”, in arXiv:

(mathematics) Defuzzification over intuitionistic fuzzy sets.


hypergraphical

Finally, we present the definition of a hypergraphical matroid, whose Tutte polynomial allows us to calculate this generic Hilbert series..

2015, Gleb Nenashev, “On Postnikov-Shapiro Algebras and their generalizations”, in arXiv:


normaloid

A bounded linear operator T#92;inL(X), defined on a complex infinite dimensional Banach space X, is said to be normaloid if #92;#124;T#92;#124;#61;r(T),r(T) the spectral radius of T.

2015, Aref Jeribi, editor, Applied Mathematics in Tunisia, page 10:

In this paper, we study normal, cohyponormal, hyponormal and normaloid weighted composition operators on the Hardy and weighted Bergman spaces.

(mathematics) Of a bounded linear operator, having a norm equal to its spectral radius.


normaloid

(mathematics) A bounded linear operator having a norm equal to its spectral radius.


zroupoid

Blend of zero + groupoid. Coined in Hanamantagouda P. Sankappanavar (2012) “De Morgan algebras: new perspectives and applications”, in Scientiae Mathematicae Japonicae, volume 75, number 1, pages 21-50.

(mathematics) A generalization of a De Morgan algebra that defines a boolean algebra using only implication and a constant.


cubinder

LL-Q1860 (eng)-Flame, not lame-cubinder.wav

(geometry) A cubical cylinder (four-dimensional analog of a cylinder)

(geometry) An irregular prism that is square at one end but circular at the other


loopoid

We discuss a concept of loopoid as a non-associative generalization of (Brandt) groupoid.

2015, Janusz Grabowski, “An introduction to loopoids”, in arXiv:

(mathematics) A nonassociative generalization of a groupoid


miniversal

We prove that given any n-pointed prestable curve C of genus g with linearly reductive automorphism group #123;#92;rmAut#125;(C), there exists an #123;#92;rmAut#125;(C)-equivariant miniversal deformation of C over an affine variety W.

2015, Jarod Alper, Andrew Kresch, “Equivariant versal deformations of semistable curves”, in arXiv:


protoadditive

In particular the role of protoadditive functors in the study of Hopf formulae for homology is explained..

2015, Tomas Everaert, Marino Gran, “Some aspects of semi-abelian homology and protoadditive functors”, in arXiv:

(mathematics, of a function) Having the property that the result when applied to x + y is less than or equal to the sum of the result when applied to x plus the result when applied to y, for all values x and y in the domain.


pseudomultiplication

pseudomultiplication (countable and uncountable, plural pseudomultiplications)

LL-Q1860 (eng)-Flame, not lame-pseudomultiplication.wav

Our results show that many existing fast pseudomultiplication implementations (hitherto limited to applications in Diffie--Hellman key exchange) can be wrapped with simple and efficient pre-and post-computations to yield competitive full scalar multiplication algorithms, ready for use in more general discrete logarithm-based cryptosystems, including signature schemes.

2015, Ping Ngai Chung, Craig Costello, Benjamin Smith, “Fast, uniform, and compact scalar multiplication for elliptic curves and genus 2 Jacobians with applications to signature schemes”, in arXiv:

(mathematics) Any of several methods of multiplication that employ addition and shifting of digits


semiloopoid

(mathematics) A nonassociative generalization of a semigroupoid


subfunctor

Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.

2015, Serge Bouc, Jacques Thévenaz, “The representation theory of finite sets and correspondences”, in arXiv:

(category theory) A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor).


sweepout

We use this result to construct a sweepout of M by 1-cycles of length at most Cvol(M³,g)#123;1#47;3#125; and prove a systolic inequality for all M#92;neqS³. The sweepout of surfaces is generated from a min-max minimal surface.

2015, Yevgeny Liokumovich, Xin Zhou, “Sweeping out 3-manifold of positive Ricci curvature by short 1-cycles via estimates of min-max surfaces”, in arXiv:

(mathematics) The act or result of sweeping out


treetope

(mathematics) A multi-dimensional generalisation of a roofless polyhedron


bifunctor

(mathematics) A functor between bicategories


dialgebra

We also show that a Rota-Baxter operator on a totally compatible Lie dialgebra gives rise to a PostLie algebra, generalizing the fact that a Rota-Baxter operator on a Lie algebra gives rise to a PostLie algebra..

2015, Yong Zhang, Chengming Bai, Li Guo, “Totally compatible associative and Lie dialgebras, tridendriform algebras and PostLie algebras”, in Science in China Math, volume 57, pages 259–273:

(mathematics) Alternative form of bialgebra


equivariantization

equivariantization (countable and uncountable, plural equivariantizations)

Roughly, given a UMC with a symmetry group G, gauging is a 2-step process: first extend the UMC to a G-crossed braided fusion category and then take the equivariantization of the resulting category.

2015, Shawn X. Cui, César Galindo, Julia Yael Plavnik, Zhenghan Wang, “On Gauging Symmetry of Modular Categories”, in arXiv:

(mathematics) conversion to equivariant form


horicyclic

(mathematics) Related to, or constructed from horicycles


pseudoconformal

LL-Q1860 (eng)-Flame, not lame-psuedoconformal.wav

Specifically, we (1) obtain a sharp Gagliardo-Nirenberg inequality analogous to Weinstein (1983), (2) apply the sharp Gagliardo-Nirenberg inequality and a local virial identity to obtain a sharp global existence/blow-up threshold analogous to Weinstein (1983), Glassey (1977) in the case #92;sigma#95;c#61;0 and Duyckaerts, Holmer, & Roudenko (2008), Guevara (2014), and Fang, Xie, & Cazenave (2011) for 0lt;#92;sigma#95;clt;1, (3) prove a sharp mass concentration result in the L² critical case analogous to Tsutsumi (1990), Merle & Tsutsumi (1990) and (4) show that minimal mass blow-up solutions in the L² critical case are pseudoconformal transformations of the ground state, analogous to Merle (1993)..

2015, Justin Holmer, Chang Liu, “Blow-up for the 1D nonlinear Schrödinger equation with point nonlinearity I: Basic theory”, in arXiv:

That appears to conform, but in practice does not.


subbimodule

In the case of Ext#95;A#123;r#125;(M,N), M is a left A-submodule of Aᵐ and N is a finitely generated centralizing subbimodule of Aˡ.

2015, Oswaldo Lezama, Melisa Paiba, “Computing finite presentations of Tor and Ext over skew PBW extensions and some applications”, in arXiv:

(mathematics) A submodule that is also a bimodule.


submajorization

In particular, we show that relative submajorization characterizes both the probability and approximation error that can be obtained when transforming one resource to another, also when assisted by additional standard resources such as useful work or maximally-entangled states.

2015, Joseph M. Renes, “Relative submajorization and its use in quantum resource theories”, in arXiv:

(mathematics) The condition of submajorizing.


substochastic

The problem of existence and uniqueness of absolutely continuous invariant measures for a class of piecewise deterministic Markov processes is investigated using the theory of substochastic semigroups obtained through the Kato--Voigt perturbation theorem on the L¹-space.

2015, Weronika Biedrzycka, Marta Tyran-Kaminska, “Existence of invariant densities for semiflows with jumps”, in arXiv:

(mathematics, of a matrix) stochastic but having sums of columns less than 1


supercriticality

supercriticality (countable and uncountable, plural supercriticalities)

LL-Q1860 (eng)-Flame, not lame-supercriticality.wav

Chaotic dynamics of the models we consider are associated with hyperbolic attractors, at least, at relatively small supercriticality of the self-oscillating modes; that follows from numerical analysis of the distribution for angles of intersection of stable and unstable manifolds of phase trajectories on the attractors.

2015, Sergey P. Kuznetsov, “Hyperbolic chaos in self-oscillating systems based on mechanical triple linkage: Testing absence of tangencies of stable and unstable manifolds for phase trajectories”, in arXiv:

(mathematics) The condition of being supercritical


tridendriform

More significantly, Rota-Baxter operators on totally compatible dialgebras provide a uniform framework to generalize known results that Rota-Baxter related operators give tridendriform algebras.


zonogon

Our proof uses some tools developed by Felsner and Weil to show that the two standard orderings on the rhombic tilings of a zonogon are identical..

2015, Thomas McConville, “Homotopy type of intervals of the second higher Bruhat orders”, in arXiv:

(mathematics) A polygon having an even number of sides and whose pairs of opposite sides are parallel and equal


cofibrant

Similarly, the Koszul resolution of the commutative monoid is a cofibrant replacement in the model category of commutative dg-algebras over the symmetric algebra of the dual of a certain dg-module in the quasi-abelian category.

2015, James Wallbridge, “Homotopy theory in a quasi-abelian category”, in arXiv:


hyperclass

Our main result combines hyperclass forcing with coding methods of [BJW82] and [Fri00] to show that every #92;beta-model of MK#123;#42;#42;#125; can be extended to a minimal such model of MK#123;#42;#42;#125; with the same ordinals.

2015, Carolin Antos, Sy-David Friedman, “Hyperclass Forcing in Morse-Kelley Class Theory”, in arXiv:


semilow

We show that in every non low \ce degree, there are sets with semilow#95;#123;1.5#125; complements without semilow complements as well as sets with semilow#95;2 complements and the outer splitting property that do not have semilow#95;#123;1.5#125; complements.

2015, Peter Cholak, Rachel Epstein, “Computably Enumerable Sets that are Automorphic to Low Sets”, in arXiv:

(set theory) Such that there exists a nonempty intersection (with another set) that is low.


tensorization

tensorization (countable and uncountable, plural tensorizations)

Combined with a simple tensorization argument proposed by Courtade and Ozgur in 2015, our result also implies that the current capacity approximations for Gaussian relay networks, which have linear gap to the cut-set bound in the number of nodes, are order-optimal and leads to a lower bound on the pre-constant..

2015, Xiugang Wu, Ayfer Ozgur, “Cut-Set Bound Is Loose for Gaussian Relay Networks”, in arXiv:

(mathematics) evaluation in terms of tensors


ultrafunction

(mathematics) A type of generalized non-Archimedean function


devissage

In the particular case where E is homotopy K-theory, this Gysin triangle yields a new proof of Quillen's localization theorem, which avoids the use of devissage.

2015, Goncalo Tabuada, Michel Van den Bergh, “The Gysin triangle via localization and A1-homotopy invariance”, in arXiv:

(mathematics) A technique introduced by Alexander Grothendieck for comparing invariants about coherent sheaves on noetherian systems.


hexachiral

A parametric beam lattice model is formulated to analyse the propagation properties of elastic in-plane waves in an auxetic material based on a hexachiral topology of the periodic cell, equipped with inertial local resonators.

2015, Andrea Bacigalupo, Marco Lepidi, Giorgio Gnecco, Luigi Gambarotta, “Optimal design of auxetic hexachiral metamaterials with local resonators”, in arXiv:


hopfion

Importantly, we find that the hopfion can be stabilized in a simple parabolic trap, without the need for trap rotation or inhomogeneous interactions.

2015, R.N. Bisset, Wenlong Wang, C. Ticknor, R. Carretero-Gonzalez, D.J. Frantzeskakis, L.A. Collins, P.G. Kevrekidis, “Robust Vortex Lines, Vortex Rings and Hopfions in 3D Bose-Einstein Condensates”, in arXiv:

(mathematics) A knot in a three-dimensional continuous unit vector field that cannot be unknotted without cutting


superreplication

LL-Q1860 (eng)-Flame, not lame-superreplication.wav

Probab. 5, 198--221, (1995).] showed how to obtain non-trivial scaling limits of superreplication prices in discrete-time models of a single risky asset which is traded at properly scaled proportional transaction costs.

2015, Peter Bank, Yan Dolinsky, Ari-Pekka Perkkiö, “The Scaling Limit of Superreplication Prices with Small Transaction Costs in the Multivariate Case”, in arXiv:


ultragraph

One of the key results needed in the proofs of our conclusions is the realization of a class of ultragraph C*-algebras as partial crossed products, a result of interest on its own..

2015, Daniel Gonçalves, Danilo Royer, “Ultragraphs and shifts over infinite alphabets”, in arXiv:

(mathematics) A generalization of a directed graph in which the source of an edge is a set of vertices rather than a single vertex.


Baxterization

Baxterization (countable and uncountable, plural Baxterizations)

From Baxter + -ization, from mathematician Glen E. Baxter.

Yang-Baxter equation
Yang-Baxter equation

(mathematics) A method for finding spectral dependent solutions to the Yang-Baxter equations.


boxicity

boxicity (countable and uncountable, plural boxicities)

In this note, we define the fractional boxicity of a graph that is a lower bound for the boxicity of the graph.

2015, Akira Kamibeppu, “Fractional boxicity of graphs”, in arXiv:

(mathematics) The minimum dimension in which a graph may be represented as a specific intersection of boxes


cohyponormality

We introduce weak cohyponormality classes S#95;#123;n,r#125;#42; of unbounded operators and provide criteria for the aforementioned composition operators to belong to S#95;#123;n,r#125;#42;.

2015, Piotr Budzynski, Piotr Dymek, Artur Planeta, “Unbounded composition operators via inductive limits: cosubnormal operators with matrix symbols. II”, in arXiv:

(mathematics) The condition of being cohyponormal


hyponormality

(mathematics) The condition of being hyponormal


cosilting

We prove that Bazzoni theorem about the pure-injectivity of cotilting modules is also valid for cosilting modules..

2015, Simion Breaz, Flaviu Pop, “Cosilting Modules”, in arXiv:

(mathematics) Describing a generalization of cotilting modules


hypercontractive

We show that for a hypoelliptic Dirichlet form operator A on a stratified complex Lie group, if the logarithmic Sobolev inequality holds, then a holomorphic projection of A is strongly hypercontractive in the sense of Janson.

2015, Nathaniel Eldredge, Leonard Gross, Laurent Saloff-Coste, “Strong hypercontractivity and logarithmic Sobolev inequalities on stratified complex Lie groups”, in arXiv:

(mathematics) That produces or exhibits hypercontractivity


hyperquadric

(mathematics) A particular generalization of a superquadric


melonic

We prove analyticity and Borel summability in a suitable domain of the coupling constant of the simplest super-renormalizable TGFT which contains some ultraviolet divergencies, namely the color-symmetric quartic melonic rank-four model with Abelian U(1) gauge invariance, nicknamed U(1)-T⁴#95;4.

2015, Vincent Lahoche, “Constructive Tensorial Group Field Theory II: The U(1)-T^(4_4) Model”, in arXiv:

(mathematics) Pertaining to a leading order graph.


pseudocompact

LL-Q1860 (eng)-Flame, not lame-pseudocompact.wav

In particular we show that if #92;big#92;#123;#92;big(B⁰#95;#123;#92;lambda#95;i#125;(S#95;i),#92;tau⁰#95;#123;B(S#95;i)#125;#92;big)#92;coloni#92;in#92;mathcal#123;I#125;#92;big#92;#125; is a family of Hausdorff pseudocompact to\-pological Brandt #92;lambda#95;i⁰-extensions of pseudocompact semitopological monoids with zero such that the Tychonoff product #92;prod#92;left#92;#123;S#95;i#92;coloni#92;in#92;mathcal#123;I#125;#92;right#92;#125; is a pseudocompact space then the direct product #92;prod#92;big#92;#123;#92;big(B⁰#95;#123;#92;lambda#95;i#125;(S#95;i),#92;tau⁰#95;#123;B(S#95;i)#125;#92;big)#92;coloni#92;in#92;mathcal#123;I#125;#92;big#92;#125; endowed with the Tychonoff topology is a Hausdorff pseudocompact semitopological semigroup..

2015, Oleg Gutik, Oleksandr Ravsky, “Pseudocompactness, products and topological Brandt λ⁰-extensions of semitopological monoids”, in arXiv:

(mathematics, of a space) having a bounded image


pseudocompactness

LL-Q1860 (eng)-Flame, not lame-pseudocompactness.wav

From pseudocompact + -ness or pseudo- + compactness.

In the paper we study the preservation of pseudocompactness (resp., countable compactness, sequential compactness, #92;omega-boundedness, totally countable compactness, countable pracompactness, sequential pseudocompactness) by Tychonoff products of pseudocompact (and countably compact) to\-pological Brandt #92;lambda#95;i⁰-extensions of semitopological monoids with zero.

(mathematics) The condition of being pseudocompact


semiprimality

From semi- + primality or semiprimal + -ity.

In this paper we discuss about the semiprimitivity and the semiprimality of partial smash products.

2015, Rafael Cavalheiro, Alveri Sant'Ana, “On the semiprimitivity and the semiprimality problems for partial smash products”, in arXiv:

(mathematics) The condition of being a semiprime


semiprimitivity

From semi- + primitivity or semiprimitive + -ity.

(mathematics) The condition of being semiprimitive


shellability

Along the way we provide elementary proofs of the shellability of the arc complex of the n-gon and the cylinder.

2015, Jon Wilson, “Shellability and Sphericity of the quasi-arc complex of the Möbius strip”, in arXiv:

(mathematics) The condition of being shellable


adic

For any adic transformation T defined on the path space X of an ordered Bratteli diagram, endowed with a Markov measure #92;mu, we construct an explicit dimension space (which corresponds to a matrix values random walk on #92;mathbb#123;Z#125;) whose Poisson boundary can be identified as a #92;mathbb#123;Z#125;-space with the dynamical system (X,#92;mu,T).

2015, Thierry Giordano, David Handelman, Radu B. Munteanu, “Nonsingular transformations and dimension spaces”, in arXiv:

(algebra, of topological ring) Carrying the I-adic topology for some ideal I of the ring.


hypoellipticity

hypoellipticity (countable and uncountable, plural hypoellipticities)

The classical Bakry-\'Emery calculus is extended to study, for degenerated (non-elliptic, non-reversible, or non-diffusive) Markov processes, questions such as hypoellipticity, hypocoercivity, functional inequalities or Wasserstein contraction.

2015, Pierre Monmarché, “Generalized Γ calculus and application to interacting particles on a graph”, in arXiv:

(mathematics) The condition of being hypoelliptic


lowdimensional

The popular i-vector model represents speakers as lowdimensional continuous vectors (i-vectors), and hence is a way of continuous speaker embedding.

2015, Lantian Li, Dong Wang, Chao Xing, Kaimin Yu, Thomas Fang Zheng, “Binary Speaker Embedding”, in arXiv:

(mathematics) Having or involving four or fewer dimensions


Brillouin function

Brillouin function (plural Brillouin functions)

Named after the physicist Léon Brillouin (1889–1969).

statistical mechanics
statistical mechanics

A special function that appears when studying an idealized paramagnetic material in statistical mechanics.


orthomorphism

(mathematics) A morphism that is also a permutation


premaximality

Lastly,we review some results due to Anosov that concern premaximality..

2015, T. Fisher, T. Petty, S. Tikhomirov, “Nonlocally maximal and premaximal hyperbolic sets”, in arXiv:

(mathematics) The condition of being premaximal


semiqueen

(mathematics) A queen (chess piece) that can only move or attack in one (but not the opposing) direction


surject

en-verb

surject (third-person singular simple present surjects, present participle surjecting, simple past and past participle surjected)

surjects (present singular third-person)
surjecting (participle present)
surjected (participle past)
surjected (past)

(mathematics, set theory) To form or to undergo surjection


ultradifferentiable

Under this assumption, and through the characterization of strongly regular sequences in terms of so-called regular variation, we show that the growth index #92;gamma(#92;mathbb#123;M#125;) defined by V.Thilliez (Division by flat ultradifferentiable functions and sectorial extensions, Results Math. 44 (2003), 169--188) and the order of quasianalyticity #92;omega(#92;mathbb#123;M#125;) introduced by the second author (Flat functions in Carleman ultraholomorphic classes via proximate orders, J.

2015, Javier Jiménez-Garrido, Javier Sanz, “Strongly regular sequences and proximate orders”, in arXiv:

(mathematics) Having all derivatives over an open set bounded by an indexed value in an ultradistribution (times a constant).


ultraholomorphic

(mathematics) Holomorphic and such that all derivatives are uniformly bounded by a constant multiple of the argument that can be associated with the order of the derivative.


hemivariational

The variational formulation of this problem leads to hemivariational inequality with a nonsmooth functional defined on the contact boundary.

2015, Nina Ovcharova, Lothar Banz, “On the coupling of regularization techniques and the boundary element method for a hemivariational inequality modelling a delamination problem”, in arXiv:

(mathematics) Pertaining to a generalization of variational inequalities which covers boundary value problems for partial differential equations with nonmonotone, nonconvex and possibly multivalued laws.


paramodular

We give criteria under which the isogeny class of A is determined by F and thereby obtain new evidence towards our paramodular conjecture.

2015, Armand Brumer, Kenneth Kramer, “Certain Abelian varieties bad at only one prime”, in arXiv:

(mathematics) Pertaining to a pair (a, b) of set functions where a is supermodular, b is submodular, and they always satisfy the cross-inequality b(X) - a(Y) > b(X-Y) -a(Y-X) for all X, Y.


bicanonical

Inspired by this description, we reduced the problem of constructing a minimal surface of general type with K²#61;3 whose bicanonical system has base points, under some reasonable assumptions, to the problem of constructing a curve in #123;#92;mathbbP#125;³ with certain properties..

2015, Filippo F. Favale, Roberto Pignatelli, “A parabicanonical system with base points”, in arXiv:

(mathematics) Canonical on both the left and the right.


oddification

Extending the center up to anti-commutative elements, we get a ring OZ(OHⁿ#95;C) which is isomorphic to the oddification of the ring cohomology of the (n,n)-Springer variety from arXiv:1203.0797 ..

2015, Grégoire Naisse, “An oddification of Khovanov's arc algebras”, in arXiv:

(mathematics) Conversion to an "odd" form


parabicanonical

Neves have a parabicanonical system (different from the bicanonical system) with two base points. We show that the map induced by the above parabicanonical system is birational, and describe in detail the closure of its image and its singular locus.

(mathematics) Pertaining to a linear system of divisors numerically equivalent to a bicanonical divisor, on a general type minimal surface.


uniparameter

Along the way, we show that commutative affine domains, uniparameter quantum tori, and uniparameter quantum affine spaces satisfy the generalised Dixmier-Moeglin equivalence..

2015, Jason Bell, Stéphane Launois, Brendan Nolan, “A generalised Dixmier-Moeglin equivalence for quantum Schubert cells”, in arXiv:

(mathematics) Having, or defined using a single parameter


bigrassmannian

Combining this with the construction of Chern classes with coefficients in the bigrassmannian complexes, we get, for the weights up to four, local explicit formulas for the Chern classes in the rational Deligne cohomology via polylogarithms.

2015, Alexander B. Goncharov, “Exponential complexes, period morphisms, and characteristic classes”, in arXiv:

(mathematics) Pertaining to a permutation such that there is at most one left and one right descent (at most one index i and one index j, such that wsᵢ < w and sⱼw < w).


cocharacter

We show that this space is smoothly equivalent to the local model for #92;mathrm#123;Res#125;#95;#123;K#47;#92;mathbb#123;Q#125;#95;p#125;#92;mathrm#123;GL#125;#95;n, cocharacter #92;#123;#92;mu#92;#125;, and parahoric level structure.

2015, Ana Caraiani, Brandon Levin, “Kisin modules with descent data and parahoric local models”, in arXiv:

(mathematics) A homomorphism of a character.


desuperization

For each of these Lie algebras obtained as desuperization of a Lie superalgebra, and for the Shen Lie algebra (see arXiv:1307.1551), we establish the number of parameters the unconstrained shearing vector depends on.

2015, Sofiane Bouarroudj, Pavel Grozman, Alexei Lebedev, Dimitry Leites, Irina Shchepochkina, “Simple vectorial Lie algebras in characteristic 2 and their superizations”, in arXiv:

(mathematics) The reverse operation of a superization


log-logistic

(statistics) Whose logarithm has a logistic distribution


polyfold

(mathematics) A metrizable space together with an equivalence class of sc-smooth structures.


seasonalize

seasonalize (third-person singular simple present seasonalizes, present participle seasonalizing, simple past and past participle seasonalized)

seasonalizes (present singular third-person)
seasonalizing (participle present)
seasonalized (participle past)
seasonalized (past)

(transitive, statistics) To offset (data) to compensate for seasonal variations.


precovering

In this case, we get a strengthened version of the translation of the Wakamatsu lemma to the exact context, and also prove that subcategories which are #92;mathcal#123;E#125;-resolving and epimorphic precovering with kernels in their right #92;mathcal#123;E#125;-orthogonal class and subcategories which are #92;mathcal#123;E#125;-coresolving and monomorphic preenveloping with cokernels in their left #92;mathcal#123;E#125;-orthogonal class are determined by each other.

2015, Junfu Wang, Zhaoyong Huang, “Applications of Exact Structures in Abelian Categories”, in arXiv:


subcovariance

An optimal regularity bound for the subcovariance operators is proven.

2015, Eris Runa, “Finite range decomposition for a general class of elliptic operators”, in arXiv:

(mathematics) The covariance between two variables after the effects of one or more other variables have been removed or controlled for.


pretopological

Additionally, we define a version of H-closedness for pretopological spaces and investigate the properties of such a space..

2015, John Reynolds, “H-closed Spaces and H-sets in the Convergence Setting”, in arXiv:


digraphon

(mathematics) The object obtained as the limit of a convergent sequence of directed graphs.


multiderivative

The end result is that the multiderivative time integrator allows us to obtain high-order accuracy in time while keeping the number of implicit stages at a minimum.

2015, Alexander Jaust, Jochen Schütz, David C. Seal, “Implicit multistage two-derivative discontinuous Galerkin schemes for viscous conservation laws”, in arXiv:

(mathematics) Having or employing multiple derivatives


plethystic

The corresponding generating series are written in closed form, as plethystic exponentials of simple rational functions.

2015, Alberto Cazzaniga, Andrew Morrison, Brent Pym, Balazs Szendroi, “Motivic Donaldson--Thomas invariants of some quantized threefolds”, in arXiv:


precover

(mathematics) A generalization of a cover in which the kernal may contain a non-zero pure subgroup.


bispace

LL-Q1860 (eng)-Flame, not lame-bispace.wav

(algebra) A set with both left and right morphisms.


counimodular

Finally, for a counimodular algebraic quantum group A, A#123;J#125; is an algebraic quantum group..

2015, Tao Yang, “Drinfel'd twist of multiplier Hopf algebras”, in arXiv:

(mathematics) Having a dual Hopf algebra that is unimodular.


cubulate

cubulate (third-person singular simple present cubulates, present participle cubulating, simple past and past participle cubulated)

cubulates (present singular third-person)
cubulating (participle present)
cubulated (participle past)
cubulated (past)

(mathematics) To convert or be converted into a cubulation


subhomogeneous

For example, the family zᵈ#43;t is subhomogeneous.

2015, Patrick Ingram, “Canonical heights and preperiodic points for subhomogeneous families of polynomials”, in arXiv:

(mathematics) Scalable up to an inequality, fulfilling f(αx)≤αf(x).


tricomplexity

Furthermore, through tuning the 4th parameter P4, at the cost of sacrificing recursive axiomatizability but not simplicity or elegance, the above extensional completeness can be strengthened to intensional completeness, according to which every formula representing a problem with a solution from the given tricomplexity class is a theorem of the system.

2015, Giorgi Japaridze, “Build your own clarithmetic II”, in arXiv:

(mathematics) The condition of being tricomplex


tricomplex

(mathematics) three-dimensional and complex


tricomplex number

en-noun

tricomplex number (plural tricomplex numbers)

(mathematics) The equivalent of a complex number in three dimensions


contactisation

Assume that we are given a closed chord-generic Legendrian submanifold #92;Lambda#92;subsetP#92;times#92;mathbbR of the contactisation of a Liouville manifold, where #92;Lambda moreover admits an exact Lagrangian filling L#95;#123;#92;Lambda#125;#92;subset#92;mathbbR#92;timesP#92;times#92;mathbbR inside the symplectisation.

2015, Georgios Dimitroglou Rizell, Roman Golovko, “The stable Morse number as a lower bound for the number of Reeb chords”, in arXiv:

(mathematics) Alternative form of contactization


pseudo-Anosov

en-adj

pseudo-Anosov (comparative more pseudo-Anosov, superlative most pseudo-Anosov)

more pseudo-Anosov (comparative)
most pseudo-Anosov (superlative)

(topology) Pertaining to the generalization of Anosov diffeomorphism of the torus introduced by William Thurston.