Related papers: Generalized recursive atom ordering and equivalenc…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
In this manuscript we study inclusion posets of Borel orbit closures on (symmetric) matrices. In particular, we show that the Bruhat poset of partial involutions is a lexicographiically shellable poset. Also, studying the embeddings of…
The notion of level posets is introduced. This class of infinite posets has the property that between every two adjacent ranks the same bipartite graph occurs. When the adjacency matrix is indecomposable, we determine the length of the…
The Laplace equation on Euclidean flat space admits a discrete radial inversion symmetry. In 1983, Couch and Torrence (CT) found -- surprisingly -- that the massless wave equation continues to display this symmetry on the background of an…
We show that every poset P=(P,\le) satisfying the Ascending Chain Condition can be isomorphically embedded into the poset of all mappings from P to the set A(P) of all antichains of P equipped with a certain partial order relation. This…
In this paper, we address the challenge of obtaining a comprehensive and symmetric representation of point particle groups, such as atoms in a molecule, which is crucial in physics and theoretical chemistry. The problem has become even more…
Using the newly introduced general ordering theorem (GOT) by Sh\"ahandeh and Bazrafkan, we derive and generalize some quantum optical identities and give their applications.
Forman introduced discrete Morse theory as a tool for studying CW complexes by essentially collapsing them onto smaller, simpler-to-understand complexes of critical cells in [Fo]. Chari reformulated discrete Morse theory for regular cell…
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that…
A general-order open-shell coupled-cluster method based on spatial orbitals is formulated. The method is an extension of the partial-spin adaptation (PSA) scheme from Janssen and Schaefer (Theor. Chim. Acta, 79, 1-42, 1991). By increasing…
I report on the experimental confirmation that critical percolation statistics underlie the ordering kinetics of twisted nematic phases in the Allen-Cahn universality class. Soon after the ordering starts from a homogeneous disordered phase…
Generalized seniority provides a truncation scheme for the nuclear shell model, based on pairing correlations, which offers the possibility of dramatically reducing the dimensionality of the nuclear shell-model problem. Systematic…
In aperiodic order, non-periodic but "ordered" objects such as tilings, Delone sets, functions and measures are investigated. In this article we depict the common structure of these objects by using the general framework of abstract pattern…
Active atomic clocks are predicted to provide far better short-term stability and robustness against thermal fluctuations than typical feedback-based optical atomic clocks. However, continuous laser operation using an ensemble of clock…
We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider…
We extend coupled-cluster theory performed on top of a Slater determinant breaking rotational symmetry to allow for the exact restoration of the angular momentum at any truncation order. The main objective relates to the description of…
We introduce and study in two dimensions a new class of dry, aligning, active matter that exhibits a direct transition to orientational order, without the phase-separation phenomenology usually observed in this context. Characterized by…
The notion of cyclic sieving phenomenon is introduced by Reiner, Stanton, and White as a generalization of Stembridge's $q=-1$ phenomenon. The generalized cluster complexes associated to root systems are given by Fomin and Reading as a…
Curved Boolean Logic (CBL) generalizes propositional logic by allowing local truth assignments that do not extend to a single global valuation, analogous to curvature in geometry. We give equivalent sheaf and exclusivity-graph semantics and…
This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on…