Isomorphism Invariants Research Articles

Are generics quantificational?

The standard view about generic generalizations is that they have a tripartite quantificational logical form involving a phonologically null quantificational expression called ‘Gen’. However, proponents of the cognitive defaults theory of generics have forcefully rejected this view, instead arguing that generics express the default generalizations of our cognitive system, and, as such, they are different in kind from quantificational generalizations. While extant criticism of the cognitive defaults theory has focused on the extent to which it is supported by the empirical evidence, there has been little discussion of a neglected, albeit essential, theoretical argument in its defence, namely, that generics cannot be quantificational because they lack a central logical property of quantifiers: isomorphism invariance. This paper addresses this lacuna by considering and rejecting this argument. Consequently, an essential argument in favour of the cognitive default theory is found wanting.

Stabilized automorphism group of odometers and of Toeplitz subshifts

AbstractWe characterize the stabilized automorphism group for odometers and Toeplitz subshifts, and then prove an invariance property of the stabilized automorphism group of these dynamical systems. Namely, we prove the isomorphism invariance of the primes for which the p-adic valuation of the period structure tends to infinity. A particular case of interest is that for torsion-free odometers, the stabilized automorphism group is a full isomorphism invariant.

Active-matter isomorphs in the size-polydisperse Ornstein–Uhlenbeck Lennard–Jones model

This paper studies size-polydisperse Lennard–Jones systems described by active Ornstein–Uhlenbeck particle (AOUP) dynamics. The focus is on the existence of isomorphs (curves of invariant structure and dynamics) in the model’s three-dimensional phase diagram. Isomorphs are traced out from a single steady-state configuration by means of the configurational-temperature method. Good isomorph invariance of the reduced-unit radial distribution function and the mean-square displacement as a function of time is demonstrated for three uniform-distribution polydispersities, , 23%, and 29%. Comparing to active-matter isomorphs generated by the analytical direct-isomorph-check method, the latter have poorer invariance of the structure, but better invariance of the dynamics. We conclude that both methods can be used to quickly get an overview of the phase diagram of polydisperse AOUP models involving a potential-energy function obeying the hidden-scale-invariance property required for isomorph theory to apply.

Hidden scale invariance in the Gay-Berne model. II. Smectic-B phase.

This paper complements a previous study of the isotropic and nematic phases of the Gay-Berne liquid-crystal model [Mehri et al., Phys. Rev. E 105, 064703 (2022)2470-004510.1103/PhysRevE.105.064703] with a study of its smectic-B phase found at high density and low temperatures. We find also in this phase strong correlations between the virial and potential-energy thermal fluctuations, reflecting hidden scale invariance and implying the existence of isomorphs. The predicted approximate isomorph invariance of the physics is confirmed by simulations of the standard and orientational radial distribution functions, the mean-square displacement as a function of time, and the force, torque, velocity, angular velocity, and orientational time-autocorrelation functions. The regions of the Gay-Berne model that are relevant for liquid-crystal experiments can thus fully be simplified via the isomorph theory.

A computational approach to analyze the Hadamard quasigroup product

<abstract><p>Based on the binary product described by any Latin square, the Hadamard quasigroup product is introduced in this paper as a natural generalization of the classical Hadamard product of matrices. The successive iteration of this new product is endowed with a cyclic behaviour that enables one to define a pair of new isomorphism invariants of Latin squares. Of particular interest is the set of Latin squares for which this iteration preserves the Latin square property, which requires the existence of successive localized Latin transversals within the Latin square under consideration. In order to enumerate and classify, up to isomorphism, these Latin squares, we propose a computational algebraic geometry approach based on the computation of reduced Gröbner bases. To illustrate this point, we obtain the classification of the sought Latin squares, for order up to six, by using the open computer algebra system for polynomial computations Singular.</p></abstract>

Isomorph Invariance in the Liquid and Plastic-Crystal Phases of Asymmetric-Dumbbell Models

We present a numerical study of the asymmetric dumbbell model consisting of “molecules” constructed as two different-sized Lennard-Jones spheres connected by a rigid bond. In terms of the largest (A) particle radius, we report data for the structure and dynamics of the liquid phase for the bond lengths 0.05, 0.1, 0.2, and 0.5, and analogous data for the plastic-crystal phase for the bond lengths 0.05, 0.1, 0.2, and 0.3. Structure is probed by means of the AA, AB, and BB radial distribution functions. Dynamics is probed via the A and B particle mean-square displacement as functions of time and via the rotational time-autocorrelation function. Consistent with the systems’ strong virial potential-energy correlations, the structure and dynamics are found to be isomorph invariant to a good approximation in reduced units, while they generally vary considerably along isotherms of the same (20%) density variation. Even the rotational time-autocorrelation function, which due to the constant bond length is not predicted to be isomorph invariant, varies more along isotherms than along isomorphs. Our findings provide the first validation of isomorph-theory predictions for plastic crystals for which isomorph invariance, in fact, is found to apply better than in the liquid phase of asymmetric-dumbbell models.

