title: I-LAMM for Sparse Learning: Simultaneous Control of Algorithmic Complexity and Statistical Error

abstract: We propose a computational framework named iterative local adaptive majorize-minimization (I-LAMM) to simultaneously control algorithmic complexity and statistical error when fitting high dimensional models. I-LAMM is a two-stage algorithmic implementation of the local linear approximation to a family of folded concave penalized quasi-likelihood. The first stage solves a convex program with a crude precision tolerance to obtain a coarse initial estimator, which is further refined in the second stage by iteratively solving a sequence of convex programs with smaller precision tolerances. Theoretically, we establish a phase transition: the first stage has a sublinear iteration complexity, while the second stage achieves an improved linear rate of convergence. Though this framework is completely algorithmic, it provides solutions with optimal statistical performances and controlled algorithmic complexity for a large family of nonconvex optimization problems. The iteration effects on statistical errors are clearly demonstrated via a contraction property. Our theory relies on a localized version of the sparse/restricted eigenvalue condition, which allows us to analyze a large family of loss and penalty functions and provide optimality guarantees under very weak assumptions (For example, I-LAMM requires much weaker minimal signal strength than other procedures). Thorough numerical results are provided to support the obtained theory.


title: Optical evidence for a Weyl semimetal state in pyrochlore Eu2Ir2O7

abstract: A Weyl semimetallic state with pairs of nondegenerate Dirac cones in three dimensions was recently predicted to occur in the antiferromagnetic state of the pyrochlore iridates. Here, we show that the THz optical conductivity and temperature dependence of free carriers in the pyrochlore Eu2Ir2O7 match the predictions for a Weyl semimetal and suggest novel Dirac liquid behavior. The interband optical conductivity vanishes continuously at low frequencies signifying a semimetal. The metal-insulator transition at T_N = 110 K is manifested in the Drude spectral weight, which is independent of temperature in the metallic phase, and which decreases smoothly in the ordered phase. The temperature dependence of the free carrier weight below T_N is in good agreement with theoretical predictions for a Dirac material. The data yield a Fermi velocity v_F=4x10^7 cm/s, a logarithmic renormalization scale Lambda_L=600 K, and require a Fermi temperature of T_F=100 K associated with residual unintentional doping to account for the low temperature optical response and dc resistivity.


title: A Counterexample for Lightning Flash Modules over E(e1,e2)

abstract: We give a counterexample to Theorem 5 in Section 18.2 of Margolis' book, "Spectra and the Steenrod Algebra", and make remarks about the proofs of some later theorems in the book that depend on it. The counterexample is a module which does not split as a sum of lightning flash modules and free modules.


title: A sharp-interface model of electrodeposition and ramified growth

abstract: We present a sharp-interface model of two-dimensional ramified growth during quasi-steady electrodeposition. Our model differs from previous modeling methods in that it includes the important effects of extended space-charge regions and nonlinear electrode reactions. The model is validated by comparing its behavior in the initial stage with the predictions of a linear stability analysis.


title: On the zeros of random harmonic polynomials: the truncated model

abstract: A probabilistic approach to the study of the number of zeros of complex harmonic polynomials was initiated by W. Li and A. Wei (2009), who derived a Kac-Rice type formula for the expected number of zeros of random harmonic polynomials with independent Gaussian coefficients. They also provided asymptotics for a complex version of the Kostlan ensemble. Here we determine asymptotics for the alternative truncated model that was recently proposed by J. Hauenstein, D. Mehta, and the authors. Our results confirm (and sharpen) their (3/2)-powerlaw conjecture that had been formulated on the basis of computer experiments.


title: L-groups and parameters for covering groups

abstract: We incorporate covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. We work with all covers that arise from extensions of quasisplit reductive groups by $\mathbf{K}_2$ -- the class studied by Brylinski and Deligne. We use this L-group to parameterize genuine irreducible representations in many contexts, including covers of split tori, unramified representations, and discrete series for double covers of semisimple groups over $\mathbb R$. An appendix surveys torsors and gerbes on the \'etale site, as they are used in the construction of the L-group.


title: Forces acting on a small particle in an acoustical field in a thermoviscous fluid

abstract: We present a theoretical analysis of the acoustic radiation force on a single small particle, either a thermoviscous fluid droplet or a thermoelastic solid particle, suspended in a viscous and heat-conducting fluid medium. Our analysis places no restrictions on the length scales of the viscous and thermal boundary layer thicknesses $\delta_\mathrm{s}$ and $\delta_\mathrm{t}$ relative to the particle radius $a$, but it assumes the particle to be small in comparison to the acoustic wavelength $\lambda$. This is the limit relevant to scattering of sound and ultrasound waves from micrometer-sized particles. For particles of size comparable to or smaller than the boundary layers, the thermoviscous theory leads to profound consequences for the acoustic radiation force. Not only do we predict forces orders of magnitude larger than expected from ideal-fluid theory, but for certain relevant choices of materials, we also find a sign change in the acoustic radiation force on different-sized but otherwise identical particles. This phenomenon may possibly be exploited in handling of submicrometer-sized particles such as bacteria and vira in lab-on-a-chip systems.


title: A first look at the performances of a Bayesian chart to monitor the ratio of two Weibull percentiles

abstract: The aim of the present work is to investigate the performances of a specific Bayesian control chart used to compare two processes. The chart monitors the ratio of the percentiles of a key characteristic associated with the processes. The variability of such a characteristic is modeled via the Weibull distribution and a practical Bayesian approach to deal with Weibull data is adopted. The percentiles of the two monitored processes are assumed to be independent random variables. The Weibull distributions of the key characteristic of both processes are assumed to have the same and stable shape parameter. This is usually experienced in practice because the Weibull shape parameter is related to the main involved factor of variability. However, if a change of the shape parameters of the processes is suspected, the involved distributions can be used to monitor their stability. We first tested the effects of the number of the training data on the responsiveness of the chart. Then we tested the robustness of the chart in spite of very poor prior information. To this end, the prior values were changed to reflect a 50% shift in both directions from the original values of the shape parameter and the percentiles of the two monitored processes. Finally, various combinations of shifts were considered for the sampling distributions after the Phase I, with the purpose of estimating the diagnostic ability of the charts to signal an out-of-control state. The traditional approach based on the Average Run Length, empirically computed via a Monte Carlo simulation, was adopted.


title: Relativistic model for the nonmesonic weak decay of single-lambda hypernuclei

abstract: Having in mind its future extension for theoretical investigations related to charmed nuclei, we develop a relativistic formalism for the nonmesonic weak decay of single-$\Lambda$ hypernuclei in the framework of the independent-particle shell model and with the dynamics represented by the $(\pi,K)$ one-meson-exchange model. Numerical results for the one-nucleon-induced transition rates of ${}^{12}_{\Lambda}\textrm{C}$ are presented and compared with those obtained in the analogous nonrelativistic calculation. There is satisfactory agreement between the two approaches, and the most noteworthy difference is that the ratio $\Gamma_{n}/\Gamma_{p}$ is appreciably higher and closer to the experimental value in the relativistic calculation. Large discrepancies between ours and previous relativistic calculations are found, for which we do not encounter any fully satisfactory explanation. The most recent experimental data is well reproduced by our results. In summary, we have achieved our purpose to develop a reliable model for the relativistic calculation of the nonmesonic weak decay of $\Lambda$-hypernuclei, which can now be extended to evaluate similar processes in charmed nuclei.


title: Understanding learning within a commercial video game: A case study

abstract: There has been an increasing interest in the debate on the value and relevance using video games for learning. Some of the interest stems from frustration with current educational methods. However, some of this interest also stems from the observations of large numbers of children that play video games. This paper finds that children can learn basic construction skills from playing a video game called World of Goo. The study also employed novel eye-tracking technology to measure endogenous eye blinks and eye gaze fixations. Measures of both these indicators of cognitive processing further suggested that children in the study learned to play the two video games, World of Goo and Bad Piggies. Overall, the results of the study provide further support of the potential for children to learn by playing commercial video games.


title: From Planar Solitons to Vortex Rings and Lines: Cascade of Solitonic Excitations in a Superfluid Fermi Gas

abstract: We follow the time evolution of a superfluid Fermi gas of resonantly interacting $^6$Li atoms after a phase imprint. Via tomographic imaging, we observe the formation of a planar dark soliton, its subsequent snaking, and its decay into a vortex ring, which in turn breaks to finally leave behind a single solitonic vortex. In intermediate stages we find evidence for an exotic structure resembling the $\Phi$-soliton, a combination of a vortex ring and a vortex line. Direct imaging of the nodal surface reveals its undulation dynamics and its decay via the puncture of the initial soliton plane. The observed evolution of the nodal surface represents dynamics beyond superfluid hydrodynamics, calling for a microscopic description of unitary fermionic superfluids out of equilibrium.


title: On the moment distance of Poisson processes

abstract: Consider the distance between two i.i.d. and independent Poisson processes with arrival rate $\lambda>0$ and respective arrival times $X_1,X_2,\dots$ and $Y_1,Y_2,\dots$ on a line. We give a closed analytical formula for the %expected distance to the power $a$ $\E{|X_{k+r}-Y_k|^a}, $ for any integer $k\ge 1, r\ge 0$ and $a\ge 1.$ The expected difference of the arrival times to the power $a$ between two i.i.d. and independent Poisson processes we represent as the combination of the Pochhammer polynomials. Especially, for $r=0$ and any positive integer $a,$ the following identity is valid $$ \E{|X_k-Y_k|^a}=\frac{a!}{\lambda^a}\frac{\Gamma\left(\frac{a}{2}+k\right)}{\Gamma(k)\Gamma\left(\frac{a}{2}+1\right)}, $$ where $\Gamma(z)$ is Gamma function.


title: Inclusions of innately transitive groups into wreath products in product action with applications to $2$-arc-transitive graphs

