title: Visual Affect Around the World: A Large-scale Multilingual Visual Sentiment Ontology

abstract: Every culture and language is unique. Our work expressly focuses on the uniqueness of culture and language in relation to human affect, specifically sentiment and emotion semantics, and how they manifest in social multimedia. We develop sets of sentiment- and emotion-polarized visual concepts by adapting semantic structures called adjective-noun pairs, originally introduced by Borth et al. (2013), but in a multilingual context. We propose a new language-dependent method for automatic discovery of these adjective-noun constructs. We show how this pipeline can be applied on a social multimedia platform for the creation of a large-scale multilingual visual sentiment concept ontology (MVSO). Unlike the flat structure in Borth et al. (2013), our unified ontology is organized hierarchically by multilingual clusters of visually detectable nouns and subclusters of emotionally biased versions of these nouns. In addition, we present an image-based prediction task to show how generalizable language-specific models are in a multilingual context. A new, publicly available dataset of >15.6K sentiment-biased visual concepts across 12 languages with language-specific detector banks, >7.36M images and their metadata is also released.


title: Stochastic anomaly and large Reynolds number limit in hydrodynamic turbulence models

abstract: In this work we address the open problem of high Reynolds number limit in hydrodynamic turbulence, which we modify by considering a vanishing random (instead of deterministic) viscosity. In this formulation, a small-scale noise propagates to large scales in an inverse cascade, which can be described using qualitative arguments of the Kolmogorov-Obukhov theory. We conjecture that the limit of the resulting probability distribution exists as $\mathrm{Re} \to \infty$, and the limiting flow at finite time remains stochastic even if forcing, initial and boundary conditions are deterministic. This conjecture is confirmed numerically for the Sabra model of turbulence, where the solution is deterministic before and random immediately after a blowup. Then, we derive a purely inviscid problem formulation with a stochastic boundary condition imposed in the inertial interval.


title: Chromatic thresholds in dense random graphs

