Related papers: Sierpinski Gaskets for Logic Functions Representat…
In this article, we show that $\alpha$-fractal functions defined on Sierpi\'nski gasket (denoted by $\triangle$) depend continuously on the parameters involved in the construction. In the latter part of this article, the continuous…
Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. In particular, there has been a growing interest in adapting…
J. Kigami has laid the foundations of what is now known as analysis on fractals, by allowing the construction of an operator of the same nature of the Laplacian, defined locally, on graphs having a fractal character. The Sierpinski gasket…
We confirm, in a more general framework, a part of the conjecture posed by R. Bell, C.-W. Ho, and R. S. Strichartz [Energy measures of harmonic functions on the Sierpi\'nski gasket, Indiana Univ. Math. J. 63 (2014), 831--868] on the…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gr\"oebner-Shirshov basis theory to furnish an algebraic framework for…
A quantized version of the Sierpinski gasket is proposed, on purely topological grounds, as a $C^*$-algebra $\mathcal{A}_\infty$ with a suitable form of self-similarity. Several properties of $\mathcal{A}_\infty$ are studied, in particular…
This paper is a brief and informal presentation of cirquent calculus, a novel proof system for resource-conscious logics. As such, it is a refinement of sequent calculus with mechanisms that allow to explicitly account for the possibility…
We explore a novel link between two seemingly disparate mathematical concepts: Egyptian fractions and fractals. By examining the decomposition of rationals into sums of distinct unit fractions, a practice rooted in ancient Egyptian…
Cirquent calculus is a new proof-theoretic and semantic framework, whose main distinguishing feature is being based on circuits, as opposed to the more traditional approaches that deal with tree-like objects such as formulas or sequents.…
For a family of domains in the Sierpinski gasket, we study harmonic functions of finite energy, characterizing them in terms of their boundary values, and study their normal derivatives on the boundary. We characterize those domains for…
Using the Sierpinski gasket (triangle) and carpet (square) lattices as examples, we theoretically study the properties of fractal superconductors. For that, we focus on the phenomenon of $s$-wave superconductivity in the Hubbard model with…
The Sierpinski Triangle (ST) is a fractal mathematical structure that has been used to explore the emergence of flat bands in lattices of different geometries and dimensions in condensed matter. Here we look into fractal features in the…
We present the basic ideas of forms (a generalization of Ehresmann's sketches) and their theories and models, more explicitly than in previous expositions. Forms provide the ability to specify mathematical structures and data types in any…
We investigate the dimension of intersections of the Sierpi\'nski gasket with lines. Our first main result describes a countable, dense set of angles that are exceptional for Marstrand's theorem. We then provide a multifractal analysis for…
An essential attribute of many fractal structures is self-similarity. A Sierpinski gasket (SPG) triangle is a promising example of a fractal lattice that exhibits localized energy eigenstates. In the present work, for the first time we…
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces:…
We study the analog of power series expansions on the Sierpinski gasket, for analysis based on the Kigami Laplacian. The analog of polynomials are multiharmonic functions, which have previously been studied in connection with Taylor…
In the present paper a new concept of representability is introduced, which can be applied to not total and also to intransitive relations (semiorders in particular). This idea tries to represent the orderings in the simplest manner,…
Logical reasoning is essential in a variety of human activities. A representative example of a logical task is mathematics. Recent large-scale models trained on large datasets have been successful in various fields, but their reasoning…