title: Reinforcement Learning with Deep Energy-Based Policies

abstract: We propose a method for learning expressive energy-based policies for continuous states and actions, which has been feasible only in tabular domains before. We apply our method to learning maximum entropy policies, resulting into a new algorithm, called soft Q-learning, that expresses the optimal policy via a Boltzmann distribution. We use the recently proposed amortized Stein variational gradient descent to learn a stochastic sampling network that approximates samples from this distribution. The benefits of the proposed algorithm include improved exploration and compositionality that allows transferring skills between tasks, which we confirm in simulated experiments with swimming and walking robots. We also draw a connection to actor-critic methods, which can be viewed performing approximate inference on the corresponding energy-based model.


title: Linear Convergence of the Proximal Incremental Aggregated Gradient Method under Quadratic Growth Condition

abstract: Under the strongly convex assumption, several recent works studied the global linear convergence rate of the proximal incremental aggregated gradient (PIAG) method for minimizing the sum of a large number of smooth component functions and a non-smooth convex function. In this paper, under \textsl{the quadratic growth condition}--a strictly weaker condition than the strongly convex assumption, we derive a new global linear convergence rate result, which implies that the PIAG method attains global linear convergence rates in both the function value and iterate point errors. The main idea behind is to construct a certain Lyapunov function.


title: Topology of pre-images under Anosov endomorphisms

abstract: For an endomorphism it is known that if all the points in the manifold have dense sets of pre-images then the dynamical system is transitive. The inverse has been shown for a residual set of points but the the exact inverse has not yet been investigated before. Here we are going to show that under some conditions it is true for Anosov endomorphisms on closed manifolds, by using the fact that Anosov endomorphisms are covering maps.


title: Unitarizability of weight modules over noncommutative Kleinian fiber products

abstract: For any $(m,n)$-periodic higher spin six-vertex configuration $\mathscr{L}$, we construct a one-parameter family $\Delta_\xi$ of pseudo-unitarizable representations of the corresponding noncommutative fiber product $\mathcal{A}(\mathscr{L})$ by difference operators acting on the space of sections of a complex line bundle $L_\xi$ over the face lattice $F$. The indefinite inner product is given explicitly in terms of a combinatorial sign function defined on $F$. We prove that each simple integral weight $\mathcal{A}(\mathscr{L})$-module (previously classified by the author, see arXiv:1612.08125) occurs as a submodule in one of these representation spaces. Lastly we give a combinatorial description of the signature of the unique (up to nonzero real multiples) indefinite inner product on any simple integral weight module, in terms of certain eight-vertex configurations canonically attached to $\mathscr{L}$. In particular we obtain necessary and sufficient conditions for such a module to be unitarizable.


title: Communication-efficient Algorithms for Distributed Stochastic Principal Component Analysis

abstract: We study the fundamental problem of Principal Component Analysis in a statistical distributed setting in which each machine out of $m$ stores a sample of $n$ points sampled i.i.d. from a single unknown distribution. We study algorithms for estimating the leading principal component of the population covariance matrix that are both communication-efficient and achieve estimation error of the order of the centralized ERM solution that uses all $mn$ samples. On the negative side, we show that in contrast to results obtained for distributed estimation under convexity assumptions, for the PCA objective, simply averaging the local ERM solutions cannot guarantee error that is consistent with the centralized ERM. We show that this unfortunate phenomena can be remedied by performing a simple correction step which correlates between the individual solutions, and provides an estimator that is consistent with the centralized ERM for sufficiently-large $n$. We also introduce an iterative distributed algorithm that is applicable in any regime of $n$, which is based on distributed matrix-vector products. The algorithm gives significant acceleration in terms of communication rounds over previous distributed algorithms, in a wide regime of parameters.


title: Tverberg type theorems for matroids

abstract: In this paper we show a variant of colorful Tverberg's theorem which is valid in any matroid: Let $S$ be a sequence of non-loops in a matroid $M$ of finite rank $m$ with closure operator cl. Suppose that $S$ is colored in such a way that the first color does not appear more than $r$-times and each other color appears at most $(r-1)$-times. Then $S$ can be partitioned into $r$ rainbow subsequences $S_1,\ldots, S_r$ such that $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\, S_2\subseteq \ldots \subseteq cl\,S_r$. In particular, $\emptyset\neq \bigcap_{i=1}^r cl\,S_i$. A subsequence is called rainbow if it contains each color at most once. The conclusion of our theorem is weaker than the conclusion of the original Tverberg's theorem in $\mathbb R^d$, which states that $\bigcap conv\,S_i\neq \emptyset$, whereas we only claim that $\bigcap aff\,S_i\neq \emptyset$. On the other hand, our theorem strengthens the Tverberg's theorem in several other ways: 1) it is applicable to any matroid (whereas Tverberg's theorem can only be used in $\mathbb R^d$), 2) instead of $\bigcap cl\,S_i\neq \emptyset$ we have the stronger condition $cl\,\emptyset\subsetneq cl\,S_1\subseteq cl\,S_2\subseteq \ldots \subseteq cl\,S_r$, and 3) we add a color constraints that are even stronger than the color constraints in the colorful version of Tverberg's theorem. Recently, the author together with Goaoc, Mabillard, Pat\'akov\'a, Tancer and Wagner used the first property and applied the non-colorful version of this theorem to homology groups with $GF(p)$ coefficients to obtain several non-embeddability results, for details we refer to arXiv:1610.09063.


title: Fixed-point optimization of deep neural networks with adaptive step size retraining

abstract: Fixed-point optimization of deep neural networks plays an important role in hardware based design and low-power implementations. Many deep neural networks show fairly good performance even with 2- or 3-bit precision when quantized weights are fine-tuned by retraining. We propose an improved fixedpoint optimization algorithm that estimates the quantization step size dynamically during the retraining. In addition, a gradual quantization scheme is also tested, which sequentially applies fixed-point optimizations from high- to low-precision. The experiments are conducted for feed-forward deep neural networks (FFDNNs), convolutional neural networks (CNNs), and recurrent neural networks (RNNs).


title: Tars: Timeliness-aware Adaptive Replica Selection for Key-Value Stores

abstract: In current large-scale distributed key-value stores, a single end-user request may lead to key-value access across tens or hundreds of servers. The tail latency of these key-value accesses is crucial to the user experience and greatly impacts the revenue. To cut the tail latency, it is crucial for clients to choose the fastest replica server as much as possible for the service of each key-value access. Aware of the challenges on the time varying performance across servers and the herd behaviors, an adaptive replica selection scheme C3 is proposed recently. In C3, feedback from individual servers is brought into replica ranking to reflect the time-varying performance of servers, and the distributed rate control and backpressure mechanism is invented. Despite of C3's good performance, we reveal the timeliness issue of C3, which has large impacts on both the replica ranking and the rate control, and propose the Tars (timeliness-aware adaptive replica selection) scheme. Following the same framework as C3, Tars improves the replica ranking by taking the timeliness of the feedback information into consideration, as well as revises the rate control of C3. Simulation results confirm that Tars outperforms C3.


title: Centralizers in pseudo-finite groups

abstract: The role of finite centralizers of involutions in pseudo-finite groups is analyzed. It is shown that a pseudo-finite group admitting a definable involutory automorphism fixing only finitely many elements is finite-by-abelian-by-finite. As a consequence, we give a model-theoretic proof of a result for periodic groups due to Hartley and Meixner. Furthermore, it is shown that any pseudo-finite group has an infinite abelian subgroup.


title: Glueball spectrum from $N_f=2$ lattice QCD study on anisotropic lattices

abstract: The lowest-lying glueballs are investigated in lattice QCD using $N_f=2$ clover Wilson fermion on anisotropic lattices. We simulate at two different and relatively heavy quark masses, corresponding to physical pion mass of $m_\pi\sim 938$ MeV and $650$ MeV. The quark mass dependence of the glueball masses have not been investigated in the present study. Only the gluonic operators built from Wilson loops are utilized in calculating the corresponding correlation functions. In the tensor channel, we obtain the ground state mass to be 2.363(39) GeV and 2.384(67) GeV at $m_\pi\sim 938$ MeV and $650$ MeV, respectively. In the pseudoscalar channel, when using the gluonic operator whose continuum limit has the form of $\epsilon_{ijk}TrB_iD_jB_k$, we obtain the ground state mass to be 2.573(55) GeV and 2.585(65) GeV at the two pion masses. These results are compatible with the corresponding results in the quenched approximation. In contrast, if we use the topological charge density as field operators for the pseudoscalar, the masses of the lowest state are much lighter (around 1GeV) and compatible with the expected masses of the flavor singlet $q\bar{q}$ meson. This indicates that the operator $\epsilon_{ijk}TrB_iD_jB_k$ and the topological charge density couple rather differently to the glueball states and $q\bar{q}$ mesons. The observation of the light flavor singlet pseudoscalar meson can be viewed as the manifestation of effects of dynamical quarks. In the scalar channel, the ground state masses extracted from the correlation functions of gluonic operators are determined to be around 1.4-1.5 GeV, which is close to the ground state masses from the correlation functions of the quark bilinear operators. In all cases, the mixing between glueballs and conventional mesons remains to be further clarified in the future.


title: Thermal stability of black holes with arbitrary hairs

abstract: We have derived the criteria for thermal stability of charged rotating black holes, for horizon areas that are large relative to the Planck area (in these dimensions). In this paper, we generalized it for black holes with arbitrary hairs. The derivation uses results of loop quantum gravity and equilibrium statistical mechanics of the grand canonical ensemble and there is no explicit use of classical spacetime geometry at all in this analysis. The assumption is that the mass of the black hole is a function of its horizon area and all the hairs. Our stability criteria are then tested in detail against some specific black holes, whose metrics provide us with explicit relations for the dependence of the mass on the area and other hairs of the black holes. This enables us to predict which of these black holes are expected to be thermally unstable under Hawking radiation.


title: Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)

