title: Extrapolation methods and Bethe ansatz for the asymmetric exclusion process

abstract: The one-dimensional asymmetric simple exclusion process (ASEP), where $N$ hard-core particles hop forward with rate $1$ and backward with rate $q<1$, is considered on a periodic lattice of $L$ site. Using KPZ universality and previous results for the totally asymmetric model $q=0$, precise conjectures are formulated for asymptotics at finite density $\rho=N/L$ of ASEP eigenstates close to the stationary state. The conjectures are checked with high precision using extrapolation methods on finite size Bethe ansatz numerics. For weak asymmetry $1-q\sim1/\sqrt{L}$, double extrapolation combined with an integer relation algorithm gives an exact expression for the spectral gap up to $10$-th order in the asymmetry.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Vertices of FFLV polytopes

abstract: FFLV polytopes describe monomial bases in irreducible representations of $\mathfrak{sl}_n$ and $\mathfrak{sp}_{2n}$. We study various sets of vertices of FFLV polytopes. First, we consider the special linear case. We prove the locality of the set of vertices with respect to the type $A$ Dynkin diagram. Then we describe all the permutation vertices and after that we describe all the simple vertices and prove that their number is equal to the large Schr\"oder number. Finally, we derive analogous results for symplectic algebras.


title: Closed-form, robust and accurate multi-frequency phase unwrapping: frequency design and algorithm

abstract: A closed-form algorithm, named "concerto", is proposed for phase-based distance estimation in multi-frequency phase unwrapping (MFPU) system. The concerto method consists of three coherent estimation stages,i.e., initial modified BW estimation, residual error estimation and LS estimation , each of which has a closed-form expression and cooperates closely with each other like a concerto. Due to a specially designed frequency pattern, concerto is reliable, accurate, and computationally simple. Meanwhile, measurement frequency selection is an easier task. Performance comparisons with beat wavelength (BW), excess fractions (EF) and Chinese remainder theorem (CRT) method confirm that our method outperforms these methods both in accuracy and reliability and can asymptotically achieve the Cramer-Rao bound (CRB).


title: Accelerated first-order methods for large-scale convex minimization

abstract: This paper discusses several (sub)gradient methods attaining the optimal complexity for smooth problems with Lipschitz continuous gradients, nonsmooth problems with bounded variation of subgradients, weakly smooth problems with H\"older continuous gradients. The proposed schemes are optimal for smooth strongly convex problems with Lipschitz continuous gradients and optimal up to a logarithmic factor for nonsmooth problems with bounded variation of subgradients. More specifically, we propose two estimation sequences of the objective and give two iterative schemes for each of them. In both cases, the first scheme requires the smoothness parameter and the H\"older constant, while the second scheme is parameter-free (except for the strong convexity parameter which we set zero if it is not available) at the price of applying a nonmonotone backtracking line search. A complexity analysis for all the proposed schemes is given. Numerical results for some applications in sparse optimization and machine learning are reported, which confirm the theoretical foundations.


title: A Note on Jain modified Phillips operators

abstract: In the present article we define the Phillips type modification of the generalized Sz\'asz-Mirakjan operators. Moments, recurrence formulas, and other identities are established for these operators. Approximation properties are also obtained with use of the Boham-Korovkin theorem.


title: Augmented Reality Oculus Rift

abstract: This paper covers the whole process of developing an Augmented Reality Stereoscopig Render Engine for the Oculus Rift. To capture the real world in form of a camera stream, two cameras with fish-eye lenses had to be installed on the Oculus Rift DK1 hardware. The idea was inspired by Steptoe \cite{steptoe2014presence}. After the introduction, a theoretical part covers all the most neccessary elements to achieve an AR System for the Oculus Rift, following the implementation part where the code from the AR Stereo Engine is explained in more detail. A short conclusion section shows some results, reflects some experiences and in the final chapter some future works will be discussed. The project can be accessed via the git repository https://github.com/MaXvanHeLL/ARift.git.


title: Quantum force estimation in arbitrary non-Markovian Gaussian bath

abstract: The force estimation problem in quantum metrology with an arbitrary non-Markovian Gaussian bath is considered. No assumptions are made on the bath spectrum and coupling strength with the probe. Considering the natural global unitary evolution of both bath and probe and assuming initial global Gaussian states we are able to solve the main issues of any quantum metrological problem: the best achievable precision determined by the quantum Fisher information, the best initial state and the best measurement. Studying the short time behavior and comparing to regular Markovian dynamics we observe an increase of quantum Fisher information. We emphasize that this phenomenon is due to the ability to perform measurements below the correlation time of the bath, activating non-Markovian effects. This brings huge consequences for the sequential preparation-and- measurement scenario as the quantum Fisher information becomes unbounded when the initial probe mean energy goes to infinity, whereas its Markovian counterpart remains bounded by a constant. The long time behavior shows the complexity and potential variety of non-Markovian effects, somewhere between the exponential decay characteristic of Markovian dynamics and the sinusoidal oscillations characteristic of resonant narrow bands.


title: Multi-wavelength landscape of the young galaxy cluster RXJ1257.2+4738 at z=0.866. II. Morphological properties

abstract: The study of the evolution of the morphological distribution of galaxies in different environments can provide important information about the effects of the environment and the physical mechanisms responsible for the morphological transformations. As part of a complete analysis of the young cluster RXJ1257+4738 at z$\sim$0.9, we studied in this work the morphological properties of its galaxies. We used non-parametric methods of morphological classification, as implemented in the galSVM code. The classification with the applied method was possible even using ground-based observations: r'-band imaging from OSIRIS/GTC. We defined very conservative probability limits, taking into account the probability errors, in order to obtain a trustworthy classification. In this way we were able to classify about the 30% of all cluster members, and to separate between LT and ET galaxies. Additionally, when analysing the colour-magnitude diagram, we observed a significant population of blue ET galaxies between the classified ones. We discussed possible explanations for the finding of this population. Moreover, we studied different physical properties of LT, ET, and blue ET galaxies. They turn out to be comparable, with the exception of the stellar mass that shows that the red ET population is more massive. We also analysed the morphology-density and morphology-radius relations, observing that, only when considering the morphological separation between ET and LT galaxies, a mild classical behaviour is obtained. RXJ1257+4738 is a young galaxy cluster, showing a clumpy structure and being still in the process of formation, which could explain the lack of some of the standard morphological relations. This makes this cluster a very attractive case for obtaining the higher resolution data and for studying in more details the morphological properties of the entire cluster and relation with the environment.


title: Odd Properly Colored Cycles in Edge-Colored Graphs

abstract: It is well-known that an undirected graph has no odd cycle if and only if it is bipartite. A less obvious, but similar result holds for directed graphs: a strongly connected digraph has no odd cycle if and only if it is bipartite. Can this result be further generalized to more general graphs such as edge-colored graphs? In this paper, we study this problem and show how to decide if there exists an odd properly colored cycle in a given edge-colored graph. As a by-product, we show how to detect if there is a perfect matching in a graph with even (or odd) number of edges in a given edge set.


title: Joint Sound Source Separation and Speaker Recognition

abstract: Non-negative Matrix Factorization (NMF) has already been applied to learn speaker characterizations from single or non-simultaneous speech for speaker recognition applications. It is also known for its good performance in (blind) source separation for simultaneous speech. This paper explains how NMF can be used to jointly solve the two problems in a multichannel speaker recognizer for simultaneous speech. It is shown how state-of-the-art multichannel NMF for blind source separation can be easily extended to incorporate speaker recognition. Experiments on the CHiME corpus show that this method outperforms the sequential approach of first applying source separation, followed by speaker recognition that uses state-of-the-art i-vector techniques.


title: Joint Dispersion Model with a Flexible Link

abstract: The objective is to model longitudinal and survival data jointly taking into account the dependence between the two responses in a real HIV/AIDS dataset using a shared parameter approach inside a Bayesian framework. We propose a linear mixed effects dispersion model to adjust the CD4 longitudinal biomarker data with a between-individual heterogeneity in the mean and variance. In doing so we are relaxing the usual assumption of a common variance for the longitudinal residuals. A hazard regression model is considered in addition to model the time since HIV/AIDS diagnostic until failure, being the coefficients, accounting for the linking between the longitudinal and survival processes, time-varying. This flexibility is specified using Penalized Splines and allows the relationship to vary in time. Because heteroscedasticity may be related with the survival, the standard deviation is considered as a covariate in the hazard model, thus enabling to study the effect of the CD4 counts' stability on the survival. The proposed framework outperforms the most used joint models, highlighting the importance in correctly taking account the individual heterogeneity for the measurement errors variance and the evolution of the disease over time in bringing new insights to better understand this biomarker-survival relation.


title: Influence of the laser frequency drift in phase-sensitive optical time-domain reflectometry

abstract: The influence of the laser frequency drift on the operation of phase-sensitive optical time-domain reflectometry ($\Phi$-OTDR) systems is considered. Theoretical results based on a new numerical $\Phi$-OTDR model demonstrating the influence of the laser frequency instability on a signal are reported. This model is verified based on experimental data. It has been used to calculate the signal-to-noise ratio (SNR) of the system for different parameters of the laser source stability. As a result, quantitative requirements for lasers used in $\Phi$-OTDR systems are formulated.


title: Finite temperature elastic constants of paramagnetic materials within the disordered local moment picture from ab initio molecular dynamics calculations

