On the Hierarchy of Block Deterministic Languages

A regular language is $k$-lookahead deterministic (resp. $k$-block deterministic) if it is specified by a $k$-lookahead deterministic (resp. $k$-block deterministic) regular expression. These two subclasses of regular languages have been respectively introduced by Han and Wood ($k$-lookahead determinism) and by Giammarresi et al. ($k$-block determinism) as a possible extension of one-unambiguous languages defined and characterized by Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the inclusion links of these families. We first show that each $k$-block deterministic language is the alphabetic image of some one-unambiguous language. Moreover, we show that the conversion from a minimal DFA of a $k$-block deterministic regular language to a $k$-block deterministic automaton not only requires state elimination, and that the proof given by Han and Wood of a proper hierarchy in $k$-block deterministic languages based on this result is erroneous. Despite these results, we show by giving a parameterized family that there is a proper hierarchy in $k$-block deterministic regular languages. We also prove that there is a proper hierarchy in $k$-lookahead deterministic regular languages by studying particular properties of unary regular expressions. Finally, using our valid results, we confirm that the family of $k$-block deterministic regular languages is strictly included into the one of $k$-lookahead deterministic regular languages by showing that any $k$-block deterministic unary language is one-unambiguous

Wigner's little group, gauge transformations and dimensional descent

We propose a technique called dimensional descent to show that Wigner's little group for massless particles, which acts as a generator of gauge transformation for usual Maxwell theory, has an identical role even for topologically massive gauge theories. The examples of $B\wedge F$ theory and Maxwell-Chern-Simons theory are analyzed in details.Comment: LaTex, revised version shortened to 9 pages; To appear in Jour.Phys.

Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Stretching Instability of Helical Spring

We show that when a gradually increasing tensile force is applied to the ends of a helical spring with sufficiently large ratios of radius to pitch and twist to bending rigidity, the end-to-end distance undergoes a sequence of discontinuous stretching transitions. Subsequent decrease of the force leads to step-like contraction and hysteresis is observed. For finite helices, the number of these transitions increases with the number of helical turns but only one stretching and one contraction instability survive in the limit of an infinite helix. We calculate the critical line that separates the region of parameters in which the deformation is continuous from that in which stretching instabilities occur, and propose experimental tests of our predictions.Comment: 5 pages, 4 figure

Modeling symbiotic biological nitrogen fixation in grain legumes globally with LPJ-GUESS (v4.0, r10285)

Biological nitrogen fixation (BNF) from grain legumes is of significant importance in global agricultural ecosystems. Crops with BNF capability are expected to support the need to increase food production while reducing nitrogen (N) fertilizer input for agricultural sustainability, but quantification of N fixing rates and BNF crop yields remains inadequate on a global scale. Here we incorporate two legume crops (soybean and faba bean) with BNF into a dynamic vegetation model LPJ-GUESS (Lund–Potsdam–Jena General Ecosystem Simulator). The performance of this new implementation is evaluated against observations from a range of water and N management trials. LPJ-GUESS generally captures the observed response to these management practices for legume biomass production, soil N uptake, and N fixation, despite some deviations from observations in some cases. Globally, simulated BNF is dominated by soil moisture and temperature, as well as N fertilizer addition. Annual inputs through BNF are modeled to be 11.6±2.2 Tg N for soybean and 5.6±1.0 Tg N for all pulses, with a total fixation of 17.2±2.9 Tg N yr$^{-1}$ for all grain legumes during the period 1981–2016 on a global scale. Our estimates show good agreement with some previous statistical estimates but are relatively high compared to some estimates for pulses. This study highlights the importance of accounting for legume N fixation process when modeling C–N interactions in agricultural ecosystems, particularly when it comes to accounting for the combined effects of climate and land-use change on the global terrestrial N cycle

Dual Projection and Selfduality in Three Dimensions

We discuss the notion of duality and selfduality in the context of the dual projection operation that creates an internal space of potentials. Contrary to the prevailing algebraic or group theoretical methods, this technique is applicable to both even and odd dimensions. The role of parity in the kernel of the Gauss law to determine the dimensional dependence is clarified. We derive the appropriate invariant actions, discuss the symmetry groups and their proper generators. In particular, the novel concept of duality symmetry and selfduality in Maxwell theory in (2+1) dimensions is analysed in details. The corresponding action is a 3D version of the familiar duality symmetric electromagnetic theory in 4D. Finally, the duality symmetric actions in the different dimensions constructed here manifest both the SO(2) and $Z_2$ symmetries, contrary to conventional results.Comment: 20 pages, late

A condensed matter interpretation of SM fermions and gauge fields

We present the bundle Aff(3) x C x /(R^3), with a geometric Dirac equation on it, as a three-dimensional geometric interpretation of the SM fermions. Each C x /(R^3) describes an electroweak doublet. The Dirac equation has a doubler-free staggered spatial discretization on the lattice space Aff(3) x C (Z^3). This space allows a simple physical interpretation as a phase space of a lattice of cells in R^3. We find the SM SU(3)_c x SU(2)_L x U(1)_Y action on Aff(3) x C x /(R^3) to be a maximal anomaly-free special gauge action preserving E(3) symmetry and symplectic structure, which can be constructed using two simple types of gauge-like lattice fields: Wilson gauge fields and correction terms for lattice deformations. The lattice fermion fields we propose to quantize as low energy states of a canonical quantum theory with Z_2-degenerated vacuum state. We construct anticommuting fermion operators for the resulting Z_2-valued (spin) field theory. A metric theory of gravity compatible with this model is presented too.Comment: Minimal modifications in comparison with the published versio

On the Monadic Second-Order Transduction Hierarchy

We compare classes of finite relational structures via monadic second-order transductions. More precisely, we study the preorder where we set C \subseteq K if, and only if, there exists a transduction {\tau} such that C\subseteq{\tau}(K). If we only consider classes of incidence structures we can completely describe the resulting hierarchy. It is linear of order type {\omega}+3. Each level can be characterised in terms of a suitable variant of tree-width. Canonical representatives of the various levels are: the class of all trees of height n, for each n \in N, of all paths, of all trees, and of all grids

Thermal Fluctuations of Elastic Filaments with Spontaneous Curvature and Torsion

We study the effects of thermal flucutations on thin elastic filaments with spontaneous curvature and torsion. We derive analytical expressions for the orientational correlation functions and for the persistence length of helices, and find that this length varies non-monotonically with the strength of thermal fluctuations. In the weak fluctuation regime, the persistence length of a spontaneously twisted helix has three resonance peaks as a function of the twist rate. In the limit of strong fluctuations, all memory of the helical shape is lost.Comment: 1 figur