abstract: The chromatic threshold $\delta_\chi(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $\delta(G) \ge dpn$ has bounded chromatic number. The study of the parameter $\delta_\chi(H) := \delta_\chi(H,1)$ was initiated in 1973 by Erd\H{o}s and Simonovits, and was recently determined for all graphs $H$. In this paper we show that $\delta_\chi(H,p) = \delta_\chi(H)$ for all fixed $p \in (0,1)$, but that typically $\delta_\chi(H,p) \ne \delta_\chi(H)$ if $p = o(1)$. We also make significant progress towards determining $\delta_\chi(H,p)$ for all graphs $H$ in the range $p = n^{-o(1)}$. In sparser random graphs the problem is somewhat more complicated, and is studied in a separate paper.


title: Cooperative Data Exchange with Unreliable Clients

abstract: Consider a set of clients in a broadcast network, each of which holds a subset of packets in the ground set X. In the (coded) cooperative data exchange problem, the clients need to recover all packets in X by exchanging coded packets over a lossless broadcast channel. Several previous works analyzed this problem under the assumption that each client initially holds a random subset of packets in X. In this paper we consider a generalization of this problem for settings in which an unknown (but of a certain size) subset of clients are unreliable and their packet transmissions are subject to arbitrary erasures. For the special case of one unreliable client, we derive a closed-form expression for the minimum number of transmissions required for each reliable client to obtain all packets held by other reliable clients (with probability approaching 1 as the number of packets tends to infinity). Furthermore, for the cases with more than one unreliable client, we provide an approximation solution in which the number of transmissions per packet is within an arbitrarily small additive factor from the value of the optimal solution.


title: Jump and variational inequalities for rough operators

abstract: In this paper, we systematically study jump and variational inequalities for rough operators, whose research have been initiated by Jones {\it et al}. More precisely, we show some jump and variational inequalities for the families $\mathcal T:=\{T_\varepsilon\}_{\varepsilon>0}$ of truncated singular integrals and $\mathcal M:=\{M_t\}_{t>0}$ of averaging operators with rough kernels, which are defined respectively by $$ T_\varepsilon f(x)=\int_{|y|>\varepsilon}\frac{\Omega(y')}{|y|^n}f(x-y)dy $$ and $$M_t f(x)=\frac1{t^n}\int_{|y|<t}\Omega(y')f(x-y)dy, $$ where the kernel $\Omega$ belongs to $L\log^+\!\!L(\mathbf S^{n-1})$ or $H^1(\mathbf S^{n-1})$ or $\mathcal{G}_\alpha(\mathbf S^{n-1})$ (the condition introduced by Grafakos and Stefanov). Some of our results are sharp in the sense that the underlying assumptions are the best known conditions for the boundedness of corresponding maximal operators.


title: Contact homology and virtual fundamental cycles

abstract: We give a construction of contact homology in the sense of Eliashberg--Givental--Hofer. Specifically, we construct coherent virtual fundamental cycles on the relevant compactified moduli spaces of pseudo-holomorphic curves.


title: Holographic quantization of gravity in a black hole background

abstract: It was recently observed in \cite{Park:2014tia} that the holographic nature of gravity may hold a key to quantization of gravity. The so-called "holographic quantization" has been carried out in \cite{Park:2014noa,Park:2015ota} for Einstein gravity in a flat background. Generalizing the procedure to a curved background is the main goal of the present work. In particular, we consider the Einstein action expanded around a Schwarzschild background


title: Chromatic thresholds in sparse random graphs

abstract: The chromatic threshold $\delta_\chi(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $\delta(G) \ge dpn$ has bounded chromatic number. The study of $\delta_\chi(H) :=\delta_\chi(H,1)$ was initiated in 1973 by Erd\H{o}s and Simonovits. Recently $\delta_\chi(H)$ was determined for all graphs $H$. It is known that $\delta_\chi(H,p) =\delta_\chi(H)$ for all fixed $p \in (0,1)$, but that typically $\delta_\chi(H,p) \ne \delta_\chi(H)$ if $p = o(1)$. Here we study the problem for sparse random graphs. We determine $\delta_\chi(H,p)$ for most functions $p = p(n)$ when $H\in\{K_3,C_5\}$, and also for all graphs $H$ with $\chi(H) \not\in \{3,4\}$.


title: Homological stability of $Aut(F_n)$ revisited

abstract: We give another proof of a theorem of Hatcher and Vogtmann stating that the sequence $Aut(F_n)$ satisfies integral homological stability. The paper is for the most part expository, and we also explain Quillen's method for proving homological stability.


title: KPZ reloaded

abstract: We analyze the one-dimensional periodic Kardar-Parisi-Zhang equation in the language of paracontrolled distributions, giving an alternative viewpoint on the seminal results of Hairer. Apart from deriving a basic existence and uniqueness result for paracontrolled solutions to the KPZ equation we perform a thorough study of some related problems. We rigorously prove the links between KPZ equation, stochastic Burgers equation, and (linear) stochastic heat equation and also the existence of solutions starting from quite irregular initial conditions. We also build a partial link between energy solutions as introduced by Goncalves and Jara and paracontrolled solutions. Interpreting the KPZ equation as the value function of an optimal control problem, we give a pathwise proof for the global existence of solutions and thus for the strict positivity of solutions to the stochastic heat equation. Moreover, we study Sasamoto-Spohn type discretizations of the stochastic Burgers equation and show that their limit solves the continuous Burgers equation possibly with an additional linear transport term. As an application, we give a proof of the invariance of the white noise for the stochastic Burgers equation which does not rely on the Cole-Hopf transform.


title: A Pessimistic Approximation for the Fisher Information Measure

abstract: The problem of determining the intrinsic quality of a signal processing system with respect to the inference of an unknown deterministic parameter $\theta$ is considered. While the Fisher information measure $F(\theta)$ forms a classical tool for such a problem, direct computation of the information measure can become difficult in various situations. For the estimation theoretic performance analysis of nonlinear measurement systems, the form of the likelihood function can make the calculation of the information measure $F(\theta)$ challenging. In situations where no closed-form expression of the statistical system model is available, the analytical derivation of $F(\theta)$ is not possible at all. Based on the Cauchy-Schwarz inequality, we derive an alternative information measure $S(\theta)$. It provides a lower bound on the Fisher information $F(\theta)$ and has the property of being evaluated with the mean, the variance, the skewness and the kurtosis of the system model at hand. These entities usually exhibit good mathematical tractability or can be determined at low-complexity by real-world measurements in a calibrated setup. With various examples, we show that $S(\theta)$ provides a good conservative approximation for $F(\theta)$ and outline different estimation theoretic problems where the presented information bound turns out to be useful.


title: Effectively calculable quantum mechanics

abstract: According to mathematical constructivism, a mathematical object can exist only if there is a way to compute (or "construct") it; so, what is non-computable is non-constructive. In the example of the quantum model, whose Fock states are associated with Fibonacci numbers, this paper shows that the mathematical formalism of quantum mechanics is non-constructive since it permits an undecidable (or effectively impossible) subset of Hilbert space. On the other hand, as it is argued in the paper, if one believes that testability of predictions is the most fundamental property of any physical theory, one need to accept that quantum mechanics must be an effectively calculable (and thus mathematically constructive) theory. With that, a way to reformulate quantum mechanics constructively, while keeping its mathematical foundation unchanged, leads to hypercomputation. In contrast, the proposed in the paper superselection rule, which acts by effectively forbidding a coherent superposition of quantum states corresponding to potential and actual infinity, can introduce computable constructivism in a quantum mechanical theory with no need for hypercomputation.


title: A family of warped product semi-Riemannian Einstein metrics

abstract: We study warped products semi-Riemannian Einstein manifolds. We consider the case in that the base is conformal to an n-dimensional pseudo Euclidean space and invariant under the action of an translation group. We provide all such solutions in the case Ricci flat when the base is conformal to an n-dimensional pseudo-Euclidean space, invariant under the action of an translation group and the fiber F is Ricci flat. In particular, we obtain explicit solutions, in the case vacuum, for the Einstein field equation.


title: Pose-Guided Human Parsing with Deep Learned Features

abstract: Parsing human body into semantic regions is crucial to human-centric analysis. In this paper, we propose a segment-based parsing pipeline that explores human pose information, i.e. the joint location of a human model, which improves the part proposal, accelerates the inference and regularizes the parsing process at the same time. Specifically, we first generate part segment proposals with respect to human joints predicted by a deep model, then part- specific ranking models are trained for segment selection using both pose-based features and deep-learned part potential features. Finally, the best ensemble of the proposed part segments are inferred though an And-Or Graph. We evaluate our approach on the popular Penn-Fudan pedestrian parsing dataset, and demonstrate the effectiveness of using the pose information for each stage of the parsing pipeline. Finally, we show that our approach yields superior part segmentation accuracy comparing to the state-of-the-art methods.


title: Quantifying and Visualizing Uncertainties in Molecular Models

abstract: Computational molecular modeling and visualization has seen significant progress in recent years with sev- eral molecular modeling and visualization software systems in use today. Nevertheless the molecular biology community lacks techniques and tools for the rigorous analysis, quantification and visualization of the associated errors in molecular structure and its associated properties. This paper attempts at filling this vacuum with the introduction of a systematic statistical framework where each source of structural uncertainty is modeled as a ran- dom variable (RV) with a known distribution, and properties of the molecules are defined as dependent RVs. The framework consists of a theoretical basis, and an empirical implementation where the uncertainty quantification (UQ) analysis is achieved by using Chernoff-like bounds. The framework enables additionally the propagation of input structural data uncertainties, which in the molecular protein world are described as B-factors, saved with almost all X-ray models deposited in the Protein Data Bank (PDB). Our statistical framework is also able and has been applied to quantify and visualize the uncertainties in molecular properties, namely solvation interfaces and solvation free energy estimates. For each of these quantities of interest (QOI) of the molecular models we provide several novel and intuitive visualizations of the input, intermediate, and final propagated uncertainties. These methods should enable the end user achieve a more quantitative and visual evaluation of various molecular PDB models for structural and property correctness, or the lack thereof.


title: ND^(*) and NB^(*) interactions in a chiral quark model

abstract: ND and ND^* interactions become a hot topic after the observation of new charmed hadrons \Sigma_c(2800) and \Lambda_c(2940)^+. In this letter, we have preliminary investigated S-wave ND and ND^* interactions with possible quantum numbers in the chiral SU(3) quark model and the extended chiral SU(3) quark model by solving the resonating group method equation. The numerical results show that the interactions between N and D or N and D^* are both attractive, which are mainly from \sigma exchanges between light quarks. Further bound-state studies indicate the attractions are strong enough to form ND or ND^* molecules, except for (ND)_{J=3/2} and (ND^*)_{J=3/2} in the chiral SU(3) quark model. In consequence ND system with J=1/2 and ND^* system with J=3/2 in the extended SU(3) quark model could correspond to the observed \Sigma_c(2800) and \Lambda_c(2940)^+, respectively. Naturally, the same method can be applied to research NB and NB^* interactions, and similar conclusions obtained, i.e. NB and NB^* attractive forces may achieve bound states, except for (NB^*)_{J=3/2} in the chiral SU(3) quark model. Meanwhile, S partial wave phase shifts of ND^{(*)} and NB^{(*)} elastic scattering are illustrated, which are qualitatively consistent with results from bound state problem.


title: A simple sampler for the horseshoe estimator

abstract: In this note we derive a simple Bayesian sampler for linear regression with the horseshoe hierarchy. A new interpretation of the horseshoe model is presented, and extensions to logistic regression and alternative hierarchies, such as horseshoe$+$, are discussed. Due to the conjugacy of the proposed hierarchy, Chib's algorithm may be used to easily compute the marginal likelihood of the model.


title: GHz Laser-free Time-resolved Transmission Electron Microscopy: a Stroboscopic High-duty-cycle Method

abstract: A device and a method for producing ultrashort electron pulses with GHz repetition rates via pulsing an input direct current (dc) electron beam are provided. The device and the method are based on an electromagnetic-mechanical pulser (EMMP) that consists of a series of transverse deflecting cavities and magnetic quadrupoles. The EMMP modulates and chops the incoming dc electron beam and converts it into pico- and sub-pico-second (100 fs to 10 ps) electron pulse sequences at >1 GHz repetition rates. Applying the EMMP to a transmission electron microscope (TEM) with any dc electron source, a GHz stroboscopic high-duty-cycle TEM can be realized. Unlike in many recent developments in time-resolved TEM that rely on a sample pumping laser paired with a laser launching electrons from a photocathode to probe the sample, there is no laser in the presented experimental set-up. This is expected to be a significant relief for electron microscopists who are not familiar with laser systems. The EMMP and the sample are externally driven by a radiofrequency (RF) source synchronized through a delay line. With no laser pumping the sample, the problem of the laser induced residual heating/damaging the sample is eliminated. As many RF-driven processes can be cycled indefinitely, sampling rates of 1-50 GHz become accessible. Such a GHz stroboscopic TEM would open up a new paradigm for in situ and in operando experiments to study samples externally driven electromagnetically. Complementary to the lower (MHz) repetition rates experiments enabled by laser photocathode TEM, new experiments in the high rep-rate multi-GHz regime will be enabled by the proposed RF design. In this article, we report an optimal design of the EMMP and an analytical generalized matrix approach in the thin lens approximation, along with detailed beam dynamics taking actual realistic dc beam parameters in a TEM operating at 200 keV.


title: Geometry of reduced density matrices for symmetry-protected topological phases

abstract: In this paper, we study the geometry of reduced density matrices for states with symmetry-protected topological (SPT) order. We observe ruled surface structures on the boundary of the convex set of low dimension projections of the reduced density matrices. In order to signal the SPT order using ruled surfaces, it is important that we add a symmetry-breaking term to the boundary of the system---no ruled surface emerges in systems without boundary or when we add a symmetry-breaking term representing a thermodynamic quantity. Although the ruled surfaces only appear in the thermodynamic limit where the ground-state degeneracy is exact, we analyze the precision of our numerical algorithm and show that a finite system calculation suffices to reveal the ruled surface structures.


title: Heavy flavor in relativistic heavy-ion collisions

abstract: We study charm production in ultra-relativistic heavy-ion collisions by using the Parton-Hadron-String Dynamics (PHSD) transport approach. The initial charm quarks are produced by the PYTHIA event generator tuned to fit the transverse momentum spectrum and rapidity distribution of charm quarks from Fixed-Order Next-to-Leading Logarithm (FONLL) calculations. The produced charm quarks scatter in the quark-gluon plasma (QGP) with the off-shell partons whose masses and widths are given by the Dynamical Quasi-Particle Model (DQPM), which reproduces the lattice QCD equation-of-state in thermal equilibrium. The relevant cross sections are calculated in a consistent way by employing the effective propagators and couplings from the DQPM. Close to the critical energy density of the phase transition, the charm quarks are hadronized into $D$ mesons through coalescence and/or fragmentation. The hadronized $D$ mesons then interact with the various hadrons in the hadronic phase with cross sections calculated in an effective lagrangian approach with heavy-quark spin symmetry. The nuclear modification factor $R_{AA}$ and the elliptic flow $v_2$ of $D^0$ mesons from PHSD are compared with the experimental data from the STAR Collaboration for Au+Au collisions at $\sqrt{s_{NN}}$ =200 GeV and to the ALICE data for Pb+Pb collisions at $\sqrt{s_{NN}}$ =2.76 TeV. We find that in the PHSD the energy loss of $D$ mesons at high $p_T$ can be dominantly attributed to partonic scattering while the actual shape of $R_{AA}$ versus $p_T$ reflects the heavy-quark hadronization scenario, i.e. coalescence versus fragmentation. Also the hadronic rescattering is important for the $R_{AA}$ at low $p_T$ and enhances the $D$-meson elliptic flow $v_2$.


title: Spacetime Symmetry Breaking and Einstein-Maxwell Theory

abstract: A vector model with a hybrid form of spacetime symmetry breaking consisting of explicit diffeomorphism breaking but spontaneous local Lorentz violation is presented. The combined effects of these symmetry breakings give rise to a theory obeying the Einstein-Maxwell equations in a preferred spatially homogeneous and isotropic frame, with photons emerging as massless Nambu-Goldstone modes. Interpretations and possible generalizations of this model are discussed, and comparisons are made to previous models describing photons as Nambu-Goldstone modes.


title: Faraday Tomography of the North Polar Spur: Constraints on the distance to the Spur and on the Magnetic Field of the Galaxy

abstract: We present radio continuum and polarization images of the North Polar Spur (NPS) from the Global Magneto-Ionic Medium Survey (GMIMS) conducted with the Dominion Radio Astrophysical Observatory 26-m Telescope. We fit polarization angle versus wavelength squared over 2048 frequency channels from 1280 to 1750 MHz to obtain a Faraday Rotation Measure (RM) map of the NPS. Combining this RM map with a published Faraday depth map of the entire Galaxy in this direction, we derive the Faraday depth introduced by the NPS and the Galactic interstellar medium (ISM) in front of and behind the NPS. The Faraday depth contributed by the NPS is close to zero, indicating that the NPS is an emitting only feature. The Faraday depth caused by the ISM in front of the NPS is consistent with zero at b>50 degree, implying that this part of the NPS is local at a distance of approximately several hundred parsecs. The Faraday depth contributed by the ISM behind the NPS gradually increases with Galactic latitude up to b=44 degree, and decreases at higher Galactic latitudes. This implies that either the part of the NPS at b<44 degree is distant or the NPS is local but there is a sign change of the large-scale magnetic field. If the NPS is local, there is then no evidence for a large-scale anti-symmetry pattern in the Faraday depth of the Milky Way. The Faraday depth introduced by the ISM behind the NPS at latitudes b>50 degree can be explained by including a coherent vertical magnetic field.


title: On connectivity in a general random intersection graph

abstract: There has been growing interest in studies of general random intersection graphs. In this paper, we consider a general random intersection graph $\mathbb{G}(n,\overrightarrow{a}, \overrightarrow{K_n},P_n)$ defined on a set $\mathcal{V}_n$ comprising $n$ vertices, where $\overrightarrow{a}$ is a probability vector $(a_1,a_2,\ldots,a_m)$ and $\overrightarrow{K_n}$ is $(K_{1,n},K_{2,n},\ldots,K_{m,n})$. This graph has been studied in the literature including a most recent work by Ya\u{g}an [arXiv:1508.02407]. Suppose there is a pool $\mathcal{P}_n$ consisting of $P_n$ distinct objects. The $n$ vertices in $\mathcal{V}_n$ are divided into $m$ groups $\mathcal{A}_1, \mathcal{A}_2, \ldots, \mathcal{A}_m$. Each vertex $v$ is independently assigned to exactly a group according to the probability distribution with $\mathbb{P}[v \in \mathcal{A}_i]= a_i$, where $i=1,2,\ldots,m$. Afterwards, each vertex in group $\mathcal{A}_i$ independently chooses $K_{i,n}$ objects uniformly at random from the object pool $\mathcal{P}_n$. Finally, an undirected edge is drawn between two vertices in $\mathcal{V}_n$ that share at least one object. This graph model $\mathbb{G}(n,\overrightarrow{a}, \overrightarrow{K_n},P_n)$ has applications in secure sensor networks and social networks. We investigate connectivity in this general random intersection graph $\mathbb{G}(n,\overrightarrow{a}, \overrightarrow{K_n},P_n)$ and present a sharp zero-one law. Our result is also compared with the zero-one law established by Ya\u{g}an.


title: REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics

abstract: This paper describes an architecture for robots that combines the complementary strengths of probabilistic graphical models and declarative programming to represent and reason with logic-based and probabilistic descriptions of uncertainty and domain knowledge. An action language is extended to support non-boolean fluents and non-deterministic causal laws. This action language is used to describe tightly-coupled transition diagrams at two levels of granularity, with a fine-resolution transition diagram defined as a refinement of a coarse-resolution transition diagram of the domain. The coarse-resolution system description, and a history that includes (prioritized) defaults, are translated into an Answer Set Prolog (ASP) program. For any given goal, inference in the ASP program provides a plan of abstract actions. To implement each such abstract action, the robot automatically zooms to the part of the fine-resolution transition diagram relevant to this action. A probabilistic representation of the uncertainty in sensing and actuation is then included in this zoomed fine-resolution system description, and used to construct a partially observable Markov decision process (POMDP). The policy obtained by solving the POMDP is invoked repeatedly to implement the abstract action as a sequence of concrete actions, with the corresponding observations being recorded in the coarse-resolution history and used for subsequent reasoning. The architecture is evaluated in simulation and on a mobile robot moving objects in an indoor domain, to show that it supports reasoning with violation of defaults, noisy observations and unreliable actions, in complex domains.


title: Building an IDE for the Calculational Derivation of Imperative Programs

abstract: In this paper, we describe an IDE called CAPS (Calculational Assistant for Programming from Specifications) for the interactive, calculational derivation of imperative programs. In building CAPS, our aim has been to make the IDE accessible to non-experts while retaining the overall flavor of the pen-and-paper calculational style. We discuss the overall architecture of the CAPS system, the main features of the IDE, the GUI design, and the trade-offs involved.


title: Towards Enabling Overture as a Platform for Formal Notation IDEs

abstract: Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages such as Java. This means newcomers to formal methods do not get the same user experience as with their favourite programming IDE. In order to improve this situation it is essential that efforts are combined so it is possible to reuse common features and thus not start from scratch every time. This paper presents the Overture platform where such a reuse philosophy is present. We give an overview of the platform itself as well as the extensibility principles that enable much of the reuse. The paper also contains several examples platform extensions, both in the form of new features and a new IDE supporting a new language.


title: An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project

abstract: Safety critical avionics software is a natural application area for formal verification. This is reflected in the formal method's inclusion into the certification guideline DO-178C and its formal methods supplement DO-333. Airbus and Dassault-Aviation, for example, have conducted studies in using formal verification. A large German national research project, Verisoft XT, also examined the application of formal methods in the avionics domain. However, formal methods are not yet mainstream, and it is questionable if formal verification, especially formal deduction, can be integrated into the software development processes of a resource constrained small or medium enterprise (SME). ESG, a Munich based medium sized company, has conducted a small experimental study on the application of formal verification on a small portion of a real avionics project. The low level specification of a software function was formalized with ACSL, and the corresponding source code was partially verified using Frama-C and the WP plugin, with Alt-Ergo as automated prover. We established a couple of criteria which a method should meet to be fit for purpose for industrial use in SME, and evaluated these criteria with the experience gathered by using ACSL with Frama-C on a real world example. The paper reports on the results of this study but also highlights some issues regarding the method in general which, in our view, will typically arise when using the method in the domain of embedded real-time programming.


title: The AutoProof Verifier: Usability by Non-Experts and on Standard Code

abstract: Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. In this paper, we discuss this general phenomenon with reference to AutoProof: a tool that can verify the full functional correctness of object-oriented software. In particular, we present our experiences of using AutoProof in two contrasting contexts representative of non-expert usage. First, we discuss its usability by students in a graduate course on software verification, who were tasked with verifying implementations of various sorting algorithms. Second, we evaluate its usability in verifying code developed for programming assignments of an undergraduate course. The first scenario represents usability by serious non-experts; the second represents usability on "standard code", developed without full functional verification in mind. We report our experiences and lessons learnt, from which we derive some general suggestions for furthering the development of verification tools with respect to improving their usability.


title: Formal Reasoning Using an Iterative Approach with an Integrated Web IDE

abstract: This paper summarizes our experience in communicating the elements of reasoning about correctness, and the central role of formal specifications in reasoning about modular, component-based software using a language and an integrated Web IDE designed for the purpose. Our experience in using such an IDE, supported by a 'push-button' verifying compiler in a classroom setting, reveals the highly iterative process learners use to arrive at suitably specified, automatically provable code. We explain how the IDE facilitates reasoning at each step of this process by providing human readable verification conditions (VCs) and feedback from an integrated prover that clearly indicates unprovable VCs to help identify obstacles to completing proofs. The paper discusses the IDE's usage in verified software development using several examples drawn from actual classroom lectures and student assignments to illustrate principles of design-by-contract and the iterative process of creating and subsequently refining assertions, such as loop invariants in object-based code.


title: A Holistic Approach in Embedded System Development

abstract: We present pState, a tool for developing "complex" embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitative and quantitative properties are specified in system models expressed as pCharts, an extended version of hierarchical state machines. These properties are specified in an intuitive way such that they can be written by engineers who are domain experts, without needing to be familiar with temporal logic. From the system model, executable code that preserves the verified properties is generated. The design is documented on the model and the documentation is passed as comments into the generated code. On the series of examples we illustrate how models and properties are specified using pState.


title: Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example

abstract: Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the analyzer is not only a single tool, but an open extensible collaborative framework in which external developers may develop plug-ins collaborating with each other, such a well designed architecture even becomes more important. In this experience report, we explain difficulties of developing and maintaining open extensible collaborative analysis frameworks, through the example of Frama-C, a platform dedicated to the analysis of code written in C. We also present the new upcoming software architecture of Frama-C and how it aims to solve some of these issues.


title: Convergence Analysis of Algorithms for DC Programming

abstract: We consider the minimization problems of the form $P(\varphi, g, h)$: $\min\{f(x) = \varphi(x) + g(x) - h(x): x \in \Bbb R^n\}$, where $\varphi$ is a differentiable function and $g$, $h$ are convex functions, and introduce iterative methods to finding a critical point of $f$ when $f$ is differentiable. We show that the point computed by proximal point algorithm at each iteration can be used to determine a descent direction for the objective function at this point. This algorithm can be considered as a combination of proximal point algorithm together with a linesearch step that uses this descent direction. We also study convergence results of these algorithms and the inertial proximal methods proposed by P.E. Maing$\acute{e}$ {\it et.al.} \cite{MM} under the main assumption that the objective function satisfies the Kurdika-{\L}ojasiewicz property.


title: Dissociation products and structures of solid H2S at strong compression

abstract: Hydrogen sulfides have recently received a great deal of interest due to the record high superconducting temperatures of up to 203 K observed on strong compression of dihydrogen sulfide (H2S). A joint theoretical and experimental study is presented in which decomposition products and structures of compressed H2S are characterized, and their superconducting properties are calculated. In addition to the experimentally known H2S and H3S phases, our first-principles structure searches have identified several energetically competitive stoichiometries that have not been reported previously; H2S3, H3S2, and H4S3. In particular, H4S3 is predicted to be thermodynamically stable within a large pressure range of 25-113 GPa. High-pressure room-temperature X-ray diffraction measurements confirm the presence of H3S and H4S3 through decomposition of H2S that emerge at 27 GPa and coexist with residual H2S, at least up to the highest pressure studied in our experiments of 140 GPa. Electron-phonon coupling calculations show that H4S3 has a small Tc of below 2 K, and that H2S is mainly responsible for the observed superconductivity of samples prepared at low temperature (<100K).


title: Unlocking Blocked Communicating Processes

abstract: We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring procedures that disentangle detected locks. Our development is cast within a simple setting of a finite linear CCS variant \^a although it suffices to illustrate the main concepts, we also discuss how our work extends to other language extensions.


title: Domain-specific queries and Web search personalization: some investigations

abstract: Major search engines deploy personalized Web results to enhance users' experience, by showing them data supposed to be relevant to their interests. Even if this process may bring benefits to users while browsing, it also raises concerns on the selection of the search results. In particular, users may be unknowingly trapped by search engines in protective information bubbles, called "filter bubbles", which can have the undesired effect of separating users from information that does not fit their preferences. This paper moves from early results on quantification of personalization over Google search query results. Inspired by previous works, we have carried out some experiments consisting of search queries performed by a battery of Google accounts with differently prepared profiles. Matching query results, we quantify the level of personalization, according to topics of the queries and the profile of the accounts. This work reports initial results and it is a first step a for more extensive investigation to measure Web search personalization.


title: On Properties of Policy-Based Specifications

abstract: The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity, the exploitation of access control mechanisms has thus become a crucial issue in the design of modern computing systems. Among the different access control approaches proposed in the last decades, the policy-based one permits to capture, by resorting to the concept of attribute, all systems' security-relevant information and to be, at the same time, sufficiently flexible and expressive to represent the other approaches. In this paper, we move a step further to understand the effectiveness of policy-based specifications by studying how they permit to enforce traditional security properties. To support system designers in developing and maintaining policy-based specifications, we formalise also some relevant properties regarding the structure of policies. By means of a case study from the banking domain, we present real instances of such properties and outline an approach towards their automatised verification.


title: Short note on the excitonic Mott phase

abstract: An exciton gas on a lattice is analyzed in terms of a convergent hopping expansion. For a given chemical potential our calculation provides a sufficient condition for the hopping rate to obtain an exponential decay of the exciton correlation function. This result indicates the existence of a Mott phase in which strong fluctuations destroy the long range correlations in the exciton gas at any temperature, either by thermal or by quantum fluctuations.


title: Semantics-based Automated Web Testing

abstract: We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.


title: Using a Machine Learning Approach to Implement and Evaluate Product Line Features

abstract: Bike-sharing systems are a means of smart transportation in urban environments with the benefit of a positive impact on urban mobility. In this paper we are interested in studying and modeling the behavior of features that permit the end user to access, with her/his web browser, the status of the Bike-Sharing system. In particular, we address features able to make a prediction on the system state. We propose to use a machine learning approach to analyze usage patterns and learn computational models of such features from logs of system usage. On the one hand, machine learning methodologies provide a powerful and general means to implement a wide choice of predictive features. On the other hand, trained machine learning models are provided with a measure of predictive performance that can be used as a metric to assess the cost-performance trade-off of the feature. This provides a principled way to assess the runtime behavior of different components before putting them into operation.


title: Extragradient algorithms for equilibrium problems and symmetric generalized hybrid mappings

abstract: In this paper, we propose new algorithms for finding a common point of the solution set of a pseudomonotone equilibrium problem and the set of fixed points of a symmetric generalized hybrid mapping in a real Hilbert space. The convergence of the iterates generated by each method is obtained under assumptions that the fixed point mapping is quasi-nonexpansive and demiclosed at $0$, and the bifunction associated with the equilibrium problem is weakly continuous. The bifunction is assumed to be satisfying a Lipschitz-type condition when the basic iteration comes from the extragradient method. It becomes unnecessary when an Armijo back tracking linesearch is incorporated in the extragradient method.


title: A Calculus of Mobility and Communication for Ubiquitous Computing

abstract: We propose a Calculus of Mobility and Communication (CMC) for the modelling of mobility, communication and context-awareness in the setting of ubiquitous computing. CMC is an ambient calculus with the in and out capabilities of Cardelli and Gordon's Mobile Ambients. The calculus has a new form of global communication similar to that in Milner's CCS. In CMC an ambient is tagged with a set of ports that agents executing inside the ambient are allowed to communicate on. It also has a new context-awareness feature that allows ambients to query their location. We present reduction semantics and labelled transition system semantics of CMC and prove that the semantics coincide. A new notion of behavioural equivalence is given by defining capability barbed bisimulation and congruence which is proved to coincide with barbed bisimulation congruence. The expressiveness of the calculus is illustrated by two case studies.


title: Stationary and time periodic patterns of two-predator and one-prey systems with prey-taxis

abstract: This paper concerns pattern formation in a class of reaction-advection-diffusion systems modeling the population dynamics of two predators and one prey. We consider the biological situation that both predators forage along the population density gradient of the preys which can defend themselves as a group. We prove the global existence and uniform boundedness of positive classical solutions for the fully parabolic system over a bounded domain with space dimension $N=1,2$ and for the parabolic- -parabolic-elliptic system over higher space dimensions. Linearized stability analysis shows that prey-taxis stabilizes the positive constant equilibrium if there is no group defense while it destabilizes the equilibrium otherwise. Then we obtain stationary and time-periodic nontrivial solutions of the system that bifurcate from the positive constant equilibrium. Moreover, the stability of these solutions is also analyzed in detail which provides a wave mode selection mechanism of nontrivial patterns for this strongly coupled system. Finally, we perform numerical simulations to illustrate and support our theoretical results.


title: Pentaquarks from intrinsic charms in $\Lambda_b$ decays

abstract: We study the three-body $\Lambda_b$ decays of $\Lambda_b\to J/\psi pM$ with $M=K^-$ and $\pi^-$. The two new states ${\cal P}_{c1}\equiv {\cal P}_c(4380)^+$ and ${\cal P}_{c2}\equiv {\cal P}_c(4450)^+$ observed recently as the resonances in the $J/\psi p$ invariant mass spectrum of $\Lambda_b\to J/\psi p K^-$ can be identified to consist of five quarks, $uudc\bar c$, being consistent with the existence of the pentaquark states. We argue that, in the doubly charmful $\Lambda_b$ decays of $\Lambda_b\to J/\psi pK^-$ through $b\to c\bar c s$, apart from those through the non-resonant $\Lambda_b\to pK^-$ and resonant $\Lambda_b\to \Lambda^*\to pK^-$ transitions, the third contribution with the non-factorizable effects is not the dominant part for the resonant $\Lambda_b\to K^-{\cal P}_{c1,c2}, {\cal P}_{c1,c2}\to J/\psi p$ processes, such that we propose that the ${\cal P}_{c1,c2}$ productions are mainly from the charmless $\Lambda_b$ decays through $b\to \bar u u s$, in which the $c\bar c$ content in ${\cal P}_{c1,c2}$ arises from the intrinsic charms within the $\Lambda_b$ baryon. We hence predict the observables related to the branching ratios and the direct CP violating asymmetries to be ${\cal B}(\Lambda_b\to \pi^-({\cal P}_{c1,c2}\to) J/\psi p)/{\cal B}(\Lambda_b\to K^-({\cal P}_{c1,c2}\to) J/\psi p)=0.8\pm 0.1$, ${\cal A}_{CP}(\Lambda_b\to \pi^-({\cal P}_{c1,c2}\to)J/\psi p)=(-3.9\pm 0.2)\%$, and ${\cal A}_{CP}(\Lambda_b\to K^-({\cal P}_{c1,c2}\to)J/\psi p)=(5.8\pm 0.2)\%$, which can alleviate the inconsistency between the theoretical expectations from the three contributions in the doubly charmful $\Lambda_b$ decays and the observed data.


title: Uniform regularity and vanishing dissipation limit for the full compressible Navier-Stokes system in 3-D bounded domain

abstract: In the present paper, we study the uniform regularity and vanishing dissipation limit for the full compressible Navier-Stokes system whose viscosity and heat conductivity are allowed to vanish at different order. The problem is studied in a 3-D bounded domain with Navier-slip type boundary conditions \eqref{1.9}. It is shown that there exists a unique strong solution to the full compressible Navier-Stokes system with the boundary conditions \eqref{1.9} in a finite time interval which is independent of the viscosity and heat conductivity. The solution is uniform bounded in $W^{1,\infty}$ and a conormal Sobolev space. Based on such uniform estimates, we prove the convergence of the solutions of the full compressible Navier-Stokes to the corresponding solutions of the full compressible Euler system in $L^\infty(0,T;L^2)$,$L^\infty(0,T;H^1)$ and $L^\infty([0,T]\times\Omega)$ with a rate of convergence.


title: Distance regularity in buildings and structure constants in Hecke algebras

abstract: In this paper we define generalised spheres in buildings using the simplicial structure and Weyl distance in the building, and we derive an explicit formula for the cardinality of these spheres. We prove a generalised notion of distance regularity in buildings, and develop a combinatorial formula for the cardinalities of intersections of generalised spheres. Motivated by the classical study of algebras associated to distance regular graphs we investigate the algebras and modules of Hecke operators arising from our generalised distance regularity, and prove isomorphisms between these algebras and more well known parabolic Hecke algebras. We conclude with applications of our main results to non-negativity of structure constants in parabolic Hecke algebras, commutativity of algebras of Hecke operators, double coset combinatorics in groups with $BN$-pairs, and random walks on the simplices of buildings.


title: Total Variation and Separation Cutoffs are not equivalent and neither one implies the other

abstract: The cutoff phenomenon describes the case when an abrupt transition occurs in the convergence of a Markov chain to its equilibrium measure. There are various metrics which can be used to measure the distance to equilibrium, each of which corresponding to a different notion of cutoff. The most commonly used are the total-variation and the separation distances. In this note we prove that the cutoff for these two distances are not equivalent by constructing several counterexamples which display cutoff in total-variation but not in separation and with the opposite behavior, including lazy simple random walk on a sequence of uniformly bounded degree expander graphs. These examples give a negative answer to a question of Ding, Lubetzky and Peres.


title: Dynamic Beam Shaping Using a Dual-Band Metasurface-Inspired Electronically Tunable Reflectarray Antenna

abstract: An electronically reconfigurable dual-band-reflectarray antenna is presented in this paper. The tunable unit cell, a ring loaded square patch with a single varactor diode connected across the gap between the ring and the patch, is modeled using both a full-wave solver and an equivalent circuit. The parameters of the equivalent circuit are calculated independently of the simulation and experiment using analysis techniques employed in frequency selective surfaces. The reflection phase of the proposed unit cell is shown to provide an excellent phase range of 335$^{\circ}$ in F band and 340$^{\circ}$ in S band. Results from the analysis are used to design and build a 10x10 element reflectarray antenna. The high tuning phase range of each element allows the fabricated reflectarray to demonstrate a very broad steering range of up to $\pm$60$^{\circ}$ in both frequency bands.


title: Birational contractions of $\overline{\mathrm{M}}_{0,n}$ and combinatorics of extremal assignments

abstract: From Smyth's classification, modular compactifications of pointed smooth rational curves are indexed by combinatorial data, so-called extremal assignments. We explore their combinatorial structures and show that any extremal assignment is a finite union of atomic extremal assignments. We discuss a connection with the birational geometry of the moduli space of stable pointed curves. As applications, we study three special classes of extremal assignments: smooth, toric, and invariant with respect to the symmetric group action. We identify them with three combinatorial objects: simple intersecting families, complete multipartite graphs, and special families of integer partitions, respectively.


title: Asteroseismology of a $\delta$ Scuti star CoRoT 102749568

abstract: For $\delta$ Scuti star CoRoT 102749568, 52 independent frequencies were obtained by Papar$\acute{o}$ et al. 2013. We find that there are 4 multiplets and 8 doublets with nearly equal split caused by rotation. Differential rotation is suggested instead of rigid body rotation to explain the equal split phenomenon. Grids of models are computed with MESA to fit observational frequencies of CoRoT 102749568. After rejecting modes of $m\neq0$ in multiplets and doublets, we identify 31 modes of $m = 0$ and 3 modes of $m\neq0$, including 4 modes of $l = 0$, 9 modes of $l=1$, 11 modes of $l=2$, and 10 modes of $l=3$. The mean error is 0.447$\mu$Hz for the best-fitting model, and the physical parameters of the corresponding model are as followings: $M=1.95$ $\rm M_{\odot}$, $Z=0.025$, $T_{\rm eff}=7096$ K, log$g=3.727$, $L=22.77$ $\rm L_{\odot}$, $Age=1.113$ Gyr.


title: Engineering the magnetic anisotropy of atomic-scale nanostructure under electric field

abstract: Atomic-scale magnetic nanostructures are promising candidates for future information processing devices. Utilizing external electric field to manipulate their magnetic properties is an especially thrilling project. Here, by careful identifying different contributions of each atomic orbital to the magnetic anisotropy energy (MAE) of the ferromagnetic metal films, we argue that it is possible to engineer both the MAE and the magnetic response to the electric field of atomic-scale magnetic nanostructures. Taking the iron monolayer as a matrix, we propose several interesting iron nanostructures with dramatically different magnetic properties. Such nanostructures could exhibit strong magnetoelectric effect. Our work may open a new avenue to the artificial design of electrically controlled magnetic devices.


title: Traces of intertwiners for quantum affine sl_2 and Felder-Varchenko functions

abstract: We show that the traces of $U_q(\widehat{\mathfrak{sl}}_2)$-intertwiners of Etingof-Schiffmann-Varchenko valued in the three-dimensional evaluation representation converge in a certain region of parameters and give a representation-theoretic construction of Felder-Varchenko's hypergeometric solutions to the $q$-KZB heat equation. This gives the first proof that such a trace function converges and resolves the first case of the Etingof-Varchenko conjecture. As applications, we prove a symmetry property for traces of intertwiners and prove Felder-Varchenko's conjecture that their elliptic Macdonald polynomials are related to the affine Macdonald polynomials defined as traces over irreducible integrable $U_q(\widehat{\mathfrak{sl}}_2)$-modules by Etingof-Kirillov Jr. In the trigonometric and classical limits, we recover results of Etingof-Kirillov Jr. and Etingof-Varchenko. Our method relies on an interplay between the method of coherent states applied to the free field realization of the $q$-Wakimoto module of Matsuo, convergence properties given by the theta hypergeometric integrals of Felder-Varchenko, and rationality properties originating from the representation-theoretic definition of the trace function.


title: Magnetic Ordering Induced Giant Optical Property Change in Tetragonal BiFeO3

abstract: Magnetic ordering, as one of the most important characteristics in magnetic materials, could have significant influence on the band structure, spin dependent transport, and other important properties of materials. Its measurement, especially for the case of antiferromagnetic ordering, however, is generally difficult to be achieved. Here we demonstrate the feasibility of magnetic ordering detection using a noncontact and nondestructive optical method. Taking the compressive strained tetragonal BiFeO3 (BFO) as an example and combining density functional theory calculations with the minimal one-band tight-binding models, we find that when BFO changes from C1-type antiferromagnetic (AFM) phase to G-type AFM phase, the top of valance band shifts from the Z point to {\Gamma} point, which makes the original direct band gap become indirect. This can be explained by the two-center Slater-Koster parameters using the Harrison approach. The impact of magnetic ordering on energy band dispersion dramatically changes the optical properties of tetragonal BFO. For the linear ones, the energy shift of the optical band gap could be as large as 0.4 eV. As for the nonlinear ones, the change is even larger. The second-harmonic generation coefficient d33 of G-AFM becomes more than 13 times smaller than that of C1-type AFM case. Finally, we propose a practical way to distin-guish the C1- and G-type AFM of BFO using the optical method, which might be of great importance in next-generation information storage technologies and widens the potential application of BFO to optical switch.


title: Nontopological Soliton in the Polyakov Quark Meson Model

abstract: Within a mean field approximation, we study a nontopological soliton solution of the Polyakov quark-meson model in the presence of a fermionic vacuum term with two flavors at finite temperature and density. The profile of the effective potential exhibits a stable soliton solution below a critical temperature $T\leq T_{\chi}^c$ for both the crossover and the first-order phase transitions, and these solutions are calculated here with appropriate boundary conditions. However, it is found that only if $T\leq T^c_d$,the energy of the soliton $M_N$ is less than the energy of the three free constituent quarks $3M_q$. As $T> T^c_d$, there is an instant delocalization phase transition from hadron matter to quark matter. The phase diagram together with the location of a critical end point (CEP) has been obtained in $T$ and $\mu$ plane. We notice that two critical temperatures always satisfy $T^c_d\leq T_{\chi}^c$. Finally, we present and compare the result of thermodynamic pressure at zero chemical potential with lattice data.


title: Non-zero-sum stopping games in continuous time

abstract: On a filtered probability space $(\Omega ,\mathcal{F}, (\mathcal{F}_t)_{t\in[0,\infty]}, \mathbb{P})$, we consider the two-player non-zero-sum stopping game $u^i := \mathbb{E}[U^i(\rho,\tau)],\ i=1,2$, where the first player choose a stopping strategy $\rho$ to maximize $u^1$ and the second player chose a stopping strategy $\tau$ to maximize $u^2$. Unlike the Dynkin game, here we assume that $U(s,t)$ is $\mathcal{F}_{s\vee t}$-measurable. Assuming the continuity of $U^i$ in $(s,t)$, we show that there exists an $\epsilon$-Nash equilibrium for any $\epsilon>0$.


title: Okounkov bodies associated to pseudoeffective divisors

abstract: An Okounkov body is a convex subset in Euclidean space associated to a big divisor on a smooth projective variety with respect to an admissible flag. In this paper, we introduce two convex bodies associated to pseudoeffective divisors, called the valuative Okounkov bodies and the limiting Okounkov bodies, and show that these convex bodies reflect the asymptotic properties of pseudoeffective divisors as in the case with big divisors. Our results extend the works of Lazarsfeld-Musta\c{t}\u{a} and Kaveh-Khovanskii. For this purpose, we define and study special subvarieties, called the Nakayama subvarieties and the positive volume subvarieties, associated to pseudoeffective divisors.


title: Boundaries of Planar Graphs: A Unified Approach

abstract: We give a new proof that the Poisson boundary of a planar graph coincides with the boundary of its square tiling and with the boundary of its circle packing, originally proven by Georgakopoulos and Angel, Barlow, Gurel-Gurevich and Nachmias respectively. Our proof is robust, and also allows us to identify the Poisson boundaries of graphs that are rough-isometric to planar graphs. We also prove that the boundary of the square tiling of a bounded degree plane triangulation coincides with its Martin boundary. This is done by comparing the square tiling of the triangulation with its circle packing.


title: Optimal Taxation with Endogenous Default under Incomplete Markets

abstract: In a dynamic economy, we characterize the fiscal policy of the government when it levies distortionary taxes and issues defaultable bonds to finance its stochastic expenditure. Default may occur in equilibrium as it prevents the government from incurring in future tax distortions that would come along with the service of the debt. Households anticipate the possibility of default generating endogenous credit limits. These limits hinder the government's ability to smooth taxes using debt, implying more volatile and less serially correlated fiscal policies, higher borrowing costs and lower levels of indebtedness. In order to exit temporary financial autarky following a default event, the government has to repay a random fraction of the defaulted debt. We show that the optimal fiscal and renegotiation policies have implications aligned with the data.


title: Separability conditions based on local fine-grained uncertainty relations

abstract: Many protocols of quantum information processing use entangled states. Hence, separability criteria are of great importance. We propose new separability conditions for a bipartite finite-dimensional system. They are derived by using fine-grained uncertainty relations. Fine-grained uncertainty relations can be obtained by consideration of the spectral norms of certain positive matrices. One of possible approaches to separability conditions is connected with upper bounds on the sum of maximal probabilities. Separability conditions are often formulated for measurements that have a special structure. For instance, mutually unbiased bases and mutually unbiased measurements can be utilized for such purposes. Using resolution of the identity for each subsystem of a bipartite system, we construct some resolution of the identity in the product of Hilbert spaces. Separability conditions are then formulated in terms of maximal probabilities for a collection of specific outcomes. The presented conditions are compared with some previous formulations. Our results are exemplified with entangled states of a two-qutrit system.


title: Calculation of P,T-odd interaction constant of PbF using Z-vector method in the relativistic coupled-cluster framework

abstract: The effective electric field experienced by the unpaired electron in the ground state of PbF, which is a potential candidate in the search of electron electric dipole moment due to some special characteristics, is calculated using Z-vector method in the coupled cluster single- and double- excitation approximation with four component Dirac spinor. This is an important quantity to set the upper bound limit of the electron electric dipole moment. Further, we have calculated molecular dipole moment and parallel magnetic hyperfine structure constant (A$_\|$) of $^{207}$Pb in PbF to test the accuracy of the wave function obtained in the Z-vector method. The outcome of our calculations clearly suggests that the core electrons have significant contribution to the "atom in compound (AIC)" properties.


title: Chromospheric Evaporation in an X1.0 Flare on 2014 March 29 Observed with IRIS and EIS

abstract: Chromospheric evaporation refers to dynamic mass motions in flare loops as a result of rapid energy deposition in the chromosphere. These have been observed as blueshifts in X-ray and extreme-ultraviolet (EUV) spectral lines corresponding to upward motions at a few tens to a few hundreds of km/s. Past spectroscopic observations have also revealed a dominant stationary component, in addition to the blueshifted component, in emission lines formed at high temperatures (~10 MK). This is contradictory to evaporation models predicting predominant blueshifts in hot lines. The recently launched Interface Region Imaging Spectrograph (IRIS) provides high resolution imaging and spectroscopic observations that focus on the chromosphere and transition region in the UV passband. Using the new IRIS observations, combined with coordinated observations from the EUV Imaging Spectrometer, we study the chromospheric evaporation process from the upper chromosphere to corona during an X1.0 flare on 2014 March 29. We find evident evaporation signatures, characterized by Doppler shifts and line broadening, at two flare ribbons separating from each other, suggesting that chromospheric evaporation takes place in successively formed flaring loops throughout the flare. More importantly, we detect dominant blueshifts in the high temperature Fe XXI line (~10 MK), in agreement with theoretical predictions. We also find that, in this flare, gentle evaporation occurs at some locations in the rise phase of the flare, while explosive evaporation is detected at some other locations near the peak of the flare. There is a conversion from gentle to explosive evaporation as the flare evolves.


title: LCNN: Low-level Feature Embedded CNN for Salient Object Detection

abstract: In this paper, we propose a novel deep neural network framework embedded with low-level features (LCNN) for salient object detection in complex images. We utilise the advantage of convolutional neural networks to automatically learn the high-level features that capture the structured information and semantic context in the image. In order to better adapt a CNN model into the saliency task, we redesign the network architecture based on the small-scale datasets. Several low-level features are extracted, which can effectively capture contrast and spatial information in the salient regions, and incorporated to compensate with the learned high-level features at the output of the last fully connected layer. The concatenated feature vector is further fed into a hinge-loss SVM detector in a joint discriminative learning manner and the final saliency score of each region within the bounding box is obtained by the linear combination of the detector's weights. Experiments on three challenging benchmark (MSRA-5000, PASCAL-S, ECCSD) demonstrate our algorithm to be effective and superior than most low-level oriented state-of-the-arts in terms of P-R curves, F-measure and mean absolute errors.


title: Deep Networks Can Resemble Human Feed-forward Vision in Invariant Object Recognition

abstract: Deep convolutional neural networks (DCNNs) have attracted much attention recently, and have shown to be able to recognize thousands of object categories in natural image databases. Their architecture is somewhat similar to that of the human visual system: both use restricted receptive fields, and a hierarchy of layers which progressively extract more and more abstracted features. Yet it is unknown whether DCNNs match human performance at the task of view-invariant object recognition, whether they make similar errors and use similar representations for this task, and whether the answers depend on the magnitude of the viewpoint variations. To investigate these issues, we benchmarked eight state-of-the-art DCNNs, the HMAX model, and a baseline shallow model and compared their results to those of humans with backward masking. Unlike in all previous DCNN studies, we carefully controlled the magnitude of the viewpoint variations to demonstrate that shallow nets can outperform deep nets and humans when variations are weak. When facing larger variations, however, more layers were needed to match human performance and error distributions, and to have representations that are consistent with human behavior. A very deep net with 18 layers even outperformed humans at the highest variation level, using the most human-like representations.


title: The potential of the HAWC Observatory to observe violations of Lorentz Invariance

abstract: The framework of relativistic quantum-field theories requires Lorentz Invariance. Many theories of quantum gravity, on the other hand, include violations of Lorentz Invariance at small scales and high energies. This generates a lot of interest in establishing limits on such effects, and, if possible, observing them directly. Gamma-ray observatories provide a tool to probe parts of the parameter space of models of Lorentz Invariance Violation that is not accessible in terrestrial laboratories and man-made accelerators. Transients, especially gamma-ray bursts, are a particularly promising class of events to search for such phenomena. By combining cosmological distances with high energy emission and short duration, emitting photons up to 30 GeV in less than a second, one can measure the energy dependence of the speed of photons to one part in $10^{16}$. We will discuss the potential of HAWC to detect effects of the violation of Lorentz Invariance and place its sensitivity in the context of existing limits.


title: Knuthian Drawings of Series-Parallel Flowcharts

abstract: Inspired by a classic paper by Knuth, we revisit the problem of drawing flowcharts of loop-free algorithms, that is, degree-three series-parallel digraphs. Our drawing algorithms show that it is possible to produce Knuthian drawings of degree-three series-parallel digraphs with good aspect ratios and small numbers of edge bends.


title: Geometric conditions for multiple sampling and interpolation in the Fock space

abstract: We study multiple sampling, interpolation and uniqueness for the classical Fock spaces in the case of unbounded multiplicities. We show that there are no sequences which are simultaneously sampling and interpolating when the multiplicities tend to infinity.


title: Suppression of Nonmagnetic Insulating State by Application of Pressure in Mineral Tetrahedrite Cu$_{12}$Sb$_{4}$S$_{13}$

abstract: The mineral tetrahedrite Cu$_{12}$Sb$_{4}$S$_{13}$ exhibits a first-order metal--insulator transition (MIT) at $T_{\rm MI}$ = 85 K and ambient pressure. We measured the $^{63}$Cu-NMR at ambient pressure and the resistivity and magnetic susceptibility at high pressures. $^{63}$Cu-NMR results indicate a nonmagnetic insulating ground state in this compound. The MIT is monotonically suppressed by pressure and disappears at $\sim1.0$ GPa. Two other anomalies are observed in the resistivity measurements, and the pressure -- temperature phase diagram of Cu$_{12}$Sb$_{4}$S$_{13}$ is constructed.


title: On mathching property for groups and vector spaces

abstract: In this paper we prove a sufficient condition for the existence of matchings in arbitrary groups and its linear analogue, which lead to some generalizations of the existing results in the theory of matchings in groups and central extensions of division rings. We introduce the notion of relative matchings between arrays of elements in groups and use this notion to study the behavior of matchable sets under group homomorphisms. We also present infinite families of prime numbers p such that Z/pZ does not have the acyclic matching property. Finally, we introduce the linear version of acyclic matching property and show that purely transcendental field extensions satisfy this property


title: Emergence of charge degrees of freedom under high pressure in an organic dimer-Mott insulator ${\beta}^{\prime}$-(BEDT-TTF)$_2$ICl$_2$

abstract: To elucidate the pressure evolution of the electronic structure in an antiferromagnetic dimer-Mott (DM) insulator ${\beta}^{\prime}$-(BEDT-TTF)$_2$ICl$_2$, which exhibits superconductivity at 14.2 K under 8 GPa, we measured the polarized infrared (IR) optical spectra under high pressure. At ambient pressure, two characteristic bands due to intra- and interdimer charge transfers have been observed in the IR spectra, supporting that this salt is a typical half-filled DM insulator at ambient pressure. With increasing pressure, however, the intradimer charge transfer excitation shifts to much lower energies, indicating that the effective electronic state changes from half-filled to 3/4-filled as a result of weakening of dimerization. This implies that the system approaches a charge-ordered state under high pressure, in which charge degrees of freedom emerge as an important factor. The present results suggest that charge fluctuation inside of dimers plays an important role in the high-temperature superconductivity.


title: Deformation and shape of flexible, microscale helices in viscous flow

abstract: We examine experimentally the deformation of flexible, microscale helical ribbons with nanoscale thickness subject to viscous flow in a microfluidic channel. Two aspects of flexible microhelices are quantified: the overall shape of the helix and the viscous frictional properties. The frictional coefficients determined by our experiments are consistent with calculated values in the context of resistive force theory. Deformation of helices by viscous flow is well-described by non-linear finite extensibility. Under distributed loading, the pitch distribution is non-uniform and from this, we identify both linear and non-linear behavior along the contour length of a single helix. Moreover, flexible helices are found to display reversible global to local helical transitions at high flow rate.


title: Quandles associated to Galois covers of arithmetic schemes

abstract: Let $X$ be a normal, separated and integral scheme of finite type over $\mathbb{Z}$ and $\mathcal{M}$ a set of closed points of $X$. To a Galois cover $\tilde{X}$ of $X$ unramified over $\mathcal{M}$, we associate a quandle whose underlying set consists of points of $\tilde{X}$ lying over $\mathcal{M}$. As the limit of such quandles over all \'etale Galois covers and all \'etale abelian covers, we define topological quandles $Q(X, \mathcal{M})$ and $Q^\mathrm{ab}(X, \mathcal{M})$, respectively. Then we study the problem of reconstruction. Let $K$ be $\mathbb{Q}$ or a quadratic field, $\mathcal{O}_K$ its ring of integers, $X=\mathrm{Spec} \mathcal{O}_K\setminus\{\mathfrak{p}\}$ the complement of a closed point such that $\pi_1(X)^\mathrm{ab}$ is infinite, and $\mathcal{M}$ a set of maximal ideals with density $1$. Using results from $p$-adic transcendental number theory, we show that $K$, $\mathfrak{p}$ and the projection $\mathcal{M}\to\mathrm{Spec} \mathbb{Z}$ can be recovered from the topological quandle $Q(X, \mathcal{M})$ or $Q^\mathrm{ab}(X, \mathcal{M})$.


title: Using Bluetooth Low Energy in smartphones to map social networks

abstract: Social networks have an important role in an individual's health, with the propagation of health-related features through a network, and correlations between network structures and symptomatology. Using Bluetooth-enabled smartphones to measure social connectivity is an alternative to traditional paper-based data collection; however studies employing this technology have been restricted to limited sets of homogenous handsets. We investigated the feasibility of using the Bluetooth Low Energy (BLE) protocol, present on users' own smartphones, to measure social connectivity. A custom application was designed for Android and iOS handsets. The app was configured to simultaneously broadcast via BLE and perform periodic discovery scans for other nearby devices. The app was installed on two Android handsets and two iOS handsets, and each combination of devices was tested in the foreground, background and locked states. Connectivity was successfully measured in all test cases, except between two iOS devices when both were in a locked state with their screens off. As smartphones are in a locked state for the majority of a day, this severely limits the ability to measure social connectivity on users' own smartphones. It is not currently feasible to use Bluetooth Low Energy to map social networks, due to the inability of iOS devices to detect another iOS device when both are in a locked state. While the technology was successfully implemented on Android devices, this represents a smaller market share of partially or fully compatible devices.


title: Local derivations on finite-dimensional Lie algebras

abstract: We prove that every local derivation on a finite-dimensional semisimple Lie algebra over an algebraically closed field of characteristic zero is a derivation. We also give examples of finite-dimensional nilpotent Lie algebras $\mathcal{L}$ with $\dim\mathcal{L}\geq 3$ which admit local derivations which are not derivations.


title: MmWave Massive MIMO Based Wireless Backhaul for 5G Ultra-Dense Network

abstract: Ultra-dense network (UDN) has been considered as a promising candidate for future 5G network to meet the explosive data demand. To realize UDN, a reliable, Gigahertz bandwidth, and cost-effective backhaul connecting ultra-dense small-cell base stations (BSs) and macro-cell BS is prerequisite. Millimeter-wave (mmWave) can provide the potential Gbps traffic for wireless backhaul. Moreover, mmWave can be easily integrated with massive MIMO for the improved link reliability. In this article, we discuss the feasibility of mmWave massive MIMO based wireless backhaul for 5G UDN, and the benefits and challenges are also addressed. Especially, we propose a digitally-controlled phase-shifter network (DPSN) based hybrid precoding/combining scheme for mmWave massive MIMO, whereby the low-rank property of mmWave massive MIMO channel matrix is leveraged to reduce the required cost and complexity of transceiver with a negligible performance loss. One key feature of the proposed scheme is that the macro-cell BS can simultaneously support multiple small-cell BSs with multiple streams for each smallcell BS, which is essentially different from conventional hybrid precoding/combining schemes typically limited to single-user MIMO with multiple streams or multi-user MIMO with single stream for each user. Based on the proposed scheme, we further explore the fundamental issues of developing mmWave massive MIMO for wireless backhaul, and the associated challenges, insight, and prospect to enable the mmWave massive MIMO based wireless backhaul for 5G UDN are discussed.


title: The antiferromagnetic cross-coupled spin ladder: quantum fidelity and tensor networks approach

abstract: We investigate the phase diagram of the cross-coupled Heisenberg spin ladder with antiferromagnetic couplings. For this model there have been conflicting results for the existence of the columnar dimer phase, which was predicted on the basis of weak coupling field theory renormalisation group arguments. The numerical work on this model has been based on various approaches, including exact diagonalization, series expansions and density-matrix renormalization group calculations. Using the recently developed tensor network states and ground-state fidelity approach for quantum spin ladders we find no evidence for the existence of the columnar dimer phase. We also provide an argument based on the symmetry of the Hamiltonian which suggests that the phase diagram for antiferromagnetic couplings consists of a single line separating the rung-singlet and Haldane phases.


title: Correlated lateral phase separations in stacks of lipid membranes

abstract: Motivated by the experimental study of Tayebi et al. [Nature Mater. 11, 1074 (2012)] on phase separation of stacked multi-component lipid bilayers, we propose a model composed of stacked two-dimensional Ising spins. We study both its static and dynamical features using Monte Carlo simulations with Kawasaki spin exchange dynamics that conserves the order parameter. We show that at thermodynamical equilibrium, due to strong inter-layer correlations, the system forms a continuous columnar structure for any finite interaction across adjacent layers. Furthermore, the phase separation shows a faster dynamics as the inter-layer interaction is increased. This temporal behavior is mainly due to an effective deeper temperature quench because of the larger value of the critical temperature, $T_{\rm c}$, for larger inter-layer interaction. When the temperature ratio, $T/T_{\rm c}$, is kept fixed, the temporal growth exponent does not increase and even slightly decreases as function of the increased inter-layer interaction, as the system crosses-over from two to three dimensions.


title: The Detector System of The Daya Bay Reactor Neutrino Experiment

abstract: The Daya Bay experiment was the first to report simultaneous measurements of reactor antineutrinos at multiple baselines leading to the discovery of $\bar{\nu}_e$ oscillations over km-baselines. Subsequent data has provided the world's most precise measurement of $\rm{sin}^22\theta_{13}$ and the effective mass splitting $\Delta m_{ee}^2$. The experiment is located in Daya Bay, China where the cluster of six nuclear reactors is among the world's most prolific sources of electron antineutrinos. Multiple antineutrino detectors are deployed in three underground water pools at different distances from the reactor cores to search for deviations in the antineutrino rate and energy spectrum due to neutrino mixing. Instrumented with photomultiplier tubes (PMTs), the water pools serve as shielding against natural radioactivity from the surrounding rock and provide efficient muon tagging. Arrays of resistive plate chambers over the top of each pool provide additional muon detection. The antineutrino detectors were specifically designed for measurements of the antineutrino flux with minimal systematic uncertainty. Relative detector efficiencies between the near and far detectors are known to better than 0.2%. With the unblinding of the final two detectors' baselines and target masses, a complete description and comparison of the eight antineutrino detectors can now be presented. This paper describes the Daya Bay detector systems, consisting of eight antineutrino detectors in three instrumented water pools in three underground halls, and their operation through the first year of eight detector data-taking.


title: Emergence of non-Fermi liquid behaviors in 5d perovskite SrIrO3 thin films: interplay between correlation, disorder, and spin-orbit coupling

abstract: We investigate the effects of compressive strain on the electrical resistivity of 5d iridium based perovskite SrIrO3 by depositing epitaxial films of thickness 35 nm on various substrates such as GdScO3 (110), DyScO3 (110), and SrTiO3 (001). Surprisingly, we find anomalous transport behaviors in the tempeature dependent resistivity, where the temperature exponent evolves continuously from 4/5 to 1 and to 3/2 with an increase of compressive strain. Furthermore, magnetoresistance always remains positive irrespective of resistivity upturns at low temperatures. These observations imply that the delicate interplay between correlation and disorder in the presence of strong spin-orbit coupling is responsible for the emergence of the non-Fermi liquid behaviors in 5d perovskite SrIrO3 thin films. We offer a theoretical framework for the interpretation of the experimental results.


title: Weakly Hyperbolic Systems by Symmetrization

abstract: We study hyperbolic first order systems and propose a new method proving Gevrey well posedness, constructing a symmetrizer, motivated by a special Lyapunov function for linear ODE. The proof not only gives a priori estimates straightforward so simply but also clarifies some effects coming from the spectral structures other than the multiplicities of the eigenvalues.


title: Genericity on curves and applications: pseudo-integrable billiards, Eaton lenses and gap distributions

abstract: In this paper we prove results on Birkhoff and Oseledets genericity along certain curves in the space of affine lattices and in moduli spaces of translation surfaces. We also prove applications of these results to dynamical billiards, mathematical physics and number theory. In the space of affine lattices $ASL_2(\mathbb{R})/ASL_2( \mathbb{Z})$, we prove that almost every point on a curve with some non-degeneracy assumptions is Birkhoff generic for the geodesic flow. This implies almost everywhere genericity for some curves in the locus of branched covers of the torus inside the stratum $\mathcal{H}(1,1)$ of translation surfaces. For these curves (and more in general curves which are well-approximated by horocycle arcs and satisfy almost everywhere Birkhoff genericity) we also prove that almost every point is Oseledets generic for the Kontsevitch-Zorich cocycle, generalizing a recent result by Chaika and Eskin. As applications, we first consider a class of pseudo-integrable billiards, billiards in ellipses with barriers, which was recently explored by Dragovic and Radnovic, and prove that for almost every parameter, the billiard flow is uniquely ergodic within the region of phase space in which it is trapped. We then consider any periodic array of Eaton retroreflector lenses, placed on vertices of a lattice, and prove that in almost every direction light rays are each confined to a band of finite width. This generalizes a phenomenon recently discovered by Fraczek and Schmoll which could so far only be proved for random periodic configurations. Finally, a result on the gap distribution of fractional parts of the sequence of square roots of positive integers, which extends previous work by Elkies and McMullen, is also obtained.


title: No Effect of Steady Rotation on Solid $^4$He in a Torsional Oscillator

abstract: We have measured the response of a torsional oscillator containing polycrystalline hcp solid $^{4}$He to applied steady rotation in an attempt to verify the observations of several other groups that were initially interpreted as evidence for macroscopic quantum effects. The geometry of the cell was that of a simple annulus, with a fill line of relatively narrow diameter in the centre of the torsion rod. Varying the angular velocity of rotation up to 2\,rad\,s$^{-1}$ showed that there were no step-like features in the resonant frequency or dissipation of the oscillator and no history dependence, even though we achieved the sensitivity required to detect the various effects seen in earlier experiments on other rotating cryostats. All small changes during rotation were consistent with those occurring with an empty cell. We thus observed no effects on the samples of solid $^4$He attributable to steady rotation.


title: An asymptotic expansion for the Stieltjes constants

abstract: The Stieltjes constants $\gamma_n$ appear in the coefficients in the Laurent expansion of the Riemann zeta function $\zeta(s)$ about the simple pole $s=1$. We present an asymptotic expansion for $\gamma_n$ as $n\rightarrow \infty$ based on the approach described by Knessel and Coffey [Math. Comput. {\bf 80} (2011) 379--386]. A truncated form of this expansion with explicit coefficients is also given. Numerical results are presented that illustrate the accuracy achievable with our expansion.


title: Universality of the mean-field for the Potts model

abstract: We consider the Potts model with $q$ colors on a sequence of weighted graphs with adjacency matrices $A_n$, allowing for both positive and negative weights. Under a mild regularity condition the mean-field prediction for the log partition function of the Potts model on a sequence of matrices $A_n$ is asymptotically correct, whenever $\text{tr}(A_n^2)=o(n)$. In particular, our results are applicable for the Ising and the Potts models on any sequence of graphs with average degree going to $+\infty$. Using this, we establish the universality of the limiting log partition function of the ferromagnetic Potts model for a sequence of asymptotically regular graphs, and that of the Ising model for bi-regular bipartite graphs in both ferromagnetic and anti-ferromagnetic domain. We also derive a large deviation principle for the empirical measure of the colors for the Potts model on asymptotically regular graphs.


title: Excellence networks in science: A Web-based application based on Bayesian multilevel logistic regression (BMLR) for the identification of institutions collaborating successfully

abstract: In this study we present an application which can be accessed via www.excellence-networks.net and which represents networks of scientific institutions worldwide. The application is based on papers (articles, reviews and conference papers) published between 2007 and 2011. It uses (network) data, on which the SCImago Institutions Ranking is based (Scopus data from Elsevier). Using this data, institutional networks have been estimated with statistical models (Bayesian multilevel logistic regression, BMLR) for a number of Scopus subject areas. Within single subject areas, we have investigated and visualized how successfully overall an institution (reference institution) has collaborated (compared to all the other institutions in a subject area), and with which other institutions (network institutions) a reference institution has collaborated particularly successfully. The "best paper rate" (statistically estimated) was used as an indicator for evaluating the collaboration success of an institution. This gives the proportion of highly cited papers from an institution, and is considered generally as an indicator for measuring impact in bibliometrics.


title: The Behavior of Cyclohexane Confined in Slit Carbon Nanopore

abstract: It is well known that confining a liquid into a pore strongly alters the liquid behavior. Investigations of the effect of confinement are of great importance for many scientific and technological applications. Here we present a molecular dynamics study of the behavior of cyclohexane confined in carbon slit pores. The local structure and orientational ordering of cyclohexane molecules are investigated. It is shown that the system freezes with decreasing the pore width, and the freezing temperature of nanoconfined cyclohenae is higher than the bulk one.


title: Performance Studies of Underwater Wireless Optical Communication Systems with Spatial Diversity: MIMO Scheme

abstract: In this paper, we analytically study the performance of multiple-input multiple-output underwater wireless optical communication (MIMO UWOC) systems with on-off keying (OOK) modulation. To mitigate turbulence-induced fading, which is amongst the major degrading effects of underwater channels on the propagating optical signal, we use spatial diversity over UWOC links. Furthermore, the effects of absorption and scattering are considered in our analysis. We analytically obtain the exact and an upper bound bit error rate (BER) expressions for both optimal and equal gain combining. In order to more effectively calculate the system BER, we apply Gauss-Hermite quadrature formula as well as approximation to the sum of lognormal random variables. We also apply photon-counting method to evaluate the system BER in the presence of shot noise. Our numerical results indicate an excellent match between the exact and upper bound BER curves. Also {a good match} between {the} analytical results and numerical simulations confirms the accuracy of our derived expressions. Moreover, our results show that spatial diversity can considerably improve the system performance, especially for channels with higher turbulence, e.g., a $3\times1$ MISO transmission in a $25$ {m} coastal water link with log-amplitude variance of $0.16$ can introduce $8$ {dB} performance improvement at the BER of $10^{-9}$.


title: Sense Beyond Expressions: Cuteness

abstract: With the development of Internet culture, cuteness has become a popular concept. Many people are curious about what factors making a person look cute. However, there is rare research to answer this interesting question. In this work, we construct a dataset of personal images with comprehensively annotated cuteness scores and facial attributes to investigate this high-level concept in depth. Based on this dataset, through an automatic attributes mining process, we find several critical attributes determining the cuteness of a person. We also develop a novel Continuous Latent Support Vector Machine (C-LSVM) method to predict the cuteness score of one person given only his image. Extensive evaluations validate the effectiveness of the proposed method for cuteness prediction.


title: Complex additive geometric multilevel solvers for Helmholtz equations on spacetrees

abstract: We introduce a family of implementations of low order, additive, geometric multilevel solvers for systems of Helmholtz equations. Both grid spacing and arithmetics may comprise complex numbers and we thus can apply complex scaling techniques to the indefinite Helmholtz operator. Our implementations are based upon the notion of a spacetree and work exclusively with a finite number of precomputed local element matrices. They are globally matrix-free. Combining various relaxation factors with two grid transfer operators allows us to switch from pure additive multigrid over a hierarchical basis method into BPX with several multiscale smoothing variants within one code base. Pipelining allows us to realise a full approximation storage (FAS) scheme within the additive environment where, amortised, each grid vertex carrying degrees of freedom is read/written only once per iteration. The codes thus realise a single-touch policy. Among the features facilitated by matrix-free FAS is arbitrary dynamic mesh refinement (AMR) for all solver variants. AMR as enabler for full multigrid (FMG) cycling---the grid unfolds throughout the computation---allows us to reduce the cost per unknown per order of accuracy. The present paper primary contributes towards software realisation and design questions. Our experiments show that the consolidation of single-touch FAS, dynamic AMR and vectorisation-friendly, complex scaled, matrix-free FMG cycles delivers a mature implementation blueprint for solvers for a non-trivial class of problems such as Helmholtz equations. Besides this validation, we put particular emphasis on a strict implementation formalism as well as some implementation correctness proofs.


title: A Note on "Regularity lemma for distal structures"

abstract: In a recent paper, Chernikov and Starchenko prove that graphs defined in distal theories have strong regularity properties, generalizing previous results about graphs defined by semi-algebraic relations. We give a shorter, purely model-theoretic proof of this fact.


title: Explicit Calculations of Tensor Product Coefficients for E_7

abstract: We propose a new method to calculate coupling coefficients of E_7 tensor products. Our method is based on explicit use of E_7 characters in the definition of a tensor product. When applying Weyl character formula for E_7 Lie algebra, one needs to make sums over 2903040 elements of E_7 Weyl group. To implement such enormous sums, we show we have a way which makes their calculations possible. This will be accomplished by decomposing an E_7 character into 72 participating A_7 characters.


title: Representations of Lie superalgebras with fusion flags

abstract: We study the category of finite--dimensional representations for a basic classical Lie superalgebra $\Lg=\Lg_0\oplus \Lg_1$. For the ortho--symplectic Lie superalgebra $\Lg=\mathfrak{osp}(1,2n)$ we show that certain objects in that category admit a fusion flag, i.e. a sequence of graded $\Lg_0[t]$--modules such that the successive quotients are isomorphic to fusion products. Among these objects we find fusion products of finite--dimensional irreducible $\Lg$--modules, truncated Weyl modules and Demazure type modules. Moreover, we establish a presentation for these types of fusion products in terms of generators and relations of the enveloping algebra.


title: A new strain energy function for modelling ligaments and tendons whose fascicles have a helical arrangement of fibrils

abstract: A new strain energy function for the hyperelastic modelling of ligaments and tendons whose fascicles have a helical arrangement of fibrils is derived. The stress-strain response of a single fascicle whose fibrils exhibit varying levels of crimp throughout its radius is calculated and used to determine the form of the strain energy function. The new constitutive law is used to model uniaxial extension test data for human patellar tendon and is shown to provide an excellent fit, with the average relative error being 9.8%. It is then used to model shear and predicts that the stresses required to shear a tendon are much smaller than those required to uniaxially stretch it to the same strain level. Finally, the strain energy function is used to model ligaments and tendons whose fascicles are helical, and the relative effects of the fibril helix angle, the fascicle helix angle and the fibril crimp variable are compared. It is shown that they all have a significant effect; the fibril crimp variable governs the non-linearity of the stress-strain curve, whereas the helix angles primarily affect its stiffness. Smaller values of the helix angles lead to stiffer tendons; therefore, the model predicts that one would expect to see fewer helical sub-structures in stiff positional tendons, and more in those that are required to be more flexible.


title: A Parameter Estimation Approach to State Observation of Nonlinear Systems

abstract: A novel approach to the problem of partial state estimation of nonlinear systems is proposed. The main idea is to translate the state estimation problem into one of estimation of constant, unknown parameters related to the systems initial conditions. The class of systems for which the method is applicable is identified via two assumptions related to the transformability of the system into a suitable cascaded form and our ability to estimate the unknown parameters. The first condition involves the solvability of a partial differential equation while the second one requires some persistency of excitation--like conditions. The proposed observer is shown to be applicable to position estimation of a class of electromechanical systems, for the reconstruction of the state of power converters and for speed observation of a class of mechanical systems.


title: The set of flexible nondegenerate polyhedra of a prescribed combinatorial structure is not always algebraic

abstract: We construct some example of a closed nondegenerate nonflexible polyhedron $P$ in Euclidean 3-space that is the limit of a sequence of nondegenerate flexible polyhedra each of which is combinatorially equivalent to $P$. This implies that the set of flexible nondegenerate polyhedra combinatorially equivalent to $P$ is not algebraic.


title: Immersion and Invariance Stabilization of Nonlinear Systems: A Horizontal Contraction Approach

abstract: The main objective of this paper is to propose an alternative procedure to carry out one of the key steps of immersion and invariance stabilising controller design. Namely, the one that ensures attractivity of the manifold whose internal dynamics contains a copy of the desired system behaviour. Towards this end we invoke contraction theory principles and ensure the attractivity of the manifold rendering it horizontally contractive. The main advantage of adopting this alternative approach is to make more systematic the last step of the design with more explicit degrees of freedom to accomplish the task. The classical case of systems in feedback form is used to illustrate the proposed controller design.