abstract: We study $(G,2)$-arc-transitive graphs for innately transitive permutation groups $G$ such that $G$ can be embedded into a wreath product $\sym\Gamma\wr\sy\ell$ acting in product action on $\Gamma^\ell$. We find two such connected graphs: the first is Sylvester's double six graph with 36 vertices, while the second is a graph with $120^2$ vertices whose automorphism group is $\aut\sp 44$. We prove that under certain conditions no more such graphs exist.


title: Control of Valley Degeneracy in MoS2 by Layer Thickness and Electric Field and Its Effect on Thermoelectric Properties

abstract: We have investigated the valley degeneracy of MoS2 multilayers and its effect on thermoelectric properties. By modulating the layer thickness and external electric field, the hole valleys at {\Gamma} and K points in the highest energy valence band and the electron valleys at K and {\Sigma}min points in the lowest energy conduction band are shifted differently. The hole valley degeneracy is observed in MoS2 monolayer, while that of electron valley is in MoS2 bilayer and monolayer under the external electric field. By tuning the valley degeneracy, the Seebeck coefficient and electrical conductivity can be separately controlled, and the maximum power factor can be obtained in n-type (p-type) MoS2 monolayer with (without) the external electric field. We suggest that the transition metal dichalcogenides are good example to investigate the role of valley degeneracy in the thermoelectric and optical properties with the control of interlayer interaction and external electric field strength.


title: Invariant connections and PBW theorem for Lie groupoid pairs

abstract: To a closed wide Lie subgroupoid $\mathbf{A}$ of a Lie groupoid $\mathbf{L}$, i.e. a Lie groupoid pair, we associate an Atiyah class which we interpret as the obstruction to the existence of $\mathbf{L}$-invariant fibrewise affine connections on the homogeneous space $\mathbf{L}/\mathbf{A}$. For Lie groupoid pairs with vanishing Atiyah class, we show that the left $\mathbf{A}$-action on the quotient space $\mathbf{L}/\mathbf{A}$ can be linearized. In addition to giving an alternative proof of a result of Calaque about the Poincare-Birkhoff-Witt map for Lie algebroid pairs with vanishing Atiyah class, this result specializes to a necessary and sufficient condition for the linearization of dressing actions, and gives a clear interpretation of the Molino class as an obstruction to the simultaneous linearization of all the monodromies. In the course of the paper, a general theory of connections on Lie groupoid equivariant principal bundles is developed.


title: Accurately specifying storm-time ULF wave radial diffusion in the radiation belts

abstract: Ultra-low frequency (ULF) waves can contribute to the transport, acceleration and loss of electrons in the radiation belts through inward and outward diffusion. However, the most appropriate parameters to use to specify the ULF wave diffusion rates are unknown. Empirical representations of diffusion coefficients often use Kp; however, specifications using ULF wave power offer an improved physics-based approach. We use 11 years of ground-based magnetometer array measurements to statistically parameterise the ULF wave power with Kp, solar wind speed, solar wind dynamic pressure and Dst. We find Kp is the best single parameter to specify the statistical ULF wave power driving radial diffusion. Significantly, remarkable high energy tails exist in the ULF wave power distributions when expressed as a function of Dst. Two parameter ULF wave power specifications using Dst as well as Kp provide a better statistical representation of storm-time radial diffusion than any single variable alone.


title: Describing Multimedia Content using Attention-based Encoder--Decoder Networks

abstract: Whereas deep neural networks were first mostly used for classification tasks, they are rapidly expanding in the realm of structured output problems, where the observed target is composed of multiple random variables that have a rich joint distribution, given the input. We focus in this paper on the case where the input also has a rich structure and the input and output structures are somehow related. We describe systems that learn to attend to different places in the input, for each element of the output, for a variety of tasks: machine translation, image caption generation, video clip description and speech recognition. All these systems are based on a shared set of building blocks: gated recurrent neural networks and convolutional neural networks, along with trained attention mechanisms. We report on experimental results with these systems, showing impressively good performance and the advantage of the attention mechanism.


title: Black hole entropy and Lorentz-diffeomorphism Noether charge

abstract: We show that, in the first or second order orthonormal frame formalism, black hole entropy is the horizon Noether charge for a combination of diffeomorphism and local Lorentz symmetry involving the Lie derivative of the frame. The Noether charge for diffeomorphisms alone is unsuitable, since a regular frame cannot be invariant under the flow of the Killing field at the bifurcation surface. We apply this formalism to Lagrangians polynomial in wedge products of the frame field 1-form and curvature 2-form, including general relativity, Lovelock gravity, and "topological" terms in four dimensions.


title: Antipolar ordering of topological defects in active liquid crystals

abstract: ATP-driven microtubule-kinesin bundles can self-assemble into two-dimensional active liquid crystals (ALCs) that exhibit a rich creation and annihilation dynamics of topological defects, reminiscent of particle-pair production processes in quantum systems. This recent discovery has sparked considerable interest but a quantitative theoretical description is still lacking. We present and validate a minimal continuum theory for this new class of active matter systems by generalizing the classical Landau-de Gennes free-energy to account for the experimentally observed spontaneous buckling of motor-driven extensile microtubule bundles. The resulting model agrees with recently published data and predicts a regime of antipolar order. Our analysis implies that ALCs are governed by the same generic ordering principles that determine the non-equilibrium dynamics of dense bacterial suspensions and elastic bilayer materials. Moreover, the theory manifests an energetic analogy with strongly interacting quantum gases. Generally, our results suggest that complex non-equilibrium pattern-formation phenomena might be predictable from a few fundamental symmetry-breaking and scale-selection principles.


title: Convergence of Riemannian surfaces and convergence of the Bergman kernel

abstract: Let $\{M_j\}$ be a sequence of complete Riemannian surfaces which converges in the sense of Cheeger-Gromov to a complete Riemannian surface $M$. We study the convergence of the Bergman kernel $K_{M_j}$ of $M_j$ by using isoperimetric inequalities.


title: Anti-Fall: A Non-intrusive and Real-time Fall Detector Leveraging CSI from Commodity WiFi Devices

abstract: Fall is one of the major health threats and obstacles to independent living for elders, timely and reliable fall detection is crucial for mitigating the effects of falls. In this paper, leveraging the fine-grained Channel State Information (CSI) and multi-antenna setting in commodity WiFi devices, we design and implement a real-time, non-intrusive, and low-cost indoor fall detector, called Anti-Fall. For the first time, the CSI phase difference over two antennas is identified as the salient feature to reliably segment the fall and fall-like activities, both phase and amplitude information of CSI is then exploited to accurately separate the fall from other fall-like activities. Experimental results in two indoor scenarios demonstrate that Anti-Fall consistently outperforms the state-of-the-art approach WiFall, with 10% higher detection rate and 10% less false alarm rate on average.


title: Evidence for defect-mediated tunneling in hexagonal boron nitride-based junctions

abstract: We investigate tunneling in metal-insulator-metal junctions employing few atomic layers of hexagonal boron nitride (hBN) as the insulating barrier. While the low-bias tunnel resistance increases nearly exponentially with barrier thickness, subtle features are seen in the current-voltage curves, indicating marked influence of the intrinsic defects present in the hBN insulator on the tunneling transport. In particular, single electron charging events are observed, which are more evident in thicker-barrier devices where direct tunneling is substantially low. Furthermore, we find that annealing the devices modifies the defect states and hence the tunneling signatures.


title: Remarks on kernel Bayes' rule

abstract: Kernel Bayes' rule has been proposed as a nonparametric kernel-based method to realize Bayesian inference in reproducing kernel Hilbert spaces. However, we demonstrate both theoretically and experimentally that the prediction result by kernel Bayes' rule is in some cases unnatural. We consider that this phenomenon is in part due to the fact that the assumptions in kernel Bayes' rule do not hold in general.


title: A Diffusion-Neuron Hybrid System for Molecular Communication

abstract: Diffusion-based and neural communication are two interesting domains in molecular communication. Both of them have distinct advantages and are exploited separately in many works. However, in some cases, neural and diffusion-based ways have to work together for a communication. Therefore, in this paper, we propose a hybrid communication system, in which the diffusion-based and neural communication channels are contained. Multiple connection nano-devices (CND) are used to connect the two channels. We define the practice function of the CNDs and develop the mechanism of exchanging information from diffusion-based to neural channel, based on the biological characteristics of the both channels. In addition, we establish a brief mathematical model to present the complete communication process of the hybrid system. The information exchange process at the CNDs is shown in the simulation. The bit error rate (BER) indicator is used to verify the reliability of communication. The result reveals that based on the biological channels, optimizing some parameters of nano-devices could improve the reliability performance.


title: The minimal angle condition for quadrilateral finite elements of arbitrary degree

abstract: We study $W^{1,p}$ Lagrange interpolation error estimates for general quadrilateral $\mathcal{Q}_{k}$ finite elements with $k\ge 2$. For the most standard case of $p=2$ it turns out that the constant $C$ involved in the error estimate can be bounded in terms of the minimal interior angle of the quadrilateral. Moreover, the same holds for any $p$ in the range $1\le p<3$. On the other hand, for $3\le p$ we show that $C$ also depends on the maximal interior angle. We provide some counterexamples showing that our results are sharp.


title: Intention-Oriented Process Model Discovery from Incident Management Event Logs

abstract: Intention-oriented process mining is based on the belief that the fundamental nature of processes is mostly intentional (unlike activity-oriented process) and aims at discovering strategy and intentional process models from event-logs recorded during the process enactment. In this paper, we present an application of intention-oriented process mining for the domain of incident management of an Information Technology Infrastructure Library (ITIL) process. We apply the Map Miner Method (MMM) on a large real-world dataset for discovering hidden and unobservable user behavior, strategies and intentions. We first discover user strategies from the given activity sequence data by applying Hidden Markov Model (HMM) based unsupervised learning technique. We then process the emission and transition matrices of the discovered HMM to generate a coarse-grained Map Process Model. We present the first application or study of the new and emerging field of Intention-oriented process mining on an incident management event-log dataset and discuss its applicability, effectiveness and challenges.


title: High-dimensional metric-measure limit of Stiefel and Grassmann manifolds