Hidden scale invariance in the Gay-Berne model.

This paper presents a numerical study of the Gay-Berne liquid crystal model with parameters corresponding to calamitic (rod-shaped) molecules. The focus is on the isotropic and nematic phases at temperatures above unity, where we find strong correlations between the virial and potential-energy thermal fluctuations, reflecting the hidden scale invariance symmetry. This implies the existence of isomorphs, which are curves in the thermodynamic phase diagram of approximately invariant physics. We study numerically one isomorph in the isotropic phase and one in the nematic phase. In both cases, good invariance of the dynamics is demonstrated via data for the mean-square displacement and the reduced-unit time-autocorrelation functions of the velocity, angular velocity, force, torque, and first- and second-order Legendre polynomial orientational order parameters. Deviations from isomorph invariance are observed at short times for the orientational time-autocorrelation functions, which reflects the fact that the moment of inertia is assumed to be constant and thus not isomorph-invariant in reduced units. Structural isomorph invariance is demonstrated from data for the radial distribution functions of the molecules and their orientations. For comparison, all quantities were also simulated along an isochore of similar temperature variation, in which case invariance is not observed. We conclude that the thermodynamic phase diagram of the calamitic Gay-Berne model is essentially one-dimensional in the studied regions as predicted by isomorph theory, a fact that potentially allows for simplifications of future theories and numerical studies.

The socle tableau as a dual version of the Littlewood–Richardson tableau

Like the LR-tableau, a socle tableau is given as a skew diagram with certain entries. Unlike in the LR-tableau, the entries in the socle tableau are weakly increasing in each row, strictly increasing in each column and satisfy a modified lattice permutation property. In the study of embeddings of a subgroup in a finite abelian p $p$ -group, socle tableaux occur as isomorphism invariants, they are given by the socle series of the subgroup. We show that each socle tableau can be realized by some embedding. Moreover, the socle tableau of an embedding and the LR-tableau of the dual embedding determine each other — a correspondence which appears to be related to the tableau switching studied by Benkart, Sottile and Stroomer. We illustrate how the entries in the socle tableau position the object within the Auslander–Reiten quiver. Like the LR-tableau, the socle tableau determines the irreducible component of the object in representation space.

Generalized hydrodynamics of the Lennard-Jones liquid in view of hidden scale invariance.

In recent years lines along which structure and dynamics are invariant to a good approximation, so-called isomorphs, have been identified in the thermodynamic phase diagrams of several model liquids and solids. This paper reports computer simulation data of the transverse and longitudinal collective dynamics at different length scales along an isomorph of the Lennard-Jones system. Our findings are compared to corresponding results along an isotherm and an isochore. Confirming the theoretical prediction, the reduced-unit dynamics of the transverse momentum density is invariant to a good approximation along the isomorph on all time and length scales. Likewise, the wave-vector dependent shear-stress autocorrelation function is found to be isomorph invariant (with minor deviations at very short times). A similar invariance is not seen along the isotherm or the isochore. Using a spatially nonlocal hydrodynamic model for the transverse momentum-density time-autocorrelation function, the macroscopic shear viscosity and its wave dependence are determined, demonstrating that the shear viscosity is isomorphic invariant on all length scales studied. This analysis implies the existence of a length scale that is isomorph invariant in reduced units, i.e., which characterizes each isomorph. The transverse sound-wave velocity, the Maxwell relaxation time, and the rigidity shear modulus are also isomorph invariant. In contrast to the isomorph invariance of all aspects of the transverse dynamics, the reduced-unit dynamics of the mass density is not invariant on length scales longer than the interparticle distance. By fitting to a generalized hydrodynamic model, we extract values for the wave-vector-dependent thermal diffusion coefficient, sound attenuation coefficient, and adiabatic sound velocity. The isomorph variation of these quantities in reduced units on long length scales can be eliminated by scaling with the density-scaling exponent, a fundamental quantity in the isomorph theory framework; this is an empirical observation that remains to be explained theoretically.

Extreme case of density scaling: The Weeks-Chandler-Andersen system at low temperatures

This paper studies numerically the Weeks-Chandler-Andersen system, which is shown to obey hidden scale invariance with a density-scaling exponent that varies from below 5 to above 500. This unprecedented variation makes it advantageous to use the fourth-order Runge-Kutta algorithm for tracing out isomorphs. Good isomorph invariance of structure and dynamics is observed over more than three orders of magnitude temperature variation. For all state points studied, the virial potential-energy correlation coefficient and the density-scaling exponent are controlled mainly by the temperature. Based on the assumption of statistically independent pair interactions, a mean-field theory is developed that rationalizes this finding and provides an excellent fit to data at low temperatures.