abstract: We present a theoretical scheme to calculate the elastic constants of magnetic materials in the high-temperature paramagnetic state. Our approach is based on a combination of disordered local moments picture and ab initio molecular dynamics (DLM-MD). Moreover, we investigate a possibility to enhance the efficiency of the simulations of elastic properties using recently introduced method: symmetry imposed force constant temperature dependent effective potential (SIFC-TDEP). We have chosen cubic paramagnetic CrN as a model system. This is done due to its technological importance and its demonstrated strong coupling between magnetic and lattice degrees of freedom. We have studied the temperature dependent single-crystal and polycrystalline elastic constants of paramagentic CrN up to 1200 K. The obtained results at T= 300 K agree well with the experimental values of polycrystalline elastic constants as well as Poisson ratio at room temperature. We observe that the Young's modulus is strongly dependent on temperature, decreasing by ~14% from T=300 K to 1200 K. In addition we have studied the elastic anisotropy of CrN as a function of temperature and we observe that CrN becomes substantially more isotropic as the temperature increases. We demonstrate that the use of Birch law may lead to substantial errors for calculations of temperature induced changes of elastic moduli. The proposed methodology can be used for accurate predictions of mechanical properties of magnetic materials at temperatures above their magnetic order-disorder phase transition.


title: The Wilson loop in the Gaussian Unitary Ensemble

abstract: Using the supersymmetric formalism we compute exactly at finite $N$ the expectation of the Wilson loop in the Gaussian Unitary Ensemble and derive an exact formula for the spectral density at finite $N$. We obtain the same result by a second method relying on enumerative combinatorics and show that it leads to a novel proof of the Harer-Zagier series formula.


title: On non-abelian Lubin-Tate theory for GL(2) in the odd equal characteristic case

abstract: In this paper, we define a family of affinoids in the tubular neighborhoods of CM points in the Lubin-Tate curve with suitable level structures, and compute the reductions of them in the equal characteristic case. By using etale cohomology theory of adic spaces due to Huber, we show that the cohomology of the reductions contributes to the cohomology of the Lubin-Tate curve. As an application, with the help of explicit descriptions of the local Langlands correspondence and the local Jacquet-Langlands correspondence due to Bushnell-Henniart via the theory of types, we prove the non-abelian Lubin-Tate theory for GL(2) in the odd equal characteristic case in a purely local manner. Conversely, if we admit the non-abelian Lubin-Tate theory, we can recover the explicit descriptions of the two correspondences geometrically.


title: Pretty Good State Transfer on Some NEPS

abstract: Let $G$ be a graph with adjacency matrix $A$. The transition matrix of $G$ relative to $A$ is defined by $H_{A}(t):=\exp{(-itA)},\;t\in\Rl$. We say that the graph $G$ admits perfect state transfer between the verteices $u$ and $v$ at $\tau\in\Rl$ if the $uv$-th entry of $H_{A}(\tau)$ has unit modulus. Perfect state transfer is a rare phenomena so we consider an approximation called pretty good state transfer. We find that NEPS (Non-complete Extended P-Sum) of the path on three vertices with basis containing tuples with hamming weights of both parities do not exhibit perfect state transfer. But these NEPS admit pretty good state transfer with an additional condition. Further we investigate pretty good state transfer on Cartesian product of graphs and we find that a graph can have PGST from a vertex $u$ to two different vertices $v$ and $w$.


title: The Z-loss: a shift and scale invariant classification loss belonging to the Spherical Family

abstract: Despite being the standard loss function to train multi-class neural networks, the log-softmax has two potential limitations. First, it involves computations that scale linearly with the number of output classes, which can restrict the size of problems we are able to tackle with current hardware. Second, it remains unclear how close it matches the task loss such as the top-k error rate or other non-differentiable evaluation metrics which we aim to optimize ultimately. In this paper, we introduce an alternative classification loss function, the Z-loss, which is designed to address these two issues. Unlike the log-softmax, it has the desirable property of belonging to the spherical loss family (Vincent et al., 2015), a class of loss functions for which training can be performed very efficiently with a complexity independent of the number of output classes. We show experimentally that it significantly outperforms the other spherical loss functions previously investigated. Furthermore, we show on a word language modeling task that it also outperforms the log-softmax with respect to certain ranking scores, such as top-k scores, suggesting that the Z-loss has the flexibility to better match the task loss. These qualities thus makes the Z-loss an appealing candidate to train very efficiently large output networks such as word-language models or other extreme classification problems. On the One Billion Word (Chelba et al., 2014) dataset, we are able to train a model with the Z-loss 40 times faster than the log-softmax and more than 4 times faster than the hierarchical softmax.


title: Designing optimal- and fast-on-average pattern matching algorithms

abstract: Given a pattern $w$ and a text $t$, the speed of a pattern matching algorithm over $t$ with regard to $w$, is the ratio of the length of $t$ to the number of text accesses performed to search $w$ into $t$. We first propose a general method for computing the limit of the expected speed of pattern matching algorithms, with regard to $w$, over iid texts. Next, we show how to determine the greatest speed which can be achieved among a large class of algorithms, altogether with an algorithm running this speed. Since the complexity of this determination make it impossible to deal with patterns of length greater than 4, we propose a polynomial heuristic. Finally, our approaches are compared with 9 pre-existing pattern matching algorithms from both a theoretical and a practical point of view, i.e. both in terms of limit expected speed on iid texts, and in terms of observed average speed on real data. In all cases, the pre-existing algorithms are outperformed.


title: Exact thermodynamics and phase diagram of integrable t-J model with chiral interaction

abstract: We study the phase diagram and finite temperature properties of an integrable generalization of the one-dimensional super-symmetric t-J model containing interactions explicitly breaking parity-time reversal (PT) symmetries. To this purpose, we apply the quantum transfer matrix method which results in a finite set of non-linear integral equations. We obtain numerical solutions to these equations leading to results for thermodynamic quantities as function of temperature, magnetic field, particle density and staggering parameter. Studying the maxima lines of entropy at low but non zero temperature reveals the phase diagram of the model. There are ten different phases which we may classify in terms of the qualitative behaviour of auxiliary functions, closely related to the dressed energy functions.


title: The HI Content of Galaxies in Groups and Clusters as Measured by ALFALFA

abstract: We present the HI content of galaxies in nearby groups and clusters as measured by the 70% complete Arecibo Legacy Fast-ALFA (ALFALFA) survey, including constraints from ALFALFA detection limits. Our sample includes 22 systems at distances between 70-160 Mpc over the mass range 12.5<log M/M_sun<15.0, for a total of 1986 late-type galaxies. We find that late-type galaxies in the centers of groups lack HI at fixed stellar mass relative to the regions surrounding them. Larger groups show evidence of a stronger dependence of HI properties on environment, despite a similar dependence of color on environment at fixed stellar mass. We compare several environment variables to determine which is the best predictor of galaxy properties; group-centric distance r and r/R_200 are similarly effective predictors, while local density is slightly more effective and group size and halo mass are slightly less effective. While both central and satellite galaxies in the blue cloud exhibit a significant dependence of HI content on local density, only centrals show a strong dependence on stellar mass, and only satellites show a strong dependence on halo mass. Finally, we see evidence that HI is deficient for blue cloud galaxies in denser environments even when both stellar mass and color are fixed. This is consistent with a picture where HI is removed or destroyed, followed by reddening within the blue cloud. Our results support the existence of pre-processing in isolated groups, along with an additional rapid mechanism for gas removal within larger groups and clusters, perhaps ram-pressure stripping.


title: A Novel Third Order Numerical Method for Solving Volterra Integro-Differential Equations

abstract: In this paper we introduce a numerical method for solving nonlinear Volterra integro-differential equations. In the first step, we apply implicit trapezium rule to discretize the integral in given equation. Further, the Daftardar-Gejji and Jafari technique (DJM) is used to find the unknown term on the right side. We derive existence-uniqueness theorem for such equations by using Lipschitz condition. We further present the error, convergence, stability and bifurcation analysis of the proposed method. We solve various types of equations using this method and compare the error with other numerical methods. It is observed that our method is more efficient than other numerical methods.


title: From climate models to planetary habitability: temperature constraints for complex life

abstract: In an effort to derive temperature based criteria of habitability for multicellular life, we investigated the thermal limits of terrestrial poikilotherms, i.e. organisms whose body temperature and the functioning of all vital processes is directly affected by the ambient temperature. Multicellular poikilotherms are the most common and evolutionarily ancient form of complex life on earth. The thermal limits for their active metabolism and reproduction are bracketed by the temperature interval 0C<T<50C. The same interval applies to the photosynthetic production of oxygen, an essential ingredient of complex life, and for the generation of atmospheric biosignatures. Analysis of the main mechanisms responsible for the thermal thresholds of terrestrial life suggests that the same mechanisms would apply to other forms of chemical life. We propose a habitability index for complex life, h050, representing the mean orbital fraction of planetary surface that satisfies the temperature limits 0C<T<50C. With the aid of a climate model tailored for the calculation of the surface temperature of Earth-like planets, we calculated h050 as a function of planet insolation S, and atmospheric columnar mass Natm, for a few earth-like atmospheric compositions. By displaying h050 as a function of S and Natm, we built up an atmospheric mass habitable zone (AMHZ) for complex life. At variance with the classic habitable zone, the inner edge of the complex life HZ is not affected by the uncertainties inherent to the calculation of the runaway greenhouse limit. The complex life HZ is significantly narrower than the HZ of dry planets. Our calculations illustrate how changes in ambient conditions dependent on S and Natm, such as temperature excursions and surface dose of secondary particles of cosmic rays, may influence the type of life potentially present at different epochs of planetary evolution inside the AMHZ.


title: Convolutional Neural Networks for Attribute-based Active Authentication on Mobile Devices

abstract: We present a Deep Convolutional Neural Network (DCNN) architecture for the task of continuous authentication on mobile devices. To deal with the limited resources of these devices, we reduce the complexity of the networks by learning intermediate features such as gender and hair color instead of identities. We present a multi-task, part-based DCNN architecture for attribute detection that performs better than the state-of-the-art methods in terms of accuracy. As a byproduct of the proposed architecture, we are able to explore the embedding space of the attributes extracted from different facial parts, such as mouth and eyes, to discover new attributes. Furthermore, through extensive experimentation, we show that the attribute features extracted by our method outperform the previously presented attribute-based method and a baseline LBP method for the task of active authentication. Lastly, we demonstrate the effectiveness of the proposed architecture in terms of speed and power consumption by deploying it on an actual mobile device.


