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

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

On FO2 quantifier alternation over words

We show that each level of the quantifier alternation hierarchy within FO^2[<] -- the 2-variable fragment of the first order logic of order on words -- is a variety of languages. We then use the notion of condensed rankers, a refinement of the rankers defined by Weis and Immerman, to produce a decidable hierarchy of varieties which is interwoven with the quantifier alternation hierarchy -- and conjecturally equal to it. It follows that the latter hierarchy is decidable within one unit: given a formula alpha in FO^2[<], one can effectively compute an integer m such that alpha is equivalent to a formula with at most m+1 alternating blocks of quantifiers, but not to a formula with only m-1 blocks. This is a much more precise result than what is known about the quantifier alternation hierarchy within FO[<], where no decidability result is known beyond the very first levels

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

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,

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

HCT116 colorectal liver metastases exacerbate muscle wasting in a mouse model for the study of colorectal cancer cachexia

Colorectal cancer (CRC) is often accompanied by formation of liver metastases (LM) and skeletal muscle wasting, i.e. cachexia. Despite affecting the majority of CRC patients, cachexia remains underserved, understudied and uncured. Animal models for the study of CRC-induced cachexia, in particular models containing LM, are sparse; therefore, we aimed to characterize two new models of CRC cachexia. Male NSG mice were injected subcutaneously (HCT116) or intrasplenically (mHCT116) with human HCT116 CRC tumor cells to disseminate LM, whereas experimental controls received saline (n=5-8/group). Tumor growth was accompanied by loss of skeletal muscle mass (HCT116: -20%; mHCT116: -31%; quadriceps muscle) and strength (HCT116: -20%; mHCT116: -27%), with worsened loss of skeletal muscle mass in mHCT116 compared with HCT116 (gastrocnemius: -19%; tibialis anterior: -22%; quadriceps: -21%). Molecular analyses revealed elevated protein ubiquitination in HCT116, whereas mHCT116 also displayed elevated Murf1 and atrogin-1 expression, along with reduced mitochondrial proteins PGC1α, OPA1, mitofusin 2 and cytochrome C. Further, elevated IL6 levels were found in the blood of mHCT116 hosts, which was associated with higher phosphorylation of STAT3 in skeletal muscle. To clarify whether STAT3 was a main player in muscle wasting in this model, HCT116 cells were co-cultured with C2C12 myotubes. Marked myotube atrophy (-53%) was observed, along with elevated phospho-STAT3 levels (+149%). Conversely, inhibition of STAT3 signaling by means of a JAK/STAT3 inhibitor was sufficient to rescue myotube atrophy induced by HCT116 cells (+55%). Overall, our results indicate that the formation of LM exacerbates cachectic phenotype and associated skeletal muscle molecular alterations in HCT116 tumor hosts