abstract: " Yet another paper on " the implementation of read/write registers in crash-prone asynchronous message-passing systems! Yes..., but, differently from its predecessors, this paper looks for a communication abstraction which captures the essence of such an implementation in the same sense that total order broadcast can be associated with consensus, or message causal delivery can be associated with causal read/write registers. To this end, the paper introduces a new communication abstraction, named SCD-broadcast (SCD standing for " Set Constrained Delivery "), which, instead of a single message, delivers to processes sets of messages (whose size can be arbitrary), such that the sequences of message sets delivered to any two processes satisfies some constraints. The paper then shows that: (a) SCD-broadcast allows for a very simple implementation of a snapshot object (and consequently also of atomic read/write registers) in crash-prone asynchronous message-passing systems, (b) SCD-broadcast can be built from snapshot objects (hence SCD-broadcast and snapshot objects --or read/write registers-- are " computationally equivalent "), (c) SCD-broadcast can be built in message-passing systems where any minority of processes may crash (which is the weakest assumption on the number of possible process crashes needed to implement a read/write register).


title: Ubiquitous formation of bulk Dirac cones and topological surface states from a single orbital manifold in transition-metal dichalcogenides

abstract: Transition-metal dichalcogenides (TMDs) are renowned for their rich and varied properties. They range from metals and superconductors to strongly spin-orbit-coupled semiconductors and charge-density-wave systems, with their single-layer variants one of the most prominent current examples of two-dimensional materials beyond graphene. Their varied ground states largely depend on the transition metal d-electron-derived electronic states, on which the vast majority of attention has been concentrated to date. Here, we focus on the chalcogen-derived states. From density-functional theory calculations together with spin- and angle- resolved photoemission, we find that these generically host type-II three-dimensional bulk Dirac fermions as well as ladders of topological surface states and surface resonances. We demonstrate how these naturally arise within a single p-orbital manifold as a general consequence of a trigonal crystal field, and as such can be expected across a large number of compounds. Already, we demonstrate their existence in six separate TMDs, opening routes to tune, and ultimately exploit, their topological physics.


title: The metric dimension of the circulant graph $C(n,\pm\{1,2,3,4\})$

abstract: Let $G=(V,E)$ be a connected graph and let $d(u,v)$ denote the distance between vertices $u,v \in V$. A metric basis for $G$ is a set $B\subseteq V$ of minimum cardinality such that no two vertices of $G$ have the same distances to all points of $B$. The cardinality of a metric basis of $G$ is called the metric dimension of $G$, denoted by $\dim(G)$. In this paper we determine the metric dimension of the circulant graphs $C(n,\pm\{1,2,3,4\})$ for all values of $n$.


title: Spline functions, the discrete biharmonic operator and approximate eigenvalues

abstract: The biharmonic operator plays a central role in a wide array of physical models, notably in elasticity theory and the streamfunction formulation of the Navier-Stokes equations. The need for corresponding numerical simulations has led, in recent years, to the development of a discrete biharmonic calculus. The primary object of this calculus is a high-order compact discrete biharmonic operator (DBO). The numerical results have been remarkably accurate, and have been corroborated by some rigorous proofs. However, there remained the "mystery" of the "underlying reason" for this success. This paper is a contribution in this direction, expounding the strong connection between cubic spline functions (on an interval) and the DBO. It is shown in particular that the (scaled) fourth-order distributional derivative of the cubic spline is identical to the action of the DBO on grid functions. The DBO is constructed in terms of the discrete Hermitian derivative. A remarkable fact is that the kernel of the inverse of the discrete operator is (up to scaling) equal to the grid evaluation of the kernel of $\Big[\Big(\frac{d}{dx}\Big)^4\Big]^{-1} .$ Explicit expressions are presented for both kernels. The relation between the (infinite) set of eigenvalues of the fourth-order Sturm-Liouville problem and the finite set of eigenvalues of the discrete biharmonic operator is studied, and the discrete eigenvalues are proved to converge (at an "optimal" $O(h^4)$ rate) to the continuous ones. Another remarkable consequence is the validity of a comparison principle. It is well known that there is no maximum principle for the fourth-order equation. However, a positivity result is derived, both for the continuous and the discrete biharmonic equation, showing that in both cases the kernels are order preserving.


title: Quanta of Space-Time and Axiomatization of Physics

abstract: We consider Hilbert's sixth problem on the axiomatization of physics starting with a higher degree Heisenberg commutation relation involving the Dirac operator and the Feynman slash of scalar fields. The two sided version of the commutation relation in dimension 4 implies volume quantization and determines a noncommutative space which is a tensor product of continuous and discrete spaces. This noncommutative space predicts the full structure of a unified model of all particle interactions based on Pati-Salam symmetries or, as a special case, the Standard Model. We study implications of this quantization condition on Particle Physics, General Relativity, the cosmological constant and dark matter. We demonstrate that, with little input, noncommutative geometry gives a compelling and attractive picture about the nature and structure of space-time.


title: Second harmonic spectroscopy to optically detect valley polarization in 2D materials

abstract: Valley polarization (VP), an induced imbalance in the populations of a multi-valley electronic system, allows emission of second harmonic (SH) light even in centrosymmetric crystals such as graphene. Whereas in systems such as MoS$\mathrm{_2}$ or BN this adds to their intrinsic quadratic response, SH generation in a multi-valley inversion-symmetric crystal can provide a direct measure of valley polarization. By computing the nonlinear response and characterizing theoretically the respective SH as a function of polarization, temperature, electron density, and degree of VP, we demonstrate the possibility of disentangling and individually quantifying the intrinsic and valley contributions to the SH. A specific experimental setup is proposed to obtain direct quantitative information about the degree of VP and allow its remote mapping. This approach could prove useful for direct, contactless, real-space monitoring of valley injection and other applications of valley transport and valleytronics.


title: A model solution of the generalized Langevin equation: Emergence and Breaking of Time-Scale Invariance in Single-Particle Dynamics of Liquids

abstract: It is shown that the solution of generalized Langevin equation can be obtained on the basis of simple comparison of the time scale for the velocity autocorrelation function of a particle (atom, molecule) and of the time scale for the corresponding memory function. The result expression for the velocity autocorrelation function contains dependence on the non-Markovity parameter, which allows one to take into account memory effects of the investigated phenomena. It is demonstrated for the cases of liquid tin and liquid lithium that the obtained expression for the velocity autocorrelation function is in a good agreement with the molecular dynamics simulation results.


title: Hausdorff dimension of the boundary of bubbles of additive Brownian motion and of the Brownian sheet

abstract: We first consider the additive Brownian motion process $(X(s_1,s_2),\ (s_1,s_2) \in \mathbb{R}^2)$ defined by $X(s_1,s_2) = Z_1(s_1) - Z_2 (s_2)$, where $Z_1$ and $Z_2 $ are two independent (two-sided) Brownian motions. We show that with probability one, the Hausdorff dimension of the boundary of any connected component of the random set $\{(s_1,s_2)\in \mathbb{R}^2: X(s_1,s_2) >0\}$ is equal to $$ \frac{1}{4}\left(1 + \sqrt{13 + 4 \sqrt{5}}\right) \simeq 1.421\, . $$ Then the same result is shown to hold when $X$ is replaced by a standard Brownian sheet indexed by the nonnegative quadrant.


title: Horizon thermodynamics in fourth-order gravity

abstract: In the framework of horizon thermodynamics, the field equations of Einstein gravity and some other second-order gravities can be rewritten as the thermodynamic identity: $dE=TdS-PdV$. However, in order to construct the horizon thermodynamics in higher-order gravity, we have to simplify the field equations firstly. In this paper, we study the fourth-order gravity and convert it to second-order gravity via a so-called " Legendre transformation " at the cost of introducing two other fields besides the metric field. With this simplified theory, we implement the conventional procedure in the construction of the horizon thermodynamics in 3 and 4 dimensional spacetime. We find that the field equations in the fourth-order gravity can also be written as the thermodynamic identity. Moreover, we can use this approach to derive the same black hole mass as that by other methods.


title: An update on statistical boosting in biomedicine

abstract: Statistical boosting algorithms have triggered a lot of research during the last decade. They combine a powerful machine-learning approach with classical statistical modelling, offering various practical advantages like automated variable selection and implicit regularization of effect estimates. They are extremely flexible, as the underlying base-learners (regression functions defining the type of effect for the explanatory variables) can be combined with any kind of loss function (target function to be optimized, defining the type of regression setting). In this review article, we highlight the most recent methodological developments on statistical boosting regarding variable selection, functional regression and advanced time-to-event modelling. Additionally, we provide a short overview on relevant applications of statistical boosting in biomedicine.


title: A theorem about two-body decay and its application for a doubly-charged boson $H^{\pm\pm}$ going to $\tau^{\pm}\tau^{\pm}$

abstract: In a general decay chain $A\to B_1B_2\to C_1C_2\ldots$, we prove that the angular correlation function $I(\theta_1,\theta_2,\phi_+)$ in the decay of $B_{1,2}$ is irrelevant to the polarization of the mother particle $A$ at production. This guarantees that we can use these angular distributions to determine the spin-parity nature of $A$ without knowing its production details. As an example, we investigate the decay of a potential doubly-charged boson $H^{\pm\pm}$ going to same-sign $\tau$ lepton pair.


title: Observational and Experimental Gravity

abstract: We indicate the progress of experimental gravity, present an outlook in this field, and summarise the Observational/Experimental Parallel Session together with a related plenary talk on gravitational waves of the 2nd LeCosPA Symposium.


title: dotCall64: An Efficient Interface to Compiled C/C++ and Fortran Code Supporting Long Vectors

abstract: The R functions .C() and .Fortran() can be used to call compiled C/C++ and Fortran code from R. This so-called foreign function interface is convenient, since it does not require any interactions with the C API of R. However, it does not support long vectors (i.e., vectors of more than 2^31 elements). To overcome this limitation, the R package dotCall64 provides .C64(), which can be used to call compiled C/C++ and Fortran functions. It transparently supports long vectors and does the necessary castings to pass numeric R vectors to 64-bit integer arguments of the compiled code. Moreover, .C64() features a mechanism to avoid unnecessary copies of function arguments, making it efficient in terms of speed and memory usage.


title: Three-Particle Correlations in Liquid and Amorphous Aluminium

