In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

This article describes the emergence of formal methods in theory of partial differential equations in the French school of mathematics through Janet’s work in the period 1913–1930. In his thesis and in a series of articles published during this period, Janet introduced an original formal approach to deal with the solvability of the problem of initial conditions for finite linear PDE systems. His constructions implicitly used an interpretation of a monomial PDE system as a generating family of (...) a multiplicative set of monomials. He introduced an algorithmic method on multiplicative sets to compute compatibility conditions, and to study the problem of the existence and the uniqueness of a solution to a linear PDE system with given initial conditions. The compatibility conditions are formulated using a refinement of the division operation on monomials defined with respect to a partition of the set of variables into multiplicative and non-multiplicative variables. Janet was a pioneer in the development of these algorithmic methods, and the completion procedure that he introduced on polynomials was the first one in a long and rich series of works on completion methods which appeared independently throughout the twentieth-century in various algebraic contexts. (shrink)

It is proved that a system of linear equations over an arbitrary field has a solution if every finite subsystem has a solution provided that the set of variables can be well ordered.

This paper introduce a new variant of the Genetic Algorithm whichis developed to handle multivariable, multi-objective and very high search space optimization problems like the solving system of non-linear equations. It is an integer coded Genetic Algorithm with conventional cross over and mutation but with Inverse algorithm is varying its search space by varying its digit length on every cycle and it does a fine search followed by a coarse search. And its solution to the optimization problem (...) will converge to precise value over the cycles. Every equation of the system is considered as a single minimization objective function. Multiple objectives are converted to a single fitness function by summing their absolute values. Some difficult test functions for optimization and applications are used to evaluate this algorithm. The results prove that this algorithm is capable to produce promising and precise results. (shrink)

We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses. We demonstrate polynomial-size refutations for hard tautologies like the pigeonhole principle, Tseitin graph tautologies and the clique-coloring tautologies in these proof systems. Using interpolation we establish an exponential-size lower bound on refutations in a certain, considerably strong, fragment of resolution over linear equations, as well as a general polynomial (...) upper bound on interpolants in this fragment.We then apply these results to extend and improve previous results on multilinear proofs , as studied in [Ran Raz, Iddo Tzameret, The strength of multilinear proofs. Comput. Complexity ]. Specifically, we show the following:• Proofs operating with depth-3 multilinear formulas polynomially simulate a certain, considerably strong, fragment of resolution over linear equations.• Proofs operating with depth-3 multilinear formulas admit polynomial-size refutations of the pigeonhole principle and Tseitin graph tautologies. The former improve over a previous result that established small multilinear proofs only for the functional pigeonhole principle. The latter are different from previous proofs, and apply to multilinear proofs of Tseitin mod p graph tautologies over any field of characteristic 0. We conclude by connecting resolution over linear equations with extensions of the cutting planes proof system. (shrink)

An analysis is briefly presented of the possible causes of the failure of stochastic electrodynamics (SED) when applied to systems with nonlinear forces, on the basis that the main principles of the theory are correct. In light of this analysis, an alternative approach to the theory is discussed, whose postulates allow to establish contact with quantum mechanics in a natural way. The ensuing theory, linear SED, confirms the essential role of the vacuum–particle interaction as the source of quantum phenomena.

We revisit the analogy suggested by Madelung between a non-relativistic time-dependent quantum particle, to a fluid system which is pseudo-barotropic, irrotational and inviscid. We first discuss the hydrodynamical properties of the Madelung description in general, and extract a pressure like term from the Bohm potential. We show that the existence of a pressure gradient force in the fluid description, does not violate Ehrenfest’s theorem since its expectation value is zero. We also point out that incompressibility of the fluid implies (...) conservation of density along a fluid parcel trajectory and in 1D this immediately results in the non-spreading property of wave packets, as the sum of Bohm potential and an exterior potential must be either constant or linear in space. Next we relate to the hydrodynamic description a thermodynamic counterpart, taking the classical behavior of an adiabatic barotopric flow as a reference. We show that while the Bohm potential is not a positive definite quantity, as is expected from internal energy, its expectation value is proportional to the Fisher information whose integrand is positive definite. Moreover, this integrand is exactly equal to half of the square of the imaginary part of the momentum, as the integrand of the kinetic energy is equal to half of the square of the real part of the momentum. This suggests a relation between the Fisher information and the thermodynamic like internal energy of the Madelung fluid. Furthermore, it provides a physical linkage between the inverse of the Fisher information and the measure of disorder in quantum systems—in spontaneous adiabatic gas expansion the amount of disorder increases while the internal energy decreases. (shrink)