Isomorph Invariance of Higher-Order Structural Measures in Four Lennard-Jones Systems.

In the condensed liquid phase, both single- and multicomponent Lennard–Jones (LJ) systems obey the “hidden-scale-invariance” symmetry to a good approximation. Defining an isomorph as a line of constant excess entropy in the thermodynamic phase diagram, the consequent approximate isomorph invariance of structure and dynamics in appropriate units is well documented. However, although all measures of the structure are predicted to be isomorph invariant, with few exceptions only the radial distribution function (RDF) has been investigated. This paper studies the variation along isomorphs of the nearest-neighbor geometry quantified by the occurrence of Voronoi structures, Frank–Kasper bonds, icosahedral local order, and bond-orientational order. Data are presented for the standard LJ system and for three binary LJ mixtures (Kob–Andersen, Wahnström, ). We find that, while the nearest-neighbor geometry generally varies significantly throughout the phase diagram, good invariance is observed along the isomorphs. We conclude that higher-order structural correlations are no less isomorph invariant than is the RDF.

Testing the isomorph invariance of the bridge functions of Yukawa one-component plasmas.

It has been recently conjectured that bridge functions remain nearly invariant along phase diagram lines of constant excess entropy for the broad class of R-simple liquids. To test this hypothesis, the bridge functions of Yukawa systems are computed outside the correlation void with the Ornstein-Zernike inversion method employing structural input from ultra-accurate molecular dynamics simulations and inside the correlation void with the cavity distribution method employing structural input from ultra-long specially designed molecular dynamics simulations featuring a tagged particle pair. Yukawa bridge functions are revealed to be isomorph invariant to a very high degree. The observed invariance is not exact, however, since isomorphic deviations exceed the overall uncertainties.

Isomorph theory beyond thermal equilibrium.

This paper generalizes isomorph theory to systems that are not in thermal equilibrium. The systems are assumed to be R-simple, i.e., to have a potential energy that as a function of all particle coordinates R obeys the hidden-scale-invariance condition U(Ra) < U(Rb) ⇒ U(λRa) < U(λRb). "Systemic isomorphs" are introduced as lines of constant excess entropy in the phase diagram defined by density and systemic temperature, which is the temperature of the equilibrium state point with the average potential energy equal to U(R). The dynamics is invariant along a systemic isomorph if there is a constant ratio between the systemic and the bath temperature. In thermal equilibrium, the systemic temperature is equal to the bath temperature and the original isomorph formalism is recovered. The new approach rationalizes within a consistent framework previously published observations of isomorph invariance in simulations involving nonlinear steady-state shear flows, zero-temperature plastic flows, and glass-state isomorphs. This paper relates briefly to granular media, physical aging, and active matter. Finally, we discuss the possibility that the energy unit defining the reduced quantities should be based on the systemic rather than the bath temperature.

The classification of 5-dimensional complex nilpotent associative algebras

In this paper we give the classification of 5-dimensional complex nilpotent associative algebras. We use - the isomorphism invariant. We prove that there are only two possible isomorphism invariants or for any 5-dimensional complex nilpotent associative algebra with the condition and we give the classification (up to isomorphism) of such type algebras. 5-dimensional complex nilpotent associative algebras with the conditions and have already been classified. Thus, we complete the classification of 5-dimensional complex nilpotent associative algebras.

The EXP pair-potential system. IV. Isotherms, isochores, and isomorphs in the two crystalline phases.

This paper studies numerically the solid phase of a system of particles interacting by the exponentially repulsive pair potential, which is a face-centered cubic (fcc) crystal at low densities and a body-centered cubic (bcc) crystal at higher densities [U. R. Pedersen et al., J. Chem. Phys. 150, 174501 (2019)]. Structure is studied via the pair-distribution function and dynamics via the velocity autocorrelation function and the phonon density of states. These quantities are evaluated along isotherms, isochores, and three isomorphs in both crystal phases. Isomorphs are traced out by integrating the density-temperature relation characterizing configurational adiabats, starting from state points in the middle of the fcc-bcc coexistence region. Good isomorph invariance of structure and dynamics is seen in both crystal phases, which is notable in view of the large density variations studied. This is consistent with the fact that the virial potential-energy correlation coefficient is close to unity in the entire fcc phase and in most of the bcc phase (basically below the re-entrant density). Our findings confirm that the isomorph theory, developed and primarily studied for liquids, applies equally well for solids.

Generating (co)homological information using boundary scale