abstract: Analysis of three-particle correlations is performed on the basis of simulation data of atomic dynamics in liquid and amorphous aluminium. A three-particle correlation function is introduced to characterize the relative positions of various three particles -- the so-called triplets. Various configurations of triplets are found by calculation of pair and three-particle correlation functions. It was found that in the case of liquid aluminium with temperatures $1000\,$K, $1500\,$K, and $2000\,$K the three-particle correlations are more pronounced within the spatial scales, comparable with a size of the second coordination sphere. In the case of amorphous aluminium with temperatures $50\,$K, $100\,$K, and $150\,$K these correlations in the mutual arrangement of three particles are manifested up to spatial scales, which are comparable with a size of the third coordination sphere. Temporal evolution of three-particle correlations is analyzed by using a time-dependent three-particle correlation function, for which an integro-differential equation of type of the generalized Langevin equation is output with help of projection operators technique. A solution of this equation by means of mode-coupling theory is compared with our simulation results. It was found that this solution correctly reproduces the behavior of the time-dependent three-particle correlation functions for liquid and amorphous aluminium.


title: Multiplier conditions for Boundedness into Hardy spaces

abstract: In the present work, we find useful and explicit necessary and sufficient conditions for linear and multilinear multiplier operators of Coifman-Meyer type, finite sum of products of Calder\'on-Zygmund operators, and also of intermediate types to be bounded from a product of Lebesgue or Hardy spaces into a Hardy space. These conditions state that the symbols of the multipliers $\sigma(\xi_1,\dots , \xi_m)$ and their derivatives vanish on the hyperplane $\xi_1+\cdots+\xi_m=0$.


title: I-factorial quantum torsors and Heisenberg algebras of quantized universal enveloping type

abstract: We introduce a notion of I-factorial quantum torsor, which consists of an integrable ergodic action of a locally compact quantum group on a type I-factor such that also the crossed product is a type I-factor. We show that any such I-factorial quantum torsor is at the same time a I-factorial quantum torsor for the dual locally compact quantum group, in such a way that the construction is involutive. As a motivating example, we show that quantized compact semisimple Lie groups, when amplified via a crossed product construction with the function algebra on the associated weight lattice, admit I-factorial quantum torsors, and give an explicit realization of the dual quantum torsor in terms of a deformed Heisenberg algebra for the Borel part of a quantized universal enveloping algebra.


title: DeepNAT: Deep Convolutional Neural Network for Segmenting Neuroanatomy

abstract: We introduce DeepNAT, a 3D Deep convolutional neural network for the automatic segmentation of NeuroAnaTomy in T1-weighted magnetic resonance images. DeepNAT is an end-to-end learning-based approach to brain segmentation that jointly learns an abstract feature representation and a multi-class classification. We propose a 3D patch-based approach, where we do not only predict the center voxel of the patch but also neighbors, which is formulated as multi-task learning. To address a class imbalance problem, we arrange two networks hierarchically, where the first one separates foreground from background, and the second one identifies 25 brain structures on the foreground. Since patches lack spatial context, we augment them with coordinates. To this end, we introduce a novel intrinsic parameterization of the brain volume, formed by eigenfunctions of the Laplace-Beltrami operator. As network architecture, we use three convolutional layers with pooling, batch normalization, and non-linearities, followed by fully connected layers with dropout. The final segmentation is inferred from the probabilistic output of the network with a 3D fully connected conditional random field, which ensures label agreement between close voxels. The roughly 2.7 million parameters in the network are learned with stochastic gradient descent. Our results show that DeepNAT compares favorably to state-of-the-art methods. Finally, the purely learning-based method may have a high potential for the adaptation to young, old, or diseased brains by fine-tuning the pre-trained network with a small training sample on the target application, where the availability of larger datasets with manual annotations may boost the overall segmentation accuracy in the future.


title: Modularisation of Sequent Calculi for Normal and Non-normal Modalities

abstract: In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent calculi for a number of logics, including to our knowledge the first nested sequent calculi for a large class of simply dependent multimodal logics, and for many standard non-normal modal logics. The resulting systems are modular and have separate left and right introduction rules for the modalities, which makes them amenable to specification as bipole clauses. While this granulation of the sequent rules introduces more choices for proof search, we show how linear nested sequent calculi can be restricted to blocked derivations, which directly correspond to ordinary sequent derivations.


title: Structural and dielectric properties of Pb(1-x)(Na0.5Sm0.5)xTiO3 ceramics

abstract: A correlation between structure and vibrational properties related to a ferroelectric to paraelectric phase transition in perovskite Pb(1-x)(Na0.5Sm0.5)xTiO3 (PNST - x) polycrystalline powders is discussed. Substitution leads to reduction of tetragonality which is associated with a shift of the phase transition to lower temperatures. The nature of the phase transition gets diffused with increasing substitution.


title: Suppression of maximal linear gluon polarization in angular asymmetries

abstract: We perform a phenomenological analysis of the $\cos 2 \phi $ azimuthal asymmetry in virtual photon plus jet production induced by the linear polarization of gluons in unpolarized $pA$ collisions. Although the linearly polarized gluon distribution becomes maximal at small $x$, TMD evolutionleads to a Sudakov suppression of the asymmetry with increasing invariant mass of the $\gamma^*$-jet pair. Employing a small-$x$ model input distribution, the asymmetry is found to be strongly suppressed under TMD evolution, but still remains sufficiently large to be measurable in the typical kinematical region accessible at RHIC or LHC at moderate photon virtuality, whereas it is expected to be negligible in $Z/W$-jet pair production at LHC. We point out the optimal kinematics for RHIC and LHC studies, in order to expedite the first experimental studies of the linearly polarized gluon distribution through this process. We further argue that this is a particularly clean process to test the $k_t$-resummation formalism in the small-$x$ regime.


title: On Maximizing Energy and Data Delivery in Dense Wireless Local Area Networks

abstract: Devices can now be powered wirelessly by Access Points (APs). However, an AP cannot transmit frequently to charge devices as it may starve other nearby APs operating on the same channel. Consequently, there is a need to schedule the transmissions of APs to ensure their data queues remain short whilst charging energy-harvesting devices. We present a finite-horizon Markov Decision Process (MDP) to capture the queue states at APs and also channel conditions to nodes. We then use the MDP to investigate the following transmission policies: max weight, max queue, best channel state and random. Our results show that the max weight policy has the best performance in terms of queue length and delivered energy.


title: Critical level crossings and gapless spin liquid in the square-lattice spin-$1/2$ $J_1$-$J_2$ Heisenberg antiferromagnet

abstract: We use the DMRG method to calculate several energy eigenvalues of the frustrated $S=1/2$ square-lattice $J_1$-$J_2$ Heisenberg model on $2L \times L$ cylinders with $L \le 10$. We identify excited-level crossings versus the coupling ratio $g=J_2/J_1$ and study their drifts with the system size $L$. The lowest singlet-triplet and singlet-quintuplet crossings converge rapidly (with corrections $\propto L^{-2}$) to different $g$ values, and we argue that these correspond to ground-state transitions between the N\'eel antiferromagnet and a gapless spin liquid, at $g_{c1} \approx 0.46$, and between the spin liquid and a valence-bond-solid at $g_{c2} \approx 0.52$. Previous studies of order parameters were not able to positively discriminate between an extended spin liquid phase and a critical point. We expect level-crossing analysis to be a generically powerful tool in DMRG studies of quantum phase transitions.


title: Isostatic equilibrium in spherical coordinates and implications for crustal thickness on the Moon, Mars, Enceladus, and elsewhere

abstract: Isostatic equilibrium is commonly defined as the state achieved when there are no lateral gradients in hydrostatic pressure, and thus no lateral flow, at depth within the lower viscosity mantle that underlies a planetary body's outer crust. In a constant-gravity Cartesian framework, this definition is equivalent to the requirement that columns of equal width contain equal masses. Here we show, however, that this equivalence breaks down when the spherical geometry of the problem is taken into account. Imposing the "equal masses" requirement in a spherical geometry, as is commonly done in the literature, leads to significant lateral pressure gradients along internal equipotential surfaces, and thus corresponds to a state of disequilibrium. Compared with the "equal pressures" model we present here, the "equal masses" model always overestimates the compensation depth--by ~27% in the case of the lunar highlands and by nearly a factor of two in the case of Enceladus.


title: Mutual Information based labelling and comparing clusters

abstract: After a clustering solution is generated automatically, labelling these clusters becomes important to help understanding the results. In this paper, we propose to use a Mutual Information based method to label clusters of journal articles. Topical terms which have the highest Normalised Mutual Information (NMI) with a certain cluster are selected to be the labels of the cluster. Discussion of the labelling technique with a domain expert was used as a check that the labels are discriminating not only lexical-wise but also semantically. Based on a common set of topical terms, we also propose to generate lexical fingerprints as a representation of individual clusters. Eventually, we visualise and compare these fingerprints of different clusters from either one clustering solution or different ones.


title: Generalized triangle groups, expanders, and a problem of Agol and Wise

abstract: Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak.


title: Luminescence Emission from Al0.3Ga0.7N/GaN Multi Quantum Disc core/shell Nanowire: Numerical approach

abstract: In this work, a numerical approach to investigate the room temperature luminescence emission from core/shell nanowire is presented where GaN quantum discs (QDiscs), periodically distributed in AlxGa1-xN nanowire, is considered as core and AlxGa1-xN as shell. Thin disk shaped (Ring shaped) n-doped region has been placed at the GaN/ AlxGa1-xN (AlxGa1-xN /air) interface in AlxGa1-xN region in axial (radial) directions. To obtain energy levels and related wavefunctions, self-consistent procedure has been employed to solve Schrodinger-Poisson equations with considering the spontaneous and piezoelectric polarization. Then luminescence spectrum is studied in details to recognize the parameters influent in luminescence. The results show that the amount of doping, size of QDiscs and theirs numbers have remarkable effects on the band to band luminescence emission. Our numerical calculations gives some insights into the luminescence emission of core/shell nanowire and exhibits a useful tool to analyze findings in experiments.


title: A Note on Noncommutative Even Square Rings

abstract: In this note we find the least order of a noncommutative even square ring and we note that it is a nil ring having characteristic four. In order to prove the main result given in this note we mainly use suitable examples.


title: Efficiency of prompt quarantine measures on a susceptible-infected-removed model in networks

