English
Related papers

Related papers: On graded Going down domains

200 papers

We introduce the {\it growth partition function} $Z_{\Gamma,G}(t)$ associate with any cancellative infinite monoid $\Gamma$ with a finite generator system $G$. It is a power series in $t$ whose coefficients lie in integral Lie-like space…

Group Theory · Mathematics 2010-10-08 Kyoji Saito

We present a graded modal type theory, a dependent type theory with grades that can be used to enforce various properties of the code. The theory has $\Pi$-types, weak and strong $\Sigma$-types, natural numbers, an empty type, and a…

Logic in Computer Science · Computer Science 2026-05-01 Andreas Abel , Nils Anders Danielsson , Oskar Eriksson

A uniform gradient for functions u which satisfy a system of N second-order partial differential inequalities is given in this paper. Some structure conditions are given for the coefficients of the matrices of second-order terms and of…

Analysis of PDEs · Mathematics 2010-12-21 M. Arisawa

Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of constraints. To date, consistency has primarily been viewed as a…

Logic in Computer Science · Computer Science 2021-11-02 Jens Kosiol , Daniel Strüber , Gabriele Taentzer , Steffen Zschaler

We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $\Gamma$ and…

Logic · Mathematics 2025-06-25 Jan Dobrowolski , Omar Leon Sanchez

Much work has been done on generalized factorization techniques in integral domains, namely $\tau$-factorization. There has also been substantial progress made in investigating factorization in commutative rings with zero-divisors. This…

Commutative Algebra · Mathematics 2013-12-31 Christopher Park Mooney

We introduce a notion of nodal domains for positivity preserving forms. This notion generalizes the classical ones for Laplacians on domains and on graphs. We prove the Courant nodal domain theorem in this generalized setting using purely…

Spectral Theory · Mathematics 2017-12-21 Matthias Keller , Michael Schwarz

A classical problem, that goes back to the 1960's, is to characterize the integral domains R satisfying the property (IDn): "every singular nxn matrix over R is a product of idempotent matrices". Significant results, which describe this…

Commutative Algebra · Mathematics 2023-12-14 Laura Cossu , Paolo Zanardo

Graded rings provide a natural algebraic framework for encoding symmetry via decompositions into homogeneous components indexed by a group, together with multiplication rules reflecting the group operation. Among graded rings, strongly…

Rings and Algebras · Mathematics 2026-05-12 Joakim Arnlind , Stefan Wagner

Given $G$ an algebraic reductive group over an algebraically closed field of characteristic zero and $\Gamma$ a finitely generated group, we provide a stratification of the $G$-character variety of $\Gamma$ in terms of conjugacy classes of…

Algebraic Geometry · Mathematics 2024-08-07 Ángel González-Prieto , Alfonso Zamora

Given a domain of characteristic zero $R$, we functorially construct a rigid symmetric monoidal stable $\infty$-category whose $K_0$ is $R$, solving a problem of Khovanov. We also functorially construct for any reduced commutative ring $R$…

K-Theory and Homology · Mathematics 2024-12-20 Ishan Levy

This paper offers a new perspective to ease the challenge of domain generalization, which involves maintaining robust results even in unseen environments. Our design focuses on the decision-making process in the final classifier layer.…

Computer Vision and Pattern Recognition · Computer Science 2023-08-23 Liang Chen , Yong Zhang , Yibing Song , Anton van den Hengel , Lingqiao Liu

Arithmetic quotients are quotients of bounded symmetric domains by arithmetic groups, and modular subvarieties of arithmetic quotients are themselves arithmetic quotients of lower dimension which live on arithmetic quotients, by an…

alg-geom · Mathematics 2008-02-03 Bruce Hunt

We study strongly graded groupoids, which are topological groupoids $\mathcal G$ equipped with a continuous, surjective functor $\kappa: \mathcal G \to \Gamma$, to a discrete group $\Gamma$, such that $\kappa^{-1}(\gamma)\kappa^{-1}(\delta)…

Rings and Algebras · Mathematics 2018-08-17 Lisa Orloff Clark , Roozbeh Hazrat , Simon W. Rigby

Consider the gradient map associated to any non-constant homogeneous polynomial $f\in \C[x_0,...,x_n]$ of degree $d$, defined by \[\phi_f=grad(f): D(f)\to \CP^n, (x_0:...:x_n)\to (f_0(x):...:f_n(x))\] where $D(f)=\{x\in \CP^n; f(x)\neq 0\}$…

Algebraic Geometry · Mathematics 2010-03-10 Imran Ahmed

Let $F$ be an infinite field, and let $M_{n}(F)$ be the algebra of $n\times n$ matrices over $F$. Suppose that this algebra is equipped with an elementary grading whose neutral component coincides with the main diagonal. In this paper, we…

Rings and Algebras · Mathematics 2020-01-03 Luís Felipe Gonçalves Fonseca , Thiago Castilho de Mello

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

Algebraic Geometry · Mathematics 2020-03-18 Dmitri Orlov

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

Symbolic Computation · Computer Science 2017-05-09 Amir Hashemi , Werner M. Seiler

Many variants of unsupervised domain adaptation (UDA) problems have been proposed and solved individually. Its side effect is that a method that works for one variant is often ineffective for or not even applicable to another, which has…

Computer Vision and Pattern Recognition · Computer Science 2021-06-04 Yu Mitsuzumi , Go Irie , Daiki Ikami , Takashi Shibata

Let $A$ be a Poisson Hopf algebra over an algebraically closed field of characteristic zero. If $A$ is finitely generated and connected graded as an algebra and its Poisson bracket is homogeneous of degree $d \geq 0$, then $A$ is…

Quantum Algebra · Mathematics 2017-09-07 Ken A. Brown , James J. Zhang