title: Discrete rough paths and limit theorems

abstract: In this article, we consider limit theorems for some weighted type random sums (or discrete rough integrals). We introduce a general transfer principle from limit theorems for unweighted sums to limit theorems for weighted sums via rough path techniques. As a by-product, we provide a natural explanation of the various new asymptotic behaviors in contrast with the classical unweighted random sum case. We apply our principle to derive some weighted type Breuer-Major theorems, which generalize previous results to random sums that do not have to be in a finite sum of chaos. In this context, a Breuer-Major type criterion in notion of Hermite rank is obtained. We also consider some applications to realized power variations and to Ito's formulas in law. In the end, we study the asymptotic behavior of weighted quadratic variations for some multi-dimensional Gaussian processes.


title: The geometry of null-like disformal transformations

abstract: Motivated by the hindrance of defining metric tensors compatible with the underlying spinor structure, other than the ones obtained via a conformal transformation, we study how some geometric objects are affected by the action of a disformal transformation in the closest scenario possible: the disformal transformation in the direction of a null-like vector field. Subsequently, we analyze symmetry properties such as mutual geodesics and mutual Killing vectors, generalized Weyl transformations that leave the disformal relation invariant, and introduce the concept of disformal Killing vector fields. In most cases, we use the Schwarzschild metric, in the Kerr-Schild formulation, to verify our calculations and results. We also revisit the disformal operator using a Newman-Penrose basis to show that, in the null-like case, this operator is not diagonalizable.


title: A fully active fine grained detector with three readout views

abstract: This paper describes a novel idea of a fine-grained fully-active plastic scintillator detector made of many optically independent $1\times1\times1~\text{cm}^3$ cubes with readout on three orthogonal projections by wavelength shifting fibers. The original purpose of this detector is to serve as an active neutrino target for the detection, measurement and identification of the final state particles down to a few tenths MeV kinetic energies. The three readout views as well as the fine granularity ensure powerful localization and measurement of the deposited energy combined with good timing properties and isotropic acceptance. The possible application as a new active target for the T2K near detector, initial simulation studies and R&D test results are reported.


title: Tensor-Train Recurrent Neural Networks for Video Classification

abstract: The Recurrent Neural Networks and their variants have shown promising performances in sequence modeling tasks such as Natural Language Processing. These models, however, turn out to be impractical and difficult to train when exposed to very high-dimensional inputs due to the large input-to-hidden weight matrix. This may have prevented RNNs' large-scale application in tasks that involve very high input dimensions such as video modeling; current approaches reduce the input dimensions using various feature extractors. To address this challenge, we propose a new, more general and efficient approach by factorizing the input-to-hidden weight matrix using Tensor-Train decomposition which is trained simultaneously with the weights themselves. We test our model on classification tasks using multiple real-world video datasets and achieve competitive performances with state-of-the-art models, even though our model architecture is orders of magnitude less complex. We believe that the proposed approach provides a novel and fundamental building block for modeling high-dimensional sequential data with RNN architectures and opens up many possibilities to transfer the expressive and advanced architectures from other domains such as NLP to modeling high-dimensional sequential data.


title: Racks as multiplicative graphs

abstract: We interpret augmented racks as a certain kind of multiplicative graphs and show that this point of view is natural for defining rack homology. We also define the analogue of the group algebra for these objects; in particular, we see how discrete racks give rise to Hopf algebras and Lie algebras in the Loday-Pirashvili category $\mathcal{LM}$. Finally, we discuss the integration of Lie algebras in $\mathcal{LM}$ in the context of multiplicative graphs and augmented racks.


title: Embodied Flight with a Drone

abstract: Most human-robot interfaces, such as joysticks and keyboards, require training and constant cognitive effort and provide a limited degree of awareness of the robots state and its environment. Embodied interactions, instead of interfaces, could bridge the gap between humans and robots, allowing humans to naturally perceive and act through a distal robotic body. Establishing an embodied interaction and mapping human movements and a non-anthropomorphic robot is particularly challenging. In this paper, we describe a natural and immersive embodied interaction that allows users to control and experience drone flight with their own bodies. The setup uses a commercial flight simulator that tracks hand movements and provides haptic and visual feedback. The paper discusses how to integrate the simulator with a real drone, how to map body movement with drone motion, and how the resulting embodied interaction provides a more natural and immersive flight experience to unskilled users with respect to a conventional RC remote controller.


title: Damping optimization of parameter dependent mechanical systems by rational interpolation

