title: Evaluating the Performance Impact of Multiple Streams on the MIC-based Heterogeneous Platform

abstract: Using \textit{multiple streams} can improve the overall system performance by mitigating the data transfer overhead on heterogeneous systems. Prior work focuses a lot on GPUs but little is known about the performance impact on (Intel Xeon) Phi. In this work, we apply multiple streams into six real-world applications on Phi. We then systematically evaluate the performance benefits of using multiple streams. The evaluation work is performed at two levels: the microbenchmarking level and the real-world application level. Our experimental results at the microbenchmark level show that data transfers and kernel execution can be overlapped on Phi, while data transfers in both directions are performed in a serial manner. At the real-world application level, we show that both overlappable and non-overlappable applications can benefit from using multiple streams (with an performance improvement of up to 24\%). We also quantify how task granularity and resource granularity impact the overall performance. Finally, we present a set of heuristics to reduce the search space when determining a proper task granularity and resource granularity. To conclude, our evaluation work provides lots of insights for runtime and architecture designers when using multiple streams on Phi.


title: Evidences of spin-temperature in Dynamic Nuclear Polarization: an exact computation of the EPR spectrum

abstract: In dynamic nuclear polarization (DNP) experiments, the compound is driven out-of-equilibrium by microwave (MW) irradiation of the radical electron spins. Their stationary state has been recently probed via electron double resonance (ELDOR) techniques showing, at low temperature, a broad depolarization of the electron paramagnetic resonance (EPR) spectrum under microwave irradiation. In this theoretical manuscript, we develop a numerical method to compute exactly the EPR spectrum in presence of dipolar interactions. Our results reproduce the observed broad depolarisation and provide a microscopic justification for spectral diffusion mechanism. We show the validity of the spin-temperature approach for typical radical concentration used in dissolution DNP protocols. In particular once the interactions are properly taken into account, the spin-temperature is consistent with the non-monotonic behavior of the EPR spectrum with a wide minimum around the irradiated frequency.


title: Conditionally expectations and martingales in noncommutative $L_p$-spaces associated with center-valued traces

abstract: In this paper we prove the existence of conditional expectations in the noncommutative $L_p(M,\Phi)$ spaces associated with center-valued traces. Moreover, their description is also provided. As an application of the obtained results, we establish the norm convergence of the martingales in noncommutative $L_p(M,\Phi)$ spaces.


title: Convergence of Brownian motions on RCD(K,infty) spaces