This paper involves extended b − metric versions of a fractional differential equation, a system of fractional differential equations and two-dimensional linear Fredholm integral equations. By various given hypotheses, exciting results are established in the setting of an extended b − metric space. Thereafter, by making consequent use of the fixed point technique, short and simple proofs are obtained for solutions of a fractional differential equation, a system of fractional differential equations and a two-dimensional (...) linear Fredholm integral equation. (shrink)

In this paper we study a classical and theoretical system which consists of an elastic medium carrying transverse waves and one point-like high elastic medium density, called concretion. We compute the equation of motion for the concretion as well as the wave equation of this system. Afterwards we always consider the case where the concretion is not the wave source any longer. Then the concretion obeys a general and covariant guidance formula, which leads in low-velocity approximation to an (...) equivalent de Broglie-Bohm guidance formula. The concretion moves then as if exists an equivalent quantum potential. A strictly equivalent free Schrödinger equation is retrieved, as well as the quantum stationary states in a linear or spherical cavity. We compute the energy of the concretion, naturally defined from the energy density of the vibrating elastic medium. Provided one condition about the amplitude of oscillation is fulfilled, it strikingly appears that the energy and momentum of the concretion not only are written in the same form as in quantum mechanics, but also encapsulate equivalent relativistic formulas. (shrink)

We introduce the notion of τ-like partial order, where τ is one of the linear order types ω, ω*, ω + ω*, and ζ. For example, being ω-like means that every element has finitely many predecessors, while being ζ-like means that every interval is finite. We consider statements of the form “any τ-like partial order has a τ-like linear extension” and “any τ-like partial order is embeddable into τ” . Working in the framework of reverse mathematics, we show (...) that these statements are equivalent either to equation image or to equation image over the usual base system equation image. (shrink)

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do (...) not provide a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

In 2004 Atserias, Kolaitis, and Vardi proposed $\text {OBDD}$ -based propositional proof systems that prove unsatisfiability of a CNF formula by deduction of an identically false $\text {OBDD}$ from $\text {OBDD}$ s representing clauses of the initial formula. All $\text {OBDD}$ s in such proofs have the same order of variables. We initiate the study of $\text {OBDD}$ based proof systems that additionally contain a rule that allows changing the order in $\text {OBDD}$ s. At first we consider a proof (...) system $\text {OBDD}$ that uses the conjunction rule and the rule that allows changing the order. We exponentially separate this proof system from $\text {OBDD}$ proof system that uses only the conjunction rule. We prove exponential lower bounds on the size of $\text {OBDD}$ refutations of Tseitin formulas and the pigeonhole principle. The first lower bound was previously unknown even for $\text {OBDD}$ proofs and the second one extends the result of Tveretina et al. from $\text {OBDD}$ to $\text {OBDD}$.In 2001 Aguirre and Vardi proposed an approach to the propositional satisfiability problem based on $\text {OBDD}$ s and symbolic quantifier elimination $ algorithms). We augment these algorithms with the operation of reordering of variables and call the new scheme $\text {OBDD}$ algorithms. We notice that there exists an $\text {OBDD}$ algorithm that solves satisfiable and unsatisfiable Tseitin formulas in polynomial time, but we show that there are formulas representing systems of linear equations over $\mathbb {F}_2$ that are hard for $\text {OBDD}$ algorithms. Our hard instances are satisfiable formulas representing systems of linear equations over $\mathbb {F}_2$ that correspond to checksum matrices of error correcting codes. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., (...) in short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Neuroethological investigations of mammalian and avian auditory systems have documented species-specific specializations for processing complex acoustic signals that could, if viewed in abstract terms, have an intriguing and striking relevance for human speech sound categorization and representation. Each species forms biologically relevant categories based on combinatorial analysis of information-bearing parameters within the complex input signal. This target article uses known neural models from the mustached bat and barn owl to develop, by analogy, a conceptualization of human processing of consonant plus (...) vowel sequences that offers a partial solution to the noninvariance dilemma the locus equations orderly output constraint”) is hypothesized based on the notion of an evolutionarily conserved auditory-processing strategy. High correlation and linearity between critical parameters in the speech signal that help to cue place of articulation categories might have evolved to satisfy a preadaptation by mammalian auditory systems for representing tightly correlated, linearly related components of acoustic signals. (shrink)