abstract: We consider an optimization problem related to semi-active damping of vibrating systems. The main problem is to determine the best damping matrix able to minimize influence of the input on the output of the system. We use a minimization criteria based on the $\mathcal{H}_2$ system norm. The objective function is non-convex and the associated optimization problem typically requires a large number of objective function evaluations. We propose an optimization approach that calculates `interpolatory' reduced order models, allowing for significant acceleration of the optimization process. In our approach, we use parametric model reduction (PMOR) based on the Iterative Rational Krylov Algorithm, which ensures good approximations relative to the $\mathcal{H}_2$ system norm, aligning well with the underlying damping design objectives. For the parameter sampling that occurs within each PMOR cycle, we consider approaches with predetermined sampling and approaches using adaptive sampling, and each of these approaches may be combined with three possible strategies for internal reduction. In order to preserve important system properties, we maintain second-order structure, which through the use of modal coordinates, allows for very efficient implementation. The methodology proposed here provides a significant acceleration of the optimization process; the gain in efficiency is illustrated in numerical experiments.


title: Data Analytics on Online Labor Markets: Opportunities and Challenges

abstract: The data-driven economy has led to a significant shortage of data scientists. To address this shortage, this study explores the prospects of outsourcing data analysis tasks to freelancers available on online labor markets (OLMs) by identifying the essential factors for this endeavor. Specifically, we explore the skills required from freelancers, collect information about the skills present on major OLMs, and identify the main hurdles for out-/crowd-sourcing data analysis. Adopting a sequential mixed-method approach, we interviewed 20 data scientists and subsequently surveyed 80 respondents from OLMs. Besides confirming the need for expected skills such as technical/mathematical capabilities, it also identifies less known ones such as domain understanding, an eye for aesthetic data visualization, good communication skills, and a natural understanding of the possibilities/limitations of data analysis in general. Finally, it elucidates obstacles for crowdsourcing like the communication overhead, knowledge gaps, quality assurance, and data confidentiality, which need to be mitigated.


title: Odd-triplet superconductivity in single-level quantum dots

abstract: We study the interplay of spin and charge coherence in a single-level quantum dot. A tunnel coupling to a superconducting lead induces superconducting correlations in the dot. With full spin symmetry retained, only even-singlet superconducting correlations are generated. An applied magnetic field or attached ferromagnetic leads partially or fully reduce the spin symmetry, and odd-triplet superconducting correlations are generated as well. For single-level quantum dots, no other superconducting correlations are possible. We analyze, with the help of a diagrammatic real-time technique, the interplay of spin symmetry and superconductivity and its signatures in electronic transport, in particular current and shot noise.


title: Efficiency of fermionic quantum distillation

abstract: We present a time-dependent density-matrix renormalization group investigation of the quantum distillation process within the Fermi--Hubbard model on a quasi-1D ladder geometry. The term distillation refers to the dynamical, spatial separation of singlons and doublons in the sudden expansion of interacting particles in an optical lattice, i.e., the release of a cloud of atoms from a trapping potential. Remarkably, quantum distillation can lead to a contraction of the doublon cloud, resulting in an increased density of the doublons in the core region compared to the initial state. As a main result, we show that this phenomenon is not limited to chains that were previously studied. Interestingly, there are additional dynamical processes on the two-leg ladder such as density oscillations and selftrapping of defects that lead to a less efficient distillation process. An investigation of the time evolution starting from product states provides an explanation for this behaviour. Initial product states are also considered, since in optical lattice experiments such states are often used as the initial setup. We propose configurations that lead to a fast and efficient quantum distillation.


title: A Simple Approach to Learn Polysemous Word Embeddings

abstract: Many NLP applications require disambiguating polysemous words. Existing methods that learn polysemous word vector representations involve first detecting various senses and optimizing the sense-specific embeddings separately, which are invariably more involved than single sense learning methods such as word2vec. Evaluating these methods is also problematic, as rigorous quantitative evaluations in this space is limited, especially when compared with single-sense embeddings. In this paper, we propose a simple method to learn a word representation, given any context. Our method only requires learning the usual single sense representation, and coefficients that can be learnt via a single pass over the data. We propose several new test sets for evaluating word sense induction, relevance detection, and contextual word similarity, significantly supplementing the currently available tests. Results on these and other tests show that while our method is embarrassingly simple, it achieves excellent results when compared to the state of the art models for unsupervised polysemous word representation learning.


title: Some remarks on the Jordan-Chevalley decomposition

abstract: In this note we mainly study the fine Jordan-Chevalley decomposition: a refinement of the classical Jordan-Chevalley decomposition of a matrix and we pay a particular attention to the field of the coefficients of the matrix. Moreover we obtain some further additive and multiplicative decompositions of a matrix under suitable conditions.


title: Hardness of learning noisy halfspaces using polynomial thresholds

abstract: We prove the hardness of weakly learning halfspaces in the presence of adversarial noise using polynomial threshold functions (PTFs). In particular, we prove that for any constants $d \in \mathbb{Z}^+$ and $\varepsilon > 0$, it is NP-hard to decide: given a set of $\{-1,1\}$-labeled points in $\mathbb{R}^n$ whether (YES Case) there exists a halfspace that classifies $(1-\varepsilon)$-fraction of the points correctly, or (NO Case) any degree-$d$ PTF classifies at most $(1/2 + \varepsilon)$-fraction of the points correctly. This strengthens to all constant degrees the previous NP-hardness of learning using degree-$2$ PTFs shown by Diakonikolas et al. (2011). The latter result had remained the only progress over the works of Feldman et al. (2006) and Guruswami et al. (2006) ruling out weakly proper learning adversarially noisy halfspaces.


title: Search for muoproduction of $X(3872)$ at COMPASS and indication of a new state $\widetilde{X}(3872)$

abstract: We have searched for exclusive production of exotic charmonia in the reaction $\mu^+~N \rightarrow \mu^+ (J\!/\!\psi\pi^+\pi^-)\pi^{\pm}~N'$ using COMPASS data collected with incoming muons of 160 GeV/$c$ and 200 GeV/$c$ momentum. In the $J\!/\!\psi\pi^+\pi^-$ mass distribution we observe a signal with a statistical significance of 4.1 $\sigma$. Its mass and width are consistent with those of the $X(3872)$. The shape of the $\pi^+\pi^-$ mass distribution from the observed decay into $J\!/\!\psi\pi^+\pi^-$ shows disagreement with previous observations for $X(3872)$. The observed signal may be interpreted as a possible evidence of a new charmonium state. It could be associated with a neutral partner of $X(3872)$ with $C = -1$ predicted by a tetraquark model. The product of cross section and branching fraction of the decay of the observed state into $J\!/\!\psi\pi^+\pi^-$ is determined to be 71$\pm$28(stat)$\pm$39(syst) pb.


title: Turing Kernelization for Finding Long Paths in Graph Classes Excluding a Topological Minor

abstract: The notion of Turing kernelization investigates whether a polynomial-time algorithm can solve an NP-hard problem, when it is aided by an oracle that can be queried for the answers to bounded-size subproblems. One of the main open problems in this direction is whether k-Path admits a polynomial Turing kernel: can a polynomial-time algorithm determine whether an undirected graph has a simple path of length k, using an oracle that answers queries of size poly(k)? We show this can be done when the input graph avoids a fixed graph H as a topological minor, thereby significantly generalizing an earlier result for bounded-degree and $K_{3,t}$-minor-free graphs. Moreover, we show that k-Path even admits a polynomial Turing kernel when the input graph is not H-topological-minor-free itself, but contains a known vertex modulator of size bounded polynomially in the parameter, whose deletion makes it so. To obtain our results, we build on the graph minors decomposition to show that any H-topological-minor-free graph that does not contain a k-path, has a separation that can safely be reduced after communication with the oracle.


title: 1D half-filled paramagnetic Hubbard model.The Luttinger critical exponents

abstract: The electronic system of the 1D Hubbard model is not stable due to Peierls instability; the correlations are strong even for the weak Coulomb interaction. The resulting strongly correlated state without Landau quisi--particle excitations is known as the Luttinger liquid. Critical exponents of a power--law dependence of correlation functions at low energies differ substantially for the Luttinger and Fermi liquids. In this paper we evaluate two critical exponents that define non--trivial behavior of the density of electronic states at low frequences and the momentum distribution of the occupation number nearby $k_F$.


title: On topological cyclic homology

abstract: Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by B\"okstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing $K$-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the $\infty$-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum $X$ with $S^1$-action (in the most naive sense) together with $S^1$-equivariant maps $\varphi_p: X\to X^{tC_p}$ for all primes $p$. Here $X^{tC_p}=\mathrm{cofib}(\mathrm{Nm}: X_{hC_p}\to X^{hC_p})$ is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps $\varphi_p: X\to X^{tC_p}$ in the example of topological Hochschild homology we introduce and study Tate diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular we prove a version of the Segal conjecture for the Tate diagonals and relate these Frobenius homomorphisms to power operations.


title: Emergence of spatial curvature

abstract: This paper investigates the phenomenon of emergence of spatial curvature. This phenomenon is absent in the Standard Cosmological Model, which has a flat and fixed spatial curvature (small perturbations are considered in the Standard Cosmological Model but their global average vanishes, leading to spatial flatness at all times). This paper shows that with the nonlinear growth of cosmic structures the global average deviates from zero. The analysis is based on the {\em silent universes} (a wide class of inhomogeneous cosmological solutions of the Einstein equations). The initial conditions are set in the early universe as perturbations around the $\Lambda$CDM model with $\Omega_m = 0.31$, $\Omega_\Lambda = 0.69$, and $H_0 = 67.8$ km s$^{-1}$ Mpc$^{-1}$. As the growth of structures becomes nonlinear, the model deviates from the $\Lambda$CDM model, and at the present instant if averaged over a domain ${\cal D}$ with volume $V = (2150\,{\rm Mpc})^3$ (at these scales the cosmic variance is negligibly small) gives: $\Omega_m^{\cal D} = 0.22$, $\Omega_\Lambda^{\cal D} = 0.61$, $\Omega_{\cal R}^{\cal D} = 0.15$ (in the FLRW limit $\Omega_{\cal R}^{\cal D} \to \Omega_k$), and $\langle H \rangle_{\cal D} = 72.2$ km s$^{-1}$ Mpc$^{-1}$. Given the fact that low-redshift observations favor higher values of the Hubble constant and lower values of matter density, compared to the CMB constraints, the emergence of the spatial curvature in the low-redshift universe could be a possible solution to these discrepancies.


title: Metriplectic Integrators for the Landau Collision Operator

abstract: We present a novel framework for addressing the nonlinear Landau collision integral in terms of finite element and other subspace projection methods. We employ the underlying metriplectic structure of the Landau collision integral and, using a Galerkin discretization for the velocity space, we transform the infinite-dimensional system into a finite-dimensional, time-continuous metriplectic system. Temporal discretization is accomplished using the concept of discrete gradients. The conservation of energy, momentum, and particle densities, as well as the production of entropy is demonstrated algebraically for the fully discrete system. Due to the generality of our approach, the conservation properties and the monotonic behavior of entropy are guaranteed for finite element discretizations in general, independently of the mesh configuration.


title: Lorenz Gauge Fixing of $f(T)$ Teleparallel Cosmology

abstract: In teleparallel gravity, we apply Lorenz type gauge fixing to cope with redundant degrees of freedom in the vierbein field. This condition is mainly to restore the Lorentz symmetry of the teleparallel torsion scalar. In cosmological application, this technique provides standard cosmology, turnaround, bounce or $\Lambda$CDM as separate scenarios. We reconstruct the $f(T)$ gravity which generates these models. We study the stability of the solutions by analyzing the corresponding phase portraits. Also, we investigate Lorenz gauge in the unimodular coordinates, it leads to unify a nonsingular bounce and standard model cosmology in a single model, where crossing the phantom divide line is achievable through a finite-time singularity of Type IV associated with a de Sitter fixed point. We reconstruct the unimodular $f(T)$ gravity which generates the unified cosmic evolution showing the role of the torsion gravity to establish a healthy bounce scenario.


title: Pseudoscalar couplings in $t \bar{t} H$ production at NLO+NLL accuracy

abstract: We study the production of a Higgs boson in association to a top-antitop pair at the Large Hadron Collider. We show how precise predictions for the differential distributions with respect to the transverse momentum of the Higgs boson, to the invariant mass of the top-antitop-Higgs system and to the invariant mass of the top-antitop pair can provide useful information on the possible presence of a pseudoscalar component in the coupling of the top quark with the Higgs boson. We evaluate the production of a top-antitop pair and a Higgs boson to next-to-leading order in fixed order perturbation theory and we carry out the resummation of soft emission corrections to next-to-leading-logarithmic accuracy for the LHC operating at a center of mass energy of $13$ TeV. We discuss how the shape of these distributions can be employed experimentally, making a physics case for the kinematic reconstruction of dilepton channels.


title: A rigidity result for effective Hamiltonians with $3$-mode periodic potentials

abstract: We continue studying an inverse problem in the theory of periodic homogenization of Hamilton-Jacobi equations proposed in [14]. Let $V_1, V_2 \in C(\mathbb{R}^n)$ be two given potentials which are $\mathbb{Z}^n$-periodic, and $\overline{H}_1, \overline{H}_2$ be the effective Hamiltonians associated with the Hamiltonians $\frac{1}{2}|p|^2 + V_1$, $\frac{1}{2}|p|^2+V_2$, respectively. A main result in this paper is that, if the dimension $n=2$ and each of $V_1, V_2$ contains exactly $3$ mutually non-parallel Fourier modes, then $$ \overline H_1\equiv \overline H_2 \quad \iff \quad V_1(x)=V_2\left({x\over c}+x_0\right) \quad \text{ for all } x \in \mathbb{T}^2 = \mathbb{R}^2/\mathbb{Z}^2, $$ for some $c\in \mathbb{Q} \setminus\{0\}$ and $x_0 \in \mathbb{T}^2$. When $n\geq 3$, the scenario is slightly more subtle, and a complete description is provided for any dimension. These resolve partially the conjecture stated in [14]. Some other related results and open problems are also discussed.


title: The Quest for $\mu \to e \gamma$ and its Experimental Limiting Factors at Future High Intensity Muon Beams

abstract: The search for the Lepton Flavor Violating decay mu into e gamma will reach an unprecedented level of sensitivity within the next five years thanks to the MEG-II experiment. This experiment will take data at the Paul Scherrer Institut where continuous muon beams are delivered at a rate of about 10^8 muons per second. On the same time scale, accelerator upgrades are expected in various facilities, making it feasible to have continuous beams with an intensity of 10^9 or even 10^10 muons per second. We investigate the experimental limiting factors that will define the ultimate performances, and hence the sensitivity, in the search for mu into e gamma with a continuous beam at these extremely high rates. We then consider some conceptual detector designs and evaluate the corresponding sensitivity as a function of the beam intensity.


title: An active inference implementation of phototaxis

abstract: Active inference is emerging as a possible unifying theory of perception and action in cognitive and computational neuroscience. On this theory, perception is a process of inferring the causes of sensory data by minimising the error between actual sensations and those predicted by an inner \emph{generative} (probabilistic) model. Action on the other hand is drawn as a process that modifies the world such that the consequent sensory input meets expectations encoded in the same internal model. These two processes, inferring properties of the world and inferring actions needed to meet expectations, close the sensory/motor loop and suggest a deep symmetry between action and perception. In this work we present a simple agent-based model inspired by this new theory that offers insights on some of its central ideas. Previous implementations of active inference have typically examined a "perception-oriented" view of this theory, assuming that agents are endowed with a detailed generative model of their surrounding environment. In contrast, we present an "action-oriented" solution showing how adaptive behaviour can emerge even when agents operate with a simple model which bears little resemblance to their environment. We examine how various parameters of this formulation allow phototaxis and present an example of a different, "pathological" behaviour.


title: Effects of turbine spacing on the power output of extended wind-farms

abstract: We present results from large eddy simulations (LES) of extended wind-farms for several turbine configurations with a range of different spanwise and streamwise spacing combinations. The results show that for wind-farms arranged in a staggered configuration with spanwise spacings in the range $\approx[3.5,8]$D, where $D$ is the turbine diameter, the power output in the fully developed regime depends primarily on the geometric mean of the spanwise and streamwise turbine spacings. In contrast, for the aligned configuration the power output in the fully developed regime strongly depends on the streamwise turbine spacing and shows weak dependence on the spanwise spacing. Of interest to the rate of wake recovery, we find that the power output is well correlated with the vertical kinetic energy flux, which is a measure of how much kinetic energy is transferred into the wind-turbine region by the mean flow. A comparison between the aligned and staggered configurations reveals that the vertical kinetic energy flux is more localized along turbine rows for aligned wind-farms than for staggered ones. This additional mixing leads to a relatively fast wake recovery for aligned wind-farms.


title: Dependence of optimal wind turbine spacing on wind farm length

abstract: Recent large eddy simulations have led to improved parameterizations of the effective roughness height of wind farms. This effective roughness height can be used to predict the wind velocity at hub-height as function of the geometric mean of the spanwise and streamwise turbine spacings and the turbine loading factors. Meyers and Meneveau (Wind Energy 15, 305-317 (2012)) used these parameterizations to make predictions for the optimal wind turbine spacing in infinitely large wind farms. They found that for a realistic cost ratio between the turbines and the used land surface the optimal turbine spacing may be considerably larger than used in conventional wind farms. Here we extend this analysis by taking the length of the wind farm, i.e.\ the number of rows in the downstream direction, into account and show that the optimal turbine spacing strongly depends on the wind farm length. For small to moderately sized wind farms the model predictions are consistent with spacings found in operational wind farms. For much larger wind farms the extended optimal spacing found for infinite wind farms is confirmed.


title: Entangled coherent states by mixing squeezed vacuum and coherent light

abstract: Entangled coherent states are shown to emerge, with high fidelity, when mixing coherent and squeezed vacuum states of light on a beam-splitter. These maximally entangled states, where photons bunch at the exit of a beamsplitter, are measured experimentally by Fock-state projections. Entanglement is examined theoretically using a Bell-type nonlocality test and compared with ideal entangled coherent states. We experimentally show nearly perfect similarity with entangled coherent states for an optimal ratio of coherent and squeezed vacuum light. In our scheme, entangled coherent states are generated deterministically with small amplitudes, which could be beneficial, for example, in deterministic distribution of entanglement over long distances.


title: Simultaneous Optimization of Neural Network Weights and Active Nodes using Metaheuristics

abstract: Optimization of neural network (NN) significantly influenced by the transfer function used in its active nodes. It has been observed that the homogeneity in the activation nodes does not provide the best solution. Therefore, the customizable transfer functions whose underlying parameters are subjected to optimization were used to provide heterogeneity to NN. For the experimental purpose, a meta-heuristic framework using a combined genotype representation of connection weights and transfer function parameter was used. The performance of adaptive Logistic, Tangent-hyperbolic, Gaussian and Beta functions were analyzed. In present research work, concise comparisons between different transfer function and between the NN optimization algorithms are presented. The comprehensive analysis of the results obtained over the benchmark dataset suggests that the Artificial Bee Colony with adaptive transfer function provides the best results in terms of classification accuracy over the particle swarm optimization and differential evolution.


title: Harmonic measure for biased random walk in a supercritical Galton-Watson tree

abstract: We consider random walks $\lambda$-biased towards the root on a Galton-Watson tree, whose offspring distribution $(p_k)_{k\geq 1}$ is non-degenerate and has finite mean $m>1$. In the transient regime $0<\lambda<m$, the loop-erased trajectory of the biased random walk defines the $\lambda$-harmonic ray, whose law is the $\lambda$-harmonic measure on the boundary of the Galton-Watson tree. We answer a question of Lyons, Pemantle and Peres by showing that the $\lambda$-harmonic measure has a.s. strictly larger Hausdorff dimension than the visibility measure, which is the harmonic measure corresponding to the simple forward random walk. We also prove that the average number of children of the vertices along the $\lambda$-harmonic ray is a.s. bounded below by $m$ and bounded above by $m^{-1}\sum k^2 p_k$. Moreover, at least for $0<\lambda \leq 1$, the average number of children of the vertices along the $\lambda$-harmonic ray is a.s. strictly larger than that of the $\lambda$-biased random walk trajectory. We observe that the latter is not monotone in the bias parameter $\lambda$.


title: ACO for Continuous Function Optimization: A Performance Analysis

abstract: The performance of the meta-heuristic algorithms often depends on their parameter settings. Appropriate tuning of the underlying parameters can drastically improve the performance of a meta-heuristic. The Ant Colony Optimization (ACO), a population based meta-heuristic algorithm inspired by the foraging behavior of the ants, is no different. Fundamentally, the ACO depends on the construction of new solutions, variable by variable basis using Gaussian sampling of the selected variables from an archive of solutions. A comprehensive performance analysis of the underlying parameters such as: selection strategy, distance measure metric and pheromone evaporation rate of the ACO suggests that the Roulette Wheel Selection strategy enhances the performance of the ACO due to its ability to provide non-uniformity and adequate diversity in the selection of a solution. On the other hand, the Squared Euclidean distance-measure metric offers better performance than other distance-measure metrics. It is observed from the analysis that the ACO is sensitive towards the evaporation rate. Experimental analysis between classical ACO and other meta-heuristic suggested that the performance of the well-tuned ACO surpasses its counterparts.


title: Generalized coupled wake boundary layer model: applications and comparisons with field and LES data for two wind-farms

abstract: We describe a generalization of the Coupled Wake Boundary Layer (CWBL) model for wind-farms that can be used to evaluate the performance of wind-farms under arbitrary wind inflow directions whereas the original CWBL model (Stevens et al., J. Renewable and Sustainable Energy 7, 023115 (2015)) focused on aligned or staggered wind-farms. The generalized CWBL approach combines an analytical Jensen wake model with a "top-down" boundary layer model coupled through an iterative determination of the wake expansion coefficient and an effective wake coverage area for which the velocity at hub-height obtained using both models converges in the "deep-array" portion (fully developed region) of the wind-farm. The approach accounts for the effect of the wind direction by enforcing the coupling for each wind direction. Here we present detailed comparisons of model predictions with LES results and field measurements for the Horns Rev and Nysted wind-farms operating over a wide range of wind inflow directions. Our results demonstrate that two-way coupling between the Jensen wake model and a "top-down" model enables the generalized CWBL model to predict the "deep-array" performance of a wind-farm better than the Jensen wake model alone. The results also show that the new generalization allows us to study a much larger class of wind-farms than the original CWBL model, which increases the utility of the approach for wind-farm designers.


title: Linear Parsing Expression Grammars

abstract: PEGs were formalized by Ford in 2004, and have several pragmatic operators (such as ordered choice and unlimited lookahead) for better expressing modern programming language syntax. Since these operators are not explicitly defined in the classic formal language theory, it is significant and still challenging to argue PEGs' expressiveness in the context of formal language theory.Since PEGs are relatively new, there are several unsolved problems.One of the problems is revealing a subclass of PEGs that is equivalent to DFAs. This allows application of some techniques from the theory of regular grammar to PEGs. In this paper, we define Linear PEGs (LPEGs), a subclass of PEGs that is equivalent to DFAs. Surprisingly, LPEGs are formalized by only excluding some patterns of recursive nonterminal in PEGs, and include the full set of ordered choice, unlimited lookahead, and greedy repetition, which are characteristic of PEGs. Although the conversion judgement of parsing expressions into DFAs is undecidable in general, the formalism of LPEGs allows for a syntactical judgement of parsing expressions.


title: Fast and Feasible Estimation of Generalized Linear Models with High-Dimensional k-way Fixed Effects

abstract: We present a fast and memory efficient algorithm for the estimation of generalized linear models with an additive separable k-way error component. The brute force approach uses dummy variables to account for the unobserved heterogeneity, but quickly faces computational limits. Thus, we show how a weighted version of the Frisch-Waugh-Lovell theorem combined with the method of alternating projections can be incorporated into a Newton-Raphson algorithm to dramatically reduce the computational costs. The algorithm is especially useful in situations, where generalized linear models with k-way fixed effects based on dummy variables are computationally demanding or even infeasible due to time or memory limitations. In a simulation study and an empirical application we demonstrate the performance of our algorithm.


title: Common Counterfactual Belief of Rationality Subsumes Superrationality On Symmetric Games

abstract: This paper shows that, for symmetric games in normal form, strategy profiles that satisfy Hofstadter's Superrationality criterion also satisfy both of Halpern's and Pass's criteria under Common Counterfactual Belief of Rationality: minimax-rationalizability and individual rationality.


title: Measurement of the neutron lifetime using an asymmetric magneto- gravitational trap and in situ detection

abstract: The precise value of the mean neutron lifetime, $\tau_n$, plays an important role in nuclear and particle physics and cosmology. It is a key input for predicting the ratio of protons to helium atoms in the primordial universe and is used to search for new physics beyond the Standard Model of particle physics. There is a 3.9 standard deviation discrepancy between $\tau_n$ measured by counting the decay rate of free neutrons in a beam (887.7 $\pm$ 2.2 s) and by counting surviving ultracold neutrons stored for different storage times in a material trap (878.5$\pm$0.8 s). The experiment described here eliminates loss mechanisms present in previous trap experiments by levitating polarized ultracold neutrons above the surface of an asymmetric storage trap using a repulsive magnetic field gradient so that the stored neutrons do not interact with material trap walls and neutrons in quasi-stable orbits rapidly exit the trap. As a result of this approach and the use of a new in situ neutron detector, the lifetime reported here (877.7 $\pm$ 0.7 (stat) +0.4/-0.2 (sys) s) is the first modern measurement of $\tau_n$ that does not require corrections larger than the quoted uncertainties.


title: Development and Maintenance of XML-Based Versus HTML-Based Websites: A Case Study

abstract: HTML (Hyper Text Markup Language) has been the primary tool for designing and developing web pages over the years. Content and formatting information are placed together in an HTML document. XML (Extensible Markup Language) is a markup language for documents containing semi-structured and structured information. XML separates formatting from the content. While websites designed in HTML require the formatting information to be included along with the new content when an update occurs, XML does not require adding format information as this information is separately included in XML stylesheets (XSL) and need not be updated when new content is added. On the other hand, XML makes use of extra tags in the XML and XSL files which increase the space usage. In this study, we design and implement two experimental websites using HTML and XML respectively. We incrementally update both websites with the same data and record the change in the size of code for both HTML and XML editions to evaluate the space efficiency of these websites.


title: Convergence, Fluctuations and Large Deviations for finite state Mean Field Games via the Master Equation

abstract: We show the convergence of finite state symmetric N-player differential games, where players control their transition rates from state to state, to a limiting dynamics given by a finite state Mean Field Game system made of two coupled forward-backward ODEs. We exploit the so-called Master Equation, which in this finite-dimensional framework is a first order PDE in the simplex of probability measures, obtaining the convergence of the feedback Nash equilibria, the value functions and the optimal trajectories. The convergence argument requires only the regularity of a solution to the Master equation. Moreover, we employ the convergence method to prove a Central Limit Theorem and a Large Deviation Principle for the evolution of the N-player empirical measures. The well-posedness and regularity of solution to the Master Equation are also studied.


title: Typical equilibrium state of an embedded quantum system

abstract: We consider an arbitrary quantum system coupled non perturbatively to a large arbitrary and fully quantum environment. In [G. Ithier and F. Benaych-Georges, Phys. Rev. A 96, 012108 (2017)] the typicality of the dynamics of such an embedded quantum system was established for several classes of random interactions. In other words, the time evolution of its quantum state does not depend on the microscopic details of the interaction. Focusing at the long time regime, we use this property to calculate analytically a new partition function characterizing the stationary state and involving the overlaps between eigenvectors of a bare and a dressed Hamiltonian. This partition function provides a new thermodynamical ensemble which includes the microcanonical and canonical ensembles as particular cases. We check our predictions with numerical simulations.


title: Convergence Analysis of Backpropagation Algorithm for Designing an Intelligent System for Sensing Manhole Gases

abstract: Human fatalities are reported due to the excessive proportional presence of hazardous gas components in the manhole, such as Hydrogen Sulfide, Ammonia, Methane, Carbon Dioxide, Nitrogen Oxide, Carbon Monoxide, etc. Hence, predetermination of these gases is imperative. A neural network (NN) based intelligent sensory system is proposed for the avoidance of such fatalities. Backpropagation (BP) was applied for the supervised training of the neural network. A Gas sensor array consists of many sensor elements was employed for the sensing manhole gases. Sensors in the sensor array are responsible for sensing their target gas components only. Therefore, the presence of multiple gases results in cross sensitivity. The cross sensitivity is a crucial issue to this problem and it is viewed as pattern recognition and noise reduction problem. Various performance parameters and complexity of the problem influences NN training. In present chapter the performance of BP algorithm on such a real life application problem was comprehensively studied, compared and contrasted with the several other hybrid intelligent approaches both, in theoretical and in the statistical sense.


title: Nonparametric Marginal Analysis of Recurrent Events Data under Competing Risks

abstract: This project was motivated by a dialysis study in northern Taiwan. Dialysis patients, after shunt implantation, may experience two types ("acute" or "non-acute") of shunt thrombosis, both of which may recur. We formulate the problem under the framework of recurrent events data in the presence of competing risks. In particular we focus on marginal inference for the gap time variable of specific type. The functions of interest are the cumulative incidence function and cause-specific hazard function. The major challenge of nonparametric inference is the problem of induced dependent censoring. We apply the technique of inverse probability of censoring weighting (IPCW) to adjust for the selection bias. Besides point estimation, we apply the bootstrap re-sampling method for further inference. Large sample properties of the proposed estimators are derived. Simulations are performed to examine the finite-sample performances of the proposed methods. Finally we apply the proposed methodology to analyze the dialysis data.


title: List-Distinguishing Cartesian Products of Cliques

abstract: The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a color from $L(v)$. The list distinguishing number of $G$, denoted $D_{\ell}(G)$ is the minimum $k$ such that every list assignment $L$ that assigns a list of size at least $k$ to every vertex permits a distinguishing $L$-coloring. In this paper, we prove that when and $n$ is large enough, the distinguishing and list-distinguishing numbers of $K_n\Box K_m$ agree for almost all $m>n$, and otherwise differ by at most one. As a part of our proof, we give (to our knowledge) the first application of the Combinatorial Nullstellensatz to the graph distinguishing problem and also prove an inequality for the binomial distribution that may be of independent interest.


title: Computation of unitary group for the Rashba spin-orbit coupled operator, with application to point-interactions

abstract: We compute an explicit formula for the one-parameter unitary group of the single-particle Rashba spin-orbit coupled operator in dimension three. As an application, we derive the formula for the Green function for the two-particle operator, and then prove that the spin-dependent point-interaction is of class $\mathcal{H}_{-4}$. The latter is thus the example of a supersingular perturbation for which no self-adjoint operator can be constructed.


title: Climbing the Kaggle Leaderboard by Exploiting the Log-Loss Oracle

abstract: In the context of data-mining competitions (e.g., Kaggle, KDDCup, ILSVRC Challenge), we show how access to an oracle that reports a contestant's log-loss score on the test set can be exploited to deduce the ground-truth of some of the test examples. By applying this technique iteratively to batches of $m$ examples (for small $m$), all of the test labels can eventually be inferred. In this paper, (1) We demonstrate this attack on the first stage of a recent Kaggle competition (Intel & MobileODT Cancer Screening) and use it to achieve a log-loss of $0.00000$ (and thus attain a rank of #4 out of 848 contestants), without ever training a classifier to solve the actual task. (2) We prove an upper bound on the batch size $m$ as a function of the floating-point resolution of the probability estimates that the contestant submits for the labels. (3) We derive, and demonstrate in simulation, a more flexible attack that can be used even when the oracle reports the accuracy on an unknown (but fixed) subset of the test set's labels. These results underline the importance of evaluating contestants based only on test data that the oracle does not examine.


title: Indefinite Kernel Logistic Regression with Concave-inexact-convex Procedure

abstract: In kernel methods, the kernels are often required to be positive definite, which restricts the use of many indefinite kernels. To consider those non-positive definite kernels, in this paper, we aim to build an indefinite kernel learning framework for kernel logistic regression. The proposed indefinite kernel logistic regression (IKLR) model is analysed in the Reproducing Kernel Kre\u{\i}n Spaces (RKKS) and then becomes non-convex. Using the positive decomposition of a non-positive definite kernel, the derived IKLR model can be decomposed into the difference of two convex functions. Accordingly, a concave-convex procedure is introduced to solve the non-convex optimization problem. Since the concave-convex procedure has to solve a sub-problem in each iteration, we propose a concave-inexact-convex procedure (CCICP) algorithm with an inexact solving scheme to accelerate the solving process. Besides, we propose a stochastic variant of CCICP to efficiently obtain a proximal solution, which achieves the similar purpose with the inexact solving scheme in CCICP. The convergence analyses of the above two variants of concave-convex procedure are conducted. By doing so, our method works effectively not only under a deterministic setting but also under a stochastic setting. Experimental results on several benchmarks suggest that the proposed IKLR model performs favorably against the standard (positive-definite) kernel logistic regression and other competitive indefinite learning based algorithms.


title: Understanding stellar activity-induced radial velocity jitter using simultaneous K2 photometry and HARPS RV measurements

abstract: One of the best ways to improve our understanding of the stellar activity-induced signal in radial velocity (RV) measurements is through simultaneous high-precision photometric and RV observations. This is of prime importance to mitigate the RV signal induced by stellar activity and therefore unveil the presence of low-mass exoplanets. The K2 Campaign 7 and 8 field-of-views were located in the southern hemisphere, and provided a unique opportunity to gather unprecedented simultaneous high precision photometric observation with K2 and high-precision RV measurements with the HARPS spectrograph to study the relationship between photometric variability and RV jitter. We observed nine stars with different levels of activity; from quiet to very active. We probe the presence of any meaningful relation between measured RV jitter and the simultaneous photometric variation, and also other activity indicators (e.g. BIS, FWHM, $logR'_{HK}$, and F8), by evaluating the strength and significance of the correlation between RVs and each indicator. We found that for the case of very active stars, strong and significant correlations exist between almost all the observables and measured RVs; however, for lower activity levels the correlations become random. Except for the F8 which its strong correlation with RV jitter persists over a wide range of stellar activity level, and thus our result suggests that F8 might be a powerful proxy for activity induced RV jitter. Moreover, we examine the capability of two state-of-the-art modeling techniques, namely the FF' method and SOAP2.0, in accurately predicting the RV jitter amplitude using the simultaneous photometric observation. We found that for the very active stars both techniques can reasonably well predict the amplitude of the RV jitter, however, at lower activity levels the FF' method underpredicts the RV jitter amplitude.


title: Shear Reversal in Dense Suspensions: The Challenge to Fabric Evolution Models from Simulation Data

abstract: Despite the industrial importance of dense suspensions of hard particles, few constitutive models for them have been proposed or tested. Most of these are effectively "fabric evolution models" (FEMs) based on a stress rule connecting the bulk stress to a rank-2 microstructural fabric tensor Q and a closed time-evolution equation for Q. In dense suspensions most of the stress comes from short-ranged pairwise steric or lubrication interactions at near-contacts, so a natural choice for Q is the deviatoric 2nd moment of the distribution P(p) of the near-contact orientations p. Here we test directly whether a closed time-evolution equation for such a Q can exist for inertialess non-Brownian hard spheres in a Newtonian solvent. We perform extensive numerical simulations for the evolution of P(p) under shear reversal, providing a stringent test for FEMs. We consider a generic class of these as defined by Hand (1962) constrained only by frame indifference. Motivated by the small microstructural anisotropy in the dense regime, we start with linear models and successively consider increasingly nonlinear ones. Based on these results we suggest that no closed FEM properly describes the dynamics of Q under reversal. We attribute this to the fact that Q gives a poor description of the microstructure during large parts of the microstructural evolution following shear reversal. Specifically, the truncation of P(p) at 2nd spherical harmonic level describes two-lobed distributions of near-contact orientations, whereas on reversal we observe distributions that are markedly four-lobed; moreover dP/dt (p) has oblique axes, not collinear with those of Q in the shear plane. This structure likely precludes any adequate closure at second-rank level. Instead, our numerical data suggest that closures involving the coupled evolution of both a fabric tensor and a fourth-rank tensor might be reasonably accurate.


title: Irreducible tensor form for the AME coupling

abstract: Using the multipole expansion of electromagnetic (EM) field, we present the angular magnetoelectric (AME) coupling in irreducible tensor form. We evaluate the matrix elements when the radiation source is described by electronic transitions in atomic systems. The results indicate that the energy corrections increase for short wavelengths and large charge number.


title: Single-Queue Decoding for Neural Machine Translation

abstract: Neural machine translation models rely on the beam search algorithm for decoding. In practice, we found that the quality of hypotheses in the search space is negatively affected owing to the fixed beam size. To mitigate this problem, we store all hypotheses in a single priority queue and use a universal score function for hypothesis selection. The proposed algorithm is more flexible as the discarded hypotheses can be revisited in a later step. We further design a penalty function to punish the hypotheses that tend to produce a final translation that is much longer or shorter than expected. Despite its simplicity, we show that the proposed decoding algorithm is able to select hypotheses with better qualities and improve the translation performance.


title: Observations and light curve solutions of the eclipsing stars CSS J075205.6+381909 and NSVS 691550

abstract: The paper presents observations and light curve solutions of the eclipsing stars CSS J075205.6+381909 and NSVS 691550. As a result their initial epochs were determined. The target periods turned out almost equal to the previous values. We found that NSVS 691550 is overcontact system whose components are close in temperature while CSS J075205.6+381909 has almost contact configuration and temperature difference of its components is around 2000 K. Both targets undergo partial eclipses. Their stellar components seem to obey the relations mass-temperature of MS stars.


title: The further analytical discussions on the $U(1)$ gauged Q-balls with $N$-power potential

abstract: We discuss the $U(1)$ gauged Q-balls with $N$-power potential to examine their properties analytically. More numerical descriptions and some analytical consideration have been contributed to the models governed by four-power potential. We also demonstrate strictly some new limitations that the stable $U(1)$ gauged Q-balls should accept instead of estimating those with only some specific values of model variables numerically. Having derived the explicit expressions of radius, the Noether charge and energy of the gauged Q-balls, we find that these models under the potential of matter field with general power and the boundary conditions will exist instead of dispersing and decaying. The Noether charge of the large gauged Q-balls must be limited. The mass parameter of the model can not be tiny.


title: The Charm of Theoretical Physics (1958-1993)

abstract: Personal recollections on theoretical particle physics in the years when the Standard Theory was formed. In the background, the remarkable development of Italian theoretical physics in the second part of the last century, with great personalities like Bruno Touschek, Raoul Gatto, Nicola Cabibbo and their schools.


title: The cluster category of a surface with punctures via group actions

abstract: Given a certain triangulation of a punctured surface with boundary, we construct a new triangulated surface without punctures which covers it. This new surface is naturally equipped with an action of a group of order two, and its quotient by this action recovers the original surface. We show that the group acts on the quivers with potentials associated to the surfaces, and that their Ginzburg dg algebras are skew group algebras of each other, up to Morita equivalence. We then use these results to construct functors between the generalized cluster categories associated to the triangulations. This allows us to give a complete description of the indecomposable objects of these categories in terms of curves on the surface, when the surface has punctures and non-empty boundary.


title: Stable Clustering Ansatz, Consistency Relations and Gravity Dual of Large-Scale Structure

abstract: Gravitational clustering in the nonlinear regime remains poorly understood. Gravity dual of gravitational clustering has recently been proposed as a means to study the nonlinear regime. The stable clustering ansatz remains a key ingredient to our understanding of gravitational clustering in the highly nonlinear regime. We study certain aspects of violation of the stable clustering ansatz in the gravity dual of Large Scale Structure (LSS). We extend the recent studies of gravitational clustering using AdS gravity dual to take into account possible departure from the stable clustering ansatz and to arbitrary dimensions. Next, we extend the recently introduced consistency relations to arbitrary dimensions. We use the consistency relations to test the commonly used models of gravitational clustering including the halo models and hierarchical ans\"atze. In particular we establish a tower of consistency relations for the hierarchical amplitudes: $Q, R_a, R_b, S_a,S_b,S_c$ etc. as a functions of the scaled peculiar velocity $h$. We also study the variants of popular halo models in this context. In contrast to recent claims, none of these models, in their simplest incarnation, seem to satisfy the consistency relations in the soft limit.


title: Cardiologist-Level Arrhythmia Detection with Convolutional Neural Networks

abstract: We develop an algorithm which exceeds the performance of board certified cardiologists in detecting a wide range of heart arrhythmias from electrocardiograms recorded with a single-lead wearable monitor. We build a dataset with more than 500 times the number of unique patients than previously studied corpora. On this dataset, we train a 34-layer convolutional neural network which maps a sequence of ECG samples to a sequence of rhythm classes. Committees of board-certified cardiologists annotate a gold standard test set on which we compare the performance of our model to that of 6 other individual cardiologists. We exceed the average cardiologist performance in both recall (sensitivity) and precision (positive predictive value).


title: Signatures of a dissipative phase transition in photon correlation measurements

abstract: Understanding and characterizing phase transitions in driven-dissipative systems constitutes a new frontier for many-body physics. A generic feature of dissipative phase transitions is a vanishing gap in the Liouvillian spectrum, which leads to long-lived deviations from the steady-state as the system is driven towards the transition. Here, we show that photon correlation measurements can be used to characterize the corresponding critical slowing down of nonequilibrium dynamics. We focus on the extensively studied phenomenon of optical bistability in GaAs cavity-polaritons, which can be described as a first-order dissipative phase transition. Increasing the excitation strength towards the bistable range results in an increasing photon-bunching signal along with a decay time that is prolonged by more than nine orders of magnitude as compared to that of low density polaritons. In the limit of strong polariton interactions leading to pronounced quantum fluctuations, the mean-field bistability threshold is washed out. Nevertheless, the scaling of the Liouvillian gap closing as thermodynamic limit is approached provides a signature of the emerging dissipative phase transition. Our results establish photon correlation measurements as an invaluable tool for studying dynamical properties of dissipative phase transitions without requiring phase-sensitive interferometric measurements.


title: A statistical analysis of particle trajectories in living cells

abstract: Recent advances in molecular biology and fluorescence microscopy imaging have made possible the inference of the dynamics of single molecules in living cells. Such inference allows to determine the organization and function of the cell. The trajectories of particles in the cells, computed with tracking algorithms, can be modelled with diffusion processes. Three types of diffusion are considered : (i) free diffusion; (ii) subdiffusion or (iii) superdiffusion. The Mean Square Displacement (MSD) is generally used to determine the different types of dynamics of the particles in living cells (Qian, Sheetz and Elson 1991). We propose here a non-parametric three-decision test as an alternative to the MSD method. The rejection of the null hypothesis -- free diffusion -- is accompanied by claims of the direction of the alternative (subdiffusion or a superdiffusion). We study the asymptotic behaviour of the test statistic under the null hypothesis, and under parametric alternatives which are currently considered in the biophysics literature, (Monnier et al,2012) for example. In addition, we adapt the procedure of Benjamini and Hochberg (2000) to fit with the three-decision test setting, in order to apply the test procedure to a collection of independent trajectories. The performance of our procedure is much better than the MSD method as confirmed by Monte Carlo experiments. The method is demonstrated on real data sets corresponding to protein dynamics observed in fluorescence microscopy.


title: Detecting topological transitions in two dimensions by Hamiltonian evolution

abstract: We show that the evolution of two-component particles governed by a two-dimensional spin-orbit lattice Hamiltonian can reveal transitions between topological phases. A kink in the mean width of the particle distribution signals the closing of the band gap, a prerequisite for a quantum phase transition between topological phases. Furthermore, for realistic and experimentally motivated Hamiltonians the density profile in topologically non-trivial phases displays characteristic rings in the vicinity of the origin that are absent in trivial phases. The results are expected to have immediate application to systems of ultracold atoms and photonic lattices.


title: Mass-metallicity relation of dwarf galaxies and its dependency on time: clues from resolved systems and comparison with massive galaxies

abstract: We present a new approach to study the mass-metallicity relation and its dependency on time. We used the star formation history (SFH) derived from color-magnitude diagram fitting techniques of a sample of Local Group (LG) dwarfs to obtain stellar masses, metallicities, and star-formation rates (SFR) to analyze the mass-metallicity relation as a function of the ages of their stellar populations. The accurate SFHs allow a time resolution of about 2 Gyr at the oldest ages for a total redshift range of 0<~z<~3. The mass-metallicity relation retrieved for the sample of LG dwarfs was compared with a large dataset of literature data obtained in a wide redshift range. Neither of the two independent datasets shows a clear evolution of the mass-metallicity relation slope with redshift. However, when the star-formation rate is added as an additional parameter in the relation, it shows a dependence on the redshift in the sense that the coefficient of the mass decreases with increasing redshift, while the coefficient for the SFR is almost constant with time. This result suggests an increasing contribution with time of the galaxy stellar mass to the metalliticy of the stars that formed most recently, but it also shows that the SFR can play a fundamental role in shaping the mass-metallicity relation.


title: Quantum anomalous Hall effect in stable 1T-YN$_2$ monolayer with a large nontrivial band gap and high Chern number

abstract: The quantum anomalous Hall (QAH) effect is a topologically nontrivial phase, characterized by a non-zero Chern number defined in the bulk and chiral edge states in the boundary. Using first-principles calculations, we demonstrate the presence of the QAH effect in 1T-YN$_2$ monolayer, which was recently predicted to be a Dirac half metal without spin-orbit coupling (SOC). We show that the inclusion of SOC opens up a large nontrivial band gap of nearly $0.1$ eV in the electronic band structure. This results in the nontrivial bulk topology which is confirmed by the calculation of Berry curvature, anomalous Hall conductance and the presence of chiral edge states. Remarkably, a high Chern number $C = 3$ is found, and there are three corresponding gapless chiral edge states emerging inside the bulk gap. Our results open a new avenue in searching for QAH insulators with high temperature and high Chern numbers, which can have nontrivial practical applications.


title: The Confinement of Vortices in Nano-Superconducting Devices

abstract: We have investigated the confinement of 3-D vortices in specific cases of Type-II ($\kappa = 2$) nano-superconducting devices. The emergent pattern of vortices greatly depends on the orientation of an applied magnetic field (transverse or longitudinal), and the size of the devices (a few coherence lengths $\xi$). Herein, cylindrical geometries are examined. The surface barriers become very significant in these nano-systems, and hence the characteristics of the vortices become highly sensitive to the shape of the system and direction of an applied field. It is observed that nano-cylindrical superconductors, depending on their sizes, can display either first or second order phase transitions, under the influence of a longitudinal field. In the confined geometries, nucleation of a giant vortex state composed of a n-quanta emerges for the longitudinal magnetic field.


title: Non-escaping endpoints do not explode

abstract: The family of exponential maps $f_a(z)= e^z+a$ is of fundamental importance in the study of transcendental dynamics. Here we consider the topological structure of certain subsets of the Julia set $J(f_a)$. When $a\in (-\infty,-1)$, and more generally when $a$ belongs to the Fatou set of $f_a$, it is known that $J(f_a)$ can be written as a union of "hairs" and "endpoints" of these hairs. In 1990, Mayer proved for $a\in (-\infty,-1)$ that, while the set of endpoints is totally separated, its union with infinity is a connected set. Recently, Alhabib and the second author extended this result to the case where $a \in F(f_a)$, and showed that it holds even for the smaller set of all escaping endpoints. We show that, in contrast, the set of non-escaping endpoints together with infinity is totally separated. It turns out that this property is closely related to a topological structure known as a `spider's web'; in particular we give a new topological characterisation of spiders' webs that may be of independent interest. We also show how our results can be applied to Fatou's function, $z\mapsto z + 1 + e^{-z}$.


