title: Presence of atomic disorder and its effect on magnetic and electronic properties of NiCrGa half Heusler alloy

abstract: In this work, polycrystalline NiCrGa half Heusler alloy, which is predicted to be half-metallic ferromagnet from first principles calculations, has been synthesized by arc meting technique and its structural, magnetic as well as the electronic properties have been studied. The measured x-ray diffraction (XRD) pattern shows the signature of a disordered structure. From the magnetization measurements, there is no evidence of ferromagnetic ordering observed in this system down to the lowest temperature studied. Instead, the system shows the signature of an antiferromagnetic ordering at very low temperature. The experimentally observed structural and magnetic properties are found to be significantly different from the theoretically predicted properties of the ordered cubic C1b structure. To probe the possible disorder present in the system and its effect on the magnetic properties, we have carried out first principles calculations using the spin-polarized-relativistic Korringa-Kohn-Rostoker method (SPR-KKR). Using a combination of XRD, photoelectron spectroscopy, magnetization measurements and first principles calculations, we conclude that NiCrGa has significant amount of atomic disorder. Although, the ordered structure is energetically more stable than the disordered structures, we find that after synthesis, the system tends to stabilize in a disordered structure. With this atomic disorder present in the sample, the ferromagnetic ordering is disturbed and the calculated spin polarization is consequently reduced.


title: Trajectory reweighting for non-equilibrium steady states

abstract: Modern methods for sampling rugged landscapes in state space mainly rely on knowledge of the relative probabilities of microstates, which is given by the Boltzmann factor for equilibrium systems. In principle, trajectory reweighting provides an elegant way to extend these algorithms to non-equilibrium systems, by numerically calculating the relative weights that can be directly substituted for the Boltzmann factor. We show that trajectory reweighting has many commonalities with Rosenbluth sampling for chain macromolecules, including practical problems which stem from the fact that both are iterated importance sampling schemes: for long trajectories the distribution of trajectory weights becomes very broad and trajectories carrying high weights are infrequently sampled, yet long trajectories are unavoidable in rugged landscapes. For probing the probability landscapes of genetic switches and similar systems, these issues preclude the straightforward use of trajectory reweighting. The analogy to Rosenbluth sampling suggests though that path ensemble methods such as PERM (pruned-enriched Rosenbluth method) could provide a way forward.


title: Rotational spreads and rotational parallelisms and oriented parallelisms of PG(3,R)

abstract: We introduce topological parallelisms of oriented lines (briefly called oriented parallelisms). Every topological parallelism (of lines) on PG(3,R) gives rise to a parallelism of oriented lines, but we show that even the most homogeneous parallelisms of oriented lines other than the Clifford parallelism do not necessarily arise in this way. In fact we determine all parallelisms of both types that admit a reducible SO(3)-action. Only the Clifford parallelism admits a larger group Surprisingly, it turns out that there are far more oriented parallelisms of this kind than ordinary parallelisms. In particular, we show that the SO(3)-invariant ordinary parallelisms constructed by Betten and Riesinger are the only ones compatible with this group action. We also study the rotational Betten spreads used in this construction and their automorphisms. The automorphism group of the (oriented) parallelisms is always SO(3), no matter how large the automorphism group of the non-regular spread is. There are far more isomorphism types of parallelisms than types of spreads.


title: Subwavelength Interferometric Control of Absorption in Three-port Acoustic Network

abstract: Utilizing the effect of losses, we show that symmetric 3-port devices exhibit coherent perfect absorption of waves and we provide the corresponding conditions on the reflection and transmission coefficients. Infinite combinations of asymmetric inputs with different amplitudes and phase at each port as well as a completely symmetric input, are found to be perfectly absorbed. To illustrate the above we study an acoustic 3-port network operating in a subwavelength frequency both theoretically and experimentally. In addition we show how the output from a 3-port network is altered, when conditions of perfect absorption are met but the input waves phase and amplitude vary. In that regard, we propose optimized structures which feature both perfect absorption and perfect transmission at the same frequency by tuning the amplitudes and phases of the input waves.


title: Piece of CAKE: A Comprehensive Queue Management Solution for Home Gateways

abstract: The last several years has seen a renewed interest in smart queue management to curb excessive network queueing delay, as people have realised the prevalence of bufferbloat in real networks. However, for an effective deployment at today's last mile connections, an improved queueing algorithm is not enough in itself, as often the bottleneck queue is situated in legacy systems that cannot be upgraded. In addition, features such as per-user fairness and the ability to de-prioritise background traffic are often desirable in a home gateway. In this paper we present Common Applications Kept Enhanced (CAKE), a comprehensive network queue management system designed specifically for home Internet gateways. CAKE packs several compelling features into an integrated solution, thus easing deployment. These features include bandwidth shaping with overhead compensation for various link layers; reasonable DiffServ handling; improved flow hashing with both per-flow and per-host queueing fairness; and filtering of TCP ACKs. Our evaluation shows that these features offer compelling advantages, and that CAKE has the potential to significantly improve performance of last-mile internet connections.


title: Existence and profile of ground-state solutions to a $1-$Laplacian problem in $\mathbb{R}^N$