abstract: This study focuses on investigating the manner in which a prompt quarantine measure suppresses epidemics in networks. A simple and ideal quarantine measure is considered in which an individual is detected with a probability immediately after it becomes infected and the detected one and its neighbors are promptly isolated. The efficiency of this quarantine in suppressing a susceptible-infected-removed (SIR) model is tested in random graphs and uncorrelated scale-free networks. Monte Carlo simulations are used to show that the prompt quarantine measure outperforms random and acquaintance preventive vaccination schemes in terms of reducing the number of infected individuals. The epidemic threshold for the SIR model is analytically derived under the quarantine measure, and the theoretical findings indicate that prompt executions of quarantines are highly effective in containing epidemics. Even if infected individuals are detected with a very low probability, the SIR model under a prompt quarantine measure has finite epidemic thresholds in fat-tailed scale-free networks in which an infected individual can always cause an outbreak of a finite relative size without any measure. The numerical simulations also demonstrate that the present quarantine measure is effective in suppressing epidemics in real networks.


title: Dynamics of phase separation in two species Bose-Einstein condensates with vortices

abstract: We examine the dynamics associated with the miscibility-immiscibility transition of trapped two-component Bose-Einstein condensates (TBECs) of dilute atomic gases in presence of vortices. In particular, we consider TBECs of Rb hyperfine states, and Rb-Cs mixture. There is an enhancement of the phase-separation when the vortex is present in both condensates. In the case of a singly charged vortex in only one of the condensates, there is enhancement when the vortex is present in the species which occupy the edges at phase-separation. But, suppression occurs when the vortex is in the species which occupies the core region. To examine the role of the vortex, we quench the inter-species interactions to propel the TBEC from miscible to immiscible phase, and use the time dependent Gross-Pitaevskii equation to probe the phenomenon of phase-separation. We also examine the effect of higher charged vortex.


title: On flat submaps of maps of non-positive curvature

abstract: We prove that for every $r>0$ if a non-positively curved $(p,q)$-map $M$ contains no flat submaps of radius $r$, then the area of $M$ does not exceed $Crn$ for some constant $C$. This strengthens a theorem of Ivanov and Schupp. We show that an infinite $(p,q)$-map which tessellates the plane is quasi-isometric to the Euclidean plane if and only if the map contains only finitely many non-flat vertices and faces. We also generalize Ivanov and Schupp's result to a much larger class of maps, namely to maps with angle functions.


title: Critical and subcritical fractional Trudinger-Moser type inequalities on $\mathbb{R}$

abstract: In this paper, we are concerned with the critical and subcritical Trudinger-Moser type inequalities for functions in a fractional Sobolev space $H^{1/2,2}$ on the whole real line. We prove the relation between two inequalities and discuss the attainability of the suprema.


title: Approximation Strategies for Generalized Binary Search in Weighted Trees

abstract: We consider the following generalization of the binary search problem. A search strategy is required to locate an unknown target node $t$ in a given tree $T$. Upon querying a node $v$ of the tree, the strategy receives as a reply an indication of the connected component of $T\setminus\{v\}$ containing the target $t$. The cost of querying each node is given by a known non-negative weight function, and the considered objective is to minimize the total query cost for a worst-case choice of the target. Designing an optimal strategy for a weighted tree search instance is known to be strongly NP-hard, in contrast to the unweighted variant of the problem which can be solved optimally in linear time. Here, we show that weighted tree search admits a quasi-polynomial time approximation scheme: for any $0 \textless{} \varepsilon \textless{} 1$, there exists a $(1+\varepsilon)$-approximation strategy with a computation time of $n^{O(\log n / \varepsilon^2)}$. Thus, the problem is not APX-hard, unless $NP \subseteq DTIME(n^{O(\log n)})$. By applying a generic reduction, we obtain as a corollary that the studied problem admits a polynomial-time $O(\sqrt{\log n})$-approximation. This improves previous $\hat O(\log n)$-approximation approaches, where the $\hat O$-notation disregards $O(\mathrm{poly}\log\log n)$-factors.


title: Multiple Fault Attack on PRESENT with a Hardware Trojan Implementation in FPGA

abstract: Internet of Things connects lots of small constrained devices to the Internet. As in any other environment, communication security is important and cryptographic algorithms are one of many elements that we use in order to keep messages secure. Because of the constrained nature of these environments, it is necessary to use algorithms that do not require high computational power. Lightweight ciphers are therefore ideal candidates for this purpose. In this paper, we explore a possibility of attacking an ultra-lightweight cipher PRESENT by using a multiple fault attack. Utilizing the Differential Fault Analysis technique, we were able to recover the secret key with two faulty encryptions and an exhaustive search of 2^16 remaining key bits. Our attack aims at four nibbles in the penultimate round of the cipher, causing faulty output in all nibbles of the output. We also provide a practical attack scenario by exploiting Hardware Trojan (HT) technique for the proposed fault injection in a Xilinx Spartan-6 FPGA.


title: Initial-boundary value problem to 2D Boussinesq equations for MHD convection with stratification effects

abstract: This paper is concerned with the initial-boundary value problem to 2D magnetohydrodynamics-Boussinesq system with the temperature-dependent viscosity, thermal diffusivity and electrical conductivity. First, we establish the global weak solutions under the minimal initial assumption. Then by imposing higher regularity assumption on the initial data, we obtain the global strong solution with uniqueness. Moreover, the exponential decay estimate of the solution is obtained.


title: Contextualization of topics: Browsing through the universe of bibliographic information

abstract: This paper describes how semantic indexing can help to generate a contextual overview of topics and visually compare clusters of articles. The method was originally developed for an innovative information exploration tool, called Ariadne, which operates on bibliographic databases with tens of millions of records. In this paper, the method behind Ariadne is further developed and applied to the research question of the special issue "Same data, different results" - the better understanding of topic (re-)construction by different bibliometric approaches. For the case of the Astro dataset of 111,616 articles in astronomy and astrophysics, a new instantiation of the interactive exploring tool, LittleAriadne, has been created. This paper contributes to the overall challenge to delineate and define topics in two different ways. First, we produce two clustering solutions based on vector representations of articles in a lexical space. These vectors are built on semantic indexing of entities associated with those articles. Second, we discuss how LittleAriadne can be used to browse through the network of topical terms, authors, journals, citations and various cluster solutions of the Astro dataset. More specifically, we treat the assignment of an article to the different clustering solutions as an additional element of its bibliographic record. Keeping the principle of semantic indexing on the level of such an extended list of entities of the bibliographic record, LittleAriadne in turn provides a visualization of the context of a specific clustering solution. It also conveys the similarity of article clusters produced by different algorithms, hence representing a complementary approach to other possible means of comparison.


title: Algorithmic Chaining and the Role of Partial Feedback in Online Nonparametric Learning

abstract: We investigate contextual online learning with nonparametric (Lipschitz) comparison classes under different assumptions on losses and feedback information. For full information feedback and Lipschitz losses, we design the first explicit algorithm achieving the minimax regret rate (up to log factors). In a partial feedback model motivated by second-price auctions, we obtain algorithms for Lipschitz and semi-Lipschitz losses with regret bounds improving on the known bounds for standard bandit feedback. Our analysis combines novel results for contextual second-price auctions with a novel algorithmic approach based on chaining. When the context space is Euclidean, our chaining approach is efficient and delivers an even better regret bound.


title: Anticipating many futures: Online human motion prediction and synthesis for human-robot collaboration

abstract: Fluent and safe interactions of humans and robots require both partners to anticipate the others' actions. A common approach to human intention inference is to model specific trajectories towards known goals with supervised classifiers. However, these approaches do not take possible future movements into account nor do they make use of kinematic cues, such as legible and predictable motion. The bottleneck of these methods is the lack of an accurate model of general human motion. In this work, we present a conditional variational autoencoder that is trained to predict a window of future human motion given a window of past frames. Using skeletal data obtained from RGB depth images, we show how this unsupervised approach can be used for online motion prediction for up to 1660 ms. Additionally, we demonstrate online target prediction within the first 300-500 ms after motion onset without the use of target specific training data. The advantage of our probabilistic approach is the possibility to draw samples of possible future motions. Finally, we investigate how movements and kinematic cues are represented on the learned low dimensional manifold.


title: Slow manifolds for stochastic systems with non-Gaussian stable L\'evy noise

abstract: This work is concerned with the dynamics of a class of slow-fast stochastic dynamical systems with non-Gaussian stable L\'evy noise with a scale parameter. Slow manifolds with exponentially tracking property are constructed, eliminating the fast variables to reduce the dimension of these coupled dynamical systems. It is shown that as the scale parameter tends to zero, the slow manifolds converge to critical manifolds in distribution, which helps understand long time dynamics. The approximation of slow manifolds with error estimate in distribution are also considered.


title: A search for extragalactic pulsars in the Local Group galaxies IC 10 and Barnard's Galaxy

