English
Related papers

Related papers: Arrow diagrams on spherical curves and computation…

200 papers

Happel and Unger defined a partial order on the set of basic tilting modules. The tilting quiver is the Hasse diagram of the poset of basic tilting modules. We determine the number of arrows in the tilting quiver over a path algebra of type…

Representation Theory · Mathematics 2011-08-31 Ryoichi Kase

We present an analysis of four sum rules, each based on chiral symmetry and containing the difference $\rho_{\rm V}(s) - \rho_{\rm A}(s)$ of isovector vector and axialvector spectral functions. Experimental data from tau lepton decay and…

High Energy Physics - Phenomenology · Physics 2009-10-22 John F. Donoghue , Eugene Golowich

In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has…

Number Theory · Mathematics 2008-02-03 Hendrik W. Lenstra

Under suitable asymptotic and convexity conditions on a function $g\colon\mathbb{R}_+\to\mathbb{R}$, the solution to $\Delta f=g$, where $\Delta$ is the forward difference operator, is unique up to an additive constant and is called the…

Classical Analysis and ODEs · Mathematics 2026-02-27 Thomas Lamby , Jean-Luc Marichal

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

Logic in Computer Science · Computer Science 2015-08-12 Mario Coppo , Mariangiola Dezani-Ciancaglini , Ines Margaria , Maddalena Zacchi

An irreducible algebraic decomposition $\cup_{i=0}^{d}X_i=\cup_{i=0}^{d} (\cup_{j=1}^{d_i}X_{ij})$ of an affine algebraic variety X can be represented as an union of finite disjoint sets $\cup_{i=0}^{d}W_i=\cup_{i=0}…

Algebraic Geometry · Mathematics 2010-10-18 Shawki Al-Rashed , Gerhard Pfister

Ergodic theory, Higher order Fourier analysis and the hyper graph regularity method are three possible approaches to Szemer\'edi type theorems in abelian groups. In this paper we develop an algebraic theory that creates a connection between…

Combinatorics · Mathematics 2009-03-06 Balazs Szegedy

Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form…

Rings and Algebras · Mathematics 2012-01-24 Francesca Benanti , Silvia Boumova , Vesselin Drensky , Georgi K. Genov , Plamen Koev

We develop a diagrammatic calculus for representations of unrolled quantum $\mathfrak{sl}_2$ at a fourth root of unity. This allows us to prove Seifert-Torres type formulas for certain splice links using quantum algebraic methods, rather…

Geometric Topology · Mathematics 2022-09-09 Matthew Harper

The differential systems satisfied by orthogonal polynomials with arbitrary semiclassical measures supported on contours in the complex plane are derived, as well as the compatible systems of deformation equations obtained from varying such…

Exactly Solvable and Integrable Systems · Physics 2018-06-26 M. Bertola , B. Eynard , J. Harnad

The arrows of a category are elements of particular sets, the hom-sets. These sets are functorial, and their functoriality specifies how to compose the arrows with other arrows of the same category. In particular, it allows to form…

Category Theory · Mathematics 2024-10-22 Paolo Perrone

Graph homomorphism has been studied intensively. Given an m x m symmetric matrix A, the graph homomorphism function is defined as \[Z_A (G) = \sum_{f:V->[m]} \prod_{(u,v)\in E} A_{f(u),f(v)}, \] where G = (V,E) is any undirected graph. The…

Computational Complexity · Computer Science 2011-10-10 Jin-Yi Cai , Xi Chen , Pinyan Lu

Let $f$ be a holomorphic function on the strip $\{z\in C: -\alpha<Im z<\alpha\}, \alpha > 0$, belonging to the class $H(\alpha,-\alpha;\epsilon)$ defined below. It is shown that there exist holomorphic functions $w_1$ on $\{z\in C: 0<Im z…

Complex Variables · Mathematics 2007-05-23 Konrad Schmuedgen

We develop algebro-combinatorial tools for computing the Thom polynomials for the Morin singularities $A_i(-)$ ($i\ge 0$). The main tool is the function $F^{(i)}_r$ defined as a combination of Schur functions with certain numerical…

Algebraic Geometry · Mathematics 2008-10-15 Piotr Pragacz

In this note we compute some enumerative invariants of real and complex projective spaces by means of some enriched graphs called floor diagrams.

Algebraic Geometry · Mathematics 2007-06-04 Erwan Brugallé , Grigory Mikhalkin

In graph theory, the Szemer\'edi regularity lemma gives a decomposition of the indicator function for any graph $G$ into a structured component, a uniform part, and a small error. This result, in conjunction with a counting lemma that…

Combinatorics · Mathematics 2018-11-22 Sammy Luo

The Sombor index (SO) is a vertex-degree-based graph invariant, defined as the sum over all pairs of adjacent vertices of $\sqrt{d_i^2+d_j^2}$, where $d_i$ is the degree of the $i$-th vertex. It has been conceived using geometric…

Combinatorics · Mathematics 2022-12-09 Nima Ghanbari , Saeid Alikhani

A convex lattice polygon Delta determines a pair (S,L) of a toric surface together with an ample toric line bundle on S. The Severi degree N^{Delta,delta} is the number of delta-nodal curves in the complete linear system |L| passing through…

Algebraic Geometry · Mathematics 2014-09-18 Florian Block , Lothar Göttsche

Diagrammatic techniques to compute perturbatively the spectral properties of Euclidean Random Matrices in the high-density regime are introduced and discussed in detail. Such techniques are developed in two alternative and very different…

Disordered Systems and Neural Networks · Physics 2011-08-31 T. S. Grigera , V. Martin-Mayor , G. Parisi , P. Urbani , P. Verrocchio

Any homogeneous polynomial $P(x, y, z)$ of degree $d$, being restricted to a unit sphere $S^2$, admits essentially a unique representation of the form $\lambda_0 + \sum_{k = 1}^d \lambda_k [\prod_{j = 1}^k L_{kj}]$, where $L_{kj}$'s are…

Complex Variables · Mathematics 2007-05-23 Gabriel Katz