High Temperature Partition Function of the Rigid String

We find that the high temperature limit of the free energy per unit length for the rigid string agrees dimensionally with that of the QCD string (unlike the Nambu-Goto string). The sign, and in fact the phase, do not agree. While this may be a clue to a string theory of QCD, we note that the problem of the fourth derivative action makes it impossible for the rigid string to be a correct description.Comment: 7 page

Comparative transcriptomics reveals key differences in the response to milk oligosaccharides of infant gut-associated bifidobacteria.

Breast milk enhances the predominance of Bifidobacterium species in the infant gut, probably due to its large concentration of human milk oligosaccharides (HMO). Here we screened infant-gut isolates of Bifidobacterium longum subsp. infantis and Bifidobacterium bifidum using individual HMO, and compared the global transcriptomes of representative isolates on major HMO by RNA-seq. While B. infantis displayed homogeneous HMO-utilization patterns, B. bifidum were more diverse and some strains did not use fucosyllactose (FL) or sialyllactose (SL). Transcriptomes of B. bifidum SC555 and B. infantis ATCC 15697 showed that utilization of pooled HMO is similar to neutral HMO, while transcriptomes for growth on FL were more similar to lactose than HMO in B. bifidum. Genes linked to HMO-utilization were upregulated by neutral HMO and SL, but not by FL in both species. In contrast, FL induced the expression of alternative gene clusters in B. infantis. Results also suggest that B. bifidum SC555 does not utilize fucose or sialic acid from HMO. Surprisingly, expression of orthologous genes differed between both bifidobacteria even when grown on identical substrates. This study highlights two major strategies found in Bifidobacterium species to process HMO, and presents detailed information on the close relationship between HMO and infant-gut bifidobacteria

Torsion and Nonmetricity in Scalar-Tensor Theories of Gravity

We show that the gravitational field equations derived from an action composed of i) an arbitrary function of the scalar curvature and other scalar fields plus ii) connection-independent kinetic and source terms, are identical whether one chooses nonmetricity to vanish and have non-zero torsion or vice versa.Comment: 10 page

Approaching the Coverability Problem Continuously

The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.Comment: 18 pages, 4 figure