title: Grasping versus Knitting: a Geometric Perspective

abstract: Grasping an object is a matter of first moving a prehensile organ at some position in the world, and then managing the contact relationship between the prehensile organ and the object. Once the contact relationship has been established and made stable, the object is part of the body and it can move in the world. As any action, the action of grasping is ontologically anchored in the physical space while the correlative movement originates in the space of the body. Evolution has found amazing solutions that allow organisms to rapidly and efficiently manage the relationship between their body and the world. It is then natural that roboticists consider taking inspiration of these natural solutions, while contributing to better understand their origin.


title: Light trapping in an ensemble of point-like impurity centers in Fabry-Perot cavity

abstract: We report the development of quantum microscopic theory of quasi-resonant dipole-dipole interaction in the ensembles of impurity atoms imbedded into transparent dielectric and located into Fabry-Perot cavity. On the basis of the general approach we study the simultaneous influence of the cavity and resonant dipole-dipole interaction on the shape of the line of atomic transition as well as on light trapping in dense impurity ensembles. We analyze this influence depending on the size of the ensemble, its density, as well as on r.m.s. deviation of the transition frequency shifts caused by the symmetry disturbance of the internal fields of the dielectric medium. Obtained results are compared with the case when the cavity is absent. We show that the cavity can essentially modify cooperative polyatomic effects.


title: No interesting sequential groups

abstract: We prove that it is consistent with ZFC that no sequential topological groups of intermediate sequential orders exist. This shows that the answer to a 1981 question of P.~Nyikos is independent of the standard axioms of set theory. The model constructed also provides consistent answers to several questions of D.~Shakhmatov, S.~Todor\v{c}evi\'c and Uzc\'ategui. In particular, we show that it is consistent with ZFC that every countably compact sequential group is Fr\'echet-Urysohn.


title: Einstein contra Aristotle: the sound from the heavens

abstract: In "On the Heavens" Aristotle criticizes the Pythagorean point of view which claims the existence of a cosmic music and a cosmic sound. According to the Pythagorean argument, there exists a cosmic music produced by stars and planets. These celestial bodies generate sound in its movements, and the music appears due to the cosmic harmony. For Aristotle, there is no sound produced by celestial bodies. Then, there is no music as well. However, recently, LIGO (Laser Interferometer Gravitational-Waves Observatory) has detected the gravitational waves predicted by Einstein. In some sense, a sound originated from black holes has been heard. That is, Einstein or the General Relativity and LIGO appear to be with the Pythagoreanism and against the master of the Lyceum.


title: Momentum distribution in the unitary Bose gas from first principles

abstract: We consider a realistic bosonic N-particle model with unitary interactions relevant for Efimov physics. Using quantum Monte Carlo methods, we find that the critical temperature for Bose-Einstein condensation is decreased with respect to the ideal Bose gas. We also determine the full momentum distribution of the gas, including its universal asymptotic behavior, and compare this crucial observable to recent experimental data. Similar to the experiments with different atomic species, differentiated solely by a three-body length scale, our model only depends on a single parameter. We establish a weak influence of this parameter on physical observables. In current experiments, the thermodynamic instability of our model from the atomic gas towards an Efimov liquid could be masked by the dynamical instability due to three-body losses.


title: Compact Q-balls

abstract: In this work we deal with non-topological solutions of the Q-ball type in two space-time dimensions, in models described by a single complex scalar field that engenders global symmetry. The main novelty is the presence of stable Q-balls solutions that live in a compact interval of the real line and appear from a family of models controlled by two distinct parameters. We find analytical solutions and study their charge and energy, and show how to control the parameters to make the Q-balls classically and quantum mechanically stable.


title: On sequential analytic groups

abstract: We answer a question of S.~Todor\v{c}evi\'c and C.~Uzc\'ategui from \cite{TU1} by showing that the only possible sequential orders of sequential analytic groups are $1$ and $\omega_1$. Other results on the structure of sequential analytic spaces and their relation to other classes of spaces are given as well. In particular, we provide a full topological classification of sequential analytic groups by showing that all such groups are either metrizable or $k_\omega$-spaces, which, together with a result by Zelenyuk, implies that there are exactly $\omega_1$ non homeomorphic analytic sequential group topologies.


title: Computational Higher Type Theory I: Abstract Cubical Realizability

abstract: Brouwer's constructivist foundations of mathematics is based on an intuitively meaningful notion of computation shared by all mathematicians. Martin-L\"of's meaning explanations for constructive type theory define the concept of a type in terms of computation. Briefly, a type is a complete (closed) program that evaluates to a canonical type whose members are complete programs that evaluate to canonical elements of that type. The explanation is extended to incomplete (open) programs by functionality: types and elements must respect equality in their free variables. Equality is evidence-free---two types or elements are at most equal---and equal things are implicitly interchangeable in all contexts. Higher-dimensional type theory extends type theory to account for identifications of types and elements. An identification witnesses that two types or elements are explicitly interchangeable in all contexts by an explicit transport, or coercion, operation. There must be sufficiently many identifications, which is ensured by imposing a generalized form of the Kan condition from homotopy theory. Here we provide a Martin-L\"of-style meaning explanation of simple higher-dimensional type theory based on a programming language that includes Kan-like constructs witnessing the computational meaning of the higher structure of types. The treatment includes an example of a higher inductive type (namely, the 1-dimensional sphere) and an example of Voevodsky's univalence principle, which identifies equivalent types. The main result is a computational canonicity theorem that validates the computational interpretation: a closed boolean expression must always evaluate to a boolean value, even in the presence of higher-dimensional structure. This provides the first fully computational formulation of higher-dimensional type theory.


title: On large sequential groups

abstract: We construct, using $\diamondsuit$, an example of a sequential group $G$ such that the only countable sequential subgroups of $G$ are closed and discrete, and the only quotients of $G$ that have a countable pseudocharacter are countable and Fr\'echet. We also show how to construct such a $G$ with several additional properties (such as make $G^2$ sequential, and arrange for every sequential subgroup of $G$ to be closed and contain a nonmetrizable compact subspace, etc.). Several results about $k_\omega$ sequential groups are proved. In particular, we show that each such group is either locally compact and metrizable or contains a closed copy of the sequential fan. It is also proved that a dense proper subgroup of a non Fr\'echet $k_\omega$ sequential group is not sequential extending a similar observation of T.~Banakh about countable $k_\omega$ groups.


title: The classification of purely non-symplectic automorphisms of high order on K3 surfaces

abstract: An automorphism of order $n$ of a K3 surface is called purely non-symplectic if it multiplies the holomorphic symplectic form by a primitive $n$-th root of unity. We give the classification of purely non-symplectic automorphisms with $\varphi(n)\geq 12$ where $\varphi$ denotes the Euler totient function.


title: Quantum Monte Carlo with Variable Spins

abstract: We investigate the inclusion of variable spins in electronic structure quantum Monte Carlo, with a focus on diffusion Monte Carlo with Hamiltonians that include spin-orbit interactions. Following our previous introduction of fixed-phase spin-orbit diffusion Monte Carlo (FPSODMC), we thoroughly discuss the details of the method and elaborate upon its technicalities. We present a proof for an upper-bound property for complex nonlocal operators, which allows for the implementation of T-moves to ensure the variational property. We discuss the time step biases associated with our particular choice of spin representation. Applications of the method are also presented for atomic and molecular systems. We calculate the binding energies and geometry of the PbH and Sn$_2$ molecules, as well as the electron affinities of the 6$p$ row elements in close agreement with experiments.


title: Sterile neutrino search at the ILL nuclear reactor: the STEREO experiment

abstract: Search for a light sterile neutrino is currently a hot topic of neutrino physics, arising from the so-called gallium and reactor anomalies, in which a deficit of neutrinos was observed with respect to expectations. Such anomalies could be explained by short distance oscillations towards a sterile state, with $\Delta \mathrm{m}^2\sim$1\,eV$^2$. The STEREO detector has been designed to track the electron anti-neutrino energy spectrum distortion from 3 to 8\,MeV due to such a new $L/E$ oscillation, and should therefore confirm or reject the light sterile neutrino hypothesis. Electron anti-neutrinos produced by the compact reactor core of the Institut Laue-Langevin (ILL) will be detected in a 6-cells segmented volume of Gd-loaded liquid scintillator through the inverse $\beta$-decay process. The STEREO detector is being set-up and will be commissioned in fall 2016, and start data taking soon after. In this paper we will present the final design of the detector and its status, as well as its expected sensitivity.


title: Stack and register complexity of radix conversions

abstract: We investigate the question of computational resources (such as stacks and counters) necessary to perform radix conversions. To this end it is shown that no PDA can compute the significand of the best $n$-digit floating point approximation of a power of an incommensurable radix. This extends the results of W.~Clinger. We also prove that a two counter machine with input is capable of such conversions. On the other hand we note a curious asymmetry with respect to the order in which the digits are input by showing that a two counter machine can decode its input online if the digits are presented in the most-to-least significant order while no such machine can decode its input in this manner if the digits are presented in the least-to-most significant order. Some structural results about two counter machines (with input) are also established.


title: Stable lepton mass matrices

abstract: We study natural lepton mass matrices, obtained assuming the stability of physical flavour observables with respect to the variations of individual matrix elements. We identify all four possible stable neutrino textures from algebraic conditions on their entries. Two of them turn out to be uniquely associated to specific neutrino mass patterns. We then concentrate on the semi-degenerate pattern, corresponding to an overall neutrino mass scale within the reach of future experiments. In this context we show that i) the neutrino and charged lepton mixings and mass matrices are largely constrained by the requirement of stability, ii) naturalness considerations give a mild preference for the Majorana phase most relevant for neutrinoless double-beta decay, $\alpha \sim \pi/2$, and iii) SU(5) unification allows to extend the implications of stability to the down quark sector. The above considerations would benefit from an experimental determination of the PMNS ratio $|U_{32}/U_{31}|$, i.e. of the Dirac phase $\delta$.