abstract: As of today, more than 2500 pulsars have been found, nearly all in the Milky Way, with the exception of ~28 pulsars in the Small and Large Magellanic Clouds. However, there have been few published attempts to search for pulsars deeper in our Galactic neighborhood. Two of the more promising Local Group galaxies are IC 10 and NGC 6822 (also known as Barnard's Galaxy) due to their relatively high star formation rate and their proximity to our galaxy. IC 10 in particular, holds promise as it is the closest starburst galaxy to us and harbors an unusually high number of Wolf-Rayet stars, implying the presence of many neutron stars. We observed IC 10 and NGC 6822 at 820 MHz with the Green Bank Telescope for ~15 and 5 hours respectively, and put a strong upper limit of 0.1 mJy on pulsars in either of the two galaxies. We also performed single pulse searches of both galaxies with no firm detections.


title: Schmidt's subspace theorem for moving hypersurface targets

abstract: It was discovered that there is a formal analogy between Nevanlinna theory and Diophantine approximation. Via Vojta's dictionary, the Second Main Theorem in Nevanlinna theory corresponds to Schmidt's Subspace Theorem in Diophantine approximation. Recently, Cherry, Dethloff, and Tan (arXiv:1503.08801v2 [math.CV]) obtained a Second Main Theorem for moving hypersurfaces intersecting projective varieites. In this paper, we shall give the counterpart of their Second Main Theorem in Diophantine approximation.


title: On higher-order discriminants

abstract: For the family of polynomials in one variable $P:=x^n+a_1x^{n-1}+\cdots +a_n$, $n\geq 4$, we consider its higher-order discriminant sets $\{ \tilde{D}_m=0\}$, where $\tilde{D}_m:=$Res$(P,P^{(m)})$, $m=2$, $\ldots$, $n-2$, and their projections in the spaces of the variables $a^k:=(a_1,\ldots ,a_{k-1},a_{k+1},\ldots ,a_n)$. Set $P^{(m)}:=\sum _{j=0}^{n-m}c_ja_jx^{n-m-j}$, $P_{m,k}:=c_kP-x^mP^{(m)}$. We show that Res$(\tilde{D}_m,\partial \tilde{D}_m/\partial a_k,a_k)= A_{m,k}B_{m,k}C_{m,k}^2$, where $A_{m,k}=a_n^{n-m-k}$, $B_{m,k}=$Res$(P_{m,k},P_{m,k}')$ if $1\leq k\leq n-m$ and $A_{m,k}=a_{n-m}^{n-k}$, $B_{m,k}=$Res$(P^{(m)},P^{(m+1)})$ if $n-m+1\leq k\leq n$. The equation $C_{m,k}=0$ defines the projection in the space of the variables $a^k$ of the closure of the set of values of $(a_1,\ldots ,a_n)$ for which $P$ and $P^{(m)}$ have two distinct roots in common. The polynomials $B_{m,k},C_{m,k}\in \mathbb{C}[a^k]$ are irreducible. The result is generalized to the case when $P^{(m)}$ is replaced by a polynomial $P_*:=\sum _{j=0}^{n-m}b_ja_jx^{n-m-j}$, $0\neq b_i\neq b_j\neq 0$ for $i\neq j$.


title: A case study on English-Malayalam Machine Translation

abstract: In this paper we present our work on a case study on Statistical Machine Translation (SMT) and Rule based machine translation (RBMT) for translation from English to Malayalam and Malayalam to English. One of the motivations of our study is to make a three way performance comparison, such as, a) SMT and RBMT b) English to Malayalam SMT and Malayalam to English SMT c) English to Malayalam RBMT and Malayalam to English RBMT. We describe the development of English to Malayalam and Malayalam to English baseline phrase based SMT system and the evaluation of its performance compared against the RBMT system. Based on our study the observations are: a) SMT systems outperform RBMT systems, b) In the case of SMT, English - Malayalam systems perform better than that of Malayalam - English systems, c) In the case RBMT, Malayalam to English systems are performing better than English to Malayalam systems. Based on our evaluations and detailed error analysis, we describe the requirements of incorporating morphological processing into the SMT to improve the accuracy of translation.


title: Formal Higher-Spin Theories and Kontsevich-Shoikhet-Tsygan Formality

abstract: The formal algebraic structures that govern higher-spin theories within the unfolded approach turn out to be related to an extension of the Kontsevich Formality, namely, the Shoikhet-Tsygan Formality. Effectively, this allows one to construct the Hochschild cocycles of higher-spin algebras that make the interaction vertices. As an application of these results we construct a family of Vasiliev-like equations that generate the Hochschild cocycles with $sp(2n)$ symmetry from the corresponding cycles. A particular case of $sp(4)$ may be relevant for the on-shell action of the $4d$ theory. We also give the exact equations that describe propagation of higher-spin fields on a background of their own. The consistency of formal higher-spin theories turns out to have a purely geometric interpretation: there exists a certain symplectic invariant associated to cutting a polytope into simplices, namely, the Alexander-Spanier cocycle.


title: Solvable Model of a Generic Trapped Mixture of Interacting Bosons: Reduced Density Matrices and Proof of Bose-Einstein Condensation

abstract: A mixture of two kinds of identical bosons, species $1$ and species $2$, held in a harmonic potential and interacting by harmonic intra-species and inter-species particle-particle interactions is discussed. To prove Bose-Einstein condensation of the mixture three steps are needed. First, we integrate the all-particle density matrix, employing a four-parameter matrix recurrence relations, down to the lowest-order intra-species and inter-species reduced density matrices of the mixture. Second, the coupled Gross-Pitaevskii (mean-field) equations of the mixture are solved analytically. Third, we analyze the mixture's reduced density matrices in the limit of an infinite number of particles of both species $1$ and $2$ (when the interaction parameters, i.e., the products of the number of particles times the intra-species and inter-species interaction strengths, are held fixed) and prove that: (i) Both species $1$ and $2$ are 100\% condensed; (ii) The inter-species reduced density matrix per particle is separable and given by the product of the intra-species reduced density matrices per particle; and (iii) The mixture's energy per particle, and reduced density matrices and densities per particle all coincide with the Gross-Pitaevskii quantities. Finally, when the infinite-particle limit is taken with respect to, say, species $1$ only (with interaction parameters held fixed) we prove that: (iv) Only species $1$ is 100\% condensed and its reduced density matrix and density per particle, as well as the mixture's energy per particle, coincide with the Gross-Pitaevskii quantities of species $1$ alone; and (v) The inter-species reduced density matrix per particle is nonetheless separable and given by the product of the intra-species reduced density matrices per particle.


title: Quantum Probe of Ho\v{r}ava-Lifshitz Gravity

abstract: Particle probe analysis of the Kehagias - Sfetsos black hole spacetime of Ho% \v{r}ava-Lifshitz gravity is extended to wave probe analysis within the framework of quantum mechanics. The timelike naked singularity that develops when $\omega M^{2}<1/2$, is probed with quantum fields obeying Klein-Gordon and Chandrasekhar-Dirac equations. Quantum field probe of the naked singularity has revealed that both the spatial part of the wave and the Hamiltonian operators of Klein-Gordon and Chandrasekhar-Dirac equations are essentially self-adjoint and thus, the naked singularity in the Kehagias - Sfetsos spacetime become quantum mechanically non - singular.


title: Modified scattering for the critical nonlinear Schr\"odinger equation

abstract: We consider the nonlinear Schr\"odinger equation $iu_t + \Delta u= \lambda |u|^{\frac {2} {N}} u $ in all dimensions $N\ge 1$, where $\lambda \in {\mathbb C}$ and $\Im \lambda \le 0$. We construct a class of initial values for which the corresponding solution is global and decays as $t\to \infty $, like $t^{- \frac {N} {2}}$ if $\Im \lambda =0$ and like $(t \log t)^{- \frac {N} {2}}$ if $\Im \lambda <0$. Moreover, we give an asymptotic expansion of those solutions as $t\to \infty $. We construct solutions that do not vanish, so as to avoid any issue related to the lack of regularity of the nonlinearity at $u=0$. To study the asymptotic behavior, we apply the pseudo-conformal transformation and estimate the solutions by allowing a certain growth of the Sobolev norms which depends on the order of regularity through a cascade of exponents.


title: Synergistic Team Composition

abstract: Effective teams are crucial for organisations, especially in environments that require teams to be constantly created and dismantled, such as software development, scientific experiments, crowd-sourcing, or the classroom. Key factors influencing team performance are competences and personality of team members. Hence, we present a computational model to compose proficient and congenial teams based on individuals' personalities and their competences to perform tasks of different nature. With this purpose, we extend Wilde's post-Jungian method for team composition, which solely employs individuals' personalities. The aim of this study is to create a model to partition agents into teams that are balanced in competences, personality and gender. Finally, we present some preliminary empirical results that we obtained when analysing student performance. Results show the benefits of a more informed team composition that exploits individuals' competences besides information about their personalities.


title: Representations associated to small nilpotent orbits for complex Spin groups

abstract: This paper provides a comparison between the $K$-structure of unipotent representations and regular sections of bundles on nilpotent orbits for complex groups of type $D$. Precisely, let $ G_ 0 =Spin(2n,\mathbb C)$ be the Spin complex group viewed as a real group, and $K\cong G_0$ be the complexification of the maximal compact subgroup of $G_0$. We compute $K$-spectra of the regular functions on some small nilpotent orbits $\mathcal O$ transforming according to characters $\psi$ of $C_{ K}(\mathcal O)$ trivial on the connected component of the identity $C_{ K}(\mathcal O)^0$. We then match them with the ${K}$-types of the genuine (i.e. representations which do not factor to $SO(2n,\mathbb C)$) unipotent representations attached to $\mathcal O$.


title: A Hybrid High-Order method for the convective Cahn-Hilliard problem in mixed form

abstract: We propose a novel Hybrid High-Order method for the Cahn-Hilliard problem with convection. The proposed method is valid in two and three space dimensions, and it supports arbitrary approximation orders on general meshes containing polyhedral elements and nonmatching interfaces. An extensive numerical validation is presented, which shows robustness with respect to the P\'eclet number.


title: On the second Feng-Rao distance of Algebraic Geometry codes related to Arf semigroups

abstract: We describe the second (generalized) Feng-Rao distance for elements in an Arf numerical semigroup that are greater than or equal to the conductor of the semigroup. This provides a lower bound for the second Hamming weight for one point AG codes. In particular, we can obtain the second Feng-Rao distance for the codes defined by asymptotically good towers of function fields whose Weierstrass semigroups are inductive. In addition, we compute the second Feng-Rao number, and provide some examples and comparisons with previous results on this topic. These calculations rely on Ap\'{e}ry sets, and thus several results concerning Ap\'ery sets of Arf semigroups are presented.


title: Brane-localized masses in magnetic compactifications

abstract: We discuss effects of the brane-localized mass terms on the fixed points of the toroidal orbifold $T^2/Z_2$ under the presence of background magnetic fluxes, where multiple lowest and higher-level Kaluza-Klein (KK) modes are realized before introducing the localized masses in general. Through the knowledge of linear algebra, we find that, in each KK level, one of or more than one of the degenerate KK modes are almost inevitably perturbed, when single or multiple brane-localized mass terms are introduced. When the typical scale of the compactification is far above the electroweak scale or the TeV scale, we apply this mechanism for uplifting unwanted massless or light modes which are prone to appear in models on magnetized orbifolds.


title: Systematic Construction of Counterexamples to the Eigenstate Thermalization Hypothesis

