Related papers: Algebraic dependence number and cardinality of gen…
We consider a class of planar self-affine sets which we call "box-like". A box-like self-affine set is the attractor of an iterated function system (IFS) of affine maps where the image of the unit square, [0,1]^2, under arbitrary…
Using the Runge-Gross theorem that establishes the foundation of Time-dependent Density Functional Theory (TDDFT) we prove that for a given electronic Hamiltonian, choice of initial state, and choice of fragmentation, there is a unique…
The tree-independence number tree-$\alpha$, first defined and studied by Dallard, Milani\v{c} and \v{S}torgel, is a variant of treewidth tailored to solving the maximum independent set problem. Over a series of papers, Abrishami et al.…
We study how the problem of observables is fully resolved for background independent theories defined on finite graphs. We argue the correct analogue of coordinate independence is the invariance under changes of graph labels, a kind of…
We consider a number of examples of groups together with an infinite conjugation invariant generating set, including: the free group with the generating set of all separable elements; surface groups with the generating set of all…
We provide a covariant framework to study singularity-free Lema\^itre-Tolman-Bondi spacetimes with effective corrections motivated by loop quantum gravity. We show that, as in general relativity, physically reasonable energy distributions…
Multiplicative invariance is a well-studied property of subsets of the unit interval. The theory in the complex plane is less developed. This paper introduces an analogous definition for multiplicative invariance in the complex plane…
Following our earlier work, we construct statistical discrete geometry by applying statistical mechanics to discrete (Regge) gravity. We propose a coarse-graining method for discrete geometry under the assumptions of atomism and background…
To an orthogonal or unitary involution on a central simple algebra of degree 4, or to a symplectic involution on a central simple algebra of degree 8, we associate a Pfister form that characterises the decomposability of the algebra with…
For the study of cosmological backreacktion an avaragng procedure is required. In this work a covariant and gauge invariant averaging formalism for finite volumes will be developed. This averaging will be applied to the scalar parts of…
Separation bounds are a fundamental measure of the complexity of solving a zero-dimensional system as it measures how difficult it is to separate its zeroes. In the positive dimensional case, the notion of reach takes its place. In this…
Let $G$ be a simple, connected and finite graph with order $n$. Denote the independence number, edge independence number and total independence number by $\alpha(G), \alpha'(G)$ and $\alpha"(G)$ respectively. This paper establishes a…
We examine two questions regarding Fourier frequencies for a class of iterated function systems (IFS). These are iteration limits arising from a fixed finite families of affine and contractive mappings in $\br^d$, and the ``IFS'' refers to…
In theories with radiative symmetry breaking, the calculation of the false vacuum decay rate requires the inclusion of higher-order terms in the derivative expansion of the effective action. I show here that, in the case of covariant…
Let $k$ be an algebraically closed field of characteristic $p>0$, let G=GL_n be the general linear group over $k$, let g=gl_n be its Lie algebra and let $D_s$ be subalgebra of the divided power algebra of g^* spanned by the divided power…
This paper studies separating invariants: mappings on $D$ dimensional domains which are invariant to an appropriate group action, and which separate orbits. The motivation for this study comes from the usefulness of separating invariants in…
Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly and challenging, there are a myriad of approaches that…
Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when…
We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. The…
We address the dusty wind problem, from the point where dust formation has been completed and outward. Given grain properties, both radiative transfer and hydrodynamics components of the problem are fully defined by four additional input…