title: Quench dynamics in superconducting nanojunctions: metastability and dynamical Yang-Lee zeros

abstract: We study the charge transfer dynamics following the formation of a phase or voltage biased su- perconducting nano-junction using a full counting statistics analysis. We demonstrate that the evolution of the zeros of the generating function allows one to identify the population of different many body states much in the same way as the accumulation of Yang-Lee zeros of the partition function in equilibrium statistical mechanics is connected to phase transitions. We give an exact expression connecting the dynamical zeros to the charge transfer cumulants and discuss when an approximation based on "dominant" zeros is valid. We show that, for generic values of the parameters, the system gets trapped into a metastable state characterized by a non-equilibrium population of the many body states which is dependent on the initial conditions. We study in particular the effect of the switching rates in the dynamics showing that, in contrast to intuition, the deviation from thermal equilibrium increases for the slower rates. In the voltage biased case the steady state is reached independently of the initial conditions. Our method allows us to obtain accurate results for the steady state current and noise in quantitative agreement with steady state methods developed to describe the multiple Andreev reflections regime. Finally, we discuss the system dynamics after a sudden voltage drop showing the possibility of tuning the many body states population by an appropriate choice of the initial voltage, providing a feasible experimental way to access the quench dynamics and control the state of the system.


title: Negative association, ordering and convergence of resampling methods

