English
Related papers

Related papers: Some simple theories from a Boolean algebra point …

200 papers

This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah,…

Logic · Mathematics 2016-09-06 Eric Rosen , Saharon Shelah , Scott Weinstein

Given a partially ordered set $P$ there exists the most general Boolean algebra $F(P)$ which contains $P$ as a generating set, called the {\it free Boolean algebra} over $P$. We study free Boolean algebras over posets of the form $P=P_0\cup…

General Topology · Mathematics 2012-10-23 Robert Bonnet , Latifa Faouzi , Wiesław Kubiś

We prove that any cyclic Nakayama algebra which is a higher Auslander algebra can be uniquely constructed from Nakayama algebras of smaller ranks by reversing the syzygy filtration process. This creates chains of higher Auslander algebras…

Representation Theory · Mathematics 2022-04-12 Emre Sen

The Weisfeiler-Leman (WL) algorithms form a family of incomplete approaches to the graph isomorphism problem. They recently found various applications in algorithmic group theory and machine learning. In fact, the algorithms form a…

Discrete Mathematics · Computer Science 2025-10-29 Thomas Schneider , Pascal Schweitzer

The past decade highlighted the usefulness of social network simulations that run on k-regular, n-size, connected graphs. These can be seen as small-scale models of human social networks of large societies. By narrowing down onto k-regular…

Social and Information Networks · Computer Science 2023-08-22 Tamas David-Barrett

We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is…

Logic in Computer Science · Computer Science 2023-06-22 Sandra Kiefer , Pascal Schweitzer

We study the $t$-deformation of gaussian von Neumann algebras. They appear as example in the theories of Interacting Fock spaces and conditionally free products. When the number of generators is fixed, it is proved that if $t$ sufficiently…

Operator Algebras · Mathematics 2007-05-23 Eric Ricard

Given a row-finite $k$-graph $\Lambda$ with no sources we investigate the $K$-theory of the higher rank graph $C^*$-algebra, $C^*(\Lambda)$. When $k=2$ we are able to give explicit formulae to calculate the $K$-groups of $C^*(\Lambda)$. The…

Operator Algebras · Mathematics 2007-12-18 D. Gwion Evans

We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We…

Combinatorics · Mathematics 2024-02-29 Jan Goedgebeur , Jarne Renders , Carol T. Zamfirescu

We characterize the connected graphs of given order $n$ and given independence number $\alpha$ that maximize the number of maximum independent sets. For $3\leq \alpha\leq n/2$, there is a unique such graph that arises from the disjoint…

Combinatorics · Mathematics 2018-06-29 E. Mohr , D. Rautenbach

Consider a number field $K$ and a rational function $f$ of degree greater than 1 over $K$. By taking preimages of $\alpha\in K$ under successive iterates of $f$, an infinite $d$-ary tree $T_\infty$ rooted at $\alpha$ can be constructed. An…

Number Theory · Mathematics 2025-06-03 Wayne Peng

The construction of twisted K-theory classes on a compact Lie group is reviewed using the supersymmetric Wess-Zumino-Witten model on a cylinder. The Quillen superconnection is introduced for a family of supercharges and the Chern character…

High Energy Physics - Theory · Physics 2007-05-23 Jouko Mickelsson

A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $\Theta(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly…

Combinatorics · Mathematics 2020-01-10 Anurag Bishnoi , Ferdinand Ihringer , Valentina Pepe

We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) =…

Logic · Mathematics 2013-12-10 Kevin Selker

We examine a hierarchy of equivalence classes of quasi-random properties of Boolean Functions. In particular, we prove an equivalence between a number of properties including balanced influences, spectral discrepancy, local strong…

Combinatorics · Mathematics 2022-09-09 Fan Chung , Nicholas Sieger

Given a simple undirected graph, one can construct from it a $c$-step nilpotent Lie algebra for every $c \geq 2$ and over any field $K$, in particular also over the real and complex numbers. These Lie algebras form an important class of…

Dynamical Systems · Mathematics 2022-09-15 Jonas Deré , Thomas Witdouck

We study the question which Boolean algebras have the property that for every generating set there is an ultrafilter selecting maximal number of its elements. We call it the ultrafilter selection property. For cardinality aleph-one the…

Logic · Mathematics 2022-11-17 Robert Bonnet , Wieslaw Kubiś , Stevo Todorčević

In a series of four papers we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$…

Combinatorics · Mathematics 2017-07-31 Jan Hladký , János Komlós , Diana Piguet , Miklós Simonovits , Maya J. Stein , Endre Szemerédi

Given a positive integer $N$ and real number $\alpha\in [0, 1]$, let $m(\alpha,N)$ denote the minimum, over all sets $A\subset \mathbb{Z}/N\mathbb{Z}$ of size at least $\alpha N$, of the normalized count of 3-term arithmetic progressions…

Combinatorics · Mathematics 2014-09-11 Pablo Candela , Olof Sisask

In this paper, we relate a beautiful theory by Lov\'asz with a popular heuristic algorithm for the graph isomorphism problem, namely the color refinement algorithm and its k-dimensional generalization known as the Weisfeiler-Leman…

Data Structures and Algorithms · Computer Science 2018-05-23 Holger Dell , Martin Grohe , Gaurav Rattan