278 results on '"Free lattice"'
Search Results
2. The Fell Compactification of a Poset
- Author
-
Bezhanishvili, G., Harding, J., Kacprzyk, Janusz, Series Editor, and Kreinovich, Vladik, editor
- Published
- 2021
- Full Text
- View/download PDF
3. On the Embedding of the Free Lattice of Rank 3 in the Lattice Freely Generated by Three Distributive Type Elements.
- Author
-
Gein, A. G. and Shushpanov, M. P.
- Abstract
We prove the lattice freely generated by three distributive elements and the lattice freely generated by two distributive elements and one dually distributive element contain the free lattice of rank 3 as sublattice. We describe the lattice freely generated by two distributive elements and one both distributive and dually distributive element. It is infinite, but does not contain the free lattice of rank 3 as a sublattice. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
4. Sufficient conditions for the finiteness of the 3-generated lattice with modular and distributive type elements among generators.
- Author
-
Gein, Alexander G. and Shushpanov, Mikhail P.
- Abstract
We investigate the finiteness and the infiniteness of the free 3-generated lattice with modular and distributive type elements among generators. For all triples of generators with modular and distributive type elements, it is discovered whether the lattice generated by such triple is finite or infinite. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
5. Bounded homomorphisms and finitely generated fiber products of lattices.
- Author
-
DeMeo, William, Mayr, Peter, and Ruškuc, Nik
- Subjects
- *
FIBERS , *HOMOMORPHISMS , *ALGORITHMS - Abstract
We investigate when fiber products of lattices are finitely generated and obtain a new characterization of bounded lattice homomorphisms onto lattices satisfying a property we call Dean's condition (D) which arises from Dean's solution to the word problem for finitely presented lattices. In particular, all finitely presented lattices and those satisfying Whitman's condition satisfy (D). For lattice epimorphisms g : A → D , h : B → D , where A , B are finitely generated and D satisfies (D), we show the following: If g and h are bounded, then their fiber product (pullback) C = { (a , b) ∈ A × B | g (a) = h (b) } is finitely generated. While the converse is not true in general, it does hold when A and B are free. As a consequence, we obtain an (exponential time) algorithm to decide boundedness for finitely presented lattices and their finitely generated sublattices satisfying (D). This generalizes an unpublished result of Freese and Nation. [ABSTRACT FROM AUTHOR]
- Published
- 2020
- Full Text
- View/download PDF
6. The free Banach lattices generated by ℓp and c0.
- Author
-
Avilés, Antonio, Tradacete, Pedro, and Villanueva, Ignacio
- Abstract
We prove that, when 2 < p < ∞ , in the free Banach lattice generated by ℓ p (respectively by c 0 ), the absolute values of the canonical basis form an ℓ r -sequence, where 1 r = 1 2 + 1 p (respectively an ℓ 2 -sequence). In particular, in any Banach lattice, the absolute values of any ℓ p sequence always have an upper ℓ r -estimate. Quite surprisingly, this implies that the free Banach lattices generated by the nonseparable ℓ p (Γ) for 2 < p < ∞ , as well as c 0 (Γ) , are weakly compactly generated whereas this is not the case for 1 ≤ p ≤ 2 . [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
7. Symmetric embeddings of free lattices into each other.
- Author
-
Czédli, Gábor, Gyenizse, Gergő, and Kunos, Ádám
- Published
- 2019
- Full Text
- View/download PDF
8. Transmission Characteristics Control of 120 GHz-Band Bandstop Filter by Coupling Alignment-Free Lattice Pattern
- Author
-
Yuta Uemura, Takashi Tomura, Jiro Hirokawa, Koichiro Itakura, Norihiko Sekine, Akifumi Kasamatsu, Issei Watanabe, Taiki Higashimoto, Akihiko Hirata, and Tadao Nagatsuma
- Subjects
Coupling ,Materials science ,Transmission (telecommunications) ,Terahertz radiation ,business.industry ,Filter (video) ,Optoelectronics ,Free lattice ,Electrical and Electronic Engineering ,Band-stop filter ,business ,Electronic, Optical and Magnetic Materials - Published
- 2021
9. Free 3-Generated Lattices with Two Semi-Normal Generators.
- Author
-
Gein, A. G. and Shushpanov, M. P.
- Abstract
We consider a lattice generated by three elements, two of which are semi-normal. We have proved it is infinite and have also found an additional condition for the lattice to be modular. As a result, it is proved that the sublattice generated in the subgroup lattice by two normal subgroups and any subgroup is modular. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
10. The free Banach lattice generated by a Banach space.
- Author
-
Avilés, Antonio, Rodríguez, José, and Tradacete, Pedro
- Subjects
- *
BANACH lattices , *BANACH spaces , *HOMOMORPHISMS , *VECTOR spaces , *LATTICE theory - Abstract
The free Banach lattice over a Banach space is introduced and analyzed. This generalizes the concept of free Banach lattice over a set of generators, and allows us to study the Nakano property and the density character of non-degenerate intervals on these spaces, answering some recent questions of B. de Pagter and A.W. Wickstead. Moreover, an example of a Banach lattice which is weakly compactly generated as a lattice but not as a Banach space is exhibited, thus answering a question of J. Diestel. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
11. On 3-generated lattices with a completely modular element among generators.
- Author
-
Shushpanov, Mikhail
- Subjects
- *
LATTICE theory , *GENERATORS of groups , *MODULAR arithmetic , *SET theory , *RELATION algebras - Abstract
We consider a lattice generated by three elements, one of which is completely modular. The free lattice with this property is proved to be finite. It is not modular and contains exactly 39 elements. We have also found a finite set of defining relations for the generating elements of this lattice. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
12. Lattices with Defining Relations Close to Distributivity.
- Author
-
Gein, A. and Shushpanov, M.
- Subjects
- *
LATTICE theory , *DISTRIBUTION (Probability theory) , *GENERATORS of groups , *SET theory , *ISOMORPHISM (Mathematics) - Abstract
We consider the 3-generated lattices whose generators enjoy the defining relations of the type a∨( b∧ c) = ( a∨ b)∧( a∨ c). Moreover, if the lattice is finite then we obtain its diagram; otherwise, we prove that the corresponding lattice is infinite. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
13. Lattices with unique complementation.
- Author
-
CHAJDA, IVAN and PADMANABHAN, R.
- Subjects
- *
DISTRIBUTIVE lattices - Abstract
We present two identities in two variables under which every lattice admitting a unary operation becomes a uniquely complemented distributive lattice. We show that the distributive law can be easily syntactically derived from these two identities. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
14. Sasaki projections.
- Author
-
Gabriëls, Jeannine, Gagola, Stephen, and Navara, Mirko
- Subjects
- *
ORTHOMODULAR lattices , *SASAKIAN manifolds , *MATHEMATICAL simplification , *MATHEMATICAL formulas , *MATHEMATICAL analysis - Abstract
We collect, correct, and extend results on the properties of the Sasaki projection in orthomodular lattices. We bring arguments as to why this operation can extend tools for simplification of formulas and automated computing. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
15. Self-Consistent Diffraction Stress Analysis Method for Estimating Stress, Strain-Free Lattice Parameter and Composition of Solid Solutions
- Author
-
Takashi Harumoto, Yoshio Nakamura, and Ji Shi
- Subjects
Diffraction ,Materials science ,Mechanical Engineering ,Stress–strain curve ,Thermodynamics ,Composition (combinatorics) ,Self consistent ,Condensed Matter Physics ,Stress (mechanics) ,Mechanics of Materials ,General Materials Science ,Free lattice ,Analysis method ,Solid solution - Published
- 2020
16. On the Embedding of the Free Lattice of Rank 3 in the Lattice Freely Generated by Three Distributive Type Elements
- Author
-
A. G. Gein and M. P. Shushpanov
- Subjects
Pure mathematics ,Algebra and Number Theory ,Rank (linear algebra) ,High Energy Physics::Lattice ,010102 general mathematics ,0102 computer and information sciences ,Type (model theory) ,01 natural sciences ,Lattice (module) ,Computational Theory and Mathematics ,Distributive property ,010201 computation theory & mathematics ,Embedding ,Geometry and Topology ,Free lattice ,0101 mathematics ,Algebra over a field ,Element (category theory) ,Mathematics - Abstract
We prove the lattice freely generated by three distributive elements and the lattice freely generated by two distributive elements and one dually distributive element contain the free lattice of rank 3 as sublattice. We describe the lattice freely generated by two distributive elements and one both distributive and dually distributive element. It is infinite, but does not contain the free lattice of rank 3 as a sublattice.
- Published
- 2020
17. Free Lattices, Communication and Money Games
- Author
-
Joyal, A., Hintikka, Jaakko, editor, van Dalen, Dirk, editor, Davidson, Donald, editor, Kuipers, Theo A. F., editor, Suppes, Patrick, editor, Woleński, Jan, editor, Dalla Chiara, Maria Luisa, editor, Doets, Kees, editor, Mundici, Daniele, editor, and van Benthem, Johan, editor
- Published
- 1997
- Full Text
- View/download PDF
18. Locally Free Finite Rank Butler Groups and Near Isomorphism
- Author
-
Arnold, D., Dugas, M., Hazewinkel, M., editor, Facchini, Alberto, editor, and Menini, Claudia, editor
- Published
- 1995
- Full Text
- View/download PDF
19. Scaling Limits of Lattice Quantum Fields by Wavelets
- Author
-
Vincenzo Morinelli, Gerardo Morsella, Yoh Tanimoto, and Alexander Stottmeister
- Subjects
Field (physics) ,Lieb-Robinson bounds ,High Energy Physics::Lattice ,FOS: Physical sciences ,formulation ,01 natural sciences ,Article ,Renormalization ,Theoretical physics ,0103 physical sciences ,FOS: Mathematics ,ddc:530 ,0101 mathematics ,Quantum field theory ,ddc:510 ,Operator Algebras (math.OA) ,010306 general physics ,Scaling ,Mathematical Physics ,Physics ,Quantum Physics ,density ,010102 general mathematics ,Mathematics - Operator Algebras ,Scalar (physics) ,Statistical and Nonlinear Physics ,Mathematical Physics (math-ph) ,Renormalization group ,Dewey Decimal Classification::500 | Naturwissenschaften::510 | Mathematik ,algebras ,Lattice (module) ,Settore MAT/07 ,81T17, 81T05, 81T25, 81T27, 42C40 ,Settore MAT/05 ,renormalization-group ,Dewey Decimal Classification::500 | Naturwissenschaften::530 | Physik ,Free lattice ,Quantum Physics (quant-ph) - Abstract
We present a rigorous renormalization group scheme for lattice quantum field theories in terms of operator algebras. The renormalization group is considered as an inductive system of scaling maps between lattice field algebras. We construct scaling maps for scalar lattice fields using Daubechies' wavelets, and show that the inductive limit of free lattice ground states exists and the limit state extends to the familiar massive continuum free field, with the continuum action of spacetime translations. In particular, lattice fields are identified with the continuum field smeared with Daubechies' scaling functions. We compare our scaling maps with other renormalization schemes and their features, such as the momentum shell method or block-spin transformations., Comment: 66 pages, 4 figure (accepted version)
- Published
- 2021
20. The free Banach lattices generated by ℓpc0 and ℓpc0
- Author
-
Avilés, Antonio, Tradacete, Pedro, and Villanueva, Ignacio
- Published
- 2019
- Full Text
- View/download PDF
21. A selfdual embedding of the free lattice over countably many generators into the three-generated one.
- Author
-
Czédli, G.
- Subjects
- *
EMBEDDINGS (Mathematics) , *LATTICE theory , *AUTOMORPHISM groups , *SET theory , *MATHEMATICAL analysis - Abstract
By a 1941 result of Whitman, the free lattice FL(3) = FL( x, y, z) includes a sublattice FL( ω) freely generated by infinitely many elements. Let δ denote the unique dual automorphism of FL( x, y, z) that acts identically on the set { x, y, z} of generators. We prove that FL( x, y, z) has a sublattice S isomorphic to FL( ω) such that δ( S) = S. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
22. Free 3-Generated Lattices with Standard Element Among Generators
- Author
-
Gein, A. G. and Shushpanov, M. P.
- Published
- 2019
- Full Text
- View/download PDF
23. General results
- Author
-
Jipsen, Peter, Rose, Henry, Jipsen, Peter, and Rose, Henry
- Published
- 1992
- Full Text
- View/download PDF
24. The free Banach lattices generated by $$\ell _p$$ ℓ p and $$c_0$$ c 0
- Author
-
Ignacio Villanueva, Antonio Avilés, and Pedro Tradacete
- Subjects
010101 applied mathematics ,Combinatorics ,General Mathematics ,Banach lattice ,010102 general mathematics ,Free lattice ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
First author was supported by Projects MTM2014-54182-P and MTM2017-86182-P (MINECO, AEI/FEDER, UE) and by 19275/PI/14 (Fundacion Seneca). Second author gratefully acknowledges support of Spanish Ministerio de Economia, Industria y Competitividad through Grants MTM2016-76808-P, MTM2016-75196-P, and the “Severo Ochoa Programme for Centres of Excellence in R&D” (SEV-2015-0554). Third author was supported by MINECO MTM2017-88385-P.
- Published
- 2018
25. Weaker forms of associativity in orthomodular lattices.
- Author
-
Gagola, Stephen, Gabriëls, Jeannine, and Navara, Mirko
- Subjects
- *
ASSOCIATIVE law (Mathematics) , *BOOLEAN algebra , *ORTHOMODULAR lattices , *MATHEMATICAL simplification , *MATHEMATICAL formulas , *ALTERNATIVE algebras - Abstract
Computations in orthomodular lattices are rather difficult because there is no known analogue of the standard disjunctive or conjunctive forms from boolean algebras. Tools admitting simplifications of formulas are rather limited. In previous work, we investigated the possibility of finding associative operations in orthomodular lattices that would admit new techniques of theorem proving. It was found that there are only 6 operations in orthomodular lattices which are (already known to be) associative. In this paper, we replaced associativity by more general properties, in particular by the identities that hold in alternative algebras. We have found that there are 8 nonassociative operations in orthomodular lattices satisfying the identities of alternative algebras. For these operations, we clarified the validity of other similar identities, including the Moufang identities. We hope that this effort can contribute to clarifying to what extent the validity of identities in orthomodular lattices can be algorithmized. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
26. Thresholding of a Digital Image by Free Terms.
- Author
-
Pavlík, Jan
- Abstract
The method of fuzzy segmentation of a digital image is generalized to the framework of L-fuzzy sets. Such an approach enables the use of various user-defined criteria for comparison of pairs of objects. These criteria are merged into a single mapping whose codomain is a poset. Then a free lattice structures are introduced and the procedure of L-fuzzy equivalence generation follows. The obtained L-fuzzy partition is then transformed into the resulting sets using the process of thresholding by terms from the free lattice. Discussion on applicability and computability of the results is presented and some examples are shown. Possible ways of improvements are suggested. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF
27. Remarks about the Q-lattice of the variety of lattices
- Author
-
M. E. Adams and Wieslaw Dziobiak
- Subjects
Modular lattice ,Algebra and Number Theory ,Quasivariety ,High Energy Physics::Lattice ,010102 general mathematics ,0102 computer and information sciences ,01 natural sciences ,Omega ,Combinatorics ,010201 computation theory & mathematics ,Lattice (order) ,Free lattice ,0101 mathematics ,Algebra over a field ,Variety (universal algebra) ,Mathematics - Abstract
Let L denote the Q-lattice of the variety $${\mathcal {V}}$$ of lattices, i.e. the lattice of quasivarieties that are contained in $${\mathcal {V}}$$ . Let F denote the free lattice in $${\mathcal {V}}$$ with $$\omega $$ free generators and let Q(F) denote the quasivariety of lattices generated by F. Let Fin denote the collection of finite lattices which belong to Q(F) and let Q(Fin) denote the quasivariety generated by Fin. Moreover, let $${\mathcal {M}}^{-}_{3}$$ denote the quasivariety of lattices which do not contain an isomorphic copy of $$M_3$$ (the 5-element non-distributive modular lattice) as a sublattice and let $${\mathcal {S}}$$ denote a selector of non-isomorphic finite quasicritical lattices which belong to Q(Fin). In this paper, we establish the following
- Published
- 2021
28. Error-Free Lattice-Based Key Encapsulation Mechanism Based on Ring-LWE
- Author
-
Theo Fanuela Prabowo and Chik How Tan
- Subjects
Public-key cryptography ,Lattice (module) ,Ring (mathematics) ,business.industry ,Computer science ,NIST ,Free lattice ,Key encapsulation ,Encryption ,business ,Cyclotomic polynomial ,Algorithm ,Computer Science::Cryptography and Security - Abstract
As most of the published lattice based encryptions and key encapsulation mechanisms have decryption failure, they are subjected to side-channel attacks. In this paper, we construct an error-free lattice-based key encapsulation mechanism (KEM) which is based on LPR encryption. We also examine some new classes of cyclotomic polynomials for the new error-free lattice-based KEM. The proposed error-free KEM has a reasonable public key size of about 1.472 Kbytes for 128-bit quantum security level. This is comparable to those submitted to the NIST PQC standardization.
- Published
- 2021
29. Searching via Nonlinear Quantum Walk on the 2D-Grid
- Author
-
Giuseppe Di Molfetta, Basile Herzog, Laboratoire d'Informatique et Systèmes (LIS), and Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
FOS: Computer and information sciences ,lcsh:T55.4-60.8 ,Existential quantification ,FOS: Physical sciences ,01 natural sciences ,lcsh:QA75.5-76.95 ,010305 fluids & plasmas ,Theoretical Computer Science ,symbols.namesake ,[PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph] ,Amplitude amplification ,spatial searching ,Search algorithm ,Computer Science - Data Structures and Algorithms ,0103 physical sciences ,Applied mathematics ,lcsh:Industrial engineering. Management engineering ,Data Structures and Algorithms (cs.DS) ,Quantum walk ,010306 general physics ,Mathematics ,Quantum Physics ,Numerical Analysis ,Grid ,Computational Mathematics ,Nonlinear system ,Computational Theory and Mathematics ,symbols ,Free lattice ,lcsh:Electronic computers. Computer science ,Quantum Physics (quant-ph) ,Hamiltonian (quantum mechanics) ,nonlinear quantum walk - Abstract
We provide numerical evidence that the nonlinear searching algorithm introduced by Wong and Meyer, rephrased in terms of quantum walks with effective nonlinear phase, can be extended to the finite 2-dimensional grid, keeping the same computational advantage with respect to the classical algorithms. For this purpose, we have considered the free lattice Hamiltonian, with linear dispersion relation introduced by Childs and Ge The numerical simulations showed that the walker finds the marked vertex in O(N1/4log3/4N) steps, with probability O(1/logN), for an overall complexity of O(N1/4log5/4N), using amplitude amplification. We also proved that there exists an optimal choice of the walker parameters to avoid the time measurement precision affecting the complexity searching time of the algorithm.
- Published
- 2020
30. 格子フェルミオンにおけるカシミール効果
- Author
-
Kei Suzuki, Tsutomu Ishikawa, and Katsumasa Nakayama
- Subjects
High Energy Physics - Theory ,Nuclear and High Energy Physics ,fermion: Wilson ,Wilson [fermion] ,High Energy Physics::Lattice ,One-dimensional space ,FOS: Physical sciences ,01 natural sciences ,High Energy Physics - Lattice ,Casimir [energy] ,effect: Casimir ,Lattice (order) ,Mesoscale and Nanoscale Physics (cond-mat.mes-hall) ,0103 physical sciences ,ddc:530 ,domain wall [fermion] ,Boundary value problem ,010306 general physics ,dimension: 2 ,Mathematical physics ,lattice ,Physics ,Condensed Matter::Quantum Gases ,energy: Casimir ,Condensed Matter - Mesoscale and Nanoscale Physics ,Spacetime ,condensed matter ,010308 nuclear & particles physics ,High Energy Physics - Lattice (hep-lat) ,Fermion ,Casimir [effect] ,boundary condition ,lcsh:QC1-999 ,Casimir effect ,Massless particle ,High Energy Physics - Theory (hep-th) ,2 [dimension] ,fermion: domain wall ,Free lattice ,lcsh:Physics - Abstract
Physics letters / B 809, 135713 (2020). doi:10.1016/j.physletb.2020.135713, We propose a definition of the Casimir energy for free lattice fermions. From this definition, we study the Casimir effects for the massless or massive naive fermion, Wilson fermion, and (Möbius) domain-wall fermion in 1+1 dimensional spacetime with the spatial periodic or antiperiodic boundary condition. For the naive fermion, we find an oscillatory behavior of the Casimir energy, which is caused by the difference between odd and even lattice sizes. For the Wilson fermion, in the small lattice size of N≥3 , the Casimir energy agrees very well with that of the continuum theory, which suggests that we can control the discretization artifacts for the Casimir effect measured in lattice simulations. We also investigate the dependence on the parameters tunable in Möbius domain-wall fermions. Our findings will be observed both in condensed matter systems and in lattice simulations with a small size., Published by North-Holland Publ., Amsterdam
- Published
- 2020
31. Lattices do not distribute over powerset
- Author
-
Julián Salamanca Téllez
- Subjects
Pure mathematics ,Algebra and Number Theory ,Distributive property ,Monad (non-standard analysis) ,High Energy Physics::Lattice ,Computer Science::Logic in Computer Science ,Mathematics::Category Theory ,Bounded function ,Computer Science::Mathematical Software ,Free lattice ,Computer Science::Formal Languages and Automata Theory ,Mathematics - Abstract
We show that there is no distributive law of the free lattice monad over the powerset monad. The proof presented here also works for other classes of lattices such as (bounded) distributive/modular lattices and also for some variants of the powerset monad such as the (nonempty) finite powerset monad.
- Published
- 2020
32. Generalizing Galvin and Jónsson’s classification to $$N_5$$
- Author
-
Brian Tianyao Chan
- Subjects
Combinatorics ,Pentagon ,Algebra and Number Theory ,Distributive property ,High Energy Physics::Lattice ,Lattice (order) ,Lattice homomorphism ,Free lattice ,Mathematics - Abstract
The problem of determining (up to lattice isomorphism) the lattices that are sublattices of free lattices is in general an extremely difficult and an unsolved problem. A notable result towards solving this problem was established by Galvin and Jonsson when they classified (up to lattice isomorphism) all of the distributive sublattices of free lattices in 1959. In this paper, we weaken the requirement that a sublattice of a free lattice be distributive to requiring that a such a lattice belongs in the variety of lattices generated by the pentagon $$N_5$$ . Specifically, we use McKenzie’s list of join-irreducible covers of the variety generated by $$N_5$$ to extend Galvin and Jonsson’s results by proving that all sublattices of a free lattice that belong to the variety generated by $$N_5$$ satisfy three structural properties. Afterwards, we explain how the results in this paper can be partially extended to lattices from seven known infinite sequences of semidistributive lattice varieties.
- Published
- 2020
33. The Fell Compactification of a Poset
- Author
-
Guram Bezhanishvili and John Harding
- Subjects
Combinatorics ,geography ,geography.geographical_feature_category ,Closed set ,Fell ,Mathematics::General Topology ,Distributive lattice ,Compactification (mathematics) ,Locally compact space ,Free lattice ,Priestley space ,Partially ordered set ,Mathematics - Abstract
A poset P forms a locally compact \(T_0\)-space in its Alexandroff topology. We consider the hit-or-miss topology on the closed sets of P and the associated Fell compactification of P. We show that the closed sets of P with the hit-or-miss topology is the Priestley space of the bounded distributive lattice freely generated by the order dual of P. The Fell compactification of H(P) is shown to be the Priestley space of a sublattice of the upsets of P consisting of what we call Fell upsets. These are upsets that are finite unions of those obtained as upper bounds of finite subsets of P. The restriction of the hit topology to H(P) is a stable compactification of P. When P is a chain, we show that this is the least stable compactification of P.
- Published
- 2020
34. Support-Free Lattice Structures for Extrusion-Based Additive Manufacturing Processes via Mixed-Integer Programming
- Author
-
Michael Hartisch, Christian Reintjes, and Ulf Lorenz
- Subjects
Fabrication ,Materials science ,Process (computing) ,Mechanical engineering ,Extrusion ,Crystal structure ,Free lattice ,Integer programming ,Energy (signal processing) - Abstract
Additive Manufacturing (AM) has become more relevant to industry in recent years and enables fabrication of complex lightweight lattice structures. Nevertheless, material extrusion processes require internal and/or external support structures for the printing process. These support structures generate costs due to additional material, printing time and energy.
- Published
- 2020
35. Wake Word Detection with Alignment-Free Lattice-Free MMI
- Author
-
Hang Lv, Lei Xie, Sanjeev Khudanpur, Yiming Wang, and Daniel Povey
- Subjects
FOS: Computer and information sciences ,Sound (cs.SD) ,Computer Science - Computation and Language ,Computer science ,Speech recognition ,Wake ,Computer Science - Sound ,Data set ,Reduction (complexity) ,Audio and Speech Processing (eess.AS) ,FOS: Electrical engineering, electronic engineering, information engineering ,False alarm ,Free lattice ,Hidden Markov model ,Computation and Language (cs.CL) ,Word (computer architecture) ,Electrical Engineering and Systems Science - Audio and Speech Processing ,Spoken language - Abstract
Always-on spoken language interfaces, e.g. personal digital assistants, rely on a wake word to start processing spoken input. We present novel methods to train a hybrid DNN/HMM wake word detection system from partially labeled training data, and to use it in on-line applications: (i) we remove the prerequisite of frame-level alignments in the LF-MMI training algorithm, permitting the use of un-transcribed training examples that are annotated only for the presence/absence of the wake word; (ii) we show that the classical keyword/filler model must be supplemented with an explicit non-speech (silence) model for good performance; (iii) we present an FST-based decoder to perform online detection. We evaluate our methods on two real data sets, showing 50%--90% reduction in false rejection rates at pre-specified false alarm rates over the best previously published figures, and re-validate them on a third (large) data set., Comment: Accepted at Interspeech 2020. 5 pages, 3 figures
- Published
- 2020
- Full Text
- View/download PDF
36. Lattices, closures systems and implication bases: A survey of structural aspects and algorithms
- Author
-
Clément Guérin, Christophe Demko, Jean-François Viaud, Karell Bertet, Laboratoire Informatique, Image et Interaction - EA 2118 (L3I), Université de La Rochelle (ULR), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), and Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
General Computer Science ,High Energy Physics::Lattice ,Lattice problem ,Distributive lattice ,0102 computer and information sciences ,02 engineering and technology ,01 natural sciences ,Congruence lattice problem ,Map of lattices ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,Theoretical Computer Science ,Complemented lattice ,Algebra ,010201 computation theory & mathematics ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Lattice Miner ,Free lattice ,Algorithm ,ComputingMilieux_MISCELLANEOUS ,Lattice model (physics) ,MathematicsofComputing_DISCRETEMATHEMATICS ,Mathematics - Abstract
Concept lattices and closed set lattices are graphs with the lattice property. They have been increasingly used this last decade in various domains of computer science, such as data mining, knowledge representation, databases or information retrieval. A fundamental result of lattice theory establishes that any lattice is the concept lattice of its binary table. A consequence is the existence of a bijective link between lattices, contexts (via the table) and a set of implicational rules (via the canonical (direct) basis). The possible transformations between these objects give rise to relevant tools for data analysis. In this paper, we present a survey of lattice theory, from the algebraic definition of a lattice, to that of a concept lattice, through closure systems and implicational rules; including the exploration of fundamental bijective links between lattices, reduced contexts and bases of implicational rules; and concluding with the presentation of the main generation algorithms of these objects.
- Published
- 2018
37. The Class of Bounded Lattices Is Not Axiomatizable.
- Author
-
Schwidefsky, M.
- Subjects
- *
LATTICE theory , *MATHEMATICAL logic , *ULTRAPRODUCTS , *HOMOMORPHISMS , *INFINITY (Mathematics) - Abstract
We prove that the class of bounded (lower bounded, upper bounded) lattices is not closed under ultraproducts, thereby solving an open problem. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
38. Interpreting arithmetics in the ideal lattice of a free vector lattice ℱ n .
- Author
-
Kuryleva, O. A.
- Subjects
- *
LATTICE theory , *ARITHMETIC , *MATHEMATICS , *SET theory , *VECTOR analysis , *VECTOR spaces - Abstract
A vector space V over a real field R is a lattice under some partial order, which is referred to as a vector lattice if u + (v ∨ w) = (u + v) ∨ (u + w) and u + (v ∧ w) = (u + v) ∧ (u + w) for all u, v, w ∈ V. It is proved that a model N of positive integers with addition and multiplications is relatively elementarily interpreted in the ideal lattice $$\mathcal{L}$$ ℱ n of a free vector lattice ℱ n on a set of n generators. This, in view of the fact that an elementary theory for N is hereditarily undecidable, implies that an elementary theory for $$\mathcal{L}$$ ℱ n is also hereditarily undecidable. [ABSTRACT FROM AUTHOR]
- Published
- 2008
- Full Text
- View/download PDF
39. Interpreting arithmetics in the ideal lattice of a free vector lattice ℱ n .
- Author
-
Kuryleva, O. A.
- Subjects
LATTICE theory ,ARITHMETIC ,MATHEMATICS ,SET theory ,VECTOR analysis ,VECTOR spaces - Abstract
A vector space V over a real field R is a lattice under some partial order, which is referred to as a vector lattice if u + (v ∨ w) = (u + v) ∨ (u + w) and u + (v ∧ w) = (u + v) ∧ (u + w) for all u, v, w ∈ V. It is proved that a model N of positive integers with addition and multiplications is relatively elementarily interpreted in the ideal lattice $$\mathcal{L}$$ ℱ
n of a free vector lattice ℱn on a set of n generators. This, in view of the fact that an elementary theory for N is hereditarily undecidable, implies that an elementary theory for $$\mathcal{L}$$ ℱn is also hereditarily undecidable. [ABSTRACT FROM AUTHOR]- Published
- 2008
- Full Text
- View/download PDF
40. The Absence of the Selfaveraging Property of the Entanglement Entropy of Disordered Free Fermions in One Dimension
- Author
-
L. Pastur and V. Slavin
- Subjects
Physics ,Quantum Physics ,Independent identically distributed ,Random potential ,FOS: Physical sciences ,Statistical and Nonlinear Physics ,Mathematical Physics (math-ph) ,Quantum entanglement ,Fermion ,01 natural sciences ,010305 fluids & plasmas ,symbols.namesake ,Bounded function ,0103 physical sciences ,symbols ,Probability distribution ,Free lattice ,Quantum Physics (quant-ph) ,010306 general physics ,Mathematical Physics ,Schrödinger's cat ,Mathematical physics - Abstract
We consider the macroscopic system of free lattice fermions in one dimensions assuming that the one-body Hamiltonian of the system is the one dimensional discrete Schr\"odinger operator with independent identically distributed random potential. We show that the variance of the entanglement entropy of the segment $[-M,M]$ of the system is bounded away from zero as $% M\rightarrow \infty $. This manifests the absence of the selfaveraging property of the entanglement entropy in our model, meaning that in the one-dimensional case the complete description of the entanglement entropy is provided by its whole probability distribution. This also may be contrasted the case of dimension two or more, where the variance of the entanglement entropy per unit surface area vanishes as $M\rightarrow \infty $ \cite{El-Co:17}, thereby guaranteing the representativity of its mean for large $M$ in the multidimensional case.
- Published
- 2017
41. Lattices with Defining Relations Close to Distributivity
- Author
-
M. P. Shushpanov and A. G. Gein
- Subjects
Pure mathematics ,Distributivity ,High Energy Physics::Lattice ,General Mathematics ,Lattice (order) ,010102 general mathematics ,0103 physical sciences ,Distributive lattice ,010307 mathematical physics ,Free lattice ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
We consider the 3-generated lattices whose generators enjoy the defining relations of the type a∨(b∧c) = (a∨b)∧(a∨c). Moreover, if the lattice is finite then we obtain its diagram; otherwise, we prove that the corresponding lattice is infinite.
- Published
- 2017
42. On 3-generated lattices with a completely modular element among generators
- Author
-
M. P. Shushpanov
- Subjects
Discrete mathematics ,Pure mathematics ,Algebra and Number Theory ,High Energy Physics::Lattice ,010102 general mathematics ,Integer lattice ,0102 computer and information sciences ,01 natural sciences ,Congruence lattice problem ,Map of lattices ,Complemented lattice ,Reciprocal lattice ,010201 computation theory & mathematics ,Lattice plane ,Free lattice ,0101 mathematics ,Lattice model (physics) ,Mathematics - Abstract
We consider a lattice generated by three elements, one of which is completely modular. The free lattice with this property is proved to be finite. It is not modular and contains exactly 39 elements. We have also found a finite set of defining relations for the generating elements of this lattice.
- Published
- 2017
43. Decidability in Orthomodular Lattices.
- Author
-
Hyčko, Marek and Navara, Mirko
- Subjects
- *
ORTHOMODULAR lattices , *MODULAR lattices , *QUANTUM theory , *BASIS sets (Quantum mechanics) , *DECIDABILITY (Mathematical logic) , *COMPUTABLE functions - Abstract
We discuss the possibility of automatic simplification of formulas in orthomodular lattices. We describe the principles of a program which decides the validity of equalities and inequalities, as well as implications between them and other important relations significant in quantum mechanics. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
44. Notes on sectionally complemented lattices. II.
- Author
-
Grätzer, G. and Lakser, H.
- Subjects
- *
DISTRIBUTIVE lattices , *DISTRIBUTIVE law (Mathematics) , *LATTICE theory , *MATHEMATICS , *SET theory , *TOPOLOGY - Abstract
G. Grätzer and H. Lakser proved in 1986 that for the finite distributive lattices D and E, with |D| > 1, and for the {0, 1}-homomorphism φ of D into E, there exists a finite lattice L and an ideal I of L such that D ≡ Con L, E ≡ Con I, and φ is represented by the restriction map. In their recent survey of finite congruence lattices, G. Grätzer and E. T. Schmidt ask whether this result can be improved by requiring that L be sectionally complemented. In this note, we provide an affirmative answer. The key to the solution is to generalize the 1960 sectional complement (see Part I) from finite orders to finite preorders. [ABSTRACT FROM AUTHOR]
- Published
- 2005
- Full Text
- View/download PDF
45. On lower bounded lattices.
- Author
-
Adaricheva, K. V. and Gorbunov, V. A.
- Abstract
It is shown that the several properties defining the class of finite lower bounded lattices are not equivalent in general. We establish also a new structural property of the class of lower bounded lattices. [ABSTRACT FROM AUTHOR]
- Published
- 2001
- Full Text
- View/download PDF
46. Curious behavior of three-dimensional lattice Dirac operators coupled to a monopole background
- Author
-
Rajamani Narayanan and Nikhil Karthik
- Subjects
High Energy Physics - Theory ,Physics ,Fermion doubling ,Strongly Correlated Electrons (cond-mat.str-el) ,010308 nuclear & particles physics ,High Energy Physics::Lattice ,High Energy Physics - Lattice (hep-lat) ,Magnetic monopole ,FOS: Physical sciences ,Fermion ,Dirac spectrum ,Dirac operator ,01 natural sciences ,Condensed Matter - Strongly Correlated Electrons ,symbols.namesake ,High Energy Physics - Lattice ,Operator (computer programming) ,High Energy Physics - Theory (hep-th) ,0103 physical sciences ,symbols ,Free lattice ,Gauge theory ,010306 general physics ,Mathematical physics - Abstract
We investigate numerically the effect of regulating fermions in the presence of singular background fields in three dimensions. For this, we couple free lattice fermions to a background compact U(1) gauge field consisting of a monopole-anti-monopole pair of magnetic charge $\pm Q$ separated by a distance $s$ in a periodic $L^3$ lattice, and study the low-lying eigenvalues of different lattice Dirac operators under a continuum limit defined by taking $L\to\infty$ at fixed $s/L$. As the background gauge field is parity even, we look for a two-fold degeneracy of the Dirac spectrum that is expected of a continuum-like Dirac operator. The naive-Dirac operator exhibits such a parity-doubling, but breaks the degeneracy of the fermion-doubler modes for the $Q$ lowest eigenvalues in the continuum limit. The Wilson-Dirac operator lifts the fermion-doublers but breaks the parity-doubling in the $Q$ lowest modes even in the continuum limit. The overlap-Dirac operator shows parity-doubling of all the modes even at finite $L$ that is devoid of fermion-doubling, and singles out as a properly regulated continuum Dirac operator in the presence of singular gauge field configurations albeit with a peculiar algorithmic issue., 21 pages, 9 figures
- Published
- 2019
47. The structural properties and the spanning trees entropy of the generalized Fractal Scale-Free Lattice
- Author
-
Mohamed El Marraki, Dounia Lotfi, Joyati Debnath, and Raihana Mokhlissi
- Subjects
Control and Optimization ,Spanning tree ,Computer Networks and Communications ,Applied Mathematics ,Management Science and Operations Research ,01 natural sciences ,010305 fluids & plasmas ,Computational Mathematics ,Fractal ,0103 physical sciences ,Free lattice ,Statistical physics ,010306 general physics ,Mathematics - Abstract
Enumerating all the spanning trees of a complex network is theoretical defiance for mathematicians, electrical engineers and computer scientists. In this article, we propose a generalization of the Fractal Scale-Free Lattice and we study its structural properties. As its degree distribution follows a power law, we prove that the proposed generalization does not affect the scale-free property. In addition, we use the electrically equivalent transformations to count the number of spanning trees in the generalized Fractal Scale-Free Lattice. Finally, in order to evaluate the robustness of the generalized lattice, we compute and compare its entropy with other complex networks having the same average degree.
- Published
- 2019
48. Bounded homomorphisms and finitely generated fiber products of lattices
- Author
-
William DeMeo, Nik Ruskuc, Peter Mayr, University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra, and University of St Andrews. Pure Mathematics
- Subjects
QA75 ,Pure mathematics ,General Mathematics ,QA75 Electronic computers. Computer science ,T-NDAS ,0102 computer and information sciences ,Whitman's condition ,Characterization (mathematics) ,Finitely presented lattice ,01 natural sciences ,Subdirect product ,Pullback ,FOS: Mathematics ,Computer Science::General Literature ,Finitely-generated abelian group ,0101 mathematics ,Mathematics ,Fiber (mathematics) ,Computer Science::Information Retrieval ,010102 general mathematics ,Astrophysics::Instrumentation and Methods for Astrophysics ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,Mathematics - Logic ,010201 computation theory & mathematics ,Bounded function ,Free lattice ,Homomorphism ,Bounded lattice ,Logic (math.LO) - Abstract
We investigate when fiber products of lattices are finitely generated and obtain a new characterization of bounded lattice homomorphisms onto lattices satisfying a property we call Dean’s condition (D) which arises from Dean’s solution to the word problem for finitely presented lattices. In particular, all finitely presented lattices and those satisfying Whitman’s condition satisfy (D). For lattice epimorphisms [Formula: see text], [Formula: see text], where [Formula: see text], [Formula: see text] are finitely generated and [Formula: see text] satisfies (D), we show the following: If [Formula: see text] and [Formula: see text] are bounded, then their fiber product (pullback) [Formula: see text] is finitely generated. While the converse is not true in general, it does hold when [Formula: see text] and [Formula: see text] are free. As a consequence, we obtain an (exponential time) algorithm to decide boundedness for finitely presented lattices and their finitely generated sublattices satisfying (D). This generalizes an unpublished result of Freese and Nation.
- Published
- 2019
49. Neutron Transmission Strain Tomography for Non-Constant Stress-Free Lattice Spacing
- Author
-
Erich H. Kisi, Adrian Wills, Thomas B. Schön, Carl Jidling, Christopher M. Wensrich, and J.N. Hendriks
- Subjects
FOS: Computer and information sciences ,Nuclear and High Energy Physics ,Field (physics) ,FOS: Physical sciences ,Machine Learning (stat.ML) ,02 engineering and technology ,010501 environmental sciences ,01 natural sciences ,Noise (electronics) ,symbols.namesake ,Lattice constant ,Statistics - Machine Learning ,Boundary value problem ,Instrumentation ,Gaussian process ,0105 earth and related environmental sciences ,Physics ,Strain (chemistry) ,Mathematical analysis ,Computational Physics (physics.comp-ph) ,021001 nanoscience & nanotechnology ,Physics - Data Analysis, Statistics and Probability ,symbols ,Free lattice ,0210 nano-technology ,Constant (mathematics) ,Physics - Computational Physics ,Data Analysis, Statistics and Probability (physics.data-an) - Abstract
Recently, several algorithms for strain tomography from energy-resolved neutron transmission measurements have been proposed. These methods assume that the stress-free lattice spacing $d_0$ is a known constant limiting their application to the study of stresses generated by manufacturing and loading methods that do not alter this parameter. In this paper, we consider the more general problem of jointly reconstructing the strain and $d_0$ fields. A method for solving this inherently non-linear problem is presented that ensures the estimated strain field satisfies equilibrium and can include knowledge of boundary conditions. This method is tested on a simulated data set with realistic noise levels, demonstrating that it is possible to jointly reconstruct $d_0$ and the strain field., Journal article, 14 pages, 5 figures
- Published
- 2019
50. Symmetric embeddings of free lattices into each other
- Author
-
Gergő Gyenizse, Ádám Kunos, and Gábor Czédli
- Subjects
Algebra and Number Theory ,010102 general mathematics ,Mathematics - Rings and Algebras ,0102 computer and information sciences ,Automorphism ,01 natural sciences ,Omega ,Combinatorics ,010201 computation theory & mathematics ,Lattice (order) ,06B25 ,Free lattice ,0101 mathematics ,Mathematics - Abstract
By a 1941 result of Ph. M. Whitman, the free lattice FL(3) on three generators includes a sublattice $S$ that is isomorphic to the lattice FL($\omega$)=FL($\aleph_0$) generated freely by denumerably many elements. The first author has recently "symmetrized" this classical result by constructing a sublattice $S\cong$ FL($\omega)$ of FL(3) such that $S$ is SELFDUALLY POSITIONED in FL(3) in the sense that it is invariant under the natural dual automorphism of Fl(3) that keeps each of the three free generators fixed. Now we move to the furthest in terms of symmetry by constructing a selfdually positioned sublattice $S\cong$ FL$(\omega)$ of FL(3) such that every element of $S$ is fixed by all automorphisms of FL(3). That is, in our terminology, we embed FL$(\omega)$ into FL(3) in a TOTALLY SYMMETRIC way. Our main result determines all pairs $(\kappa,\lambda)$ of cardinals greater than 2 such that FL$(\kappa)$ is embeddable into FL$(\lambda)$ in a totally symmetric way. Also, we relax the stipulations on $S\cong$FL$\kappa$ by requiring only that $S$ is closed with respect to the automorphisms of FL$(\lambda)$, or $S$ is selfdually positioned and closed with respect to the automorphisms; we determine the corresponding pairs $(\kappa,\lambda)$ even in these two cases. We reaffirm some of our calculations with a computer program developed by the first author. This program is for the word problem of free lattices, it runs under Windows, and it is freely available., Comment: 22 pages, 2 figures
- Published
- 2019
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.