abstract: We study convergence and convergence rates for resampling schemes. Our first main result is a general consistency theorem based on the notion of negative association, which is applied to establish the almost-sure weak convergence of measures output from Kitagawa's (1996) stratified resampling method. Carpenter et al's (1999) systematic resampling method is similar in structure but can fail to converge depending on the order of the input samples. We introduce a new resampling algorithm based on a stochastic rounding technique of Srinivasan (2001), which shares some attractive properties of systematic resampling, but which exhibits negative association and therefore converges irrespective of the order of the input samples. We confirm a conjecture made by Kitagawa (1996) that ordering input samples by their states in $\mathbb{R}$ yields a faster rate of convergence; we establish that when particles are ordered using the Hilbert curve in $\mathbb{R}^d$, the variance of the resampling error is ${\scriptscriptstyle\mathcal{O}}(N^{-(1+1/d)})$ under mild conditions, where $N$ is the number of particles. We use these results to establish asymptotic properties of particle algorithms based on resampling schemes that differ from multinomial resampling.


title: On User Pairing in NOMA Uplink

abstract: User pairing in Non-Orthogonal Multiple-Access (NOMA) uplink based on channel state information is investigated considering some predefined power allocation schemes. The base station divides the set of users into disjunct pairs and assigns the available resources to these pairs. The combinatorial problem of user pairing to achieve the maximum sum rate is analyzed in the large system limit for various scenarios, and some optimum and sub-optimum algorithms with a polynomial-time complexity are proposed. In the first scenario, $2M$ users and the base station have a single-antenna and communicate over $M$ subcarriers. The performance of optimum pairing is derived for $M\rightarrow \infty$ and shown to be superior to random pairing and orthogonal multiple access techniques. In the second setting, a novel NOMA scheme for a multi-antenna base station and single carrier communication is proposed. In this case, the users need not be aware of the pairing strategy. Furthermore, the proposed NOMA scheme is generalized to multi-antenna users. It is shown that random and optimum user pairing perform similarly in the large system limit, but optimum pairing is significantly better in finite dimensions. It is shown that the proposed NOMA scheme outperforms a previously proposed NOMA scheme with signal alignment.