abstract: We propose a general method to embed target states into the middle of the energy spectrum of a many-body Hamiltonian as its energy eigenstates. Employing this method, we construct a translationally-invariant local Hamiltonian with no local conserved quantities, which does not satisfy the eigenstate thermalization hypothesis. The absence of eigenstate thermalization for target states is analytically proved and numerically demonstrated. In addition, numerical calculations of two concrete models also show that all the energy eigenstates except for the target states have the property of eigenstate thermalization, from which we argue that our models thermalize after a quench even though they does not satisfy the eigenstate thermalization hypothesis.


title: Spontaneous photon production in time-dependent epsilon-near-zero materials

abstract: Quantum field theory predicts that a spatially homogeneous but temporally varying medium will excite photon pairs out of the vacuum state. However, this important theoretical prediction lacks experimental verification due to the difficulty in attaining the required non-adiabatic and large amplitude changes in the medium. Recent work has shown that in epsilon-near-zero (ENZ) materials it is possible to optically induce changes of the refractive index of the order of unity, in femtosecond timescales. By studying the quantum field theory of a spatially homogeneous, time-varying ENZ medium, we theoretically predict photon pair production that is up to several orders of magnitude larger than in non-ENZ time-varying materials. We also find that whilst in standard materials the emission spectrum depends on the time scale of the perturbation, in ENZ materials the emission is always peaked at the ENZ wavelength. These studies pave the way to technologically feasible observation of photon pair emission from a time-varying background with implications for quantum field theories beyond condensed matter systems and with potential applications as a new source of entangled light.


title: Induced parity-odd effective action for a Dirac field on $S^2 \times S^1$

abstract: We evaluate the parity-odd part of the effective action due to massive Dirac fermions on a $S^2 \times S^1$ manifold, minimally coupled to an external Abelian gauge field. We do that for a special class of gauge-field configurations, which is specially suitable to the study of the behaviour of the fermionic determinant under large gauge field configurations, which are allowed by the space-time geometry.


title: Open charm-bottom axial-vector tetraquarks and their properties

abstract: The charged axial-vector $J^{P}=1^{+}$ tetraquarks $Z_{q}=[cq][\bar {b} \bar q ]$ and $Z_{s}=[cs][\bar {b} \bar s]$ with the open charm-bottom contents are studied in the diquark-antidiquark model. The masses and meson-current couplings of these states are calculated by employing QCD two-point sum rule approach, where the quark, gluon and mixed condensates up to eight dimensions are taken into account. These parameters of the tetraquark states $ Z_{q}$ and $Z_{s}$ are used to analyze the vertices $Z_q B_c \rho $ and $Z_s B_c \phi $ to determine the strong $g_{Z_qB_c \rho }$ and $g_{Z_sB_c \phi }$ couplings. For these purposes, QCD light-cone sum rule method and its soft-meson approximation are utilized. The couplings $g_{Z_qB_c \rho }$ and $ g_{Z_sB_c \phi }$, extracted from this analysis, are applied for evaluating of the strong $Z_q \to B_c \rho$ and $Z_s \to B_c \phi$ decays' widths, which are essential results of the present investigation. Our predictions for the masses of the $Z_{q}$ and $Z_{s}$ states are confronted with similar results available in the literature.


title: Low-Precision Batch-Normalized Activations

abstract: Artificial neural networks can be trained with relatively low-precision floating-point and fixed-point arithmetic, using between one and 16 bits. Previous works have focused on relatively wide-but-shallow, feed-forward networks. We introduce a quantization scheme that is compatible with training very deep neural networks. Quantizing the network activations in the middle of each batch-normalization module can greatly reduce the amount of memory and computational power needed, with little loss in accuracy.


title: Haj\'os-like theorem for signed graphs

abstract: The paper designs five graph operations, and proves that every signed graph with chromatic number $q$ can be obtained from all-positive complete graphs $(K_q,+)$ by repeatedly applying these operations. This result gives a signed version of the Haj\'os theorem, emphasizing the role of all-positive complete graphs played in the class of signed graphs, as played in the class of unsigned graphs.


title: Blueshift and Phase tunability in planar metamaterials with toroidal contribution

abstract: We propose a model of tunable THz metamaterials. The main advantage is the blueshift of resonance and phase tunability due to toroidal excitation in planar metallic metamolecules with incorporated silicon inductive inclusions.


title: "If You Can't Beat them, Join them": A Usability Approach to Interdependent Privacy in Cloud Apps

abstract: Cloud storage services, like Dropbox and Google Drive, have growing ecosystems of 3rd party apps that are designed to work with users' cloud files. Such apps often request full access to users' files, including files shared with collaborators. Hence, whenever a user grants access to a new vendor, she is inflicting a privacy loss on herself and on her collaborators too. Based on analyzing a real dataset of 183 Google Drive users and 131 third party apps, we discover that collaborators inflict a privacy loss which is at least 39% higher than what users themselves cause. We take a step toward minimizing this loss by introducing the concept of History-based decisions. Simply put, users are informed at decision time about the vendors which have been previously granted access to their data. Thus, they can reduce their privacy loss by not installing apps from new vendors whenever possible. Next, we realize this concept by introducing a new privacy indicator, which can be integrated within the cloud apps' authorization interface. Via a web experiment with 141 participants recruited from CrowdFlower, we show that our privacy indicator can significantly increase the user's likelihood of choosing the app that minimizes her privacy loss. Finally, we explore the network effect of History-based decisions via a simulation on top of large collaboration networks. We demonstrate that adopting such a decision-making process is capable of reducing the growth of users' privacy loss by 70% in a Google Drive-based network and by 40% in an author collaboration network. This is despite the fact that we neither assume that users cooperate nor that they exhibit altruistic behavior. To our knowledge, our work is the first to provide quantifiable evidence of the privacy risk that collaborators pose in cloud apps. We are also the first to mitigate this problem via a usable privacy approach.


title: Variational Inference using Implicit Distributions

abstract: Generative adversarial networks (GANs) have given us a great tool to fit implicit generative models to data. Implicit distributions are ones we can sample from easily, and take derivatives of samples with respect to model parameters. These models are highly expressive and we argue they can prove just as useful for variational inference (VI) as they are for generative modelling. Several papers have proposed GAN-like algorithms for inference, however, connections to the theory of VI are not always well understood. This paper provides a unifying review of existing algorithms establishing connections between variational autoencoders, adversarially learned inference, operator VI, GAN-based image reconstruction, and more. Secondly, the paper provides a framework for building new algorithms: depending on the way the variational bound is expressed we introduce prior-contrastive and joint-contrastive methods, and show practical inference algorithms based on either density ratio estimation or denoising.


title: A Critical Improvement On Open Shop Scheduling Algorithm For Routing In Interconnection Networks

abstract: In the past years, Interconnection Networks have been used quite often and especially in applications where parallelization is critical. Message packets transmitted through such networks can be interrupted using buffers in order to maximize network usage and minimize the time required for all messages to reach their destination. However, preempting a packet will result in topology reconfiguration and consequently in time cost. The problem of scheduling message packets through such a network is referred to as PBS and is known to be NP-Hard. In this paper we have improved, critically, variations of polynomially solvable instances of Open Shop to approximate PBS. We have combined these variations and called the induced algorithm IHSA, Improved Hybridic Scheduling Algorithm. We ran experiments to establish the efficiency of IHSA and found that in all datasets used it produces schedules very close to the optimal. In addition, we tested IHSA with datasets that follow non-uniform distributions and provided statistical data which illustrates better its performance.To further establish the efficiency of IHSA we ran tests to compare it to SGA, another algorithm which when tested in the past has yielded excellent results.


title: Representations of Askey--Wilson algebra

abstract: We deal with the classification problem of finite-dimensional representations of so called Askey--Wilson algebra in the case when $q$ is not a root of unity. We classify all representations satisfying certain property, which ensures diagonalizability of one of the generating elements.


title: Consensus Patterns parameterized by input string length is W[1]-hard

abstract: We consider the Consensus Patterns problem, where, given a set of input strings, one is asked to extract a long-enough pattern which appears (with some errors) in all strings. We prove that this problem is W[1]-hard when parameterized by the maximum length of input strings.


title: Bayesian inference on random simple graphs with power law degree distributions

abstract: We present a model for random simple graphs with a degree distribution that obeys a power law (i.e., is heavy-tailed). To attain this behavior, the edge probabilities in the graph are constructed from Bertoin-Fujita-Roynette-Yor (BFRY) random variables, which have been recently utilized in Bayesian statistics for the construction of power law models in several applications. Our construction readily extends to capture the structure of latent factors, similarly to stochastic blockmodels, while maintaining its power law degree distribution. The BFRY random variables are well approximated by gamma random variables in a variational Bayesian inference routine, which we apply to several network datasets for which power law degree distributions are a natural assumption. By learning the parameters of the BFRY distribution via probabilistic inference, we are able to automatically select the appropriate power law behavior from the data. In order to further scale our inference procedure, we adopt stochastic gradient ascent routines where the gradients are computed on minibatches (i.e., subsets) of the edges in the graph.


title: Revealing the nonlinear response of a tunneling two-level system ensemble using coupled modes

abstract: Atomic sized two-level systems (TLSs) in amorphous dielectrics are known as a major source of loss in superconducting devices. In addition, individual TLS are known to induce large frequency shifts due to strong coupling to the devices. However, in the presence of a broad ensemble of TLSs these shifts are symmetrically canceled out and not observed in a typical single-tone spectroscopy experiment. We introduce a two-tone spectroscopy on the normal modes of a pair of coupled superconducting coplanar waveguide resonators to reveal this effect. Together with an appropriate saturation model this enables us to extract the average single-photon Rabi frequency of dominant TLSs to be $\Omega_0/2\pi \approx 79 $ kHz. At high photon numbers we observe an enhanced frequency shift due to nonlinear kinetic inductance when using the two-tone method and estimate the value of the nonlinear coefficient as $K/2\pi \approx -1\times 10^{-4}$ Hz/photon. Furthermore, the life-time of each resonance can be controlled (increased) by pumping of the other mode as demonstrated both experimentally and theoretically.


title: Multigrid methods based on shifted inverse iteration for the Maxwell eigenvalue problem

