Related papers: Refined Transfer
We make the interprecision transfers explicit in an algorithmic description of iterative refinement and obtain new insights into the algorithm. One example is the classic variant of iterative refinement where the matrix and the…
We show that the refined analytic torsion is a holomorphic section of the determinant line bundle over the space of complex representations of the fundamental group of a closed oriented odd dimensional manifold. Further, we calculate the…
A refinement of the multinomial distribution is presented where the number of inversions in the sequence of outcomes is tallied. This refinement of the multinomial distribution is its joint distribution with the number of inversions in the…
In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.
We define a refined topological vertex which depends in addition on a parameter, which physically corresponds to extending the self-dual graviphoton field strength to a more general configuration. Using this refined topological vertex we…
We define refined invariants which "count" nodal curves in sufficiently ample linear systems on surfaces, conjecture that their generating function is multiplicative, and conjecture explicit formulas in the case of K3 and abelian surfaces.…
Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be…
Given a finite simplicial complex, a unimodular representation of its fundamental group and a closed twisted cochain of odd degree, we define a twisted version of the Reidemeister torsion, extending a previous definition of V. Mathai and S.…
We introduce a refined version of the 3D index for 3-manifolds, building on the construction of the 3D $\mathcal{N}=2$ gauge theory $T[M]$ by Dimofte-Gaiotto-Gukov and Gang-Yonekura. The refined index is a superconformal index of $T[M]$…
In this paper we extend Badzioch's, Dorabiala's, and Williams' definition of cohomological higher smooth torsion to a twisted cohomological higher torsion invariant. Additionally, we show that this still satisfies geometric additivity and…
The note is dedicated to refining a theorem by Diaconis, Evans, and Graham concerning successions and fixed points of permutations. This refinement specifically addresses non-adjacent successions, predecessors, excedances, and drops of…
A discrete complexified quaternion Fourier transform is introduced. This is a generalization of the discrete quaternion Fourier transform to the case where either or both of the signal/image and the transform kernel are complex…
Refinement types are a well-studied manner of performing in-depth analysis on functional programs. The dependency pair method is a very powerful method used to prove termination of rewrite systems; however its extension to higher order…
Research on refinable functions in wavelet theory is mostly focused to localized functions. However it is known, that polynomial functions are refinable, too. In our paper we investigate on conversions between refinement masks and…
We first apply the method and results in the previous paper to give a new proof of a result (hold in $ {\bf C}/{\bf Z}$) of Gilkey on the variation of h-invariants associated to non self-adjoint Dirac type operators. We then give an…
Refinement types turn typechecking into lightweight verification. The classic form of refinement type is the datasort refinement, in which datasorts identify subclasses of inductive datatypes. Existing type systems for datasort refinements…
The theory of Weil-Stark elements is used to develop an axiomatic approach to the formulation of refined versions of Stark's Conjecture. This gives concrete new results concerning leading terms of Artin $L$-series and arithmetic properties…
We study the open refined topological string amplitudes using the refined topological vertex. We determine the refinement of holonomies necessary to describe the boundary conditions of open amplitudes (which in particular satisfy the…
The reassignment method for the wavelet transform is investigated. Particularly good results are obtained if the wavelet is an extremal for the uncertainty relation of the affine group.
The refined Chern-Simons theory is a one-parameter deformation of the ordinary Chern-Simons theory on Seifert manifolds. It is defined via an index of the theory on N M5 branes, where the corresponding one-parameter deformation is a natural…