title: Demonstration of an efficient, photonic-based astronomical spectrograph on an 8-m telescope

abstract: We demonstrate for the first time an efficient, photonic-based astronomical spectrograph on the 8-m Subaru Telescope. An extreme adaptive optics system is combined with pupil apodiziation optics to efficiently inject light directly into a single-mode fiber, which feeds a compact cross-dispersed spectrograph based on array waveguide grating technology. The instrument currently offers a throughput of 5% from sky-to-detector which we outline could easily be upgraded to ~13% (assuming a coupling efficiency of 50%). The isolated spectrograph throughput from the single-mode fiber to detector was 42% at 1550 nm. The coupling efficiency into the single-mode fiber was limited by the achievable Strehl ratio on a given night. A coupling efficiency of 47% has been achieved with ~60% Strehl ratio on-sky to date. Improvements to the adaptive optics system will enable 90% Strehl ratio and a coupling of up to 67% eventually. This work demonstrates that the unique combination of advanced technologies enables the realization of a compact and highly efficient spectrograph, setting a precedent for future instrument design on very-large and extremely-large telescopes.


title: A Location-Based Game for Two Generations: Teaching Mobile Technology to the Elderly with the Support of Young Volunteers

abstract: This paper presents a cooperative location-based game for the elderly with the use of tablets equipped with mobile application. The game was designed to tackle at once several crucial topics related to the issue of aging, namely the social inclusion, education in the field of modern technology, motivation for learning as well as physical activity. Mixed-aged teams consisting of two players: a junior and a senior took part in the game. The preliminary results suggest that the game can successfully address a number of issues including improving the elderly technical skills, increasing the elderly physical activity as well as positive intergenerational interaction. The paper describes the game setup in details and presents some initial data gathered during the gameplay.


