title: Convergence and divergence of wavelet series: multifractal aspects

abstract: We study the convergence and divergence of the wavelet expansion of a function in a Sobolev or a Besov space from a multifractal point of view. In particular, we give an upper bound for the Hausdorff and for the packing dimension of the set of points where the expansion converges (or diverges) at a given speed, and we show that, generically, these bounds are optimal.


title: Disordered resonant media: Self-induced transparency versus light localization

abstract: We propose a concept of disordered resonant media, which are characterized by random variations of their parameters along the light propagation direction. In particular, a simple model of disorder considered in the paper implies random change of the density of active particles (two-level atoms). Within this model, the effect of disorder on self-induced transparency (SIT) is analyzed using numerical simulations of light pulse propagation through the medium. The transition from the SIT to localization regime is revealed as well as its dependence on the disorder level, atom density, medium thickness, and period of random variations.


title: Boolean constant degree functions on the slice are juntas

abstract: We show that a Boolean degree $d$ function on the slice $\binom{[n]}{k} = \{ (x_1,\ldots,x_n) \in \{0,1\} : \sum_{i=1}^n x_i = k \}$ is a junta, assuming that $k,n-k$ are large enough. This generalizes a classical result of Nisan and Szegedy on the hypercube. Moreover, we show that the maximum number of coordinates that a Boolean degree $d$ function can depend on is the same on the slice and the hypercube.