abstract: Suppose that metric measure spaces X_n=(X_n, d_n, m_n) satisfy RCD(K,infty) conditions with m_n(X_n)=1. Then the measured Gromov convergence (introduced by Gigili-Mondino-Savare '13) of X_n is equivalent to the weak convergence of the laws of Brownian motions on X_n with initial distributions m_n.


title: A positive proportion of Thue equations fail the integral Hasse principle

abstract: For any nonzero $h\in\mathbb{Z}$, we prove that a positive proportion of integral binary cubic forms $F$ do locally everywhere represent $h$ but do not globally represent $h$; that is, a positive proportion of cubic Thue equations $F(x,y)=h$ fail the integral Hasse principle. Here, we order all classes of such integral binary cubic forms $F$ by their absolute discriminants. We prove the same result for Thue equations $G(x,y)=h$ of any fixed degree $n \geq 3$, provided that these integral binary $n$-ic forms $G$ are ordered by the maximum of the absolute values of their coefficients.


title: Geodesic Motions in AdS Soliton Background Space-time

abstract: We study both massive and massless particle's geodesic motion in the background of general dimensional AdS-Sol space-time. We find that the massive particles oscillate along the radial direction, while massless particles experience one-time bouncing as they approach the "horizon" line of the soliton. Our results provide a direct way to understand the negative energy/masses leading to the AdS-Sol geometry. As a potential application, we extend the point particle to a 3-brane and fix the background as a 5+1 dimension AdS-Sol, thus obtain a very natural bouncing/cyclic cosmological model.


title: Theory of the Integer and Fractional Quantum Hall Effects

abstract: The present theory has investigated the FQHE without any quasi-particle. The electric field due to the Hall voltage is taken into consideration. We find the ground state where the electron configuration is uniquely determined so as to have the minimum classical Coulomb energy. Residual Coulomb interaction HI yields quantum transitions which satisfy the momentum conservation along the current direction. The number of Coulomb transitions from nearest electron pairs is dependent sensitively upon the fractional number of the filling factor. For example, the number u(2/3) of allowed transitions at nu=2/3 abruptly decreases when the filling factor nu deviates slightly from 2/3. The limiting value of the number is equal to half of u(2/3). The discontinuous behavior produces the valley structure in the energy spectrum. This mechanism produces the Hall plateaus at the specific filling factors nu=1/(2j+1), 2j /(2j+1), j/(2j+1), j/(2j-1) etc. and also at the non-standard filling factors nu=7/11, 4/11, 4/13, 5/13, 5/17, 6/17 etc. We have studied the pair energies of more distant electron pairs in Chapter 5. Thereby the small valley structure yields at nu=5/2, 7/2 and so on. The shapes of polarization curves depend mainly upon the numerator of the fractional filling factor in nu<1 because the spin polarization belongs to electrons only. There are many spin-arrangements with the same eigen-energy of HD. The Coulomb interaction HI yields quantum transitions among these degenerate ground states. The partial Hamiltonian has been diagonalized exactly. The eigen-states give the spin polarization versus magnetic field strength. The theoretical curves of the spin polarization are in good agreement with the experimental data as studied in Chapter 9. Thus the present theory has well explained the various phenomena of the FQHE.


title: The Composite Spectrum of BOSS Quasars Selected for Studies of the Lyman-alpha Forest

abstract: The Baryon Oscillation Spectroscopic Survey (BOSS) has collected more than 150,000 $2.1 \leq z \leq 3.5$ quasar spectra since 2009. Using this unprecedented sample, we create a composite spectrum in the rest-frame of 102,150 quasar spectra from 800 \AA\ to 3300 \AA\ at a signal-to-noise ratio close to 1000 per pixel ($\Delta v$ of 69 km~s$^{-1}$). Included in this analysis is a correction to account for flux calibration residuals in the BOSS spectrophotometry. We determine the spectral index as a function of redshift of the full sample, warp the composite spectrum to match the median spectral index, and compare the resulting spectrum to SDSS photometry used in target selection. The quasar composite matches the color of the quasar population to within 0.02 magnitudes in $g-r$, 0.03 magnitudes in $r-i$, and 0.01 magnitudes in $i-z$ over the redshift range $2.2<z<2.6$. The composite spectrum deviates from the imaging photometry by 0.05 magnitudes around $z = 2.7$, likely due to differences in target selection as the quasar colors become similar to the stellar locus at this redshift. Finally, we characterize the line features in the high signal-to-noise composite and identify nine faint lines not found in the previous composite spectrum from SDSS.


title: On the Shoshan-Zwick Algorithm for the All-Pairs Shortest Path Problem

abstract: The Shoshan-Zwick algorithm solves the all pairs shortest paths problem in undirected graphs with integer edge costs in the range $\{1, 2, \dots, M\}$. It runs in $\tilde{O}(M\cdot n^{\omega})$ time, where $n$ is the number of vertices, $M$ is the largest integer edge cost, and $\omega < 2.3727$ is the exponent of matrix multiplication. It is the fastest known algorithm for this problem. This paper points out the erroneous behavior of the Shoshan-Zwick algorithm and revises the algorithm to resolve the issues that cause this behavior. Moreover, it discusses implementation aspects of the Shoshan-Zwick algorithm using currently-existing sub-cubic matrix multiplication algorithms.


title: Equilibration Properties of Classical Integrable Field Theories

abstract: We study the equilibration properties of classical integrable field theories at a finite energy density, with a time evolution that starts from initial conditions far from equilibrium. These classical field theories may be regarded as quantum field theories in the regime of high occupation numbers. This observation permits to recover the classical quantities from the quantum ones by taking a proper $\hbar \rightarrow 0$ limit. In particular, the time averages of the classical theories can be expressed in terms of a suitable version of the LeClair-Mussardo formula relative to the Generalized Gibbs Ensemble. For the purposes of handling time averages, our approach provides a solution of the problem of the {\em infinite gap solutions} of the Inverse Scattering Method.


title: Spherically symmetric collapse of a perfect fluid in f(R) gravity

abstract: The present work investigates the gravitational collapse of a perfect fluid in $f(R)$ gravity models. For a general $f(R)$ theory, it is shown analytically that a collapse is quite possible. The singularity formed as a result of the collapse is found to be a curvature singularity of shell focusing type. The possibility of the formation of an apparent horizon hiding the central singularity depends on the initial conditions.


title: Fe-K Line Time variability and Ni abundance of Distant Reflector in Seyfert Galaxies

abstract: We have performed systematic studies of narrow Fe-K line (6.4 keV) flux variability and Ni-K line intensity for Seyfert galaxies, using {\em Suzaku} and {\em XMM-Newton} archival data. Significant Fe-K line variability of several tens percents was detected for a pair of observations separated by 1000--2000 days (Cen A, IC 4329 A, NGC 3516, and NGC 4151) and 158 days (NGC 3516). These timescales are larger by a factor of 10--100 than the inner radius of torus, consistent with the view that X-ray reflection by torus is a main origin of a narrow Fe-K line. Ni-K line was detected with $>2\sigma$ level for the Circinus galaxy, Cen A, MRK 3, NGC 4388, and NGC 4151. A mean and variance of Ni-K$\alpha$ to Fe-K$\alpha$ line intensity ratio are 0.066 and 0.026, respectively. Comparing this with the Monte-Carlo simulation of reflection, Ni to Fe abundance ratio is 1.9$\pm$0.8 solar. We discuss the results and possibility of Ni abundance enhancement.


title: Classification of Alzheimer's Disease using fMRI Data and Deep Learning Convolutional Neural Networks

abstract: Over the past decade, machine learning techniques especially predictive modeling and pattern recognition in biomedical sciences from drug delivery system to medical imaging has become one of the important methods which are assisting researchers to have deeper understanding of entire issue and to solve complex medical problems. Deep learning is power learning machine learning algorithm in classification while extracting high-level features. In this paper, we used convolutional neural network to classify Alzheimer's brain from normal healthy brain. The importance of classifying this kind of medical data is to potentially develop a predict model or system in order to recognize the type disease from normal subjects or to estimate the stage of the disease. Classification of clinical data such as Alzheimer's disease has been always challenging and most problematic part has been always selecting the most discriminative features. Using Convolutional Neural Network (CNN) and the famous architecture LeNet-5, we successfully classified functional MRI data of Alzheimer's subjects from normal controls where the accuracy of test data on trained data reached 96.85%. This experiment suggests us the shift and scale invariant features extracted by CNN followed by deep learning classification is most powerful method to distinguish clinical data from healthy data in fMRI. This approach also enables us to expand our methodology to predict more complicated systems.


title: Validating an Approach to Formalize Use Cases with Ontologies

abstract: Use case driven development methodologies put use cases at the center of the software development process. However, in order to support automated development and analysis, use cases need to be appropriately formalized. This will also help guarantee consistency between requirements specifications and the developed solutions. Formal methods tend to suffer from take up issues, as they are usually hard to accept by industry. In this context, it is relevant not only to produce languages and approaches to support formalization, but also to perform their validation. In previous works we have developed an approach to formalize use cases resorting to ontologies. In this paper we present the validation of one such approach. Through a three stage study, we evaluate the acceptance of the language and supporting tool. The first stage focusses on the acceptance of the process and language, the second on the support the tool provides to the process, and finally the third one on the tool's usability aspects. Results show test subjects found the approach feasible and useful and the tool easy to use.


title: Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

abstract: A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code. In the presence of multiple transformations from the DSL, the correctness of the generated artifacts with respect to the semantics of the DSL is a relevant issue. We show that a formal semantics is essential for checking the correctness of the generated artifacts. We exploit the formal semantics in an industrial project and use formal techniques based on equivalence checking and model-based testing for validating the correctness of the generated artifacts. We report about our experience with this approach in an industrial development project.


title: Device-Centric Monitoring for Mobile Device Management

abstract: The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also that the devices are used in an appropriate manner, especially in situations where the device is provided by a party other than the actual user. Much work which has been done on runtime verification for mobile devices and operating systems is mostly application-centric, resulting in global, device-centric properties (e.g. the user may not send more than 100 messages per day across all applications) being difficult or impossible to verify. In this paper we present a device-centric approach to runtime verify the device behaviour against a device policy with the different applications acting as independent components contributing to the overall behaviour of the device. We also present an implementation for Android devices, and evaluate it on a number of device-centric policies, reporting the empirical results obtained.


title: Development and Validation of Functional Model of a Cruise Control System

abstract: Modern automobiles can be considered as a collection of many subsystems working with each other to realize safe transportation of the occupants. Innovative technologies that make transportation easier are increasingly incorporated into the automobile in the form of functionalities. These new functionalities in turn increase the complexity of the system framework present and traceability is lost or becomes very tricky in the process. This hugely impacts the development phase of an automobile, in which, the safety and reliability of the automobile design should be ensured. Hence, there is a need to ensure operational safety of the vehicles while adding new functionalities to the vehicle. To address this issue, functional models of such systems are created and analysed. The main purpose of developing a functional model is to improve the traceability and reusability of a system which reduces development time and cost. Operational safety of the system is ensured by analysing the system with respect to random and systematic failures and including safety mechanism to prevent such failures. This paper discusses the development and validation of a functional model of a conventional cruise control system in a passenger vehicle based on the ISO 26262 Road Vehicles - Functional Safety standard. A methodology for creating functional architectures and an architecture of a cruise control system developed using the methodology are presented.


title: Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems

abstract: The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation of the system requirements into the system architecture expressed as an ensemble-based component system (EBCS). However, since the requirements are captured using natural language, there exists the danger of their misinterpretation due to natural language requirements' ambiguity, which could eventually lead to design errors. Thus, automation and validation of the design process is desirable. In this paper, we (i) analyze the translation process of natural language requirements into the IRM-SA model, (ii) identify individual steps that can be automated and/or validated using natural language processing techniques, and (iii) propose suitable methods.


title: Learning a Predictable and Generative Vector Representation for Objects

abstract: What is a good vector representation of an object? We believe that it should be generative in 3D, in the sense that it can produce new 3D objects; as well as be predictable from 2D, in the sense that it can be perceived from 2D images. We propose a novel architecture, called the TL-embedding network, to learn an embedding space with these properties. The network consists of two components: (a) an autoencoder that ensures the representation is generative; and (b) a convolutional network that ensures the representation is predictable. This enables tackling a number of tasks including voxel prediction from 2D images and 3D model retrieval. Extensive experimental analysis demonstrates the usefulness and versatility of this embedding.


title: Optimal order quadrature error bounds for infinite-dimensional higher order digital sequences

abstract: Quasi-Monte Carlo (QMC) quadrature rules using higher order digital nets and sequences have been shown to achieve the almost optimal rate of convergence of the worst-case error in Sobolev spaces of arbitrary fixed smoothness $\alpha\in \mathbb{N}$, $\alpha\geq 2$. In a recent paper by the authors, it was proved that randomly-digitally-shifted order $2\alpha$ digital nets in prime base $b$ achieve the best possible rate of convergence of the root mean square worst-case error of order $N^{-\alpha}(\log N)^{(s-1)/2}$ for $N=b^m$, where $N$ and $s$ denote the number of points and the dimension, respectively, which implies the existence of an optimal order QMC rule. More recently, the authors provided an explicit construction of such an optimal order QMC rule by using Chen-Skriganov's digital nets in conjunction with Dick's digit interlacing composition. These results were for fixed number of points. In this paper we give a more general result on an explicit construction of optimal order QMC rules for arbitrary fixed smoothness $\alpha\in \mathbb{N}$ including the endpoint case $\alpha=1$. That is, we prove that the projection of any infinite-dimensional order $2\alpha +1$ digital sequence in prime base $b$ onto the first $s$ coordinates achieves the best possible rate of convergence of the worst-case error of order $N^{-\alpha}(\log N)^{(s-1)/2}$ for $N=b^m$. The explicit construction presented in this paper is not only easy to implement but also extensible in both $N$ and $s$.


title: Abundance of fast growth of the number of periodic points in 2-dimensional area-preserving dynamics

abstract: We prove that there exists an open subset of the set of real-analytic Hamiltonian diffeomorphisms of a closed surface in which diffeomorphisms exhibiting fast growth of the number of periodic points are dense. We also prove that there exists an open subset of the set of smooth area-preserving diffeomorphisms of a closed surface in which typical diffeomorphisms exhibit fast growth of the number of periodic points.


title: Fine Selmer groups of congruent Galois representations

abstract: In this paper, we study the fine Selmer groups of two congruent Galois representations over an admissible $p$-adic Lie extension. We show that under appropriate congruence conditions, if the dual fine Selmer group of one is pseudo-null, so is the other. Our results also compare the $\pi$-primary submodules of the two dual fine Selmer groups. We then apply our results to compare the structure of Galois group of the maximal abelian unramified pro-$p$ extension of an admissible $p$-adic Lie extension and the structure of the dual fine Selmer group over the said admissible $p$-adic Lie extension.


title: Manipulating counter-rotating interactions in the quantum Rabi model via qubit frequency modulation

abstract: We propose a practical approach to manipulate the counter-rotating (CR) interactions in the quantum Rabi model by introducing a sinusoidal modulation to the transition frequency of the quantum two-level system in this model. By choosing appropriate modulation frequency and amplitude, enhancement and suppression of the CR interactions can be achieved in the Jaynes-Cummings regime (including both weak- and strong-coupling cases) as well as the ultrastrong-coupling regime. In particular, we calculate the output photon emission of the cavity vacuum state under enhanced CR terms. Our results show that continuous and steady photon emission from the cavity vacuum can be observed in the Jaynes-Cummings regime as a consequence of this enhancement. Our approach can be realized in superconducting quantum circuits.


title: Rearrangement Planning via Heuristic Search

abstract: We present a method to apply heuristic search algorithms to solve rearrangement planning by pushing problems. In these problems, a robot must push an object through clutter to achieve a goal. To do this, we exploit the fact that contact with objects in the environment is critical to goal achievement. We dynamically generate goal-directed primitives that create and maintain contact between robot and object at each state expansion during the search. These primitives focus exploration toward critical areas of state-space, providing tractability to the high-dimensional planning problem. We demonstrate that the use of these primitives, combined with an informative yet simple to compute heuristic, improves success rate when compared to a planner that uses only primitives formed from discretizing the robot's action space. In addition, we show our planner outperforms RRT-based approaches by producing shorter paths faster. We demonstrate our algorithm both in simulation and on a 7-DOF arm pushing objects on a table.


title: Data-Driven CFD Modeling of Turbulent Flows Through Complex Structures

abstract: The growth of computational resources in the past decades has expanded the application of Computational Fluid Dynamics (CFD) from the traditional fields of aerodynamics and hydrodynamics to a number of new areas. Examples range from the heat and fluid flows in nuclear reactor vessels and in data centers to the turbulence flows through wind turbine farms and coastal vegetation plants. However, in these new applications complex structures are often exist (e.g., rod bundles in reactor vessels and turbines in wind farms), which makes fully resolved, first-principle based CFD modeling prohibitively expensive. This obstacle seriously impairs the predictive capability of CFD models in these applications. On the other hand, a limited amount of measurement data is often available in the systems in the above-mentioned applications. In this work we propose a data-driven, physics-based approach to perform full field inversion on the effects of the complex structures on the flow. This is achieved by assimilating observation data and numerical model prediction in an iterative Ensemble Kalman method. Based on the inversion results, the velocity and turbulence of the flow field can be obtained. A major novelty of the present contribution is the non-parametric, full field inversion approach adopted, which is in contrast to the inference of coefficient in the ad hoc models often practiced in previous works. The merits of the proposed approach are demonstrated on the flow past a porous disk by using both synthetic data and real experimental measurements. The spatially varying drag forces of the porous disk on the flow are inferred. The proposed approach has the potential to be used in the monitoring of complex system in the above mentioned applications.


title: A Survey of Chemical Separation in Accreting Neutron Stars

abstract: The heavy element ashes of rp-process hydrogen and helium burning in accreting neutron stars are compressed to high density where they freeze, forming the outer crust of the star. We calculate the chemical separation on freezing for a number of different nuclear mixtures resulting from a range of burning conditions for the rp-process. We confirm the generic result that light nuclei are preferentially retained in the liquid and heavy nuclei in the solid. This is in agreement with the previous study of a 17-component mixture of rp-process ashes by Horowitz et al. (2007), but extends that result to a much larger range of compositions. We also find an alternate phase separation regime for the lightest ash mixtures which does not demonstrate this generic behaviour. With a few exceptions, we find that chemical separation reduces the expected $Q_{\rm imp}$ in the outer crust compared to the initial rp-process ash, where $Q_{\rm imp}$ measures the mean-square dispersion in atomic number $Z$ of the nuclei in the mixture. We find that the fractional spread of $Z$ plays a role in setting the amount of chemical separation and is strongly correlated to the divergence between the two/three-component approximations and the full component model. The contrast in $Y_e$ between the initial rp-process ashes and the equilibrium liquid composition is similar to that assumed in earlier two-component models of compositionally driven convection, except for very light compositions which produce nearly negligible convective driving. We discuss the implications of these results for observations of accreting neutron stars.


title: Sensitivity of elements of the symmetry energy of nuclear matter to the properties of neutron-rich systems

abstract: The sensitivity of nuclear symmetry energy elements at the saturation density to the binding energies of ultra neutron-rich nuclei (neutron to proton ratio $\sim$ 2) and the maximum mass of neutron star is explored within a relativistic mean field model. Values of the interaction parameters governing the isovector strengths and the symmetry elements are determined in tighter bounds. Assessments based on the sensitivity matrix reveal that the properties of extreme neutron-rich systems play a predominant role in narrowing down the uncertainties in the various symmetry energy parameters. The calculations are extended over a wide range of nuclear matter density and the results are discussed.


title: Striated Populations in Disordered Environments with Advection

abstract: Growth in static and controlled environments such as a Petri dish can be used to study the spatial population dynamics of microorganisms. However, natural populations such as marine microbes experience fluid advection and often grow up in heterogeneous environments. We investigate a generalized Fisher-Kolmogorov-Petrovsky-Piscounov (FKPP) equation describing single species population subject to a constant flow field and quenched random spatially inhomogeneous growth rates with a fertile overall growth condition. We analytically and numerically demonstrate that the non-equilibrium steady-state population density develops a flow-driven striation pattern. The striations are highly asymmetric with a longitudinal correlation length that diverges linearly with the flow speed and a transverse correlation length that approaches a finite velocity-independent value. Linear response theory is developed to study the statistics of the steady states. Theoretical predictions show excellent agreement with the numerical steady states of the generalized FKPP equation obtained from Lattice Boltzmann simulations. These findings suggest that, although the growth disorder can be spatially uncorrelated, correlated population structures with striations emerge naturally at sufficiently strong advection.


title: A protrusion can "eclipse" looping of a long self-avoiding chain

abstract: We simulate long self-avoiding chains using a weighted-biased sampling Monte-Carlo algorithm, and compute the probabilities for chain looping with and without a protrusion. We find that a protrusion near one of the chain's termini reduces the probability of looping, even for chains much longer than the protrusion-chain-terminus distance. This effect increases with protrusion size, and decreases with protrusion-terminus distance. We model the simulated results theoretically by considering how the protrusion "eclipses" the chain terminus closer to the protrusion from the more distant chain terminus. This eclipse mechanism has implications for understanding the regulatory role of proteins bound to DNA.


title: A Comparison of NOOP to Structural Domain-Theoretic Models of OOP

abstract: Mainstream object-oriented programming languages such as Java, C#, C++ and Scala are all almost entirely nominally-typed. NOOP is a recently developed domain-theoretic model of OOP that was designed to include full nominal information found in nominally-typed OOP. This paper compares NOOP to the most widely known domain-theoretic models of OOP, namely, the models developed by Cardelli and Cook, which were structurally-typed models. Leveraging the development of NOOP, the comparison presented in this paper provides a clear and precise mathematical account for the relation between nominal and structural OO type systems.


title: A Fast First-Order Optimization Approach to Elastoplastic Analysis of Skeletal Structures

abstract: It is classical that, when the small deformation is assumed, the incremental analysis problem of an elastoplastic structure with a piecewise-linear yield condition and a linear strain hardening model can be formulated as a convex quadratic programming problem. Alternatively, this paper presents a different formulation, an unconstrained nonsmooth convex optimization problem, and proposes to solve it with an accelerated gradient-like method. Specifically, we adopt an accelerated proximal gradient method, that has been developed for a regularized least squares problem. Numerical experiments show that the presented algorithm is effective for large-scale elastoplastic analysis. Also, a simple warm-start strategy can speed up the algorithm when the path-dependent incremental analysis is carried out.


title: Reliability and reproducibility of Atlas information

abstract: We discuss the reliability and reproducibility of much of the information contained in the Atlas of Finite Groups.


title: Parkable convex sets and finite-dimensional Hilbert spaces

abstract: A subset of a convex body $B$ containing the origin in a Euclidean space is {\it parkable in $B$} if it can be translated inside $B$ in such a manner that the translate the origin. We provide characterizations of ellipsoids and of centrally symmetric convex bodies in Euclidean spaces of dimension $\ge 3$ based on the notion of parkability, answering several questions posed by G. Bergman. The techniques used, which are based on characterizations of Hilbert spaces among finite-dimensional Banach spaces in terms of their lattices of subspaces and algebras of endomorphisms, also apply to improve a result of W. Blaschke characterizing ellipsoids in terms of boundaries of illumination.


title: Scalable SUM-Shrinkage Schemes for Distributed Monitoring Large-Scale Data Streams

abstract: In this article, motivated by biosurveillance and censoring sensor networks, we investigate the problem of distributed monitoring large-scale data streams where an undesired event may occur at some unknown time and affect only a few unknown data streams. We propose to develop scalable global monitoring schemes by parallel running local detection procedures and by combining these local procedures together to make a global decision based on SUM-shrinkage techniques. Our approach is illustrated in two concrete examples: one is the nonhomogeneous case when the pre-change and post-change local distributions are given, and the other is the homogeneous case of monitoring a large number of independent $N(0,1)$ data streams where the means of some data streams might shift to unknown positive or negative values. Numerical simulation studies demonstrate the usefulness of the proposed schemes.


title: Rotation of slender swimmers in isotropic-drag media

abstract: The drag anisotropy of slender filaments is a critical physical property allowing swimming in low-Reynolds number flows, and without it linear translation is impossible. Here we show that, in contrast, net rotation can occur under isotropic drag. We first demonstrate this result formally by considering the consequences of the force- and torque-free conditions on swimming bodies and we then illustrate it with two examples (a simple swimmers made of three rods and a model bacterium with two helical flagellar filaments). Our results highlight the different role of hydrodynamic forces in generating translational vs.~rotational propulsion.


title: Nonlinear electron emission under the action of ultrashort laser pulse

abstract: The process of nonlinear electron emission from a metal surface under the action of femtosecond laser pulse with moderate intensity $\sim10^{11}$~W/cm$^2$ is considered. One-dimensional model is formulated, taking into account the advantage of the $p$-polarized light in the nonlinear emission. The time dependent Schrodinger equation with fixed equilibrium boundary conditions is solved in the half-space using the Laplace transform technique. The energy spectrum of emitted electrons is obtained, and its dependence on the laser pulse parameters in compare with experimental data is discussed.


title: Locating a Phylogenetic Tree in a Reticulation-Visible Network in Quadratic Time

abstract: In phylogenetics, phylogenetic trees are rooted binary trees, whereas phylogenetic networks are rooted arbitrary acyclic digraphs. Edges are directed away from the root and leaves are uniquely labeled with taxa in phylogenetic networks. For the purpose of validating evolutionary models, biologists check whether or not a phylogenetic tree is contained in a phylogenetic network on the same taxa. This tree containment problem is known to be NP-complete. A phylogenetic network is reticulation-visible if every reticulation node separates the root of the network from some leaves. We answer an open problem by proving that the problem is solvable in quadratic time for reticulation-visible networks. The key tool used in our answer is a powerful decomposition theorem. It also allows us to design a linear-time algorithm for the cluster containment problem for networks of this type and to prove that every galled network with n leaves has 2(n-1) reticulation nodes at most.


title: Deuteron Stripping on Nuclei at Intermediate Energies

abstract: A general analytical expression for the double differential cross section of inclusive deuteron stripping reaction on nuclei at intermediate energies of incident particles was obtained in the diffraction approximation. Nucleon-nucleus phases were calculated in the framework of Glauber formalism and making use of the double-folding potential. The exact wave function of deuteron with correct asymptotics at short and long distances between nucleons was used. The calculated angular dependencies of cross sections are in good agreement with corresponding experimental data.


title: On a Search for Hidden Photon CDM by a Multi-Cathode Counter

abstract: We report on a new technique of a Multi-Cathode Counter (MCC) developed to search for hidden photon (HP) cold dark matter (CDM) with a mass from 5 to 500 eV. The method is suggested in the assumption that HP-photon mixing causes emission of single electrons from a metal cathode if the mass of hidden photon is greater than a work function of the metal. The measured effect from HP should be dependent on work function of the metal and on the structure of electronic shells of the metal used as a cathode. Potentially this can be used for a verification of the results obtained. Some preliminary results for the upper limit for mixing parameter X have been obtained for HP with a mass from 5 eV to 10 keV as a pure illustration of the potential of this technique. The efforts are continued to refine the procedure of data treatment and to improve the work of MCC. A new detector with a more developed design is under construction.


title: The Atoms Of Space, Gravity and the Cosmological Constant

abstract: I describe an approach which connects classical gravity with the quantum microstructure of spacetime. The field equations arise from maximizing the density of states of matter plus geometry. The former is identified using the thermodynamics of null surfaces while the latter arises due to the existence of a zero-point length in the spacetime. The resulting field equations remain invariant when a constant is added to the matter Lagrangian, which is a symmetry of the matter sector. Therefore, the cosmological constant arises as an integration constant. A non-zero value $(\Lambda)$ of the cosmological constant renders the amount of cosmic information $(I_c)$ accessible to an eternal observer finite and hence is directly related to it. This relation allows us to determine the numerical value of $(\Lambda)$ from the quantum structure of spacetime.


title: Efficiency of Dopant-Induced Ignition of Helium Nanoplasmas

abstract: Helium nanodroplets irradiated by intense near-infrared laser pulses ignite and form highly ionized nanoplasmas even at laser intensities where helium is not directly ionized by the optical field, provided the droplets contain a few dopant atoms. We present a combined theoretical and experimental study of the He nanoplasma ignition dynamics for various dopant species. We find that the efficiency of dopants to ignite a nanoplasma in helium droplets strongly varies and mostly depends on (i) the pick-up process, (ii) the number of free electrons each dopant donates upon ionization, and remarkably, (iii) by the hitherto unexplored effect of the dopant location in or on the droplet.


title: New congruences for $\ell$-regular overpartitions

abstract: Recently, Shen (2016) and Alanazi et al. (2016) studied the arithmetic properties of the $\ell$-regular overpartition function $\overline{A}_\ell (n)$, which counts the number of overpartitions of $n$ into parts not divisible by $\ell$. In this note, we will present some new congruences modulo $5$ when $\ell$ is a power of $5$.


title: Regret Analysis of the Anytime Optimally Confident UCB Algorithm

abstract: I introduce and analyse an anytime version of the Optimally Confident UCB (OCUCB) algorithm designed for minimising the cumulative regret in finite-armed stochastic bandits with subgaussian noise. The new algorithm is simple, intuitive (in hindsight) and comes with the strongest finite-time regret guarantees for a horizon-free algorithm so far. I also show a finite-time lower bound that nearly matches the upper bound.


title: Probing modified gravity via the mass-temperature relation of galaxy clusters

abstract: We propose that the mass-temperature relation of galaxy clusters is a prime candidate for testing gravity theories beyond Einstein's general relativity, for modified gravity models with universal coupling between matter and the scalar field. For non-universally coupled models we discover that the impact of modified gravity can remain hidden from the mass-temperature relation. Using cosmological simulations, we find that in modified gravity the mass-temperature relation varies significantly from the standard gravity prediction of $M \propto T^{1.73}$. To be specific, for symmetron models with a coupling factor of $\beta=1$ we find a lower limit to the power law as $M\propto T^{1.6}$; and for f(R) gravity we compute predictions based on the model parameters. We show that the mass-temperature relation, for screened modified gravities, is significantly different from that of standard gravity for the less massive and colder galaxy clusters, while being indistinguishable from Einstein's gravity at massive, hot galaxy clusters. We further investigate the mass-temperature relation for other mass estimates than the thermal mass estimate, and discover that the gas mass-temperature results show an even more significant deviations from Einstein's gravity than the thermal mass-temperature.


title: On formulae decoupling the total variation of BV functions

abstract: In this paper we prove several formulae that enable one to capture the singular portion of the measure derivative of a function of bounded variation as a limit of non-local functionals. One special case shows that rescalings of the fractional Laplacian of a function $u\in SBV$ converge strictly to the singular portion of $Du$.


title: Learning for Robust Routing Based on Stochastic Game in Cognitive Radio Networks

abstract: This paper studies the problem of robust spectrum-aware routing in a multi-hop, multi-channel Cognitive Radio Network (CRN) with the presence of malicious nodes in the secondary network. The proposed routing scheme models the interaction among the Secondary Users (SUs) as a stochastic game. By allowing the backward propagation of the path utility information from the next-hop nodes, the stochastic routing game is decomposed into a series of stage games. The best-response policies are learned through the process of smooth fictitious play, which is guaranteed to converge without flooding of the information about the local utilities and behaviors. To address the problem of mixed insider attacks with both routing-toward-primary and sink-hole attacks, the trustworthiness of the neighbor nodes is evaluated through a multi-arm bandit process for each SU. The simulation results show that the proposed routing algorithm is able to enforce the cooperation of the malicious SUs and reduce the negative impact of the attacks on the routing selection process.


title: Scalar and tensor perturbation in vacuum inflation

abstract: Recently, it was proposed that a small true vacuum universe can inflate spontaneously, in principle. Furthermore, there should be matter creation in vacuum inflation due to quantum fluctuations, and the matter created will influence the inflation simultaneously. In this paper, scalar and tensor perturbations in this model are analyzed and confronted with recent observations. These perturbations are derived and expressed with Hubble flow-functions. By comparing our calculations with experimental results, we can determine all the parameters in this model. Finally, with the determined parameters, we compute the evolution of the matter density and show that the matter produced in inflation roughly fits the observations at present.


title: Ni\'epce-Bell or Turing: How to Test Odor Reproduction?

abstract: In a 1950 article in Mind, decades before the existence of anything resembling an artificial intelligence system, Alan Turing addressed the question of how to test whether machines can think, or in modern terminology, whether a computer claimed to exhibit intelligence indeed does so. The current paper raises the analogous issue for olfaction: how to test the validity of a system claimed to reproduce arbitrary odors artificially, in a way recognizable to humans, in face of the unavailability of a general naming method for odors. Although odor reproduction systems are still far from being viable, the question of how to test candidates thereof is claimed to be interesting and nontrivial, and a novel method is proposed. To some extent, the method is inspired by Turing`s test for AI, in that it involves a human challenger and the real and artificial entities, yet it is very different: our test is conditional, requiring from the artificial no more than is required from the original, and it employs a novel method of immersion that takes advantage of the availability of near-perfect reproduction methods for sight and sound.


title: van der Waals-corrected Density Functional Theory simulation of adsorption processes on noble-metal surfaces: Xe on Ag(111), Au(111), and Cu(111)

abstract: The DFT/vdW-WF2s1 method based on the generation of localized Wannier functions, recently developed to include the van der Waals interactions in the Density Functional Theory and describe adsorption processes on metal surfaces by taking metal-screening effects into account, is applied to the case of the interaction of Xe with noble-metal surfaces, namely Ag(111), Au(111), and Cu(111). The study is also repeated by adopting the DFT/vdW-QHO-WF variant relying on the Quantum Harmonic Oscillator model which describes well many-body effects. Comparison of the computed equilibrium binding energies and distances, and the $C_3$ coefficients characterizing the adatom-surface van der Waals interactions, with available experimental and theoretical reference data shows that the methods perform well and elucidate the importance of properly including screening effects. The results are also compared with those obtained by other vdW-corrected DFT schemes, including PBE-D, vdW-DF, vdW-DF2, rVV10, and by the simpler Local Density Approximation (LDA) and semilocal (PBE) Generalized Gradient Approximation (GGA) approaches.


title: Cohesive properties of noble metals by van der Waals-corrected Density Functional Theory

abstract: The cohesive energy, equilibrium lattice constant, and bulk modulus of noble metals are computed by different van der Waals-corrected Density Functional Theory methods, including vdW-DF, vdW-DF2, vdW-DF-cx, rVV10 and PBE-D. Two specifically-designed methods are also developed in order to effectively include dynamical screening effects: the DFT/vdW-WF2p method, based on the generation of Maximally Localized Wannier Functions, and the RPAp scheme (in two variants), based on a single-oscillator model of the localized electron response. Comparison with results obtained without explicit inclusion of van der Waals effects, such as with the LDA, PBE, PBEsol, or the hybrid PBE0 functional, elucidates the importance of a suitable description of screened van der Waals interactions even in the case of strong metal bonding. Many-body effects are also quantitatively evaluated within the RPAp approach.


title: Adsorption of NO2 on WSe2: DFT and photoelectron spectroscopy studies

abstract: The electronic structure modifications of WSe2 upon NO2-adsorption at room and low temperatures were studied by means of photoelectron spectroscopy. We found only moderate changes in the electronic structure, which are manifested as an upward shift of the WSe2-related bands to the smaller binding energies. The observed effects are modelled within the density functional theory approach, where a weak adsorption energy of gas molecules on the surface of WSe2 was deduced. The obtained experimental data are explained as a valence bands polarisation effect, which causes their energy shift depending on the adsorption geometry and the formed dipole moment.


title: Using radio stars to link the Gaia and VLBI reference frames

abstract: A possible method for linking the optical Gaia Celestial Reference Frame (GCRF) to the VLBI-based International Celestial Reference Frame (ICRF) is to use radio stars in a manner similar to that in the linking of the Hipparcos Celestial Reference Frame (HCRF) to ICRF. In this work, an obtainable accuracy of the orientation angles between GCRF and ICRF frames was estimated by Monte Carlo simulation. If the uncertainties in the radio star positions obtained by VLBI are in the range of 0.1-4 mas and those obtained by Gaia are in the range of 0.005-0.4 mas, the orientation angle uncertainties are 0.018-0.72 mas if 46 radio stars are used, 0.013-0.51 mas if 92 radio stars are used, and 0.010-0.41~mas if 138 radio stars are used. The general conclusion from this study is that a properly organized VLBI programme for radio star observation with a reasonable load on the VLBI network can allow for the realization of GCRF-ICRF link with an error of about 0.1 mas.


title: A preliminary study of the RR Lyrae stars observed in K2 Campaign 3

abstract: We have started a comprehensive analysis of the Kepler K2 Field 3 data set. Our goals are to assess the statistics of the sample, and to search for peculiar stars. We found a candidate triple-mode RRab star, where the first and ninth overtones also seem to be excited.


title: Suppression of parallel transport in turbulent magnetized plasmas and its impact on non-thermal and thermal aspects of solar flares

abstract: The transport of the energy contained in electrons, both thermal and suprathermal, in solar flares plays a key role in our understanding of many aspects of the flare phenomenon, from the spatial distribution of hard X-ray emission to global energetics. Motivated by recent {\em RHESSI} observations that point to the existence of a mechanism that confines electrons to the coronal parts of flare loops more effectively than Coulomb collisions, we here consider the impact of pitch-angle scattering off turbulent magnetic fluctuations on the parallel transport of electrons in flaring coronal loops. It is shown that the presence of such a scattering mechanism in addition to Coulomb collisional scattering can significantly reduce the parallel thermal and electrical conductivities relative to their collisional values. We provide illustrative expressions for the resulting thermoelectric coefficients that relate the thermal flux and electrical current density to the temperature gradient and the applied electric field. We then evaluate the effect of these modified transport coefficients on the flare coronal temperature that can be attained, on the post-impulsive-phase cooling of heated coronal plasma, and on the importance of the beam-neutralizing return current on both ambient heating and the energy loss rate of accelerated electrons. We also discuss the possible ways in which anomalous transport processes have an impact on the required overall energy associated with accelerated electrons in solar flares.


title: Multiplexing Precision RVs: Searching for Close in Gas Giants in Open Clusters

abstract: We present a multiplexed, high-resolution (R~50,000 median) spectroscopic survey designed to detect exoplanet candidates in two southern star clusters (NGC 2516 and NGC 2422) using the Michigan/Magellan Fiber System (M2FS) on the Magellan/Clay telescope at Las Campanas Observatory. With 128 available fibers in our observing mode, we are able to target every star in the core half-degree of each cluster that could plausibly be a solar-analog member. Our template-based spectral fits provide precise measurements of fundamental stellar properties - $T_{eff}$ ($\pm$30 K), [Fe/H] and [$\alpha$/Fe] ($\pm$0.02 dex), and $v_r\sin(i)$ ($\pm$0.3 km/s) - and radial velocities (RVs) by using telluric absorption features from 7160 to 7290 $\AA$ as a wavelength reference for 251 mid-F to mid-K stars (126 in NGC 2516 and 125 in NGC 2422) that comprise our survey. In each cluster we have obtained ~10-12 epochs of our targets. Using repeat observations of an RV standard star we show our approach can attain a single-epoch velocity precision of 25 m/s to 60 m/s over a broad range of S/N throughout our observational baseline of 1.1 years. Our technique is suitable for non-rapidly rotating stars cooler than mid-F. In this paper we describe our observational sample, analysis methodology, and present a detailed study of the attainable precision and measurement capabilities of our approach. Subsequent papers will provide results for stars observed in the target clusters, analyze our dataset of RV time-series for stellar jitter and stellar and sub-stellar companions, and consider the implications of our findings on the clusters themselves.


title: After Bell

abstract: We analyze foundational consequences of recently announced loophole free tests of violation of Bell's inequality. We consider two interpretations of these remarkable experiments. By the conventional one "Einstein was wrong and Bohr was right, there is spooky action at a distance, quantum realism is incompatible with locality." However, we show that it is still possible to treat quantum mechanics without appealing to nonlocality or denying realism. We hope that this note will attract attention of the experts in quantum foundations and convince them to come with their own comments on the final Bell's test.


title: Quantum Recommendation Systems

abstract: A recommendation system uses the past purchases or ratings of $n$ products by a group of $m$ users, in order to provide personalized recommendations to individual users. The information is modeled as an $m \times n$ preference matrix which is assumed to have a good rank-$k$ approximation, for a small constant $k$. In this work, we present a quantum algorithm for recommendation systems that has running time $O(\text{poly}(k)\text{polylog}(mn))$. All known classical algorithms for recommendation systems that work through reconstructing an approximation of the preference matrix run in time polynomial in the matrix dimension. Our algorithm provides good recommendations by sampling efficiently from an approximation of the preference matrix, without reconstructing the entire matrix. For this, we design an efficient quantum procedure to project a given vector onto the row space of a given matrix. This is the first algorithm for recommendation systems that runs in time polylogarithmic in the dimensions of the matrix and provides an example of a quantum machine learning algorithm for a real world application.


title: Rapidity fluctuations in the initial state

abstract: We analyze two-particle pseudorapidity correlations in a simple model, where strings of fluctuating length are attached to wounded nucleons.The obtained straightforward formulas allow us to understand the anatomy of the correlations, i.e., to identify the component due to the fluctuation of the number of wounded nucleons and the contribution from the string length fluctuations. Our results reproduce qualitatively and semiquantitatively the basic features of the recent correlation measurements at the LHC.


title: Static transport properties of random alloys: vertex corrections in conserving approximations

abstract: The theoretical formulation and numerical evaluation of the vertex corrections in multiorbital techniques of theories of electronic properties of random alloys are analyzed. It is shown that current approaches to static transport properties within the so-called conserving approximations lead to the inversion of a singular matrix as a direct consequence of the Ward identity relating the vertex corrections to one-particle self-energies. We propose a simple removal of the singularity for quantities (operators) with vanishing average values for electron states at the Fermi energy, such as the velocity or the spin torque; the proposed scheme is worked out in details in the self-consistent Born approximation and the coherent potential approximation. Applications involve calculations of the residual resistivity for various random alloys, including spin-polarized and relativistic systems, treated on an ab initio level, with particular attention paid to the role of different symmetries (inversion of space and time).


title: Instance-sensitive Fully Convolutional Networks

abstract: Fully convolutional networks (FCNs) have been proven very successful for semantic segmentation, but the FCN outputs are unaware of object instances. In this paper, we develop FCNs that are capable of proposing instance-level segment candidates. In contrast to the previous FCN that generates one score map, our FCN is designed to compute a small set of instance-sensitive score maps, each of which is the outcome of a pixel-wise classifier of a relative position to instances. On top of these instance-sensitive score maps, a simple assembling module is able to output instance candidate at each position. In contrast to the recent DeepMask method for segmenting instances, our method does not have any high-dimensional layer related to the mask resolution, but instead exploits image local coherence for estimating instances. We present competitive results of instance segment proposal on both PASCAL VOC and MS COCO.


title: Probing Models of Dirac Neutrino Masses via the Flavor Structure of the Mass Matrix

abstract: We classify models of the Dirac neutrino mass by concentrating on flavor structures of the mass matrix. The advantage of our classification is that we do not need to specify detail of models except for Yukawa interactions because flavor structures can be given only by products of Yukawa matrices. All possible Yukawa interactions between leptons (including the right-handed neutrino) are taken into account by introducing appropriate scalar fields. We also take into account the case with Yukawa interactions of leptons with the dark matter candidate. Then, we see that flavor structures can be classified into seven groups. The result is useful for the efficient test of models of the neutrino mass. One of seven groups can be tested by measuring the absolute neutrino mass. Other two can be tested by probing the violation of the lepton universality in $\ell \to \ell^\prime \nu \overline{\nu}$. In order to test the other four groups, we can rely on searches for new scalar particles at collider experiments.


title: Electron phase shift at the zero-bias anomaly of quantum point contacts

abstract: The Kondo effect is the many-body screening of a local spin by a cloud of electrons at very low temperature. It has been proposed as an explanation of the zero-bias anomaly in quantum point contacts where interactions drive a spontaneous charge localization. However, the Kondo origin of this anomaly remains under debate, and additional experimental evidence is necessary. Here we report on the first phase-sensitive measurement of the zero-bias anomaly in quantum point contacts using a scanning gate microscope to create an electronic interferometer. We observe an abrupt shift of the interference fringes by half a period in the bias range of the zero-bias anomaly, a behavior which cannot be reproduced by single-particle models. We instead relate it to the phase shift experienced by electrons scattering off a Kondo system. Our experiment therefore provides new evidence of this many-body effect in quantum point contacts.


title: Measurement of the Higgs decay to electroweak bosons at low and intermediate CLIC energies

abstract: In this paper a simulation of measurements of the Higgs boson decay to electroweak bosons in $e^+e^-$ collisions at CLIC is presented. Higgs boson production and subsequent $H\rightarrow ZZ^\ast$ and $H\rightarrow WW^\ast$ decay processes were simulated alongside the relevant background processes at 350 GeV and 1.4 TeV center-of-mass energy. Full detector simulation and event reconstruction were used under realistic beam conditions. The achievable statistical precision of the measured product of the Higgs production cross section and the branching ratio for the analysed decays has been determined.


title: Impact-induced melting during accretion of the Earth

abstract: Because of the high energies involved, giant impacts that occur during planetary accretion cause large degrees of melting. The depth of melting in the target body after each collision determines the pressure and temperature conditions of metal-silicate equilibration and thus geochemical fractionation that results from core-mantle differentiation. The accretional collisions involved in forming the terrestrial planets of the inner Solar System have been calculated by previous studies using N-body accretion simulations. Here we use the output from such simulations to determine the volumes of melt produced and thus the pressure and temperature conditions of metal-silicate equilibration, after each impact, as Earth-like planets accrete. For these calculations a parametrised melting model is used that takes impact velocity, impact angle and the respective masses of the impacting bodies into account. The evolution of metal-silicate equilibration pressures (as defined by evolving magma ocean depths) during Earth's accretion depends strongly on the lifetime of impact-generated magma oceans compared to the time interval between large impacts. In addition, such results depend on starting parameters in the N-body simulations, such as the number and initial mass of embryos. Thus, there is the potential for combining the results, such as those presented here, with multistage core formation models to better constrain the accretional history of the Earth.


title: Effect of Halide Composition on the Photochemical Stability of Perovskite Photovoltaic Materials

abstract: Photochemical stability of encapsulated films of mixed halide perovskites with a range of MAPb(I1-xBrx)3 compositions (solid solutions) was investigated under accelerated stressing using concentrated sunlight. Evolution of light absorption and the corresponding structural modifications in the films were recorded by UV-vis spectroscopy and X-ray diffraction (XRD), respectively. MAPbBr3 film exhibited no degradation. In MAPbI3 and mixed halide MAPb(I1-xBrx)3 films, decomposition of the perovskite material with crystallization of inorganic PbI2, and the corresponding degradation of light absorption, were recorded. Introduction of bromine into the solid solution was found to stress its structure and accelerate the degradation. The relevance of accelerated testing to standard operational conditions of solar cells was confirmed by comparison to degradation experiments under outdoor sunlight exposure. Reasons for the reduced stability of the mixed halide compositions are discussed.


title: Universal metamaterial absorbe

abstract: We propose a design for an universal absorber, characterized by a resonance frequency that can be tuned from visible to microwave frequencies independently of the choice of the metal and the dielectrics involved. An almost resonant perfect absorption up to 99.8 % is demonstrated at resonance for all polarization states of light and for a very wide angular aperture. These properties originate from a magnetic Fabry-Perot mode that is confined in a dielectric spacer of $\lambda/100$ thickness by a metamaterial layer and a mirror. An extraordinary large funneling through nano-slits explains how light can be trapped in the structure. Simple scaling laws can be used as a recipe to design ultra-thin perfect absorbers whatever the materials and the desired resonance wavelength, making our design truly universal.


title: Functional Inequalities for Non-Symmetric Stochastic Differential Equations

abstract: According to the theory of functional inequalities, a non-symmetric Markov semigroup has better properties than the corresponding symmetric one. For instance, there exist non-symmetric Markov semigroups which are hypercontractive (and thus converge exponentially in both $L^2$ and entropy), but the symmetric ones are even not ergodic. In this paper, we aim to search for reasonable conditions to ensure that a non-symmetric Markov semigroup and its symmetrization share the properties of exponential convergence, uniform integrability, hypercontractivity, and supercontractivity. Since in the symmetric case these properties are precisely characterized by functional inequalities of the Dirichlet form, the key point of the study is to prove these inequalities for non-symmetric Markov processes. SDEs driven by Brownian motion or L\'evy jump process are investigated.


title: On hard quadrature problems for marginal distributions of SDEs with bounded smooth coefficients

abstract: In recent work of Hairer, Hutzenthaler and Jentzen, see [9], a stochastic differential equation (SDE) with infinitely often differentiable and bounded coefficients was constructed such that the Monte Carlo Euler method for approximation of the expected value of the first component of the solution at the final time converges but fails to achieve a mean square error of a polynomial rate. In the present paper we show that this type of bad performance for quadrature of SDEs with infinitely often differentiable and bounded coefficients is not a shortcoming of the Euler scheme in particular but can be observed in a worst case sense for every approximation method that is based on finitely many function values of the coefficients of the SDE. Even worse we show that for any sequence of Monte Carlo methods based on finitely many sequential evaluations of the coefficients and all their partial derivatives and for every arbitrarily slow convergence speed there exists a sequence of SDEs with infinitely often differentiable and bounded by one coefficients such that the first order derivatives of all diffusion coefficients are bounded by one as well and the first order derivatives of all drift coefficients are uniformly dominated by a single real-valued function and such that the corresponding sequence of mean absolute errors for approximation of the expected value of the first component of the solution at the final time can not converge to zero faster than the given speed.


title: On the existence of coincidence and common fixed point of two rational type contractions and an application in dynamical programming

abstract: In this work, we establish some coincidence point results for self-mappings satisfying rational type contractions in generalized metric spaces in the sense of Branciari [7]. Presented coincidence point theorems weak and extend numerous existing theorems in the literature besides furnishing some illustrative examples for our results. Finally, our results applies, in particular, to the study of solvability of functional equations arising in dynamic programming.


title: Switching local magnetization by electric-field-induced domain wall motion

abstract: Electric field effect on magnetism is an appealing technique for manipulating the magnetization at a low cost of energy. Here, we show that the local magnetization of the ultra-thin Co film can be switched by just applying a gate electric field without an assist of any external magnetic field or current flow. The local magnetization switching is explained by the nucleation and annihilation of the magnetic domain through the domain wall motion induced by the electric field. Our results lead to external field free and ultra-low energy spintronic applications.


title: Sedimentation stacking diagrams of binary mixtures of thick and thin hard rods

abstract: We use Onsager theory and the local density approximation to study sedimentation-diffusion equilibrium density profiles of binary mixtures of thick and thin hard rods. We construct stacking diagrams for three diameter ratios, and find that even a simple spindle-shaped phase diagram with only isotropic-nematic demixing can lead to counter-intuitive stacking sequences such as an isotropic phase sandwiched between two nematic phases. For the most complex phase diagram considered here, we find sixteen distinct stacking sequences, including several with five sedimented layers. By adding sedimentation paths to composition-pressure and density-density phase diagrams and calculating density and composition profiles, we show that conclusions about bulk phase diagrams of binary mixtures on the basis of sedimentation-diffusion equilibria should be drawn warily.


title: Direct Neutrino Mass Experiments and Exotic Charged Current Interactions

abstract: We study the effect of exotic charged current interactions on the electron energy spectrum in tritium decay, focussing on the KATRIN experiment and a possible modified setup that has access to the full spectrum. Both sub-eV and keV neutrino masses are considered. We perform a fully relativistic calculation and take all possible new interactions into account, demonstrating the possible sizable distortions in the energy spectrum.


title: Amplitude and phase variation of point processes

abstract: We develop a canonical framework for the study of the problem of registration of multiple point processes subjected to warping, known as the problem of separation of amplitude and phase variation. The amplitude variation of a real random function $\{Y(x):x\in[0,1]\}$ corresponds to its random oscillations in the $y$-axis, typically encapsulated by its (co)variation around a mean level. In contrast, its phase variation refers to fluctuations in the $x$-axis, often caused by random time changes. We formalise similar notions for a point process, and nonparametrically separate them based on realisations of i.i.d. copies $\{\Pi_i\}$ of the phase-varying point process. A key element in our approach is to demonstrate that when the classical phase variation assumptions of Functional Data Analysis (FDA) are applied to the point process case, they become equivalent to conditions interpretable through the prism of the theory of optimal transportation of measure. We demonstrate that these induce a natural Wasserstein geometry tailored to the warping problem, including a formal notion of bias expressing over-registration. Within this framework, we construct nonparametric estimators that tend to avoid over-registration in finite samples. We show that they consistently estimate the warp maps, consistently estimate the structural mean, and consistently register the warped point processes, even in a sparse sampling regime. We also establish convergence rates, and derive $\sqrt{n}$-consistency and a central limit theorem in the Cox process case under dense sampling, showing rate optimality of our structural mean estimator in that case.


title: Elastic aging from coexistence and transformations of ferroelectric and antiferroelectric states in PZT

abstract: Materials undergoing antiferroelectric/ferroelectric (AFE/FE) transitions are studied for possible applications that exploit the large volume, charge and entropy differences between the two states, such as electrocaloric cooling, energy storage, electromechanical actuators. Though certain compositions of PZT codoped with La and Sn may withstand millions of electrically induced AFE/FE cycles, in other cases few thermally induced cycles and room temperature aging may cause noticeable changes in the material properties. This is particularly evident in the elastic moduli, which at room temperature can become as much as four times softer. In order to get more insight into the mechanisms involved in such elastic aging and full recovering with mild annealing at 600-800 K, the effect of La doping on PZT with 4.6% Ti is studied with anelastic measurements. Complete suppression of the time dependent phenomena is found after the transformation of the intermediate FE phase into incommensurate AFE by 2% La doping. This is discussed in terms of disappearance of the stress and electric fields at the FE/AFE interfaces, in the light of the thermally activated anelastic relaxation processes that are observed at high temperature, and are due to mobile defects, presumably O vacancies.


title: Global spectra, polytopes and stacky invariants

abstract: Given a convex polytope, we define its geometric spectrum, a stacky version of Batyrev's stringy E-functions, and we prove a stacky version of a formula of Libgober and Wood about the E-polynomial of a smooth projective variety. As an application, we get a closed formula for the variance of the geometric spectrum and a Noether's formula for two dimensional Fano polytopes (polytopes whose vertices are primitive lattice points). We also show that this geometric spectrum is equal to the algebraic spectrum of the polytope (the spectrum at infinity of a tame Laurent polynomial whose Newton polytope is the polytope alluded to). This gives an explanation and some positive answers to Hertling's conjecture about the variance of the spectrum of tame regular functions.


title: Critical phenomena in the extended phase space of Kerr-Newman-AdS black holes

abstract: Treating the cosmological constant as a thermodynamic pressure, we investigate the critical behavior of a Kerr-Newman-AdS black hole system. The critical points for the van der Waals like phase transition are numerically solved. The highly accurate fitting formula for them is given and is found to be dependent of the charge $Q$ and angular momentum $J$. In the reduced parameter space, we find that the temperature, Gibbs free energy, and coexistence curve depend only on the dimensionless angular momentum-charge ratio $\epsilon=J/Q^2$ rather than $Q$ and $J$. Moreover, when varying $\epsilon$ from 0 to $\infty$, the coexistence curve will continuously change from that of the Reissner-Nordstr\"{o}m-AdS black hole to the Kerr-AdS black hole. These results may guide us to study the critical phenomena for other thermodynamic systems with two characteristic parameters.


title: Learning to Refine Object Segments

abstract: Object segmentation requires both object-level information and low-level pixel data. This presents a challenge for feedforward networks: lower layers in convolutional nets capture rich spatial information, while upper layers encode object-level knowledge but are invariant to factors such as pose and appearance. In this work we propose to augment feedforward nets for object segmentation with a novel top-down refinement approach. The resulting bottom-up/top-down architecture is capable of efficiently generating high-fidelity object masks. Similarly to skip connections, our approach leverages features at all layers of the net. Unlike skip connections, our approach does not attempt to output independent predictions at each layer. Instead, we first output a coarse `mask encoding' in a feedforward pass, then refine this mask encoding in a top-down pass utilizing features at successively lower layers. The approach is simple, fast, and effective. Building on the recent DeepMask network for generating object proposals, we show accuracy improvements of 10-20% in average recall for various setups. Additionally, by optimizing the overall network architecture, our approach, which we call SharpMask, is 50% faster than the original DeepMask network (under .8s per image).


title: Enhanced tau neutrino appearance through invisible decay

abstract: The decay of neutrino mass eigenstates leads to a change of the conversion and survival probability of neutrino flavor eigenstates. Remarkably, we find that the neutrino decay provides an enhancement of the expected tau appearance signal with respect to the standard oscillation scenario for the long-baseline OPERA experiment. The increase of the $\nu_\mu \rightarrow \nu_\tau$ conversion probability by the decay of one of the mass eigenstates is due to a reduction of the "destructive interference" among the different massive neutrino components. Motivated by the recently released results of the OPERA Collaboration showing a number of observed $\nu_\tau$ events larger than expected, we perform a statistical analysis including the invisible decay hypothesis. We obtain a very mild preference for invisible decays, with a best fit value $\tau_3/m_3 \simeq 2.6\times 10^{-13} $ s/eV, and a constraint at the 90$\%$ confidence level for the neutrino decay lifetime to be $\tau_3/m_3 \gtrsim 1.3\times 10^{-13}$ s/eV.


title: Modeling Interference Between OFDM/OQAM and CP-OFDM: Limitations of the PSD-Based Model

abstract: To answer the challenges put out by the next generation of wireless networks (5G), important research efforts have been undertaken during the last few years to find new waveforms that are better spectrally localized and less sensitive to asynchronism effects than the widely deployed Cyclic Prefix Orthogonal Frequency Division Multiplexing (CP-OFDM). One of the most studied schemes is OFDM-Offset Quadrature Amplitude Modulation (OFDM/OQAM) based on the PHYDYAS filter pulse. In the recent literature, spectrum coexistence between OFDM/OQAM and CP-OFDM is commonly studied based on the Power Spectral Density (PSD) model. In this paper, we show that this approach is flawed and we show that the actual interference injected by OFDM/OQAM systems onto CP-OFDM is much higher than what is classically expected with the PSD based model in the literature. We show that though using OFDM/OQAM in secondary systems is still advantageous, it brings limited gain in the context of coexistence with incumbent CP-OFDM systems.


title: Validation of the multi-mission altimeter wave height data for the Baltic Sea region

abstract: We present a complete cross-validation of significant wave heights (SWH) extracted from altimetry data from all ten existing satellites with available in situ (buoy and echosounder) wave measurements for the Baltic Sea basin. The main purpose is to select an adequate altimetry data subset for a subsequent evaluation of the wave climate. The satellite measurements with the backscatter coefficients > 13.5 cdb, errors in the SWH normalized standard deviation > 0.5 m and snapshots with centroids closer than 0.2 degrees to the land are not reliable. The ice flag usually denotes the ice concentration of > 50%. The presence of ice affects the SWH data starting from concentrations 10%, but substantial effects are only evident for concentrations > 30%. The altimetry data selected based on these criteria have very good correspondence with in situ data, except for GEOSAT Phase 1 data (1985-1989) that could not be validated. The root-mean-square difference of altimetry and in situ data is in the range of 0.23-0.37, which is significant for the Baltic Sea, compared with an average wave height of ~1 m. The bias for CRYOSAT-2, ERS-2, JASON-1/2 and SARAL data is below 0.06 m. The ENVISAT, ERS-1, GEOSAT and TOPEX satellites revealed larger biases up to 0.23 m. The SWH time series from several satellite pairs (ENVISAT/JASON-1, SARAL/JASON-2, ERS-1/TOPEX) exhibit substantial mutual temporal drift and part of them evidently are not homogeneous in time. A new high-resolution SWH data set from the SARAL satellite reveals a very good correspondence with the in situ data and with the data stream from previous satellites.


title: Baire theorem for ideals of sets

abstract: We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$ whenever $A \subset B$, then $\bigcup_{A \in \mathcal{I}}{X_{A}} \neq X$. We give several characterizations and determine the ideals having this property among certain classes like analytic ideals and P-ideals. We also discuss similar covering properties when considering families of compact and meager subsets of $X$.


title: Disentangling nonradiative recombination processes in Ge micro-crystals on Si substrates

abstract: We address nonradiative recombination pathways by leveraging surface passivation and dislocation management in micron-scale arrays of Ge crystals grown on deeply patterned Si substrates. The time decay photoluminescence (PL) at cryogenic temperatures discloses carrier lifetimes approaching 45 ns in band-gap engineered Ge micro-crystals. This investigation provides compelling information about the competitive interplay between the radiative band-edge transitions and the trapping of carriers by dislocations and free surfaces. Furthermore, an in-depth analysis of the temperature dependence of the PL, combined with capacitance data and finite difference time domain modeling, demonstrates the effectiveness of GeO2 in passivating the surface of Ge and thus in enhancing the room temperature PL emission.


title: What a Nerd! Beating Students and Vector Cosine in the ESL and TOEFL Datasets

abstract: In this paper, we claim that Vector Cosine, which is generally considered one of the most efficient unsupervised measures for identifying word similarity in Vector Space Models, can be outperformed by a completely unsupervised measure that evaluates the extent of the intersection among the most associated contexts of two target words, weighting such intersection according to the rank of the shared contexts in the dependency ranked lists. This claim comes from the hypothesis that similar words do not simply occur in similar contexts, but they share a larger portion of their most relevant contexts compared to other related words. To prove it, we describe and evaluate APSyn, a variant of Average Precision that, independently of the adopted parameters, outperforms the Vector Cosine and the co-occurrence on the ESL and TOEFL test sets. In the best setting, APSyn reaches 0.73 accuracy on the ESL dataset and 0.70 accuracy in the TOEFL dataset, beating therefore the non-English US college applicants (whose average, as reported in the literature, is 64.50%) and several state-of-the-art approaches.


title: Nine Features in a Random Forest to Learn Taxonomical Semantic Relations

abstract: ROOT9 is a supervised system for the classification of hypernyms, co-hyponyms and random words that is derived from the already introduced ROOT13 (Santus et al., 2016). It relies on a Random Forest algorithm and nine unsupervised corpus-based features. We evaluate it with a 10-fold cross validation on 9,600 pairs, equally distributed among the three classes and involving several Parts-Of-Speech (i.e. adjectives, nouns and verbs). When all the classes are present, ROOT9 achieves an F1 score of 90.7%, against a baseline of 57.2% (vector cosine). When the classification is binary, ROOT9 achieves the following results against the baseline: hypernyms-co-hyponyms 95.7% vs. 69.8%, hypernyms-random 91.8% vs. 64.1% and co-hyponyms-random 97.8% vs. 79.4%. In order to compare the performance with the state-of-the-art, we have also evaluated ROOT9 in subsets of the Weeds et al. (2014) datasets, proving that it is in fact competitive. Finally, we investigated whether the system learns the semantic relation or it simply learns the prototypical hypernyms, as claimed by Levy et al. (2015). The second possibility seems to be the most likely, even though ROOT9 can be trained on negative examples (i.e., switched hypernyms) to drastically reduce this bias.


title: Tuning colloid-interface interactions by salt partitioning

abstract: We show that the interaction of an oil-dispersed colloidal particle with an oil-water interface is highly tunable from attractive to repulsive, either by varying the sign of the colloidal charge via charge regulation, or by varying the difference in hydrophilicity between the dissolved cations and anions. In addition, we investigate the yet unexplored interplay between the self-regulated colloidal surface charge distribution with the planar double layer across the oil-water interface and the spherical one around the colloid. Our findings explain recent experiments and have direct relevance for tunable Pickering emulsions.


title: Interpretability of Multivariate Brain Maps in Brain Decoding: Definition and Quantification

abstract: Brain decoding is a popular multivariate approach for hypothesis testing in neuroimaging. It is well known that the brain maps derived from weights of linear classifiers are hard to interpret because of high correlations between predictors, low signal to noise ratios, and the high dimensionality of neuroimaging data. Therefore, improving the interpretability of brain decoding approaches is of primary interest in many neuroimaging studies. Despite extensive studies of this type, at present, there is no formal definition for interpretability of multivariate brain maps. As a consequence, there is no quantitative measure for evaluating the interpretability of different brain decoding methods. In this paper, first, we present a theoretical definition of interpretability in brain decoding; we show that the interpretability of multivariate brain maps can be decomposed into their reproducibility and representativeness. Second, as an application of the proposed theoretical definition, we formalize a heuristic method for approximating the interpretability of multivariate brain maps in a binary magnetoencephalography (MEG) decoding scenario. Third, we propose to combine the approximated interpretability and the performance of the brain decoding model into a new multi-objective criterion for model selection. Our results for the MEG data show that optimizing the hyper-parameters of the regularized linear classifier based on the proposed criterion results in more informative multivariate brain maps. More importantly, the presented definition provides the theoretical background for quantitative evaluation of interpretability, and hence, facilitates the development of more effective brain decoding algorithms in the future.


title: ROOT13: Spotting Hypernyms, Co-Hyponyms and Randoms

abstract: In this paper, we describe ROOT13, a supervised system for the classification of hypernyms, co-hyponyms and random words. The system relies on a Random Forest algorithm and 13 unsupervised corpus-based features. We evaluate it with a 10-fold cross validation on 9,600 pairs, equally distributed among the three classes and involving several Parts-Of-Speech (i.e. adjectives, nouns and verbs). When all the classes are present, ROOT13 achieves an F1 score of 88.3%, against a baseline of 57.6% (vector cosine). When the classification is binary, ROOT13 achieves the following results: hypernyms-co-hyponyms (93.4% vs. 60.2%), hypernymsrandom (92.3% vs. 65.5%) and co-hyponyms-random (97.3% vs. 81.5%). Our results are competitive with stateof-the-art models.


title: A Bourgain-like property of Banach spaces with no copies of $c_0$

abstract: We give a characterization of the existence of copies of $c_{0}$ in Banach spaces in terms of indexes. As an application, we deduce new proofs of James Distortion theorem and Bessaga-Pe{\l}czynski theorem about weakly unconditionally Cauchy series.


title: Universality for random tensors and cycle graphs with multiple edges

abstract: We consider the universality for the trace invariants of $c_1 N \times \cdots \times c_D N$ tensors with i.i.d. complex random elements. In the case $c_1 = \cdots = c_D$, Gurau derived the universality in the limit $N \to \infty$ by representing the average trace invariants in terms of the corresponding colored graphs. Moreover he could explicitly calculate the asymptotic forms of the average trace invariants, if the corresponding graphs were special ones called "melonic graphs". In this paper we study another kind of special graphs, cycle graphs with multiple edges. One can construct these graphs by using simple cycle graphs and melonic graphs. Counting the number of the components, we can explicitly calculate the asymptotic forms of the average trace invariants.


title: Unified View of Matrix Completion under General Structural Constraints

abstract: In this paper, we present a unified analysis of matrix completion under general low-dimensional structural constraints induced by {\em any} norm regularization. We consider two estimators for the general problem of structured matrix completion, and provide unified upper bounds on the sample complexity and the estimation error. Our analysis relies on results from generic chaining, and we establish two intermediate results of independent interest: (a) in characterizing the size or complexity of low dimensional subsets in high dimensional ambient space, a certain partial complexity measure encountered in the analysis of matrix completion problems is characterized in terms of a well understood complexity measure of Gaussian widths, and (b) it is shown that a form of restricted strong convexity holds for matrix completion problems under general norm regularization. Further, we provide several non-trivial examples of structures included in our framework, notably the recently proposed spectral $k$-support norm.


title: Dynamical canonical systems and their explicit solutions

abstract: Dynamical canonical systems and their connections with the classical (spectral) canonical systems are considered. We construct B\"acklund-Darboux transformation and explicit solutions of the dynamical canonical systems. We study also those properties of the solutions, which are of interest in evolution and control theories.


title: Unveiling the hidden nematicity and spin subsystem in FeSe

abstract: The nematic order (nematicity) is considered one of the essential ingredients to understand the mechanism of Fe-based superconductivity. In most Fe-based superconductors (pnictides), nematic order is reasonably close to the antiferromagnetic order. In FeSe, in contrast, a nematic order emerges below the structure phase transition at T_s = 90 K with no magnetic order. The case of FeSe is of paramount importance to a universal picture of Fe-based superconductors. The polarized ultrafast spectroscopy provides a tool to probe simultaneously the electronic structure and the magnetic interactions through quasiparticle dynamics. Here we show that this approach reveals both the electronic and magnetic nematicity below and, surprisingly, its fluctuations far above Ts to at least 200 K. The quantitative pump-probe data clearly identify a correlation between the topology of the Fermi surface (FS) and the magnetism in all temperature regimes, thus providing profound insight into the driving factors of nematicity in FeSe and the origin of its uniqueness.


title: On twists of smooth plane curves

abstract: Given a smooth curve defined over a field $k$ that admits a non-singular plane model over $\overline{k}$, a fixed separable closure of $k$, it does not necessarily have a non-singular plane model defined over the field $k$. We determine under which conditions this happens and we show an example of such phenomenon. Now, even assuming that such a smooth plane model exists, we wonder about the existence of non-singular plane models over $k$ for its twists. We characterize twists possessing such models and use such characterization to improve, for the particular case of smooth plane curves, the algorithm to compute twists of non-hyperelliptic curves wrote recently down by the third author. We also show an example of a twist not admitting such non-singular plane model. As a consequence, we get explicit equations for a non-trivial Brauer-Severi surface. Finally, we obtain a theoretical result to compute all the twists of smooth plane curves with cyclic automorphism group having a $k$-model whose automorphism group is generated by a diagonal matrix. Some examples are also provided.


title: Modelling of cell choice between differentiation and apoptosis on the basis of intracellular and extracellular regulations and stochasticity

abstract: The work is devoted to the analysis of cell population dynamics where cells make a choice between differentiation and apoptosis. This choice is based on the values of intracellular proteins whose concentrations are described by a system of ordinary differential equations with bistable dynamics. Intracellular regulation and cell fate are controlled by the extracellular regulation through the number of differentiated cells. Initial intracellular protein concentrations are considered for each cell as random variables with a given area of variation. Intracellular regulation, extracellular regulation and random initial conditions work together to produce differentiated cells and to control their number. The role of intracellular regulation is to provide a possible choice between differentiation and apoptosis, extracellular regulation controls the number of differentiated cells, stochastic initial conditions can suppress oscillations and provide stability of the system.


title: The comb-like representations of cellular ordinal balleans

abstract: Given two ordinal $\lambda$ and $\gamma$, let $f:[0,\lambda) \rightarrow [0,\gamma)$ be a function such that, for each $\alpha<\gamma$, $\sup\{f(t): t\in[0, \alpha]\}<\gamma.$ We define a mapping $d_{f}: [0,\lambda)\times [0,\lambda) \longrightarrow [0,\gamma)$ by the rule: if $x<y$ then $d_{f}(x,y)= d_{f}(y,x)= \sup\{f(t): t\in(x,y]\}$, $d(x,x)=0$. The pair $([0,\lambda), d_{f})$ is called a $\gamma-$comb defined by $f$. We show that each cellular ordinal ballean can be represented as a $\gamma-$comb. In {\it General Asymptology}, cellular ordinal balleans play a part of ultrametric spaces.


title: Properties of ABA+ for Non-Monotonic Reasoning

abstract: We investigate properties of ABA+, a formalism that extends the well studied structured argumentation formalism Assumption-Based Argumentation (ABA) with a preference handling mechanism. In particular, we establish desirable properties that ABA+ semantics exhibit. These pave way to the satisfaction by ABA+ of some (arguably) desirable principles of preference handling in argumentation and nonmonotonic reasoning, as well as non-monotonic inference properties of ABA+ under various semantics.


title: The group of reversible Turing machines

abstract: We consider Turing machines as actions over configurations in $\Sigma^{\mathbb{Z}^d}$ which only change them locally around a marked position that can move and carry a particular state. In this setting we study the monoid of Turing machines and the group of reversible Turing machines. We also study two natural subgroups, namely the group of finite-state automata, which generalizes the topological full groups studied in the theory of orbit-equivalence, and the group of oblivious Turing machines whose movement is independent of tape contents, which generalizes lamplighter groups and has connections to the study of universal reversible logical gates. Our main results are that the group of Turing machines in one dimension is neither amenable nor residually finite, but is locally embeddable in finite groups, and that the torsion problem is decidable for finite-state automata in dimension one, but not in dimension two.


title: Barrier Functionals for the Analysis of Complex Systems: An Optimization-Based Approach

abstract: We propose a methodology to address two analysis problems concerning complex systems, namely bounding state functionals of stochastic differential equations (SDEs) and verifying set avoidance of systems described by partial differential equations (PDEs). The proposed method is based on barrier functionals, which are functionals of the states of the studied systems. The proposed method does not require the approximation of solutions nor the stability of trajectories. In the case of SDEs, the formulation relies on a generalized version of the Feynman-Kac formula and results in moments bounds for nonlinear SDEs. Furthermore, we show that the analysis problems can be cast as optimization problems and can be solved by semi-definite programming.


title: Double-Sided Markets with Strategic Multi-dimensional Players

abstract: We consider mechanisms for markets that are double-sided and have players with multi-dimensional strategic spaces on at least one side. The players of the market are strategic, and act to optimize their own utilities. The mechanism designer, on the other hand, aims to optimize a social goal, i.e., the gain from trade. We focus on one example of this setting which is motivated by the foreseeable future form of online advertising. Online advertising currently supports some of the most important Internet services, including: search, social media and user generated content sites. To overcome privacy concerns, it has been suggested to introduce user information markets through information brokers into the online advertising ecosystem. Such markets give users control over which data get shared in the online advertising exchange. We describe a model for the above foreseeable future form of online advertising, and design two mechanisms for the exchange of this model: a deterministic mechanism which is related to the vast literature on mechanism design through trade reduction and allows players with a multi-dimensional strategic space, and a randomized mechanism which can handle a more general version of the model.


title: Adiabaticity in a time-dependent trap: a universal limit for the loss by touching the continuum

abstract: We consider a time dependent trap externally manipulated in such a way that one of its bound states is brought into an instant contact with the continuum threshold, and then down again. It is shown that, in the limit of slow evolution, the probability to remain in the bound state, $P^{stay}$ tends to a universal limit, and is determined only by the manner in which the adiabatic bound state approaches and leaves the threshold. The task of evaluating the $P^{stay}$ in the adiabatic limit can be reduced to studying the loss from a zero range well, and is performed numerically. Various types of trapping potentials are considered. Applications of the theory to cold atoms in traps, and to propagation of traversal modes in tapered wave guides are proposed.


title: Quantum chaos inside space-temporal Sinai billiards

abstract: We discuss general aspects of non-relativistic quantum chaos theory of scattering of a quantum particle on a system of a large number of naked singularities. We define such a system space-temporal Sinai billiard We dis- cuss the problem in semiclassical approach. We show that in semiclassical regime the formation of trapped periodic semiclassical orbits inside the sys- tem is unavoidable. This leads to general expression of survival probabilities and scattering time delays, expanded to the chaotic Pollicott-Ruelle reso- nances. Finally, we comment on possible generalizations of these aspects to relativistic quantum field theory.