English
Related papers

Related papers: Closure operators, frames, and neatest representat…

200 papers

If $G$ is a semisimple Lie group of real rank at least 2 and $\Gamma$ is an irreducible lattice in $G$, then every homomorphism from $\Gamma$ to the outer automorphism group of a finitely generated free group has finite image.

Group Theory · Mathematics 2011-04-14 Martin R. Bridson , Richard D. Wade

Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for…

Rings and Algebras · Mathematics 2015-02-24 Rob Egrot , Robin Hirsch

We answer a number of open problems in frame theory concerning the decomposition of frames into linearly independent and/or spanning sets. We prove that in finite dimensional Hilbert spaces, Parseval frames with norms bounded away from 1…

Functional Analysis · Mathematics 2010-04-15 Bernhard G. Bodmann , Peter G. Casazza , Vern I. Paulsen , Darrin Speegle

In this work we examine the stability of some classes of integrals, and in particular with respect to homogenization. The prototypical case is the homogenization of quadratic energies with periodic coefficients perturbed by a term vanishing…

Analysis of PDEs · Mathematics 2024-10-15 Andrea Braides , Gianni Dal Maso , Claude Le Bris

We give a sufficient condition for the sum of two closed operators to be closed. In particular, we study the sum of two sectorial operators with the sum of their sectoriality angles greater than $\pi$. We show that if one of the operators…

Functional Analysis · Mathematics 2014-05-21 Nikolaos Roidos

F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…

Combinatorics · Mathematics 2020-11-17 George M. Bergman

The paper shows that there is a deep structure on certain sets of bisimilar Probabilistic Automata (PA). The key prerequisite for these structures is a notion of compactness of PA. It is shown that compact bisimilar PA form lattices. These…

Formal Languages and Automata Theory · Computer Science 2014-02-28 Johann Schuster , Markus Siegle

Consider a finite dimensional complex Hilbert space $\cH$, with $dim(\cH) \geq 3$, define $\bS(\cH):= \{x\in \cH \:|\: ||x||=1\}$, and let $\nu_\cH$ be the unique regular Borel positive measure invariant under the action of the unitary…

Mathematical Physics · Physics 2017-08-23 Valter Moretti , Davide Pastorello

In this continuation of \cite{BM}, we prove the following: Let $\Gamma\subset \text{SL}(2,{\mathbb C})$ be a cocompact lattice, and let $\rho: \Gamma \rightarrow \text{GL}(r,{\mathbb C})$ be an irreducible representation. Then the…

Differential Geometry · Mathematics 2013-03-15 Indranil Biswas , Avijit Mukherjee

We prove a theorem that gives an easily verifiable necessary and sufficient condition for a reference frame with fixed spacelike coordinates to be nonrotating in the sense of Walker. Applications are discussed.

General Relativity and Quantum Cosmology · Physics 2008-12-18 Peter Collas , David Klein

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…

Logic · Mathematics 2024-05-09 Amirhossein Akbar Tabatabai

An ortho-polygon visibility representation $\Gamma$ of a $1$-plane graph $G$ (OPVR of $G$) is an embedding preserving drawing that maps each vertex of $G$ to a distinct orthogonal polygon and each edge of $G$ to a vertical or horizontal…

Data Structures and Algorithms · Computer Science 2018-08-03 Giuseppe Liotta , Fabrizio Montecchiani , Alessandra Tappini

Let $\Lambda^{\ast}$ be the free monoid of (finite) words over a not necessarily finite alphabet $\Lambda$, which is equipped with some (partial) order. This ordering lifts to $\Lambda^{\ast}$, where it extends the divisibility ordering of…

Combinatorics · Mathematics 2018-05-08 Hans-Jürgen Bandelt , Maurice Pouzet

We prove that, if $\Gamma$ is a finite connected $3$-valent vertex-transitive, or $4$-valent vertex- and edge-transitive graph, then either $\Gamma$ is part of a well-understood family of graphs, or every non-identity automorphism of…

Combinatorics · Mathematics 2024-12-20 Marco Barbieri , Valentina Grazian , Pablo Spiga

We prove some unconditional cases of the Existential Closedness problem for the modular $j$-function. For this, we show that for any finitely generated field we can find a "convenient" set of generators. This is done by showing that in any…

Logic · Mathematics 2022-10-06 Vahagn Aslanyan , Sebastian Eterović , Jonathan Kirby

Given a finite set $E$ and an operator $\sigma:2^{E}\longrightarrow2^{E}$, two sets $X,Y\subseteq E$ are \textit{cospanning} if $\sigma\left( X\right) =\sigma\left( Y\right) $. Corresponding \textit{cospanning equivalence relations} were…

Combinatorics · Mathematics 2021-07-20 Kempner Yulia , Vadim E. Levit

Given a graded poset $P$, consider a chain decomposition $\mathcal{C}$ of $P$. If $|C_1|\le |C_2|$ implies that the set of the ranks of elements in $C_1$ is a subset of the ranks of elements in $C_2$ for any chains $C_1,C_2\in \mathcal{C}$,…

Combinatorics · Mathematics 2017-09-07 Yu-Lun Chang , Wei-Tian Li

Let $k$ be a number field, $\Omega$ be a finite symmetric subset of $\mathbb{GL}_{n_0}(k)$, and $\Gamma=\langle \Omega\rangle$. Let \[ C(\Gamma):=\{\mathfrak{p}\in V_f(k)|\hspace{1mm} \Gamma \text{is a bounded subgroup of}…

Group Theory · Mathematics 2018-02-13 Alireza Salehi Golsefidy

Let M be a matroid representable over a (partial) field P and B a matrix representable over a sub-partial field P' of P. We say that B confines M to P' if, whenever a P-representation matrix A of M has a submatrix B, A is a scaled…

Combinatorics · Mathematics 2011-01-14 R. A. Pendavingh , S. H. M. van Zwam

Motivated by recent work in Dynamical Sampling, we prove a necessary and sufficient condition for a frame in a separable and infinite-dimensional Hilbert space to admit the form $\{T^{n} \varphi \}_{n \geq 0}$ with $T \in B(H)$. Also, a…

Functional Analysis · Mathematics 2024-07-03 Victor Bailey