English
Related papers

Related papers: Constructing/analyzing differential distributed la…

200 papers

We discuss factorization of the hypergeometric-type difference equations on the uniform lattices and show how one can construct a dynamical algebra, which corresponds to each of these equations. Some examples are exhibited, in particular,…

Classical Analysis and ODEs · Mathematics 2010-03-26 R. Álvarez-Nodarse , N. M. Atakishiyev , R. S. Costas-Santos

We prove the following result: Let K be a lattice, let D be a distributive lattice with zero, and let $\phi$: Con K $\to$ D be a {∨, 0}-homomorphism, where Conc K denotes the {∨, 0}-semilattice of all finitely generated…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung

In this paper we consider a general way of constructing profinite struc- tures based on a given framework - a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family…

Formal Languages and Automata Theory · Computer Science 2011-11-03 Michał Skrzypczak

This is the first paper in a series on intrinsic Donaldson-Thomas theory, where we develop a new framework for enumerative geometry that allows the generalization of constructions and results from linear moduli stacks to general non-linear…

Algebraic Geometry · Mathematics 2025-09-12 Chenjing Bu , Daniel Halpern-Leistner , Andrés Ibáñez Núñez , Tasuki Kinjo

Finite smooth digraphs, that is, finite directed graphs without sources and sinks, can be partially ordered via pp-constructability. We give a complete description of this poset and, in particular, we prove that it is a distributive…

Rings and Algebras · Mathematics 2021-12-23 Manuel Bodirsky , Florian Starke , Albert Vucaj

We characterize the finite distributive lattices on which there exists a unique compatible algebra with straightening laws.

Commutative Algebra · Mathematics 2019-06-04 Daniel Banaru , Viviana Ene

Distance weighted discrimination (DWD) is a linear discrimination method that is particularly well-suited for classification tasks with high-dimensional data. The DWD coefficients minimize an intuitive objective function, which can solved…

Methodology · Statistics 2020-10-08 Eric F. Lock

We describe algorithms which address two classical problems in lattice geometry: the lattice covering and the simultaneous lattice packing-covering problem. Theoretically our algorithms solve the two problems in any fixed dimension d in the…

Metric Geometry · Mathematics 2007-05-23 Achill Schuermann , Frank Vallentin

In this paper we refine a weighted partition identity of Alladi. We write explicit formulas of generating functions for the number of partitions grouped with respect to a partition statistic other than the norm. We tie our weighted results…

Combinatorics · Mathematics 2016-04-01 Ali Kemal Uncu

Several more and more efficient component--by--component (CBC) constructions for suitable rank-1 lattices were developed during the last decades. On the one hand, there exist constructions that are based on minimizing some error functional.…

Numerical Analysis · Mathematics 2020-12-29 Lutz Kämmerer

A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a…

Combinatorics · Mathematics 2015-03-09 Heping Zhang , Dewu Yang , Haiyuan Yao

It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…

Logic · Mathematics 2025-07-15 Luca Carai , Tommaso Moraschini

For a presentation $\mathcal{A}$ of a transversal matroid $M$, we study the set $T_{\mathcal{A}}$ of single-element transversal extensions of $M$ that have presentations that extend $\mathcal{A}$; we order these extensions by the weak…

Combinatorics · Mathematics 2024-08-07 Joseph E. Bonin

We investigate models of (1+d)-D Lorentzian semi-random lattices with one random (space-like) direction and d regular (time-like) ones. We prove a general inversion formula expressing the partition function of these models as the inverse of…

Statistical Mechanics · Physics 2008-11-26 Philippe Di Francesco , Emmanuel Guitter

The problem of constructing lattices such that their quantization noise approaches a desired distribution is studied. It is shown that asymptotically is the dimension, lattice quantization noise can approach a broad family of distribution…

Information Theory · Computer Science 2019-06-06 Tal Gariby , Uri Erez

In this paper, using compute-and-forward as an example, we provide an overview of constructions of lattices from codes that possess the right algebraic structures for harnessing interference. This includes Construction A, Construction D,…

Information Theory · Computer Science 2014-06-19 Yu-Chih Huang , Krishna R. Narayanan

Euclidean distance matrices corresponding to an arithmetic progression have rich spectral and structural properties. We exploit those properties to develop completely positive factorizations of translations of those matrices. We show that…

Spectral Theory · Mathematics 2023-08-09 Damjana Kokol Bukovšek , Thomas Laffey , Helena Šmigoc

This paper presents the generalization of weighted distances to modules and their computation through the chamfer algorithm on general point lattices. The first part is dedicated to formalization of definitions and properties (distance,…

Discrete Mathematics · Computer Science 2008-08-06 Céline Fouard , Robin Strand , Gunilla Borgefors

Coincidence site lattices of oblique planar lattices are algebraically characterized using as basic tool the Cartan-Dieudonn\'e theorem, that is, the decomposition of an orthogonal transformation as a product of reflections. The case of…

We present a novel algorithm for calculating fix-points. The algorithm calculates fix-points of an endo-function f on a distributive lattice, by performing reachability computation a graph derived from the dual of f; this is in comparison…

Data Structures and Algorithms · Computer Science 2007-05-23 Prahladavaradan Sampath