title: The Log-Behavior of $\sqrt[n]{p(n)}$ and $\sqrt[n]{p(n)/n}$

abstract: Let $p(n)$ denote the partition function. Desalvo and Pak proved the log-concavity of $p(n)$ for $n>25$ and the inequality $\frac{p(n-1)}{p(n)}\left(1+\frac{1}{n}\right)>\frac{p(n)}{p(n+1)}$ for $n>1$. Let $r(n)=\sqrt[n]{p(n)/n}$ and $\Delta$ be the difference operator respect to $n$. Desalvo and Pak pointed out that their approach to proving the log-concavity of $p(n)$ may be employed to prove a conjecture of Sun on the log-convexity of $\{r(n)\}_{n\geq 61}$, as long as one finds an appropriate estimate of $\Delta^2 \log r(n-1)$. In this paper, we obtain a lower bound for $\Delta^2\log r(n-1)$, leading to a proof of this conjecture. From the log-convexity of $\{r(n)\}_{n\geq61}$ and $\{\sqrt[n]{n}\}_{n\geq4}$, we are led to a proof of another conjecture of Sun on the log-convexity of $\{\sqrt[n]{p(n)}\}_{n\geq27}$. Furthermore, we show that $\lim\limits_{n \rightarrow +\infty}n^{\frac{5}{2}}\Delta^2\log\sqrt[n]{p(n)}=3\pi/\sqrt{24}$. Finally, by finding an upper bound of $\Delta^2 \log\sqrt[n-1]{p(n-1)}$, we prove an inequality on the ratio $\frac{\sqrt[n-1]{p(n-1)}}{\sqrt[n]{p(n)}}$ analogous to the above inequality on the ratio $\frac{p(n-1)}{p(n)}$.


title: On the T-leaves of some Poisson structures related to products of flag varieties

abstract: For a connected abelian Lie group T acting on a Poisson manifold (Y,{\pi}) by Poisson isomorphisms, the T-leaves of {\pi} in Y are, by definition, the orbits of the symplectic leaves of {\pi} under T, and the leaf stabilizer of a T-leaf is the subspace of the Lie algebra of T that is everywhere tangent to all the symplectic leaves in the T-leaf. In this paper, we first develop a general theory on T-leaves and leaf stabilizers for a class of Poisson structures defined by Lie bialgebra actions and quasitriangular r-matrices. We then apply the general theory to four series of holomorphic Poisson structures on products of flag varieties and related spaces of a complex semi-simple Lie group G. We describe their T-leaf decompositions, where T is a maximal torus of G, in terms of (open) extended Richardson varieties and extended double Bruhat cells associated to conjugacy classes of G, and we compute their leaf stabilizers and the dimension of the symplectic leaves in each T -leaf.


title: On the immersed submanifolds in the unit sphere with parallel Blaschke tensor

abstract: As is known, the Blaschke tensor $A$ (a symmetric covariant $2$-tensor) is one of the fundamental M\"obius invariants in the M\"obius differential geometry of submanifolds in the unit sphere $\mathbb S^n$, and the eigenvalues of $A$ are referred to as the Blaschke eigenvalues. In this paper, we shall prove a classification theorem for immersed umbilic-free submanifolds in $\mathbb S^n$ with a parallel Blaschke tensor. For proving this classification, some new kinds of examples are first defined.


title: Ferromagnetic instability of interlayer floating electrons in quasi-two-dimensional electride Y$_2$C

abstract: Ab initio electronic structure calculations show that the recently identified quasi-two-dimensional electride Y$_2$C is a weak itinerant ferromagnet or at least close to a ferromagnetic instability. The ferromagnetism is induced by the electride electrons, which are loosely bound around interstitial sites and overlap with each other to form two-dimensional interlayer conduction bands. The semimetallicity and two-dimensionality of the band structure are the key to understanding this ferromagnetic instability.


title: Modeling the Interplay Between Individual Behavior and Network Distributions

abstract: It is well-known that many networks follow a power-law degree distribution; however, the factors that influence the formation of their distributions are still unclear. How can one model the connection between individual actions and network distributions? How can one explain the formation of group phenomena and their evolutionary patterns? In this paper, we propose a unified framework, M3D, to model human dynamics in social networks from three perspectives: macro, meso, and micro. At the micro-level, we seek to capture the way in which an individual user decides whether to perform an action. At the meso-level, we study how group behavior develops and evolves over time, based on individual actions. At the macro-level, we try to understand how network distributions such as power-law (or heavy-tailed phenomena) can be explained by group behavior. We provide theoretical analysis for the proposed framework, and discuss the connection of our framework with existing work. The framework offers a new, flexible way to explain the interplay between individual user actions and network distributions, and can benefit many applications. To model heavy-tailed distributions from partially observed individual actions and to predict the formation of group behaviors, we apply M3D to three different genres of networks: Tencent Weibo, Citation, and Flickr. We also use information-burst prediction as a particular application to quantitatively evaluate the predictive power of the proposed framework. Our results on the Weibo indicate that M3D's prediction performance exceeds that of several alternative methods by up to 30\%.


title: Symmetry Fractionalization in Three-Dimensional $\mathbb{Z}_2$ Topological Order and Fermionic Symmetry-Protected Phases

abstract: In two-dimensional topological phases, quasiparticle excitations can carry fractional symmetry quantum numbers. We generalize this notion of symmetry fractionalization to three-dimensional topological phases, in particular to loop excitations, and propose a partial classification for symmetry-enriched $\mathbb{Z}_2$ toric code phase. We apply the results to the classification of fermionic symmetry-protected topological phases in three dimensions.


title: Towards automated web application logic reconstruction for application level security

abstract: Modern overlay security mechanisms like Web Application Firewalls (WAF) suffer from inability to recognize custom high-level application logic and data objects, which results in low accuracy, high false positives rates, and overhelming manual effort for fine tuning. In this paper we propose an approach to web application modeling for security purposes that could help next-generation WAFs to adapt to specific web applications, and do it automatically whenever possible. We aim at creating multi-layer models that adequately simulate various aspects of web application functionality that are significant for intrusion detection and prevention, including request parsing and routing, reconstruction of actions and data objects, and action interdependencies.


title: The Lockman Hole with LOFAR - Searching for GPS and CSS sources at low frequencies

abstract: The Lockman Hole Project is a wide international collaboration aimed at exploiting the multi-band extensive and deep information available for the Lockman Hole region, with the aim of better characterizing the physical and evolutionary properties of the various source populations detected in deep radio fields. Recent observations with the LOw-Frequency ARray (LOFAR) extends the multi-frequency radio information currently available for the Lockman Hole (from 350 MHz up to 15 GHz) down to 150 MHz, allowing us to explore a new radio spectral window for the faint radio source population. These LOFAR observations allow us to study the population of sources with spectral peaks at lower radio frequencies, providing insight into the evolution of GPS and CSS sources. In this general framework, I present preliminary results from 150 MHz LOFAR observations of the Lockman Hole field.


title: Properties of Relationships among objects in Object-Oriented Software Design

abstract: One of the modern paradigms to develop a system is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles. After identifying objects, the various relationships among objects must be identified. This paper makes a literature review over relationships among objects. Mainly, the relationships are three basic types, including generalization/specialization, aggregation and association.This paper presents five taxonomies for properties of the relationships. The first taxonomy is based on temporal view. The second taxonomy is based on structure and the third one relies on behavioral. The fourth taxonomy is specified on mathematical view and fifth one related to the interface. Additionally, the properties of the relationships are evaluated in a case study and several recommendations are proposed.


abstract: Invariant Einstein metrics on generalized Wallach spaces have been classified except $SO(k+l+m)/SO(k)\times SO(l)\times SO(m)$. In this paper, we give a survey on the study of invariant Einstein metrics on generalized Wallach spaces, and prove that there are infinitely many spaces of the type $SO(k+l+m)/SO(k)\times SO(l)\times SO(m)$ admitting exactly two, three, or four Einstein invariant metrics up to a homothety.


title: A rigidity theorem of $\xi$-submanifolds in $\mathbb{C}^{2}$

abstract: In this paper, we first introduce the concept of $\xi $-submanifold which is a natural generalization of self-shrinkers for the mean curvature flow and also an extension of $\lambda$-hypersurfaces to the higher codimension. Then, as the main result, we prove a rigidity theorem for Lagrangian $\xi $-submanifold in the complex $2$-plane $\bbc^2$.


title: On the Lagrangian angle and the K\"ahler angle of immersed surfaces in the complex plane $\bbc^2$

abstract: In this paper, we discuss the Lagrangian angle and the K\"ahler angle of immersed surfaces in $\mathbb C^2$. Firstly, we provide an extension of Lagrangian angle, Maslov form and Maslov class to more general surfaces in $\mathbb C^2$ than Lagrangian surfaces, and then naturally extend a theorem by J.-M. Morvan to surfaces of constant K\"ahler angle, together with an application showing that the Maslov class of a compact self-shrinker surface with constant K\"ahler angle is generally non-vanishing. Secondly, we obtain two pinching results for the K\"ahler angle which imply rigidity theorems of self-shrinkers with K\"ahler angle under the condition that $\int_M |h|^2e^{-\frac{|x|^2}{2}}dV_M<\infty$, where $h$ and $x$ denote, respectively, the second fundamental form and the position vector of the surface.


title: Explicit Knowledge-based Reasoning for Visual Question Answering

abstract: We describe a method for visual question answering which is capable of reasoning about contents of an image on the basis of information extracted from a large-scale knowledge base. The method not only answers natural language questions using concepts not contained in the image, but can provide an explanation of the reasoning by which it developed its answer. The method is capable of answering far more complex questions than the predominant long short-term memory-based approach, and outperforms it significantly in the testing. We also provide a dataset and a protocol by which to evaluate such methods, thus addressing one of the key issues in general visual ques- tion answering.


title: The cool potential of gluons