In this paper we develop a new computational technique called boundary scale-space theory. This technique is based on the topol11comples -> complexogical paradigm consisting of representing a geometric subdivided object K using a one-parameter family of geometric objects {Ki}i ≥ 1 all of them having the same number of closed pieces than K. Each piece of Ki (∀i ≥ 1) presents the same interior part than the corresponding one in K, and a different boundary part depending on the scale i. Working with coefficients in a field, a scale is installed for the algebraic boundary of each piece and a new invariant for cell complex isomorphisms is given in terms of the Betti numbers of the generated boundary-scale-space cell complexes. Moreover, the so called homology boundary scale-space model of K (hbss-model for short) is introduced here. This model consists of a hierarchical graph whose nodes are the homology generators of the different boundary scale levels and whose edges are specified by homology generators of consecutive boundary scale indices linked by (hbss-transition maps) preserving homology classes. Various codes for each connected subgraph of an hbss-model are defined, which besides being fast and efficient similarity measures for cellular structures, they are as well relevant interpretive tools for the hbss-model. Finally, experimentations mainly aimed at clarifying and understanding the notion of hbss-model, as well as conjecturing about new graph isomorphism invariants (seeing graphs as a 1-dimensional cell complexes), are performed.

Isomorph invariance of dynamics of sheared glassy systems.

We study hidden scale invariance in the glassy phase of the Kob-Andersen binary Lennard-Jones system. After cooling below the glass transition, we generate a so-called isomorph from the fluctuations of potential energy and virial in the NVT ensemble: a set of density, temperature pairs for which structure and dynamics are identical when expressed in appropriate reduced units. To access dynamical features, we shear the system using the SLLOD algorithm coupled with Lees-Edwards boundary conditions and study the statistics of stress fluctuations and the particle displacements transverse to the shearing direction. We find good collapse of the statistical data, showing that isomorph theory works well in this regime. The analysis of stress fluctuations, in particular the distribution of stress changes over a given strain interval, allows us to identify a clear signature of avalanche behavior in the form of an exponential tail on the negative side. This feature is also isomorph invariant. The implications of isomorphs for theories of plasticity are discussed briefly.

Investigation of isomorph-invariance in liquid methane by molecular dynamics simulation

In this paper, isomorph invariance of liquid methane is investigated by means of constant-NVT molecular dynamics simulations. According to the data extracted from simulations, equilibrium fluctuations show strong correlation between potential energy U and virial W. We also generated isomorph state points and investigated invariance of certain thermodynamic, structural, and dynamical properties. The result show methane is a strongly correlated liquid for temperatures at and above 300K such that the specific heat, radial disturbution function, and diffusion are invariant for state points generated along an isomorph curve when expressed in reduced units. Hence by knowing these properties at one state point, they can be obtained for other isomorphic state points by simple rescaling.

Isomorph invariance and thermodynamics of repulsive dense bi-Yukawa one-component plasmas

In numerous realizations of complex plasmas, dust-dust interactions are characterized by two screening lengths and are thus better described by a combination of Yukawa potentials. The present work investigates the static correlations and the thermodynamics of repulsive dense bi-Yukawa fluids based on the fact that such strongly coupled systems exhibit isomorph invariance. The strong virial-potential energy correlations are demonstrated with the aid of molecular dynamics simulations, an accurate analytical expression for the isomorph family of curves is obtained, and an empirical expression for the fluid-solid phase-coexistence line is proposed. The isomorph-based empirically modified hypernetted-chain approach, grounded on the ansatz of isomorph invariant bridge functions, is then extended to such systems and the resulting structural properties show an excellent agreement with the results of computer simulations. A simple and accurate closed-form expression is obtained for the excess internal energy of dense bi-Yukawa fluids by capitalizing on the compact parameterization offered by the Rosenfeld-Tarazona decomposition in combination with the Rosenfeld scaling, which opens up the energy route to thermodynamics.

Isomorphism invariants for linear quasigroups

For a unital ring $S$, an $S$-linear quasigroup is a unital $S$-module, with automorphisms $\rho$ and $\lambda$ giving a (nonassociative) multiplication $x\cdot y=x^\rho+y^\lambda$. If $S$ is the field of complex numbers, then ordinary characters provide a complete linear isomorphism invariant for finite-dimensional $S$-linear quasigroups. Over other rings, it is an open problem to determine tractably computable isomorphism invariants. The paper investigates this isomorphism problem for $\mathbb{Z}$-linear quasigroups. We consider the extent to which ordinary characters classify $\mathbb{Z}$-linear quasigroups and their representations of the free group on two generators. We exhibit non-isomorphic $\mathbb{Z}$-linear quasigroups with the same ordinary character. For a subclass of $\mathbb{Z}$-linear quasigroups, equivalences of the corresponding ordinary representations are realized by permutational intertwinings. This leads to a new equivalence relation on $\mathbb{Z}$-linear quasigroups, namely permutational similarity. Like the earlier concept of central isotopy, permutational similarity is intermediate between isomorphism and isotopy.