Related papers: A tight closure analogue of analytic spread

We revise our "Physical Traces" paper in the light of the results in "A Categorical Semantics of Quantum Protocols". The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite…

The concentration of measure prenomenon roughly states that, if a set $A$ in a product $\Omega^N$ of probability spaces has measure at least one half, ``most'' of the points of $\Omega^N$ are ``close'' to $A$. We proceed to a systematic…

We investigate the analytic spread of binomial edge ideals of finite simple graphs. We provide tight bounds for this invariant in general. For special families of graphs (e.g., closed graphs, pseudo-forests), we compute the exact value for…

Here we have studied the ideas of g*-closed sets, g^tou -sets and Lamda*-closed sets and investigate some of their properties in the spaces of A. D. Alexandroff [1]. We have also studied few separation axioms like T-omega/4,T-3omega/8,…

The effective freeness in Fujita's conjecture states that, for an ample line bundle $L$ on a complex projective manifold $X$, the adjoint bundle $K_X\otimes L^{\otimes m}$ is globally generated when $m \geq \dim_{\mathbb C} X + 1$.…

The purpose of this paper is to introduce a Zariski-like topology on the spectrum of all proper ideals of a ring. We show that the space is T_0, quasi-compact, and every irreducible closed subset has a unique generic point. Furthermore,…

In topology there is a theorem of Atiyah, concerning K-theory of classifying space of connected compact Lie group. We consider an algebraic analogue of this theorem. We prove that for a split reductive algebraic group G over a field there…

The random percolation model can be viewed as the dual of a well defined confining gauge theory; since this theory, having no Monte Carlo dynamics at all, is simple to simulate, it is possible to study the properties of the flux tube with…

For a Frobenius cellular algebra, we prove that if the left (right) dual basis of a cellular basis is again cellular, then the algebra is symmetric. Moreover, some ideals of the center are constructed by using the so-called Nakayama twisted…

A pattern of a sequence is a sequence of integer indices with each index describing the order of first occurrence of the respective symbol in the original sequence. In a recent paper, tight general bounds on the block entropy of patterns of…

We describe the use of array expressions as constraints, which represents a consequent generalisation of the "element" constraint. Constraint propagation for array constraints is studied theoretically, and for a set of domain reduction…

Nakano's later modality can be used to specify and define recursive functions which are causal or synchronous; in concert with a notion of clock variable, it is possible to also capture the broader class of productive (co)programs. Until…

By definition, an $\m$-primary ideal $I$ in a 2-dimensional regular local ring $(R, \m)$ is contracted if $I=R \cap IR[\m/x]$ for some $x \in \m \setminus \m^2$. Contracted ideals have been introduced by Zariski and used for proving the…

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

In this paper, we revisit pattern mining and study the distribution underlying a binary dataset thanks to the closure structure which is based on passkeys, i.e., minimum generators in equivalence classes robust to noise. We introduce…

In the $C^*$-algebraic setting the spectrum of any group-like element of a compact quantum group is shown to be a closed subgroup of the one-dimensional torus. A number of consequences of this fact are then illustrated, along with a loose…

A common problem in analytic number theory is to bound the sum of an arithmetic function over a set of integers. Nair and Tenenbaum found a very general bound that applies to short sums of a multivariable arithmetic function over polynomial…

A famous theorem of Kuratowski states that in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a given set. We re-examine this theorem in the setting of formal…

We consider the sets of negatively associated (NA) and negatively correlated (NC) distributions as subsets of the space $\mathcal{M}$ of all probability distributions on $\mathbb{R}^n$, in terms of their relative topological structures…

The octagon abstract domain is a widely used numeric abstract domain expressing relational information between variables whilst being both computationally efficient and simple to implement. Each element of the domain is a system of…