Quantum spacetime and the renormalization group: Progress and visions

The quest for a consistent theory which describes the quantum microstructure of spacetime seems to require some departure from the paradigms that have been followed in the construction of quantum theories for the other fundamental interactions. In this contribution we briefly review two approaches to quantum gravity, namely, asymptotically safe quantum gravity and tensor models, based on different theoretical assumptions. Nevertheless, the main goal is to find a universal continuum limit for such theories and we explain how coarse-graining techniques should be adapted to each case. Finally, we argue that although seemingly different, such approaches might be just two sides of the same coin.Comment: 14 pages, 4 figures, Proceedings of "Progress and Visions in Quantum Theory in View of Gravity: Bridging foundations of physics and mathematics", Leipzig, 201

Constraining Proton Lifetime in SO(10) with Stabilized Doublet-Triplet Splitting

We present a class of realistic unified models based on supersymmetric SO(10) wherein issues related to natural doublet-triplet (DT) splitting are fully resolved. Using a minimal set of low dimensional Higgs fields which includes a single adjoint, we show that the Dimopoulos--Wilzcek mechanism for DT splitting can be made stable in the presence of all higher order operators without having pseudo-Goldstone bosons and flat directions. The \mu term of order TeV is found to be naturally induced. A Z_2-assisted anomalous U(1)_A gauge symmetry plays a crucial role in achieving these results. The threshold corrections to alpha_3(M_Z), somewhat surprisingly, are found to be controlled by only a few effective parameters. This leads to a very predictive scenario for proton decay. As a novel feature, we find an interesting correlation between the d=6 (p\to e^+\pi^0) and d=5 (p\to \nu-bar K+) decay amplitudes which allows us to derive a constrained upper limit on the inverse rate of the e^+\pi^0 mode. Our results show that both modes should be observed with an improvement in the current sensitivity by about a factor of five to ten.Comment: 21 pages LaTeX, 2 figures, Few explanatory sentences and three new references added, minor typos corrected

Analysis of food components of freeze-dried Alaska Pollack (Hwangtae)

Physiochemical properties of freeze-dried Alaska Pollack (Hwangtae) were investigated. The moisture, crude ash and crude fat content of Hwangtae were 12.53, 5.91 and 0.94%, respectively. Contents of saccharides were found to be 3.69 mg/100 g in dried weight of glucose and 5.71 mg/100 g in dried weight of sucrose. Minerals in 100 g dry weight of Hwangtae include phosphorus (806.5 mg), calcium (612.7 mg), potassium (442.2 mg), sodium (283.5 mg), magnesium (89.9 mg), zinc (1.9 mg), iron (0.8 mg), manganese (0.3 mg) and aluminum (0.2 mg), respectively. Glutamic acid and aspartic acid were the major amino acids, containing 925.4 and 644.7 mol/g in dried weight, respectively. Fatty acids in Hwangtae were composed of monounsaturated fatty acids, polyunsaturated fatty acids and saturated fatty acids, containing 16.3, 41.2 and 42.5%, respectively. Our results suggested that this Hwangtae, a freeze-dried fish, can be used as a good nutrition source for human health

Choosing the lesser of two evils, the better of two goods: Specifying the roles of ventromedial prefrontal cortex and dorsal anterior cingulate in object choice

The ventromedial prefrontal cortex (vmPFC) and dorsal anterior cingulate cortices (ACd) are considered important for reward-based decision making. However, work distinguishing their individual functional contributions has only begun. One aspect of decision making that has received little attention is that making the right choice often translates to making the better choice. Thus, response choice often occurs in situations where both options are desirable (e.g., choosing between mousse au chocolat or crème caramel cheesecake from a menu) or, alternatively, in situations where both options are undesirable. Moreover, response choice is easier when the reinforcements associated with the objects are far apart, rather than close together, in value. We used functional magnetic resonance imaging to delineate the functional roles of the vmPFC and ACd by investigating these two aspects of decision making: (1) decision form (i.e., choosing between two objects to gain the greater reward or the lesser punishment), and (2) between-object reinforcement distance (i.e., the difference in reinforcements associated with the two objects). Blood oxygen level-dependent (BOLD) responses within the ACd and vmPFC were both related to decision form but differentially. Whereas ACd showed greater responses when deciding between objects to gain the lesser punishment, vmPFC showed greater responses when deciding between objects to gain the greater reward. Moreover, vmPFC was sensitive to reinforcement expectations associated with both the chosen and the forgone choice. In contrast, BOLD responses within ACd, but not vmPFC, related to between-object reinforcement distance, increasing as the distance between the reinforcements of the two objects decreased. These data are interpreted with reference to models of ACd and vmPFC functioning

On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism

In this paper we address the problem of the uniform random generation of non deterministic automata (NFA) up to isomorphism. First, we show how to use a Monte-Carlo approach to uniformly sample a NFA. Secondly, we show how to use the Metropolis-Hastings Algorithm to uniformly generate NFAs up to isomorphism. Using labeling techniques, we show that in practice it is possible to move into the modified Markov Chain efficiently, allowing the random generation of NFAs up to isomorphism with dozens of states. This general approach is also applied to several interesting subclasses of NFAs (up to isomorphism), such as NFAs having a unique initial states and a bounded output degree. Finally, we prove that for these interesting subclasses of NFAs, moving into the Metropolis Markov chain can be done in polynomial time. Promising experimental results constitute a practical contribution.Comment: Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223, pp.12, 2015, Implementation and Application of Automata - 20th International Conferenc

A NOVEL APPROACH FOR FINDING DIABETIC MELLITUS USING ENSEMBLE MODEL FOR AN OPTIMIZED CLASSIFICATION

  Diabetic mellitus is a chronic disease caused by hyperglycemia which should be treated with high care and medications. The objective of this work is to identify and classify the severity of the diabetic disease using the training data set. This is caused due to the defect in insulin secretion that may affect several organs in the body. Blood pressure and diabetic mellitus are the common twin diseases occurred in about 69.2 million people living in India around 8.7% of the population as per the data resealed in the year 2015. Correct diet, regular exercise will control disease to a great extent. In this research paper the applied methodology is a concurrent classifier for the diabetic mellitus and the results are analyzed with the supervised learning. From the University of California and Irvine repository related attributes for the diabetic mellitus are carefully measured through the ensemble classifier and the results are categorized in the dataset. This work results that boosting can be made to the dataset for obtaining accurate results and classifications. In the conclusion, ensemble methodology is the well proven methodology from the year 1993. For forecasting in N†number of domains, so for the ensemble classifier produces 93% of the accurate results are made. An audit can be made on the results and suggestions are given to the patients for taking medications with the help of medical practitioners

The Łojasiewicz exponent over a field of arbitrary characteristic

Let K be an algebraically closed field and let K((XQ)) denote the field of generalized series with coefficients in K. We propose definitions of the local Łojasiewicz exponent of F = ( f1, . . . , fm) ∈ K[[X, Y ]]m as well as of the Łojasiewicz exponent at infinity of F = ( f1, . . . , fm) ∈ K[X, Y ]m, which generalize the familiar case of K = C and F ∈ C{X, Y }m (resp. F ∈ C[X, Y ]m), see Cha˛dzy´nski and Krasi´nski (In: Singularities, 1988; In: Singularities, 1988; Ann Polon Math 67(3):297–301, 1997; Ann Polon Math 67(2):191–197, 1997), and prove some basic properties of such numbers. Namely, we show that in both cases the exponent is attained on a parametrization of a component of F (Theorems 6 and 7), thus being a rational number. To this end, we define the notion of the Łojasiewicz pseudoexponent of F ∈ (K((XQ))[Y ])m for which we give a description of all the generalized series that extract the pseudoexponent, in terms of their jets. In particular, we show that there exist only finitely many jets of generalized series giving the pseudoexponent of F (Theorem 5). The main tool in the proofs is the algebraic version of Newton’s Polygon Method. The results are illustrated with some explicit examples

Spatial modelling of bacterial diversity over the selected regions in Bangladesh by next-generation sequencing: role of water temperature

In this study, a spatial model has been developed to investigate the role of water temperature to the distribution of bacteria over the selected regions in the Bay of Bengal, located in the southern region of Bangladesh using next-generation sequencing. Bacterial concentration, quantitative polymerase chain reactions, and sequencing were performed on water samples and identified Acidobacteria, Actinobacteria, Bacteroidetes, Chlorobi, Chloroflexi, Cyanobacteria, Firmicutes, Nitrospirae, Planctomycetes, Proteobacteria, and Verrucomicrobia. The spatial model tessellated the parts of the Bay of Bengal with hexagons and analyzed the relationship between the distribution of bacteria and water temperature. A geographically weighted regression was used to observe whether water temperature contributed strongly or weakly to the distribution of bacteria. The residuals were examined to assess the model’s fitness. The spatial model has the potential to predict the bacterial diversity in the selected regions of Bangladesh

Formal Availability Analysis using Theorem Proving

Availability analysis is used to assess the possible failures and their restoration process for a given system. This analysis involves the calculation of instantaneous and steady-state availabilities of the individual system components and the usage of this information along with the commonly used availability modeling techniques, such as Availability Block Diagrams (ABD) and Fault Trees (FTs) to determine the system-level availability. Traditionally, availability analyses are conducted using paper-and-pencil methods and simulation tools but they cannot ascertain absolute correctness due to their inaccuracy limitations. As a complementary approach, we propose to use the higher-order-logic theorem prover HOL4 to conduct the availability analysis of safety-critical systems. For this purpose, we present a higher-order-logic formalization of instantaneous and steady-state availability, ABD configurations and generic unavailability FT gates. For illustration purposes, these formalizations are utilized to conduct formal availability analysis of a satellite solar array, which is used as the main source of power for the Dong Fang Hong-3 (DFH-3) satellite.Comment: 16 pages. arXiv admin note: text overlap with arXiv:1505.0264