English
Related papers

Related papers: Splitting for integer tilings

200 papers

We use twisted sheaves and their moduli spaces to study the Brauer group of a scheme. In particular, we (1) show how twisted methods can be efficiently used to re-prove the basic facts about the Brauer group and cohomological Brauer group…

Algebraic Geometry · Mathematics 2018-06-18 Max Lieblich

Splitting methods for the numerical integration of differential equations of order greater than two involve necessarily negative coefficients. This order barrier can be overcome by considering complex coefficients with positive real part.…

Numerical Analysis · Mathematics 2015-04-10 Sergio Blanes , Fernando Casas , Ander Murua

We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an interpolation-based technique for refining heap-shape invariants…

Logic in Computer Science · Computer Science 2015-01-20 Aws Albarghouthi , Josh Berdine , Byron Cook , Zachary Kincaid

Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A…

Dynamical Systems · Mathematics 2023-02-28 Jan Grebík , Rachel Greenfeld , Václav Rozhoň , Terence Tao

In this paper we introduce two new ways to split ramification of Brauer classes on surfaces using stacks. Each splitting method gives rise to a new moduli space of twisted stacky vector bundles. By studying the structure of these spaces we…

Number Theory · Mathematics 2018-06-18 Max Lieblich

In this paper, using the well-known Karlsson-Minton formula, we mainly establish two divisibility results concerning truncated hypergeometric series. Let $n>2$ and $q>0$ be integers with $2\mid n$ or $2\nmid q$. We show that…

Number Theory · Mathematics 2020-02-25 Chen Wang , Wei Xia

We show that any primitive substitution tiling of the plane creates a separated net which is biLipschitz to the integer lattice. Then we show that if H is a primitive Pisot substitution in an Euclidean space, for every separated net Y, that…

Metric Geometry · Mathematics 2009-01-18 Yaar Solomon

Motivated by theoretically and experimentally observed structural phases with octagonal symmetry, we introduce a family of octagonal tilings which are composed of three prototiles. We define our tilings with respect to two non-negative…

Soft Condensed Matter · Physics 2025-02-07 April Lynne D. Say-awen , Sam Coates

We introduce a variant of the large sieve and give an example of its use in a sieving problem. Take the interval [N] = {1,...,N} and, for each odd prime p <= N^{1/2}, remove or ``sieve out'' by all n whose reduction mod p lies in some…

Number Theory · Mathematics 2008-08-01 Ben Green

We know that tilesets that can tile the plane always admit a quasi-periodic tiling [4, 8], yet they hold many uncomputable properties [3, 11, 21, 25]. The quasi-periodicity function is one way to measure the regularity of a quasi-periodic…

Cellular Automata and Lattice Gases · Physics 2010-12-07 Alexis Ballier , Emmanuel Jeandel

This note relies heavily on arXiv:1404.6509 and arXiv:1410.7693. Both articles discuss domino tilings of three-dimensional regions, and both are concerned with flips, the local move performed by removing two parallel dominoes and placing…

Combinatorics · Mathematics 2014-11-10 Pedro H. Milet , Nicolau C. Saldanha

Associate a unique numerical sequence called the modular signature with each positive integer, using modular residues of each integer under the prime numbers, and distinguishing between the core seed primes and non-core seed primes used to…

General Mathematics · Mathematics 2019-07-30 T. J. Hoskins

Miller's 1937 splitting theorem was proved for pairs of cardinals $(\n,\rho)$ in which $n$ is finite and $\rho$ is infinite. An extension of Miller's theorem is proved here in ZFC for pairs of cardinals $(\nu,\rho)$ in which $\nu$ is…

Combinatorics · Mathematics 2013-05-17 Menachem Kojman

We introduce a method for constructing collections of subsets of $\mathbb{R}^{n}$, using an iterated function system, a set $T,$ and a cost function. We refer to these collections as tilings. The special case where $T$ is the central open…

Dynamical Systems · Mathematics 2021-11-16 Louisa Barnsley , Michael Barnsley

We compute the equivariant homology and cohomology of projective spaces with integer coefficients. More precisely, in the case of cyclic groups, we show that the cellular filtration of the projective space $P(k\rho )$, of lines inside…

Algebraic Topology · Mathematics 2025-09-24 Samik Basu , Pinka Dey , Aparajita Karmakar

An $SL_2$-tiling is a bi-infinite matrix of positive integers such that each adjacent 2 by 2 submatrix has determinant 1. Such tilings are infinite analogues of Conway-Coxeter friezes, and they have strong links to cluster algebras,…

Combinatorics · Mathematics 2018-12-14 Christine Bessenrodt , Thorsten Holm , Peter Jorgensen

We present and prove closed form expressions for some families of binomial determinants with signed Kronecker deltas that are located along an arbitrary diagonal in the corresponding matrix. They count cyclically symmetric rhombus tilings…

Combinatorics · Mathematics 2021-09-22 Hao Du , Christoph Koutschan , Thotsaporn Thanatipanonda , Elaine Wong

We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with some variety-specific constructions, yields each of our…

Logic · Mathematics 2025-09-16 Brian A. Davey , Tomasz Kowalski , Christopher J. Taylor

The idea of generating prime numbers through sequence of sets of co-primes was the starting point of this paper that ends up by proving two conjectures, the existence of infinitely many twin primes and the Goldbach conjecture. The main idea…

General Mathematics · Mathematics 2016-09-19 Samir Brahim Belhaouari

An $n$-dimensional cross comprises $2n+1$ unit cubes: the center cube and reflections in all its faces. It is well known that there is a tiling of $R^{n}$ by crosses for all $n.$ AlBdaiwi and the first author proved that if $2n+1$ is not a…

Information Theory · Computer Science 2014-09-17 Peter Horak , Viliam Hromada