title: Latt{\`e}s maps and the interior of the bifurcation locus

abstract: We show the existence of open sets of bifurcations near Latt{\`e}s maps of sufficiently high degree. In particular, every Latt{\`e}s map has an iterate which is in the closure of the interior of the bifurcation locus. To show this, we design a method to intersect the limit set of some particular type of IFS with a well-oriented curve. Then, we show that a Latt{\`e}s map of sufficiently high degree can be perturbed to exhibit this geometry.


title: Just-Right Consistency: reconciling availability and safety

abstract: By the CAP Theorem, a distributed data storage system can ensure either Consistency under Partition (CP) or Availability under Partition (AP), but not both. This has led to a split between CP databases, in which updates are synchronous, and AP databases, where they are asynchronous. However, there is no inherent reason to treat all updates identically: simply, the system should be as available as possible, and synchronised just enough for the application to be correct. We offer a principled Just-Right Consistency approach to designing such applications, reconciling correctness with availability and performance, based on the following insights:(i) The Conflict-Free Replicated Data Type (CRDTs) data model supports asynchronous updates in an intuitive and principled way.(ii) Invariants involving joint or mutually-ordered updates are compatible with AP and can be guaranteed by Transactional Causal Consistency, the strongest consistency model that does not compromise availability. Regarding the remaining, "CAP-sensitive" invariants:(iii) For the common pattern of Bounded Counters, we provide encapsulated data type that is proven correct and is efficient; (iv) in the general case, static analysis can identify when synchronisation is not necessary for correctness.Our Antidote cloud database system supports CRDTs, Transactional Causal Consistency and the Bounded Counter data type. Support tools help design applications by static analysis and proof of CAP-sensitive invariants. This system supports industrial-grade applications and has been tested experimentally with hundreds of servers across several geo-distributed data centres.


title: Extremophile life-form survey on rocky exoplanets

abstract: Search for different life-forms elsewhere is the fascinating area of research in astrophysics and astrobiology. Nearly 3500 exoplanets are discovered according to NASA exoplanet archive database. Earth Similarity Index (ESI) is defined as the geometrical mean of radius, density, escape velocity and surface temperature, ranging from 0 (dissimilar to Earth) to 1(Earth). In this research, rocky exoplanets that are suitable for rock dependent extremophiles, such as: Chroococcidiopsis and Acarosporamto are chosen, which can potentially survive are considered. The Colonizing Similarity Index (CSI) is introduced and analysed for 1650 rocky exoplanets, CSI is basically representing Earth-like planets that are suitable for rocky extremophiles which can survive in extreme temperatures (i.e. as hot as desert and cold as frozen lands). In this work the in-habitable exoplanets are recognised even for these rocky extremophiles to not potentially survive by using the CSI metric tool.


title: Cosmological Parameter Estimation Using the Genus Amplitude - Application to Mock Galaxy Catalogs

abstract: We study the topology of the matter density field in two dimensional slices, and consider how we can use the amplitude $A$ of the genus for cosmological parameter estimation. Using the latest Horizon Run 4 simulation data, we calculate the genus of the smoothed density field constructed from lightcone mock galaxy catalogs. Information can be extracted from the amplitude of the genus by considering both its redshift evolution and magnitude. The constancy of the genus amplitude with redshift can be used as a standard population, from which we derive constraints on the equation of state of dark energy $w_{\rm de}$ - by measuring $A$ at $z \sim 0.1$ and $z \sim 1$, we can place an order $\Delta w_{\rm de} \sim {\cal O}(15\%)$ constraint on $w_{\rm de}$. By comparing $A$ to its Gaussian expectation value we can potentially derive an additional stringent constraint on the matter density $\Delta \Omega_{\rm mat} \sim 0.01$. We discuss the primary sources of contamination associated with the two measurements - redshift space distortion and shot noise. With accurate knowledge of galaxy bias, we can successfully remove the effect of redshift space distortion, and the combined effect of shot noise and non-linear gravitational evolution is suppressed by smoothing over suitably large scales $R_{\rm G} \ge 15 {\rm Mpc}/h$. Without knowledge of the bias, we discuss how joint measurements of the two and three dimensional genus can be used to constrain the growth factor $\beta = f/b$. The method can be applied optimally to redshift slices of a galaxy distribution generated using the drop-off technique.


title: Diagnostic of electron temperature from bremsstrahlung in overdense targets

abstract: Models for characterization of laser-accelerated electron via its produced bremsstrahlung are provided for both thin and thick targets. An effective temperature functional is proposed to overcome the so-called cold and hot "temperatures" in the emission spectra, which are shown not to describe the underlying electron energy distribution. In contrast, this functional allows for identifying the real effect of a hot electron component. A false "heating" effect due to added noise is also exposed. The models are shown to be in good agreement with Monte Carlo simulations, as well as in good agreement with other experimental methods when applied to experimental data.


title: A k-linear triangulated category without a model

abstract: In this paper we give an example of a triangulated category, linear over a field of characteristic zero, which does not carry a DG-enhancement. The only previous examples of triangulated categories without a model have been constructed by Muro, Schwede and Strickland. These examples are however not linear over a field.


title: SCUT-FBP5500: A Diverse Benchmark Dataset for Multi-Paradigm Facial Beauty Prediction

abstract: Facial beauty prediction (FBP) is a significant visual recognition problem to make assessment of facial attractiveness that is consistent to human perception. To tackle this problem, various data-driven models, especially state-of-the-art deep learning techniques, were introduced, and benchmark dataset become one of the essential elements to achieve FBP. Previous works have formulated the recognition of facial beauty as a specific supervised learning problem of classification, regression or ranking, which indicates that FBP is intrinsically a computation problem with multiple paradigms. However, most of FBP benchmark datasets were built under specific computation constrains, which limits the performance and flexibility of the computational model trained on the dataset. In this paper, we argue that FBP is a multi-paradigm computation problem, and propose a new diverse benchmark dataset, called SCUT-FBP5500, to achieve multi-paradigm facial beauty prediction. The SCUT-FBP5500 dataset has totally 5500 frontal faces with diverse properties (male/female, Asian/Caucasian, ages) and diverse labels (face landmarks, beauty scores within [1,~5], beauty score distribution), which allows different computational models with different FBP paradigms, such as appearance-based/shape-based facial beauty classification/regression model for male/female of Asian/Caucasian. We evaluated the SCUT-FBP5500 dataset for FBP using different combinations of feature and predictor, and various deep learning methods. The results indicates the improvement of FBP and the potential applications based on the SCUT-FBP5500.


title: Self-diffusiophoresis induced by fluid interfaces

abstract: The influence of a fluid-fluid interface on self-phoresis of chemically active, axially symmetric, spherical colloids is analyzed. Distinct from the studies of self-phoresis for colloids trapped at fluid interfaces or in the vicinity of hard walls, here we focus on the issue of self-phoresis close to a fluid-fluid interface. In order to provide physically intuitive results highlighting the role played by the interface, the analysis is carried out for the case that the symmetry axis of the colloid is normal to the interface; moreover, thermal fluctuations are not taken into account. Similarly to what has been observed near hard walls, we find that such colloids can be set into motion even if their whole surface is homogeneously active. This is due to the anisotropy along the direction normal to the interface owing to the partitioning by diffusion, among the coexisting fluid phases, of the product of the chemical reaction taking place at the colloid surface. Different from results corresponding to hard walls, in the case of a fluid interface the direction of motion, i.e., towards the interface or away from it, can be controlled by tuning the physical properties of one of the two fluid phases. This effect is analyzed qualitatively and quantitatively, both by resorting to a far-field approximation and via an exact, analytical calculation which provides the means for a critical assessment of the approximate analysis.


title: Quantum correlations from simple assumptions

abstract: We address the problem of deriving the set of quantum correlations for every Bell and Kochen-Specker (KS) contextuality scenario from simple assumptions. We show that the correlations that are possible according to quantum theory are equal to those possible under the assumptions that there is a nonempty set of correlations for every KS scenario and a statistically independent realization of any two KS experiments. The proof uses tools of the graph-theoretic approach to correlations and deals with Bell nonlocality and KS contextuality in a unified way.


title: Higher order concentration for functions of weakly dependent random variables

abstract: We extend recent higher order concentration results in the discrete setting to include functions of possibly dependent variables whose distribution (on the product space) satisfies a logarithmic Sobolev inequality with respect to a difference operator that arises from Gibbs sampler type dynamics. Examples of such random variables include the Ising model on a graph with n nodes with general, but weak interactions, i.e. in the Dobrushin uniqueness regime, for which we prove concentration results of homogeneous polynomials, as well as random permutations, and slices of the hypercube with dynamics given by either the Bernoulli-Laplace or the symmetric simple exclusion processes.


title: Proceedings of eNTERFACE 2015 Workshop on Intelligent Interfaces

abstract: The 11th Summer Workshop on Multimodal Interfaces eNTERFACE 2015 was hosted by the Numediart Institute of Creative Technologies of the University of Mons from August 10th to September 2015. During the four weeks, students and researchers from all over the world came together in the Numediart Institute of the University of Mons to work on eight selected projects structured around intelligent interfaces. Eight projects were selected and their reports are shown here.


title: Spectral analysis of the He-enriched sdO-star HD 127493

abstract: The bright sdO star HD 127493 is known to be of mixed H/He composition and excellent archival spectra covering both optical and ultraviolet ranges are available. UV spectra play a key role as they give access to many chemical species that do not show spectral lines in the optical, such as iron and nickel. This encouraged the quantitative spectral analysis of this prototypical mixed H/He composition sdO star. We determined atmospheric parameters for HD 127493 in addition to the abundance of C, N, O, Si, S, Fe, and Ni in the atmosphere using non-LTE model atmospheres calculated with TLUSTY/SYNSPEC. A comparison between the parallax distance measured by Hipparcos and the derived spectroscopic distance indicate that the derived atmospheric parameters are realistic. From our metal abundance analysis, we find a strong CNO signature and enrichment in iron and nickel.


title: Nontrivial Metallic State of Molybdenum Disulfide

abstract: The electrical conductivity and Raman spectroscopy measurements have been performed on MoS$_2$ at high pressures up to 90 GPa and variable temperatures down to 5 K. We find that the temperature dependence of the resistance in a metallic 2H$_a$ phase has an anomaly (a hump) which shifts with pressure to higher temperature. Concomitantly, a new Raman phonon mode appears in the metallic state suggesting that the electrical resistance anomaly may be related to a structural transformation. We suggest that this anomalous behavior is due to a charge density wave state, the presence of which is indicative for a possibility for an emergence of superconductivity at higher pressures.


title: Fostering Bilateral Patient-Clinician Engagement in Active Self-Tracking of Subjective Experience

abstract: In this position paper we describe select aspects of our experience with health-related self-tracking, the data generated, and processes surrounding those. In particular we focus on how bilateral patient-clinician engagement may be fostered by the combination of technology and method. We exemplify with a case study where a PTSD-suffering veteran has been self-tracking a specific symptom precursor. The availability of high-resolution self-tracking data on the occurrences of even a single symptom created new opportunities in the therapeutic process for identifying underlying triggers of symptoms. The patient was highly engaged in self-tracking and sharing the collected data. We suggest a key reason was the collaborative effort in defining the data collection protocol and discussion of the data. The therapist also engaged highly in the self-tracking data, as it supported the existing therapeutic process in reaching insights otherwise unobtainable.


title: Transfer Learning for Improving Speech Emotion Classification Accuracy

abstract: The majority of existing speech emotion recognition research focuses on automatic emotion detection using training and testing data from same corpus collected under the same conditions. The performance of such systems has been shown to drop significantly in cross-corpus and cross-language scenarios. To address the problem, this paper exploits a transfer learning technique to improve the performance of speech emotion recognition systems that is novel in cross-language and cross-corpus scenarios. Evaluations on five different corpora in three different languages show that Deep Belief Networks (DBNs) offer better accuracy than previous approaches on cross-corpus emotion recognition, relative to a Sparse Autoencoder and SVM baseline system. Results also suggest that using a large number of languages for training and using a small fraction of the target data in training can significantly boost accuracy compared with baseline also for the corpus with limited training examples.


title: The Complexity of Primal-Dual Fixed Point Methods for Ridge Regression

abstract: We study the ridge regression (L2 regularized least squares) problem and its dual, which is also a ridge regression problem. We observe that the optimality conditions describing the primal and dual optimal solutions can be formulated in several different but equivalent ways. The optimality conditions we identify form a linear system involving a structured matrix depending on a single relaxation parameter which we introduce for regularization purposes. This leads to the idea of studying and comparing, in theory and practice, the performance of the fixed point method applied to these reformulations. We compute the optimal relaxation parameters and uncover interesting connections between the complexity bounds of the variants of the fixed point scheme we consider. These connections follow from a close link between the spectral properties of the associated matrices. For instance, some reformulations involve purely imaginary eigenvalues; some involve real eigenvalues and others have all eigenvalues on the complex circle. We show that the deterministic Quartz method---which is a special case of the randomized dual coordinate ascent method with arbitrary sampling recently developed by Qu, Richt\'{a}rik and Zhang---can be cast in our framework, and achieves the best rate in theory and in numerical experiments among the fixed point methods we study. Remarkably, the method achieves an accelerated convergence rate. Numerical experiments indicate that our main algorithm is competitive with the conjugate gradient method.


title: In situ transformation and cleaning of tin-drop contamination on mirrors for extreme ultraviolet light

abstract: Tin-drop contamination was cleaned from multilayer-coated mirrors by induction of phase transformation. The {\beta} - {\alpha} phase transition of tin was induced to initiate material embrittlement and enable facile removal of thick tin deposits. The necessary steps were performed under high-vacuum conditions for an in-situ demonstration of the removal of severe tin contamination from optics used for reflection of extreme ultraviolet light. Molten tin of high purity was dripped onto mirror samples, inoculated with small seed particles of gray tin and then cooled to temperatures in the range of -25 {\deg}C to -40 {\deg}C. As recorded by photographic imaging, the drops were converted in an evacuated chamber to gray tin by induction of tin pest leading to their disintegration within a few hours. They could then be easily cleaned or fell off from the surface without causing any damage of the multilayer coating. Cleaning of tin contamination from the mirrors with almost complete structural transformation of the tin drops and subsequent removal by puffs of dry gas could be achieved within a day. The fraction of area coverage of untransformed tin remaining on the samples after cleaning was evaluated from the images and generally found to be well below 1%. After tin dripping, phase transition and cleaning, analysis of the reflectance of a Mo/Si-coated mirror with measurements at wavelengths of 13.6 nm and 13.5 nm showed a reduction by only 0.5%, with an upper limit of 1%.


title: A Non-Intrusive Parallel-in-Time Approach for Simultaneous Optimization with Unsteady PDEs

abstract: This paper presents a non-intrusive framework for integrating existing unsteady partial differential equation (PDE) solvers into a parallel-in-time simultaneous optimization algorithm. The time-parallelization is provided by the non-intrusive software library XBraid, which applies an iterative multigrid reduction technique to the time domain of existing time-marching schemes for solving unsteady PDEs. Its general user-interface has been extended for computing adjoint sensitivities such that gradients of output quantities with respect to design changes can be computed parallel-in-time alongside with the primal PDE solution. In this paper, the primal and adjoint XBraid iterations are embedded into a simultaneous optimization framework, namely the One-shot method. In this method, design updates towards optimality are employed after each state and adjoint update such that optimality and feasibility of the design and the PDE solution are reached simultaneously. The time-parallel optimization method is validated on an advection-dominated flow control problem which shows significant speedup over a classical time-serial optimization algorithm.


title: On the Modeling and Performance Assessment of Random Access with SIC

abstract: In this paper, we review the key figures of merit to assess the performance of advanced random access (RA) schemes exploiting physical layer coding, repetitions and collision resolution techniques. We then investigate RA modeling aspects and their impact on the figures of merit for the exemplary advanced RA schemes: Contention Resolution Diversity Slotted ALOHA (CRDSA), Irregular Repetition Slotted ALOHA (IRSA), Coded Slotted ALOHA (CSA) and Enhanced Spread-Spectrum ALOHA (E-SSA). We show that typical simplifications of the reception model when used to optimize RA schemes lead to inaccurate findings, both in terms of parameter optimization and figures of merit, such as the packet loss ratio (PLR) and throughput. We also derive a generic RA energy efficiency model able to compare the schemes in terms of the energy required to transmit a packet. The combination of achievable RA throughput at the target PLR and energy efficiency, for the same average user power investment per frame and occupied bandwidth, shows that E-SSA, which is an unslotted scheme, provides the best overall performance, while, in terms of the slotted schemes, CRDSA outperforms the more elaborated IRSA and CSA. This surprising results is due to the fact that the IRSA and CSA optimization has so far been performed using RA channel models that are not accurately reflecting the physical layer receiver behavior. We conclude by providing insights on how to include more accurate reception models in the IRSA and CSA design and optimization.


title: Sparse recovery based on q-ratio constrained minimal singular values

abstract: We study verifiable sufficient conditions and computable performance bounds for sparse recovery algorithms such as the Basis Pursuit, the Dantzig selector and the Lasso estimator, in terms of a newly defined family of quality measures for the measurement matrices. With high probability, the developed measures for subgaussian random matrices are bounded away from zero as long as the number of measurements is reasonably large. Comparing to the restricted isotropic constant based performance analysis, the arguments in this paper are much more concise and the obtained bounds are tighter. Numerical experiments are presented to illustrate our theoretical results.


title: On connected preimages of simply-connected domains under entire functions

abstract: Let $f$ be a transcendental entire function, and let $U,V\subset\mathbb{C}$ be disjoint simply-connected domains. Must one of $f^{-1}(U)$ and $f^{-1}(V)$ be disconnected? In 1970, Baker implicitly gave a positive answer to this question, in order to prove that a transcendental entire function cannot have two disjoint completely invariant domains. (A domain $U\subset \mathbb{C}$ is completely invariant under $f$ if $f^{-1}(U)=U$.) It was recently observed by Julien Duval that there is a flaw in Baker's argument (which has also been used in later generalisations and extensions of Baker's result). We show that the answer to the above question is negative; so this flaw cannot be repaired. Indeed, for the function $f(z)= e^z+z$, there is a collection of infinitely many pairwise disjoint simply-connected domains, each with connected preimage. We also answer a long-standing question of Eremenko by giving an example of a transcendental entire function, with infinitely many poles, which has the same property. Furthermore, we show that there exists a function $f$ with the above properties such that additionally the set of singular values $S(f)$ is bounded; in other words, $f$ belongs to the Eremenko-Lyubich class. On the other hand, if $S(f)$ is finite (or if certain additional hypotheses are imposed), many of the original results do hold. For the convenience of the research community, we also include a description of the error in the proof of Baker's paper, and a summary of other papers that are affected.


title: On phenomenological study of the solution of nonlinear GLR-MQ evolution equation beyond leading order

abstract: We present a phenomenological study of the small-x behaviour of gluon distribution function $G(x,Q^2)$ at next-to-leading order (NLO) and next-to-next-to-leading order(NNLO) in light of the nonlinear Gribov-Ryskin-Levin-Mueller-Qiu (GLR-MQ)evolution equation by keeping the transverse size of the gluons ($\sim 1/Q$) fixed. We consider the NLO and NNLO corrections, of the gluon-gluon spitting function $P_{gg} (z)$ and strong coupling constant $\alpha_s (Q^2)$. We have suggested semi-analytical solutions based on Regge like ansatz of gluon density $G(x,Q^2)$, which are supposed to be valid in the moderate range of photon virtuality$(Q^2)$ and at small Bjorken variable$(x)$. The study of the effects of nonlinearities that arise due to gluon recombination effects at small-x is very interesting, which eventually tames down the unusual growth of gluon densities towards small-x as predicted by the linear DGLAP evolution equation.


title: Discontinuous Galerkin Time Discretization Methods for Parabolic Problems with Linear Constraints

abstract: We consider time discretization methods for abstract parabolic problems with inhomogeneous linear constraints. Prototype examples that fit into the general framework are the heat equation with inhomogeneous (time dependent) Dirichlet boundary conditions and the time dependent Stokes equation with an inhomogeneous divergence constraint. Two common ways of treating such linear constraints, namely explicit or implicit (via Lagrange multipliers) are studied. These different treatments lead to different variational formulations of the parabolic problem. For these formulations we introduce a modification of the standard discontinuous Galerkin (DG) time discretization method in which an appropriate projection is used in the discretization of the constraint. For these discretizations (optimal) error bounds, including superconvergence results, are derived. Discretization error bounds for the Lagrange multiplier are presented. Results of experiments confirm the theoretically predicted optimal convergence rates and show that without the modification the (standard) DG method has sub-optimal convergence behavior.


title: Faithful state transfer between two-level systems via an actively cooled finite-temperature cavity

abstract: We consider state transfer between two qubits - effective two-level systems represented by Rydberg atoms - via a common mode of a microwave cavity at finite temperature. We find that when both qubits have the same coupling strength to the cavity field, at large enough detuning from the cavity mode frequency, quantum interference between the transition paths makes the swap of the excitation between the qubits largely insensitive to the number of thermal photons in the cavity. When, however, the coupling strengths are different, the photon number-dependent differential Stark shift of the transition frequencies precludes efficient transfer. Nevertheless, using an auxiliary cooling system to continuously extract the cavity photons, we can still achieve a high-fidelity state transfer between the qubits.


title: Disentangling population strategies of two cladocerans adapted to different ultraviolet regimes

abstract: Zooplankton have evolved several mechanisms to deal with environmental threats, such as ultraviolet radiation (UVR), and in order to identify strategies inherent to organisms exposed to different UVR environments, we here examine life-history traits of two lineages of Daphnia pulex. The lineages differed in the UVR dose they had received at their place of origin from extremely high UVR stress at high-altitude Bolivian lakes to low UVR stress near the sea level in temperate Sweden. Nine life-history variables of each lineage were analyzed in laboratory experiments in the presence and the absence of sub-lethal doses of UVR (UV-A band), and we identified trade-offs among variables through structural equation modeling (SEM). The UVR treatment was detrimental to almost all life-history variables of both lineages; however, the Daphnia historically exposed to higher doses of UVR (HighUV) showed a higher overall fecundity than those historically exposed to lower doses of UVR (LowUV). The total offspring and ephippia production, as well as the number of clutches and number of offspring at first reproduction, was directly affected by UVR in both lineages. Main differences between lineages involved indirect effects that affected offspring production as the age at first reproduction. We here show that organisms within the same species have developed different strategies as responses to UVR, although no increased physiological tolerance or plasticity was shown by the HighUV lineage. In addition to known tolerance strategies to UVR, including avoidance, prevention, or repairing of damages, we here propose a population strategy that includes early reproduction and high fertility, which we show compensated for the fitness loss imposed by UVR stress.


title: A pseudospectral method for solution of the radiative transport equation

abstract: The radiative transport equation accurately describes light transport in participating media such as biological tissues, though analytic solutions are known only for simple geometries. We present a pseudospectral technique to efficiently compute numerical solutions to the time-dependent transport equation in arbitrary three-dimensional heterogeneous media with anisotropic scattering. Our GPU-accelerated implementation of the technique is validated by comparison with a Monte-Carlo simulation, demonstrating excellent agreement.


title: Scattering of Klein-Gordon particles in the background of mixed scalar-vector generalized symmetric Woods-Saxon potential

abstract: Recently, it has been shown that the generalized symmetric Woods-Saxon potential energy, in which surface interaction terms are taken into account, describes the physical processes better than the standard form. Therefore in this study, we investigate the scattering of Klein-Gordon particles in the presence of both generalized symmetric Woods-Saxon vector and scalar potential. In one spatial dimension we obtain the solutions in terms of hypergeometric functions for spin symmetric or pseudo-spin symmetric cases. Finally, we plot transmission and reflection probabilities for incident particles with negative and positive energy for some critical arbitrary parameters and discuss the correlations for both cases.


title: Lyapunov stability of differential inclusions with Lipschitz Cusco perturbations of maximal monotone operators

abstract: We give criteria for weak and strong invariant closed sets for differential inclusions given in $\mathbb{R}^{n}$ and governed by Lipschitz Cusco perturbations of maximal monotone operators. Correspondingly, we provide different characterizations for the\ associated strong Lyapunov functions. The resulting conditions only depend on the data of the system.


title: Unusual Coulomb excitations in ABC-stacked trilayer graphene

abstract: The layer-based random-phase approximation is further developed to investigate electronic excitations in tri-layer ABC-stacked graphene. All the layer-dependent atomic interactions and Coulomb interactions are included in the dynamic charge screening. There exist rich and unique (momentum, frequency)-excitation phase diagrams, in which the complex single-particle excitations and five kinds of plasmon modes, are dominated by the unusual energy bands and doping carrier densities. The latter frequently experience the significant Landau damping due to the former, leading to the coexistence/destruction in the energy loss spectra. Specifically, the dispersion of the only acoustic plasmon in pristine case is dramatically changed from linear into quadratic even at very low doping.


title: No Silk Road for Online Gamers!: Using Social Network Analysis to Unveil Black Markets in Online Games

abstract: Online game involves a very large number of users who are interconnected and interact with each other via the Internet. We studied the characteristics of exchanging virtual goods with real money through processes called "real money trading (RMT)." This exchange might influence online game user behaviors and cause damage to the reputation of game companies. We examined in-game transactions to reveal RMT by constructing a social graph of virtual goods exchanges in an online game and identifying network communities of users. We analyzed approximately 6,000,000 transactions in a popular online game and inferred RMT transactions by comparing the RMT transactions crawled from an out-game market. Our findings are summarized as follows: (1) the size of the RMT market could be approximately estimated; (2) professional RMT providers typically form a specific network structure (either star-shape or chain) in the trading network, which can be used as a clue for tracing RMT transactions; and (3) the observed RMT market has evolved over time into a monopolized market with a small number of large-sized virtual goods providers.


title: An efficient shape parametrisation by free-form deformation enhanced by active subspace for hull hydrodynamic ship design problems in open source environment

abstract: In this contribution, we present the results of the application of a parameter space reduction methodology based on active subspaces to the hull hydrodynamic design problem. Several parametric deformations of an initial hull shape are considered to assess the influence of the shape parameters considered on the hull total drag. The hull resistance is typically computed by means of numerical simulations of the hydrodynamic flow past the ship. Given the high number of parameters involved - which might result in a high number of time consuming hydrodynamic simulations - assessing whether the parameters space can be reduced would lead to considerable computational cost reduction. Thus, the main idea of this work is to employ the active subspaces to identify possible lower dimensional structures in the parameter space, or to verify the parameter distribution in the position of the control points. To this end, a fully automated procedure has been implemented to produce several small shape perturbations of an original hull CAD geometry which are then used to carry out high-fidelity flow simulations and collect data for the active subspaces analysis. To achieve full automation of the open source pipeline described, both the free form deformation methodology employed for the hull perturbations and the solver based on unsteady potential flow theory, with fully nonlinear free surface treatment, are directly interfaced with CAD data structures and operate using IGES vendor-neutral file formats as input files. The computational cost of the fluid dynamic simulations is further reduced through the application of dynamic mode decomposition to reconstruct the steady state total drag value given only few initial snapshots of the simulation. The active subspaces analysis is here applied to the geometry of the DTMB-5415 naval combatant hull, which is a common benchmark in ship hydrodynamics simulations.


title: Derived equivalences of gentle algebras via Fukaya categories

abstract: Following the approach of Haiden-Katzarkov-Kontsevich arXiv:1409.8611, to any homologically smooth graded gentle algebra $A$ we associate a triple $(\Sigma_A, \Lambda_A; \eta_A)$, where $\Sigma_A$ is an oriented smooth surface with non-empty boundary, $\Lambda_A$ is a set of stops on $\partial \Sigma_A$ and $\eta_A$ is a line field on $\Sigma_A$, such that the derived category of perfect dg-modules of $A$ is equivalent to the partially wrapped Fukaya category of $(\Sigma_A, \Lambda_A ;\eta_A)$. Modifying arguments of Johnson and Kawazumi, we classify the orbit decomposition of the action of the (symplectic) mapping class group of $\Sigma_A$ on the homotopy classes of line fields. As a result we obtain a sufficient criterion for homologically smooth graded gentle algebras to be derived equivalent. Our criterion uses numerical invariants generalizing those given by Avella-Alaminos-Geiss in math/0607348, as well as some other numerical invariants. As an application, we find many new cases when the AAG-invariants determine the derived Morita class. As another application, we establish some derived equivalences between the stacky nodal curves considered in arXiv:1705.06023.


title: Work and information from thermal states after subtraction of energy quanta

abstract: Quantum oscillators prepared out of thermal equilibrium can be used to produce work and transmit information. By intensive cooling of a single oscillator, its thermal energy deterministically dissipates to a colder environment, and the oscillator substantially reduces its entropy. This out-of-equilibrium state allows us to obtain work and to carry information. Here, we propose and experimentally demonstrate an advanced approach, conditionally preparing more efficient out-of-equilibrium states only by a weak dissipation, an inefficient quantum measurement of the dissipated thermal energy, and subsequent triggering of that states. Although it conditionally subtracts the energy quanta from the oscillator, average energy grows, and second-order correlation function approaches unity as by coherent external driving. On the other hand, the Fano factor remains constant and the entropy of the subtracted state increases, which raise doubts about a possible application of this approach. To resolve it, we predict and experimentally verify that both available work and transmitted information can be conditionally higher in this case than by arbitrary cooling or adequate thermal heating up to the same average energy. It qualifies the conditional procedure as a useful source for experiments in quantum information and thermodynamics.


title: The Globular Cluster NGC 6402 (M14). II. Variable Stars

abstract: We present time-series $BVI$ photometry for the Galactic globular cluster NGC 6402 (M14). The data consists of $\sim$137 images per filter, obtained using the 0.9m and 1.0m SMARTS telescopes at the Cerro Tololo Inter-American Observatory. The images were obtained during two observing runs in 2006-2007. The image-subtraction package ISIS, along with DAOPHOT II/ALLFRAME, were used to perform crowded-field photometry and search for variable stars. We identified 130 variables, 8 of which are new discoveries. The variable star population is comprised of 56 ab-type RR Lyrae stars, 54 c-type RR Lyrae, 6 type II Cepheids, 1 W UMa star, 1 detached eclipsing binary, and 12 long-period variables. We provide Fourier decomposition parameters for the RR Lyrae, and discuss the physical parameters and photometric metallicity derived therefrom. The M14 distance modulus is also discussed, based on different approaches for the calibration of the absolute magnitudes of RR Lyrae stars. The possible presence of second-overtone RR Lyrae in M14 is critically addressed, with our results arguing against this possibility. By considering all of the RR Lyrae stars as members of the cluster, we derive $\langle P_{ab}\rangle = 0.589$ d. This, together with the position of the RR Lyrae stars of both Bailey types in the period-amplitude diagram, suggests an Oosterhoff-intermediate classification for the cluster. Such an intermediate Oosterhoff type is much more commonly found in nearby extragalactic systems, and we critically discuss several other possible indications that may point to an extragalactic origin for this cluster.


title: Predicting crypto-currencies using sparse non-Gaussian state space models

abstract: In this paper we forecast daily returns of crypto-currencies using a wide variety of different econometric models. To capture salient features commonly observed in financial time series like rapid changes in the conditional variance, non-normality of the measurement errors and sharply increasing trends, we develop a time-varying parameter VAR with t-distributed measurement errors and stochastic volatility. To control for overparameterization, we rely on the Bayesian literature on shrinkage priors that enables us to shrink coefficients associated with irrelevant predictors and/or perform model specification in a flexible manner. Using around one year of daily data we perform a real-time forecasting exercise and investigate whether any of the proposed models is able to outperform the naive random walk benchmark. To assess the economic relevance of the forecasting gains produced by the proposed models we moreover run a simple trading exercise.


title: Energy-Efficient SWIPT in IoT Distributed Antenna Systems

abstract: The rapid growth of Internet of Things (IoT) dramatically increases power consumption of wireless devices. Simultaneous wireless information and power transfer (SWIPT) is a promising solution for sustainable operation of IoT devices. In this paper, we study energy efficiency (EE) in SWIPT-based distributed antenna system (DAS), where power splitting (PS) is applied at IoT devices to coordinate the energy harvesting (EH) and information decoding (ID) processes by varying transmit power of distributed antenna (DA) ports and PS ratios of IoT devices. In the case of single IoT device, we find the optimal closed-form solution by deriving some useful properties based on Karush-Kuhn-Tucker (KKT) conditions and the solution is no need for numerical iterations. For the case of multiple IoT devices, we propose an efficient suboptimal algorithm to solve the EE maximization problem. Simulation results show that the proposed schemes achieve better EE performance compared with other benchmark schemes in both single and multiple IoT devices cases.


title: Penalised maximum likelihood estimation in multistate models for interval-censored data

abstract: Multistate models can be used to describe transitions over time across states. In the presence of interval-censored times for transitions, the likelihood is constructed using transition probabilities. Models are specified using proportional hazards model for the transitions. Time-dependency is usually defined by parametric models, which can be too restrictive. Nonparametric hazards specification with splines allow for flexible modelling of time-dependency without making strong model assumptions. Penalised maximum likelihood is used to estimate the models. Selecting the optimal amount of smoothing is challenging as the problem involves multiple penalties. We propose an automatic and efficient method to estimate multistate models with splines in the presence of interval-censoring. The method is illustrated with a data analysis and a simulation study.


title: Partition quantum spaces

abstract: We propose a definition of partition quantum spaces. They are given by universal $C^*$-algebras whose relations come from partitions of sets. We ask for the maximal compact matrix quantum group acting on them. We show how those fit into the setting of easy quantum groups: Our approach yields spaces these groups are acting on. In a way, our partition quantum spaces arise as the first $d$ columns of easy quantum groups. However, we define them as universal $C^*$-algebras rather than as $C^*$-subalgebras of easy quantum groups. We also investigate the minimal number $d$ needed to recover an easy quantum group as the quantum symmetry group of a partition quantum space. In the free unitary case, $d$ takes the values one or two.


title: Predictions for the Dirac CP-Violating Phase from Sum Rules

abstract: We explore the implications of recent results relating the Dirac CP-violating phase to predicted and measured leptonic mixing angles within a standard set of theoretical scenarios in which charged lepton corrections are responsible for generating a non-zero value of the reactor mixing angle. We employ a full set of leptonic sum rules as required by the unitarity of the lepton mixing matrix, which can be reduced to predictions for the observable mixing angles and the Dirac CP-violating phase in terms of model parameters. These sum rules are investigated within a given set of theoretical scenarios for the neutrino sector diagonalization matrix for several known classes of charged lepton corrections. The results provide explicit maps of the allowed model parameter space within each given scenario and assumed form of charged lepton perturbations.


title: Introducing ReQuEST: an Open Platform for Reproducible and Quality-Efficient Systems-ML Tournaments

abstract: Co-designing efficient machine learning based systems across the whole hardware/software stack to trade off speed, accuracy, energy and costs is becoming extremely complex and time consuming. Researchers often struggle to evaluate and compare different published works across rapidly evolving software frameworks, heterogeneous hardware platforms, compilers, libraries, algorithms, data sets, models, and environments. We present our community effort to develop an open co-design tournament platform with an online public scoreboard. It will gradually incorporate best research practices while providing a common way for multidisciplinary researchers to optimize and compare the quality vs. efficiency Pareto optimality of various workloads on diverse and complete hardware/software systems. We want to leverage the open-source Collective Knowledge framework and the ACM artifact evaluation methodology to validate and share the complete machine learning system implementations in a standardized, portable, and reproducible fashion. We plan to hold regular multi-objective optimization and co-design tournaments for emerging workloads such as deep learning, starting with ASPLOS'18 (ACM conference on Architectural Support for Programming Languages and Operating Systems - the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and compilers, operating systems and networking) to build a public repository of the most efficient machine learning algorithms and systems which can be easily customized, reused and built upon.


title: On optimal control of free boundary problems of obstacle type

abstract: A numerical study of an optimal control formulation for a shape optimization problem governed by an elliptic variational inequality is performed. The shape optimization problem is reformulated as a boundary control problem in a fixed domain. The discretized optimal control problem is a non-smooth and non-convex mathematical programing problem. The performance of the standard BFGS quasi-Newton method and the BFGS method with the inexact line search are tested.


title: The geometry of corank $1$ surfaces in $\mathbb{R}^{4}$

abstract: We study the geometry of surfaces in $\mathbb{R}^{4}$ with corank $1$ singularities. For such surfaces the singularities are isolated and at each point we define the curvature parabola in the normal space. This curve codifies all the second order information of the surface. Also, using this curve we define asymptotic and binormal directions, the umbilic curvature and study the flat geometry of the surface. It is shown that we can associate to this singular surface a regular one in $\mathbb{R}^{4}$ and relate their geometry.


title: Reionization Models Classifier using 21cm Map Deep Learning

abstract: Next-generation 21cm observations will enable imaging of reionization on very large scales. These images will contain more astrophysical and cosmological information than the power spectrum, and hence providing an alternative way to constrain the contribution of different reionizing sources populations to cosmic reionization. Using Convolutional Neural Networks, we present a simple network architecture that is sufficient to discriminate between Galaxy-dominated versus AGN-dominated models, even in the presence of simulated noise from different experiments such as the HERA and SKA.


title: Four-dimensional entanglement distribution over 100 km

abstract: High-dimensional quantum entanglement can enrich the functionality of quantum information processing. For example, it can enhance the channel capacity for linear optic superdense coding and decrease the error rate threshold of quantum key distribution. Long-distance distribution of a high-dimensional entanglement is essential for such advanced quantum communications over a communications network. Here, we show a long-distance distribution of a four-dimensional entanglement. We employ time-bin entanglement, which is suitable for a fibre transmission, and implement scalable measurements for the high-dimensional entanglement using cascaded Mach-Zehnder interferometers. We observe that a pair of time-bin entangled photons has more than 1 bit of secure information capacity over 100 km. Our work constitutes an important step towards secure and dense quantum communications in a large Hilbert space.


title: Many-body spectral functions from steady state density functional theory

abstract: We propose a scheme to extract the many-body spectral function of an interacting many-electron system from an equilibrium density functional theory (DFT) calculation. To this end we devise an ideal STM-like setup and employ the recently proposed steady-state DFT formalism (i-DFT) which allows to calculate the steady current through a nanoscopic region coupled to two biased electrodes. In our setup one of the electrodes serves as a probe ('STM tip'), which is weakly coupled to the system we want to measure. In the ideal STM limit of vanishing coupling to the tip, the system is restored to quasi-equilibrium and the normalized differential conductance yields the exact equilibrium many-body spectral function. Calculating this quantity from i-DFT, we derive an exact relation expressing the interacting spectral function in terms of the Kohn-Sham one. As illustrative examples we apply our scheme to calculate the spectral functions of two non-trivial model systems, namely the single Anderson impurity model and the Constant Interaction Model.


title: Difference sets and power residues

abstract: Let $p\geq 3$ be a prime and $n\geq 1$ be an integer. Let $K\subseteq {\mathbb{F}_p}$ denote a fixed subset with $0\in K$. Let $A\subseteq ({\mathbb{F}_p})^n$ be an arbitrary subset such that $$\{ \mathbf{a}-\mathbf{b}:~\mathbf{a},\mathbf{b}\in A,\mathbf{a}\neq \mathbf{b}\}\cap K^n=\emptyset. $$ Then we prove the exponential upper bound $$ |A|\leq ( p-|K|+ 1 )^n. $$ We use in our proof the linear algebra bound method.


title: Quasi-monoenergetic Laser-Plasma Positron Accelerator using Particle-Shower Plasma-Wave interactions

abstract: An all-optical centimeter-scale laser-plasma positron accelerator is modeled to produce quasi-monoenergetic beams with tunable ultra-relativistic energies. A new principle elucidated here describes the trapping of divergent positrons that are part of a laser-driven electromagnetic shower with a large energy spread and their acceleration into a quasi-monoenergetic positron beam in a laser-driven plasma wave. Proof of this principle using analysis and Particle-In-Cell simulations demonstrates that, under limits defined here, existing lasers can accelerate hundreds of MeV pC quasi-monoenergetic positron bunches. By providing an affordable alternative to kilometer-scale radio-frequency accelerators, this compact positron accelerator opens up new avenues of research.

categories: physics.plasm-ph physics.acc-ph physics.app-ph physics.comp-ph


title: Profinite rigidity of graph manifolds, II: knots and mapping classes

abstract: In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by their profinite fundamental groups. We also prove a strong conjugacy separability result for certain mapping classes of surfaces.


title: Closed form expression of the multivariate standard Normal distribution under a weighted sum constraint

abstract: In this letter we derive the $(n-1)$-dimensional distribution corresponding to a $n$-dimensional i.i.d. Normal standard vector $Z=(Z_1,Z_2,\ldots,Z_n)$ subjected to the weighted sum constraint $\sum_{i=1}^n w_i Z_i=c$, $w_i\neq 0$. We first address the $n=2$ case before proceeding with the general $n\geq 2$ case. The resulting distribution is a Normal distribution whose mean vector $\mu$ and covariance matrix $\Sigma$ are explicitly derived as a function of $w_1,\ldots,w_n,c$. The derivation of the density relies on a very specific positive definite matrix for which the determinant and inverse can be computed analytically.


title: A note on multivariable $(\varphi,\Gamma)$-modules

abstract: Let $F/{\mathbb Q}_p$ be a finite field extension, let $k$ be a field of characteristic $p$. Fix a Lubin Tate group $\Phi$ for $F$ and let $\Gamma\times\cdots\times\Gamma$ with $\Gamma={\mathcal O}_F^{\times}$ act on $k[[t_1,\ldots,t_n]][\prod_it_i^{-1}]$ by letting $\gamma_i$ (in the $i$-th factor $\Gamma$) act on $t_i$ by insertion of $t_i$ into the power series attached to $\gamma_i$ by $\Phi$. We show that $k[[t_1,\ldots,t_n]][\prod_it_i^{-1}]$ admits no non-trivial ideal stable under $\Gamma$, thereby generalizing a result of Z\'{a}br\'{a}di (who had treated the case where $\Phi$ is the multiplicative group). We then discuss applications to $(\varphi,\Gamma)$-modules over $k[[t_1,\ldots,t_n]][\prod_it_i^{-1}]$.


title: Quantum-classical correspondence in integrable systems

abstract: We find that the quantum-classical correspondence in integrable systems is characterized by two time scales. One is the Ehrenfest time below which the system is classical; the other is the quantum revival time beyond which the system is fully quantum. In between, the quantum system can be well approximated by classical ensemble distribution in phase space. These results can be summarized in a diagram which we call Ehrenfest diagram. We derive an analytical expression for Ehrenfest time, which is proportional to $\hbar^{-1/2}$. According to our formula, the Ehrenfest time for the solar-earth system is about $10^{26}$ times of the age of the solar system.We also find an analytical expression for the quantum revival time, which is proportional to $\hbar^{-1}$. Both time scales involve $\omega(I)$, the classical frequency as a function of classical action. Our results are numerically illustrated with two simple integrable models. In addition, we show that similar results exist for Bose gases, where $1/N$ serves as an effective Planck constant.


title: Ramanujan's Master Theorem and two formulas for zero-order Hankel transform

abstract: Using Ramanujan's Master Theorem, two formulas are derived which define the Hankel transforms of order zero with even functions by inverse Mellin transforms, provided these functions and their derivatives obey special conditions. Their validity is illustrated by a number of examples. With a help of one of these formulas, one as yet unknown parametric improper integral of the Bessel function J_0(x) is calculated.


title: Decoupling schemes for predicting compressible fluid flows

abstract: Numerical simulation of compressible fluid flows is performed using the Euler equations. They include the scalar advection equation for the density, the vector advection equation for the velocity and a given pressure dependence on the density. An approximate solution of an initial--boundary value problem is calculated using the finite element approximation in space. The fully implicit two-level scheme is used for discretization in time. Numerical implementation is based on Newton's method. The main attention is paid to fulfilling conservation laws for the mass and total mechanical energy for the discrete formulation. Two-level schemes of splitting by physical processes are employed for numerical solving problems of barotropic fluid flows. For a transition from one time level to the next one, an iterative process is used, where at each iteration the linearized scheme is implemented via solving individual problems for the density and velocity. Possibilities of the proposed schemes are illustrated by numerical results for a two--dimensional model problem with density perturbations.


title: Jeans Instability in a Universe with Dissipation

abstract: The problem of Jeans gravitational instability is investigated for static and expanding universes within the context of the five and thirteen field theories which account for viscous and thermal effects. For the five-field theory a general dispersion relation has been derived with the help of relevant linearized perturbation equations, showing that the shear viscosity parameter alters the propagating modes for large and small wavelengths. The behavior of density and temperature contrasts are analyzed for the hard-sphere model in detail. In the small wavelengths regime, increasing the amount of shear viscosity into the system forces the harmonic perturbations to damp faster, however, in the opposite limit larger values of shear viscosity lead to smaller values of density and temperature contrasts. For the hyperbolic case, the dispersion relation becomes a polynomial in the frequency with two orders higher in relation to the five-field theory, indicating that the effects associated with the shear viscosity and heat flux are non-trivial. The profile of Jeans mass in terms of the temperature and number density is explored by contrasting with several data of molecular clouds. Regarding the dynamical evolution of the density, temperature, stress and heat flux contrasts for a universe dominated by pressureless matter, we obtain also damped harmonic waves for small wavelengths. In the case of large wavelengths, the density and temperature contrasts grow with time (due to the Jeans mechanism) while the stress and heat flux contrasts heavily decay with time.


title: Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J

abstract: Well-designed and publicly available datasets of bugs are an invaluable asset to advance research fields such as fault localization and program repair as they allow directly and fairly comparison between competing techniques and also the replication of experiments. These datasets need to be deeply understood by researchers: the answer for questions like "which bugs can my technique handle?" and "for which bugs is my technique effective?" depends on the comprehension of properties related to bugs and their patches. However, such properties are usually not included in the datasets, and there is still no widely adopted methodology for characterizing bugs and patches. In this work, we deeply study 395 patches of the Defects4J dataset. Quantitative properties (patch size and spreading) were automatically extracted, whereas qualitative ones (repair actions and patterns) were manually extracted using a thematic analysis-based approach. We found that 1) the median size of Defects4J patches is four lines, and almost 30% of the patches contain only addition of lines; 2) 92% of the patches change only one file, and 38% has no spreading at all; 3) the top-3 most applied repair actions are addition of method calls, conditionals, and assignments, occurring in 77% of the patches; and 4) nine repair patterns were found for 95% of the patches, where the most prevalent, appearing in 43% of the patches, is on conditional blocks. These results are useful for researchers to perform advanced analysis on their techniques' results based on Defects4J. Moreover, our set of properties can be used to characterize and compare different bug datasets.


title: Prospects for laser-driven ion acceleration through controlled displacement of electrons by standing waves

abstract: During the interaction of intense femtosecond laser pulses with various targets, the natural mechanisms of laser energy transformation inherently lack temporal control and thus commonly do not provide opportunities for a controlled generation of a well-collimated, high-charge beam of ions with a given energy of particular interest. In an effort to alleviate this problem, it was recently proposed that the ions can be dragged by an electron bunch trapped in a controllably moving potential well formed by laser radiation. Such standing-wave acceleration (SWA) can be achieved through reflection of a chirped laser pulse from a mirror, which has been formulated as the concept of chirped-standing-wave acceleration (CSWA). Here we analyze general feasibility aspects of the SWA approach and demonstrate its reasonable robustness against field structure imperfections, such as those caused by misalignment, ellipticity and limited contrast. Using this we also identify prospects and limitations of the CSWA concept.


title: Status and Prospects of the Search for Neutrinoless Double Beta Decay of $^{76}$Ge

abstract: This paper presents a review of the search for neutrinoless double beta decay of $^{76}$Ge with emphasis on the recent results of the GERDA experiment. It includes an appraisal of fifty years of research on this topic as well as an outlook.


title: Computing Possible and Certain Answers over Order-Incomplete Data

abstract: This paper studies the complexity of query evaluation for databases whose relations are partially ordered; the problem commonly arises when combining or transforming ordered data from multiple sources. We focus on queries in a useful fragment of SQL, namely positive relational algebra with aggregates, whose bag semantics we extend to the partially ordered setting. Our semantics leads to the study of two main computational problems: the possibility and certainty of query answers. We show that these problems are respectively NP-complete and coNP-complete, but identify tractable cases depending on the query operators or input partial orders. We further introduce a duplicate elimination operator and study its effect on the complexity results.


title: What Makes Good Synthetic Training Data for Learning Disparity and Optical Flow Estimation?

abstract: The finding that very large networks can be trained efficiently and reliably has led to a paradigm shift in computer vision from engineered solutions to learning formulations. As a result, the research challenge shifts from devising algorithms to creating suitable and abundant training data for supervised learning. How to efficiently create such training data? The dominant data acquisition method in visual recognition is based on web data and manual annotation. Yet, for many computer vision problems, such as stereo or optical flow estimation, this approach is not feasible because humans cannot manually enter a pixel-accurate flow field. In this paper, we promote the use of synthetically generated data for the purpose of training deep networks on such tasks.We suggest multiple ways to generate such data and evaluate the influence of dataset properties on the performance and generalization properties of the resulting networks. We also demonstrate the benefit of learning schedules that use different types of data at selected stages of the training process.


title: Hardy-Lieb-Thirring Inequalities for Fractional Pauli Operators

abstract: We provide lower bounds for the sum of the negative eigenvalues of the operator $|\sigma\cdot p_A|^{2s} - C_s/|x|^{2s} + V$ in three dimensions, where $s\in (0, 1]$, covering the interesting physical cases $s = 1$ and $s = 1/2$. Here $\sigma$ is the vector of Pauli matrices, $p_A = p - A$, with $p = -i\nabla$ the three-dimensional momentum operator and $A$ a given magnetic vector potential, and $C_s$ is the critical Hardy constant, that is, the optimal constant in the Hardy inequality $|p|^{2s} \geq C_s/|x|^{2s}$. If spin is neglected, results of this type are known in the literature as Hardy-Lieb-Thirring inequalities, which bound the sum of negative eigenvalues from below by $-M_s\int V_{-}^{1 + 3/(2s)}$, for a positive constant $M_s$. The inclusion of magnetic fields in this case follows from the non-magnetic case by diamagnetism. The addition of spin, however, offers extra challenges that make the result more elusive. It is the purpose of this article to resolve this problem by providing simple bounds for the sum of the negative eigenvalues of the operator in question. In particular, for $1/2 \leq s \leq 1$ we are able to express the bound purely in terms of the magnetic field energy $\|B\|_2^2$ and integrals of powers of the negative part of $V$.


title: Palais-Smale sequences for the fractional CR Yamabe functional and multiplicity results

abstract: In this paper we consider the functional whose critical points are solutions of the fractional CR Yamabe type equation on the sphere. We firstly study the behavior of the Palais-Smale sequences characterizing the bubbling phenomena and therefore we prove a multiplicity type result by showing the existence of infinitely many solutions to the related equation.


title: Hikester - the event management application

abstract: Today social networks and services are one of the most important part of our everyday life. Most of the daily activities, such as communicating with friends, reading news or dating is usually done using social networks. However, there are activities for which social networks do not yet provide adequate support. This paper focuses on event management and introduces "Hikester". The main objective of this service is to provide users with the possibility to create any event they desire and to invite other users. "Hikester" supports the creation and management of events like attendance of football matches, quest rooms, shared train rides or visit of museums in foreign countries. Here we discuss the project architecture as well as the detailed implementation of the system components: the recommender system, the spam recognition service and the parameters optimizer.


title: Yu-Shiba-Rusinov bound states induced by a spin flipper in the vicinity of a s-wave superconductor

abstract: We theoretically study the formation and characteristics of Yu-Shiba-Rusinov bound states within the superconducting gap using a BTK approach in presence of a spin flipper (high spin magnetic impurity). We focus on the zero energy in the conductance spectra and show how a peak is formed at $E=0$ due to the flipping of the magnetic impurity spin but for no flip case a dip forms at $E=0$ in the conductance spectra. This $E=0$ conductance peak is almost quantized at $2e^2/h$ values, however, it arises due to non-topological reasons in contrast to the $E=0$ peak formed due to Majorana states.


title: RAQ: Relationship-Aware Graph Querying in Large Networks

abstract: The phenomenal growth of graph data from a wide variety of real-world applications has rendered graph querying to be a problem of paramount importance. Traditional techniques use structural as well as node similarities to find matches of a given query graph in a (large) target graph. However, almost all existing techniques have tacitly ignored the presence of relationships in graphs, which are usually encoded through interactions between node and edge labels. In this paper, we propose RAQ -- Relationship-Aware Graph Querying, to mitigate this gap. Given a query graph, RAQ identifies the $k$ best matching subgraphs of the target graph that encode similar relationships as in the query graph. To assess the utility of RAQ as a graph querying paradigm for knowledge discovery and exploration tasks, we perform a user survey on the Internet Movie Database (IMDb), where an overwhelming 86% of the 170 surveyed users preferred the relationship-aware match over traditional graph querying. The need to perform subgraph isomorphism renders RAQ NP-hard. The querying is made practical through beam stack search. Extensive experiments on multiple real-world graph datasets demonstrate RAQ to be effective, efficient, and scalable.


title: The Conley index for discrete dynamical systems and the mapping torus

abstract: The Conley index for flows is a topological invariant describing the behavior around an isolated invariant set $S$. It is defined as the homotopy type of a quotient space $N/L$, where $(N,L)$ is an index pair for $S$. In the case of a discrete dynamical system, i.e., a continuous self-map $f\colon X\to X$, the definition is similar. But one needs to consider the index map $f_{(N,L)}\colon N/L\to N/L$ induced by $f$. The Conley index in this situation is defined as the homotopy class $[f_{(N,L)}]$ modulo shift equivalence. The shift equivalence relation is rarely used outside this context and not well understood in general. For practical purposes like numerical computations, one needs to use weaker algebraic invariants for distinguishing Conley indices, usually homology. Here we consider a topological invariant: the homotopy type of the mapping torus of the index map $f_{(N,L)}$. Using a homotopy type offers new ways for comparing Conley indices -- theoretically and numerically. We present some basic properties and examples, compare it to the definition via shift equivalence and sketch an idea for its construction using rigorous numerics.


title: A linear programming method for exponential domination

abstract: For a graph $G,$ the set $D \subseteq V(G)$ is a porous exponential dominating set if $1 \le \sum_{d \in D} \left( 2 \right)^{1-dist(d,v)}$ for every $v \in V(G),$ where $dist(d,v)$ denotes the length of the shortest $dv$ path. The porous exponential dominating number of $G,$ denoted $\gamma_e^*(G),$ is the minimum cardinality of a porous exponential dominating set. For any graph $G,$ a technique is derived to determine a lower bound for $\gamma_e^*(G).$ Specifically for a grid graph $H,$ linear programing is used to sharpen bound found through the lower bound technique. Lower and upper bounds are determined for the porous exponential domination number of the King Grid $\mathcal{K_n},$ the Slant Grid $\mathcal{S_n},$ and the $n$-dimensional hypercube $Q_n.$


title: Open bottom mesons in asymmetric nuclear matter in presence of strong magnetic fields

abstract: The modifications of the masses of the $B$ and $\bar B$ mesons in asymmetric nuclear matter in the presence of strong magnetic fields, are investigated using a chiral effective model. The medium modifications of these open bottom mesons arise due to their interactions with the scalar mesons and the nucleons. In the magnetized nuclear matter, the proton has contributions from the Landau levels. In the chiral effective model, the masses of the $B$ and $\bar B$ are calculated from the leading term, namely the vectorial Weinberg Tomozawa term as well as from the next to leading order contributions, i.e., due to the scalar exchange and the range terms. Due to the Weinberg-Tomozawa term, the $\bar B$ mesons experience an attractive interaction in the symmetric nuclear matter, whereas the $B$ mesons have a repulsive interaction. Inclusion of the contributions from the scalar exchange and the range terms as well, leads to drop of the masses of both $B$ and $\bar B$ mesons. The effect of the isospin asymmetry breaks the mass degeneracy of the $B^+$ and $B^0$ (as well as of the $B^-$ and $\bar {B^0}$) mesons, and its effect is observed to be large at high densities. The effects of anomalous magnetic moments of the nucleons are taken into account in the present study of the masses of the open bottom mesons in magnetized nuclear matter.


title: Griffiths phases in infinite-dimensional, non-hierarchical modular networks

abstract: Griffiths phases (GPs), generated by the heterogeneities on modular networks, have recently been suggested to provide a mechanism, rid of fine parameter tuning, to explain the critical behavior of complex systems. One conjectured requirement for systems with modular structures was that the network of modules must be hierarchically organized and possess finite dimension. We investigate the dynamical behavior of an activity spreading model, evolving on heterogeneous random networks with highly modular structure and organized non-hierarchically. We observe that loosely coupled modules act as effective rare-regions, slowing down the extinction of activation. As a consequence, we find extended control parameter regions with continuously changing dynamical exponents for single network realizations, preserved after finite size analyses, as in a real GP. The avalanche size distributions of spreading events exhibit robust power-law tails. Our findings relax the requirement of hierarchical organization of the modular structure, which can help to rationalize the criticality of modular systems in the framework of GPs.


title: Size vs. Structure in Training Corpora for Word Embedding Models: Araneum Russicum Maximum and Russian National Corpus

abstract: In this paper, we present a distributional word embedding model trained on one of the largest available Russian corpora: Araneum Russicum Maximum (over 10 billion words crawled from the web). We compare this model to the model trained on the Russian National Corpus (RNC). The two corpora are much different in their size and compilation procedures. We test these differences by evaluating the trained models against the Russian part of the Multilingual SimLex999 semantic similarity dataset. We detect and describe numerous issues in this dataset and publish a new corrected version. Aside from the already known fact that the RNC is generally a better training corpus than web corpora, we enumerate and explain fine differences in how the models process semantic similarity task, what parts of the evaluation set are difficult for particular models and why. Additionally, the learning curves for both models are described, showing that the RNC is generally more robust as training material for this task.


title: PRESTO: Probabilistic Cardinality Estimation for RDF Queries Based on Subgraph Overlapping

abstract: In query optimisation accurate cardinality estimation is essential for finding optimal query plans. It is especially challenging for RDF due to the lack of explicit schema and the excessive occurrence of joins in RDF queries. Existing approaches typically collect statistics based on the counts of triples and estimate the cardinality of a query as the product of its join components, where errors can accumulate even when the estimation of each component is accurate. As opposed to existing methods, we propose PRESTO, a cardinality estimation method that is based on the counts of subgraphs instead of triples and uses a probabilistic method to estimate cardinalities of RDF queries as a whole. PRESTO avoids some major issues of existing approaches and is able to accurately estimate arbitrary queries under a bound memory constraint. We evaluate PRESTO with YAGO and show that PRESTO is more accurate for both simple and complex queries.


title: The Radial and Rotational Velocity of $\zeta$ Ophiuchi

abstract: We present the results of our spectroscopic monitoring campaign of $\zeta$ Oph, carried out at the University observatory Jena with the spectrograph FLECHAS between July 2015 and September 2016. The main aim of the project is to determine the radial velocity of the star precisely, as a wide range of radial velocity measurements of $\zeta$ Oph are given in the literature. Beside the proper motion and parallax, the radial velocity is an important input parameter for the calculation of the space motion of the star. $\zeta$ Oph is considered to be a runaway star and potential former companion of the progenitor star of the pulsar PSRJ1932+1059, which both may have been located in a binary system and were then released during a supernova explosion about 1 Myr ago in the Upper Scorpius OB association. For the calculation that the pulsar and $\zeta$ Oph could have been at the same place, a radial velocity of $-$9.0 km/s for $\zeta$ Oph was used in the literature. By analysing the hydrogen and helium lines in 48 FLECHAS spectra, we determined the radial velocity of $\zeta$ Oph to be 12.2$\pm$3.3 km/s and the projected rotational velocity to 432$\pm$16 km/s with no indication for variability.


title: The $\mathcal L_B$-cohomology on compact torsion-free $\mathrm{G}_2$ manifolds and an application to 'almost' formality

abstract: We study a cohomology theory $H^{\bullet}_{\varphi}$, called the $\mathcal L_B$-cohomology, on compact torsion-free $\mathrm{G}_2$-manifolds. We show that $H^k_{\varphi} \cong H^k_{\mathrm{dR}}$ for $k \neq 3, 4$, but that $H^k_{\varphi}$ is infinite-dimensional for $k = 3,4$. Nevertheless there is a canonical injection $H^k_{\mathrm{dR}} \to H^k_{\varphi}$. The $\mathcal L_B$-cohomology also satisfies a Poincar\'e duality induced by the Hodge star. The establishment of these results requires a delicate analysis of the interplay between the exterior derivative $\mathrm{d}$ and the derivation $\mathcal L_B$, and uses both Hodge theory and the special properties of $\mathrm{G}_2$-structures in an essential way. As an application of our results, we prove that compact torsion-free $\mathrm{G}_2$-manifolds are 'almost formal' in the sense that most of the Massey triple products necessarily must vanish.


title: Simulations and Image Reconstruction for the High Resolution CaLIPSO PET Scanner for Brain and Preclinical Studies

abstract: The foreseen CaLIPSO Positron Emission Tomography (PET) scanner is expected to yield simultaneously a fine image resolution, about 1 mm$^3$, and a high contrast. In this paper we present results of simulations for the full CaLIPSO PET scanner with a "cube" geometry. We quantify by simulations the expected image resolution and Noise Equivalent Count Rates and compare them to the performance of the most efficient clinically used PET scanner, the High-Resolution Research Tomograph by Siemens. We bring up the issues of the image reconstruction for a scanner with high spatial resolution. We also present simulated brain images for [$^{18}$F]-FDG and [$^{11}$C]-PE2I tracer distributions. Results demonstrate the high potential of the CaLIPSO PET scanner for small animal and brain imaging where combination of high spatial resolution and efficiency is essential.


title: Tuning the Hybrid Monte Carlo algorithm using molecular dynamics forces' variances

abstract: Within the HMC algorithm, we discuss how, by using the shadow Hamiltonian and the Poisson brackets, one can achieve a simple factorization in the dependence of the Hamiltonian violations upon either the algorithmic parameters or the parameters specifying the integrator. We consider the simplest case of a second order (nested) Omelyan integrator and one level of Hasenbusch splitting of the determinant for the simulations of a QCD-like theory (with gauge group SU(2)). Given the specific choice of the integrator, the Poisson brackets reduce to the variances of the molecular dynamics forces. We show how the factorization can be used to optimize in a very economical and simple way both the algorithmic and the integrator parameters with good accuracy.


title: Large deviation for return times

abstract: We prove a large deviation result for return times of the orbits of a dynamical system in a $r$-neighbourhood of an initial point $x$. Our result may be seen as a differentiable version of the work by Jain and Bansal who considered the return time of a stationary and ergodic process defined in a space of infinite sequences.


title: Any modification of the Born rule leads to a violation of the purification and local tomography principles

abstract: Using the existing classification of all alternatives to the measurement postulates of quantum theory we study the properties of bi-partite systems in these alternative theories. We prove that in all these theories the purification principle is violated, meaning that some mixed states are not the reduction of a pure state in a larger system. This allows us to derive the measurement postulates of quantum theory from the structure of pure states and reversible dynamics, and the requirement that the purification principle holds. The violation of the purification principle implies that there is some irreducible classicality in these theories, which appears like an important clue for the problem of deriving the Born rule within the many-worlds interpretation. We also prove that in all such modifications the task of state tomography with local measurements is impossible, and present a simple toy theory displaying all these exotic non-quantum phenomena. This toy model shows that, contrarily to previous claims, it is possible to modify the Born rule without violating the no-signalling principle. Finally, we argue that the quantum measurement postulates are the most non-classical amongst all alternatives.


title: Jet cross sections and transverse momentum distributions with NNLOJET

abstract: This talk discusses recent results for next-to-next-to-leading order (NNLO) QCD corrections to jet cross sections and transverse momentum distributions. The results are obtained in the NNLOJET code framework, which provides an implementation of the antenna subtraction method for the handling of infrared singular contributions at NNLO. We briefly describe the NNLOJET implementation, with particular emphasis on the construction of the real radiation phase space, which is tailored to ensure stability in all infrared sensitive regions.


title: Affine forward variance models

abstract: We introduce the class of affine forward variance (AFV) models of which both the conventional Heston model and the rough Heston model are special cases. We show that AFV models can be characterized by the affine form of their cumulant generating function, which can be obtained as solution of a convolution Riccati equation. We further introduce the class of affine forward order flow intensity (AFI) models, which are structurally similar to AFV models, but driven by jump processes, and which include Hawkes-type models. We show that the cumulant generating function of an AFI model satisfies a generalized convolution Riccati equation and that a high-frequency limit of AFI models converges in distribution to the AFV model.


title: On the convergence of the chiral expansion for the baryon ground-state masses

abstract: We study the chiral expansion of the baryon octet and decuplet masses in the isospin limit. It is illustrated that a chiral expansion of the one-loop contributions is rapidly converging up to quark masses that generously encompasses the mass of the physical strange quark. We express the successive orders in terms of physical meson and baryon masses. In addition, owing to specific correlations amongst the chiral moments, we suggest a reordering of terms that make the convergence properties more manifest. Explicit expressions up to chiral order five are derived for all baryon masses at the one-loop level. The baryon masses obtained do not depend on the renormalization scale. Our scheme is tested against QCD lattice data, where the low-energy parameters are systematically correlated by large-Nc sum rules. A reproduction of the baryon masses from PACS-CS, LHPC, HSC, NPLQCD, QCDSF-UKQCD and ETMC is achieved for ensembles with pion and kaon masses smaller than 600 MeV. Predictions for baryon masses on ensembles from CLS as well as all low-energy constants that enter the baryon masses at N3LO are made.


title: A numerical study on the design trade-offs of a thin-film thermoelectric generator for large-area applications

abstract: Thin-film thermoelectric generators with a novel folding scheme are proposed for large-area, low energy-density applications. Both the electrical current and heat transfer are in the plane of the thermoelectric thin-film, yet the heat transfer is across the plane of the module - similar to conventional bulk thermoelectric modules. With such designs, the heat leakage through the module itself can be minimized and the available temperature gradient maximized. Different from the previously reported corrugated thermoelectric generators, the proposed folding scheme enables high packing densities without compromising the thermal contact area to the heat source and sink. The significance of various thermal transport, or leakage, mechanisms in relation to power production is demonstrated for different packing densities and thicknesses of the module under heat sink-limited conditions. It is shown that the power factor is more important than ZT for predicting the power output of such thin-film devices. As very thin thermoelectric films are employed with modest temperature gradients, high aspect-ratio elements are needed to meet the - usually ignored - requirements of practical applications for the current. With the design trade-offs considered, the proposed devices may enable the exploitation of thermoelectric energy harvesting in new - large-area - applications at reasonable cost.


title: Controlling nonlinear PDEs using low-dimensional bilinear approximations obtained from data

abstract: In a recent article, we presented a framework to control nonlinear partial differential equations (PDEs) by means of Koopman operator based reduced models and concepts from switched systems. The main idea was to transform a control system into a set of autonomous systems for which the optimal switching sequence has to be computed. These individual systems can be approximated very efficiently by reduced order models obtained from data, and one can guarantee equality of the full and the reduced objective function under certain assumptions. In this article, we extend these results to continuous control inputs using convex combinations of multiple Koopman operators corresponding to constant controls, which results in a bilinear control system. Although equality of the objectives can be carried over when the PDE depends linearly on the control, we show that this approach is also valid in other scenarios using several flow control examples of varying complexity.


title: Long-time asymptotics for the Sasa-Satsuma equation via nonlinear steepest descent method

abstract: We formulate a $3\times3$ Riemann-Hilbert problem to solve the Cauchy problem for the Sasa-Satsuma equation on the line, which allows us to give a representation for the solution of Sasa-Satsuma equation. We then apply the method of nonlinear steepest descent to compute the long-time asymptotics of the Sasa-Satsuma equation.


title: Medical Photoacoustic Beamforming Using Minimum Variance-Based Delay Multiply and Sum

abstract: Delay-and-Sum (DAS) beamformer is the most common beamforming algorithm in Photoacoustic imaging (PAI) due to its simple implementation and real time imaging. However, it provides poor resolution and high levels of sidelobe. A new algorithm named Delay-Multiply-and-Sum (DMAS) was introduced. Using DMAS leads to lower levels of sidelobe compared to DAS, but resolution is not satisfying yet. In this paper, a novel beamformer is introduced based on the combination of Minimum Variance (MV) adaptive beamforming and DMAS, so-called Minimum Variance-Based DMAS (MVB-DMAS). It is shown that expanding the DMAS equation leads to some terms which contain a DAS equation. It is proposed to use MV adaptive beamformer instead of existing DAS inside the DMAS algebra expansion. MVB-DMAS is evaluated numerically compared to DAS, DMAS and MV and Signal-to-noise ratio (SNR) metric is presented. It is shown that MVB-DMAS leads to higher image quality and SNR for about 13 dB, 3 dB and 2 dB in comparison with DAS, DMAS and MV, respectively.


title: Evaluating neural network explanation methods using hybrid documents and morphological agreement

abstract: The behavior of deep neural networks (DNNs) is hard to understand. This makes it necessary to explore post hoc explanation methods. We conduct the first comprehensive evaluation of explanation methods for NLP. To this end, we design two novel evaluation paradigms that cover two important classes of NLP problems: small context and large context problems. Both paradigms require no manual annotation and are therefore broadly applicable. We also introduce LIMSSE, an explanation method inspired by LIME that is designed for NLP. We show empirically that LIMSSE, LRP and DeepLIFT are the most effective explanation methods and recommend them for explaining DNNs in NLP.


title: Minimum spanning tree release under differential privacy constraints

abstract: We investigate the problem of nodes clustering under privacy constraints when representing a dataset as a graph. Our contribution is threefold. First we formally define the concept of differential privacy for structured databases such as graphs, and give an alternative definition based on a new neighborhood notion between graphs. This definition is adapted to particular frameworks that can be met in various application fields such as genomics, world wide web, population survey, etc. Second, we introduce a new algorithm to tackle the issue of privately releasing an approximated minimum spanning tree topology for a simple-undirected-weighted graph. It provides a simple way of producing the topology of a private almost minimum spanning tree which outperforms, in most cases, the state of the art "Laplace mechanism" in terms of weight-approximation error. Finally, we propose a theoretically motivated method combining a sanitizing mechanism (such as Laplace or our new algorithm) with a Minimum Spanning Tree (MST)-based clustering algorithm. It provides an accurate method for nodes clustering in a graph while keeping the sensitive information contained in the edges weights of the private graph. We provide some theoretical results on the robustness of an almost minimum spanning tree construction for Laplace sanitizing mechanisms. These results exhibit which conditions the graph weights should respect in order to consider that the nodes form well separated clusters both for Laplace and our algorithm as sanitizing mechanism. The method has been experimentally evaluated on simulated data, and preliminary results show the good behavior of the algorithm while identifying well separated clusters.


title: Highly oscillatory unimodular Fourier multipliers on modulation spaces

abstract: We study the continuity on the modulation spaces $M^{p,q}$ of Fourier multipliers with symbols of the type $e^{i\mu(\xi)}$, for some real-valued function $\mu(\xi)$. A number of results are known, assuming that the derivatives of order $\geq 2$ of the phase $\mu(\xi)$ are bounded or, more generally, that its second derivatives belong to the Sj\"ostrand class $M^{\infty,1}$. Here we extend those results, by assuming that the second derivatives lie in the bigger Wiener amalgam space $W(\mathcal{F} L^1,L^\infty)$; in particular they could have stronger oscillations at infinity such as $\cos |\xi|^2$. Actually our main result deals with the more general case of possibly unbounded second derivatives. In that case we have boundedness on weighted modulation spaces with a sharp loss of derivatives.


title: Ergodic robust maximization of asymptotic growth

abstract: We consider the problem of robustly maximizing the growth rate of investor wealth in the presence of model uncertainty. Possible models are all those under which the assets' region $E$ and instantaneous covariation $c$ are known, and where additionally the assets are stable in that their occupancy time measures converge to a law with density $p$. This latter assumption is motivated by the observed stability of ranked relative market capitalizations for equity markets. We seek to identify the robust optimal growth rate, as well as a trading strategy which achieves this rate in all models. Under minimal assumptions upon $(E,c,p)$, we identify the robust growth rate with the Donsker-Varadhan rate function from occupancy time Large Deviations theory. We also prove existence of, and explicitly identify, the optimal trading strategy. We then apply our results in the case of drift uncertainty for ranked relative market capitalizations. Assuming regularity under symmetrization for the covariance and limiting density of the ranked capitalizations, we explicitly identify the robust optimal trading strategy in this setting.


title: Path Decomposition of Spectrally Negative Levy Processes

abstract: Path decomposition is performed to analyze the pre-supremum, post-supremum, post-infimum and the intermediate processes of a spectrally negative Levy process taken up to an independent exponential time T as motivated by the aim of finding the joint distribution of the maximum loss and maximum gain. In addition, the joint distribution of the supremum and the infimum before an exponential time is displayed. As an application of path decomposition, the distributions of supremum of the post-infimum process and the maximum loss of the post-supremum process are obtained.


title: Freudenthal theorem and spherical classes in $H_*QS^0$

abstract: This note is on spherical classes in $H_*(QS^0;k)$ when $k=\mathbb{Z},\mathbb{Z}/p$ with a special focus on the case of $p=2$ related to Curtis conjecture. We apply Freudenthal theorem to prove a vanishing result for the Hurewicz image of elements in ${\pi_*^s}$ that factor through certain finite spectra. Either in $p$-local or $p$-complete settings, this immediately implies that elements of well known infinite families in ${_p\pi_*^s}$, such as Mahowaldean families, map trivially under the unstable Hurewicz homomorphism ${_p\pi_*^s}\simeq{_p\pi_*}QS^0\to H_*(QS^0;\mathbb{Z}/p)$. We also observe that the image of the integral unstable Hurewicz homomorphism $\pi_*^s\simeq\pi_*QS^0\to H_*(QS^0;\mathbb{Z})$ when restricted to the submodule of decomposable elements, is given by $\mathbb{Z}\{h(\eta^2),h(\nu^2),h(\sigma^2)\}$. We apply this latter to completely determine spherical classes in $H_*(\Omega^dS^{n+d};\mathbb{Z}/2)$ for certain values of $n>0$ and $d>0$; this verifies a Eccles' conjecture on spherical classes in $H_*QS^n$, $n>0$, on finite loop spaces associated to spheres.


title: CrashScope: A Practical Tool for Automated Testing of Android Applications

abstract: Unique challenges arise when testing mobile applications due to their prevailing event-driven nature and complex contextual features (e.g. sensors, notifications). Current automated input generation approaches for Android apps are typically not practical for developers to use due to required instrumentation or platform dependence and generally do not effectively exercise contextual features. To better support developers in mobile testing tasks, in this demo we present a novel, automated tool called CrashScope. This tool explores a given Android app using systematic input generation, according to several strategies informed by static and dynamic analyses, with the intrinsic goal of triggering crashes. When a crash is detected, CrashScope generates an augmented crash report containing screenshots, detailed crash reproduction steps, the captured exception stack trace, and a fully replayable script that automatically reproduces the crash on a target device(s). Results of preliminary studies show that CrashScope is able to uncover about as many crashes as other state of the art tools, while providing detailed useful crash reports and test scripts to developers. Website: www.crashscope-android.com/crashscope-home Video url: https://youtu.be/ii6S1JF6xDw


title: On the stability of periodic N-body motions with the symmetry of Platonic polyhedra

abstract: In (Fusco et. al., 2011) several periodic orbits of the Newtonian N-body problem have been found as minimizers of the Lagrangian action in suitable sets of T-periodic loops, for a given T>0. Each of them share the symmetry of one Platonic polyhedron. In this paper we first present an algorithm to enumerate all the orbits that can be found following the proof in (Fusco et. al., 2011). Then we describe a procedure aimed to compute them and study their stability. Our computations suggest that all these periodic orbits are unstable. For some cases we produce a computer-assisted proof of their instability using multiple precision interval arithmetic.


title: Convergence Analysis of Belief Propagation on Gaussian Graphical Models

abstract: Gaussian belief propagation (GBP) is a recursive computation method that is widely used in inference for computing marginal distributions efficiently. Depending on how the factorization of the underlying joint Gaussian distribution is performed, GBP may exhibit different convergence properties as different factorizations may lead to fundamentally different recursive update structures. In this paper, we study the convergence of GBP derived from the factorization based on the distributed linear Gaussian model. The motivation is twofold. From the factorization viewpoint, i.e., by specifically employing a factorization based on the linear Gaussian model, in some cases, we are able to bypass difficulties that exist in other convergence analysis methods that use a different (Gaussian Markov random field) factorization. From the distributed inference viewpoint, the linear Gaussian model readily conforms to the physical network topology arising in large-scale networks, and, is practically useful. For the distributed linear Gaussian model, under mild assumptions, we show analytically three main results: the GBP message inverse variance converges exponentially fast to a unique positive limit for arbitrary nonnegative initialization; we provide a necessary and sufficient convergence condition for the belief mean to converge to the optimal value; and, when the underlying factor graph is given by the union of a forest and a single loop, we show that GBP always converges.