title: Globular clusters vs dark matter haloes in strong lensing observations

abstract: Small distortions in the images of Einstein rings or giant arcs offer the exciting prospect of detecting dark matter haloes or subhaloes of mass below $10^9$M$_{\odot}$, most of which are too small to have made a visible galaxy. A very large number of such haloes are predicted to exist in the cold dark matter model of cosmogony; in contrast other models, such as warm dark matter, predict no haloes below a mass of this order which depends on the properties of the warm dark matter particle. Attempting to detect these small perturbers could therefore discriminate between different kinds of dark matter particles, and even rule out the cold dark matter model altogether. Globular clusters in the lens galaxy also induce distortions in the image which could, in principle, contaminate the test. Here, we investigate the population of globular clusters in six early type galaxies in the Virgo cluster. We find that the number density of globular clusters of mass $\sim10^6$M$_{\odot}$ is comparable to that of the dark matter perturbers (including subhaloes in the lens and haloes along the line-of-sight). We show that the very different degrees of mass concentration in globular clusters and dark matter haloes result in different lensing distortions. These are detectable with milli-arcsecond resolution imaging which can distinguish between globular cluster and dark matter halo signals.


title: Levels of distribution for sieve problems in prehomogeneous vector spaces

abstract: In a companion paper, we developed an efficient algebraic method for computing the Fourier transforms of certain functions defined on prehomogeneous vector spaces over finite fields, and we carried out these computations in a variety of cases. Here we develop a method, based on Fourier analysis and algebraic geometry, which exploits these Fourier transform formulas to yield level of distribution results, in the sense of analytic number theory. Such results are of the shape typically required for a variety of sieve methods. As an example of such an application we prove that there are $\gg$ X/log(X) quartic fields whose discriminant is squarefree, bounded above by X, and has at most eight prime factors.