abstract: In this paper two types of multgrid methods, i.e., the Rayleigh quotient iteration and the inverse iteration with fixed shift, are developed for solving the Maxwell eigenvalue problem with discontinuous relative magnetic permeability and electric permittivity. With the aid of the mixed form of source problem associated with the eigenvalue problem, we prove the uniform convergence of the discrete solution operator to the solution operator in $L^2(\Omega)$ using discrete compactness of edge element space. Then we prove the asymptotically optimal error estimates for both multigrid methods. Numerical experiments confirm our theoretical analysis.


title: RDCL 3D, a Model Agnostic Web Framework for the Design and Composition of NFV Services

abstract: We present RDCL 3D, a "model agnostic" web framework for the design and composition of NFV services and components. The framework allows editing and validating the descriptors of services and components both textually and graphically and supports the interaction with external orchestrators or with deployment and execution environments. RDCL 3D is open source and designed with a modular approach, allowing developers to "plug in" the support for new models. We describe several advances with respect to the NFV state of the art, which have been implemented with RDCL 3D. We have integrated in the platform the latest ETSI NFV ISG model specifications for which no parsers/validators were available. We have also included in the platform the support for OASIS TOSCA models, reusing existing parsers. Then we have considered the modelling of components in a modular software router (Click), which goes beyond the traditional scope of NFV. We have further developed this approach by combining traditional NFV components (Virtual Network Functions) and Click elements in a single model. Finally, we have considered the support of this solution using the Unikernels virtualization technology.


title: Discovery of optical flickering from the symbiotic star EF Aquilae

abstract: We report optical CCD photometry of the recently identified symbiotic star EF Aql. Our observations in Johnson V and B bands clearly show the presence of stochastic light variations with an amplitude of about 0.2 mag on a time scale of minutes. The observations point toward a white dwarf (WD) as the hot component in the system. It is the 11-th object among more than 200 symbiotic stars known with detected optical flickering. Estimates of the mass accretion rate onto the WD and the mass loss rate in the wind of the Mira secondary star lead to the conclusion that less than 1 per cent of the wind is captured by the WD. Eight further candidates for the detection of flickering in similar systems are suggested.


title: Strong evidence for an accelerating universe

abstract: A recent analysis of the Supernova Ia data claims a 'marginal' ($\sim3\sigma$) evidence for a cosmic acceleration. This result has been complemented with a non-accelerating $R_{h}=ct$ cosmology, which was presented as a valid alternative to the $\Lambda$CDM model. In this paper, we use the same analysis to show that a non-marginal evidence for acceleration is actually found. We compare the standard Friedmann models to the $R_{h}=ct$ cosmology by complementing SN Ia data with the Baryon Acoustic Oscillations, Gamma Ray Bursts and Observational Hubble datasets. We also study the power-law model which is a functional generalisation of $R_{h}=ct$. We find that the evidence for late-time acceleration is beyond refutable at a 4.56$\sigma$ confidence level from SN Ia data alone, and at an even stronger confidence level ($5.38\sigma$) from our joint analysis. Also, the non-accelerating $R_{h}=ct$ model fails to statistically compare with the $\Lambda$CDM having a $\Delta(\text{AIC})\sim30$.


title: Subspace Sum Graph of a Vector Space

abstract: In this paper we introduce a graph structure, called subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ where the vertex set is the collection of non-trivial proper subspaces of a vector space and two vertices $W_1,W_2$ are adjacent if $W_1 + W_2=\mathbb{V}$. The diameter, girth, connectivity, maximal independent sets, different variants of domination number, clique number and chromatic number of $\mathcal{G}(\mathbb{V})$ are studied. It is shown that two subspace sum graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally some properties of subspace sum graph are studied when the base field is finite.


abstract: The present CORE 3.2 (COmpendium of RElations, Version 3.2) contains various formulas and relations used in the practical calculations in the Standard Model. The properties of the Pauli, Dirac, Gell--Mann matrices, wave functions of free fermions and gauge bosons are considered. We present the full Lagrangian of the Standard Model and the corresponding Feynman rules. The method of the evaluation of the Feynman (loop) integrals and calculations in non-covariant gauges is considered. We discuss in brief the relativistic kinematic and present a large number of the matrix elements of the various processes in the Standard Model.


title: On the Expected Value of the Determinant of Random Sum of Rank-One Matrices

abstract: We present a simple, yet useful result about the expected value of the determinant of random sum of rank-one matrices. Computing such expectations in general may involve a sum over exponentially many terms. Nevertheless, we show that an interesting and useful class of such expectations that arise in, e.g., D-optimal estimation and random graphs can be computed efficiently via computing a single determinant.


title: Scalable k-Means Clustering via Lightweight Coresets

abstract: Coresets are compact representations of data sets such that models trained on a coreset are provably competitive with models trained on the full data set. As such, they have been successfully used to scale up clustering models to massive data sets. While existing approaches generally only allow for multiplicative approximation errors, we propose a novel notion of lightweight coresets that allows for both multiplicative and additive errors. We provide a single algorithm to construct lightweight coresets for k-means clustering as well as soft and hard Bregman clustering. The algorithm is substantially faster than existing constructions, embarrassingly parallel, and the resulting coresets are smaller. We further show that the proposed approach naturally generalizes to statistical k-means clustering and that, compared to existing results, it can be used to compute smaller summaries for empirical risk minimization. In extensive experiments, we demonstrate that the proposed algorithm outperforms existing data summarization strategies in practice.


title: Uniform Deviation Bounds for Unbounded Loss Functions like k-Means

abstract: Uniform deviation bounds limit the difference between a model's expected loss and its loss on an empirical sample uniformly for all models in a learning problem. As such, they are a critical component to empirical risk minimization. In this paper, we provide a novel framework to obtain uniform deviation bounds for loss functions which are *unbounded*. In our main application, this allows us to obtain bounds for $k$-Means clustering under weak assumptions on the underlying distribution. If the fourth moment is bounded, we prove a rate of $\mathcal{O}\left(m^{-\frac12}\right)$ compared to the previously known $\mathcal{O}\left(m^{-\frac14}\right)$ rate. Furthermore, we show that the rate also depends on the kurtosis - the normalized fourth moment which measures the "tailedness" of a distribution. We further provide improved rates under progressively stronger assumptions, namely, bounded higher moments, subgaussianity and bounded support.


title: A formality framework for commutative deformations

abstract: In this article, we use Harrison cohomology to provide a framework for commutative deformations. In particular, Kontsevich's result that formality of (the Hochschild complex of) an associative algebra implies its deformability is adapted for commutative algebras, with the Harrison complex.


title: Hessian corrections to Hybrid Monte Carlo

abstract: A method for the introduction of second-order derivatives of the log likelihood into HMC algorithms is introduced, which does not require the Hessian to be evaluated at each leapfrog step but only at the start and end of trajectories.


title: Towards Detection of Exoplanetary Rings Via Transit Photometry: Methodology and a Possible Candidate

abstract: Detection of a planetary ring of exoplanets remains as one of the most attractive but challenging goals in the field. We present a methodology of a systematic search for exoplanetary rings via transit photometry of long-period planets. The methodology relies on a precise integration scheme we develop to compute a transit light curve of a ringed planet. We apply the methodology to 89 long-period planet candidates from the Kepler data so as to estimate, and/or set upper limits on, the parameters of possible rings. While a majority of our samples do not have a sufficiently good signal-to-noise ratio for meaningful constraints on ring parameters, we find that six systems with a higher signal-to-noise ratio are inconsistent with the presence of a ring larger than 1.5 times the planetary radius assuming a grazing orbit and a tilted ring. Furthermore, we identify five preliminary candidate systems whose light curves exhibit ring-like features. After removing four false positives due to the contamination from nearby stars, we identify KIC 10403228 as a reasonable candidate for a ringed planet. A systematic parameter fit of its light curve with a ringed planet model indicates two possible solutions corresponding to a Saturn-like planet with a tilted ring. There also remain other two possible scenarios accounting for the data; a circumstellar disk and a hierarchical triple. Due to large uncertain factors, we cannot choose one specific model among the three.


title: Distributed fiber sparse-wideband vibration sensing by sub-Nyquist additive random sampling

abstract: The round trip time of the light pulse limits the maximum detectable vibration frequency response range of phase-sensitive optical time domain reflectometry ({\phi}-OTDR). Unlike the uniform laser pulse interval in conventional {\phi}-OTDR, we randomly modulate the pulse interval, so that an equivalent sub-Nyquist additive random sampling (sNARS) is realized for every sensing point of the long interrogation fiber. For an {\phi}-OTDR system with 10 km sensing length, the sNARS method is optimized by theoretical analysis and Monte Carlo simulation, and the experimental results verify that a wide-band spars signal can be identified and reconstructed. Such a method can broaden the vibration frequency response range of {\phi}-OTDR, which is of great significance in sparse-wideband-frequency vibration signal detection, such as rail track monitoring and metal defect detection.


title: Single-component molecular material hosting antiferromagnetic and spin-gapped Mott subsystems

abstract: We investigated a system based solely on a single molecular species, Cu(tmdt)$_{2}$, accommodating $d$ and ${\pi}$ orbitals within the molecule. $^{13}$C nuclear magnetic resonance measurements captured singlet-triplet excitations of ${\pi}$ spins indicating the existence of a ${\pi}$-electron-based spin-gapped Mott insulating subsystem, which has been hidden by the large magnetic susceptibility exhibited by the $d$ spins forming antiferromagnetic chains. The present results demonstrate a unique hybrid Mott insulator composed of antiferromagnetic and spin-singlet Mott subsystems with distinctive dimensionalities.


title: Learning with Errors is easy with quantum samples

abstract: Learning with Errors is one of the fundamental problems in computational learning theory and has in the last years become the cornerstone of post-quantum cryptography. In this work, we study the quantum sample complexity of Learning with Errors and show that there exists an efficient quantum learning algorithm (with polynomial sample and time complexity) for the Learning with Errors problem where the error distribution is the one used in cryptography. While our quantum learning algorithm does not break the LWE-based encryption schemes proposed in the cryptography literature, it does have some interesting implications for cryptography: first, when building an LWE-based scheme, one needs to be careful about the access to the public-key generation algorithm that is given to the adversary; second, our algorithm shows a possible way for attacking LWE-based encryption by using classical samples to approximate the quantum sample state, since then using our quantum learning algorithm would solve LWE.