title: Deep, Convolutional, and Recurrent Models for Human Activity Recognition using Wearables

abstract: Human activity recognition (HAR) in ubiquitous computing is beginning to adopt deep learning to substitute for well-established analysis techniques that rely on hand-crafted feature extraction and classification techniques. From these isolated applications of custom deep architectures it is, however, difficult to gain an overview of their suitability for problems ranging from the recognition of manipulative gestures to the segmentation and identification of physical activities like running or ascending stairs. In this paper we rigorously explore deep, convolutional, and recurrent approaches across three representative datasets that contain movement data captured with wearable sensors. We describe how to train recurrent approaches in this setting, introduce a novel regularisation approach, and illustrate how they outperform the state-of-the-art on a large benchmark dataset. Across thousands of recognition experiments with randomly sampled model configurations we investigate the suitability of each model for different tasks in HAR, explore the impact of hyperparameters using the fANOVA framework, and provide guidelines for the practitioner who wants to apply deep learning in their problem setting.


title: Monolithic AlGaAs second-harmonic nanoantennas

abstract: We demonstrate monolithic aluminum gallium arsenide (AlGaAs) optical anoantennas. Using a selective oxidation technique, we fabricate such epitaxial semiconductor nanoparticles on an aluminum oxide substrate. Second harmonic generation from an AlGaAs nanocylinder of height h=400 nm and varying radius pumped with femtosecond pulses delivered at 1554-nm wavelength has been measured, revealing a peak conversion efficiency exceeding 10-5 for nanocylinders with an otpimized geometry.


title: Detecting a preformed pair phase: The response to a pairing forcing field

abstract: The normal state of strongly coupled superconductors is characterized by the presence of "preformed" Cooper pairs well above the superconducting critical temperature. In this regime, the electrons are paired, but they lack the phase coherence necessary for superconductivity. The existence of preformed pairs implies the existence of a characteristic energy scale associated to a pseudogap. Preformed pairs are often invoked to interpret systems where some signatures of pairing are present without actual superconductivity, but an unambiguous theoretical characterization of a preformed-pair system is still lacking. To fill this gap, we consider the response to an external pairing field of an attractive Hubbard model, which hosts one of the cleanest realizations of a preformed pair phase, and a repulsive model where s-wave superconductivity can not be realized. Using dynamical mean-field theory to study this response, we identify the characteristic features which distinguish the reaction of a preformed pair state from a normal metal without any precursor of pairing. The theoretical detection of preformed pairs is associated with the behavior of the second derivative of the order parameter with respect to the external field, as confirmed by analytic calculations in limiting cases. Our findings provide a solid testbed for the interpretation of state-of-the-art calculations for the normal state of the doped Hubbard model in terms of d-wave preformed pairs and, in perspective, of non-equilibrium experiments in high-temperature superconductors.


title: Velocity fluctuations and population distribution in clusters of settling particles at low Reynolds number

abstract: A study on the spatial organization and velocity fluctuations of non Brownian spherical particles settling at low Reynolds number in a vertical Hele-Shaw cell is reported. The particle volume fraction ranged from 0.005 to 0.05, while the distance between cell plates ranged from 5 to 15 times the particle radius. Particle tracking revealed that particles were not uniformly distributed in space but assembled in transient settling clusters. The population distribution of these clusters followed an exponential law. The measured velocity fluctuations are in agreement with that predicted theoretically for spherical clusters, from the balance between the apparent weight and the drag force. This result suggests that particle clustering, more than a spatial distribution of particles derived from random and independent events, is at the origin of the velocity fluctuations.


title: Analytical validation of a 2+1 dimensional continuum model for epitaxial growth with elastic substrate

abstract: An analytical validation is obtained for the evolution equation $$h_t=\Delta[ \mathcal{F}^{-1}(-aE \mathcal{F}(h)) - r/h^2 -\Delta h ],$$ introduced in {\cite{TS}} by W.T. Tekalign and B.J. Spencer to describe the heteroepitaxial growth of a two-dimensional thin film on an elastic substrate. In the expression above, $h$ denotes the surface height of the film, $\mathcal{F}$ is the Fourier transform, and $a$, $E$, $r$ are positive material constants. Existence, uniqueness, and Lipschitz regularity in time for weak solutions are proved, under suitable assumptions on the initial datum.


title: On The Non-Gaussian Errors in High-z Supernovae Type Ia Data

abstract: The nature of random errors in any data set that is Gaussian is a well established fact according to the Central Limit Theorem. Supernovae type Ia data have played a crucial role in major discoveries in cosmology. Unlike in laboratory experiments, astronomical measurements can not be performed in controlled situations. Thus, errors in astronomical data can be more severe in terms of systematics and non-Gaussianity compared to those of laboratory experiments. In this paper, we use the Kolmogorov-Smirnov statistic to test non-Gaussianity in high-z supernovae data. We apply this statistic to four data sets, i.e., Gold data(2004), Gold data(2007), Union2 catalogue and the Union2.1 data set for our analysis. Our results shows that in all four data sets the errors are consistent with the Gaussian distribution.


title: $\mbox{Bi}_{1}\mbox{Te}_{1}$: a dual topological insulator

abstract: A combined theoretical and experimental study reveals evidence for the dual topological insulating character of the stoichiometric natural superlattice phase $\mathrm{Bi_{1}Te_{1}}=\mathrm{[Bi_{2}]_{1}[Bi_{2}Te_{3}]_{2}}$, being a stack of alternating Bi bilayers and two quintuple layers of $\mathrm{Bi_{2}Te_{3}}$. We identify $\mathrm{Bi_{1}Te_{1}}$ by density functional theory to exhibit a non trivial time-reversal symmetry-driven character of $\mathbb{Z}_{2}=(0;001)$ and additionally a mirror-symmetry induced mirror Chern number of $n_{{\cal M}}=-2$, which indicates that $\mathrm{Bi_{1}Te_{1}}$ is both a weak topological insulator and a topological crystalline insulator. The coexistence of the two phenomena preordains distinct crystal planes to host topological surface states that are protected by the respective symmetries. The surface perpendicular to the stacking direction is the 'dark' surface of the weak topological insulator, while hosting mirror-symmetry protected surface states along the $\bar{\Gamma\mathrm{M}}$ direction at non-time-reversal invariant momenta points. We confirm the stacking sequence of our MBE-grown $\mathrm{Bi_{1}Te_{1}}$ thin films by X-ray diffraction and transmission electron microscopy, and find indications of the topological crystalline and weak topological character in the surface electronic spin structure by spin- and angle-resolved photoemission spectroscopy, which nicely match the results from density functional theory.


title: Gluon Green functions free of Quantum fluctuations

abstract: This letter reports on how the Wilson flow technique can efficaciously kill the short-distance quantum fluctuations of 2- and 3-gluon Green functions, removes the $\Lambda_{\rm QCD}$ scale and destroys the transition from the confining non-perturbative to the asymptotically-free perturbative sector. After the Wilson flow, the behavior of the Green functions with momenta can be described in terms of the quasi-classical instanton background. The same behavior also occurs, before the Wilson flow, at low-momenta. This last result permits applications as, for instance, the detection of instanton phenomenological properties or a cheap lattice calibration.


title: Properties of Mesons in a Strong Magnetic Field

abstract: By extending the $\Phi$-derivable approach in Nambu-Jona-Lasinio model to finite magnetic field we calculate the properties of pion, $\sigma$ and $\rho$ mesons in a magnetic field at finite temperature in not only the quark-antiquark bound state scheme but also the pion-pion scattering resonant state scenario. Our calculation results manifest that the masses of $\pi^{0}$ and $\sigma$ meson can be nearly degenerate at the pseudo-critical temperature which increases with increasing the magnetic field strength, and the $\pi^{\pm}$ mass ascends suddenly at almost the same critical temperature. While the $\rho$ mesons' masses decrease with the temperature but increase with the magnetic field strength. We also check the Gell-Mann-Oakes-Renner relation and find that the relation can be violated obviously with increasing the temperature, and the effect of the magnetic field becomes pronounced around the critical temperature. With different criteria, we analyze the effect of the magnetic field on the chiral phase transition and find that the pseudo-critical temperature of the chiral phase cross, $T_{c}^{\chi}$, is always enhanced by the magnetic field. Moreover our calculations indicate that the $\rho$ mesons will get melted as the chiral symmetry has not yet been restored, but the $\sigma$ meson does not disassociate even at very high temperature. Particularly, it is the first to show that there does not exist vector meson condensate in the QCD vacuum in the pion-pion scattering scheme.


title: Polarization-selective branching of stop gaps in three-dimensional photonic crystals

abstract: We study the direction- and wavelength-dependent polarization anisotropy in light scattering at the air-photonic crystal interface as a function of angle of incidence for TE and TM polarized light. This is done using optical reflectivity measurements at high-symmetry points in the Brillouin zone of a three-dimensional photonic crystal with fcc symmetry. Polarized reflectivity measurements indicate the presence of stop gap branching for TE polarization, which is absent for TM polarization till the Brewster angle at K point. In contrast, stop gap branching is present for both TE and TM polarizations at W point due to the intricate mixing of crystal planes. This characteristic behavior signifies the inevitable role of energy exchange in the stop gap branching. The measured polarization anisotropy shows a prominent shift in the Brewster angle for on-resonance wavelength as compared to the off-resonance along both K and W points, and that, in accordance with theory. Our results have implications in polarization-induced light scattering in sub-wavelength photonic structures like plasmonic crystals, and meta-materials.


title: How did prebiotic polymers become informational foldamers?

abstract: A mystery about the origins of life is which molecular structures $-$ and what spontaneous processes $-$ drove the autocatalytic transition from simple chemistry to biology? Using the HP lattice model of polymer sequence spaces leads to the prediction that random sequences of hydrophobic ($H$) and polar ($P$) monomers can collapse into relatively compact structures, exposing hydrophobic surfaces, acting as primitive versions of today's protein catalysts, elongating other such HP polymers, as ribosomes would now do. Such foldamer-catalysts form an autocatalytic set, growing short chains into longer chains that have particular sequences. The system has capacity for the multimodality: ability to settle at multiple distinct quasi-stable states characterized by different groups of dominating polymers. This is a testable mechanism that we believe is relevant to the early origins of life.