title: Specht modules labelled by hook bipartitions I

abstract: Brundan, Kleshchev and Wang equip the Specht modules $S_{\lambda}$ over the cyclotomic Khovanov--Lauda--Rouquier algebra $\mathscr{H}_n^{\Lambda}$ with a homogeneous $\mathbb{Z}$-graded basis. In this paper we begin the study of graded Specht modules labelled by hook bipartitions $((n-m),(1^m))$ in level $2$ of $\mathscr{H}_n^{\Lambda}$, which are precisely the Hecke algebras of type B, with quantum characteristic at least three. We give an explicit description of the action of the Khovanov--Lauda--Rouquier algebra generators $\psi_1,\dots,\psi_{n-1}$ on the basis elements of $S_{((n-m),(1^m))}$. Introducing certain Specht module homomorphisms, we construct irreducible submodules of these Specht modules, and thereby completely determining the composition series of Specht modules labelled by hook bipartitions for $e\geqslant{3}$.


title: Adiabatic currents for interacting electrons on a lattice

abstract: We prove an adiabatic theorem for general densities of observables that are sums of local terms in finite systems of interacting fermions, without periodicity assumptions on the Hamiltonian and with error estimates that are uniform in the size of the system. Our result provides an adiabatic expansion to all orders, in particular, also for initial data that lie in eigenspaces of degenerate eigenvalues. Our proof is based on ideas from a recent work of Bachmann et al. who proved an adiabatic theorem for interacting spin systems. As one important application of this adiabatic theorem, we provide the first rigorous derivation of the so-called linear response formula for the current density induced by an adiabatic change of the Hamiltonian of a system of interacting fermions in a ground state, with error estimates uniform in the system size. We also discuss the application to quantum Hall systems.


title: Minimal Sum of Powered Distances from the Sides of a Triangle

abstract: In this paper we apply the KKT conditions to find the minimal sum of powered distances from the sides of an arbitrary triangle.


title: Non-Poisson Renewal Events and Memory

abstract: We study two different forms of fluctuation-dissipation processes generating anomalous relaxations to equilibrium of an initial out of equilibrium condition, the former being based on a stationary although very slow correlation function and the latter characterized by the occurrence of crucial events, namely, non-Poisson renewal events, incompatible with the stationary condition. Both forms of regression to equilibrium have the same non-exponential Mittag-Leffler structure. We analyze the single trajectories of the two processes by recording the time distances between two consecutive origin re-crossings and establishing the corresponding waiting time probability density function (PDF), $\psi(t)$. In the former case, with no crucial events, $\psi(t)$ is exponential and in the latter case, with crucial events, $\psi(t)$ is an inverse power law PDF with a diverging first moment. We discuss the consequences that this result is expected to have for the correct interpretation of some anomalous relaxation processes.


title: LinNet: Probabilistic Lineup Evaluation Through Network Embedding

abstract: Which of your team's possible lineups has the best chances against each of your opponents possible lineups? In order to answer this question we develop LinNet. LinNet exploits the dynamics of a directed network that captures the performance of lineups at their matchups. The nodes of this network represent the different lineups, while an edge from node j to node i exists if lineup i has outperformed lineup j. We further annotate each edge with the corresponding performance margin (point margin per minute). We then utilize this structure to learn a set of latent features for each node (i.e., lineup) using the node2vec framework. Consequently, LinNet builds a model on this latent space for the probability of lineup A beating lineup B. We evaluate LinNet using NBA lineup data from the five seasons between 2007-08 and 2011-12. Our results indicate that our method has an out-of-sample accuracy of 69%. In comparison, utilizing the adjusted plus-minus of the players within a lineup for the same prediction problem provides an accuracy of 56%. More importantly, the probabilities are well-calibrated as shown by the probability validation curves. One of the benefits of LinNet - apart from its accuracy - is that it is generic and can be applied in different sports since the only input required is the lineups' matchup performances, i.e., not sport-specific features are needed.


title: On Fermat curves modulo a finite number

abstract: We show that the existence of a non-trivial solution of $x^n+y^n=p^n$, with $p$ a prime number, is equivalent to the existence of a solution of a certain (over-determined) system of $(n-1)$-recursion relations ("zipper" equations) in $\mathbb{Z}_{p-1}$.


title: Mimetization of the elastic properties of cancellous bone via a parameterized cellular material

abstract: Bone tissue mechanical properties and trabecular microarchitecture are the main factors that determine the biomechanical properties of cancellous bone. Artificial cancellous microstructures, typically described by a reduced number of geometrical parameters, can be designed to obtain a mechanical behavior mimicking that of natural bone. In this work, we assess the ability of the parameterized microstructure introduced by Kowalczyk (2006) to mimic the elastic response of cancellous bone. Artificial microstructures are compared with actual bone samples in terms of elasticity matrices and their symmetry classes. The capability of the parameterized microstructure to combine the dominant isotropic, hexagonal, tetragonal and orthorhombic symmetry classes in the proportions present in the cancellous bone is shown. Based on this finding, two optimization approaches are devised to find the geometrical parameters of the artificial microstructure that better mimics the elastic response of a target natural bone specimen: a Sequential Quadratic Programming algorithm that minimizes the norm of the difference between the elasticity matrices, and a Pattern Search algorithm that minimizes the difference between the symmetry class decompositions. The pattern search approach is found to produce the best results. The performance of the method is demonstrated via analyses for 146 bone samples.


title: Packings in real projective spaces

abstract: This paper applies techniques from algebraic and differential geometry to determine how to best pack points in real projective spaces. We present a computer-assisted proof of the optimality of a particular 6-packing in $\mathbb{R}\mathbf{P}^3$, we introduce a linear-time constant-factor approximation algorithm for packing in the so-called Gerzon range, and we provide local optimality certificates for two infinite families of packings. Finally, we present perfected versions of various putatively optimal packings from Sloane's online database, along with a handful of infinite families they suggest, and we prove that these packings enjoy a certain weak notion of optimality.


title: Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes

abstract: Markov decision processes (MDPs) are standard models for probabilistic systems with non-deterministic behaviours. Mean payoff (or long-run average reward) provides a mathematically elegant formalism to express performance related properties. Strategy iteration is one of the solution techniques applicable in this context. While in many other contexts it is the technique of choice due to advantages over e.g. value iteration, such as precision or possibility of domain-knowledge-aware initialization, it is rarely used for MDPs, since there it scales worse than value iteration. We provide several techniques that speed up strategy iteration by orders of magnitude for many MDPs, eliminating the performance disadvantage while preserving all its advantages.


title: Papaloizou-Pringle instability suppression by the magnetorotational instability in relativistic accretion discs

abstract: Geometrically thick tori with constant specific angular momentum have been widely used in the last decades to construct numerical models of accretion flows onto black holes. Such discs are prone to a global non-axisymmetric hydrodynamic instability, known as Papaloizou-Pringle instability (PPI), which can redistribute angular momentum and also lead to an emission of gravitational waves. It is, however, not clear yet how the development of the PPI is affected by the presence of a magnetic field and by the concurrent development of the magnetorotational instability (MRI). We present a numerical analysis using three-dimensional GRMHD simulations of the interplay between the PPI and the MRI considering, for the first time, an analytical magnetized equilibrium solution as initial condition. In the purely hydrodynamic case, the PPI selects as expected the large-scale $m=1$ azimuthal mode as the fastest growing and non-linearly dominant mode. However, when the torus is threaded by a weak toroidal magnetic field, the development of the MRI leads to the suppression of large-scale modes and redistributes power across smaller scales. If the system starts with a significantly excited $m=1$ mode, the PPI can be dominant in a transient phase, before being ultimately quenched by the MRI. Such dynamics may well be important in compact star mergers and tidal disruption events.


title: A Robust Interrupted Time Series Model for Analyzing Complex Healthcare Intervention Data