We present the Dirac and Laplacian operators on Clifford bundles over space–time, associated to metric compatible linear connections of Cartan–Weyl, with trace-torsion, Q. In the case of nondegenerate metrics, we obtain a theory of generalized Brownian motions whose drift is the metric conjugate of Q. We give the constitutive equations for Q. We find that it contains Maxwell’s equations, characterized by two potentials, an harmonic one which has a zero field (Bohm-Aharonov potential) and a coexact term that (...) generalizes the Hertz potential of Maxwell’s equations in Minkowski space.We develop the theory of the Hertz potential for a general Riemannian manifold. We study the invariant state for the theory, and determine the decomposition of Q in this state which has an invariant Born measure. In addition to the logarithmic potential derivative term, we have the previous Maxwellian potentials normalized by the invariant density. We characterize the time-evolution irreversibility of the Brownian motions generated by the Cartan–Weyl laplacians, in terms of these normalized Maxwell’s potentials. We prove the equivalence of the sourceless Maxwell equation on Minkowski space, and the Dirac-Hestenes equation for a Dirac-Hestenes spinor field written on Minkowski space provided with a Cartan–Weyl connection. If Q is characterized by the invariant state of the diffusion process generated on Euclidean space, then the Maxwell’s potentials appearing in Q can be seen alternatively as derived from the internal rotational degrees of freedom of the Dirac-Hestenes spinor field, yet the equivalence between Maxwell’s equation and Dirac-Hestenes equations is valid if we have that these potentials have only two components corresponding to the spin-plane. We present Lorentz-invariant diffusion representations for the Cartan–Weyl connections that sustain the equivalence of these equations, and furthermore, the diffusion of differential forms along these Brownian motions. We prove that the construction of the relativistic Brownian motion theory for the flat Minkowski metric, follows from the choices of the degenerate Clifford structure and the Oron and Horwitz relativistic Gaussian, instead of the Euclidean structure and the orthogonal invariant Gaussian. We further indicate the random Poincaré–Cartan invariants of phase-space provided with the canonical symplectic structure. We introduce the energy-form of the exact terms of Q and derive the relativistic quantum potential from the groundstate representation. We derive the field equations corresponding to these exact terms from an average on the invariant state Cartan scalar curvature, and find that the quantum potential can be identified with 1 / 12R(g), where R(g) is the metric scalar curvature. We establish a link between an anisotropic noise tensor and the genesis of a gravitational field in terms of the generalized Brownian motions. Thus, when we have a nontrivial curvature, we can identify the quantum nonlocal correlations with the gravitational field. We discuss the relations of this work with the heat kernel approach in quantum gravity. We finally present for the case of Q restricted to this exact term a supersymmetric system, in the classical sense due to E.Witten, and discuss the possible extensions to include the electromagnetic potential terms of Q. (shrink)

The new mathematical connection of De Donder’s differential entropy production with the differential changes of thermodynamic potentials (Helmholtz free energy, enthalpy, and Gibbs free energy) was obtained through the linear sequence of equations (direct, straightforward path), in which we use rigorous thermodynamic definitions of the partial molar thermodynamic properties. This new connection uses a global approach to the problem of reversibility and irreversibility, which is vital to global learners’ view and standardizes the linking procedure for thermodynamic potentials (Helmholtz (...) free energy, enthalpy, and and Gibbs free energy)—preferably to the sensing learners. It is shown that De Donder’s differential entropy production in an isolated composite system is equal to the differential change in total entropy and that De Donder’s equation agrees with Clausius’ inequality. The useful work of the irreversible process is discussed, which with the decrease of irreversibility tends towards the hypothetical maximum useful work of the reversible process. (shrink)