abstract: We put forward the idea that the quark-gluon plasma might exist way below the usual confinement temperature $T_c$. Our argument rests on the possibility that the plasma produced in heavy-ion collisions could reach a transient quasi-equilibrium with `over-occupied' gluon density, as advocated by Blaizot et al. Taking further into account that gluons acquire an effective mass by interaction effects, they can have a positive chemical potential and therefore behave similarly to non-relativistic bosons. Relevant properties of this dense state of interacting gluons, which we dub serried glue, can then be inferred on rather general grounds from Maxwell's relation.


title: On the mean curvature flow of grain boundaries

abstract: Suppose that $\Gamma_0\subset\mathbb R^{n+1}$ is a closed countably $n$-rectifiable set whose complement $\mathbb R^{n+1}\setminus \Gamma_0$ consists of more than one connected component. Assume that the $n$-dimensional Hausdorff measure of $\Gamma_0$ is finite or grows at most exponentially near infinity. Under these assumptions, we prove a global-in-time existence of mean curvature flow in the sense of Brakke starting from $\Gamma_0$. There exists a finite family of open sets which move continuously with respect to the Lebesgue measure, and whose boundaries coincide with the space-time support of the mean curvature flow.


title: On the Cauchy problem for stochastic parabolic equations in H\"older spaces

abstract: In this paper, we establish a sharp $C^{2+\alpha}$-theory for stochastic partial differential equations of parabolic type in the whole space.


title: Wireless Multihop Device-to-Device Caching Networks

abstract: We consider a wireless device-to-device (D2D) network where $n$ nodes are uniformly distributed at random over the network area. We let each node with storage capacity $M$ cache files from a library of size $m \geq M$. Each node in the network requests a file from the library independently at random, according to a popularity distribution, and is served by other nodes having the requested file in their local cache via (possibly) multihop transmissions. Under the classical "protocol model" of wireless networks, we characterize the optimal per-node capacity scaling law for a broad class of heavy-tailed popularity distributions including Zipf distributions with exponent less than one. In the parameter regimes of interest, we show that a decentralized random caching strategy with uniform probability over the library yields the optimal per-node capacity scaling of $\Theta(\sqrt{M/m})$, which is constant with $n$, thus yielding throughput scalability with the network size. Furthermore, the multihop capacity scaling can be significantly better than for the case of single-hop caching networks, for which the per-node capacity is $\Theta(M/m)$. The multihop capacity scaling law can be further improved for a Zipf distribution with exponent larger than some threshold $> 1$, by using a decentralized random caching uniformly across a subset of most popular files in the library. Namely, ignoring a subset of less popular files (i.e., effectively reducing the size of the library) can significantly improve the throughput scaling while guaranteeing that all nodes will be served with high probability as $n$ increases.


title: A Century of Portraits: A Visual Historical Record of American High School Yearbooks

abstract: Imagery offers a rich description of our world and communicates a volume and type of information that cannot be captured by text alone. Since the invention of the camera, an ever-increasing number of photographs document our "visual culture" complementing historical texts. But currently, this treasure trove of knowledge can only be analyzed manually by historians, and only at small scale. In this paper we perform automated analysis on a large-scale historical image dataset. Our main contributions are: 1) A publicly-available dataset of 168,055 (37,921 frontal-facing) American high school yearbook portraits. 2) Weakly-supervised data-driven techniques to discover historical visual trends in fashion and identify date-specific visual patterns. 3) A classifier to predict when a portrait was taken, with median error of 4 years for women and 6 for men. 4) A new method for discovering and displaying the visual elements used by the CNN-based date-prediction model to date portraits, finding that they correspond to the tell-tale fashions of each era. Project page can be found at: http://people.eecs.berkeley.edu/~shiry/projects/yearbooks/yearbooks.html .


title: Maximally coherent states and coherence-preserving operations

abstract: We investigate the maximally coherent states to provide a refinement in quantifying coherence and give a measure-independent definition of the coherence-preserving operations. A maximally coherent state can be considered as the resource to create arbitrary quantum states of the same dimension by merely incoherent operations. We propose that only the maximally coherent states should achieve the maximal value for a coherence measure and use this condition as an additional criterion for coherence measures to obtain a refinement in quantifying coherence which excludes the invalid and inefficient coherence measures. Under this new criterion, we then give a measure-independent definition of the coherence-preserving operations, which play a similar role in quantifying coherence as that played by the local unitary operations in the scenario of studying entanglement.


title: Strength of the symmetry spin filtering effect in magnetic tunnel junctions

abstract: Strength of the the symmetry spin filtering effect (as defined by the asymptotic behavior of the tunneling magnetoresistance (TMR) at large barrier thicknesses induced by this effect) is studied for the Fe/MgO/Fe magnetic tunnel junctions (MTJ). Based on the analysis of the band structure of bulk Fe and complex band structure of MgO we predict \emph{native} for the symmetry spin filtering effect linear increase of the TMR in Fe/MgO/Fe MTJ with increasing number of MgO layers, $N$. \emph{Ab initio} calculations of transmission functions performed for the Fe/MgO/Fe MTJ confirm our theoretical predictions for the strength of the symmetry spin filtering effect in broad range of energies and $N$. Our calculations also show that the \emph{combination} of the symmetry spin filtering effect and small surface transmission function in minority spin channel at the Fe/MgO interface is responsible for large $TMR>10,000\%$ predicted for Fe/MgO/Fe MTJ for $N \geqslant 8$. Proposed analysis of the strength of the symmetry filtering effect derived from the band structure of bulk electrode material could serve as a tool for quick material discovery search of suitable electrodes in context of emerging technologies that require high TMR.


title: Simulating the galaxy cluster "El Gordo" and identifying the merger configuration

abstract: The observational features of the massive galaxy cluster "El Gordo" (ACT-CL J0102-4915), such as the X-ray emission, the Sunyaev-Zel'dovich (SZ) effect, and the surface mass density distribution, indicate that they are caused by an exceptional ongoing high-speed collision of two galaxy clusters, similar to the well-known Bullet Cluster. We perform a series of hydrodynamical simulations to investigate the merging scenario and identify the initial conditions for the collision in ACT-CL J0102-4915. By surveying the parameter space of the various physical quantities that describe the two colliding clusters, including their total mass (M), mass ratio (\xi), gas fractions (f_b), initial relative velocity (V), and impact parameter (P), we find out an off-axis merger with P~800h_{70}^{-1}kpc, V~2500km/s, M~3x10^{15}Msun, and \xi=3.6 that can lead to most of the main observational features of ACT-CL J0102-4915. Those features include the morphology of the X-ray emission with a remarkable wake-like substructure trailing after the secondary cluster, the X-ray luminosity and the temperature distributions, and also the SZ temperature decrement. The initial relative velocity required for the merger is extremely high and rare compared to that inferred from currently available Lambda cold dark matter (LCDM) cosmological simulations, which raises a potential challenge to the LCDM model, in addition to the case of the Bullet Cluster.


title: Weak* solutions I: A new perspective on solutions to systems of conservation laws

abstract: We introduce a new notion of solution, which we call weak* solutions, for systems of conservation laws. These solutions can be used to handle singular situations that standard weak solutions cannot, such as vacuums in Lagrangian gas dynamics or cavities in elasticity. Our framework allows us to treat the systems as ODEs in Banach space. Starting with the observation that solutions act linearly on test functions $\alpha\in X$, we require solutions to take values in the dual space $X^*$ of $X$. Moreover, we weaken the usual requirement of measurability of solutions. In order to do this, we develop the calculus of the Gelfand integral, which is appropriate for weak* measurable functions. We then use the Gelfand calculus to define weak* solutions, and show that they are stronger than the usual notion of weak solution, although for $BV$ solutions the notions are equivalent. It is expected that these solutions will also shed light on vexing issues of ill-posedness for multi-dimensional systems.


title: How far can we go without convolution: Improving fully-connected networks

abstract: We propose ways to improve the performance of fully connected networks. We found that two approaches in particular have a strong effect on performance: linear bottleneck layers and unsupervised pre-training using autoencoders without hidden unit biases. We show how both approaches can be related to improving gradient flow and reducing sparsity in the network. We show that a fully connected network can yield approximately 70% classification accuracy on the permutation-invariant CIFAR-10 task, which is much higher than the current state-of-the-art. By adding deformations to the training data, the fully connected network achieves 78% accuracy, which is just 10% short of a decent convolutional network.


title: Quantum annealing via environment-mediated quantum diffusion

abstract: We show that quantum diffusion near the quantum critical point can provide a highly very efficient mechanism of open-system quantum annealing. It is based on the diffusion-mediated recombination of excitations. For an Ising spin chain coupled to a bosonic bath, excitation diffusion in a transverse field sharply slows down as the system moves away from the quantum critical region. This leads to spatial correlations and effective freezing of the excitation density. We find that obtaining an approximate solution via the diffusion-mediated quantum annealing can be faster than via closed-system quantum annealing or Glauber dynamics.


title: Termination of the Berezinskii-Kosterlitz-Thouless phase with a new critical universality in spin-crossover systems

abstract: Two dimensional systems with U(1) symmetry exhibit a peculiar phase, i.e., the Berezinskii-Kosterlitz-Thouless (BKT) phase. In particular situations, the BKT phase exists as an intermediate temperature phase. There have been scenarios for the phase transitions at the two endpoints of the intermediate BKT phase, i.e., the phase transition at the low-temperature endpoint is a BKT transition and that at the high-temperature endpoint is either a BKT transition or a first-order transition. The present study gives a novel scenario, i.e., a second-order transition with a new critical universality and a BKT transition. We found that this new phase transition is realized in spin-crossover systems on a triangular lattice with an antiferromagnetic short-range interaction. At the low-temperature transition the elastic interaction plays as a ferromagnetic infinite-range interaction and encourages the breaking of $Z_2$ symmetry between high-spin rich and low-spin rich states.


title: Batch-normalized Maxout Network in Network

abstract: This paper reports a novel deep architecture referred to as Maxout network In Network (MIN), which can enhance model discriminability and facilitate the process of information abstraction within the receptive field. The proposed network adopts the framework of the recently developed Network In Network structure, which slides a universal approximator, multilayer perceptron (MLP) with rectifier units, to exact features. Instead of MLP, we employ maxout MLP to learn a variety of piecewise linear activation functions and to mediate the problem of vanishing gradients that can occur when using rectifier units. Moreover, batch normalization is applied to reduce the saturation of maxout units by pre-conditioning the model and dropout is applied to prevent overfitting. Finally, average pooling is used in all pooling layers to regularize maxout MLP in order to facilitate information abstraction in every receptive field while tolerating the change of object position. Because average pooling preserves all features in the local patch, the proposed MIN model can enforce the suppression of irrelevant information during training. Our experiments demonstrated the state-of-the-art classification performance when the MIN model was applied to MNIST, CIFAR-10, and CIFAR-100 datasets and comparable performance for SVHN dataset.


title: Oblique waves on a vertically sheared current are rotational

abstract: In the study of surface waves in the presence of a shear current, a useful and much studied model is that in which the shear flow has constant vorticity. Recently it was shown by Constantin [Eur. J. Mech. B/Fluids 30 (2011) 12-16] that a flow of constant vorticity can only permit waves travelling exactly upstream or downstream, but not at oblique angles to the current, and several proofs to the same effect have appeared thereafter. Physical waves cannot possibly adhere to such a restriction, however. We resolve the paradox by showing that an oblique plane wave propagating atop a current of constant vorticity according to the linearized Euler equation carries with it an undulating perturbation of the vorticity field, hence is not prohibited by the Constantin theorem since vorticity is not constant. The perturbation of the vorticity field is readily interpreted in a Lagrangian perspective as the wave motion gently shifting and twisting the vortex lines as the wave passes. In the special case of upstream or downstream propagation, the wave advection of vortex lines does not affect the Eulerian vorticity field, in accordance with the theorem. We conclude that the study of oblique waves on shear currents requires a formalism allowing undulating perturbations of the vorticity field, and the constant vorticity model is helpful only in certain 2D systems.


title: Pressure-induced recovery of Fourier's law in one dimensional momentum-conserving systems

abstract: We report the two typical models of normal heat conduction in one dimensional momentum-conserving systems. They show the Arrhenius and the non-Arrhenius temperature dependence. We construct the two corresponding phenomenologies, transition-state theory of thermally activated dissociation and the pressure-induced crossover between two fixed points in fluctuating hydrodynamics. Compressibility yields the ballistic fixed point, whose scaling is observed in FPU-\beta lattices.


title: S-PowerGraph: Streaming Graph Partitioning for Natural Graphs by Vertex-Cut

abstract: One standard solution for analyzing large natural graphs is to adopt distributed computation on clusters. In distributed computation, graph partitioning (GP) methods assign the vertices or edges of a graph to different machines in a balanced way so that some distributed algorithms can be adapted for. Most of traditional GP methods are offline, which means that the whole graph has been observed before partitioning. However, the offline methods often incur high computation cost. Hence, streaming graph partitioning (SGP) methods, which can partition graphs in an online way, have recently attracted great attention in distributed computation. There exist two typical GP strategies: edge-cut and vertex-cut. Most SGP methods adopt edge-cut, but few vertex-cut methods have been proposed for SGP. However, the vertex-cut strategy would be a better choice than the edge-cut strategy because the degree of a natural graph in general follows a highly skewed power-law distribution. Thus, we propose a novel method, called S-PowerGraph, for SGP of natural graphs by vertex-cut. Our S-PowerGraph method is simple but effective. Experiments on several large natural graphs and synthetic graphs show that our S-PowerGraph can outperform the state-of-the-art baselines.


title: Entropy production and large deviation function for systems with microscopically irreversible transitions

abstract: We obtain the large deviation function for entropy production of the medium and its distribution function for two-site totally asymmetric simple exclusion process(TASEP) and three-state unicyclic network. Since such systems are described through microscopic irreversible transitions, we obtain time-dependent transition rates by sampling the states of these systems at a regular short time interval $\tau$. These transition rates are used to derive the large deviation function for the entropy production in the nonequilibrium steady state and its asymptotic distribution function. The shapes of the large deviation function and the distribution function depend on the value of the mean entropy production rate which has a non-trivial dependence on the particle injection and withdrawal rates in case of TASEP. Further, it is argued that in case of a TASEP, the distribution function tends to be like a Poisson distribution for smaller values of particle injection and withdrawal rates.


title: The evolution of high-redshift massive black holes

abstract: Massive black holes (MBHs) are nowadays recognized as integral parts of galaxy evolution. Both the approximate proportionality between MBH and galaxy mass, and the expected importance of feedback from active MBHs in regulating star formation in their host galaxies point to a strong interplay between MBHs and galaxies. MBHs must form in the first galaxies and be fed by gas in these galaxies, with continuous or intermittent inflows that, at times, can be larger than the Eddington rate. Feedback from supernovae and from the MBHs themselves modulates the growth of the first MBHs. While current observational data only probe the most massive and luminous MBHs, the tip of the iceberg, we will soon be able to test theoretical models of MBH evolution on more "normal" MBHs: the MBHs that are indeed relevant in building the population that we observe in local galaxies, including our own Milky Way.


title: Parkinson's disease patient rehabilitation using gaming platforms: lessons learnt

abstract: Parkinson's disease (PD) is a progressive neurodegenerative movement disorder where motor dysfunction gradually increases as the disease progress. In addition to administering dopaminergic PD-specific drugs, attending neurologists strongly recommend regular exercise combined with physiotherapy. However, because of the long-term nature of the disease, patients following traditional rehabilitation programs may get bored, lose interest and eventually drop out as a direct result of the repeatability and predictability of the prescribed exercises. Technology supported opportunities to liven up a daily exercise schedule have appeared in the form of character-based, virtual reality games which promote physical training in a non-linear and looser fashion and provide an experience that varies from one game loop the next. Such "exergames", a word that results from the amalgamation of the words "exercise" and "game" challenge patients into performing movements of varying complexity in a playful and immersive virtual environment. Today's game consoles such as Nintendo's Wii, Sony PlayStation Eye and Microsoft's Kinect sensor present new opportunities to infuse motivation and variety to an otherwise mundane physiotherapy routine. In this paper we present some of these approaches, discuss their suitability for these PD patients, mainly on the basis of demands made on balance, agility and gesture precision, and present design principles that exergame platforms must comply with in order to be suitable for PD patients.


title: The Turing Test for Telepresence

abstract: The quality of high-end videoconferencing systems has improved significantly over the last few years enabling a class of applications known as "telepresence" wherein the users engaged in a communication session experience a feeling of mutual presence in a shared virtual space. Telepresence systems have reached a maturity level that seriously challenges the old familiar truism that a face-to-face meeting is always better than a technology-mediated alternative. To explore the state of the art in telepresence technology and outline future opportunities, this paper proposes an optimality condition, expressed as a "Turing Test," whereby the subjective experience of using a telepresence system is compared to the corresponding face-to-face situation. The requirements and challenges of designing a system passing such a Turing Test for telepresence are analyzed with respect to the limits of human perception, and the feasibility of achieving this goal with currently available or near future technology is discussed.


title: Faster Randomized Branching Algorithms for $r$-SAT

abstract: The problem of determining if an $r$-CNF boolean formula $F$ over $n$ variables is satisifiable reduces to the problem of determining if $F$ has a satisfying assignment with a Hamming distance of at most $d$ from a fixed assignment $\alpha$. This problem is also a very important subproblem in Schoning's local search algorithm for $r$-SAT. While Schoning described a randomized algorithm solves this subproblem in $O((r-1)^d)$ time, Dantsin et al. presented a deterministic branching algorithm with $O^*(r^d)$ running time. In this paper we present a simple randomized branching algorithm that runs in time $O^*({(\frac{r+1}{2})}^d)$. As a consequence we get a randomized algorithm for $r$-SAT that runs in $O^*({(\frac{2(r+1)}{r+3})}^n)$ time. This algorithm matches the running time of Schoning's algorithm for 3-SAT and is an improvement over Schoning's algorithm for all $r \geq 4$. For $r$-uniform hitting set parameterized by solution size $k$, we describe a randomized FPT algorithm with a running time of $O^*({(\frac{r+1}{2})}^k)$. For the above LP guarantee parameterization of vertex cover, we have a randomized FPT algorithm to find a vertex cover of size $k$ in a running time of $O^*(2.25^{k-vc^*})$, where $vc^*$ is the LP optimum of the natural LP relaxation of vertex cover. In both the cases, these randomized algorithms have a better running time than the current best deterministic algorithms.


title: Distributed Compressive Sensing Based Doubly Selective Channel Estimation for Large-Scale MIMO Systems

abstract: Doubly selective (DS) channel estimation in largescale multiple-input multiple-output (MIMO) systems is a challenging problem due to the requirement of unaffordable pilot overheads and prohibitive complexity. In this paper, we propose a novel distributed compressive sensing (DCS) based channel estimation scheme to solve this problem. In the scheme, we introduce the basis expansion model (BEM) to reduce the required channel coefficients and pilot overheads. And due to the common sparsity of all the transmit-receive antenna pairs in delay domain, we estimate the BEM coefficients by considering the DCS framework, which has a simple linear structure with low complexity. Further more, a linear smoothing method is proposed to improve the estimation accuracy. Finally, we conduct various simulations to verify the validity of the proposed scheme and demonstrate the performance gains of the proposed scheme compared with conventional schemes.


title: Observables and initial conditions for rotating and expanding fireballs with spheroidal symmetry

abstract: Utilizing a recently found class of exact, analytic rotating solutions of non-relativistic fireball hydrodynamics, we calculate analytically the single-particle spectra, the elliptic flows and two-particle Bose-Einstein correlation functions for rotating and expanding fireballs with spheroidal symmetry. We demonstrate, that rotation generates final state momentum anisotropies even for a spatially symmetric, spherical initial geometry of the fireball. The mass dependence of the effective temperatures, as well as the HBT radius parameters and the elliptic flow are shown to be sensitive not only to radial flow effects but also to the magnitude of the initial angular momentum.


title: Interface instability modes in freezing colloidal suspensions - revealed from onset of planar instability

abstract: Freezing colloidal suspensions widely exists in nature and industry. Interface instability has attracted much attention for the understandings of the pattern formation in freezing colloidal suspensions. However, the interface instability modes, the origin of the ice banding or ice lamellae, are still unclear. In-situ experimental observation of the onset of interface instability is still absent up to now. Here, by directly imaging the initial transient stage of planar interface instability in directional freezing colloidal suspensions, we proposed three interface instability modes, Mullins-Sekerka instability, global split instability and local split instability. All the three instability modes come from the competition of the solute boundary layer and the particle boundary layer, which only can be revealed from the initial transient stage of planar instability in directional freezing.


title: A New Relaxation Approach to Normalized Hypergraph Cut

abstract: Normalized graph cut (NGC) has become a popular research topic due to its wide applications in a large variety of areas like machine learning and very large scale integration (VLSI) circuit design. Most of traditional NGC methods are based on pairwise relationships (similarities). However, in real-world applications relationships among the vertices (objects) may be more complex than pairwise, which are typically represented as hyperedges in hypergraphs. Thus, normalized hypergraph cut (NHC) has attracted more and more attention. Existing NHC methods cannot achieve satisfactory performance in real applications. In this paper, we propose a novel relaxation approach, which is called relaxed NHC (RNHC), to solve the NHC problem. Our model is defined as an optimization problem on the Stiefel manifold. To solve this problem, we resort to the Cayley transformation to devise a feasible learning algorithm. Experimental results on a set of large hypergraph benchmarks for clustering and partitioning in VLSI domain show that RNHC can outperform the state-of-the-art methods.


title: Fault-tolerant conversion between stabilizer codes by Clifford operations

abstract: We propose a scheme that converts a stabilizer code into another stabilizer code in a fault tolerant manner. The scheme first puts both codes in specific forms, and proceeds the conversion from a source code to a target code by applying Clifford gates. The Clifford gates are chosen from the comparisons between both codes. The fault tolerance of the conversion is guaranteed by quantum error correction in every step during the entire conversion process. As examples, we show three conversions: the $[[5,1,3]]$ stabilizer code and Steane code, Steane code and $[[15,1,3]]$ Reed-Muller code, and Steane code and $(3,4)$-QPC code.


title: Data-driven Workflows for Microservices

abstract: Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Jolie is a programming language based on the microservices paradigm: the main building block of Jolie systems are services, in contrast to, e.g., functions or objects. The primitives offered by the Jolie language elicit many of the recurring patterns found in microservices, like load balancers and structured processes. However, Jolie still lacks some useful constructs for dealing with message types and data manipulation that are present in service-oriented computing. In this paper, we focus on the possibility of expressing choices at the level of data types, a feature well represented in standards for Web Services, e.g., WSDL. We extend Jolie to support such type choices and show the impact of our implementation on some of the typical scenarios found in microservice systems. This shows how computation can move from a process-driven to a data-driven approach, and leads to the preliminary identification of recurring communication patterns that can be shaped as design patterns.


title: Rational curves of degree four with two inner Galois points

abstract: We characterize plane rational curves of degree four with two or more inner Galois points. A computer verifies the existence of plane rational curves of degree four with three inner Galois points. This would be the first example of a curve with exactly three them. Our result implies that Miura's bound is sharp for rational curves.


title: Waste Makes Haste: Bounded Time Protocols for Envy-Free Cake Cutting with Free Disposal

abstract: We consider the classic problem of envy-free division of a heterogeneous good ("cake") among several agents. It is known that, when the allotted pieces must be connected, the problem cannot be solved by a finite algorithm for 3 or more agents. The impossibility result, however, assumes that the entire cake must be allocated. In this paper we replace the entire-allocation requirement with a weaker \emph{partial-proportionality} requirement: the piece given to each agent must be worth for it at least a certain positive fraction of the entire cake value. We prove that this version of the problem is solvable in bounded time even when the pieces must be connected. We present simple, bounded-time envy-free cake-cutting algorithms for: (1) giving each of $n$ agents a connected piece with a positive value; (2) giving each of 3 agents a connected piece worth at least 1/3; (3) giving each of 4 agents a connected piece worth at least 1/7; (4) giving each of 4 agents a disconnected piece worth at least 1/4; (5) giving each of $n$ agents a disconnected piece worth at least $(1-\epsilon)/n$ for any positive $\epsilon$.


title: Development of non-equilibrium Green's functions for use with full interaction in complex systems

abstract: We present an ongoing development of an existing code for calculating ground-state, steady-state, and transient properties of many-particle systems. The development involves the addition of the full four-index two electron integrals, which allows for the calculation of transport systems, as well as the extension to multi-level electronic systems, such as atomic and molecular systems and other applications. The necessary derivations are shown, along with some preliminary results and a summary of future plans for the code.


title: Theoretical and experimental investigation of optical absorption anisotropy in $\beta$-Ga2O3

abstract: The question of optical bandgap anisotropy in the monoclinic semiconductor $\beta$-Ga2O3 was revisited by combining accurate optical absorption measurements with theoretical analysis, performed using different advanced computation methods. As expected, the bandgap edge of bulk $\beta$-Ga2O3 was found to be a function of light polarization and crystal orientation, with the lowest onset occurring at polarization in the ac crystal plane around 4.5-4.6 eV; polarization along b unambiguously shifts the onset up by 0.2 eV. The theoretical analysis clearly indicates that the shift of the b onset is due to a suppression of the transition matrix elements of the three top valence bands at $\Gamma$ point.


title: Earthquake scenarios and seismic input for cultural heritage: applications to the cities of Rome and Florence

abstract: For historical buildings and monuments, i.e. when considering time intervals of about a million year (we do not want to loose cultural heritage), the applicability of standard estimates of seismic hazard is really questionable. A viable alternative is represented by the use of the scenario earthquakes, characterized at least in terms of magnitude, distance and faulting style, and by the treatment of complex source processes. Scenario-based seismic hazard maps are purely based on geophysical and seismotectonic features of a region and take into account the occurrence frequency of earthquakes only for their classification into exceptional (catastrophic), rare (disastrous), sporadic (very strong), occasional (strong) and frequent. Therefore they may provide an upper bound for the ground motion levels to be expected for most regions of the world, more appropriate than probabilities of exceedance in view of the long time scales required for the protection of historical buildings. The neo-deterministic approach naturally supplies realistic time series of ground motion, which represent also reliable estimates of ground displacement readily applicable to seismic isolation techniques, useful to preserve historical monuments and relevant man made structures. This methodology has been successfully applied to many urban areas worldwide for the purpose of seismic microzoning, to strategic buildings, lifelines and cultural heritage sites; we will discuss its application to the cities of Rome and Florence.


title: Iterative compilation on mobile devices

abstract: The abundance of poorly optimized mobile applications coupled with their increasing centrality in our digital lives make a framework for mobile app optimization an imperative. While tuning strategies for desktop and server applications have a long history, it is difficult to adapt them for use on mobile phones. Reference inputs which trigger behavior similar to a mobile application's typical are hard to construct. For many classes of applications the very concept of typical behavior is nonexistent, each user interacting with the application in very different ways. In contexts like this, optimization strategies need to evaluate their effectiveness against real user input, but doing so online runs the risk of user dissatisfaction when suboptimal optimizations are evaluated. In this paper we present an iterative compiler which employs a novel capture and replay technique in order to collect real user input and use it later to evaluate different transformations offline. The proposed mechanism identifies and stores only the set of memory pages needed to replay the most heavily used functions of the application. At idle periods, this minimal state is combined with different binaries of the application, each one build with different optimizations enabled. Replaying the targeted functions allows us to evaluate the effectiveness of each set of optimizations for the actual way the user interacts with the application. For the BEEBS benchmark suite, our approach was able to improve performance by up to 57%, while keeping the slowdown experienced by the user on average at 0.8%. By focusing only on heavily used functions, we are able to conserve storage space by between two and three orders of magnitude compared to typical capture and replay implementations.


title: Consensus Driven by the Geometric Mean

abstract: Consensus networks are usually understood as arithmetic mean driven dynamical averaging systems. In applications, however, network dynamics often describe inherently non-arithmetic and non-linear consensus processes. In this paper, we propose and study three novel consensus protocols driven by geometric mean averaging: a polynomial, an entropic, and a scaling-invariant protocol, where terminology characterizes the particular non-linearity appearing in the respective differential protocol equation. We prove exponential convergence to consensus for positive initial conditions. For the novel protocols we highlight connections to applied network problems: The polynomial consensus system is structured like a system of chemical kinetics on a graph. The entropic consensus system converges to the weighted geometric mean of the initial condition, which is an immediate extension of the (weighted) average consensus problem. We find that all three protocols generate gradient flows of free energy on the simplex of constant mass distribution vectors albeit in different metrics. On this basis, we propose a novel variational characterization of the geometric mean as the solution of a non-linear constrained optimization problem involving free energy as cost function. We illustrate our findings in numerical simulations.


title: The Planck-ATCA Co-eval Observations (PACO) project: analysis of radio source properties between 5 and 217 GHz

abstract: The Planck-ATCA Co-eval Observations (PACO) project has yielded observations of 464 sources with the Australia Telescope Compact Array (ATCA) between 4.5 and 40 GHz. The main purpose of the project was to investigate the spectral properties of mm-selected radio sources at frequencies below and overlapping with the ESA's Planck satellite frequency bands, minimizing the variability effects by observing almost simultaneously with the first two Planck all-sky surveys. In this paper we present the whole catalogue of observations in total intensity. By comparing PACO with the various measures of Planck Catalog of Compact Sources (PCCS) flux densities we found the best consistency with the PCCS "detection pipeline" photometry (DETFLUX) that we used to investigate the spectral properties of sources from 5 to 217 GHz. Of our sources, 91% have remarkably smooth spectrum, well described by a double power law over the full range. This suggests a single emitting region, at variance with the notion that "flat" spectra result from the superposition of the emissions from different compact regions, self absorbed up to different frequencies. Most of the objects show a spectral steepening above 30 GHz, consistent with synchrotron emission becoming optically thin. Thus, the classical dichotomy between flat-spectrum/compact and steep-spectrum/extended radio sources, well established at cm wavelengths, breaks down at mm wavelengths. The mm-wave spectra do not show indications of the spectral break expected as the effect of "electron ageing", suggesting young source ages.


title: Properties of (Ga$_{1-x}$In$_x$)$_2$O$_3$ over the whole $x$ range

abstract: Using density-functional ab initio theoretical techniques, we study (Ga$_{1-x}$In$_x$)$_2$O$_3$ in both its equilibrium structures (monoclinic $\beta$ and bixbyite) and over the whole range of composition. We establish that the alloy exhibits a large and temperature-independent miscibility gap. On the low-$x$ side, the favored phase is isostructural with $\beta$-Ga$_2$O$_3$; on the high-$x$ side, it is isostructural with bixbyite In$_2$O$_3$. The miscibility gap opens between approximately 15\% and 55\% In content for the bixbyite alloy grown epitaxially on In$_2$O$_3$, and 15\% and 85\% In content for the free-standing bixbyite alloy. The gap, volume and band offsets to the parent compound also exhibit anomalies as function of $x$. Specifically, the offsets in epitaxial conditions are predominantly type-B staggered, but have opposite signs in the two end-of-range phases.


title: Quantitatively Analyzing Phonon Spectral Contribution of Thermal Conductivity Based on Non-Equilibrium Molecular Dynamics Simulation II: From Time Fourier Transform

abstract: From nano-scale heat transfer point of view, currently one of the most interesting and challenging tasks is to quantitatively analyzing phonon mode specific transport properties in solid materials, which plays vital role in many emerging and diverse technological applications. It has not been so long since such information can be provided by the phonon spectral energy density (SED) or equivalently time domain normal mode analysis (TDNMA) methods in the framework of equilibrium molecular dynamics simulation (EMD). However, until now it has not been realized in non-equilibrium molecular dynamics simulations (NEMD), the other widely used computational method for calculating thermal transport of materials in addition to EMD. In this work, a computational scheme based on time Fourier transform of atomistic heat current, called frequency domain direct decomposed method (FDDDM), is proposed to analyze the contributions of frequency dependent thermal conductivity in NEMD simulations. The FDDDM results of Lennard-Jones (LJ) Argon and Stillinger-Weber (SW) Si are compared with TDNMA method from EMD simulation. Similar trends are found for both cases, which confirm the validity of our FDDDM approach. Benefiting from the inherent nature of NEMD and the theoretical formula that does not require any temperature assumption, the FDDDM can be directly used to investigate the size and temperature effect. Moreover, the unique advantage of FDDDM prior to previous methods (such as SED and TDNMA) is that it can be straightforwardly used to characterize the phonon frequency dependent thermal conductivity of disordered systems, such as amorphous materials. The FDDDM approach can also be a good candidate to be used to understand the phonon behaviors and thus provides useful guidance for designing efficient structures for advanced thermal management.


title: Correlations between the fragmentation modes and light charged particles emission in heavy ion collisions

abstract: The correlations between the shape of rapidity distribution of the yield of light charged particles and the fragmentation modes in semi-peripheral collisions for $^{70}$Zn+$^{70}$Zn, $^{64}$Zn+$^{64}$Zn and $^{64}$Ni+$^{64}$Ni at the beam energy of 35MeV/nucleon are investigated based on ImQMD05 code. Our studies show there is an interplay between the binary, ternary and multi-fragmentation break-up modes. The binary and ternary break-up modes more prefer to emit light charged particles at middle rapidity and give larger values of $R_{yield}^{mid}$ compared with the multi-fragmentation break-up mode does. The reduced rapidity distribution for the normalized yields of p, d, t, $^3$He, $^4$He and $^6$He and the corresponding values of $R_{yield}^{mid}$ can be used to estimate the probability of multi-fragmentation break-up modes. By comparing to experimental data, our results illustrate that $\ge$40\% of the collisions events belong to the multi-fragmentation break-up mode for the reactions we studied.


title: Change-Point Detection and Bootstrap for Hilbert Space Valued Random Fields

abstract: The problem of testing for the presence of epidemic changes in random fields is investigated. In order to be able to deal with general changes in the marginal distribution, a Cram\'er-von Mises type test is introduced which is based on Hilbert space theory. A functional central limit theorem for $\rho$-mixing Hilbert space valued random fields is proven. In order to avoid the estimation of the long-run variance and obtain critical values, Shao's dependent wild bootstrap method is adapted to this context. For this, a joint functional central limit theorem for the original and the bootstrap sample is shown. Finally, the theoretic results are supplemented by a short simulation study.


title: Water Waves from General, Time-Dependent Surface Pressure Distribution in the Presence of a Shear Current

abstract: We obtain a general solution for the water waves resulting from a general, time-dependent surface pressure distribution, in the presence of a shear current of uniform vorticity beneath the surface, in three dimensions. Linearized governing equations and boundary conditions including the effects of gravity, a distributed external pressure disturbance, and constant finite depth, are solved analytically, and particular attention is paid to classic initial value problems: an initial pressure impulse and a steady pressure distribution which appears suddenly. In the present paper, good agreement with previous results is demonstrated. We subsequently show both analytically and numerically how transient waves from a suddenly appearing steady pressure distribution vanis for large times, and steady ship waves remain. The transient contribution to wave resistance was derived. The results show that a shear current has significant impact on the transient wave motions, resulting in asymmetry between upstream and downstream waves. The case of the suddenly appearing steady pressure is an intermediate case between ring waves and ship waves, starting out as the former and evolving gradually into the latter. The ship's direction of motion relative to the current is found to be crucial in determining how quickly effects of transient waves die out. Transient effects take much longer to doe out for a ship going against the shear flow than for one going downstream, when the two ships have the same velocity relative to the water surface. For ship motion against the shear current, thus, wave effects of transients, e.g., due to maneuvering could accumulate and be far more significant than on a uniform current.


title: Higgs bundles for real groups and the Hitchin-Kostant-Rallis section

abstract: We consider the moduli space of polystable $L$-twisted $G$-Higgs bundles over a compact Riemann surface $X$, where $G$ is a real reductive Lie group, and $L$ is a holomorphic line bundle over $X$. Evaluating the Higgs field at a basis of the ring of polynomial invariants of the isotropy representation, one defines the Hitchin map. This is a map to an affine space, whose dimension is determined by $L$ and the degrees of the polynomials in the basis. Building up on the work of Kostant-Rallis and Hitchin, in this paper, as a first step in the study of the Hitchin map, we construct a section of this map. This generalizes the section constructed by Hitchin when $L$ is the canonical line bundle of $X$ and $G$ is complex. In this case the image of the section is related to the Hitchin-Teichm\"uller components of the moduli space of representations of the fundamental group of $X$ in $G_{\mathrm{Split}}$, a split real form of $G$. In fact, our construction is very natural in that we can start with the moduli space for $G_{\mathrm{Split}}$, instead of $G$, and construct the section for the Hitchin map for $G_{\mathrm{Split}}$ directly. The construction involves the notion of maximal split subgroup of a real reductive Lie group.


title: Optimal Dynamic Strings

abstract: In this paper we study the fundamental problem of maintaining a dynamic collection of strings under the following operations: concat - concatenates two strings, split - splits a string into two at a given position, compare - finds the lexicographical order (less, equal, greater) between two strings, LCP - calculates the longest common prefix of two strings. We present an efficient data structure for this problem, where an update requires only $O(\log n)$ worst-case time with high probability, with $n$ being the total length of all strings in the collection, and a query takes constant worst-case time. On the lower bound side, we prove that even if the only possible query is checking equality of two strings, either updates or queries take amortized $\Omega(\log n)$ time; hence our implementation is optimal. Such operations can be used as a basic building block to solve other string problems. We provide two examples. First, we can augment our data structure to provide pattern matching queries that may locate occurrences of a specified pattern $p$ in the strings in our collection in optimal $O(|p|)$ time, at the expense of increasing update time to $O(\log^2 n)$. Second, we show how to maintain a history of an edited text, processing updates in $O(\log t \log \log t)$ time, where $t$ is the number of edits, and how to support pattern matching queries against the whole history in $O(|p| \log t \log \log t)$ time. Finally, we note that our data structure can be applied to test dynamic tree isomorphism and to compare strings generated by dynamic straight-line grammars.


title: Nonadditivity of Critical Casimir Forces

abstract: In soft and condensed matter physics, effective interactions often emerge as a result of the spatial confinement of a fluctuating field. For instance, microscopic particles in a binary liquid mixture are subject to critical Casimir forces whenever their surfaces confine the thermal fluctuations of the order parameter of this kind of solvent, the range of which diverges upon approaching the critical demixing point. Critical Casimir forces are predicted to be nonadditive on a particular large scale. However, a direct experimental evidence of this fact is still lacking. Here, we fill in this gap by reporting the experimental measurement of the associated many-body effects. In particular, we focus on three colloidal particles in optical traps and observe that the critical Casimir force exerted on one of them by the other two colloids differs from the sum of the forces they exert separately. The magnitude and range of this three-body effect turn out to depend sensitively on the distance from the critical point of the solvent and on the preferential adsorption at the surfaces of the colloids for the two components of the mixture.


title: A quantum space and some associated quantum groups

abstract: In this paper, we first introduce a quantum $n$-space with a cocommutative Hopf algebra structure. Then it is shown that to this quantum $n$-space there corresponds a derivation algebra of $\sigma$-twisted derivations related to some algebra automorphisms $\sigma$ on the quantum $n$-space. Furthermore, we show that this derivation algebra is a noncommutative and non-cocommutative Hopf algebra, namely, a quantum group. Morever, for this the quantum $n$-space, we show how to construct a bicovariant differential calculus related to the derivation algebra.


title: Abstraction-driven Concolic Testing

abstract: Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover difficult-to-reach parts of programs. In contrast, model checkers based on counterexample-guided abstraction refinement explore programs exhaustively, while failing to scale on large programs with precision. In this paper, we present a novel method that iteratively combines concolic testing and model checking to find a test suite for a given coverage criterion. If concolic testing fails to cover some test goals, then the model checker refines its program abstraction to prove more paths infeasible, which reduces the search space for concolic testing. We have implemented our method on top of the concolic-testing tool CREST and the model checker CpaChecker. We evaluated our tool on a collection of programs and a category of SvComp benchmarks. In our experiments, we observed an improvement in branch coverage compared to CREST from 48% to 63% in the best case, and from 66% to 71% on average.


title: Charge instabilities of the two-dimensional Hubbard model with attractive nearest neighbour interaction

abstract: Attractive non-local interactions jointly with repulsive local interaction in a microscopic modelling of electronic Fermi liquids generate a competition between an enhancement of the static charge susceptibility---ultimately signalling charge instability and phase separation---and its correlation induced suppression. We analyse this scenario through the investigation of the extended Hubbard model on a two-dimensional square lattice, using the spin rotation invariant slave-boson representation of Kotliar and Ruckenstein. The quasiparticle density of states, the renormalised effective mass and the Landau parameter $F_0^s$ are presented, whereby the positivity of $F_0^s-1$ constitutes a criterion for stability. Van Hove singularities in the density of states support possible charge instabilities. A (negative) next-nearest neighbour hopping parameter $t'$ shifts their positions and produces a tendency towards charge instability even for low filling whereas the $t'$-controlled particle-hole asymmetry of the correlation driven effective mass is small. A region of instability on account of the attractive interaction $V$ is identified, either at half filling in the absence of strong electronic correlations or, in the case of large on-site interaction $U$, at densities far from half filling.


title: Exactly solvable problems in the momentum space with a minimum uncertainty in position

abstract: A new approach in solution of simple quantum mechanical problems in deformed space with minimal length is presented. We propose the generalization of Schro\"edinger equation in momentum representation on the case of deformed Heisenberg algebra with minimal length. Assuming that the kernel of potential energy operator do not change in the case of deformation, we obtain exact solution of eigenproblem of a particle in delta potential as well as double delta potential. Particle in Coulomb like potential is revisited and the problem of inversibility and hermicity of inverse coordinate operator is solved.


title: A $L^\infty$ bound for the Cahn--Hilliard equation with relaxed non-smooth free energy

abstract: Phase field models are widely used to describe multiphase systems. Here a smooth indicator function, called phase field, is used to describe the spatial distribution of the phases under investigation. Material properties like density or viscosity are introduced as given functions of the phase field. These parameters typically have physical bounds to fulfil, e.g. positivity of the density. To guarantee these properties, uniform bounds on the phase field are of interest. In this work we derive a uniform bound on the solution of the Cahn--Hilliard system, where we use the double-obstacle free energy, that is relaxed by Moreau--Yosida relaxation.


title: Decomposition Bounds for Marginal MAP

abstract: Marginal MAP inference involves making MAP predictions in systems defined with latent variables or missing information. It is significantly more difficult than pure marginalization and MAP tasks, for which a large class of efficient and convergent variational algorithms, such as dual decomposition, exist. In this work, we generalize dual decomposition to a generic power sum inference task, which includes marginal MAP, along with pure marginalization and MAP, as special cases. Our method is based on a block coordinate descent algorithm on a new convex decomposition bound, that is guaranteed to converge monotonically, and can be parallelized efficiently. We demonstrate our approach on marginal MAP queries defined on real-world problems from the UAI approximate inference challenge, showing that our framework is faster and more reliable than previous methods.


title: On the border lines between the regions of distinct solution type for solutions of the Friedmann equation satisfying the Hubble condition

abstract: It is well-known that there are four distinct basic types (two Big Bang types, Lemaitre and Big Crunch type) for solutions of the general Friedmann equation with positive cosmological constant, where radiation and matter do not couple (see e.g. [2, p.7]. In that paper the system of case distinction parameters contains a "critical radiation parameter" $\sigma_{cr}$. The present note contains the constructive description of the so-called {\em border lines} between Big Bang/Big Crunch type and Big Bang/Lemaitre type for so-called Hubble solutions of the Friedmann equation by two smooth function branches, expressing the cosmological constant as unique functions of the matter and radiation density (which is considered as a parameter). These functions satisfy simple asymptotic relations w.r.t. the matter density. They are constructed as the solutions of the equation $\sigma=\sigma_{cr}.


title: Galactic dark matter search via phenomenological astrophysics modeling

abstract: Previous searches for the $\gamma$-ray signatures of annihilating galactic dark matter used predefined spatial templates to describe the background of $\gamma$-ray emission from astrophysical processes like cosmic ray interactions. In this work, we aim to establish an alternative approach, in which the astrophysical components are identified solely by their spectral and morphological properties. To this end, we adopt the recent reconstruction of the diffuse $\gamma$-ray sky from Fermi data by the D$^{3}$PO algorithm and the fact that more than 90\% of its flux can be represented by only two spectral components, resulting form the dense and dilute interstellar medium. Under these presumptions, we confirm the reported DM annihilation-like signal in the inner Galaxy and derive upper limits for dark matter annihilation cross sections. We investigate whether the DM signal could be a residual of the simplified modeling of astrophysical emission by inspecting the morphology of the regions, which favor a dark matter component. The central galactic region favors strongest for such a component with the expected spherically symmetric and radially declining profile. However, astrophysical structures, in particular sky regions which seem to host most of the dilute interstellar medium, obviously would benefit from a DM annihilation-like component as well. Although these regions do not drive the fit, they warn that a more detailed understanding of astrophysical $\gamma$-ray emitting processes in the galactic center region are necessary before definite claims about a DM annihilation signal can be made. The regions off the Galactic plane actually disfavor the best fit DM annihilation cross section from the inner Galactic region unless the radial decline of the Galactic DM density profile in the outer regions is significantly steeper than that usually assumed.


title: Hydrogen-substituted superconductors SmFeAsO1-xHx misidentified as oxygen-deficient SmFeAsO1-x

abstract: We investigated the preferred electron dopants at the oxygen sites of 1111-type SmFeAsO by changing the atmospheres around the precursor with the composition of Sm:Fe:As:O = 1:1:1:1-x in high-pressure synthesis. Under H2O and H2 atmospheres, hydrogens derived from H2O or H2 molecules were introduced into the oxygen sites as a hydride ion, and SmFeAsO1-xHx was obtained. However, when the H2O and H2 sources were removed from the synthetic process, nearly stoichiometric SmFeAsO was obtained and the maximum amount of oxygen vacancies introduced remained x = 0.05(4). Density functional theory calculations indicated that substitution of hydrogen in the form of H- is more stable than the formation of an oxygen vacancy at the oxygen site of SmFeAsO. These results strongly imply that oxygen-deficient SmFeAsO1-x reported previously is SmFeAsO1-xHx with hydride ion incorporated unintentionally during high-pressure synthesis.


title: Toward Biochemical Probabilistic Computation

abstract: Living organisms survive and multiply even though they have uncertain and incomplete information about their environment and imperfect models to predict the consequences of their actions. Bayesian models have been proposed to face this challenge. Indeed, Bayesian inference is a way to do optimal reasoning when only uncertain and incomplete information is available. Various perceptive, sensory-motor, and cognitive functions have been successfully modeled this way. However, the biological mechanisms allowing animals and humans to represent and to compute probability distributions are not known. It has been proposed that neurons and assemblies of neurons could be the appropriate scale to search for clues to probabilistic reasoning. In contrast, in this paper, we propose that interacting populations of macromolecules and diffusible messengers can perform probabilistic computation. This suggests that probabilistic reasoning, based on cellular signaling pathways, is a fundamental skill of living organisms available to the simplest unicellular organisms as well as the most complex brains.


title: A coupled vacuum energy model producing endless alternated phases of accelerated and decelerated expansion

abstract: We consider a flat Universe filled with a vacuum energy coupled to matter and radiation by respectively positive coupling functions $Q_m$ and $Q_r$. We require that these functions be such as Universe exits from inflation to go to a radiation dominated epoch and allow to reproduce the observed $\Lambda CDM$ expansion after this last epoch. These requirements lead to some necessary constraints on the coupling functions. We then look at one of the simplest forms of $Q_m$ and $Q_r$ able to satisfy them. The cosmological model thus defined describes a Universe with an initial singularity and endless alternated periods of accelerated and decelerated expansion (one of them being our $\Lambda CDM$ Universe) unifying inflation and present time expansion acceleration.


title: Integrated Surface-enhanced Raman Spectroscopy chip based on liquid core waveguide

abstract: We propose an integrated surface enhanced Raman scattering (SERS) chip based on liquid-core waveguide with total reflection, through which the depression of leaky mode enable a long propagating distance. An Raman enhancement factor for rhodamine 6G of 2.5*105 is obtained, and a excellent repeatability is shown. The peaks in the SERS spectrum of DNA of silkworm clearly illustrate the information of the molecule structure. The integration of the SERS substrate, micro-fluid, and liquid-core waveguide make such a SERS chip attractive for biochemical detection with high performance.


title: $\mathcal{H}$-matrix based second moment analysis for rough random fields and finite element discretizations

abstract: We consider the efficient solution of strongly elliptic partial differential equations with random load based on the finite element method. The solution's two-point correlation can efficiently be approximated by means of an $\mathcal{H}$-matrix, in particular if the correlation length is rather short or the correlation kernel is non-smooth. Since the inverses of the finite element matrices which correspond to the differential operator under consideration can likewise efficiently be approximated in the $\mathcal{H}$-matrix format, we can solve the correspondent $\mathcal{H}$-matrix equation in essentially linear time by using the $\mathcal{H}$-matrix arithmetic. Numerical experiments for three-dimensional finite element discretizations for several correlation lengths and different smoothness are provided. They validate the presented method and demonstrate that the computation times do not increase for non-smooth or shortly correlated data.


title: Exponential Decay of Matrix $\Phi$-Entropies on Markov Semigroups with Applications to Dynamical Evolutions of Quantum Ensembles

abstract: In the study of Markovian processes, one of the principal achievements is the equivalence between the $\Phi$-Sobolev inequalities and an exponential decrease of the $\Phi$-entropies. In this work, we develop a framework of Markov semigroups on matrix-valued functions and generalize the above equivalence to the exponential decay of matrix $\Phi$-entropies. This result also specializes to spectral gap inequalities and modified logarithmic Sobolev inequalities in the random matrix setting. To establish the main result, we define a non-commutative generalization of the carr\'e du champ operator, and prove a de Bruijn's identity for matrix-valued functions. The proposed Markov semigroups acting on matrix-valued functions have immediate applications in the characterization of the dynamical evolution of quantum ensembles. We consider two special cases of quantum unital channels, namely, the depolarizing channel and the phase-damping channel. In the former, since there exists a unique equilibrium state, we show that the matrix $\Phi$-entropy of the resulting quantum ensemble decays exponentially as time goes on. Consequently, we obtain a stronger notion of monotonicity of the Holevo quantity - the Holevo quantity of the quantum ensemble decays exponentially in time and the convergence rate is determined by the modified log-Sobolev inequalities. However, in the latter, the matrix $\Phi$-entropy of the quantum ensemble that undergoes the phase-damping Markovian evolution generally will not decay exponentially. This is because there are multiple equilibrium states for such a channel. Finally, we also consider examples of statistical mixing of Markov semigroups on matrix-valued functions. We can explicitly calculate the convergence rate of a Markovian jump process defined on Boolean hypercubes, and provide upper bounds of the mixing time on these types of examples.

categories: quant-ph cs.IT math-ph math.IT math.MP math.OA math.PR


title: Dirac electrons on three-dimensional graphitic zeolites --- a scalable mass gap

abstract: A class of graphene wound into three-dimensional periodic curved surfaces ("graphitic zeolites") is proposed and their electronic structures are obtained to explore how the massless Dirac fermions behave on periodic surfaces. We find in the tight-binding model that the low-energy band structure around the charge neutrality point is dominated by the topology (cubic or gyroid) of the periodic surface as well as by the spatial period $L$ in modulo 3 in units of the lattice constant. In both of cubic and gyroid cases the Dirac electrons become massive around the charge neutrality point, where the band gap is shown to scale as $1/L$ within each mod-3 class. Wave functions around the gap are found to have amplitudes sharply peaked around the topological defects that are required to deform the graphene sheet into a three-dimensional periodic surface, and this is shown to originate from non-trivial Bloch phases at $K$ and $K'$ points of the original graphene.


title: Normalisation by Traversals

abstract: We present a novel method of computing the beta-normal eta-long form of a simply-typed lambda-term by constructing traversals over a variant abstract syntax tree of the term. In contrast to beta-reduction, which changes the term by substitution, this method of normalisation by traversals leaves the original term intact. We prove the correctness of the normalisation procedure by game semantics. As an application, we establish a path-traversal correspondence theorem which is the basis of a key decidability result in higher-order model checking.


title: Origin and Enhancement of Spin Polarization Current in Diluted Magnetic Oxides by Oxygen Vacancies and Nano Grain Size

abstract: Spin polarized current is the main ingredient of diluted magnetic oxides due to its potential manipulation in spintronic devices. However, most research has focused on ferromagnetic properties rather than polarization of electric current, because direct measurements were difficult and the origin of spin polarized currents has yet to be fully understood. The method to increase the spin polarized current percentage is beyond practical consideration at the present status. To target this problem, we focus on the role of oxygen vacancies and nano grain size on the spin polarized current, which are controlled by growing the Co-doped ZnO thin-films at room temperature in a reducing atmosphere [Ar + (1% ~ 30%) H2]. We found that the conductivity increases with an increase in oxygen vacancies via two independent channels: the variable range hopping (VRH) within localized states and the itinerant transport in the conduction band. The Andreev Reflection measurements prove that the VRH conduction is equivalent to spin polarized current. Transport measurements show that the best way to increase the VRH content, or the percentage of spin polarized current, is to increase oxygen vacancy concentration and to reduce grain size and lattice constants of the films.


title: The Gamma-Ray Emitting Radio-Loud Narrow-Line Seyfert 1 Galaxy PKS 2004-447 II. The Radio View

abstract: Gamma-ray detected radio-loud narrow-line Seyfert 1 (g-NLS1) galaxies constitute a small but interesting sample of the gamma-ray loud AGN. The radio-loudest g-NLS1 known, PKS 2004-447, is located in the southern hemisphere and is monitored in the radio regime by the multiwavelength monitoring program TANAMI. We aim for the first detailed study of the radio morphology and long-term radio spectral evolution of PKS 2004-447, which are essential to understand the diversity of the radio properties of g-NLS1s. The TANAMI VLBI monitoring program uses the Australian Long Baseline Array (LBA) and telescopes in Antarctica, Chile, New Zealand, and South Africa to monitor the jets of radio-loud active galaxies in the southern hemisphere. Lower resolution radio flux density measurements at multiple radio frequencies over four years of observations were obtained with the Australia Telescope Compact Array (ATCA). The TANAMI VLBI image at 8.4 GHz shows an extended one-sided jet with a dominant compact VLBI core. Its brightness temperature is consistent with equipartition, but it is an order of magnitude below other g-NLS1s with the sample value varying over two orders of magnitude. We find a compact morphology with a projected large-scale size <11 kpc and a persistent steep radio spectrum with moderate flux-density variability. PKS 2004-447 appears to be a unique member of the g-NLS1 sample. It exhibits blazar-like features, such as a flat featureless X-ray spectrum and a core dominated, one-sided parsec-scale jet with indications for relativistic beaming. However, the data also reveal properties atypical for blazars, such as a radio spectrum and large-scale size consistent with Compact-Steep-Spectrum (CSS) objects, which are usually associated with young radio sources. These characteristics are unique among all g-NLS1s and extremely rare among gamma-ray loud AGN.


title: Mechanism responsible for initiating room temperature ferromagnetism and spin polarized current in diluted magnetic oxides

abstract: The main obstacles in realizing diluted magnetic oxide (DMO) in spintronics are the unknown electronic structures associated with its high TC ferromagnetism and spin polarized current and how to manipulate desired electronic structures by fabrication techniques. We demonstrate that fine-tuned electronic structures and band structures can be modified to initiate DMO properties. Interestingly, in the semiconducting state, the doped Co ions and oxygen vacancies contribute non-negligible magnetic moments; and the magnetic coupling between these moments is mediated by the localized carriers via highly spin polarized hopping transport. These results unravel the myth of the origin of spintronic characteristics with desirable electronic states; thereby reopening the door for future applications.


title: Norm minimized Scattering Data from Intensity Spectra

abstract: We apply the $l_1$ minimizing technique of compressive sensing (CS) to non-linear quadratic observations. For the example of coherent X-ray scattering we provide the formulae for a Kalman filter approach to quadratic CS and show how to reconstruct the scattering data from their spatial intensity distribution.


title: Superradiance in static black hole spacetimes

abstract: We investigate the absorption of a massive and charged scalar field in a Reissner-Nordstr\"om background. We compare our numerical results for the absorption cross section, obtained for arbitrary frequencies, with the low- and high-frequency limits. We find, in particular, that the total absorption cross section can be negative, showing that planar scalar waves can be superradiantly amplified by black holes.


title: Probing non-perturbative effects in M-theory on orientifolds

abstract: Using holography, we study non-perturbative effects in M-theory on orientifolds from the analysis of the S^3 partition functions of dual field theories. We consider the S^3 partition functions of N=4 Yang-Mills theory with O(n) gauge symmetry coupled to one (anti)symmetric and N_f fundamental hypermultiplets from the Fermi gas approach. In addition to the worldsheet instanton and membrane instanton corrections to the grand potential, which are also present in the U(n) Yang-Mills case, we find that there exist "half instanton" corrections coming from the effect of orientifold plane.


abstract: We calculate the Debye mass of massless \phi^4-theory to order g^6 at weak coupling. The contributions to the Debye mass arise from the hard momentum scale of order T and the soft momentum scale of order gT. Effective field theory methods and dimensional reduction are used to separate the contributions from the two momentum scales. The hard contribution can be calculated as a power series in g^2 using naive perturbation theory with bare propagators. The soft contribution is calculated using an effective theory in three dimensions, whose coefficients are power series in g^2. This contribution is a power series in g starting at order g^3. The calculation of the hard part to order g^6. The calculation of the soft part requires calculating the mass parameter in the effective theory to order g^6 and the evaluation of four-loop self-energy diagrams in three dimensions. This gives the Debye mass correct up to order g^6. We discuss the convergence of the perturbative series as well as the loop expansion in three dimensions which implies a selective resummation of higher-order terms.


title: Infrared single-pixel imaging utilising microscanning

abstract: Since the invention of digital cameras there has been a concerted drive towards detector arrays with higher spatial resolution. Microscanning is a technique that provides a final higher resolution image by combining multiple images of a lower resolution. Each of these low resolution images is subject to a sub-pixel sized lateral displacement. In this work we apply the microscanning approach to an infrared single-pixel camera. For the same final resolution and measurement resource, we show that microscanning improves the signal-to-noise ratio (SNR) of reconstructed images by approximately 50%. In addition, this strategy also provides access to a stream of low-resolution 'preview' images throughout each high-resolution acquisition. Our work demonstrates an additional degree of flexibility in the trade-off between SNR and spatial resolution in single-pixel imaging techniques.


title: Forcing homogeneous turbulence in DNS of particulate flow with interface resolution and gravity

abstract: We consider the case of finite-size spherical particles which are settling under gravity in a homogeneous turbulent background flow. Turbulence is forced with the aid of the random forcing method of Eswaran and Pope [Comput. Fluids, 16(3):257-278, 1988], while the solid particles are represented with an immersed-boundary method. The forcing scheme is used to generate isotropic turbulence in vertically elongated boxes in order to warrant better decorrelation of the Lagrangian signals in the direction of gravity. Since only a limited number of Fourier modes are forced, it is possible to evaluate the forcing field directly in physical space, thereby avoiding full-size transforms. The budget of box-averaged kinetic energy is derived from the forced momentum equations. Medium-sized simulations for dilute suspensions at low Taylor-scale Reynolds number $Re_\lambda=65$, small density ratio $\rho_p/\rho_f=1.5$ and for two Galileo numbers $Ga=0$ and 120 are carried out over long time intervals in order to exclude the possibility of slow divergence. It is shown that the results at zero gravity are fully consistent with previous experimental measurements and available numerical reference data. Specific features of the finite-gravity case are discussed with respect to a reduction of the average settling velocity, the acceleration statistics and the Lagrangian auto-correlations.


title: Conformal Mapping for Multiple Terminals

abstract: Conformal mapping is an important mathematical tool in many physical and engineering fields, especially in electrostatics, fluid mechanics, classical mechanics, and transformation optics. However in the existing textbooks and literatures, it is only adopted to solve the problems which have only two terminals. Two terminals with electric potential differences, pressure difference, optical path difference, etc., can be mapped conformally onto a solvable structure, e.g., a rectangle, where the two terminals are mapped onto two opposite edges of the rectangle. Here we show a conformal mapping method for multiple terminals, which is more common in practical applications. Through accurate analysis of the boundary conditions, additional terminals or boundaries are folded in the inner of the mapped rectangle. Then the solution will not be influenced. The method is described in several typical situations and two application examples are detailed. The first example is an electrostatic actuator with three electrodes. A previous literature dealt with this problem by approximately treat the three electrodes as two electrodes. Based on the proposed method, a preciser result is achieved in our paper. The second example is a light beam splitter designed by transformation optics, which is recently attracting growing interests around the world. The splitter has three ports, one for input and two for output. Based on the proposed method, a relatively simple and precise solution compared with previously reported results is obtained.


title: Polycrystalline para-terphenyl scintillator adopted in a $\beta^-$ detecting probe for radio-guided surgery

abstract: A radio-guided surgery technique exploiting $\beta^-$ emitters is under development. It aims at a higher target-to-background activity ratio implying both a smaller radiopharmaceutical activity and the possibility of extending the technique to cases with a large uptake of surrounding healthy organs. Such technique requires a dedicated intraoperative probe detecting $\beta^-$ radiation. A first prototype has been developed relying on the low density and high light yield of the diphenylbutadiene doped para-therphenyl organic scintillator. The scintillation light produced in a cylindrical crystal, 5 mm in diameter and 3 mm in height, is guided to a photo-multiplier tube by optical fibres. The custom readout electronics is designed to optimize its usage in terms of feedback to the surgeon, portability and remote monitoring of the signal. Tests show that with a radiotracer activity comparable to those administered for diagnostic purposes the developed probe can detect a 0.1 ml cancerous residual of meningioma in a few seconds.


title: Early polarization observations of the optical emission of gamma-ray bursts: GRB150301B and GRB150413A

abstract: We report early optical linear polarization observations of two gamma-ray bursts made with the MASTER robotic telescope network. We found the minimum polar- ization for GRB150301B to be 8% at the beginning of the initial stage, whereas we detected no polarization for GRB150413A either at the rising branch or after the burst reached the power-law afterglow stage. This is the earliest measurement of the polarization (in cosmological rest frame) of gamma-ray bursts. The primary intent of the paper is to discover optical emission and publish extremely rare (unique) high- quality light curves of the prompt optical emission of gamma-ray bursts during the non-monotonic stage of their evolution. We report that our team has discovered the optical counterpart of one of the bursts, GRB150413A.


title: Broad levels in $^{17}$O and their relevance for the astrophysical s-process

abstract: Levels in $^{17}$O affect the astrophysical s-process in two opposite ways. The neutron production is enhanced by resonances in the $^{13}$C($\alpha$,$n$)$^{16}$O reaction at excitation energies around 7 MeV in $^{17}$O, and the number of available neutrons is reduced by low-lying resonances in the $^{16}$O($n$,$\gamma$)$^{17}$O reaction corresponding to levels in $^{17}$O with excitation energies of $4-5$ MeV. The present work uses the $^{19}$F($d$,$\alpha$)$^{17}$O reaction to determine absolute widths of the relevant levels in $^{17}$O. The results improve the uncertainties of the previously adopted values and resolve a discrepancy between recent studies for the $1/2^+$ level close to the threshold of the $^{13}$C($\alpha$,$n$)$^{16}$O reaction. In addition, improved excitation energies and widths are provided for several states in $^{17}$O up to excitation energies close to 8 MeV.


title: Two Distinct Modes of Hydrogen-Bonding Interaction in the Prototypic Hybrid Halide Perovskite, Tetragonal CH3NH3PbI3

abstract: In spite of the key role of hydrogen bonding in the structural stabilization of the prototypic hybrid halide perovskite, CH3NH3PbI3 (MAPbI3), little progress has been made in our in-depth understanding of the hydrogen-bonding interaction between the MA+-ion and the iodide ions in the PbI6-octahedron network. Herein, we show that there exist two distinct types of the hydrogen-bonding interaction, naming a- and b-modes, in the tetragonal MAPbI3 on the basis of symmetry argument and density-functional theory calculations. The computed Kohn-Sham (K-S) energy difference between these two interaction modes is 45.14 meV per MA-site with the a-interaction mode being responsible for the stable hydrogen-bonding network. We have further estimated the individual bonding strength for the ten relevant hydrogen bonds having a bond critical point. The net difference in the total hydrogen-bonding energies between these two interaction modes is 43.87 meV per MA-site, which nearly coincides with the K-S energy difference of 45.14 meV.


title: Approximate methods for dynamic ecological models

abstract: This document is due to appear as a chapter of the forthcoming Handbook of Approximate Bayesian Computation (ABC) by S. Sisson, L. Fan, and M. Beaumont. Here we describe some of the circumstances under which statistical ecologists might benefit from using methods that base statistical inference on a set of summary statistics, rather than on the full data. We focus particularly on one such approach, Synthetic Likelihood, and we show how this method represents an alternative to particle filters, for the purpose of fitting State Space Models of ecological interest. As an example application, we consider the prey-predator model of Turchin and Ellner (2000), and we use it to analyse the observed population dynamics of Fennoscandian voles.


title: Observation of anisotropic interlayer Raman modes in few-layer ReS2

abstract: ReS$_2$ has recently emerged as a new member in the rapidly growing family of two-dimensional materials. Unlike MoS$_2$ or WSe$_2$, the optical and electrical properties of ReS$_2$ are not isotropic due to the reduced symmetry of the crystal. Here, we present layer-dependent Raman measurements of ReS$_2$ samples ranging from monolayers to ten layers in the ultralow frequency regime. We observe layer breathing and shear modes which allow for easy assignment of the number of layers. Polarization-dependent measurements give further insight into the crystal structure and reveal an energetic shift of the shear mode which stems from the in-plane anisotropy of the shear modulus in this material.


title: Production of hypertritons in heavy ion collisions around the threshold of strangeness production

abstract: We use the Isospin Quantum Molecular Dynamics approach supplemented with a phase space coalescence to study the properties of the production of hypertritons. We see strong influences of the hyperon rescattering on the yields. The hypertritons show up to be quite aligned to the properties of nuclear matter underlining the necessity of rescattering to transport the hyperons to the spectator matter.


title: Modelling influence and opinion evolution in online collective behaviour

abstract: Opinion evolution and judgment revision are mediated through social influence. Based on a large crowdsourced in vitro experiment (n=861), it is shown how a consensus model can be used to predict opinion evolution in online collective behaviour. It is the first time the predictive power of a quantitative model of opinion dynamics is tested against a real dataset. Unlike previous research on the topic, the model was validated on data which did not serve to calibrate it. This avoids to favor more complex models over more simple ones and prevents overfitting. The model is parametrized by the influenceability of each individual, a factor representing to what extent individuals incorporate external judgments. The prediction accuracy depends on prior knowledge on the participants' past behaviour. Several situations reflecting data availability are compared. When the data is scarce, the data from previous participants is used to predict how a new participant will behave. Judgment revision includes unpredictable variations which limit the potential for prediction. A first measure of unpredictability is proposed. The measure is based on a specific control experiment. More than two thirds of the prediction errors are found to occur due to unpredictability of the human judgment revision process rather than to model imperfection.


title: Features of collisionless turbulence in the intracluster medium from simulated Faraday Rotation maps

abstract: Observations of the intracluster medium (ICM) in galaxy clusters suggest for the presence of turbulence and the magnetic fields existence has been proved through observations of Faraday Rotation and synchrotron emission. The ICM is also known to be filled by a rarefied weakly collisional plasma. In this work we study the possible signatures left on Faraday Rotation maps by collisionless instabilities. For this purpose we use a numerical approach to investigate the dynamics of the turbulence in collisionless plasmas based on an magnetohydrodynamical (MHD) formalism taking into account different levels of pressure anisotropy. We consider models covering the sub/super-Alfv\'enic and trans/supersonic regimes, one of them representing the fiducial conditions corresponding to the ICM. From the simulated models we compute Faraday Rotation maps and analyze several statistical indicators in order to characterize the magnetic field structure and compare the results obtained with the collisionless model to those obtained using standard collisional MHD framework. We find that important imprints of the pressure anisotropy prevails in the magnetic field and also manifest in the associated Faraday Rotation maps which evidence smaller correlation lengths in the collisionless MHD case. These points are remarkably noticeable for the case mimicking the conditions prevailing in ICM. Nevertheless, in this study we have neglected the decrease of pressure anisotropy due to the feedback of the instabilities that naturally arise in collisionless plasmas at small scales. This decrease may not affect the statistical imprint differences described above, but should be examined elsewhere.