abstract: Current health policy calls for greater use of evidence based care delivery services to improve patient quality and safety outcomes. Care delivery is complex, with interacting and interdependent components that challenge traditional statistical analytic techniques, in particular when modeling a time series of outcomes data that might be "interrupted" by a change in a particular method of health care delivery. Interrupted time series (ITS) is a robust quasi-experimental design with the ability to infer the effectiveness of an intervention that accounts for data dependency. Current standardized methods for analyzing ITS data do not model changes in variation and correlation following the intervention. This is a key limitation since it is plausible for data variability and dependency to change because of the intervention. Moreover, present methodology either assumes a pre-specified interruption time point with an instantaneous effect or removes data for which the effect of intervention is not fully realized. In this paper, we describe and develop a novel `Robust-ITS' model that overcomes these omissions and limitations. The Robust-ITS model formally performs inference on: (a) identifying the change point; (b) differences in pre- and post-intervention correlation; (c) differences in the outcome variance pre- and post-intervention; and (d) differences in the mean pre- and post-intervention. We illustrate the proposed method by analyzing patient satisfaction data from a hospital that implemented and evaluated a new nursing care delivery model as the intervention of interest. The Robust-ITS model is implemented in a R Shiny toolbox which is freely available to the community.


title: Plasmoid Instability in Forming Current Sheets

abstract: The plasmoid instability has revolutionized our understanding of magnetic reconnection in astrophysical environments. By preventing the formation of highly elongated reconnection layers, it is crucial in enabling the rapid energy conversion rates that are characteristic of many astrophysical phenomena. Most of the previous studies have focused on Sweet-Parker current sheets, which, however, are unattainable in typical astrophysical systems. Here, we derive a general set of scaling laws for the plasmoid instability in resistive and visco-resistive current sheets that evolve over time. Our method relies on a principle of least time that enables us to determine the properties of the reconnecting current sheet (aspect ratio and elapsed time) and the plasmoid instability (growth rate, wavenumber, inner layer width) at the end of the linear phase. After this phase the reconnecting current sheet is disrupted and fast reconnection can occur. The scaling laws of the plasmoid instability are \emph{not} simple power laws, and depend on the Lundquist number ($S$), the magnetic Prandtl number ($P_m$), the noise of the system ($\psi_0$), the characteristic rate of current sheet evolution ($1/\tau$), as well as the thinning process. We also demonstrate that previous scalings are inapplicable to the vast majority of the astrophysical systems. We explore the implications of the new scaling relations in astrophysical systems such as the solar corona and the interstellar medium. In both these systems, we show that our scaling laws yield values for the growth rate, wavenumber, and aspect ratio that are much smaller than the Sweet-Parker based scalings.

categories: astro-ph.HE astro-ph.CO astro-ph.SR physics.plasm-ph physics.space-ph


title: Plasmoid Instability in Evolving Current Sheets and Onset of Fast Reconnection

abstract: The scaling of plasmoid instability maximum linear growth rate with respect to Lundquist number $S$ in a Sweet-Parker current sheet, $\gamma_{max}\sim S^{1/4}$, indicates that at high $S$, the current sheet will break apart before it approaches the Sweet-Parker width. Therefore, a proper description for the onset of the plasmoid instability must incorporate the evolving process of the current sheet. We carry out a series of two-dimensional simulations and develop diagnostics to separate fluctuations from an evolving background. It is found that the fluctuation amplitude starts to grow only when the linear growth rate is sufficiently large ($\gamma_{max}\tau_{A}>O(1)$) to overcome convective losses. The linear growth rate continues to rise until the sizes of plasmoids become comparable to the inner layer width of the tearing mode. At this point the current sheet is disrupted and the instability enters the early nonlinear regime. The growth rate suddenly decreases, but the fluctuation amplitude continues to grow until it reaches nonlinear saturation. We identify important time scales of the instability development, as well as scalings for the linear growth rate, current sheet width, and dominant wavenumber at current sheet disruption. These scalings depend on not only the Lundquist number, but also the initial noise amplitude. A phenomenological model that reproduces scalings from simulation results is proposed. The model incorporates the effect of reconnection outflow, which is crucial for yielding a critical Lundquist number $S_{c}$ below which disruption does not occur. The critical Lundquist number $S_{c}$ is not a constant value but has a weak dependence on the noise amplitude.

categories: physics.plasm-ph astro-ph.HE astro-ph.SR physics.flu-dyn physics.space-ph


title: Rate constants for the formation of SiO by radiative association

abstract: Accurate molecular data for the low-lying states of SiO are computed and used to calculate rate constants for radiative association of Si and O. Einstein A-coefficients are also calculated for transitions between all of the bound and quasi-bound levels for each molecular state. The radiative widths are used together with elastic tunneling widths to define effective radiative association rate constants which include both direct and indirect (inverse predissociation) formation processes. The indirect process is evaluated for two kinetic models which represent limiting cases for astrophysical environments. The first case scenario assumes an equilibrium distribution of quasi-bound states and would be applicable whenever collisional and/or radiative excitation mechanisms are able to maintain the population. The second case scenario assumes that no excitation mechanisms are available which corresponds to the limit of zero radiation temperature and zero atomic density. Rate constants for SiO formation in realistic astrophysical environments would presumably lie between these two limiting cases.


title: An Online Development Environment for Answer Set Programming

abstract: Recent progress in logic programming (e.g., the development of the Answer Set Programming paradigm) has made it possible to teach it to general undergraduate and even high school students. Given the limited exposure of these students to computer science, the complexity of downloading, installing and using tools for writing logic programs could be a major barrier for logic programming to reach a much wider audience. We developed an online answer set programming environment with a self contained file system and a simple interface, allowing users to write logic programs and perform several tasks over the programs.


title: A new helioseismic constraint on a cosmic-time variation of G

abstract: Helioseismology can provide strong constraints on the evolution of Newton's constant over cosmic time. We make use of the best possible estimate of 8640 days of low-$\ell$ BISON data, corrected for the solar cycle variation, to obtain a new constraint on an evolving gravitational constant. In particular, by means of a Bayesian analysis we conclude that ${{\dot{G}/G}_{\rm today}}=(1.25\pm 0.30) \times 10^{-13} \; \mathrm{yr}^{-1}$. Our result, a 4-$\sigma$ effect, is more than one order of magnitude stronger than previous constraints obtained with helioseismology. We also take into account possible systematic effects by considering the theoretical uncertainties on the efficiency of the proton-proton $(pp)$ fusion cross-section. We show that models with variable $G$ significantly outclass models with no secular variation of $G$, viz by a Bayes factor exceeding 30.


title: Jacobi matrices generated by ratios of hypergeometric functions

abstract: A problem of determining zeroes of the Gauss hypergeometric function goes back to Klein, Hurwitz, and Van Vleck. In this very short note we show how ratios of hypergeometric functions arise as m-functions of Jacobi matrices and we then revisit the problem based on the recent developments of the spectral theory of non-Hermitian Jacobi matrices.


title: Segal-type models of higher categories

abstract: Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy theory, algebraic geometry and algebra, mathematical physics, to encompass important applications in logic, computer science and beyond. Higher categories provide a unifying language whose greatest strength lies in its ability to bridge between diverse areas and uncover novel applications. In this foundational work we introduce a new approach to higher categories. It builds upon the theory of iterated internal categories, one of the simplest possible higher categorical structures available, by adopting a novel and remarkably simple "weak globularity" postulate and demonstrating that the resulting model provides a fully general theory of weak n-categories. The latter are among the most complex of the higher structures, and are crucial for applications. We show that this new model of "weakly globular n-fold categories" is suitably equivalent to the well studied model of weak n-categories due to Tamsamani and Simpson.


title: A Survey on Geographically Distributed Big-Data Processing using MapReduce

abstract: Hadoop and Spark are widely used distributed processing frameworks for large-scale data processing in an efficient and fault-tolerant manner on private or public clouds. These big-data processing systems are extensively used by many industries, e.g., Google, Facebook, and Amazon, for solving a large class of problems, e.g., search, clustering, log analysis, different types of join operations, matrix multiplication, pattern matching, and social network analysis. However, all these popular systems have a major drawback in terms of locally distributed computations, which prevent them in implementing geographically distributed data processing. The increasing amount of geographically distributed massive data is pushing industries and academia to rethink the current big-data processing systems. The novel frameworks, which will be beyond state-of-the-art architectures and technologies involved in the current system, are expected to process geographically distributed data at their locations without moving entire raw datasets to a single location. In this paper, we investigate and discuss challenges and requirements in designing geographically distributed data processing frameworks and protocols. We classify and study batch processing (MapReduce-based systems), stream processing (Spark-based systems), and SQL-style processing geo-distributed frameworks, models, and algorithms with their overhead issues.


title: Finite model reasoning over existential rules

abstract: Ontology-based query answering (OBQA) asks whether a Boolean conjunctive query is satisfied by all models of a logical theory consisting of a relational database paired with an ontology. The introduction of existential rules (i.e., Datalog rules extended with existential quantifiers in rule-heads) as a means to specify the ontology gave birth to Datalog+/-, a framework that has received increasing attention in the last decade, with focus also on decidability and finite controllability to support effective reasoning. Five basic decidable fragments have been singled out: linear, weakly-acyclic, guarded, sticky, and shy. Moreover, for all these fragments, except shy, the important property of finite controllability has been proved, ensuring that a query is satisfied by all models of the theory iff it is satisfied by all its finite models. In this paper we complete the picture by demonstrating that finite controllability of OBQA holds also for shy ontologies, and it therefore applies to all basic decidable Datalog+/- classes. To make the demonstration, we devise a general technique to facilitate the process of (dis)proving finite controllability of an arbitrary ontological fragment. This paper is under consideration for acceptance in TPLP.