There is a similarity between the most technical scientific reasoning and the most humanistic literary reasoning. While engineers and historians make use of both metaphors and stories, engineers specialize in metaphors, and historians in stories. Placing metaphor, or pure comparison, at one end of a scale and simply a listing of events, or pure story, at the other, it can be seen that what connects them is a theme. The theme providing the connecting link between poles for both the engineer (...) and the historian is time. Themes in engineering that mention time are those titled differential equations. The differential equation is story-like because it speaks of time and therefore organizes experience in time, at least implicitly. Time- speaking themes shape the raw experience, as a story does when it is more than a mere unthematized chronicle. The chaotic nature of non-linear differential equations parallels the chaotic nature of history in that large results need not have large causes. Narration becomes difficult in chaotic systems because the knowledge of initial conditions is rarely sufficiently detailed to allow for accurate explanation or prediction for either engineers or historians. (shrink)

There exist two conjectures for constraint satisfaction problems of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities satisfied by its polymorphisms clone, together with the natural (...) uniformity on it, being nontrivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that [Formula: see text]-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking another approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a nontrivial system of linear identities, and obtain nontrivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every [Formula: see text]-categorical structure is homomorphically equivalent to a model-complete core. (shrink)

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.

Newtonian and Machian aspects of the stationary gravitational field are brought into formal analogy with a stationary electromagnetic field. The electromagnetic vector potential equals (up to a factor) the timelike Killing vector field. The current density is given by the contraction of the Killing vector with the Ricci tensor. A coordinate-dependent split in electric and magnetic field vectors is given, and some results of classical electrodynamics are used to illustrate the analogy. In the linearized theory, the usual Maxwell equations (...) are obtained. The analogy also holds from the point of view of particle motion. The geodesic equation is brought into a special form that exhibits an analog to the Lorentz force. Two examples (which have played an important role in the theoretical discovery of Machian effects) are considered. (shrink)

With the advent of computers in the experimental labs, dynamic systems have become a new tool for research on problem solving and decision making. A short review of this research is given and the main features of these systems (connectivity and dynamics) are illustrated. To allow systematic approaches to the influential variables in this area, two formal frameworks (linear structural equations and finite state automata) are presented. Besides the formal background, the article sets out how the task demands (...) of system identification and system control can be realised in these environments, and how psychometrically acceptable dependent variables can be derived. (shrink)

There is a constructive method to define a structure of simple k -cyclic Post algebra of order p , L p , k , on a given finite field F ( p k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) (...) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) = R for every $${R \in \mathcal{V}(F(p^k))}$$. In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

Aggregation of variables allows to approximate a large scale dynamical system (the micro-system) involving many variables into a reduced system (the macro-system) described by a few number of global variables. Approximate aggregation can be performed when different time scales are involved in the dynamics of the micro-system. Perturbation methods enable to approximate the large micro-system by a macro-system going on at a slow time scale. Aggregation has been performed for systems of ordinary differential (...) equations in which time is a continuous variable. In this contribution, we extend aggregation methods to time-discrete models of population dynamics. Time discrete micro-models with two time scales are presented. We use perturbation methods to obtain a slow macro-model. The asymptotic behaviours of the micro and macro-systems are characterized by the main eigenvalues and the associated eigenvectors. We compare the asymptotic behaviours of both systems which are shown to be similar to a certain order. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and different (...) approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

The spiral form of the Periodic Law is proposed as its fundamental graphic representation. This idea is based on the fact that the spiral is the most appropriate form in description transitions from simple to complicated. The spiral is easily obtained from the linear succession of the elements when they are ranged by growing nuclear charge. The spiral can be simply transformed into many other graphic representations, including tables. This paper suggests the conception of the autonomy of blocks. This (...) autonomy is clearly seen in the variation of the outer electronic shells, in the width and the height of the blocks, as well as the number and properties of elements included therein. The regularities in the changes of element properties are pronounced in certain blocks but actually absent in others. The blocks can be permuted to obtain full-fledged versions of Periodic Table. The new stage of the verification of the blocks autonomy is the use of the total number of the differentiating electrons as an independent variable in describing the properties of the elements and their compounds. Consideration of individual blocks made it possible to deduce the periodic equations valid for all the elements within each block. Formulation of the Periodic Law is advanced: while describing characteristic determining the properties of the elements, the nuclear charge is replaced by the total number of differentiating electrons. Two modifications of the conventional Periodic Table are obtained by minimal changes. The first one shows the secondary and the additional periodicites. Another table shows the total number of differentiating electrons for each element. (shrink)

We present conclusions and open problems raising from studying solving equations over unary algebras. We suggest areas that are most promising for expanding our knowledge.