abstract: In this work we prove the existence of ground state solutions for the following class of problems \begin{equation*} \left\{ \begin{array}{ll} \displaystyle - \Delta_1 u + (1 + \lambda V(x))\frac{u}{|u|} & = f(u), \quad x \in \mathbb{R}^N, \\ u \in BV(\mathbb{R}^N), & \end{array} \right. \label{Pintro} \end{equation*} \end{abstract} where $\lambda > 0$, $\Delta_1$ denotes the $1-$Laplacian operator which is formally defined by $\Delta_1 u = \mbox{div}(\nabla u/|\nabla u|)$, $V:\mathbb{R}^N \to \mathbb{R}$ is a potential satisfying some conditions and $f:\mathbb{R} \to \mathbb{R}$ is a subcritical and superlinear nonlinearity. We prove that for $\lambda > 0$ large enough there exists ground-state solutions and, as $\lambda \to +\infty$, such solutions converges to a ground-state solution of the limit problem in $\Omega = \mbox{int}( V^{-1}(\{0\}))$.


title: New Inflation in Supersymmetric SU(5) and Flipped SU(5) GUT Models

abstract: We study the feasibility of realizing supersymmetric new inflation model, introduced by Senoguz and Shafi in [1], for $SU(5)$ and flipped $SU(5)$ models of grand unified theories (GUTs). This realization requires an additional $U(1)_R \times Z_{n}$ symmetry for its successful implementation. The standard model (SM) gauge singlet scalar components of $24_H$ and $10_H$ GUT Higgs superfields are respectively employed to realize successful inflation in $SU(5)$ and flipped $SU(5)$ models. The predictions of the various inflationary observables lie within the recent Planck bounds on the scalar spectral index, $n_s$, for $n \geq 5$ in $SU(5)$ model and for $n \geq 6$ in flipped $SU(5)$ model. In particular, the tensor to scalar ratio $r$ and the running of spectral index $d n_s/ d\ln k$ are negligibly small and lie in the range, $10^{-12} \lesssim r \lesssim 10^{-8}$ and $10^{-9} \lesssim dn_s/d\ln k \lesssim 10^{-3}$, for realistic values of $n$. In numerical estimation of the various predictions, we fix the gauge symmetry breaking scale, $M$, around $2 \times 10^{16}$ GeV. The issue of gauge coupling unification in $R$-symmetric $SU(5)$ is evaded by adding vectorlike families with mass splitting within their multiplets. The dilution of monopoles beyond the observable limit is naturally achieved in the breaking of $SU(5)$ gauge symmetry during inflation. A realistic scenario of reheating with non-thermal leptogenesis is employed for both models. The predicted range of reheat temperature within Planck bounds, $3 \times 10^{7}\text{ GeV }\lesssim T_r \lesssim 2 \times 10^{9}$ GeV, is safe from the gravitino problem for the gravitino mass, $m_{3/2} \gtrsim 10$ TeV. Finally, the $U(1)_R \times Z_{n}$ symmetry is also observed to play a crucial role in suppressing the various fast proton decay operators.


title: Shape Partitioning via L$_p$ Compressed Modes

abstract: The eigenfunctions of the Laplace Beltrami operator (Manifold Harmonics) define a function basis that can be used in spectral analysis on manifolds. In [21] the authors recast the problem as an orthogonality constrained optimization problem and pioneer the use of an $L_1$ penalty term to obtain sparse (localized) solutions. In this context, the notion corresponding to sparsity is compact support which entails spatially localized solutions. We propose to enforce such a compact support structure by a variational optimization formulation with an $L_p$ penalization term, with $0<p<1$. The challenging solution of the orthogonality constrained non-convex minimization problem is obtained by applying splitting strategies and an ADMM-based iterative algorithm. The effectiveness of the novel compact support basis is demonstrated in the solution of the 2-manifold decomposition problem which plays an important role in shape geometry processing where the boundary of a 3D object is well represented by a polygonal mesh. We propose an algorithm for mesh segmentation and patch-based partitioning (where a genus-0 surface patching is required). Experiments on shape partitioning are conducted to validate the performance of the proposed compact support basis.


title: Fibrant resolutions for motivic Thom spectra

abstract: Using the theory of framed correspondences developed by Voevodsky [24] and the machinery of framed motives introduced and developed in [6], various explicit fibrant resolutions for a motivic Thom spectrum $E$ are constructed in this paper. It is shown that the bispectrum $$M_E^{\mathbb G}(X)=(M_{E}(X),M_{E}(X)(1),M_{E}(X)(2),\ldots),$$ each term of which is a twisted $E$-framed motive of $X$, introduced in the paper, represents $X_+\wedge E$ in the category of bispectra. As a topological application, it is proved that the $E$-framed motive with finite coefficients $M_E(pt)(pt)/N$, $N>0$, of the point $pt=Spec (k)$ evaluated at $pt$ is a quasi-fibrant model of the topological $S^2$-spectrum $Re^\epsilon(E)/N$ whenever the base field $k$ is algebraically closed of characteristic zero with an embedding $\epsilon:k\hookrightarrow\mathbb C$. Furthermore, the algebraic cobordism spectrum $MGL$ is computed in terms of $\Omega$-correspondences in the sense of [15]. It is also proved that $MGL$ is represented by a bispectrum each term of which is a sequential colimit of simplicial smooth quasi-projective varieties.


title: An outline of shifted Poisson structures and deformation quantisation in derived differential geometry

abstract: We explain how to translate several recent results in derived algebraic geometry to derived differential geometry. These concern shifted Poisson structures on NQ-manifolds, Lie groupoids, smooth stacks and derived generalisations, and include existence and classification of various deformation quantisations.


title: The generalized H\"older and Morrey-Campanato Dirichlet problems for elliptic systems in the upper-half space

abstract: We prove well-posedness results for the Dirichlet problem in $\mathbb{R}^{n}_{+}$ for homogeneous, second order, constant complex coefficient elliptic systems with boundary data in generalized H\"older spaces $\mathscr{C}^{\omega}(\mathbb{R}^{n-1},\mathbb{C}^M)$ and in generalized Morrey-Campanato spaces $\mathscr{E}^{\omega,p}(\mathbb{R}^{n-1},\mathbb{C}^M)$ under certain assumptions on the growth function $\omega$. We also identify a class of growth functions $\omega$ for which $\mathscr{C}^{\omega}(\mathbb{R}^{n-1},\mathbb{C}^M)=\mathscr{E}^{\omega,p}(\mathbb{R}^{n-1},\mathbb{C}^M)$ and for which the aforementioned well-posedness results are equivalent, in the sense that they have the same unique solution, satisfying natural regularity properties and estimates.


title: Convex Integration for Diffusion Equations

abstract: We study the initial-boundary value problem for a class of diffusion equations with nonmonotone diffusion flux functions, including forward-backward parabolic equations and the gradient flows of nonconvex energy functionals, under the framework of partial differential inclusions using the method of convex integration and Baire's category. In connection with rank-one convex hulls of the corresponding matrix sets, we introduce a structural condition on the diffusion flux function, called Condition (OC), and establish the nonuniqueness and instability of Lipschitz solutions to the initial-boundary value problem under this condition.


title: Topological obstructions to continuity of Orlicz-Sobolev mappings of finite distortion

abstract: In the paper we investigate continuity of Orlicz-Sobolev mappings $W^{1,P}(M,N)$ of finite distortion between smooth Riemannian $n$-manifolds, $n\geq 2$, under the assumption that the Young function $P$ satisfies the so called divergence condition $\int_1^\infty P(t)/t^{n+1}\, dt=\infty$. We prove that if the manifolds are oriented, $N$ is compact, and the universal cover of $N$ is not a rational homology sphere, then such mappings are continuous. That includes mappings with $Df\in L^n$ and, more generally, mappings with $Df\in L^n\log^{-1}L$. On the other hand, if the space $W^{1,P}$ is larger than $W^{1,n}$ (for example if $Df\in L^n\log^{-1}L$), and the universal cover of $N$ is homeomorphic to $\mathbb{S}^n$, $n\neq 4$, or is diffeomorphic to $\mathbb{S}^n$, $n=4$, then we construct an example of a mapping in $W^{1,P}(M,N)$ that has finite distortion and is discontinuous. This demonstrates a new global-to-local phenomenon: both finite distortion and continuity are local properties, but a seemingly local fact that finite distortion implies continuity is a consequence of a global topological property of the target manifold $N$.


title: Graphical Conjunctive Queries

abstract: The Calculus of Conjunctive Queries (CCQ) has foundational status in database theory. A celebrated theorem of Chandra and Merlin states that CCQ query inclusion is decidable. Its proof transforms logical formulas to graphs: each query has a natural model - a kind of graph - and query inclusion reduces to the existence of a graph homomorphism between natural models. We introduce the diagrammatic language Graphical Conjunctive Queries (GCQ) and show that it has the same expressivity as CCQ. GCQ terms are string diagrams, and their algebraic structure allows us to derive a sound and complete axiomatisation of query inclusion, which turns out to be exactly Carboni and Walters' notion of cartesian bicategory of relations. Our completeness proof exploits the combinatorial nature of string diagrams as (certain cospans of) hypergraphs: Chandra and Merlin's insights inspire a theorem that relates such cospans with spans. Completeness and decidability of the (in)equational theory of GCQ follow as a corollary. Categorically speaking, our contribution is a model-theoretic completeness theorem of free cartesian bicategories (on a relational signature) for the category of sets and relations.


title: On the degree of the $p$-torsion field of elliptic curves over $\mathbb{Q}_\ell$ for $\ell \neq p$

abstract: Let $\ell$ and $p \geq 3$ be distinct prime numbers. Let $E/\mathbb{Q}_{\ell}$ be an elliptic curve with $p$-torsion module $E_p$. Let $\mathbb{Q}_{\ell}(E_p)$ be the $p$-torsion field of $E$. We provide a complete description of the degree of the extension $\mathbb{Q}_{\ell}(E_p)/\mathbb{Q}_{\ell}$. As a consequence, we obtain a recipe to determine the discriminant ideal of the extension $\mathbb{Q}_{\ell}(E_p)/\mathbb{Q}_\ell$ in terms of standard information on $E$.


title: Localized solutions of nonlinear network wave equations

abstract: We study localized solutions for the nonlinear graph wave equation on finite arbitrary networks. Assuming a large amplitude localized initial condition on one node of the graph, we approximate its evolution by the Duffing equation. The rest of the network satisfies a linear system forced by the excited node. This approximation is validated by reducing the nonlinear graph wave equation to the discrete nonlinear Schrodinger equation and by Fourier analysis. Finally, we examine numerically the condition for localization in the parameter plane, coupling versus amplitude and show that the localization amplitude depends on the maximal normal eigenfrequency.


title: Analyzing Solar Irradiance Variation From GPS and Cameras

abstract: The total amount of solar irradiance falling on the earth's surface is an important area of study amongst the photo-voltaic (PV) engineers and remote sensing analysts. The received solar irradiance impacts the total amount of generated solar energy. However, this generation is often hindered by the high degree of solar irradiance variability. In this paper, we study the main factors behind such variability with the assistance of Global Positioning System (GPS) and ground-based, high-resolution sky cameras. This analysis will also be helpful for understanding cloud phenomenon and other events in the earth's atmosphere.


title: Nilpotent Endomorphisms of Expansive Group Actions

abstract: We consider expansive group actions on a compact metric space containing a special fixed point denoted by $0$, and endomorphisms of such systems whose forward trajectories are attracted toward $0$. Such endomorphisms are called asymptotically nilpotent, and we study the conditions in which they are nilpotent, that is, map the entire space to $0$ in a finite number of iterations. We show that for a large class of discrete groups, this property of nil-rigidity holds for all expansive actions that satisfy a natural specification-like property and have dense homoclinic points. Our main result in particular shows that the class includes all residually finite solvable groups and all groups of polynomial growth. For expansive actions of the group $\mathbb{Z}$, we show that a very weak gluing property suffices for nil-rigidity. For $\mathbb{Z}^2$-subshifts of finite type, we show that the block-gluing property suffices. The study of nil-rigidity is motivated by two aspects of the theory of cellular automata and symbolic dynamics: It can be seen as a finiteness property for groups, which is representative of the theory of cellular automata on groups. Nilpotency also plays a prominent role in the theory of cellular automata as dynamical systems. As a technical tool of possible independent interest, the proof involves the construction of tiered dynamical systems where several groups act on nested subsets of the original space.


title: Ethanol chemisorption on core-shell Pt-nanoparticles: an ab-initio study

abstract: By means of ab-initio calculations, we have investigated the chemisorption paroperties of ethanol onto segregating binary nanoalloys. We select nanostructures with icosahedral shape of 55 atoms with a Pt outermost layer over a M core with M=Ag,Pd,Ni. With respect to nanofilms with equivalent composition, there is an increse of the ethanol binding energy. This is not merely due to observed shortening of the Pt-O distance but depends on the nanoparticle distortion after ethanol adsorption. This geometrical distortion within the nanoparticle can be interpreted as a radial breathing, which is sensitive to the adsortion site, identified by the O-anchor point and the relative positions of the ethyl group. More interestingly, being core-dependent -larger in Pd@Pt and smaller in Ni@Pt-, it relates to an effective electron transfer from ethanol and the M-core towards the Pt-shell. On the view of this new analysis, Pd@Pt nanoalloys show the most promissing features for ethanol oxidation.


title: Bottom-quark effects in Higgs production at intermediate transverse momentum

abstract: We provide a precise description of the Higgs boson transverse momentum distribution including top and bottom quark contributions, that is valid for transverse momenta in the range mb < pt < mt, where mb and mt are the bottom and top quark masses. This description is based on a combination of fixed next-to-leading order (NLO) results with next-to-next-to-leading logarithmic (NNLL) transverse momentum resummation. We show that ambiguities in the resummation procedure for the b-quark loops are of the same order as the related fixed-order uncertainties. We conclude that the current uncertainty in the top-bottom interference contribution to the Higgs transverse momentum spectrum is O(20%).


title: A Simple Quantum Neural Net with a Periodic Activation Function

abstract: In this paper, we propose a simple neural net that requires only $O(nlog_2k)$ number of qubits and $O(nk)$ quantum gates: Here, $n$ is the number of input parameters, and $k$ is the number of weights applied to these parameters in the proposed neural net. We describe the network in terms of a quantum circuit, and then draw its equivalent classical neural net which involves $O(k^n)$ nodes in the hidden layer. Then, we show that the network uses a periodic activation function of cosine values of the linear combinations of the inputs and weights. The backpropagation is described through the gradient descent, and then iris and breast cancer datasets are used for the simulations. The numerical results indicate the network can be used in machine learning problems and it may provide exponential speedup over the same structured classical neural net.


title: On a monotone scheme for nonconvex nonsmooth optimization with applications to fracture mechanics

abstract: A general class of nonconvex optimization problems is considered, where the penalty is the composition of a linear operator with a nonsmooth nonconvex mapping, which is concave on the positive real line. The necessary optimality condition of a regularized version of the original problem is solved by means of a monotonically convergent scheme. Such problems arise in continuum mechanics, as for instance cohesive fractures, where singular behaviour is usually modelled by nonsmooth nonconvex energies. The proposed algorithm is successfully tested for fracture mechanics problems. Its performance is also compared to two alternative algorithms for nonsmooth nonconvex optimization arising in optimal control and mathematical imaging.


title: The Partially Truncated Euler-Maruyama Method for super-linear Stochastic Delay Differential Equations with variable delay and Markovian switching

abstract: A class of super-linear stochastic delay differential equations (SDDEs) with variable delay and Markovian switching is considered. The main aim of this paper is to develop the partially truncated Euler-Maruyama (EM) method for the super-linear SDDEs with variable delay and Markovian switching, and investigate the convergence and stability properties of the numerical solution under the generalized Khasminskii0type condition.


title: Quantum observables as magnetic pseudodifferential operators

abstract: In a series of papers we have argued that the 'basic' physical procedure of minimal coupling giving the quantum description of a Hamiltonian system interacting with a magnetic field, can be given a very satisfactory mathematical formulation as a twisted Weyl quantization \cite{MP2}. In this paper we shall present a review of some of these results with some modified proofs that allow a special focus on the dependence on the behavior of the magnetic field, having in view possible developments towards problems with unbounded magnetic fields. The main new result is contained in Theorem 2.9 and states that the the symbol of the evolution group of the self-adjoint operator defined by a real elliptic symbol of strictly positive order in a smooth bounded magnetic field is in the associated magnetic Moyal algebra, i.e. leaves invariant the space of Schwartz test functions and its dual


title: Unravelling Cosmological Perturbations

abstract: We explain in detail the quantum-to-classical transition for the cosmological perturbations using only the standard rules of quantum mechanics: the Schrodinger equation and Born's rule applied to a subsystem. We show that the conditioned, i.e. intrinsic, pure state of the perturbations, is driven by the interactions with a generic environment, to become increasingly localized in field space as a mode exists the horizon during inflation. With a favourable coupling to the environment, the conditioned state of the perturbations becomes highly localized in field space due to the expansion of spacetime by a factor of roughly exp(-c N), where N~50 and c is a model dependent number of order 1. Effectively the state rapidly becomes specified completely by a point in phase space and an effective, classical, stochastic process emerges described by a classical Langevin equation. The statistics of the stochastic process is described by the solution of the master equation that describes the perturbations coupled to the environment.


title: n-Dimensional Optical Orthogonal Codes, Bounds and Optimal Constructions

abstract: We generalized to higher dimensions the notions of optical orthogonal codes. We establish uper bounds on the capacity of general $ n $-dimensional OOCs, and on specific types of ideal codes (codes with zero off-peak autocorrelation). The bounds are based on the Johnson bound, and subsume many of the bounds that are typically applied to codes of dimension three or less. We also present two new constructions of ideal codes; one furnishes an infinite family of optimal codes for each dimension $ n\ge 2 $, and another which provides an asymptotically optimal family for each dimension $ n\ge 2 $. The constructions presented are based on certain point-sets in finite projective spaces of dimension $k$ over $GF(q)$ denoted $PG(k,q)$.


title: Statistics of continuous weak quantum measurement of an arbitrary quantum system with multiple detectors

abstract: In this paper, we establish a general theoretical framework for the description of continuous quantum measurements and the statistics of the results of such measurements. The framework concerns the measurement of an arbitrary quantum system with arbitrary number of detectors under realistic assumption of instant detector reactions and white noise sources. We attend various approaches to the problem showing their equivalence. The approaches include the full counting statistics (FCS) evolution equation a for pseudo-density matrix, the drift-diffusion equation for a density matrix in the space of integrated outputs, and discrete stochastic updates. We provide the derivation of the underlying equations from a microscopic approach based on full counting statistics method, a phenomenological approach based on Lindblad construction, and interaction with auxiliary quantum systems representing the detectors. We establish the necessary conditions on the phenomenological susceptibilities and noises that guarantee the unambiguous interpretation of the measurement results and the positivity of the density matrix. Our results can be easily extended to describe various quantum feedback schemes where the manipulation decision is based on the values of detector outputs.


title: Background independence in gauge theories

abstract: Classical field theory is insensitive to the split of the field into a background configuration and a dynamical perturbation. In gauge theories, the situation is complicated by the fact that a covariant (w.r.t. the background field) gauge fixing breaks this split independence of the action. Nevertheless, background independence is preserved on the observables, as defined via the BRST formalism, since the violation term is BRST exact. In quantized gauge theories, however, BRST exactness of the violation term is not sufficient to guarantee background independence, due to potential anomalies. We define background independent observables in a geometrical formulation as flat sections of the observable algebra bundle over the manifold of background configurations, with respect to a flat connection which implements background variations. A theory is then called background independent if such a flat (Fedosov) connection exists. We analyze the obstructions to preserve background independence at the quantum level for pure Yang-Mills theory and for perturbative gravity. We find that in the former case all potential obstructions can be removed by finite renormalization. In the latter case, as a consequence of power-counting non-renormalizability, there are infinitely many non-trivial potential obstructions to background independence. We leave open the question whether these obstructions actually occur.


title: Sharp seasonal threshold property for cooperative population dynamics with concave nonlinearities

abstract: We consider a biological population whose environment varies periodically in time, exhibiting two very different "seasons" : one is favorable and the other one is unfavorable. For monotone differential models with concave nonlinearities, we address the following question: the system's period being fixed, under what conditions does there exist a critical duration for the unfavorable season? By "critical duration" we mean that above some threshold, the population cannot sustain and extincts, while below this threshold, the system converges to a unique periodic and positive solution. We term this a "sharp seasonal threshold property" (SSTP, for short). Building upon a previous result, we obtain sufficient conditions for SSTP in any dimension and apply our criterion to a two-dimensional model featuring juvenile and adult populations of insects.


title: On the Effects of Subpacketization in Content-Centric Mobile Networks

abstract: A large-scale content-centric mobile ad hoc network employing subpacketization is studied in which each mobile node having finite-size cache moves according to the reshuffling mobility model and requests a content object from the library independently at random according to the Zipf popularity distribution. Instead of assuming that one content object is transferred in a single time slot, we consider a more challenging scenario where the size of each content object is considerably large and thus only a subpacket of a file can be delivered during one time slot, which is motivated by a fast mobility scenario. Under our mobility model, we consider a single-hop-based content delivery and characterize the fundamental trade-offs between throughput and delay. The order-optimal throughput-delay trade-off is analyzed by presenting the following two content reception strategies: the sequential reception for uncoded caching and the random reception for maximum distance separable (MDS)-coded caching. We also perform numerical evaluation to validate our analytical results. In particular, we conduct performance comparisons between the uncoded caching and the MDS-coded caching strategies by identifying the regimes in which the performance difference between the two caching strategies becomes prominent with respect to system parameters such as the Zipf exponent and the number of subpackets. In addition, we extend our study to the random walk mobility scenario and show that our main results are essentially the same as those in the reshuffling mobility model.


title: Time-Sensitive Networking for robotics

abstract: We argue that Time-Sensitive Networking (TSN) will become the de facto standard for real-time communications in robotics. We present a review and classification of the different communication standards which are relevant for the field and introduce the typical problems with traditional switched Ethernet networks. We discuss some of the TSN features relevant for deterministic communications and evaluate experimentally one of the shaping mechanisms in an exemplary robotic scenario. In particular, and based on our results, we claim that many of the existing real-time industrial solutions will slowly be replaced by TSN. And that this will lead towards a unified landscape of physically interoperable robot and robot components.


title: Solid-state magnetic traps and lattices

abstract: We propose and analyze magnetic traps and lattices for electrons in semiconductors. We provide a general theoretical framework and show that thermally stable traps can be generated by magnetically driving the particle's internal spin transition, akin to optical dipole traps for ultra-cold atoms. Next we discuss in detail periodic arrays of magnetic traps, i.e. magnetic lattices, as a platform for quantum simulation of exotic Hubbard models, with lattice parameters that can be tuned in real time. Our scheme can be readily implemented in state-of-the-art experiments, as we particularize for two specific setups, one based on a superconducting circuit and another one based on surface acoustic waves.


title: One-Shot Learning using Mixture of Variational Autoencoders: a Generalization Learning approach

abstract: Deep learning, even if it is very successful nowadays, traditionally needs very large amounts of labeled data to perform excellent on the classification task. In an attempt to solve this problem, the one-shot learning paradigm, which makes use of just one labeled sample per class and prior knowledge, becomes increasingly important. In this paper, we propose a new one-shot learning method, dubbed MoVAE (Mixture of Variational AutoEncoders), to perform classification. Complementary to prior studies, MoVAE represents a shift of paradigm in comparison with the usual one-shot learning methods, as it does not use any prior knowledge. Instead, it starts from zero knowledge and one labeled sample per class. Afterward, by using unlabeled data and the generalization learning concept (in a way, more as humans do), it is capable to gradually improve by itself its performance. Even more, if there are no unlabeled data available MoVAE can still perform well in one-shot learning classification. We demonstrate empirically the efficiency of our proposed approach on three datasets, i.e. the handwritten digits (MNIST), fashion products (Fashion-MNIST), and handwritten characters (Omniglot), showing that MoVAE outperforms state-of-the-art one-shot learning algorithms.


title: Toward Intelligent Autonomous Agents for Cyber Defense: Report of the 2017 Workshop by the North Atlantic Treaty Organization (NATO) Research Group IST-152-RTG

abstract: This report summarizes the discussions and findings of the Workshop on Intelligent Autonomous Agents for Cyber Defence and Resilience organized by the NATO research group IST-152-RTG. The workshop was held in Prague, Czech Republic, on 18-20 October 2017. There is a growing recognition that future cyber defense should involve extensive use of partially autonomous agents that actively patrol the friendly network, and detect and react to hostile activities rapidly (far faster than human reaction time), before the hostile malware is able to inflict major damage, evade friendly agents, or destroy friendly agents. This requires cyber-defense agents with a significant degree of intelligence, autonomy, self-learning, and adaptability. The report focuses on the following questions: In what computing and tactical environments would such an agent operate? What data would be available for the agent to observe or ingest? What actions would the agent be able to take? How would such an agent plan a complex course of actions? Would the agent learn from its experiences, and how? How would the agent collaborate with humans? How can we ensure that the agent will not take undesirable destructive actions? Is it possible to help envision such an agent with a simple example?


title: Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs

abstract: The computation of a cyber-physical system's reaction to a stimulus typically involves the execution of several tasks. The delay between stimulus and reaction thus depends on the interaction of these tasks and is subject to timing constraints. Such constraints exist for a number of reasons and range from possible impacts on customer experiences to safety requirements. We present a technique to determine end-to-end latencies of such task sequences. The technique is demonstrated on the example of electronic control units (ECUs) in automotive embedded real-time systems. Our approach is able to deal with multi-core architectures and supports four different activation patterns, including interrupts. It is the first formal analysis approach making use of load assumptions in order to exclude infeasible data propagation paths without the knowledge of worst-case execution times or worst-case response times. We employ a constraint programming solver to compute bounds on end-to-end latencies.


title: Assimilation of semi-qualitative observations with a stochastic Ensemble Kalman Filter

abstract: The Ensemble Kalman filter assumes the observations to be Gaussian random variables with a pre-specified mean and variance. In practice, observations may also have detection limits, for instance when a gauge has a minimum or maximum value. In such cases most data assimilation schemes discard out-of-range values, treating them as "not a number", at a loss of possibly useful qualitative information. The current work focuses on the development of a data assimilation scheme that tackles observations with a detection limit. We present the Ensemble Kalman Filter Semi-Qualitative (EnKF-SQ) and test its performance against the Partial Deterministic Ensemble Kalman Filter (PDEnKF) of Borup et al. (2015). Both are designed to explicitly assimilate the out-of-range observations: the out-of-range values are qualitative by nature (inequalities), but one can postulate a probability distribution for them and then update the ensemble members accordingly. The EnKF-SQ is tested within the framework of twin experiments, using both linear and non-linear toy models. Different sensitivity experiments are conducted to assess the influence of the ensemble size, observation detection limit and a number of observations on the performance of the filter. Our numerical results show that assimilating qualitative observations using the proposed scheme improves the overall forecast mean, making it viable for testing on more realistic applications such as sea-ice models.


title: Generation of keV hot near-solid density plasma states at high contrast laser-matter interaction

abstract: We present experimental evidence of ultra-high energy density plasma states with the keV bulk electron temperatures and near-solid electron densities generated during the interaction of high contrast, relativistically intense laser pulses with planar metallic foils. The bulk electron temperature and density have been measured using x-ray spectroscopy tools; the temperature of supra-thermal electrons traversing the target was determined from measured bremsstrahlung spectra; run-away electrons were detected using magnet spectrometers. The measured electron energy distribution was in a good agreement with results of Particle-in-Cell (PIC) simulations. Analysis of the bremsstrahlung spectra and results on measurements of the run-away electrons showed a suppression of the hot electrons production in the case of the high laser contrast. By application of Ti-foils covered with nm-thin Fe-layers we demonstrated that the thickness of the created keV hot dense plasma does not exceed 150 nm. Results of the pilot hydro-dynamic simulations that are based on a wide-range two-temperature EOS, wide-range description of all transport and optical properties, ionization, electron and radiative heating, plasma expansion, and Maxwell equations (with a wide-range permittivity) for description of the laser absorption are in excellent agreement with experimental results. According to these simulations, the generation of keV-hot bulk electrons is caused by the collisional mechanism of the laser pulse absorption in plasmas with a near solid step-like electron density profile. The laser energy firstly deposited into the nm-thin skin-layer is then transported into the target depth by the electron heat conductivity. This scenario is opposite to the volumetric character of the energy deposition produced by supra-thermal electrons.


title: The nature of transport and ferromagnetic properties of the GaAs structures with the Mn {\delta}-doped layer

abstract: We reveal the nature of transport and ferromagnetic properties of the GaAs structure with the single Mn {\delta}-doped layer. To modify the properties of the structure the electrically active radiation defects are created by irradiation with helium ions. The investigations show that the transport properties of the structure are determined by two parallel conduction channels (the channel associated with hole transport in the valence band and the channel associated with electron transport in the Mn impurity band) and that the ferromagnetic properties are determined by the electrons localized at the allowed states within the Mn impurity band. The results also help to understand the features of structures with the Mn {\delta}-layer nearby the quantum well.


title: Approaches to Enhancing Cyber Resilience: Report of the North Atlantic Treaty Organization (NATO) Workshop IST-153

abstract: This report summarizes the discussions and findings of the 2017 North Atlantic Treaty Organization (NATO) Workshop, IST-153, on Cyber Resilience, held in Munich, Germany, on 23-25 October 2017, at the University of Bundeswehr. Despite continual progress in managing risks in the cyber domain, anticipation and prevention of all possible attacks and malfunctions are not feasible for the current or future systems comprising the cyber infrastructure. Therefore, interest in cyber resilience (as opposed to merely risk-based approaches) is increasing rapidly, in literature and in practice. Unlike concepts of risk or robustness - which are often and incorrectly conflated with resilience - resiliency refers to the system's ability to recover or regenerate its performance to a sufficient level after an unexpected impact produces a degradation of its performance. The exact relation among resilience, risk, and robustness has not been well articulated technically. The presentations and discussions at the workshop yielded this report. It focuses on the following topics that the participants of the workshop saw as particularly important: fundamental properties of cyber resilience; approaches to measuring and modeling cyber resilience; mission modeling for cyber resilience; systems engineering for cyber resilience, and dynamic defense as a path toward cyber resilience.


title: Comparative study of the compensated semi-metals LaBi and LuBi : A first-principles approach

abstract: We have investigated the electronic structures of LaBi and LuBi, employing the full-potential all electron method as implemented in Wien2k. Using this, we have studied in detail both the bulk and the surface states of these materials. From our band structure calculations we find that LuBi, like LaBi, is a compensated semi-metal with almost equal and sizable electron and hole pockets. In analogy with experimental evidence in LaBi, we thus predict that LuBi will also be a candidate for extremely large magneto-resistance (XMR), which should be of immense technological interest. Our calculations reveal that LaBi, despite being gapless in the bulk spectrum, displays the characteristic features of a $\mathbb{Z}_{2}$ topological semi-metal, resulting in gapless Dirac cones on the surface, whereas LuBi only shows avoided band inversion in the bulk and is thus a conventional compensated semi-metal with extremely large magneto-resistance.


title: Quantum codes from classical graphical models

abstract: We introduce a new graphical framework for designing quantum error correction codes based on classical principles. A key feature of this graphical language, over previous approaches, is that it is closely related to that of factor graphs or graphical models in classical information theory and machine learning. It enables us to formulate the description of the recently-introduced `coherent parity check' quantum error correction codes entirely within the language of classical information theory. This makes our construction accessible without requiring background in quantum error correction or even quantum mechanics in general. More importantly, this allows for a collaborative interplay where one can design new quantum error correction codes derived from classical codes.


title: Verification of detailed balance for $\gamma$ absorption and emission in Dy isotopes

abstract: The photo-neutron cross sections of $^{162,163}\rm{Dy}$ have been measured for the first time in an energy region from the neutron threshold ($S_n$) up to $\approx$ $13$~MeV. The ($\gamma$,n) reaction was induced with quasi-monochromatic laser Compton-scattered $\gamma$ rays, produced at the NewSUBARU laboratory. The corresponding $\gamma$-ray strength functions ($\gamma$SF) have been calculated from the photo-neutron cross sections. The data are compared to reanalyzed $\gamma$SFs of $^{160-164}\rm{Dy}$, which are measured below $S_n$. The excellent agreement with the photo-neutron data at $S_n$ confirms the principle of detailed balance. Thus, a complete $\gamma$SF is established covering in total the energy region of 1 MeV $\leq$ E$_{\gamma}$ $\leq$ 13 MeV. These mid-shell well-deformed dysprosium isotopes all show scissors resonances with very similar structures. We find that our data predict the same integrated scissors strength as ($\gamma,\gamma^\prime$) data when integrated over the same energy range, which shows that the scissors mode very likely is consistent with the generalized Brink hypothesis. Finally, using the $\gamma$SFs as input in the reaction code TALYS, we have deduced radiative neutron-capture cross sections and compared them to direct measurements. We find a very good agreement within the uncertainties, which gives further support to the experimentally determined $\gamma$SFs.


title: Evolution of a Functionally Diverse Swarm via a Novel Decentralised Quality-Diversity Algorithm

abstract: The presence of functional diversity within a group has been demonstrated to lead to greater robustness, higher performance and increased problem-solving ability in a broad range of studies that includes insect groups, human groups and swarm robotics. Evolving group diversity however has proved challenging within Evolutionary Robotics, requiring reproductive isolation and careful attention to population size and selection mechanisms. To tackle this issue, we introduce a novel, decentralised, variant of the MAP-Elites illumination algorithm which is hybridised with a well-known distributed evolutionary algorithm (mEDEA). The algorithm simultaneously evolves multiple diverse behaviours for multiple robots, with respect to a simple token-gathering task. Each robot in the swarm maintains a local archive defined by two pre-specified functional traits which is shared with robots it come into contact with. We investigate four different strategies for sharing, exploiting and combining local archives and compare results to mEDEA. Experimental results show that in contrast to previous claims, it is possible to evolve a functionally diverse swarm without geographical isolation, and that the new method outperforms mEDEA in terms of the diversity, coverage and precision of the evolved swarm.


title: Acquisition of Phrase Correspondences using Natural Deduction Proofs

abstract: How to identify, extract, and use phrasal knowledge is a crucial problem for the task of Recognizing Textual Entailment (RTE). To solve this problem, we propose a method for detecting paraphrases via natural deduction proofs of semantic relations between sentence pairs. Our solution relies on a graph reformulation of partial variable unifications and an algorithm that induces subgraph alignments between meaning representations. Experiments show that our method can automatically detect various paraphrases that are absent from existing paraphrase databases. In addition, the detection of paraphrases using proof information improves the accuracy of RTE tasks.


title: Analysis of the Bitcoin blockchain: Socio-economic factors behind the adoption

abstract: As the first decentralized digital currency introduced in 2009 together with the blockchain, Bitcoin offers new opportunities both for developed and developing countries. Bitcoin peer-to-peer transactions are independent of the banking system, thus facilitating foreign exchanges with low transaction fees such as remittances, with a high degree of anonymity. These opportunities together with other key factors led the Bitcoin to become extremely popular and made its price skyrocket during 2017. However, while the Bitcoin blockchain attracts a lot of attention, it remains difficult to investigate where this attention comes from, due to the pseudo-anonymity of the system, and consequently to appreciate its social impact. Here we make an attempt to characterize the adoption of the bitcoin blockchain by country. In the first part of the work we show that information about the number of Bitcoin software client downloads, the IP addresses that act as relays for the transactions, and the Internet searches about Bitcoin provide together a coherent picture of the system evolution in different countries. Using these quantities as a proxy for user adoption, we identified several socio-economic indexes such as the GDP per capita, freedom of trade and the Internet penetration as key variables correlated with the degree of user adoption. In the second part of the work, we build a network of Bitcoin transactions between countries using the IP addresses of nodes relaying transactions and we develop an augmented version of the gravity model of trade in order to identify socio-economic factors linked to the flow of bitcoins between countries. In a nutshell our study provides a new insight on the bitcoin adoption by country and on the potential socio-economic drivers of the international bitcoin flow.


title: Topologically nontrivial counterexamples to Sard's theorem

abstract: We prove the following dichotomy: if $n=2,3$ and $f\in C^1(\mathbb{S}^{n+1},\mathbb{S}^n)$ is not homotopic to a constant map, then there is an open set $\Omega\subset\mathbb{S}^{n+1}$ such that $\mathrm{rank}\, df=n$ on $\Omega$ and $f(\Omega)$ is dense in $\mathbb{S}^n$, while for any $n\geq 4$, there is a map $f\in C^1(\mathbb{S}^{n+1},\mathbb{S}^n)$ that is not homotopic to a constant map and such that $\mathrm{rank}\, df<n$ everywhere. The result in the case $n\geq 4$ answers a question of Larry Guth.


title: A heuristic study of the distribution of primes in short and not-so-short intervals

abstract: A numerical study on the distributions of primes in short intervals of length $h$ over the natural numbers $N$ is presented. Based on Cram\'er's model in Number Theory, we obtain a heuristic expression applicable when $h \gg \log{N}$ but $h \ll N$, providing support to the Montgomery and Soundararajan conjecture on the variance of the prime distribution at this scale.


title: Thermoelectric power factor in nanostructured materials with randomized nanoinclusions

abstract: We investigate the electric and thermoelectric transport coefficients of nanocomposites using the Non-Equilibrium Greens Function (NEGF) method, which can accurately capture the details of geometry and disorder in these structures. We consider here two dimensional (2D) channels with embedded nanoinclusions (NIs) modelled as potential barriers of cylindrical shape and height VB. We investigate the effect of randomness of the NIs on the thermoelectric power factor by varying the positions, diameter, and heights of the barriers according to a Gaussian probability distribution. We find that the power factor shows indications of tolerance to variations in the parameters of the NIs when the Fermi level is placed into the bands and VB approx. kBT. These results could be experimentally relevant in the design of nanocomposites for thermoelectric applications.


title: Super-resolution Ultrasound Localization Microscopy through Deep Learning

abstract: Ultrasound localization microscopy has enabled super-resolution vascular imaging through precise localization of individual ultrasound contrast agents (microbubbles) across numerous imaging frames. However, analysis of high-density regions with significant overlaps among the microbubble point spread responses yields high localization errors, constraining the technique to low-concentration conditions. As such, long acquisition times are required to sufficiently cover the vascular bed. In this work, we present a fast and precise method for obtaining super-resolution vascular images from high-density contrast-enhanced ultrasound imaging data. This method, which we term Deep Ultrasound Localization Microscopy (Deep-ULM), exploits modern deep learning strategies and employs a convolutional neural network to perform localization microscopy in dense scenarios. This end-to-end fully convolutional neural network architecture is trained effectively using on-line synthesized data, enabling robust inference in-vivo under a wide variety of imaging conditions. We show that deep learning attains super-resolution with challenging contrast-agent densities, both in-silico as well as in-vivo. Deep-ULM is suitable for real-time applications, resolving about 70 high-resolution patches (128x128 pixels) per second on a standard PC. Exploiting GPU computation, this number increases to 1250 patches per second.


title: The multifractal spectra of planar waiting sets in beta expansions

abstract: Let $\beta>1$ be a real number. In this paper, the Hausdorff dimension of sets consisting of pairs of numbers with prescribed quantitative waiting time indicators in $\beta$-expansions are determined. More precisely, let $I$ be the unit interval $[0,1)$ and write $\underline{R}^\beta(x,y)$ and $\overline{R}^\beta(x,y)$ as the lower and upper quantitative waiting time indicators of $y$ by $x$ in $\beta$-expansions, respectively. Define the waiting set on the plane by \[E_\beta(a,b)=\left\{(x,y)\in I^2\colon\underline{R}^\beta(x,y)=a,\overline{R}^\beta(x,y)=b\right\}.\] where $0\leq a\leq b\leq\infty$, then the set $E_\beta(a,b)$ is always of Hausdorff dimension two for any pair of numbers $a$ and $b$. In addition, some generalizations for this result are also given in the last section.


title: An Investigation of Environmental Influence on the Benefits of Adaptation Mechanisms in Evolutionary Swarm Robotics

abstract: A robotic swarm that is required to operate for long periods in a potentially unknown environment can use both evolution and individual learning methods in order to adapt. However, the role played by the environment in influencing the effectiveness of each type of learning is not well understood. In this paper, we address this question by analysing the performance of a swarm in a range of simulated, dynamic environments where a distributed evolutionary algorithm for evolving a controller is augmented with a number of different individual learning mechanisms. The learning mechanisms themselves are defined by parameters which can be either fixed or inherited. We conduct experiments in a range of dynamic environments whose characteristics are varied so as to present different opportunities for learning. Results enable us to map environmental characteristics to the most effective learning algorithm.


title: Dynamics near the solitary waves of the supercritical gKDV Equations

abstract: This work is devoted to study the dynamics of the supercritical gKDV equations near solitary waves in the energy space $H^1$. We construct smooth local center-stable, center-unstable and center manifolds near the manifold of solitary waves and give a detailed description of the local dynamics near solitary waves. In particular, the instability is characterized as following: any forward flow not starting from the center-stable manifold will leave a neighborhood of the manifold of solitary waves exponentially fast. Moreover, orbital stability is proved on the center manifold, which implies the uniqueness of the center manifold and the global existence of solutions on it.


title: AMMCOA - Nomadic 5G Private Networks

abstract: This paper presents ideas and concepts for interconnected off-road vehicles, like harvesters or tandem rollers, which span a mobile network by themselves to be, to some extent, independent from the network infrastructure. Multiple RATs are used to cover a variety of use cases, including mmW technology for short range high bandwidth communication and ranging. The AMMCOA Project aims at providing connectivity in areas where the infrastructure network is either at long range distances or out off range entirely. In this case, for certain network services, like authentication of UEs, to be available, some of the core network functionalities have to be instantiated locally. This effectively turns the local network into a light version of a core network. In this paper we give an overview of the project's use cases, their requirements, the architectural idea of a local autonomous network (Trust Zone, 5G Island, 5G Private Networks) and the AMMCOA network architecture envisioned so far.


title: Strong Band-Edge Light Emission from InGaAs RTDs: Evidence for the Universal Nature of Resonant- and Zener- Co-Tunneling

abstract: We report strong light emission from a room-temperature n-type unipolar-doped In0.53Ga0.47As/AlAs double-barrier resonant-tunneling diode (DBRTD) precisely at the In0.53Ga0.47As band-edge near 1650 nm. The emission characteristics are very similar to what was observed recently in GaN/AlN DBRTDs, both of which suggest that the mechanism for emission is cross-gap electron-hole recombination via resonant- and Zener co-tunneling of electrons, the latter mechanism generating the required holes. Analysis shows that because of the relatively small bandgap, the Zener tunneling probability can be large in this In0.53Ga0.47As/AlAs DBRTD, and is a mechanism that may have been overlooked in the longstanding literature. The universal nature of the co-tunneling is best supported by the factor (EG)2/F in the Kane tunneling probability, which is nearly the same at the peak voltage of the In0.53Ga0.47As and GaN DBRTDs.


title: Rethinking the Faster R-CNN Architecture for Temporal Action Localization

abstract: We propose TAL-Net, an improved approach to temporal action localization in video that is inspired by the Faster R-CNN object detection framework. TAL-Net addresses three key shortcomings of existing approaches: (1) we improve receptive field alignment using a multi-scale architecture that can accommodate extreme variation in action durations; (2) we better exploit the temporal context of actions for both proposal generation and action classification by appropriately extending receptive fields; and (3) we explicitly consider multi-stream feature fusion and demonstrate that fusing motion late is important. We achieve state-of-the-art performance for both action proposal and localization on THUMOS'14 detection benchmark and competitive performance on ActivityNet challenge.


title: Stochastic approach and fluctuation theorem for charge transport in diodes

abstract: A stochastic approach for charge transport in diodes is developed in consistency with the laws of electricity, thermodynamics, and microreversibility. In this approach, the electron and hole densities are ruled by diffusion-reaction stochastic partial differential equations and the electric field generated by the charges is determined with the Poisson equation. These equations are discretized in space for the numerical simulations of the mean density profiles, the mean electric potential, and the current-voltage characteristics. Moreover, the full counting statistics of the carrier current and the measured total current including the contribution of the displacement current are investigated. On the basis of local detailed balance, the fluctuation theorem is shown to hold for both currents.


title: Modelling customer online behaviours with neural networks: applications to conversion prediction and advertising retargeting

abstract: In this paper, we apply neural networks into digital marketing world for the purpose of better targeting the potential customers. To do so, we model the customer online behaviours using dedicated neural network architectures. Starting from user searched keywords in a search engine to the landing page and different following pages, until the user left the site, we model the whole visited journey with a Recurrent Neural Network (RNN), together with Convolution Neural Networks (CNN) that can take into account of the semantic meaning of user searched keywords and different visited page names. With such model, we use Monte Carlo simulation to estimate the conversion rates of each potential customer in the future visiting. We believe our concept and the preliminary promising results in this paper enable the use of largely available customer online behaviours data for advanced digital marketing analysis.


title: Modelless X-Ray Scattering Study of a Silica Hydrosol Surface

abstract: The structure of the adsorbed layer of alkali ions on the surface of colloidal silica solutions with a particle size of ~27 nm has been studied by reflectometry and diffuse scattering of synchrotron radiation with a photon energy of about 71 keV. Electron density profiles in the direction perpendicular to the surface have been reconstructed from experimental data and spectra of the correlation function of heights in the surface plane have been obtained. The revealed deviation of the integral and frequency characteristics of the roughness spectra of the silica sol surface from predictions of the capillary-wave theory is of a fundamental character. This deviation is due to the contribution from roughnesses with low spatial frequencies and to the interference of diffuse scattering from different layer interfaces of the surface structure.


title: Families of explicit quasi-hyperbolic and hyperbolic surfaces

abstract: We construct explicit families of quasi-hyperbolic and hyperbolic surfaces. This is based on earlier work of Vojta, and the recent expansion and generalization of it by the first author. In this paper we further extend it to the singular case, obtaining results for the surface of cuboids, the generalized surfaces of cuboids, and other families of Diophantine surfaces of general type. In particular, we produce explicit families of smooth complete intersection surfaces of multidegrees $(m_1,\ldots,m_n)$ in $\mathbb{P}^{n+2}$ which are hyperbolic, for any $n \geq 8$ and any degrees $m_i \geq 2$. We also show similar results for complete intersection surfaces in $\mathbb{P}^{n+2}$ for $n=4,5,6,7$. These families give evidence for [Dem18, Conjecture 0.18] in the case of surfaces.


title: Unsupervised learning of the brain connectivity dynamic using residual D-net

abstract: In this paper, we propose a novel unsupervised learning method to learn the brain dynamics using a deep learning architecture named residual D-net. As it is often the case in medical research, in contrast to typical deep learning tasks, the size of the resting-state functional Magnetic Resonance Image (rs-fMRI) datasets for training is limited. Thus, the available data should be very efficiently used to learn the complex patterns underneath the brain connectivity dynamics. To address this issue, we use residual connections to alleviate the training complexity through recurrent multi-scale representation. We conduct two classification tasks to differentiate early and late stage Mild Cognitive Impairment (MCI) from Normal healthy Control (NC) subjects. The experiments verify that our proposed residual D-net indeed learns the brain connectivity dynamics, leading to significantly higher classification accuracy compared to previously published techniques.


title: Tur\'an's Theorem for the Fano plane

abstract: Confirming a conjecture of Vera T. S\'os in a very strong sense, we give a complete solution to Tur\'an's hypergraph problem for the Fano plane. That is we prove for $n\ge 8$ that among all $3$-uniform hypergraphs on $n$ vertices not containing the Fano plane there is indeed exactly one whose number of edges is maximal, namely the balanced, complete, bipartite hypergraph. Moreover, for $n=7$ there is exactly one other extremal configuration with the same number of edges: the hypergraph arising from a clique of order $7$ by removing all five edges containing a fixed pair of vertices. For sufficiently large values $n$ this was proved earlier by F\"uredi and Simonovits, and by Keevash and Sudakov, who utilised the stability method.


title: A Weakly Nonlinear Model for the Damping of Resonantly Forced Density Waves in Dense Planetary Rings

abstract: In this paper we address the stability of resonantly forced density waves in dense planetary rings. Already by Goldreich & Tremaine (1978) it has been argued that density waves might be unstable, depending on the relationship between the ring's viscosity and the surface mass density. In the recent paper Schmidt et al. (2016) we have pointed out that when - within a fluid description of the ring dynamics - the criterion for viscous overstability is satisfied, forced spiral density waves become unstable as well. In this case, linear theory fails to describe the damping, but nonlinearity of the underlying equations guarantees a finite amplitude and eventually a damping of the wave. We apply the multiple scale formalism to derive a weakly nonlinear damping relation from a hydrodynamical model. This relation describes the resonant excitation and nonlinear viscous damping of spiral density waves in a vertically integrated fluid disk with density dependent transport coefficients. The model consistently predicts density waves to be (linearly) unstable in a ring region where the conditions for viscous overstability are met. Sufficiently far away from the Lindblad resonance, the surface mass density perturbation is predicted to saturate to a constant value due to nonlinear viscous damping. The wave's damping lengths of the model depend on certain input parameters, such as the distance to the threshold for viscous overstability in parameter space and the ground state surface mass density.


title: Achievable Information Rates for Nonlinear Fiber Communication via End-to-end Autoencoder Learning

abstract: Machine learning is used to compute achievable information rates (AIRs) for a simplified fiber channel. The approach jointly optimizes the input distribution (constellation shaping) and the auxiliary channel distribution to compute AIRs without explicit channel knowledge in an end-to-end fashion.


title: A cosmological pathway to testable leptogenesis

abstract: Leptogenesis could have occurred at temperatures much lower than generally thought, if the cosmological history of the Universe underwent a period of accelerated expansion, as is predicted for example in a class of scalar-tensor theories of gravitation. We discuss how non-standard cosmologies can open new pathways for low scale leptogenesis. Within these scenarios, direct tests of leptogenesis could also provide information on the very early times Universe evolution, corresponding to temperatures larger than the TeV.


title: Learning an Inverse Tone Mapping Network with a Generative Adversarial Regularizer

abstract: Transferring a low-dynamic-range (LDR) image to a high-dynamic-range (HDR) image, which is the so-called inverse tone mapping (iTM), is an important imaging technique to improve visual effects of imaging devices. In this paper, we propose a novel deep learning-based iTM method, which learns an inverse tone mapping network with a generative adversarial regularizer. In the framework of alternating optimization, we learn a U-Net-based HDR image generator to transfer input LDR images to HDR ones, and a simple CNN-based discriminator to classify the real HDR images and the generated ones. Specifically, when learning the generator we consider the content-related loss and the generative adversarial regularizer jointly to improve the stability and the robustness of the generated HDR images. Using the learned generator as the proposed inverse tone mapping network, we achieve superior iTM results to the state-of-the-art methods consistently.


title: Theory of tunneling spectroscopy of normal metal/ferromagnet/spin-triplet superconductor junctions

abstract: We study the tunneling conductance of a ballistic normal metal / ferromagnet / spin-triplet superconductor junction using the extended Blonder-Tinkham-Klapwijk formalism as a model for a $c$-axis oriented Au / SrRuO$_{3}$ / Sr$_{2}$RuO$_{4}$ junction. We compare chiral $p$-wave (CPW) and helical $p$-wave (HPW) pair potentials, combined with ferromagnet magnetization directions parallel and perpendicular to the interface. For fixed $\theta_{M}$, where $\theta_{M}$ is a direction of magnetization in the ferromagnet measured from the $c$-axis, the tunneling conductance of CPW and HPW clearly show different voltage dependencies. It is found that the cases where the $d$-vector is perpendicular to the magnetization direction (CPW with $\theta_{M} = \pi/2$ and HPW with $\theta_{M} = 0$) are identical. The obtained results serve as a guide to determine the pairing symmetry of the spin-triplet superconductor Sr$_{2}$RuO$_{4}$.


title: Dimension-free estimates for discrete Hardy-Littlewood averaging operators over the cubes in $\mathbb Z^d$

abstract: Dimension-free bounds will be provided in maximal and $r$-variational inequalities on $\ell^p(\mathbb Z^d)$ corresponding to the discrete Hardy-Littlewood averaging operators defined over the cubes in $\mathbb Z^d$. We will also construct an example of a symmetric convex body in $\mathbb Z^d$ for which maximal dimension-free bounds fail on $\ell^p(\mathbb Z^d)$ for all $p\in(1, \infty)$. Finally, some applications in ergodic theory will be discussed.


title: Inferring flow parameters and turbulent configuration with physics-informed data-assimilation and spectral nudging

abstract: Inferring physical parameters of turbulent flows by assimilation of data measurements is an open challenge with key applications in meteorology, climate modeling and astrophysics. Up to now, spectral nudging was applied for empirical data-assimilation as a mean to improve deterministic and statistical predictability in the presence of a restricted set of field measurements only. Here, we explore under which conditions a nudging protocol can be used for two novel objectives: to unravel the value of the physical flow parameters and to reconstruct large-scale turbulent properties starting from a sparse set of information in space and in time. First, we apply nudging to quantitatively infer the unknown rotation rate and the shear mechanism for turbulent flows. Second, we show that a suitable spectral nudging is able to reconstruct the energy containing scales in rotating turbulence by using a blind set-up, i.e. without any input about the external forcing mechanisms acting on the flow. Finally, we discuss the broad potentialities of nudging to other key applications for physics-informed data-assimilation in environmental or applied flow configurations.


title: Summary on the proof of BAB Conjecture

abstract: This is a summary of the proof of BAB conjecture. All material are taken from the two BAB paper in the reference. The aim of this summary is to help reader to understand the more technical side of the proof of BAB.


title: CUDA Support in GNA Data Analysis Framework

abstract: Usage of GPUs as co-processors is a well-established approach to accelerate costly algorithms operating on matrices and vectors. We aim to further improve the performance of the Global Neutrino Analysis framework (GNA) by adding GPU support in a way that is transparent to the end user. To achieve our goal we use CUDA, a state of the art technology providing GPGPU programming methods. In this paper we describe new features of GNA related to CUDA support. Some specific framework features that influence GPGPU integration are also explained. The paper investigates the feasibility of GPU technology application and shows an example of the achieved acceleration of an algorithm implemented within framework. Benchmarks show a significant performance increase when using GPU transformations. The project is currently in the developmental phase. Our plans include implementation of the set of transformations necessary for the data analysis in the GNA framework and tests of the GPU expediency in the complete analysis chain.


title: Assessing the causal effect of binary interventions from observational panel data with few treated units

abstract: Researchers are often challenged with assessing the impact of an intervention on an outcome of interest in situations where the intervention is non-randomised, the intervention is only applied to one or few units, the intervention is binary, and outcome measurements are available at multiple time points. In this paper, we review existing methods for causal inference in these situations. We detail the assumptions underlying each method, emphasize connections between the different approaches and provide guidelines regarding their practical implementation. Several open problems are identified thus highlighting the need for future research.


title: Fluctuation-induced N\'eel and Bloch skyrmions at topological insulator surfaces

abstract: Ferromagnets in contact with a topological insulator have become appealing candidates for spintronics due to the presence of Dirac surface states with spin-momentum locking. Because of this bilayer Bi$_2$Se$_3$-EuS structures, for instance, show a finite magnetization at the interface at temperatures well exceeding the Curie temperature of bulk EuS. Here we determine theoretically the effective magnetic interactions at a topological insulator-ferromagnet interface {\it above} the magnetic ordering temperature. We show that by integrating out the Dirac fermion fluctuations an effective Dzyaloshinskii-Moriya interaction and magnetic charging interaction emerge. As a result individual magnetic skyrmions and extended skyrmion lattices can form at interfaces of ferromagnets and topological insulators, the first indications of which have been very recently observed experimentally.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.str-el hep-th


title: Vanishing estimates for fully bubbling solutions of $SU(n+1)$ Toda Systems at a singular source

abstract: For Gauss curvature equation (or more general Toda systems) defined on two dimensional spaces, the vanishing rate of certain curvature functions on blowup points is a key estimate for numerous applications. However, if these equations have singular sources, very few vanishing estimates can be found. In this article we consider a Toda system with singular sources defined on a Riemann surface and we prove a very surprising vanishing estimates and a reflection phenomenon for certain functions involving the Gauss curvature.


title: Verifying Text Summaries of Relational Data Sets

abstract: We present a novel natural language query interface, the AggChecker, aimed at text summaries of relational data sets. The tool focuses on natural language claims that translate into an SQL query and a claimed query result. Similar in spirit to a spell checker, the AggChecker marks up text passages that seem to be inconsistent with the actual data. At the heart of the system is a probabilistic model that reasons about the input document in a holistic fashion. Based on claim keywords and the document structure, it maps each text claim to a probability distribution over associated query translations. By efficiently executing tens to hundreds of thousands of candidate translations for a typical input document, the system maps text claims to correctness probabilities. This process becomes practical via a specialized processing backend, avoiding redundant work via query merging and result caching. Verification is an interactive process in which users are shown tentative results, enabling them to take corrective actions if necessary. Our system was tested on a set of 53 public articles containing 392 claims. Our test cases include articles from major newspapers, summaries of survey results, and Wikipedia articles. Our tool revealed erroneous claims in roughly a third of test cases. A detailed user study shows that users using our tool are in average six times faster at checking text summaries, compared to generic SQL interfaces. In fully automated verification, our tool achieves significantly higher recall and precision than baselines from the areas of natural language query interfaces and fact-checking.


title: On the inverse energy transfer in rotating turbulence

abstract: Rotating turbulence is an example of a three-dimensional system in which an inverse cascade of energy, from the small to the large scales, can be formed. While usually understood as a byproduct of the typical bidimensionalization of rotating flows, the role of the three-dimensional modes is not completely comprehended yet. In order to shed light on this issue, we performed direct numerical simulations of rotating turbulence where the 2D modes falling in the plane perpendicular to rotation are removed from the dynamical evolution. Our results show that while the two-dimensional modes are key to the formation of a stationary inverse cascade, the three-dimensional degrees of freedom play a non-trivial role in bringing energy to the larger scales also. Furthermore, we show that this backwards transfer of energy is carried out by the homochiral channels of the three-dimensional modes.


title: Azimuthal polarization of polarized top quark in noncommutative standard model

abstract: Top quark decays before hadronization and its information transfer to final products. The top quark decays via the weak interaction, hence the azimuthal polarized decay rate is zero in the leading order of SM. Therefore the study of top quark could be taken into consideration as useful tools to search for new physics. In this paper, we calculate the decay of polarized top quark in the framework of the noncommutative standard model. We investigate the contribution of noncommutative space-time on the azimuthal polarized decay rate and spin analyzing power. Also we depict the energy spectrum for the charged lepton and the variation of the total differential decay rate with respect to the azimuthal angle which receive some correction in noncommutative space-time.


title: A tale of two derivatives: phase space symmetries and Noether charges in diffeomorphism invariant theories

abstract: For a field theory that is invariant under diffeomorphisms there is a subtle interplay between symmetries, conservation laws and the phase space of the theory. The natural language for describing these ideas is that of differential forms and both differential forms on space-time and differential forms on the infinite dimensional space of solutions of the equations of motion of the field theory play an important role. There are exterior derivatives on both spaces and together they weave a double differential complex which captures the cohomology of the theory. This is important in the definition of invariants in general relativity, such as mass and angular momentum and is also relevant to the study of quantum anomalies in gauge theories. We derive the structure of this double complex and show how it relates to conserved quantities in gravitational theories. One consequence of the construction is that conserved quantities can be calculated exactly at finite distance --- for example it is not necessary to go to asymptotic regimes to calculate the mass or angular momentum of a stationary solution of Einstein's equations, they can be obtained exactly by an integration over any sphere outside the mass even at finite radius.


title: Domain Adversarial for Acoustic Emotion Recognition

abstract: The performance of speech emotion recognition is affected by the differences in data distributions between train (source domain) and test (target domain) sets used to build and evaluate the models. This is a common problem, as multiple studies have shown that the performance of emotional classifiers drop when they are exposed to data that does not match the distribution used to build the emotion classifiers. The difference in data distributions becomes very clear when the training and testing data come from different domains, causing a large performance gap between validation and testing performance. Due to the high cost of annotating new data and the abundance of unlabeled data, it is crucial to extract as much useful information as possible from the available unlabeled data. This study looks into the use of adversarial multitask training to extract a common representation between train and test domains. The primary task is to predict emotional attribute-based descriptors for arousal, valence, or dominance. The secondary task is to learn a common representation where the train and test domains cannot be distinguished. By using a gradient reversal layer, the gradients coming from the domain classifier are used to bring the source and target domain representations closer. We show that exploiting unlabeled data consistently leads to better emotion recognition performance across all emotional dimensions. We visualize the effect of adversarial training on the feature representation across the proposed deep learning architecture. The analysis shows that the data representations for the train and test domains converge as the data is passed to deeper layers of the network. We also evaluate the difference in performance when we use a shallow neural network versus a \emph{deep neural network} (DNN) and the effect of the number of shared layers used by the task and domain classifiers.


title: Cross-domain Dialogue Policy Transfer via Simultaneous Speech-act and Slot Alignment

abstract: Dialogue policy transfer enables us to build dialogue policies in a target domain with little data by leveraging knowledge from a source domain with plenty of data. Dialogue sentences are usually represented by speech-acts and domain slots, and the dialogue policy transfer is usually achieved by assigning a slot mapping matrix based on human heuristics. However, existing dialogue policy transfer methods cannot transfer across dialogue domains with different speech-acts, for example, between systems built by different companies. Also, they depend on either common slots or slot entropy, which are not available when the source and target slots are totally disjoint and no database is available to calculate the slot entropy. To solve this problem, we propose a Policy tRansfer across dOMaIns and SpEech-acts (PROMISE) model, which is able to transfer dialogue policies across domains with different speech-acts and disjoint slots. The PROMISE model can learn to align different speech-acts and slots simultaneously, and it does not require common slots or the calculation of the slot entropy. Experiments on both real-world dialogue data and simulations demonstrate that PROMISE model can effectively transfer dialogue policies across domains with different speech-acts and disjoint slots.


title: Simultaneous long-term monitoring of LS I +61{\deg}303 by OVRO and Fermi-LAT

abstract: Previous long-term monitorings of the gamma-ray-loud X-ray binary LS I +61{\deg}303 have revealed the presence of a long-term modulation of ~4.5 years. After nine years of simultaneous monitoring of LS I +61{\deg}303 by the Owens Valley Radio Observatory and the Fermi-LAT, two cycles of the long-term period are now available. Here we perform timing-analysis on the radio and the gamma-ray light curves. We confirm the presence of previously detected periodicities at both radio and GeV gamma-ray wavelengths. Moreover, we discover an offset of the long-term modulation between radio and gamma-ray data which could imply different locations of the radio (15 GHz) and GeV emission along the precessing jet.


title: Handling Constraints in Combinatorial Interaction Testing in the presence of Multi Objective Particle Swarm and Multithreading

abstract: Context: Combinatorial testing strategies have lately received a lot of attention as a result of their diverse applications. In its simple form, a combinatorial strategy can reduce several input parameters (configurations) of a system into a small set based on their interaction (or combination). In practice, the input configurations of software systems are subjected to constraints, especially in case of highly configurable systems. To implement this feature within a strategy, many difficulties arise for construction. While there are many combinatorial interaction testing strategies nowadays, few of them support constraints. Objective: This paper presents a new strategy, to construct combinatorial interaction test suites in the presence of constraints. Method: The design and algorithms are provided in detail. To overcome the multi-judgment criteria for an optimal solution, the multi-objective particle swarm optimization and multithreading are used. The strategy and its associated algorithms are evaluated extensively using different benchmarks and comparisons. Results: Our results are promising as the evaluation results showed the efficiency and performance of each algorithm in the strategy. The benchmarking results also showed that the strategy can generate constrained test suites efficiently as compared to state-of-the-art strategies. Conclusion: The proposed strategy can form a new way for constructing of constrained combinatorial interaction test suites. The strategy can form a new and effective base for future implementations.


title: Search for the magnetic monopole at a magnetoelectric surface

abstract: We show, by solving Maxwell's equations, that an electric charge on the surface of a slab of a linear magnetoelectric material generates an image magnetic monopole below the surface provided that the magnetoelectric has a diagonal component in its magnetoelectric response. The image monopole, in turn, generates an ideal monopolar magnetic field outside of the slab. Using realistic values of the electric- and magnetic- field susceptibilties, we calculate the magnitude of the effect for the prototypical magnetoelectric material Cr$_2$O$_3$. We use low energy muon spin rotation to measure the strength of the magnetic field generated by charged muons as a function of their distance from the surface of a Cr$_2$O$_3$ films, and show that the results are consistent with the existence of the monopole. We discuss other possible routes to detecting the monopolar field, and show that, while the predicted monopolar field generated by Cr$_2$O$_3$ is above the detection limit for standard magnetic force microscopy, detection of the field using this technique is prevented by surface charging effects.


title: Formation of exotic states in the $s-d$ exchange and $t-J$ models

abstract: Different scenarios of the implementation of the two-band model in strongly correlated electrons systems, including frustrated magnets, high-temperature superconductors, and Kondo lattices, are considered. The interaction of current carriers with magnetic moments in the representations of pseudofermions or Schwinger bosons describing the spinon excitations is studied on the basis of the derived Hamiltonians of the $s-d$ exchange and $t-J$ models within the formalism of many-electron Hubbard operators.


title: Central limit theorems from the roots of probability generating functions

abstract: For each $n$, let $X_n \in \{0,\ldots,n\}$ be a random variable with mean $\mu_n$, standard deviation $\sigma_n$, and let \[ P_n(z) = \sum_{k=0}^n \mathbb{P}( X_n = k) z^k ,\] be its probability generating function. We show that if none of the complex zeros of the polynomials $\{ P_n(z)\}$ are contained in a neighbourhood of $1 \in \mathbb{C}$ and $\sigma_n > n^{\varepsilon}$ for some $\varepsilon >0$, then $ X_n^* =(X_n - \mu_n)\sigma^{-1}_n$ tends to a normal random variable $Z \sim \mathcal{N}(0,1)$ in distribution as $n \rightarrow \infty$. Moreover, we show this result is sharp in the sense that there exist sequences of random variables $\{X_n\}$ with $\sigma_n > C\log n $ for which $P_n(z)$ has no roots near $1$ and $X_n^*$ is not asymptotically normal. These results disprove a conjecture of Pemantle and improve upon various results in the literature. We go on to prove several other results connecting the location of the zeros of $P_n(z)$ and the distribution of the random variables $X_n$.


title: Bose--Einstein condensation in the Luttinger--Sy model with contact interaction

abstract: We study bosons on the real line in a Poisson random potential (Luttinger--Sy model) with contact interaction in the thermodynamic limit at absolute zero temperature. We prove that generalized Bose--Einstein condensation (BEC) occurs almost surely if the intensity $\nu_N$ of the Poisson potential satisfies $[\ln (N)]^4/N^{1 - 2\eta} \ll \nu_N \lesssim 1$ for arbitrary $0 < \eta \leq 1/3$. We also show that the contact interaction alters the type of condensation, going from a type-I BEC to a type-III BEC as the strength of this interaction is increased. Furthermore, for sufficiently strong contact interactions and $0 < \eta < 1/6$ we prove that the mean particle density in the largest interval is almost surely bounded asymptotically by $\nu_NN^{3/5+\delta}$ for $\delta > 0$.


title: On the non-inner automorphism conjecture of finite $p$-groups

abstract: A long-standing conjecture asserts that every finite non-abelian $p$-group has a non-inner automorphism of order $p$. In this paper, we settle the conjecture for a finite $p$-group ($p >2$) of nilpotency class $n$ with certain conditions.


title: On the Location of the Minimizer of the Sum of Two Strongly Convex Functions

abstract: The problem of finding the minimizer of a sum of convex functions is central to the field of distributed optimization. Thus, it is of interest to understand how that minimizer is related to the properties of the individual functions in the sum. In this paper, we provide an upper bound on the region containing the minimizer of the sum of two strongly convex functions. We consider two scenarios with different constraints on the upper bound of the gradients of the functions. In the first scenario, the gradient constraint is imposed on the location of the potential minimizer, while in the second scenario, the gradient constraint is imposed on a given convex set in which the minimizers of two original functions are embedded. We characterize the boundaries of the regions containing the minimizer in both scenarios.


title: Time Evolution of Pulsar Magnetosphere I - An Implicit Approach

abstract: We apply a computationally efficient technique to validate the global structure of the pulsar magnetosphere. In this first of a series of studies, a 3D, computationally intensive, implicit Crank-Nicolson finite-difference scheme is developed. The region of magnetic influence is evolved under the approximation of force-free electrodynamics. The main objective of this paper is to present our code and use it to demonstrate and verify the now widely - accepted global features of a pulsar magnetosphere. Our results qualitatively agree with previously developed time-dependent models for an oblique rotator. In line with earlier studies, we also demonstrate that our simulations can run for many stellar rotations. Once we extend our code, we believe that our implicit approach can be extremely useful to investigate magnetospheres filled with resistive plasma, develop better resolution current sheets and investigate small scale microphysics of pair creation using particle-in-cell techniques.


title: Practical Issues in the Synthesis of Ternary Sequences

abstract: Several issues related to the practical synthesis of ternary sequences with specified spectra are addressed in this paper. Specifically, sequences with harmonic multiples of two and three suppressed are studied, given their relevance when testing and characterizing nonlinear systems. In particular, the effect of non-uniform Digital to Analog Converter (DAC) levels on the spectral properties of the generated signal is analyzed. It is analytically shown that the DAC non-uniform levels result in degraded harmonic suppression performance. Moreover, a new approach is proposed for designing ternary sequences, which is flexible and can be adapted to suit different requirements. The resulting sequences, denoted as randomized constrained sequences, are characterized theoretically by deriving an analytical expression of the power spectral density. Furthermore, they are extensively compared with three synthesis approaches proposed in the literature. The approach is validated by numerical simulations and experimental results, showing the potential to achieve harmonic suppression performance of approximately 100 dB.


title: $E_8$ and the average size of the 3-Selmer group of the Jacobian of a pointed genus-2 curve

abstract: We prove that the average size of the 3-Selmer group of a genus-2 curve with a marked Weierstrass point is 4.


title: A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

abstract: We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be computed in polynomial time. Together, the two transformations turn any system of linear mixed constraints into a bounded system, i.e., a system for which termination can be achieved easily. Existing approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from proofs, only explore a finite search space after application of our two transformations. Instead of generating a priori bounds for the variables, e.g., as suggested by Papadimitriou, unbounded variables are eliminated through the two transformations. The transformations orient themselves on the structure of an input system instead of computing a priori (over-)approximations out of the available constants. Experiments provide further evidence to the efficiency of the transformations in practice. We also present a polynomial method for converting certificates of (un)satisfiability from the transformed to the original system.


title: Three problems about multi-scale modelling in cosmology

abstract: The debate in cosmology concerning LambdaCDM and MOND depends crucially on their respective ability of modelling across scales, and dealing with some of the specific problems that arise along the way. The main upshot of this article is to present three main problems facing multi-scale modelling in contemporary cosmology. The LambdaCDM model, which is the standard and by far most successful current cosmological model, faces what I call the downscaling problem when it comes to explain some recalcitrant evidence at the scale of individual galaxies, such as the mass-discrepancy acceleration relation (MDAR) and the baryonic Tully-Fisher relation (BTF). While the fastgrowing development of computer simulations has addressed these problems, nagging worries remain about some of the epistemic limits of these computer simulations in retrieving (as opposed to explaining) the data. The so-called upscaling problem affects MOND and its ability not just to explain but even simply retrieve large-scale structure and galaxy clusters. Recent attempts at extending MOND (EMOND) have had a limited empirical success, and are still far from providing a consistent explanation for possible formation mechanisms at the large-scale structure. Finally, the in between scales problem affects proposals designed to achieve the best of both worlds at the meso-scale. This is a fascinating area from a physical and a philosophical point of view, where the main challenge is the ability to have genuine predictive novelty.


title: Lightweight Adaptive Mixture of Neural and N-gram Language Models

abstract: It is often the case that the best performing language model is an ensemble of a neural language model with n-grams. In this work, we propose a method to improve how these two models are combined. By using a small network which predicts the mixture weight between the two models, we adapt their relative importance at each time step. Because the gating network is small, it trains quickly on small amounts of held out data, and does not add overhead at scoring time. Our experiments carried out on the One Billion Word benchmark show a significant improvement over the state of the art ensemble without retraining of the basic modules.


title: SoK: Securing Email -- A Stakeholder-Based Analysis (Extended Version)

abstract: While email is the most ubiquitous and interoperable form of online communication today, it was not conceived with strong security guarantees, and the ensuing security enhancements are, by contrast, lacking in both ubiquity and interoperability. This situation motivates our research. We begin by identifying a variety of stakeholders who have an interest in the current email system and in efforts to provide secure solutions. We then use the tussle among stakeholders to explain the evolution of fragmented secure email solutions undertaken by industry, academia, and independent developers. We also evaluate the building blocks of secure email -- cryptographic primitives, key management schemes, and system designs -- to identify their support for stakeholder properties. From our analysis, we conclude that a one-size-fits-all solution is unlikely. Furthermore, we highlight that vulnerable users are not well served by current solutions, account for the failure of PGP, and argue that secure messaging, while complementary, is not a fully substitutable technology.