title: Modelling transition phenomena of scientific coauthorship networks

abstract: In a range of scientific coauthorship networks, transitions emerge in degree distributions, correlations between degrees and local clustering coefficients, etc. The existence of those transitions could be regarded as a result of the diversity in collaboration behaviours of scientific fields. A growing geometric hypergraph built on a cluster of concentric circles is proposed to model two specific collaboration behaviours, namely the behaviour of leaders and that of other members in research teams. The model successfully predicts the transitions, as well as many common features of coauthorship networks. Particulary, it realizes a process of deriving the complex "scale-free" property from the simple "yes/no" experiments. Moreover, it gives a reasonable explanation for the emergence of transitions with the difference of collaboration behaviours between leaders and other members. The difference emerges in the evolution of research teams, which synthetically addresses several specific factors of generating collaborations, namely the communications between research teams, the academic impacts and homophily of authors.


title: First Observation of Electron Transfer Mediated Decay in Aqueous Solutions: A Novel Probe of Ion Pairing

abstract: A major goal of many spectroscopic techniques is to provide comprehensive information on the local chemical environment. Electron transfer mediated decay (ETMD) is a sensitive probe of the environment since it is actively involved in this non-local radiationless decay process through electron and energy transfer steps. We report the first experimental observation of ETMD in the liquid phase. Using liquid-jet X-ray photoelectron spectroscopy we explore LiCl aqueous solution, and detect low-energy electrons unambiguously emerging from the ETMD processes of core-ionized Li+. We interpret the experimental results with molecular dynamics and high-level ab initio calculations. By considering various solvation-structure models we show that both water molecules and Cl- anions can participate in ETMD, with each process having its characteristic spectral fingerprint. Different ion associations lead to different spectral shapes. The potential application of the unique sensitivity of the ETMD spectroscopy to the local hydration structure and ion pairing is discussed.


title: Faster R-CNN Features for Instance Search

abstract: Image representations derived from pre-trained Convolutional Neural Networks (CNNs) have become the new state of the art in computer vision tasks such as instance retrieval. This work explores the suitability for instance retrieval of image- and region-wise representations pooled from an object detection CNN such as Faster R-CNN. We take advantage of the object proposals learned by a Region Proposal Network (RPN) and their associated CNN features to build an instance search pipeline composed of a first filtering stage followed by a spatial reranking. We further investigate the suitability of Faster R-CNN features when the network is fine-tuned for the same objects one wants to retrieve. We assess the performance of our proposed system with the Oxford Buildings 5k, Paris Buildings 6k and a subset of TRECVid Instance Search 2013, achieving competitive results.


title: A Quantum-Mechanics Molecular-Mechanics scheme for extended systems

abstract: We introduce and discuss a hybrid quantum-mechanics molecular-mechanics (QM-MM) approach for Car-Parrinello DFT simulations with pseudopotentials and planewaves basis, designed for the treatment of periodic systems. In this implementation the MM atoms are considered as additional QM ions having fractional charges of either sign, which provides conceptual and computational simplicity by exploiting the machinery already existing in planewave codes to deal with electrostatics in periodic boundary conditions. With this strategy, both the QM and MM regions are contained in the same supercell, which determines the periodicity for the whole system. Thus, while this method is not meant to compete with non-periodic QM-MM schemes able to handle extremely large but finite MM regions, it is shown that for periodic systems of a few hundred atoms, our approach provides substantial savings in computational times by treating classically a fraction of the particles. The performance and accuracy of the method is assessed through the study of energetic, structural, and dynamical aspects of the water dimer and of the aqueous bulk phase. Finally, the QM-MM scheme is applied to the computation of the vibrational spectra of water layers adsorbed at the TiO$_2$ anatase (101) solid-liquid interface. This investigation suggests that the inclusion of a second monolayer of H$_2$O molecules is sufficient to induce on the first adsorbed layer, a vibrational dynamics similar to that taking place in the presence of an aqueous environment. The present QM-MM scheme appears as a very interesting tool to efficiently perform molecular dynamics simulations of complex condensed matter systems, from solutions to nanoconfined fluids to different kind of interfaces.


title: The puzzle that just isn't

abstract: In his stimulating article on the reasons for two puzzling observations about the behaviour of interest rates, exchange rates and the rate of inflation, Charles Engel (2016) puts forward an explanation that rests on the concept of a non-pecuniary liquidity return on assets. Albeit intriguing the analysis struggles to account for a number of facts which are familiar to participants of the foreign exchange and bond markets. Reconciling these facts in conjunction with a careful dissection of the "puzzle" to begin with, shows that the forward premium puzzle just does not exist, at least not in its canonical form.


title: Generators of split extensions of Abelian groups by cyclic groups

abstract: Let $G \simeq M \rtimes C$ be an $n$-generator group with $M$ Abelian and $C$ cyclic. We study the Nielsen equivalence classes and T-systems of generating $n$-tuples of $G$. The subgroup $M$ can be turned into a finitely generated faithful module over a suitable quotient $R$ of the integral group ring of $C$. When $C$ is infinite, we show that the Nielsen equivalence classes of the generating $n$-tuples of $G$ correspond bijectively to the orbits of unimodular rows in $M^{n -1}$ under the action of a subgroup of $GL_{n - 1}(R)$. Making no assumption on the cardinality of $C$, we exhibit a complete invariant of Nielsen equivalence in the case $M \simeq R$. As an application, we classify Nielsen equivalence classes and T-systems of soluble Baumslag-Solitar groups, lamplighter groups and split metacyclic groups.


title: Universal Indexes for Highly Repetitive Document Collections

abstract: Indexing highly repetitive collections has become a relevant problem with the emergence of large repositories of versioned documents, among other applications. These collections may reach huge sizes, but are formed mostly of documents that are near-copies of others. Traditional techniques for indexing these collections fail to properly exploit their regularities in order to reduce space. We introduce new techniques for compressing inverted indexes that exploit this near-copy regularity. They are based on run-length, Lempel-Ziv, or grammar compression of the differential inverted lists, instead of the usual practice of gap-encoding them. We show that, in this highly repetitive setting, our compression methods significantly reduce the space obtained with classical techniques, at the price of moderate slowdowns. Moreover, our best methods are universal, that is, they do not need to know the versioning structure of the collection, nor that a clear versioning structure even exists. We also introduce compressed self-indexes in the comparison. These are designed for general strings (not only natural language texts) and represent the text collection plus the index structure (not an inverted index) in integrated form. We show that these techniques can compress much further, using a small fraction of the space required by our new inverted indexes. Yet, they are orders of magnitude slower.


title: Gravitational Particle Production in Oscillating Background and Its Cosmological Implications

abstract: We study production of light particles due to oscillation of the Hubble parameter or the scale factor. Any coherently oscillating scalar field, irrespective of its energy fraction in the universe, imprints such an oscillating feature on them. Not only the Einstein gravity but extended gravity models, such as models with non-minimal (derivative) coupling to gravity and $f(R)$ gravity, lead to oscillation of the scale factor. We present a convenient way to estimate the gravitational particle production rate in these circumstances. Cosmological implications of gravitational particle production, such as dark matter/radiation and moduli problem, are discussed. For example, if the theory is described solely by the standard model plus the Peccei-Quinn sector, the Starobinsky $R^2$ inflation may lead to observable amount of axion dark radiation.


title: Theoretical Aspects of Cosmic Acceleration

abstract: Efforts to understand and map the possible explanations for the late time acceleration of the universe have led to a broad range of suggestions, ranging from the cosmological constant and straightforward dark energy, to exotically coupled models, to infrared modifications of General Relativity. If we are to uncover which, if any, of these approaches might provide a serious answer to the problem, it is crucial to understand the constraints that theoretical consistency places on the models, and on the regimes in which they make predictions. In this talk, delivered as an invited plenary lecture at the Dark Side of the Universe conference in Kyoto, Japan, I briefly describe some modern attempts to carry out this program and some of the more interesting ideas that have emerged. As an example, I use the Galileon model, discussing how the Vainshtein mechanism occurs, and how a number of these theoretical problems arise around such backgrounds.


title: Solving periodic semilinear stiff PDEs in 1D, 2D and 3D with exponential integrators

abstract: Dozens of exponential integration formulas have been proposed for the high-accuracy solution of stiff PDEs such as the Allen-Cahn, Korteweg-de Vries and Ginzburg-Landau equations. We report the results of extensive comparisons in MATLAB and Chebfun of such formulas in 1D, 2D and 3D, focusing on fourth and higher order methods, and periodic semilinear stiff PDEs with constant coefficients. Our conclusion is that it is hard to do much better than one of the simplest of these formulas, the ETDRK4 scheme of Cox and Matthews.


title: Entanglement sharing with separable states

abstract: We propose an entanglement sharing protocol based on separable states. Initially, two parties, Alice and Bob, share a two-mode separable Gaussian state. Alice then splits her mode into two separable modes and distributes them between two players. Bob is separable from the players but he can create entanglement with either of the players if the other player moves to his location and collaborates with him. Any two parties are separable and the creation of entanglement is thus mediated by transmission of a mode which is separable from individual modes on Alice's and Bob's side. For the state shared by the players and Bob one cannot establish entanglement between any two modes even with the help of operation on the third mode provided that Bob is restricted to Gaussian measurements and the state thus carries a nontrivial signature of bound entanglement. The present protocol also demonstrates switching between different separability classes of tripartite systems by coherent operations on its bipartite parts and complements studies on protocols utilizing mixed partially entangled multipartite states.


title: Extraordinary waves in two dimensional electron gas with separate spin evolution and Coulomb exchange interaction

