On Varieties of Ordered Automata

The Eilenberg correspondence relates varieties of regular languages to pseudovarieties of finite monoids. Various modifications of this correspondence have been found with more general classes of regular languages on one hand and classes of more complex algebraic structures on the other hand. It is also possible to consider classes of automata instead of algebraic structures as a natural counterpart of classes of languages. Here we deal with the correspondence relating positive $\mathcal C$-varieties of languages to positive $\mathcal C$-varieties of ordered automata and we present various specific instances of this correspondence. These bring certain well-known results from a new perspective and also some new observations. Moreover, complexity aspects of the membership problem are discussed both in the particular examples and in a general setting

Going higher in the First-order Quantifier Alternation Hierarchy on Words

We investigate the quantifier alternation hierarchy in first-order logic on finite words. Levels in this hierarchy are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a regular language to the levels $\mathcal{B}\Sigma_2$ (boolean combination of formulas having only 1 alternation) and $\Sigma_3$ (formulas having only 2 alternations beginning with an existential block). Our proof works by considering a deeper problem, called separation, which, once solved for lower levels, allows us to solve membership for higher levels

THE IMPACT OF DOMESTIC AND FOREIGN MACROECONOMIC VARIABLES ON U.S. MEAT EXPORTS

This paper examines the impact of domestic and foreign macroeconomic variables on U.S. meat exports, including beef, pork, turkey, and chicken, in the context of an open economy. The results show that foreign macroeconomic variables exert more significant and persistent effects on U.S. meat exports than domestic macroeconomic variables. The implication is that the U.S. can increase its meat exports more effectively by expending efforts on international macroeconomic policy coordination rather than on domestic sectoral policy. The results also suggest that macroeconomic models of the agricultural sector should include foreign variables and should not be limited only to domestic ones.International Relations/Trade,

Mechanism of formation of half-doped stripes in underdoped cuprates

Using a variational Monte-Carlo approach with a recently proposed stripe wave function, we showed that the strong correlation included in a t-J-type model has essentially all the necessary ingredients to form these stripes with modulations of charge density, spin magnetization, and pair field. If a perturbative effect of electron-phonon coupling to renormalize the effective mass or the hopping rate of holes is considered with the model, we find the half-doped stripes, which has on the average one half of a hole in one period of charge modulation, to be most stable, energetic wise in the underdoped region, $1/12\leq\delta\leq1/8$. This is in good agreement with the observation in the neutron scattering experiments. We also find long range Coulomb interaction to be less effective in the formation of half-doped stripes.Comment: 4 pages, 4 figure

World on Fire? Democracy, Globalization and Ethnic Violence

Recent studies suggest that democracy and globalization lead to ethnic hatred and violence in countries with a rich ethnic minority. We examine the thesis by Chua (2003) that democratization and globalization lead to ethnic violence in the presence of a market-dominant minority. We use different data sets to measure market dominant minorities and employ panel fixed effects regressions for a sample of 107 countries over the period 1984-2003. Our model contains two-way and three-way interactions to examine under which conditions democracy and globalization increase violence. We find no evidence for a worldwide Chua effect, but we do find support for Chua’s thesis for Sub-Saharan Africa.Globalization, Democracy, Ethnic Violence, Market-dominant minorities

Grand-canonical variational approach for the t-J model

Gutzwiller-projected BCS wave function or the resonating-valence-bond (RVB) state in the 2D extended t-J model is investigated by using the variational Monte Carlo technique. We show that the results of ground-state energy and excitation spectra calculated in the grand-canonical scheme allowing particle number to fluctuate are essentially the same as previous results obtained by fixing the number of particle in the canonical scheme if the grand thermodynamic potential is used for minimization. To account for the effect of Gutzwiller projection, a fugacity factor proposed by Laughlin and Anderson few years ago has to be inserted into the coherence factor of the BCS state. Chemical potential, particle number fluctuation, and phase fluctuation of the RVB state, difficult or even impossible to be calculated in the canonical ensemble, have been directly measured in the grand-canonical picture. We find that except for La-214 materials, the doping dependence of chemical potential is consistent with experimental findings on several cuprates. Similar to what has been reported by scanning tunneling spectroscopy experiments, the tunneling asymmetry becomes much stronger as doping decreases. We found a very large enhancement of phase fluctuation in the underdoped regime.Comment: 9 pages, 6 figure

Spectral Weights, d-wave Pairing Amplitudes, and Particle-hole Tunneling Asymmetry of a Strongly Correlated Superconductor

The spectral weights (SW's) for adding and removing an electron of the Gutzwiller projected d-wave superconducting (SC) state of the t-J-type models are studied numerically on finite lattices. Restrict to the uniform system but treat exactly the strong correlation between electrons, we show that the product of weights is equal to the pairing amplitude squared, same as in the weakly coupled case. In addition, we derive a rigorous relation of SW with doping in the electron doped system and obtain particle-hole asymmetry of the conductance-proportional quantity within the SC gap energy and, also, the anti-correlation between gap sizes and peak heights observed in tunneling spectroscopy on high Tc cuprates.Comment: 4 Revtex pages and 4 .eps figures. Published versio

Most Complex Regular Right-Ideal Languages

A right ideal is a language L over an alphabet A that satisfies L = LA*. We show that there exists a stream (sequence) (R_n : n \ge 3) of regular right ideal languages, where R_n has n left quotients and is most complex under the following measures of complexity: the state complexities of the left quotients, the number of atoms (intersections of complemented and uncomplemented left quotients), the state complexities of the atoms, the size of the syntactic semigroup, the state complexities of the operations of reversal, star, and product, and the state complexities of all binary boolean operations. In that sense, this stream of right ideals is a universal witness.Comment: 19 pages, 4 figures, 1 tabl

Varieties of Cost Functions.

Regular cost functions were introduced as a quantitative generalisation of regular languages, retaining many of their equivalent characterisations and decidability properties. For instance, stabilisation monoids play the same role for cost functions as monoids do for regular languages. The purpose of this article is to further extend this algebraic approach by generalising two results on regular languages to cost functions: Eilenberg's varieties theorem and profinite equational characterisations of lattices of regular languages. This opens interesting new perspectives, but the specificities of cost functions introduce difficulties that prevent these generalisations to be straightforward. In contrast, although syntactic algebras can be defined for formal power series over a commutative ring, no such notion is known for series over semirings and in particular over the tropical semiring