title: DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL

abstract: We present the latest major release version 6.0 of the quantified Boolean formula (QBF) solver DepQBF, which is based on QCDCL. QCDCL is an extension of the conflict-driven clause learning (CDCL) paradigm implemented in state of the art propositional satisfiability (SAT) solvers. The Q-resolution calculus (QRES) is a QBF proof system which underlies QCDCL. QCDCL solvers can produce QRES proofs of QBFs in prenex conjunctive normal form (PCNF) as a byproduct of the solving process. In contrast to traditional QCDCL based on QRES, DepQBF 6.0 implements a variant of QCDCL which is based on a generalization of QRES. This generalization is due to a set of additional axioms and leaves the original Q-resolution rules unchanged. The generalization of QRES enables QCDCL to potentially produce exponentially shorter proofs than the traditional variant. We present an overview of the features implemented in DepQBF and report on experimental results which demonstrate the effectiveness of generalized QRES in QCDCL.


title: Gain and loss in open quantum systems

abstract: Photosynthesis is the basic process used by plants to convert light energy in reaction centers into chemical energy. The high efficiency of this process is not yet understood today. Using the formalism for the description of open quantum systems by means of a non-Hermitian Hamilton operator, we consider initially the interplay of gain (acceptor) and loss (donor). Near singular points it causes fluctuations of the cross section which appear without any excitation of internal degrees of freedom of the system. This process occurs therefore very quickly and with high efficiency. We then consider the excitation of resonance states of the system by means of these fluctuations. This second step of the whole process takes place much slower than the first one, because it involves the excitation of internal degrees of freedom of the system. The two-step process as a whole is highly efficient and the decay is bi-exponential. We provide, if possible, the results of analytical studies, otherwise characteristic numerical results. The similarities of the obtained results to light harvesting in photosynthetic organisms are discussed.


title: Upper and Lower Bounds for the Ergodic Capacity of MIMO Jacobi Fading Channels

abstract: In multi-(core/mode) optical fiber communication, the transmission channel can be modeled as a complex sub-matrix of the Haar-distributed unitary matrix (complex Jacobi unitary ensemble). In this letter, we present new analytical expressions of the upper and lower bounds for the ergodic capacity of multiple-input multiple-output Jacobi-fading channels. Recent results on the determinant of the Jacobi unitary ensemble are employed to derive a tight lower bound on the ergodic capacity. We use Jensen's inequality to provide an analytical closed-form upper bound to the ergodic capacity at any signal-to-noise ratio (SNR). Closed-form expressions of the ergodic capacity, at low and high SNR regimes, are also derived. Simulation results are presented to validate the accuracy of the derived expressions.


title: Adaptive Ensemble Prediction for Deep Neural Networks based on Confidence Level

abstract: Ensembling multiple predictions is a widely used technique for improving the accuracy of various machine learning tasks. One obvious drawback of ensembling is its higher execution cost during inference. In this paper, we first describe our insights on the relationship between the probability of prediction and the effect of ensembling with current deep neural networks; ensembling does not help mispredictions for inputs predicted with a high probability even when there is a non-negligible number of mispredicted inputs. This finding motivated us to develop a way to adaptively control the ensembling. If the prediction for an input reaches a high enough probability, i.e., the output from the softmax function, on the basis of the confidence level, we stop ensembling for this input to avoid wasting computation power. We evaluated the adaptive ensembling by using various datasets and showed that it reduces the computation cost significantly while achieving accuracy similar to that of static ensembling using a pre-defined number of local predictions. We also show that our statistically rigorous confidence-level-based early-exit condition reduces the burden of task-dependent threshold tuning better compared with naive early exit based on a pre-defined threshold in addition to yielding a better accuracy with the same cost.


title: Topologically weakly mixing polygonal billiards

abstract: We show that in a typical polygon the billiard map as well as its associated subshift obtained by coding orbits by the sequence of sides they visit are topologically weakly mixing.


title: J.B.S. Haldane Could Have Done Better

abstract: In a review on the contribution of J.B.S. Haldane to the development of the Bayes factor hypothesis test (arXiv:1511.08180), Etz and Wagenmakers focus on Haldane's proposition of a mixture prior in a genetic example (Haldane 1932, A note on inverse probability. Mathematical Proceedings of the Cambridge Philosophical Society, 28, 55-61.). As Haldane never followed up on these ideas, it is difficult to gauge his motivation and intentions. I argue that contrary to Haldane's stated intention of replacing flat priors with more reasonable assumptions, he actually chose in this example an unreasonable flat prior. Considering the information available to Haldane, I derive a superior prior and compare to Haldane's flat prior. Haldane's main intent with his article seems to have been to explore the different parameter regions of the binomial and the conjugate beta. Furthermore, I agree with Etz and Wagenmakers that Haldane serendipitously adopted a mixture prior comprising a point mass and smooth distribution in his genetic example.


title: Sequential Discrete Kalman Filter for Real-Time State Estimation in Power Distribution Systems: Theory and Implementation

abstract: This paper demonstrates the feasibility of implementing Real-Time State Estimators (RTSEs) for Active Distribution Networks (ADNs) in Field-Programmable Gate Arrays (FPGAs) by presenting an operational prototype. The prototype is based on a Linear State Estimator (LSE) that uses synchrophasor measurements from Phasor Measurement Units (PMUs). The underlying algorithm is the Sequential Discrete Kalman Filter (SDKF), an equivalent formulation of the Discrete Kalman Filter (DKF) for the case of uncorrelated measurement noise. In this regard, this work formally proves the equivalence the SDKF and the DKF, and highlights the suitability of the SDKF for an FPGA implementation by means of a computational complexity analysis. The developed prototype is validated using a case study adapted from the IEEE 34-node distribution test feeder.


title: A single camera three-dimensional digital image correlation system for the study of adiabatic shear bands

abstract: We describe the capability of a high-resolution three-dimensional digital image correlation (DIC) system specifically designed for high strain-rate experiments. Utilising open-source camera calibration and two-dimensional DIC tools within the MATLAB framework, a single camera three-dimensional DIC system with submicron displacement resolution is demonstrated. The system has a displacement accuracy of up to 200 times the optical spatial resolution, matching that achievable with commercial systems. The surface strain calculations are benchmarked against commercially available software before being deployed on quasi-static tests showcasing the ability to detect both in- and out-of-plane motion. Finally, a high strain-rate (1.2$\times$10$^3$ s$^{-1}$) test was performed on a top-hat sample compressed in a split-Hopkinson pressure bar in order to highlight the inherent camera synchronisation and ability to resolve the adiabatic shear band phenomenon.


title: The dual group of a spherical variety

abstract: Let $X$ be a spherical variety for a connected reductive group $G$. Work of Gaitsgory-Nadler strongly suggests that the Langlands dual group $G^\vee$ of $G$ has a subgroup whose Weyl group is the little Weyl group of $X$. Sakellaridis-Venkatesh defined a refined dual group $G^\vee_X$ and verified in many cases that there exists an isogeny $\phi$ from $G^\vee_X$ to $G^\vee$. In this paper, we establish the existence of $\phi$ in full generality. Our approach is purely combinatorial and works (despite the title) for arbitrary $G$-varieties.


title: Stepwise Bose-Einstein condensation in a spinor gas

abstract: We observe multi-step condensation of sodium atoms with spin $F=1$, where the different Zeeman components $m_F=0,\pm 1$ condense sequentially as the temperature decreases. The precise sequence changes drastically depending on the magnetization $m_z$ and on the quadratic Zeeman energy $q$ (QZE) in an applied magnetic field. For large QZE, the overall structure of the phase diagram is the same as for an ideal spin 1 gas, although the precise locations of the phase boundaries are significantly shifted by interactions. For small QZE, antiferromagnetic interactions qualitatively change the phase diagram with respect to the ideal case, leading for instance to condensation in $m_F=\pm 1$, a phenomenon that cannot occur for an ideal gas with $q>0$.


title: Effects of rotation and boundaries on chiral symmetry breaking of relativistic fermions

abstract: In order to avoid unphysical causality-violating effects any rigidly rotating system must be bounded in directions transverse to the axis of rotation. We demonstrate that this requirement implies substantial dependence of properties of relativistically rotating system on the boundary conditions. We consider a system of interacting fermions described by the Nambu-Jona-Lasinio model in a space bounded by cylindrical surface of finite radius. In order to confine the fermions inside the cylinder we impose "chiral" MIT boundary conditions on its surface. These boundary conditions are parameterized by a continuous chiral angle \Theta. We find that at any value of \Theta the chiral restoration temperature T_c decreases as a quadratic function of the angular frequency \Omega. However, the position and the slope of the critical curve T_c = T_c(\Omega) in the phase diagram depends noticeably on the value of the chiral angle.


title: Large-scale chromosome folding versus genomic DNA sequences: A discrete double Fourier transform technique

abstract: Using state-of-the-art techniques combining imaging methods and high-throughput genomic mapping tools leaded to the significant progress in detailing chromosome architecture of various organisms. However, a gap still remains between the rapidly growing structural data on the chromosome folding and the large-scale genome organization. Could a part of information on the chromosome folding be obtained directly from underlying genomic DNA sequences abundantly stored in the databanks? To answer this question, we developed an original discrete double Fourier transform (DDFT). DDFT serves for the detection of large-scale genome regularities associated with domains/units at the different levels of hierarchical chromosome folding. The method is versatile and can be applied to both genomic DNA sequences and corresponding physico-chemical parameters such as base-pairing free energy. The latter characteristic is closely related to the replication and transcription and can also be used for the assessment of temperature or supercoiling effects on the chromosome folding. We tested the method on the genome of Escherichia coli K-12 and found good correspondence with the annotated domains/units established experimentally. As a brief illustration of further abilities of DDFT, the study of large-scale genome organization for bacteriophage PHIX174 and bacterium Caulobacter crescentus was also added. The combined experimental, modeling, and bioinformatic DDFT analysis should yield more complete knowledge on the chromosome architecture and genome organization.