abstract: Hydrodynamics analysis of waves in two-dimensional degenerate electron gas with the account of separate spin evolution is presented. The transverse electric field is included along with the longitudinal electric field. The Coulomb exchange interaction is included in the analysis. In contrast with the three-dimensional plasma-like mediums the contribution of the transverse electric field is small. We show the decrease of frequency of both the extraordinary (Langmuir) wave and the spin-electron acoustic wave due to the exchange interaction. Moreover, spin-electron acoustic wave has negative dispersion at the relatively large spin-polarization. Corresponding dispersion dependencies are presented and analyzed.


title: SPARQL query processing with Apache Spark

abstract: The number of linked data sources and the size of the linked open data graph keep growing every day. As a consequence, semantic RDF services are more and more confronted to various "big data" problems. Query processing is one of them and needs to be efficiently addressed with executions over scalable, highly available and fault tolerant frameworks. Data management systems requiring these properties are rarely built from scratch but are rather designed on top of an existing cluster computing engine. In this work, we consider the processing of SPARQL queries with Apache Spark. We propose and compare five different query processing approaches based on different join execution models and Spark components. A detailed experimentation, on real-world and synthetic data sets, emphasizes that two approaches tailored for the RDF data model outperform the other ones on all major query shapes, i.e., star, snowflake, chain and hybrid.


title: A geometric Hamilton--Jacobi theory for a Nambu--Poisson structure

abstract: The Hamilton-Jacobi theory is a formulation of Classical Mechanics equivalent to other formulations as Newton's equations, Lagrangian or Hamiltonian Mechanics. It is particulary useful for the identification of conserved quantities of a mechanical system. The primordial observation of a geometric Hamilton-Jacobi equation is that if a Hamiltonian vector field $X_{H}$ can be projected into the configuration manifold by means of a 1-form $dW$, then the integral curves of the projected vector field $X_{H}^{dW}$can be transformed into integral curves of $X_{H}$ provided that $W$ is a solution of the Hamilton-Jacobi equation. This interpretation has been applied to multiple settings: in nonhonolomic, singular Lagrangian Mechanics and classical field theories. Our aim is to apply the geometric Hamilton-Jacobi theory to systems endowed with a Nambu-Poisson structure. The Nambu-Poisson structure has shown its interest in the study physical systems described by several Hamiltonian functions. In this way, we will apply our theory to two interesting examples in the Physics literature: the third-order Kummer-Schwarz equations and a system of $n$ copies of a first-order differential Riccati equation. From these examples, we retrieve the original Nambu bracket in three dimensions and a generalization of the Nambu bracket to $n$ dimensions, respectively.


title: Holographic Dual to Conical Defects III: Improved Image Method

abstract: The geodesics prescription in holographic approach in Lorentzian signature is valid only for geodesics which connect spacelike-separated points at the boundary, since there are no timelike geodesics which reach the boundary. There is also no straightforward analytic Euclidean continuation for a general background, such as e. g. moving particle in AdS. We propose an improved geodesic image method for two-point Lorentzian correlators which is valid for arbitrary time intervals in case of the bulk spacetime deformed by point particles. We illustrate that our prescription is consistent with the case when the analytic continuation exists and with the quasigeodesics prescription used in previous work. We also discuss some other applications of the improved image method, such as holographic entanglement entropy and multiple particles in AdS3.


title: Controllable Goos-H\"anchen Shift in Graphene Triangular Double Barrier

abstract: We study the Goos-H\"anchen shifts for Dirac fermions in graphene scattered by a triangular double barrier potential. The massless Dirac-like equation was used to describe the scattered fermions by such potential configuration. Our results show that the GHL shifts is affected by the geometrical structure of the double barrier. In particular the GHL shifts change sign at the transmission zero energies and exhibit enhanced peaks at each bound state associated with the double barrier when the incident angle is less than the critical angle associated with the total reflection.


title: Search for narrow resonances in dijet final states at sqrt(s) = 8 TeV with the novel CMS technique of data scouting

abstract: A search for narrow resonances decaying into dijet final states is performed on data from proton-proton collisions at a center-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 18.8 inverse femtobarns. The data were collected with the CMS detector using a novel technique called data scouting, in which the information associated with these selected events is much reduced, permitting collection of larger data samples. This technique enables CMS to record events containing jets at a rate of 1 kHz, by collecting the data from the high-level-trigger system. In this way, the sensitivity to low-mass resonances is increased significantly, allowing previously inaccessible couplings of new resonances to quarks and gluons to be probed. The resulting dijet mass distribution yields no evidence of narrow resonances. Upper limits are presented on the resonance cross sections as a function of mass, and compared with a variety of models predicting narrow resonances. The limits are translated into upper limits on the coupling of a leptophobic resonance Z'[B] to quarks, improving on the results obtained by previous experiments for the mass range from 500 to 800 GeV.


title: Parameter estimation in a subcritical percolation model with colouring

abstract: In the bond percolation model on a lattice, we colour vertices with $n_c$ colours independently at random according to Bernoulli distributions. A vertex can receive multiple colours and each of these colours is individually observable. The colours colour the entire component into which they fall. Our goal is to estimate the $n_c +1$ parameters of the model: the probabilities of colouring of single vertices and the probability with which an edge is open. The input data is the configuration of colours once the complete components have been coloured, without the information which vertices were originally coloured or which edges are open. We use a Monte Carlo method, the method of simulated moments to achieve this goal. We prove that this method is a strongly consistent estimator by proving a uniform strong law of large numbers for the vertices' weakly dependent colour values. We evaluate the method in computer tests. The motivating application is cross-contamination rate estimation for digital PCR in lab-on-a-chip microfluidic devices.


title: When Lexicographic Product of Two po-Groups has the Riesz Decomposition Property

abstract: We study conditions when a certain type of the Riesz Decomposition Property (RDP for short) holds in the lexicographic product of two po-groups. Defining two important properties of po-groups, we extend known situations showing that the lexicographic product satisfies RDP or even RDP$_1$, a stronger type of RDP. We recall that a very strong type of RDP, RDP$_2$, entails that the group is lattice ordered. RDP's of the lexicographic products are important for the study of lexicographic pseudo effect algebras, or perfect types of pseudo MV-algebras and pseudo effect algebras, where infinitesimal elements play an important role both for algebras as well as for the first order logic of valid but not provable formulas.


title: Provision of Public Goods on Networks: On Existence, Uniqueness, and Centralities

abstract: We consider the provision of public goods on networks of strategic agents. We study different effort outcomes of these network games, namely, the Nash equilibria, Pareto efficient effort profiles, and semi-cooperative equilibria (effort profiles resulting from interactions among coalitions of agents). We identify necessary and sufficient conditions on the structure of the network for the uniqueness of the Nash equilibrium. We show that our finding unifies (and strengthens) existing results in the literature. We also identify conditions for the existence of Nash equilibria for the subclasses of games at the two extremes of our model, namely games of strategic complements and games of strategic substitutes. We provide a graph-theoretical interpretation of agents' efforts at the Nash equilibrium, as well as the Pareto efficient outcomes and semi-cooperative equilibria, by linking an agent's decision to her centrality in the interaction network. Using this connection, we separate the effects of incoming and outgoing edges on agents' efforts and uncover an alternating effect over walks of different length in the network.


title: Globally Irreducible Weyl Modules

abstract: In the representation theory of split reductive algebraic groups, it is well known that every Weyl module with minuscule highest weight is irreducible over every field. Also, the adjoint representation of $E_8$ is also irreducible over every field. In this paper, we prove a converse to these statements, as conjectured by Gross: if a Weyl module is irreducible over every field, it must be either one of these, or trivially constructed from one of these.


title: Classifying HCP Task-fMRI Networks Using Heat Kernels

abstract: Network theory provides a principled abstraction of the human brain: reducing a complex system into a simpler representation from which to investigate brain organisation. Recent advancement in the neuroimaging field are towards representing brain connectivity as a dynamic process in order to gain a deeper understanding of the interplay between functional modules for efficient information transport. In this work, we employ heat kernels to model the process of energy diffusion in functional networks. We extract node-based, multi-scale features which describe the propagation of heat over 'time' which not only inform the importance of a node in the graph, but also incorporate local and global information of the underlying geometry of the network. As a proof-of-concept, we test the efficacy of two heat kernel features for discriminating between motor and working memory functional networks from the Human Connectome Project. For comparison, we also classified task networks using traditional network metrics which similarly provide rankings of node importance. In addition, a variant of the Smooth Incremental Graphical Lasso Estimation algorithm was used to estimate non-sparse, precision matrices to account for non-stationarity in the time series. We illustrate differences in heat kernel features between tasks, and also between regions of the brain. Using a random forest classifier, we showed heat kernel metrics to capture intrinsic properties of functional networks that serve well as features for task classification.


title: Dimensional Reduction for Conformal Blocks

abstract: We consider the dimensional reduction of a CFT, breaking multiplets of the d-dimensional conformal group SO(d+1,1) up into multiplets of SO(d,1). This leads to an expansion of d-dimensional conformal blocks in terms of blocks in d-1 dimensions. In particular, we obtain a formula for 3d conformal blocks as an infinite sum over 2F1 hypergeometric functions with closed-form coefficients.


title: Lensing corrections to the $E_g(z)$ statistics from large scale structure

abstract: We study the impact of the often neglected lensing contribution to galaxy number counts on the $E_g$ statistics which is used to constrain deviations from GR. This contribution affects both the galaxy-galaxy and the convergence-galaxy spectra, while it is larger for the latter. At higher redshifts probed by upcoming surveys, neglecting this term induces a substantial error in the spectra and therefore on the $E_g$ statistics which is constructed from the combination of the two. Moreover, including it, renders the $E_g$ statistics scale and bias-dependent and hence puts into question its very objective.


title: On Effective Holographic Mott Insulators