A quantization procedure without Hamiltonian is reported which starts from a statistical ensemble of particles of mass m and an associated continuity equation. The basic variables of this theory are a probability density ρ, and a scalar field S which defines a probability current j=ρ ∇ S/m. A first equation for ρ and S is given by the continuity equation. We further assume that this system may be described by a linear differential equation for a complex-valued state variable (...) χ. Using these assumptions and the simplest possible Ansatz χ(ρ,S), for the relation between χ and ρ,S, Schrödinger’s equation for a particle of mass m in a mechanical potential V(q,t) is deduced. For simplicity the calculations are performed for a single spatial dimension (variable q). Using a second Ansatz χ(ρ,S,q,t), which allows for an explicit q,t-dependence of χ, one obtains a generalized Schrödinger equation with an unusual external influence described by a time-dependent Planck constant. All other modifications of Schrödinger’ equation obtained within this Ansatz may be eliminated by means of a gauge transformation. Thus, this second Ansatz may be considered as a generalized gauging procedure. Finally, making a third Ansatz, which allows for a non-unique external q,t-dependence of χ, one obtains Schrödinger’s equation with electrodynamic potentials A,φ in the familiar gauge coupling form. This derivation shows a deep connection between non-uniqueness, quantum mechanics and the form of the gauge coupling. A possible source of the non-uniqueness is pointed out. (shrink)

This paper investigates the bipartite consensus of linear discrete-time multiagent systems with exogenous disturbances. A discrete-time disturbance-observer- based technology is involved for attenuating the exogenous disturbances. And both the state feedback and observer-based output feedback bipartite consensus protocols are proposed by using the DTDO method. It turned out that bipartite consensus can be realized under the given protocols if the topology is connected and structurally balanced. Finally, numerical simulations are presented to illustrate the theoretical findings.

In this paper we introduce the notion of a set algebra $\mathscr{S}$ satisfying a system $\mathscr{E}$ equations. After defining a notion of freeness for such algebras, we show that, for any system $\mathscr{E}$ of equations, set algebras that are free in the class of structures satisfying $\mathscr{E}$ exist and are unique up to a bisimulation. Along the way, analogues of classical set-theoretic and algebraic properties are investigated.

We consider the equationally orderable quasivarieties and associate with them deductive systems defined using the order. The method of definition of these deductive systems encompasses the definition of logics preserving degrees of truth we find in the research areas of substructural logics and mathematical fuzzy logic. We prove several general results, for example that the deductive systems so defined are finitary and that the ones associated with equationally orderable varieties are congruential.

There is a constructive method to define a structure of simple k-cyclic Post algebra of order p, L p,κ, on a given finite field F, and conversely. There exists an interpretation Ф₁ of the variety V generated by L p,κ into the variety V) generated by F and an interpretation Ф₂ of V) into V such that Ф₂Ф₁ = B for every B ϵ V and Ф₁₂ = R for every R ϵ V). In this paper we show how we (...) can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)

A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as (...) special instances from the uniform calculus. Other instances give all the invertibilities and partial invertibilities for the sequent calculus rules of linear logic. The calculus is normalizing and satisfies the subformula property for normal derivations. (shrink)

In this paper we introduce the notion of a set algebra S satisfying a system E of equations. After defining a notion of freeness for such algebras, we show that, for any system E of equations, set algebras that are free in the class of structures satisfying E exist and are unique up to a bisimulation. Along the way, analogues of classical set-theoretic and algebraic properties are investigated.

In a series of recent papers, two of which appeared in this journal, a group of philosophers, physicists, and climate scientists have argued that something they call the `hawkmoth effect' poses insurmountable difficulties for those who would use non-linear models, including climate simulation models, to make quantitative predictions or to produce `decision-relevant probabilites.' Such a claim, if it were true, would undermine much of climate science, among other things. Here, we examine the two lines of argument the group has (...) used to support their claims. The first comes from a set of results in dynamical systems theory associated with the concept of `structural stability.' The second relies on a mathematical demonstration of their own, using the logistic equation, that they present using a hypothetical scenario involving two apprentices of Laplace's omniscient demon. We prove two theorems that are relevant to their claims, and conclude that both of these lines of argument fail. There is nothing out there that comes close to matching the charac. (shrink)