abstract: We study the high-dimensional limit of (projective) Stiefel and Grassmann manifolds as metric measure spaces in Gromov's topology. The limits are either the infinite-dimensional Gaussian space or its quotient by an mm-isomorphic group action, which are drastically different from the manifolds. As a corollary, we obtain some asymptotic estimates of the observable diameter of (projective) Stiefel and Grassmann manifolds.


title: Cosmic Microwave Background anisotropies generated by domain wall networks

abstract: We develop a numerical tool for the fast computation of the temperature and polarization power spectra generated by domain wall networks, by extending the publicly available CMBACT code --- that calculates the CMB signatures generated by active sources --- to also describe domain wall networks. In order to achieve this, we adapt the Unconnected Segment model for cosmic strings to also describe domain wall networks, and use it to model the energy-momentum of domain wall networks throughout their cosmological history. We use this new tool to compute and study the TT, EE, TE and BB power spectra generated by standard domain wall networks, and derive a conservative constraint on the energy scale of the domain wall-forming phase transition of $\upeta <0.92\,\,{\rm MeV}$ (which is a slight improvement over the original Zel'dovich bound of $1\,\,{\rm MeV}$).


title: Reedy categories and their generalizations

abstract: We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of "bigluing" model structures along a pair of functors and a natural transformation. This yields a new explanation of the definition of Reedy categories: they are almost exactly those small categories for which the category of diagrams and its model structure can be constructed by iterated bigluing. It also gives a consistent way to produce generalizations of Reedy categories, including the generalized Reedy categories of Cisinski and Berger-Moerdijk and the enriched Reedy categories of Angeltveit, but also new versions such as a combined notion of "enriched generalized Reedy category".


title: Graphulo Implementation of Server-Side Sparse Matrix Multiply in the Accumulo Database

abstract: The Apache Accumulo database excels at distributed storage and indexing and is ideally suited for storing graph data. Many big data analytics compute on graph data and persist their results back to the database. These graph calculations are often best performed inside the database server. The GraphBLAS standard provides a compact and efficient basis for a wide range of graph applications through a small number of sparse matrix operations. In this article, we implement GraphBLAS sparse matrix multiplication server-side by leveraging Accumulo's native, high-performance iterators. We compare the mathematics and performance of inner and outer product implementations, and show how an outer product implementation achieves optimal performance near Accumulo's peak write rate. We offer our work as a core component to the Graphulo library that will deliver matrix math primitives for graph analytics within Accumulo.


title: On Web-grid Implementation Using Single System Image

abstract: With the latest innovations and trend towards personalizing users' web browsing experience, the web has been increasingly dominated by dynamic contents. However, delivering dynamic content remains a challenge due to the many dependencies involved in compiling the content, specifically personalized ones. This paper presents the use of Single System Image (SSI) clustering systems for a cheap, off-the-shelf, local lightweight distributed web-grid composed of desktop PCs. The three clustering systems considered in the study are Kerrighed, OpenSSI and openMosix. Through an online simulation technique, the performance savings achieved by the clustering systems were measured. Results showed that Kerrighed has the least number of missed requests while the response time is comparable with the rest.


title: Yang-Mills theories and quadratic forms

abstract: We show that the Hamiltonian of (N=1;d=10) super Yang-Mills can be expressed as a quadratic form in a very similar manner to that of the (N=4;d=4) theory. We find a similar quadratic form structure for pure Yang-Mills theory but this feature, in the non-supersymmetric case, seems to be unique to four dimensions. We discuss some consequences of this feature.


title: Asymptotic Stability of the Lane-Emden Solutions for the Viscous Gaseous Star Problem with Degenerate Density Dependent Viscosities

abstract: The nonlinear asymptotic stability of Lane-Emden solutions is proved in this paper for spherically symmetric motions of viscous gaseous stars with the density dependent shear and bulk viscosities which vanish at the vacuum, when the adiabatic exponent $\gamma$ lies in the stability regime $(4/3, 2)$, by establishing the global-in-time regularity uniformly up to the vacuum boundary for the vacuum free boundary problem of the compressible Navier-Stokes-Poisson systems with spherical symmetry, which ensures the global existence of strong solutions capturing the precise physical behavior that the sound speed is $C^{{1}/{2}}$-H$\ddot{\rm o}$lder continuous across the vacuum boundary, the large time asymptotic uniform convergence of the evolving vacuum boundary, density and velocity to those of Lane-Emden solutions with detailed convergence rates, and the detailed large time behavior of solutions near the vacuum boundary. The results obtained in this paper extend those in \cite{LXZ} of the authors for the constant viscosities to the case of density dependent viscosities which are degenerate at vacuum states.


title: MD Simulation for Head-on Collision of Liquid Nanodroplets Obeying Modified L-J Potential

abstract: This project models and studies the `head-on' collision of liquid helium nanodroplets within a vacuum, using molecular dynamics simulation techniques. Programs written in MATLAB and C are utilized in tandem to facilitate computer experimentation that achieves this goal. The most expensive computation, that of collision simulation, is handled by a HPC cluster `ALICE' at the University of Leicester. Colliding droplets are modelled as roughly spherical collections of points, cut from a simple cubic lattice, obeying a modified Lennard-Jones potential, with average velocities initialized to ensure a `head-on' collision. These point-sets are then allowed to collide within a cuboid region, designed to take advantage of the observed angular distribution of post-collision fragmentation (favoring a plane orthogonal to `collision axis'). To implement the developed theoretical model, an existing C script by D. C. Rapaport, for modelling a homogeneous liquid state, is edited by the author to fit the given, highly heterogeneous scenario. To do analysis on the resulting positions and velocities of points in time, a precise definition of `droplet' was required. An object is defined, from the perspective of metric space, to satisfy this need. An existing cluster analysis algorithm, DBSCAN, is used to apply this definition to the points in simulation. The results presented here focus on three distinct properties of post-collision droplets, these being size, speed and temperature; for collision speed varying across ten equidistant averages chosen based on visual examination of collisions. Quantitative evidence of post-collision droplet speed being inversely proportional to droplet radius is presented, droplet temperature distribution post-collision is noted, and qualitative change in collision behavior across a certain threshold of collision speed is observed.


title: Approximation of the first passage time density of a Wiener process to an exponentially decaying threshold by two-piecewise linear threshold. Application to neuronal spiking activity

abstract: The first passage time density of a diffusion process to a time varying threshold is of primary interest in different fields. Here we consider a Brownian motion in presence of an exponentially decaying threshold to model the neuronal spiking activity. Since analytical expressions of the first passage time density are not available, we propose to approximate the curved boundary by means of a continuous two-piecewise linear threshold. Explicit expressions for the first passage time density towards the new boundary are provided. Then we introduce different approximating linear threshold and describe how to choose the optimal one minimizing the distance to the curved boundary and hence the error in the corresponding passage time density. Theoretical means, variances and coefficients of variation given by our method are then compared with empirical quantities from simulated data as well as other firing statistics derived under the assumption of a small amplitude of the time-dependent change in the threshold. Finally maximum likelihood and moment estimators of the parameters of the Wiener process are also proposed and compared on simulated data.


title: On the optimal paving over MASAs in von Neumann algebras

abstract: We prove that if $A$ is a singular MASA in a II$_1$ factor $M$ and $\omega$ is a free ultrafilter, then for any $x\in M\ominus A$, with $\|x\|\leq 1$, and any $n\geq 2$, there exists a partition of $1$ with projections $p_1, p_2, ..., p_n\in A^\omega$ (i.e. a {\it paving}) such that $\|\Sigma_{i=1}^n p_i x p_i\|\leq 2\sqrt{n-1}/n$, and give examples where this is sharp. Some open problems on optimal pavings are discussed.


title: Convex Factorization Machine for Regression

abstract: We propose the convex factorization machine (CFM), which is a convex variant of the widely used Factorization Machines (FMs). Specifically, we employ a linear+quadratic model and regularize the linear term with the $\ell_2$-regularizer and the quadratic term with the trace norm regularizer. Then, we formulate the CFM optimization as a semidefinite programming problem and propose an efficient optimization procedure with Hazan's algorithm. A key advantage of CFM over existing FMs is that it can find a globally optimal solution, while FMs may get a poor locally optimal solution since the objective function of FMs is non-convex. In addition, the proposed algorithm is simple yet effective and can be implemented easily. Finally, CFM is a general factorization method and can also be used for other factorization problems including including multi-view matrix factorization and tensor completion problems. Through synthetic and movielens datasets, we first show that the proposed CFM achieves results competitive to FMs. Furthermore, in a toxicogenomics prediction task, we show that CFM outperforms a state-of-the-art tensor factorization method.


title: Convexity and sandwich theorems

abstract: We review sandwich theorems from the theory of convex functions.


title: Determining modes for the surface Quasi-Geostrophic equation

abstract: We introduce a determining wavenumber for the surface quasi-geostrophic (SQG) equation defined for each individual trajectory and then study its dependence on the force. While in the subcritical and critical cases this wavenumber has a uniform upper bound, it may blow up when the equation is supercritical. A bound on the determining wavenumber provides determining modes, which in some sense measure the number of degrees of freedom of the flow, or resolution needed to describe a solution to the SQG equation.


title: Wave propagation in birefringent materials with off axis absorption or gain

abstract: The polarization direction of an electromagnetic field changes and eventually reaches a steady state when propagating through a birefringent material with off axis absorption or gain. The steady state orientation direction depends on the magnitude of the absorption (gain) and the phase retardation rate. The change in the polarization direction is experimentally demonstrated in weakly doped ($0.05\%$) Pr$^{3+}$:Y$_2$SiO$_5$ crystals, where the light polarization, if initially aligned along the most strongly absorbing principal axis, gradually switch to a much less absorbing polarization state during the propagation. This means that the absorption coefficient, $\alpha$, in birefringent materials generally varies with length. This is important for, e.g., laser crystal gain media, highly absorbing and narrow band spectral filters and quantum memories.


title: Bernstein center of supercuspidal blocks

abstract: Let $\bf{ G}$ be a tamely ramified connected reductive group defined over a non-archimedean local field $k$. We show that the Bernstein center of a tame supercuspidal block of $\bf{ G}(k)$ is isomorphic to the Bernstein center of a depth zero supercuspidal block of $\bf{ G}^{0}(k)$ for some twisted Levi subgroup of $\bf{ G}^{0}$ of $\bf{ G}$.


title: A Galois side analogue of a theorem of Bernstein

abstract: Let $G$ be a connected reductive group defined over a non archimedean local field $k$. A theorem of Bernstein states that for any compact open subgroup $K$ of $G(k)$, there are, up to unramified twists, only finitely many $K$-spherical supercuspidal representations of $G(k)$. We prove an analogous result on the Galois side of the Langlands correspondence.


title: Halos in medium-heavy and heavy nuclei with covariant density functional theory in continuum

abstract: The covariant density functional theory with a few number of parameters has been widely used to describe the ground-state and excited-state properties for the nuclei all over the nuclear chart. In order to describe exotic properties of unstable nuclei, the contribution of the continuum and its coupling with bound states should be treated properly. In this Topical Review, the development of the covariant density functional theory in continuum will be introduced, including the relativistic continuum Hartree-Bogoliubov theory, the relativistic Hartree-Fock-Bogoliubov theory in continuum, and the deformed relativistic Hartree-Bogoliubov theory in continuum. Then the descriptions and predictions of the neutron halo phenomena in both spherical and deformed nuclei will be reviewed. The diffuseness of the nuclear potentials, nuclear shapes and density distributions, and the impact of the pairing correlations on nuclear size will be discussed.


title: More bounds for the Grundy number of graphs

abstract: A coloring of a graph $G=(V,E)$ is a partition $\{V_1, V_2, \ldots, V_k\}$ of $V$ into independent sets or color classes. A vertex $v\in V_i$ is a Grundy vertex if it is adjacent to at least one vertex in each color class $V_j$ for every $j<i$. A coloring is a Grundy coloring if every vertex is a Grundy vertex, and the Grundy number $\Gamma(G)$ of a graph $G$ is the maximum number of colors in a Grundy coloring. We provide two new upper bounds on Grundy number of a graph and a stronger version of the well-known Nordhaus-Gaddum theorem. In addition, we give a new characterization for a $\{P_{4}, C_4\}$-free graph by supporting a conjecture of Zaker, which says that $\Gamma(G)\geq \delta(G)+1$ for any $C_4$-free graph $G$.


title: Nonexistence and Nonuniqueness Results for Solutions to the Vacuum Einstein Conformal Constraint Equations

abstract: In this article, we give nonexistence and nonuniqueness results for the vacuum Einstein conformal constraint equations in the far-from-CMC case and also show that in some cases the equations of the conformal method for positive Yamabe metrics and with TT-tensor $\sigma$ = 0 have a non-trivial solution, and thus answer a question by D. Maxwell.


title: Preferential Attachment in an Internet-mediated Human Network

abstract: In the advent of the Internet, web-mediated social networking has become of great influence to Filipinos. Networking sites such as Friendster, YouTube, FaceBook and MySpace are among the most well known sites on the Internet. These sites provide a wide range of services to users from different parts of the world, such as connecting and finding people, as well as, sharing and organizing contents. The popularity and accessibility of these sites enable information to be available. These allow people to analyze and study the characteristics of the population of online social networks. In this study, we developed a computer program to analyze the structural dynamics of a locally popular social networking site: The Friendster Network. Understanding the structural dynamics of a virtual community has many implications, such as finding an improvement on the current networking system, among others. Based on our analysis, we found out that users of the site exhibit preferential attachment to users with high number of friends.


title: Interactive certificate for the verification of Wiedemann's Krylov sequence: application to the certification of the determinant, the minimal and the characteristic polynomials of sparse matrices

abstract: Certificates to a linear algebra computation are additional data structures for each output, which can be used by a-possibly randomized- verification algorithm that proves the correctness of each output. Wiede-mann's algorithm projects the Krylov sequence obtained by repeatedly multiplying a vector by a matrix to obtain a linearly recurrent sequence. The minimal polynomial of this sequence divides the minimal polynomial of the matrix. For instance, if the $n\times n$ input matrix is sparse with n 1+o(1) non-zero entries, the computation of the sequence is quadratic in the dimension of the matrix while the computation of the minimal polynomial is n 1+o(1), once that projected Krylov sequence is obtained. In this paper we give algorithms that compute certificates for the Krylov sequence of sparse or structured $n\times n$ matrices over an abstract field, whose Monte Carlo verification complexity can be made essentially linear. As an application this gives certificates for the determinant, the minimal and characteristic polynomials of sparse or structured matrices at the same cost.


title: Vacuum birefringence in strong inhomogeneous electromagnetic fields

abstract: Birefringence is one of the fascinating properties of the vacuum of quantum electrodynamics (QED) in strong electromagnetic fields. The scattering of linearly polarized incident probe photons into a perpendicularly polarized mode provides a distinct signature of the optical activity of the quantum vacuum and thus offers an excellent opportunity for a precision test of non-linear QED. Precision tests require accurate predictions and thus a theoretical framework that is capable of taking the detailed experimental geometry into account. We derive analytical solutions for vacuum birefringence which include the spatio-temporal field structure of a strong optical pump laser field and an x-ray probe. We show that the angular distribution of the scattered photons depends strongly on the interaction geometry and find that scattering of the perpendicularly polarized scattered photons out of the cone of the incident probe x-ray beam is the key to making the phenomenon experimentally accessible with the current generation of FEL/high-field laser facilities.


title: Optimal convergence rate of the multitype sticky particle approximation of one-dimensional diagonal hyperbolic systems with monotonic initial data

abstract: Brenier and Grenier [SIAM J. Numer. Anal., 1998] proved that sticky particle dynamics with a large number of particles allow to approximate the entropy solution to scalar one-dimensional conservation laws with monotonic initial data. In [arXiv:1501.01498], we introduced a multitype version of this dynamics and proved that the associated empirical cumulative distribution functions converge to the viscosity solution, in the sense of Bianchini and Bres-san [Ann. of Math. (2), 2005], of one-dimensional diagonal hyperbolic systems with monotonic initial data of arbitrary finite variation. In the present paper, we analyse the L 1 error of this approximation procedure, by splitting it into the discretisation error of the initial data and the non-entropicity error induced by the evolution of the particle system. We prove that the error at time t is bounded from above by a term of order (1 + t)/n, where n denotes the number of particles, and give an example showing that this rate is optimal. We last analyse the additional error introduced when replacing the multitype sticky particle dynamics by an iterative scheme based on the typewise sticky particle dynamics, and illustrate the convergence of this scheme by numerical simulations.


title: Dimensional improvements of the logarithmic Sobolev, Talagrand and Brascamp-Lieb inequalities

abstract: In this work we consider dimensional improvements of the logarithmic Sobolev, Talagrand and Brascamp-Lieb inequalities. For this we use optimal transport methods and the Borell-Brascamp-Lieb inequality. These refinements can be written as a deficit in the classical inequalities. They have the right scale with respect to the dimension. They lead to sharpened concentration properties as well as refined contraction bounds, convergence to equilibrium and short time behaviour for the laws of solutions to stochastic differential equations.


title: Stochastic particle approximation of the Keller-Segel equation and two-dimensional generalization of Bessel processes

abstract: The Keller-Segel partial differential equation is a two-dimensional model for chemotaxis. When the total mass of the initial density is one, it is known to exhibit blow-up in finite time as soon as the sensitivity $\chi$ of bacteria to the chemo-attractant is larger than $8\pi$. We investigate its approximation by a system of $N$ two-dimensional Brownian particles interacting through a singular attractive kernel in the drift term. In the very subcritical case $\chi\textless{}2\pi$, the diffusion strongly dominates this singular drift: we obtain existence for the particle system and prove that its flow of empirical measures converges, as $N\to\infty$ and up to extraction of a subsequence, to a weak solution of the Keller-Segel equation. We also show that for any $N\ge 2$ and any value of $\chi\textgreater{}0$, pairs of particles do collide with positive probability: the singularity of the drift is indeed visited. Nevertheless, when $\chi\textless{}2\pi N$, it is possible to control the drift and obtain existence of the particle system until the first time when at least three particles collide. We check that this time is a.s. infinite, so that global existence holds for the particle system, if and only if $\chi\leq 8\pi(N-2)/(N-1)$. Finally, we remark that in the system with $N=2$ particles, the difference between the two positions provides a natural two-dimensional generalization of Bessel processes, which we study in details.


title: Generic properties of subgroups of free groups and finite presentations

abstract: Asymptotic properties of finitely generated subgroups of free groups, and of finite group presentations, can be considered in several fashions, depending on the way these objects are represented and on the distribution assumed on these representations: here we assume that they are represented by tuples of reduced words (generators of a subgroup) or of cyclically reduced words (relators). Classical models consider fixed size tuples of words (e.g. the few-generator model) or exponential size tuples (e.g. Gromov's density model), and they usually consider that equal length words are equally likely. We generalize both the few-generator and the density models with probabilistic schemes that also allow variability in the size of tuples and non-uniform distributions on words of a given length.Our first results rely on a relatively mild prefix-heaviness hypothesis on the distributions, which states essentially that the probability of a word decreases exponentially fast as its length grows. Under this hypothesis, we generalize several classical results: exponentially generically a randomly chosen tuple is a basis of the subgroup it generates, this subgroup is malnormal and the tuple satisfies a small cancellation property, even for exponential size tuples. In the special case of the uniform distribution on words of a given length, we give a phase transition theorem for the central tree property, a combinatorial property closely linked to the fact that a tuple freely generates a subgroup. We then further refine our results when the distribution is specified by a Markovian scheme, and in particular we give a phase transition theorem which generalizes the classical results on the densities up to which a tuple of cyclically reduced words chosen uniformly at random exponentially generically satisfies a small cancellation property, and beyond which it presents a trivial group.


title: (Pure) transcendence bases in $\phi$-deformed shuffle bialgebras

abstract: Computations with integro-differential operators are often carried out in an associative algebra with unit, and they are essentially non-commutative computations. By adjoining a cocommutative co-product, one can have those operators perform act on a bialgebra isomorphic to an enveloping algebra. That gives an adequate framework for a computer-algebra implementation via monoidal factorization, (pure) transcendence bases and Poincar\'e--Birkhoff--Witt bases. In this paper, we systematically study these deformations, obtaining necessary and sufficient conditions for the operators to exist, and we give the most general cocommutative deformations of the shuffle co-product and an effective construction of pairs of bases in duality. The paper ends by the combinatorial setting of local systems of coordinates on the group of group-like series.


title: Multilevel Quasi-Monte Carlo Methods for Lognormal Diffusion Problems

abstract: In this paper we present a rigorous cost and error analysis of a multilevel estimator based on randomly shifted Quasi-Monte Carlo (QMC) lattice rules for lognormal diffusion problems. These problems are motivated by uncertainty quantification problems in subsurface flow. We extend the convergence analysis in [Graham et al., Numer. Math. 2014] to multilevel Quasi-Monte Carlo finite element discretizations and give a constructive proof of the dimension-independent convergence of the QMC rules. More precisely, we provide suitable parameters for the construction of such rules that yield the required variance reduction for the multilevel scheme to achieve an $\varepsilon$-error with a cost of $\mathcal{O}(\varepsilon^{-\theta})$ with $\theta < 2$, and in practice even $\theta \approx 1$, for sufficiently fast decaying covariance kernels of the underlying Gaussian random field inputs. This confirms that the computational gains due to the application of multilevel sampling methods and the gains due to the application of QMC methods, both demonstrated in earlier works for the same model problem, are complementary. A series of numerical experiments confirms these gains. The results show that in practice the multilevel QMC method consistently outperforms both the multilevel MC method and the single-level variants even for non-smooth problems.


title: Plane Curves With Minimal Discriminant

abstract: We give lower bounds for the degree of the discriminant with respect to y of separable polynomials f in K[x,y] over an algebraically closed field of characteristic zero. Depending on the invariants involved in the lower bound, we give a geometrical characterisation of those polynomials having minimal discriminant, and give an explicit construction of all such polynomials in many cases. In particular, we show that irreducible monic polynomials with minimal discriminant coincide with coordinate polynomials. We obtain analogous partial results for the case of nonmonic or reducible polynomials by studying their GL2(K[x])-orbit and by establishing some combinatorial constraints on their Newton polytope. Our results suggest some natural extensions of the embedding line theorem of Abhyankar-Moh and of the Nagata-Coolidge problem to the case of unicuspidal curves of P1 x P1.


title: Microlensing constraint on the size of the gamma-ray emission region in blazar B0218+357

abstract: Context. Observations of the effect of microlensing in gravitationally lensed quasars could potentially be used to study the structure of the source on distance scales down to the size of the supermassive black hole powering the quasar activity. Aims. We search for the microlensing effect in the gamma-ray band using the signal from a gravitationally lensed blazar B0218+357. Methonds. We develop a method of deconvolution of contributions of two images of the source into the gamma-ray band flaring lightcurve. We use this method to study the evolution of the magnification factor ratio between the two images throughout the flaring episodes. We interpret the time variability of the ratio as a signature of the microlensing effect and derive constraints on the physical parameters of the gamma-ray source by comparing the observed variability properties of the magnification factor ratio with those derived from numerical simulations of the microlensing caustics networks. Results. We find that the magnification factor ratio has experienced a change characteristic for a microlensing caustic crossing event during a 100 d flaring period in 2012. It has further changed between 2012 and a recent flaring episode in 2014. We use the measurement of the maximal magnification and duration of the caustic crossing event to derive an estimate of the projected size of the gamma-ray emission region in B0218+357, $R_\gamma \sim 10^{14}$ cm. This estimate is compatible with a complementary estimate found from the minimal variability time scale. The microlensing / minimal variability time scale measurements of the source size suggest that the gamma-ray emission is produced at the base of the blazar jet, in the direct vicinity of the central supermassive black hole.


title: Lifshitz transitions and zero point lattice fluctuations in sulfur hydride showing near room temperature superconductivity

abstract: Emerets's experiments on pressurized sulfur hydride have shown that H3S metal has the highest known superconducting critical temperature Tc=203K. The Emerets data show pressure induced changes of the isotope coefficient between 0.25 and 0.5, in disagreement with Eliashberg theory which predicts a nearly constant isotope coefficient. We assign the pressure dependent isotope coefficient to Lifshitz transitions induced by pressure and zero point lattice fluctuations. It is known that pressure could induce changes of the topology of the Fermi surface, called Lifshitz transitions, but were neglected in previous papers on the H$_3$S superconductivity issue. Here we propose that H3S is a multi-gap superconductor with a first condensate in the BCS regime (in the large Fermi surface with high Fermi energy) which coexists with a second condensates in the BCS-BEC crossover regime (located on a small Fermi surface spots with small Fermi energy) near the $\Gamma$ and M point. We discuss the need of Bianconi-Perali-Valletta (BPV) superconductivity theory for superconductivity in H3S. It includes both the correction of the chemical potential due to pairing and the configuration interaction between different condensates, neglected by the Eliashberg theory. Here the shape resonance in superconducting gaps, similar to Feshbach resonance in ultracold gases, gives a relevant contribution to amplify the critical temperature. Therefore this work provides some key tools needed in the search for new room temperature superconductors.


title: Epitaxial growth and properties of La0.7Sr0.3MnO3 thin films with micrometer wide atomic terraces

abstract: La0.7Sr0.3MnO3 (LSMO) films with extraordinarily wide atomic terraces are epitaxially grown on SrTiO3 (100) substrates by pulsed laser deposition. Atomic force microscopy measurements on the LSMO films show that the atomic step is ~ 4 {\AA} and the atomic terrace width is more than 2 micrometers. For a 20 monolayers (MLs) LSMO film, the magnetization is determined to be 255 +- 15 emu/cm3 at room temperature, corresponding to 1.70 + - 0.11 Bohr magneton per Mn atom. As the thickness of LSMO increases from 8 MLs to 20 MLs, the critical thickness for the temperature dependent insulator-to-metal behavior transition is shown to be 9 MLs. Furthermore, post-annealing in oxygen environment improves the electron transport and magnetic properties of the LSMO films.


title: Weight Enumerators and Higher Support Weights of Maximally Recoverable Codes

abstract: In this paper, we establish the matroid structures corresponding to data-local and local maximally recoverable codes (MRC). The matroid structures of these codes can be used to determine the associated Tutte polynomial. Greene proved that the weight enumerators of any code can be determined from its associated Tutte polynomial. We will use this result to derive explicit expressions for the weight enumerators of data-local and local MRC. Also, Britz proved that the higher support weights of any code can be determined from its associated Tutte polynomial. We will use this result to derive expressions for the higher support weights of data-local and local MRC with two local codes.


title: On Net Maps: Examples and Nonexistence Results

abstract: A Thurston map is called nearly Euclidean if its local degree at each critical point is 2 and it has exactly four postcritical points. Nearly Euclidean Thurston (NET) maps are simple generalizations of rational Lattes maps. We investigate when such a map has the property that the associated pullback map on Teichmuller space is constant. We also show that no Thurston map of degree 2 has constant pullback map


title: A labVIEW Code for PolSK encoding

abstract: We have developed an integrated software module for use in free space Optical communication using Polarization Shift Keying. The module provides options to read the data to be transmitted from a file, convert this data to on/off code for laser diodes as well as measure the state of polarization of the received optical pulses. The Software bundle consists of separate transmitter and receiver components. The entire protocol involves handshaking commands, data transmission as well as an error correction based on post-processing Hamming 7,4 code. The module is developed using \lv, a proprietary software development IDE from National Instruments Inc. USA


title: Perfect Secrecy in Physical Layer Network Coding Systems from Structured Interference

abstract: Physical layer network coding (PNC) has been proposed for next generation networks. In this contribution, we investigate PNC schemes with embedded perfect secrecy by exploiting structured interference in relay networks with two users and a single relay. In a practical scenario where both users employ finite and uniform signal input distributions we propose upper bounds (UBs) on the achievable perfect secrecy rates and make these explicit when PAM modems are used. We then describe two simple, explicit encoders that can achieve perfect secrecy rates close to these UBs with respect to an untrustworthy relay in the single antenna and single relay setting. Lastly, we generalize our system to a MIMO relay channel where the relay has more antennas than the users and optimal precoding matrices which maintain a required secrecy constraint are studied. Our results establish that the design of PNC transmission schemes with enhanced throughput and guaranteed data confidentiality is feasible in next generation systems.


title: Topological interactions in a Boltzmann-type framework

abstract: We consider a finite number of particles characterised by their positions and velocities. At random times a randomly chosen particle, the follower, adopts the velocity of another particle, the leader. The follower chooses its leader according to the proximity rank of the latter with respect to the former. We study the limit of a system size going to infinity and, under the assumption of propagation of chaos, show that the limit equation is akin to the Boltzmann equation. However, it exhibits a spatial non-locality instead of the classical non-locality in velocity space. This result relies on the approximation properties of Bernstein polynomials.


title: A small variation of the Taylor Method and periodic solutions of the 3-body problem

abstract: In this paper we define a small variation of the Taylor method and a formula for the global error of this new numerical method that allows us to keep track of the round-off error and does not require previous knowledge of the exact solution. As an application we provide a rigorous proof of the construction/existence of a periodic solution of the three body problem. Some images of this periodic motion can be seen at https://www.youtube.com/watch?v=fSmQyeKcj5k


title: Utility Optimal Thread Assignment and Resource Allocation in Multi-Server Systems

abstract: Achieving high performance in many multi-server systems requires finding a good assignment of worker threads to servers and also effectively allocating each server's resources to its assigned threads. The assignment and allocation components of this problem have been studied extensively but largely separately in the literature. In this paper, we introduce the assign and allocate (AA) problem, which seeks to simultaneously find an assignment and allocation that maximizes the total utility of the threads. Assigning and allocating the threads together can result in substantially better overall utility than performing the steps separately, as is traditionally done. We model each thread by a utility function giving its performance as a function of its assigned resources. We first prove that the AA problem is NP-hard. We then present a $2 (\sqrt{2}-1) > 0.828$ factor approximation algorithm for concave utility functions, which runs in $O(mn^2 + n (\log mC)^2)$ time for $n$ threads and $m$ servers with $C$ amount of resources each. We also give a faster algorithm with the same approximation ratio and $O(n (\log mC)^2)$ time complexity. We then extend the problem to two more general settings. First, we consider threads with nonconcave utility functions, and give a 1/2 factor approximation algorithm. Next, we give an algorithm for threads using multiple types of resources, and show the algorithm achieves good empirical performance. We conduct extensive experiments to test the performance of our algorithms on threads with both synthetic and realistic utility functions, and find that they achieve over 92\% of the optimal utility on average. We also compare our algorithms with a number of practical heuristics, and find that our algorithms achieve up to 9 times higher total utility.


title: Defining the Observed World in Quantum Mechanics

abstract: This paper defines what constitutes the Observed World in the Quantum Mechanical framework, based strictly on what is actually observed beyond doubt, instead of building observables on what is inferred from actual observations. Such principle narrows down considerably what can be considered as being part of the Observed World. On the other hand, we argue that some information - that is in general assumed as granted - should actually be considered as being part of the Observed World. We discuss the implications of such assertion, in the way we perceive time evolution, information growth and causality.


title: Oscillating hysteresis in the q-neighbor Ising model

abstract: We modify the kinetic Ising model with Metropolis dynamics, allowing each spin to interact only with $q$ spins randomly chosen from the whole system, which corresponds to the topology of a complete graph. We show that the model with $q \ge 3$ exhibits a phase transition between ferromagnetic and paramagnetic phases at temperature $T^*$, which linearly increases with $q$. Moreover, we show that for $q=3$ the phase transition is continuous and discontinuous for larger values of $q$. For $q>3$ the hysteresis exhibits oscillatory behavior -- expanding for even values of $q$ and shrinking for odd values of $q$. If only simulation results were taken into account, this phenomenon could be mistakenly interpreted as switching from discontinuous to continuous phase transitions or even as evidence of the so-called mixed phase transitions. Due to the mean-field like nature of the model we are able to calculate analytically not only the stationary value of the order parameter but also precisely determine the hysteresis and the effective potential showing stable, unstable and metastable steady states. The main message is that in case of non-equilibrium systems the hysteresis can behave in an odd way and computer simulations alone may mistakenly lead to incorrect conclusions.


title: Cross-product of Bessel functions: monotonicity patterns and functional inequalities

abstract: In this paper we study the Dini functions and the cross-product of Bessel functions. Moreover, we are interested on the monotonicity patterns for the cross-product of Bessel and modified Bessel functions. In addition, we deduce Redheffer-type inequalities, and the interlacing property of the zeros of Dini functions and the cross-product of Bessel and modified Bessel functions. Bounds for logarithmic derivatives of these functions are also derived. The key tools in our proofs are some recently developed infinite product representations for Dini functions and cross-product of Bessel functions.


title: On the Plethora of Representations Arising in Noncommutative Quantum Mechanics and An Explicit Construction of Noncommutative 4-tori

abstract: We construct a 2-parameter family of unitarily equivalent irreducible representations of the triply extended group $\g$ of translations of $\mathbb{R}^{4}$ associated with a family of its 4-dimensional coadjoint orbits and show how a continuous 2-parameter family of gauge potentials emerges from these unitarly equivalent representations. We show that the Landau and the symmetric gauges of noncommutative quantum mechanics, widely used in the literature, in fact, belong to this 2-parameter family of gauges. We also provide an explicit construction of noncommutative 4-tori and compute the associated star products using the unitary dual of the group $\g$ that was studied at length in an earlier paper (\cite{ncqmjpa}). Finally, we construct projective modules over such noncommutative 4-tori and compute constant curvature connections on them using Rieffel's method.


title: On some weighted H\"older spaces as a possible functional framework for the thin film equation and other parabolic equations with a degeneration at the boundary of a domain

abstract: The present paper is devoted to studying of some weighted H\"older spaces. These spaces are designed in the way to serve as a framework for studying different statements for the thin film equations in weighted classes of smooth functions in the multidimensional setting. These spaces can serve also for considering of other equations with the degeneration on the boundary of the domain of definition.


title: Thermo-hydrodynamic non-equilibrium effects on compressible Rayleigh-Taylor instability

abstract: The effects of compressibility on Rayleigh-Taylor instability (RTI) are investigated by inspecting the interplay between thermodynamic and hydrodynamic non-equilibrium phenomena (TNE, HNE, respectively) via a discrete Boltzmann model (DBM). Two effective approaches are presented, one tracking the evolution of the \emph{local} TNE effects and the other focussing on the evolution of the mean temperature of the fluid, to track the complex interfaces separating the bubble and the spike regions of the flow. It is found that, both the compressibility effects and the \emph{global} TNE intensity show opposite trends in the initial and the later stages of the RTI. Compressibility delays the initial stage of RTI and accelerates the later stage. Meanwhile, the TNE characteristics are generally enhanced by the compressibility, especially in the later stage. The global or mean thermodynamic non-equilibrium indicators provide physical criteria to discriminate between the two stages of the RTI.


title: Flexocoupling impact on the generalized susceptibility and soft phonon modes in the ordered phase of ferroics

abstract: Flexoelectric effect impact on the generalized susceptibility and soft phonons dispersion was not studied in the long-range ordered phases of ferroics. The gap in the knowledge motivated us to establish the impact of the flexocoupling on the correlation function of the long-range order parameter fluctuations in ferroelectric phase of ferroics with local disordering sources. Within Landau-Ginzburg-Devonshire approach we obtained analytical expressions for the generalized susceptibility and phonon dispersion relations in the ferroelectric phase. Unexpectedly, the joint action of static and dynamic flexoelectric effect induces non-diagonal components of generalized susceptibility, which amplitude is proportional to the convolution of the spontaneous polarization with flexocoupling constants. The flexocoupling essentially broaden the k-spectrum of generalized susceptibility and so decreases the correlation radii, as well as leads to the additional "pushing away" of the optical and acoustic soft mode phonon branches. The contribution of spontaneous polarization via ferroelectric nonlinearity and electrostriction mechanisms can lead to both broadening and narrowing on the susceptibility k-spectrum. Due to the joint action of flexoelectric coupling and spontaneous polarization the degeneration of the transverse optic and acoustic modes disappears in the soft phonon spectrum in a ferroelectric phase in comparison with the spectra in a paraelectric phase. These effects have been studied quantitatively for ferroelectric lead zirconate titanate using realistic values of static and dynamic flexocouplings and cubic symmetry approximation for the elastic properties. Also we derived general expressions for correlation function for arbitrary symmetry, elastic and electrostrictive anisotropy.


title: Book to the Future - a manifesto for book liberation

abstract: The Book Liberation Manifesto is an exploration of publishing outside of current corporate constraints and beyond the confines of book piracy. We believe that knowledge should be in free circulation to benefit humankind, which means an equitable and vibrant economy to support publishing, instead of the prevailing capitalist hand-me-down system of Sisyphean economic sustainability. Readers and books have been forced into pirate libraries, while sales channels have been monopolised by the big Internet giants which exact extortionate fees from publishers. We have three proposals. First, publications should be free-at-the-point-of-reading under a variety of open intellectual property regimes. Second, they should become fully digital -- in order to facilitate ready reuse, distribution, algorithmic and computational use. Finally, Open Source software for publishing should be treated as public infrastructure, with sustained research and investment. The result of such robust infrastructures will mean lower costs for manufacturing and faster publishing lifecycles, so that publishers and publics will be more readily able to afford to invent new futures. For more information on the Hybrid Publishing Consortium.


title: Contact structures on Lie algebroids

abstract: In this paper we generalize the main notions from the geometry of (almost) contact manifolds in the category of Lie algebroids. Also, using the framework of generalized geometry, we obtain an (almost) contact Riemannian Lie algebroid structure on a vertical Liouville distribution over the big-tangent manifold of a Riemannain manifold.


title: Forgetting complex propositions

abstract: This paper uses possible-world semantics to model the changes that may occur in an agent's knowledge as she loses information. This builds on previous work in which the agent may forget the truth-value of an atomic proposition, to a more general case where she may forget the truth-value of a propositional formula. The generalization poses some challenges, since in order to forget whether a complex proposition $\pi$ is the case, the agent must also lose information about the propositional atoms that appear in it, and there is no unambiguous way to go about this. We resolve this situation by considering expressions of the form $[\boldsymbol{\ddagger} \pi]\varphi$, which quantify over all possible (but minimal) ways of forgetting whether $\pi$. Propositional atoms are modified non-deterministically, although uniformly, in all possible worlds. We then represent this within action model logic in order to give a sound and complete axiomatization for a logic with knowledge and forgetting. Finally, some variants are discussed, such as when an agent forgets $\pi$ (rather than forgets whether $\pi$) and when the modification of atomic facts is done non-uniformly throughout the model.


title: A search for photometric variability in magnetic chemically peculiar stars using ASAS-3 data

abstract: The (magnetic) chemically peculiar (CP) stars of the upper main sequence are well-suited laboratories for investigating the influence of magnetic fields on the stellar surface because they produce abundance inhomogeneities (spots), which results in photometric variability that is explained in terms of the oblique rotator model. CP stars exhibiting this phenomenon are normally classified as alpha2 Canum Venaticorum (ACV) variables. It is important to increase the sample of known rotational periods among CP stars by discovering new ACV variables. The ASAS-3 data were cross-correlated with the Catalogue of Ap, HgMn, and Am stars in order to analyse the light curves of bona fide CP and related stars. The light curves were downloaded and cleaned of outliers and data points with a flag indicating bad quality. Promising candidates showing a larger scatter than observed for constant stars in the corresponding magnitude range were searched for periodic signals using a standard Fourier technique. In total, we found 323 variables, from which 246 are reported here for the first time, and 77 were probably wrongly classified before. The observed variability pattern of most stars is in accordance with an ACV classification. For some cases, it is difficult to distinguish between the light curves of double-waved ACVs and the variability induced by orbital motion (ellipsoidal variables/eclipsing variables), especially for objects exhibiting very small amplitudes and/or significant scatter in their light curves. Thus, some eclipsing or rotating ellipsoidal variables might be present. However, we are confident that the given periods are the correct ones. There seems to be a possible weak correlation between the rotational period and colour, in the sense that cooler magnetic CP stars rotate more slowly. However, this correlation seems to disappear when correcting for the interstellar reddening.


title: Coeffective basic cohomologies of $K$--contact and Sasakian manifolds

abstract: In this paper we define coeffective de Rham cohomology for basic forms on a $K$--contact or Sasakian manifold $M$ and we discuss its relation with usually basic cohomology of $M$. When $M$ is of finite type (for instance it is compact) several inequalities relating some basic coeffective numbers to classical basic Betti numbers of $M$ are obtained. In the case of Sasakian manifolds, we define and study coeffective Dolbeault and Bott-Chern cohomologies for basic forms. Also, in this case, we prove some Hodge decomposition theorems for coeffective basic de Rham cohomology, relating this cohomology with coeffective basic Dolbeault or Bott-Chern cohomology. The notions are introduced in a similar manner with the case of symplectic and K\"ahler manifolds.


title: A note on para-holomorphic Riemannian Einstein manifolds

abstract: The aim of this note is the study of Einstein condition for para-holomorphic Riemannian metrics in the para-complex geometry framework. Firstly, we make some general considerations about para-complex Riemannian manifolds (not necessarily para-holomorphic). Next, using an one-to-one correspondence between para-holomorphic Riemannian metrics and para-K\"ahler Norden metrics, we study the Einstein condition for a para-holomorphic Riemannian metric and the associated real para-K\"ahler Norden metric on a para-complex manifold. Finally, it is shown that every semi-simple para-complex Lie group inherits a natural para-K\"ahlerian Norden Einstein metric.


title: Holomorphic last multipliers on complex manifolds

abstract: The goal of this paper is to study the theory of last multipliers in the framework of complex manifolds with a fixed holomorphic volume form. The motivation of our study is based on the equivalence between a holomorphic ODE system and an associated real ODE system and we are interested how we can relate holomorphic last multipliers with real last multipliers. Also, we consider some applications of our study for holomorphic gradient vector fields on holomorphic Riemannain manifolds as well as for holomorphic Hamiltonian vector fields and holomorphic Poisson bivector fields on holomorphic Poisson manifolds.


title: Theoretical Prediction and experimental measurement of the mixed flocculation/coalescence rate of ionic Hexadecane-in-water nano-emulsions

abstract: Theoretical calculations of the mixed aggregation/coalescence (kFC) rate corresponding to a set of hexadecane-in-water nano-emulsions stabilized with sodium dodecyl sulphate (SDS) at different NaCl concentrations are presented. The rates were obtained through the change of the total number of aggregates of the dispersions as a function of time, predicted by Emulsion Stability Simulation (ESS). Two different models were implemented in order to mimic the dependence of the surface excess of the surfactant on the salt concentration. Experimental measurements of kFC were also made, based on the change of the turbidity of the emulsions as a function of time. A satisfactory agreement between theory and experiment is only attained if the model of surfactant adsorption accounts for the balance between the salting out of the surfactant solution and the partial screening of the surface charge of the drops induced by the increase of the ionic strength of the continuous phase. The observed behavior cannot be justified on the grounds of the Derjaguin-Landau-Verwey-Overbeek (DLVO) theory. Instead, the reversible flocculation of the aggregates of any size is proposed as an alternative mechanism to explain the dependence of kFC as a function of the salt concentration.


title: Antiferromagnetic Heisenberg Spin Chain of a Few Cold Atoms in a One-Dimensional Trap

abstract: We report on the deterministic preparation of antiferromagnetic Heisenberg spin chains consisting of up to four fermionic atoms in a one-dimensional trap. These chains are stabilized by strong repulsive interactions between the two spin components without the need for an external periodic potential. We independently characterize the spin configuration of the chains by measuring the spin orientation of the outermost particle in the trap and by projecting the spatial wave function of one spin component on single-particle trap levels. Our results are in good agreement with a spin-chain model for fermionized particles and with numerically exact diagonalizations of the full few-fermion system.


title: Entropic measure to prevent energy over-minimization in molecular dynamics simulations

abstract: This work examines the impact of energy over-minimization on an ensemble of biological molecules subjected to the potential energy minimization procedure in vacuum. In the studied structures, long potential energy minimization stage leads to an increase of the main- and side-chain entropies in proteins. We show that such over-minimization may diverge the protein structures from the near-native attraction basin which possesses a minimum of free energy. We propose a measure based on the Pareto front of total entropy for quality assessment of minimized protein conformation. This measure may help in selection of adequate number of energy minimization steps in protein modelling and, thus, in preservation of the near-native protein conformation.


title: The Effect of Sunspot Weighting

abstract: Waldmeier in 1947 introduced a weighting (on a scale from 1 to 5) of the sunspot count made at Zurich and its auxiliary station Locarno, whereby larger spots were counted more than once. This counting method inflates the relative sunspot number over that which corresponds to the scale set by Wolfer and Brunner. Svalgaard re-counted some 60,000 sunspots on drawings from the reference station Locarno and determined that the number of sunspots reported were 'over counted' by 44% on average, leading to an inflation (measured by a weight factor) in excess of 1.2 for high solar activity. In a double-blind parallel counting by the Locarno observer Cagnotti, we determined that Svalgaard's count closely matches that of Cagnotti's, allowing us to determine the daily weight factor since 2003 (and sporadically before). We find that a simple empirical equation fits the observed weight factors well, and use that fit to estimate the weight factor for each month back to the introduction of weighting in 1947 and thus to be able to correct for the over-count and to reduce sunspot counting without weighting to the Wolfer method in use from 1893 onwards.


title: Sparsity and dimension

abstract: We prove that posets of bounded height whose cover graphs belong to a fixed class with bounded expansion have bounded dimension. Bounded expansion, introduced by Ne\v{s}et\v{r}il and Ossona de Mendez as a model for sparsity in graphs, is a property that is naturally satisfied by a wide range of graph classes, from graph structure theory (graphs excluding a minor or a topological minor) to graph drawing (e.g. graphs with bounded book thickness). Therefore, our theorem generalizes a number of results including the most recent one for posets of bounded height with cover graphs excluding a fixed graph as a topological minor. We also show that the result is in a sense best possible, as it does not extend to nowhere dense classes; in fact, it already fails for cover graphs with locally bounded treewidth.


title: Quantum-correlated photon pairs generated in a commercial 45nm complementary metal-oxide semiconductor microelectronics chip

abstract: Correlated photon pairs are a fundamental building block of quantum photonic systems. While pair sources have previously been integrated on silicon chips built using customized photonics manufacturing processes, these often take advantage of only a small fraction of the established techniques for microelectronics fabrication and have yet to be integrated in a process which also supports electronics. Here we report the first demonstration of quantum-correlated photon pair generation in a device fabricated in an unmodified advanced (sub-100nm) complementary metal-oxide-semiconductor (CMOS) process, alongside millions of working transistors. The microring resonator photon pair source is formed in the transistor layer structure, with the resonator core formed by the silicon layer typically used for the transistor body. With ultra-low continuous-wave on-chip pump powers ranging from 5 $\mu$W to 400 $\mu$W, we demonstrate pair generation rates between 165 Hz and 332 kHz using >80% efficient WSi superconducting nanowire single photon detectors. Coincidences-to-accidentals ratios consistently exceeding 40 were measured with a maximum of 55. In the process of characterizing this source we also accurately predict pair generation rates from the results of classical four-wave mixing measurements. This proof-of-principle device demonstrates the potential of commercial CMOS microelectronics as an advanced quantum photonics platform with capability of large volume, pristine process control, and where state-of-the-art high-speed digital circuits could interact with quantum photonic circuits.


title: Modeling the Mind: A brief review

abstract: The brain is a powerful tool used to achieve amazing feats. There have been several significant advances in neuroscience and artificial brain research in the past two decades. This article is a review of such advances, ranging from the concepts of connectionism, to neural network architectures and high-dimensional representations. There have also been advances in biologically inspired cognitive architectures of which we will cite a few. We will be positioning relatively specific models in a much broader perspective, while comparing and contrasting their advantages and weaknesses. The projects presented are targeted to model the brain at different levels, utilizing different methodologies.


title: Substitutions and M\"obius disjointness

abstract: We show that Sarnak's conjecture on M\"obius disjointness holds for all subshifts given by bijective substitutions and some other similar dynamical systems, e.g.\ those generated by Rudin-Shapiro type sequences.


title: Comments on turbulence theory by Qian and by Edwards and McComb

abstract: We reexamine Liouville equation based turbulence theories proposed by Qian {[}Phys. Fluids \textbf{26}, 2098 (1983){]} and Edwards and McComb {[}J. Phys. A: Math. Gen. \textbf{2}, 157 (1969){]}, which are compatible with Kolmogorov spectrum. These theories obtained identical equation for spectral density $q(k)$ and different results for damping coefficient. Qian proposed variational approach and Edwards and McComb proposed maximal entropy principle to obtain equation for the damping coefficient. We show that assumptions used in these theories to obtain damping coefficient correspond to unphysical conditions.


title: Tightness and duality of martingale transport on the Skorokhod space

abstract: The martingale optimal transport aims to optimally transfer a probability measure to another along the class of martingales. This problem is mainly motivated by the robust superhedging of exotic derivatives in financial mathematics, which turns out to be the corresponding Kantorovich dual. In this paper we consider the continuous-time martingale transport on the Skorokhod space of cadlag paths. Similar to the classical setting of optimal transport, we introduce different dual problems and establish the corresponding dualities by a crucial use of the S-topology and the dynamic programming principle.


title: A new look on the two-dimensional Ising model: thermal artificial spins

abstract: We present a direct experimental investigation of the thermal ordering in an artificial analogue of an asymmetric two dimensional Ising system composed of a rectangular array of nano-fabricated magnetostatically interacting islands. During fabrication and below a critical thickness of the magnetic material the islands are thermally fluctuating and thus the system is able to explore its phase space. Above the critical thickness the islands freeze-in resulting in an arrested thermalized state for the array. Determining the magnetic state of the array we demonstrate a genuine artificial two-dimensional Ising system which can be analyzed in the context of nearest neighbour interactions.


title: AutoExtend: Extending Word Embeddings to Embeddings for Synsets and Lexemes

abstract: We present \textit{AutoExtend}, a system to learn embeddings for synsets and lexemes. It is flexible in that it can take any word embeddings as input and does not need an additional training corpus. The synset/lexeme embeddings obtained live in the same vector space as the word embeddings. A sparse tensor formalization guarantees efficiency and parallelizability. We use WordNet as a lexical resource, but AutoExtend can be easily applied to other resources like Freebase. AutoExtend achieves state-of-the-art performance on word similarity and word sense disambiguation tasks.


title: On Ranges of Variants of the Divisor Functions that are Dense

abstract: For a real number $t$, let $s_t$ be the multiplicative arithmetic function defined by $\displaystyle{s_t(p^{\alpha})=\sum_{j=0}^{\alpha}(-p^t)^j}$ for all primes $p$ and positive integers $\alpha$. We show that the range of a function $s_{-r}$ is dense in the interval $(0,1]$ whenever $r\in(0,1]$. We then find a constant $\eta_A\approx1.9011618$ and show that if $r>1$, then the range of the function $s_{-r}$ is a dense subset of the interval $\displaystyle{\left(\frac{1}{\zeta(r)},1\right]}$ if and only if $r\leq \eta_A$. We end with an open problem.


title: Unconventional Fermi surface in an insulating state

abstract: Insulators occur in more than one guise, a recent finding was a class of topological insulators, which host a conducting surface juxtaposed with an insulating bulk. Here we report the observation of an unusual insulating state with an electrically insulating bulk that simultaneously yields bulk quantum oscillations with characteristics of an unconventional Fermi liquid. We present quantum oscillation measurements of magnetic torque in high purity single crystals of the Kondo insulator SmB6, which reveal quantum oscillation frequencies characteristic of a large three-dimensional conduction electron Fermi surface similar to the metallic rare earth hexaborides such as PrB6 and LaB6. The quantum oscillation amplitude strongly increases at low temperatures, appearing strikingly at variance with conventional metallic behaviour.


title: On the resummation of non-global logarithms at finite $\mathbf{N_c}$

abstract: We present a calculation of non-global logs at finite $\mathrm{N_c}$ for the hemisphere mass distribution in $e^+e^-\to 2$ jets at single log accuracy up to fifth order in the strong coupling constant. Our results suggest a possible all-orders resummation of these large logs into an exponential. Comparing our results to those at large $\mathrm{N_c}$, recently reported in literature, we find an agreement. We additionally compare our findings with the numerical all-orders resummation at large $\mathrm{N_c}$ and discuss the significance of neglected finite-$\mathrm{N_c}$ corrections on the said distribution.


title: Verification of a binary fluid solidification model in the finite-volume flow solver

abstract: The aim of this paper is to verify the new numerical implementation of a binary fluid, heat conduction dominated solidification model. First, we extend a semi-analytical solution to the heat diffusion equation, next, the range of its applicability is investigated. It was found that the linearization introduced to the heat diffusion equation negatively affects the ability to predict solidus and liquidus lines positions whenever the magnitude of latent heat of fusion exceeds a certain value. Next, a binary fluid solidification model is coupled with a flow solver, and is used in a numerical study of Al-4.1%Cu alloy solidification in a two-dimensional rectangular cavity. An accurate coupling between the solidification model and the flow solver is crucial for the correct forecast of solidification front positions and macrosegregation patterns.


title: Eikonal gluon radiation at finite-Nc beyond 2 loops

abstract: We present first calculations of QCD matrix-elements in perturbation theory at finite Nc beyond 2 loops in the eikonal approximation for e+ e- annihilation processes. For the emission of n soft energy-ordered gluons we solve both the colour and kinematic structures at a given order in perturbation theory by means of a Mathematica program that relies solely on a recently developed Mathematica code, ColorMath, that evaluates the trace of products of colour matrices. At large Nc, our squared amplitudes reduce to those already known in the literature.


title: A step forwards on the Erd\H{o}s-S\'os problem concerning the Ramsey numbers $R(3,k)$

abstract: Let $\Delta_s=R(K_3,K_s)-R(K_3,K_{s-1})$, where $R(G,H)$ is the Ramsey number of graphs $G$ and $H$ defined as the smallest $n$ such that any edge coloring of $K_n$ with two colors contains $G$ in the first color or $H$ in the second color. In 1980, Erd\H{o}s and S\'{o}s posed some questions about the growth of $\Delta_s$. The best known concrete bounds on $\Delta_s$ are $3 \le \Delta_s \le s$, and they have not improved since the stating of the problem. In this paper we present some constructions, which imply in particular that $R(K_3,K_s) \ge R(K_3,K_{s-1}-e) + 4$. This does not improve the lower bound of 3 on $\Delta_s$, but we still consider it a step towards to understanding its growth. We discuss some related questions and state two conjectures involving $\Delta_s$, including the following: for some constant $d$ and all $s$ it holds that $\Delta_s - \Delta_{s+1} \leq d$. We also prove that if the latter is true, then $\lim_{s \rightarrow \infty} \Delta_s/s=0$.


title: Three-dimensional topological loops with solvable multiplication groups

abstract: We prove that each $3$-dimensional connected topological loop $L$ having a solvable Lie group of dimension $\le 5$ as the multiplication group of $L$ is centrally nilpotent of class $2$. Moreover, we classify the solvable non-nilpotent Lie groups $G$ which are multiplication groups for $3$-dimensional simply connected topological loops $L$ and $\hbox{dim} \ G \le 5$. These groups are direct products of proper connected Lie groups and have dimension $5$. We find also the inner mapping groups of $L$.


title: DPM: A State Space Model for Large-Scale Direct Marketing

abstract: We propose a novel statistical model to answer three challenges in direct marketing: which channel to use, which offer to make, and when to offer. There are several potential applications for the proposed model, for example, developing personalized marketing strategies and monitoring members' needs. Furthermore, the results from the model can complement and can be integrated with other existing models. The proposed model, named Dynamic Propensity Model, is a latent variable time series model that utilizes both marketing and purchase histories of a customer. The latent variable in the model represents the customer's propensity to buy a product. The propensity derives from purchases and other observable responses. Marketing touches increase a member's propensity, and propensity score attenuates and propagates over time as governed by data-driven parameters. To estimate the parameters of the model, a new statistical methodology has been developed. This methodology makes use of particle methods with a stochastic gradient descent approach, resulting in fast estimation of the model coefficients even from big datasets. The model is validated using six months' marketing records from one of the largest insurance companies in the U.S. Experimental results indicate that the effects of marketing touches vary depending on both channels and products. We compare the predictive performance of the proposed model with lagged variable logistic regression. Limitations and extensions of the proposed algorithm are also discussed.


title: Wavepacket Self-imaging and Giant Recombinations via Stable Bloch-Zener Oscillations in Photonic Lattices with Local ${\cal PT}$-Symmetry

abstract: We propose a family of {\it local} $\cal{PT}$-symmetric photonic lattices with transverse index gradient $\omega$, where the emergence of {\it stable} Bloch-Zener oscillations are controlled by the degree of non-Hermiticity $\gamma$ of the lattice. In the exact $\cal{PT}$-symmetric phase we identify a condition between $\omega$ and $\gamma$ for which a wavepacket self -imaging together with a cascade of splittings and giant recombinations occurs at various propagation distances. The giant wavepacket recombination is further enhanced by introducing local impurities.


title: Multiplicative loops of $2$-dimensional topological quasifields

abstract: We determine the algebraic structure of the multiplicative loops for locally compact $2$-dimensional topological connected quasifields. In particular, our attention turns to multiplicative loops which have either a normal subloop of positive dimension or which contain a $1$-dimensional compact subgroup. In the last section we determine explicitly the quasifields which coordinatize locally compact translation planes of dimension $4$ admitting an at least $7$-dimensional Lie group as collineation group.


title: From Thread to Transcontinental Computer: Disturbing Lessons in Distributed Supercomputing

abstract: We describe the political and technical complications encountered during the astronomical CosmoGrid project. CosmoGrid is a numerical study on the formation of large scale structure in the universe. The simulations are challenging due to the enormous dynamic range in spatial and temporal coordinates, as well as the enormous computer resources required. In CosmoGrid we dealt with the computational requirements by connecting up to four supercomputers via an optical network and make them operate as a single machine. This was challenging, if only for the fact that the supercomputers of our choice are separated by half the planet, as three of them are located scattered across Europe and fourth one is in Tokyo. The co-scheduling of multiple computers and the 'gridification' of the code enabled us to achieve an efficiency of up to $93\%$ for this distributed intercontinental supercomputer. In this work, we find that high-performance computing on a grid can be done much more effectively if the sites involved are willing to be flexible about their user policies, and that having facilities to provide such flexibility could be key to strengthening the position of the HPC community in an increasingly Cloud-dominated computing landscape. Given that smaller computer clusters owned by research groups or university departments usually have flexible user policies, we argue that it could be easier to instead realize distributed supercomputing by combining tens, hundreds or even thousands of these resources.