abstract: We present a class of holographic models that behave effectively as prototypes of Mott insulators, materials where electron-electron interactions dominate transport phenomena. The main ingredient in the gravity dual is that the gauge-field dynamics contains self-interactions by way of a particular type of non-linear electrodynamics. The electrical response in these models exhibits typical features of Mott-like states: i) the low-temperature DC conductivity is unboundedly low; ii) metal-insulator transitions appear by varying various parameters; iii) for large enough self-interaction strength, the conductivity can even decrease with increasing doping (density of carriers), which appears as a sharp manifestation of `traffic-jam'-like behaviour; iv) the insulating state becomes very unstable towards superconductivity at large enough doping. We exhibit some of the properties of the resulting insulator-superconductor transition, which is sensitive to the amount of disorder in a specific way. These models imply a clear and generic correlation between Mott behaviour and significant effects in the nonlinear electrical response. We compute the nonlinear current-voltage curve in our model and find that indeed at large voltage the conductivity is largely reduced.


title: Inferring models of bacterial dynamics toward point sources

abstract: Experiments have shown that bacteria can be sensitive to small variations in chemoattractant (CA) concentrations. Motivated by these findings, our focus here is on a regime rarely studied in experiments: bacteria tracking point CA sources (such as food patches or even prey). In tracking point sources, the CA detected by bacteria may show very large spatiotemporal fluctuations which vary with distance from the source. We present a general statistical model to describe how bacteria locate point sources of food on the basis of stochastic event detection, rather than CA gradient information. We show how all model parameters can be directly inferred from single cell tracking data even in the limit of high detection noise. Once parameterized, our model recapitulates bacterial behavior around point sources such as the "volcano effect". In addition, while the search by bacteria for point sources such as prey may appear random, our model identifies key statistical signatures of a targeted search for a point source given any arbitrary source configuration.


title: A compactification of the moduli space of self-maps of $\mathbb{CP}^1$ using stable maps

abstract: We present a new compactification $M(d,n)$ of the moduli space of self-maps of $\mathbb{CP}^1$ of degree $d$ with $n$ markings. It is constructed via GIT from the stable maps moduli space $\ ar M_{0,n}(\mathbb{CP}^1 \times \mathbb{CP}^1, (1,d))$. We show that it is the coarse moduli space of a smooth Deligne-Mumford stack and we compute its rational Picard group. Using the recursive boundary structure inherited from the stable maps space, we give an explicit algorithm for computing top-intersection numbers of divisors on $M(d,n)$. We also study the $m$-fold iteration map $M(d,n) \dashrightarrow M(d^m,n)$ and we give a geometric way to extend this rational map to parts of the boundary of $M(d,n)$.


title: Order of zeta functions for compact even-dimensional symmetric spaces

abstract: Some zeta functions which are naturally attached to the locally homogeneous vector bundles over compact locally symmetric spaces of rank one are investigated. We prove that such functions can be expressed in terms of entire functions whose order is not larger than the dimension of the corresponding compact, even-dimensional, locally symmetric space.


title: Cascaded Parametric Amplification for Highly Efficient Terahertz Generation

abstract: A highly efficient, practical approach to high-energy terahertz (THz) generation based on spectrally cascaded optical parametric amplification (THz-COPA) is introduced. The THz wave initially generated by difference frequency generation between a strong narrowband optical pump and optical seed (0.1-10% of pump energy) kick-starts a repeated or cascaded energy down-conversion of pump photons. This helps to greatly surpass the quantum-defect efficiency and results in exponential growth of THz energy over crystal length. In cryogenically cooled periodically poled lithium niobate, energy conversion efficiencies >8% for 100 ps pulses are predicted. The calculations account for cascading effects, absorption, dispersion and laser-induced damage. Due to the coupled nonlinear interaction of multiple triplets of waves, THz-COPA exhibits physics distinct from conventional three-wave mixing parametric amplifiers. This in turn governs optimal phase-matching conditions, evolution of optical spectra as well as limitations of the nonlinear process.


title: Correlation between Fragility and the Arrhenius Crossover Phenomenon in Metallic, Molecular, and Network Liquids

abstract: We report the observation of a distinct correlation between the kinetic fragility index $m$ and the reduced Arrhenius crossover temperature $\theta_A = T_A/T_g$ in various glass-forming liquids, identifying three distinguishable groups. In particular, for 11 glass-forming metallic liquids, we universally observe a crossover in the mean diffusion coefficient from high-temperature Arrhenius to low-temperature super-Arrhenius behavior at approximately $\theta_A \approx 2$ which is in the stable liquid phases. In contrast, for fragile molecular liquids, this crossover occurs at much lower $\theta_A \approx 1.4$ and usually in their supercooled states. The $\theta_A$ values for strong network liquids spans a wide range higher than 2. Intriguingly, the high-temperature activation barrier $E_\infty$ is universally found to be $\sim 11\ k_B T_g$ and uncorrelated with the fragility or the reduced crossover temperature $\theta_A$ for metallic and molecular liquids. These observations provide a way to estimate the low-temperature glassy characteristics ($T_g$ and $m$) from the high-temperature liquid quantities ($E_\infty$ and $\theta_A$).


title: An ecological resilience perspective on cancer: insights from a toy model

abstract: In this paper we propose an ecological resilience point of view on cancer. This view is based on the analysis of a simple ODE model for the interactions between cancer and normal cells. The model presents two regimes for tumor growth. In the first, cancer arises due to three reasons: a partial corruption of the functions that avoid the growth of mutated cells, an aggressive phenotype of tumor cells and exposure to external carcinogenic factors. In this case, treatments may be effective if they drive the system to the basin of attraction of the cancer cure state. In the second regime, cancer arises because the repair system is intrinsically corrupted. In this case, the complete cure is not possible since the cancer cure state is no more stable, but tumor recurrence may be delayed if treatment is prolongued. We review three indicators of the resilience of a stable equilibrium, related with size and shape of its basin of attraction: latitude, precariousness and resistance. A novel method to calculate these indicators is proposed. This method is simpler and more efficient than those currently used, and may be easily applied to other population dynamics models. We apply this method to the model and investigate how these indicators behave with parameters changes. Finally, we present some simulations to illustrate how the resilience analysis can be applied to validated models in order to obtain indicators for personalized cancer treatments. Keywords: Tumor growth; Chemotherapy; Basins of Attraction; Regime shifts; Critical transitions


title: The distance signatures of the incidence graphs of affine resolvable designs

abstract: In this note, we determined the distance signatures of the incidence matrices of affine resolvable designs. This proves a conjecture by Kohei Yamada.


title: Interplay between Symmetry Energy and Excluded Volume Corrections under the Direct Urca Cooling Constraint in Neutron Stars

abstract: Both the symmetry energy part and excluded volume corrections to the equation of state play an important role for the neutron star interior structure and composition, namely for the profile of the baryon density and the proton fraction. While the symmetry energy uniquely determines the proton fraction, excluded volume effects control the maximum density values inside neutron stars. Observations of cooling neutron stars indicate that the fast direct Urca cooling is not operative for the typical, low mass stars, pointing at proton fractions that lie below the threshold for the onset of direct Urca cooling process. This in turn, restricts the density range admissible in neutron star interiors and may require an excluded volume correction. In this contribution we discuss the interplay between fast cooling, symmetry energy and excluded volume corrections to the equation of state that would be required to fulfil the direct Urca cooling constraint.


title: Low-Energy Lorentz Invariance in Lifshitz Nonlinear Sigma Models

abstract: This work is dedicated to the study of both large-$N$ and perturbative quantum behaviors of Lifshitz nonlinear sigma models with dynamical critical exponent $z=2$ in 2+1 dimensions. We discuss renormalization and renormalization group aspects with emphasis on the possibility of emergence of Lorentz invariance at low energies. Contrarily to the perturbative expansion, where in general the Lorentz symmetry restoration is delicate and may depend on stringent fine-tuning, our results provide a more favorable scenario in the large-$N$ framework. We also consider supersymmetric extension in this nonrelativistic situation.


title: Amplitude modulation of three-dimensional low frequency solitary waves in a magnetized dusty superthermal plasma

abstract: The amplitude modulation of three dimensional (3D) dust ion-acoustic wave (DIAW) packets is studied in a collisionless magnetized plasma with inertial positive ions, superthermal electrons and negatively charged immobile dust grains. By using the reductive perturbation technique, a 3D-nonlinear Schr\"odinger (NLS) equation is derived, which governs the slow modulation of DIAW packets. The latter are found to be stable in the low-frequency $(\omega<\omega_c)$ regime, whereas they are unstable for $\omega>\omega_c$, and the modulational instability (MI) is related to the modulational obliqueness $(\theta)$. Here, $\omega~(\omega_c)$ is the nondimensional wave (ion-cyclotron) frequency. It is shown that the superthermal parameter $\kappa$, the frequency $\omega_c$ as well as the charged dust impurity $(0<\mu<1)$ shift the MI domains around the $\omega-\theta$ plane, where $\mu$ is the ratio of electron to ion number densities. Furthermore, it is found that the decay rate of instability is quenched by the superthermal parameter $\kappa$ with cut-offs at lower wave number of modulation ($K$), however, it can be higher (lower) with increasing values of $\mu$ ($\omega_c$) having cut-offs at higher values of $K$.


title: Skybridge-3D-CMOS: A Vertically-Composed Fine-Grained 3D CMOS Integrated Circuit Technology

abstract: Parallel and monolithic 3D integration directions offer pathways to realize 3D integrated circuits (ICs) but still lead to layer-by-layer implementations, each functional layer being composed in 2D first. This mindset causes challenging connectivity, routing and layer alignment between layers when connected in 3D, with a routing access that can be even worse than 2D CMOS, which fundamentally limits their potential. To fully exploit the opportunities in the third dimension, we propose Skybridge-3D-CMOS (S3DC), a fine-grained 3D integration approach that is directly composed in 3D, utilizing the vertical dimension vs. using a layer-by-layer assembly mindset. S3DC uses a novel wafer fabric creation with direct 3D design and connectivity in the vertical dimension. It builds on a uniform vertical nanowire template that is processed as a single wafer; it incorporates specifically architected structures for realizing devices, circuits, and heat management directly in 3D. Novel 3D interconnect concepts, including within the silicon layers, enable significantly improved routing flexibility in all three dimensions and a high-density 3D design paradigm overall. Intrinsic components for fabric-level 3D heat management are introduced. Extensive bottom-up simulations and experiments have been presented to validate the key fabric-enabling concepts. Evaluation results indicate up to 40x density and 10x performance-per-watt benefits against conventional 16-nm CMOS for the circuits studied; benefits are also at least an order of magnitude beyond what was shown to be possible with other 3D directions.


title: A Predictor-based Attitude and Position Estimation for Rigid Bodies Moving in Planar Space by using Delayed Landmark Measurements

abstract: This paper proposes a globally and exponentially convergent predictive observer for attitude and position estimation based on landmark measurements and velocity (angular and linear) readings. It is assumed that landmark measurements are available with time-delay. The maximum value of the sensor delay under which the estimation error converges to zero is calculated. Synthesis of the observer is based on a representation of rigid-body kinematics and sensor delay, formulated via ordinary and partial differential equations (ODE-PDE). Observability condition specifies necessary and sufficient landmark configuration for convergence of attitude and position estimation error to zero. Finally, for implementation purposes, a PDE-free realization of the predictive observer is proposed. Simulation results are presented to demonstrate performance and convergence properties of the predictive observer in case of a wheeled mobile robot.


title: Elliptically polarized electromagnetic waves in a magnetized quantum electron-positron plasma with effects of exchange-correlation

abstract: The dispersion properties of elliptically polarized electromagnetic (EM) waves in a magnetized electron-positron-pair (EP-pair) plasma are studied with the effects of particle dispersion associated with the Bohm potential, the Fermi degenerate pressure, and the exchange-correlation force. Two possible modes of the extraordinary or X wave, modified by these quantum effects, are identified and their propagation characteristics are investigated numerically. It is shown that the upper-hybrid frequency, and the cutoff and resonance frequencies are no longer constants but are dispersive due to these quantum effects. It is found that the particle dispersion and the exchange-correlation force can have different dominating roles on each other depending on whether the X waves are of short or long wavelengths (in comparison with the Fermi Debye length). The present investigation should be useful for understanding the collective behaviors of EP plasma oscillations and the propagation of extraordinary waves in magnetized dense EP-pair plasmas.


title: Parametrizing Arf numerical semigroups

abstract: We present procedures to calculate the set of Arf numerical semigroups with given genus, given conductor and given genus and conductor. We characterize the Kunz coordinates of an Arf numerical semigroup. We also describe Arf numerical semigroups with fixed Frobenius number and multiplicity up to six.


title: Exact Solutions for Compact Objects in General Relativity

abstract: Seven new solutions to the interior static and spherically symmetric Einstein's field equations (EFE) are found and investigated. These new solutions are a generalisation of the quadratic density fall-off profile of the Tolman VII solution. The generalisation involves the addition of anisotropic pressures and electric charge to the density profile. Of these new solutions three are found to obey all the necessary conditions of physical acceptability, including linear stability under radial perturbations, and causality of the speed of pressure waves inside the object. Additionally an equation of state can be found for all the physically viable solutions. The generalised pulsation equation for interior solutions to the EFE that include both electric charge and pressure anisotropy is derived and used to determine the stability of the solutions. However the pulsation equation found is general and can be used for all new solutions that contain these ingredients.


title: Ferromagnetic Mott-Insulating State in Double Perovskites Gd2MgIrO6

abstract: We have studied the electronic and magnetic properties of double perovskites Gd2MgIrO6 by first-principles density functional theory (DFT). Based on the DFT calculations, Gd2MgIrO6 is found to have a ferromagnetic (FM) ground state. The material undergo half-metallic ferromagnets to Mott-Hubbard insulator transition which happens due to strong correlation in Gd-4f and Ir-5d states. Our results shows that the 5d electrons of Ir hybridize strongly with O-2p states near the Fermi level giving rise to the insulating state of Gd2MgIrO6. Our study suggests that the enhanced magnetic moment is a result of itinerant exchange rather than the exchange interaction involving individual ions of Gd and Ir atoms. The total magnetic moment calculated in the present studies is 15 {\mu}B per formula unit for Gd2MgIrO6.


title: Beam energy dependence of pseudorapidity distributions of charged particles produced in heavy-ion collisions at RHIC and LHC energies

abstract: Heavy-ion collisions at the Relativistic Heavy Ion Collider at Brookhaven National Laboratory and the Large Hadron Collider at CERN probe matter at extreme conditions of temperature and energy density. Most of the global properties of the collisions can be extracted from the measurements of charged particle multiplicity and pseudorapidity ($\eta$) distributions. We have shown that the available experimental data on beam energy and centrality dependence of \Eta-distributions in heavy-ion (Au+Au or Pb+Pb) collisions from \sNN=7.7 GeV to 2.76 TeV are reasonably well described by the AMPT model, which is used for further exploration. The nature of the \Eta-distributions has been described by a double Gaussian function using a set of fit parameters, which exhibit a regular pattern as a function of beam energy. By extrapolating the parameters to a higher energy of \sNN~=~5.02 TeV, we have obtained the charged particle multiplicity densities, \Eta-distributions and energy densities for various centralities. Incidentally, these results match well with some of the recently published data by the ALICE collaboration.


title: Quantum transitions and quantum entanglement from Dirac-like dynamics simulated by trapped ions

abstract: Quantum transition probabilities and quantum entanglement for two-qubit states of a four level trapped ion quantum system are computed for time-evolving ionic states driven by Jaynes-Cummings Hamiltonians with interactions mapped onto a $\mbox{SU}(2)\otimes \mbox{SU}(2)$ group structure. Using the correspondence of the method of simulating a $3+1$ dimensional Dirac-like Hamiltonian for bi-spinor particles into a single trapped ion, one preliminarily obtains the analytical tools for describing ionic state transition probabilities as a typical quantum oscillation feature. For Dirac-like structures driven by generalized Poincar\'e classes of coupling potentials, one also identifies the $\mbox{SU}(2)\otimes \mbox{SU}(2)$ internal degrees of freedom corresponding to intrinsic parity and spin polarization as an adaptive platform for computing the quantum entanglement between the internal quantum subsystems which define two-qubit ionic states. The obtained quantum correlational content is then translated into the quantum entanglement of two-qubit ionic states with quantum numbers related to the total angular momentum and to its projection onto the direction of the trapping magnetic field. Experimentally, the controllable parameters simulated by ion traps can be mapped into a Dirac-like system in the presence of an electrostatic field which, in this case, is associated to ionic carrier interactions. Besides exhibiting a complete analytical profile for ionic quantum transitions and quantum entanglement, our results indicate that carrier interactions actively drive an overall suppression of the quantum entanglement.


title: An expressive dissimilarity measure for relational clustering using neighbourhood trees

abstract: Clustering is an underspecified task: there are no universal criteria for what makes a good clustering. This is especially true for relational data, where similarity can be based on the features of individuals, the relationships between them, or a mix of both. Existing methods for relational clustering have strong and often implicit biases in this respect. In this paper, we introduce a novel similarity measure for relational data. It is the first measure to incorporate a wide variety of types of similarity, including similarity of attributes, similarity of relational context, and proximity in a hypergraph. We experimentally evaluate how using this similarity affects the quality of clustering on very different types of datasets. The experiments demonstrate that (a) using this similarity in standard clustering methods consistently gives good results, whereas other measures work well only on datasets that match their bias; and (b) on most datasets, the novel similarity outperforms even the best among the existing ones.


title: Flavor-Changing Higgs Decays in Grand Unification with Minimal Flavor Violation

abstract: We consider the flavor-changing decays of the Higgs boson in a grand unified theory framework which is based on the SU(5) gauge group and implements the principle of minimal flavor violation. This allows us to explore the possibility of connecting the tentative hint of the Higgs decay $h\to\mu\tau$ recently reported in the CMS experiment to potential new physics in the quark sector. We look at different simple scenarios with minimal flavor violation in this context and how they are subject to various empirical restrictions. In one specific case, the relative strengths of the flavor-changing leptonic Higgs couplings are determined mainly by the known quark mixing parameters and masses, and a branching fraction ${\cal B}(h\to\mu\tau)\sim1\%$ is achievable without the couplings being incompatible with the relevant constraints. Upcoming data on the Higgs leptonic decays and searches for the $\mu\to e\gamma$ decay with improved precision can offer further tests on this scenario.


title: Complexity Hierarchies and Higher-Order Cons-Free Rewriting

abstract: Constructor rewriting systems are said to be cons-free if, roughly, constructor terms in the right-hand sides of rules are subterms of constructor terms in the left-hand side; the computational intuition is that rules cannot build new data structures. It is well-known that cons-free programming languages can be used to characterize computational complexity classes, and that cons-free first-order term rewriting can be used to characterize the set of polynomial-time decidable sets. We investigate cons-free higher-order term rewriting systems, the complexity classes they characterize, and how these depend on the order of the types used in the systems. We prove that, for every k $\geq$ 1, left-linear cons-free systems with type order k characterize E$^k$TIME if arbitrary evaluation is used (i.e., the system does not have a fixed reduction strategy). The main difference with prior work in implicit complexity is that (i) our results hold for non-orthogonal term rewriting systems with possible rule overlaps with no assumptions about reduction strategy, (ii) results for such term rewriting systems have previously only been obtained for k = 1, and with additional syntactic restrictions on top of cons-freeness and left-linearity. Our results are apparently among the first implicit characterizations of the hierarchy E = E$^1$TIME $\subseteq$ E$^2$TIME $\subseteq$ .... Our work confirms prior results that having full non-determinism (via overlaps of rules) does not directly allow characterization of non-deterministic complexity classes like NE. We also show that non-determinism makes the classes characterized highly sensitive to minor syntactic changes such as admitting product types or non-left-linear rules.