title: Orbital dynamics of a solar sail accelerated by thermal desorption of coatings

abstract: In this study we considered a solar sail coated with materials that undergo thermal desorption at a specific temperature, as a result of heating by solar radiation at a particular heliocentric distance. Three different scenarios, that only differ in the way the sail approaches the Sun, were analyzed and compared. In every case once the perihelion is reached, the sail coat undergoes thermal desorption. When the desorption process ends, the sail then escapes the Solar System having the conventional acceleration due to solar radiation pressure. Thermal desorption here comes as an additional source of solar sail acceleration beside traditional propulsion systems for extrasolar space exploration. The compared scenarios are the following: i. Hohmann transfer plus thermal desorption. In this scenario the sail would be carried as a payload to the perihelion with a conventional propulsion system by an Hohmann transfer from Earth's orbit to an orbit very close to the Sun (almost at 0.1 AU) and then be deployed there. ii. Elliptical transfer plus Slingshot plus thermal desorption. In this scenario the transfer occurs from Earth's orbit to Jupiter's orbit. A Jupiter's fly-by leads to the orbit close to the Sun, where the sail is deployed. iii. Two stage acceleration of the solar sail through thermal desorption. The proposed sail has two coats of the materials that undergo thermal desorption at different temperatures depending on the heliocentric distance. The first desorption occurs at the Earth orbit and provides the thrust needed to propel the solar sail toward the Sun. The second desorption is equivalent to that of the other scenarios.


title: Rough path metrics on a Besov--Nikolskii type scale

abstract: It is known, since the seminal work [T. Lyons, Differential equations driven by rough signals, Rev. Mat. Iberoamericana, 14 (1998)], that the solution map associated to a controlled differential equation is locally Lipschitz continuous in $q$-variation resp. $1/q$-H\"{o}lder type metrics on the space of rough paths, for any regularity $1/q \in (0,1]$. We extend this to a new class of Besov-Nikolskii-type metrics, with arbitrary regularity $1/q\in (0,1]$ and integrability $p\in [ q,\infty ]$, where the case $p\in \{ q,\infty \} $ corresponds to the known cases. Interestingly, the result is obtained as consequence of known $q$-variation rough path estimates.


title: When almost Cohen-Macaulay algebras map into big Cohen-Macaulay modules

abstract: In this paper, we show that almost Cohen-Macaulay algebras are solid and in this respect, we seek for some special situation when (a) an almost Cohen-Macaulay algebra will be phantom extension and (b) when it maps into a balanced big Cohen-Macaulay module.


title: Construction of Arakelov-modular Lattices from Number Fields

abstract: An Arakelov-modular lattice of level $\ell$, where $\ell$ is a positive integer, is an $\ell-$modular lattice constructed from a fractional ideal of a CM field such that the lattice can be obtained from its dual by multiplication of an element with norm $\ell$. The characterization of existence of Arakelov-modular lattices has been completed for cyclotomic fields [4]. In this paper, we extend the definition to totally real number fields and study the criteria for the existence of Arakelov-modular lattices over totally real number fields and CM fields. We give the characterization of Arakelov-modular lattices over the maximal real subfield of a cyclotomic field with prime power degree and totally real Galois fields with odd degrees. Characterizations of Arakelov-modular lattices of trace type, which are special cases of Arakelov-modular lattices, are given for quadratic fields and maximal real subfields of cyclotomic fields with non-prime power degrees.


title: Accretion at the periastron passage of Eta Carinae

abstract: We present high resolution numerical simulations of the colliding wind system $\eta$ Carinae, showing accretion onto the secondary star close to periastron passage. Our hydrodynamical simulations include self gravity and radiative cooling. The smooth stellar winds collide and develop instabilities, mainly the non-linear thin shell instability, and form filaments and clumps. We find that a few days before periastron passage the dense filaments and clumps flow towards the secondary as a result of its gravitational attraction, and reach the zone where we inject the secondary wind. We run our simulations for the conventional stellar masses, $M_1=120 ~\rm{M_\odot}$ and $M_2=30 ~\rm{M_\odot}$, and for a high mass model, $M_1=170 ~\rm{M_\odot}$ and $M_2=80 ~\rm{M_\odot}$, that was proposed to better fit the history of giant eruptions. As expected, the simulations results show that the accretion processes is more pronounced for a more massive secondary star.


title: A Heuristic Method of Generating Diameter 3 Graphs for Order/Degree Problem

abstract: We propose a heuristic method that generates a graph for order/degree problem. Target graphs of our heuristics have large order (> 4000) and diameter 3. We describe the ob- servation of smaller graphs and basic structure of our heuristics. We also explain an evaluation function of each edge for efficient 2-opt local search. Using them, we found the best solutions for several graphs.


title: On a general framework for network representability in discrete optimization

abstract: In discrete optimization, representing an objective function as an $s$-$t$ cut function of a network is a basic technique to design an efficient minimization algorithm. A network representable function can be minimized by computing a minimum $s$-$t$ cut of a directed network, which is a very easy and fastly solved problem. Hence it is natural to ask what functions are network representable. In the case of pseudo Boolean functions (functions on $\{0,1\}^n$), it is known that any submodular function on $\{0,1\}^3$ is network representable. \v{Z}ivn\'y--Cohen--Jeavons showed by using the theory of expressive power that a certain submodular function on $\{0,1\}^4$ is not network representable. In this paper, we introduce a general framework for the network representability of functions on $D^n$, where $D$ is an arbitrary finite set. We completely characterize network representable functions on $\{0,1\}^n$ in our new definition. We can apply the expressive power theory to the network representability in the proposed definition. We prove that some ternary bisubmodular function and some binary $k$-submodular function are not network representable.


title: Bent functions and line ovals

abstract: In this paper we study those bent functions which are linear on elements of spreads, their connections with ovals and line ovals, and we give descriptions of their dual bent functions. In particular, we give a geometric characterization of Niho bent functions and of their duals, we give explicit formula for the dual bent function and present direct connections with ovals and line ovals. We also show that bent functions which are linear on elements of inequivalent spreads can be EA-equivalent.


title: A Short Mechanized Proof of the Church-Rosser Theorem by the Z-property for the $\lambda\beta$-calculus in Nominal Isabelle

abstract: We present a short proof of the Church-Rosser property for the lambda-calculus enjoying two distinguishing features: Firstly, it employs the Z-property, resulting in a short and elegant proof; and secondly, it is formalized in the nominal higher-order logic available for the proof assistant Isabelle/HOL.


title: Learning Semantic Part-Based Models from Google Images

abstract: We propose a technique to train semantic part-based models of object classes from Google Images. Our models encompass the appearance of parts and their spatial arrangement on the object, specific to each viewpoint. We learn these rich models by collecting training instances for both parts and objects, and automatically connecting the two levels. Our framework works incrementally, by learning from easy examples first, and then gradually adapting to harder ones. A key benefit of this approach is that it requires no manual part location annotations. We evaluate our models on the challenging PASCAL-Part dataset [1] and show how their performance increases at every step of the learning, with the final models more than doubling the performance of directly training from images retrieved by querying for part names (from 12.9 to 27.2 AP). Moreover, we show that our part models can help object detection performance by enriching the R-CNN detector with parts.


title: Spin-Orbit Coupling Induced Spin Squeezing in Three-Component Bose Gases

abstract: We observe spin squeezing in three-component Bose gases where all three hyperfine states are coupled by synthetic spin-orbit coupling. This phenomenon is a direct consequence of spin-orbit coupling, as can be seen clearly from an effective spin Hamiltonian. By solving this effective model analytically with the aid of a Holstein-Primakoff transformation for spin-1 system in the low excitation limit, we conclude that the spin-nematic squeezing, a novel category of spin squeezing existing exclusively in large spin systems, is enhanced with increasing spin-orbit intensity and effective Zeeman field, which correspond to Rabi frequency and two-photon detuning within the Raman scheme for synthetic spin-orbit coupling, respectively. These trends of dependence are in clear contrast to spin-orbit coupling induced spin squeezing in spin-1/2 systems. We also analyze the effects of harmonic trap and interaction with realistic experimental parameters numerically, and find that a strong harmonic trap favors spin-nematic squeezing. We further show spin-nematic squeezing can be interpreted as two-mode entanglement or two-spin squeezing at low excitation. Our findings can be observed in ^{87}Rb gases with existing techniques of synthetic spin-orbit coupling and spin-selectively imaging.


title: Exact Dimensionality Reduction for Partial Line Spectra Estimation Problems

abstract: Line spectral estimation theory aims to estimate the off-the-grid spectral components of a time signal with optimal precision. Recent results have shown that it is possible to recover signals having sparse line spectra from few temporal observations via the use of convex programming. However, the computational cost of such approaches remains the major flaw to their application to practical systems. This work investigates the recovery of spectrally sparse signal from low-dimensional partial measurements. It is shown in the first part of this paper that, under a light assumption on the sub-sampling matrix, the partial line spectral estimation problems can be relaxed into a low-dimensional semidefinite program. The proof technique relies on a novel extension of the Gram parametrization to subspaces of trigonometric polynomials. The second part of this work focuses on the analysis of two particular sub-sampling patterns: multirate sampling and random selection sampling. It is shown that those sampling patterns guarantee perfect recovery of the line spectra, and that the reconstruction can be achieved in a poly-logarithmic time with respect to the full observation case. Moreover, the sub-Nyquist recovery capabilities of such sampling patterns are highlighted. The atomic soft thresholding method is adapted in the presented framework to estimate sparse spectra in noisy environments, and a scalable algorithm for its resolution is proposed.


title: Spherical classes in some finite loop spaces of spheres

abstract: Working at the prime $2$, Curtis conjecture predicts that, in positive dimensions, spherical classes in $H_*QS^0$ only arise from Hopf invariant one and Kervaire invariant one elements. Eccles conjecture states that, in positive dimensional, for a path connected space $X$, a class in $H_nQX$ is spherical if its either stably spherical or it arises from a stable map $S^n\to X$ which is detected by a primary operation in its mapping cone. (i) We use Hopf invariant one result to verify Eccles conjecture on some finite loop spaces of spheres, namely, for $X=S^k$ , we completely determine spherical classes in $H_*(\Omega^dS^{k+d};\mathbb{Z}/2)$ for specific values of $d$, $k$ showing that a spherical classes in these cases only do arise from Hopf invariant one elements. (ii) We completely determine spherical classes in homology of single, double, and triple loop spaces of spheres, namely $\Omega S^{n+1}$, $\Omega^2 S^{n+2}$, and $\Omega^3S^{n+3}$ with $n>0$. These computations, verify Eccles conjecture on the finite loop spaces that we have considered. We also record some observations on the relation between two conjectures. The latter conjecture for $X=S^k$, with $k>0$, provides some evidence for the former to be true.


title: Correlating charge radius with quadrupole deformation and $B(E2)$ in atomic nuclei

abstract: A very good linear correlation is found between the four-point charge radius relation $\delta R_{2p-2n}(Z,N)$ with that of quadrupole deformation data in even-even nuclei. This results in a further improved charge radius relation that holds in a precision of about 5$\times 10^{-3}$ fm. Such correlations are also seen in global nuclear models, their precisions, however, are not enough to be consistent with the experimental data. The new relation between charge radii and deformation of even-even nuclei can be generalized to the reduced electric quadrupole transition probability $B(E2)$ between the first $2^+$ state and the $0^+$ ground state, and the mean lifetime $\tau$ of the first 2$^+$ state.


title: Relational Models

abstract: We provide a survey on relational models. Relational models describe complete networked {domains by taking into account global dependencies in the data}. Relational models can lead to more accurate predictions if compared to non-relational machine learning approaches. Relational models typically are based on probabilistic graphical models, e.g., Bayesian networks, Markov networks, or latent variable models. Relational models have applications in social networks analysis, the modeling of knowledge graphs, bioinformatics, recommendation systems, natural language processing, medical decision support, and linked data.


title: Honey: A dataflow programming language for the processing, featurization and analysis of multivariate, asynchronous and non-uniformly sampled scalar symbolic time sequences

abstract: We introduce HONEY; a new specialized programming language designed to facilitate the processing of multivariate, asynchronous and non-uniformly sampled symbolic and scalar time sequences. When compiled, a Honey program is transformed into a static process flow diagram, which is then executed by a virtual machine. Honey's most notable features are: (1) Honey introduces a new, efficient and non-prone to error paradigm for defining recursive process flow diagrams from text input with the mindset of imperative programming. Honey's specialized, high level and concise syntax allows fast and easy writing, reading and maintenance of complex processing of large scalar symbolic time sequence datasets. (2) Honey guarantees programs will be executed similarly on static or real-time streaming datasets. (3) Honey's IDE includes an interactive visualization tool which allows for an interactive exploration of the intermediate and final outputs. This combination enables fast incremental prototyping, debugging, monitoring and maintenance of complex programs. (4) In case of large datasets (larger than the available memory), Honey programs can be executed to process input greedily. (5) The graphical structure of a compiled program provides several desirable properties, including distributed and/or paralleled execution, memory optimization, and program structure visualization. (6) Honey contains a large library of both common and novel operators developed through various research projects. An open source C++ implementation of Honey as well as the Honey IDE and the interactive data visualizer are publicly available.


title: SDSS-DR12 Bulk Stellar Spectral Classification: Artificial Neural Networks Approach

abstract: This paper explores the application of Probabilistic Neural Network (PNN), Support Vector Machine (SVM) and Kmeans clustering as tools for automated classification of massive stellar spectra.


title: Divide and...conquer? On the limits of algorithmic approaches to syntactic semantic structure

abstract: In computer science, divide and conquer (D&C) is an algorithm design paradigm based on multi-branched recursion. A D&C algorithm works by recursively and monotonically breaking down a problem into sub problems of the same (or a related) type, until these become simple enough to be solved directly. The solutions to the sub problems are then combined to give a solution to the original problem. The present work identifies D&C algorithms assumed within contemporary syntactic theory, and discusses the limits of their applicability in the realms of the syntax semantics and syntax morphophonology interfaces. We will propose that D&C algorithms, while valid for some processes, fall short on flexibility given a mixed approach to the structure of linguistic phrase markers. Arguments in favour of a computationally mixed approach to linguistic structure will be presented as an alternative that offers advantages to uniform D&C approaches.


title: A tool for stability and power sharing analysis of a generalized class of droop controllers for high-voltage direct-current transmission systems

abstract: The problem of primary control of high-voltage direct current transmission systems is addressed in this paper, which contains four main contributions. First, to propose a new nonlinear, more realistic, model for the system suitable for primary control design, which takes into account nonlinearities introduced by conventional inner controllers. Second, to determine necessary conditions - dependent on some free controller tuning parameters - for the existence of equilibria. Third, to formulate additional (necessary) conditions for these equilibria to satisfy the power sharing constraints. Fourth, to establish conditions for stability of a given equilibrium point. The usefulness of the theoretical results is illustrated via numerical calculations on a four-terminal example.


title: A LSE and Sparse Message Passing-Based Channel Estimation for mmWave MIMO Systems

abstract: In this paper, we propose a novel channel estimation algorithm based on the Least Square Estimation (LSE) and Sparse Message Passing algorithm (SMP), which is of special interest for Millimeter Wave (mmWave) systems, since this algorithm can leverage the inherent sparseness of the mmWave channel. Our proposed algorithm will iteratively detect exact the location and the value of non-zero entries of sparse channel vector without its prior knowledge of distribution. The SMP is used to detect exact the location of non-zero entries of the channel vector, while the LSE is used for estimating its value at each iteration. Then, the analysis of the Cramer-Rao Lower Bound (CRLB) of our proposed algorithm is given. Numerical experiments show that our proposed algorithm has much better performance than the existing sparse estimators (e.g. LASSO), especially when mmWave systems have massive antennas at both the transmitters and receivers. In addition, we also find that our proposed algorithm converges to the CRLB of the genie-aided estimation of sparse channels in just a few turbo iterations.


title: Direct Observation of Microstructures on Superconducting Single Crystals of K$_x$Fe$_{2-y}$Se$_2$

abstract: Potassium intercalated FeSe has been reported as a superconductor with superconducting transition temperatures ($T_{\rm c}$'s) of 30-48 K. However, there is no clear answer to identify the relationship between the surface morphology, compositional ratio and its crystal structure. This report directly reveals the correspondence among these three characteristics in single crystals with a $T_{\rm c}$ onset of around 44 K using a micro-sampling technique. Island-like parts on the surface of the crystals clearly have the K$_x$Fe$_2$Se$_2$ structure with perfect FeSe layers, which is formed in conjunction with the K$_2$Fe$_4$Se$_5$ phase. This results in the appearance of the $T_{\rm c}$ onset of 44 K.


title: Holographic equipartition from first order action

abstract: In this paper, we get the holographic equipartition form the first order formulism, that is, the connection and its conjugate momentum are considered to be the canonical variables. The final results have similar structure as those from the metric formulism.


title: Room-temperature superfluidity in a polariton condensate

abstract: Superfluidity---the suppression of scattering in a quantum fluid at velocities below a critical value---is one of the most striking manifestations of the collective behaviour typical of Bose-Einstein condensates. This phenomenon, akin to superconductivity in metals, has until now only been observed at prohibitively low cryogenic temperatures. For atoms, this limit is imposed by the small thermal de Broglie wavelength, which is inversely related to the particle mass. Even in the case of ultralight quasiparticles such as exciton-polaritons, superfluidity has only been demonstrated at liquid helium temperatures. In this case, the limit is not imposed by the mass, but instead by the small exciton binding energy of Wannier-Mott excitons, which places the upper temperature limit. Here we demonstrate a transition from normal to superfluid flow in an organic microcavity supporting stable Frenkel exciton-polaritons at room temperature. This result paves the way not only to table-top studies of quantum hydrodynamics, but also to room-temperature polariton devices that can be robustly protected from scattering.


title: Doppler Tomography and Photometry of the Cataclysmic Variable 1RXS J064434.5+334451

abstract: We have obtained simultaneous photometric and spectroscopic observations of the cataclysmic variable 1RXS J064434.5+334451. We have calibrated the spectra for slit losses using the simultaneous photometry allowing to construct reliable Doppler images from H$\alpha$ and HeII 4686 emission lines. We have improved the ephemeris of the object based on new photometric eclipse timings, obtaining $HJD = 2453403.759533 + 0.26937446E$. Some eclipses present a clear internal structure which we attribute to a central HeII emission region surrounding the white dwarf, a finding supported by the Doppler tomography. This indicates that the system has a large inclination angle $i=78 \pm 2^{\circ}$. We have also analysed the radial velocity curve from the emission lines to measure its semi--amplitude, $K_1$, from H$\alpha$ and HeII 4686 and derive the masses of the components: $M_1=0.82\pm0.06$ M$_{\odot}$, $M_2=0.78\pm0.04$ M$_{\odot}$ and their separation $a=2.01\pm0.06$ $R_{\odot}$. The Doppler tomography and other observed features in this nova-like system strongly suggests that this is a SW Sex-type system.


title: On two questions concerning representations distinguished by the Galois involution

abstract: Let E/F be a quadratic extension of non-archimedean local fields of characteristic 0. In this paper, we investigate two approaches which attempt to describe the smooth irreducible representations of GL(n,E) that are distinguished by its subgroup GL(n,F). One relates this class to representations which come as base change lifts from a quasi-split unitary group F, while another deals with a certain symmetry condition. By characterizing the union of images of the base change maps we show that these two approaches are closely related. Using this observation, we are able to prove a statement relating base change and distinction for ladder representations. We then produce a wide family of examples in which the symmetry condition does not impose GL(n,F)-distinction, and thus exhibit the limitations of these two approaches.


title: Aspects of Late-time Evolution in Mimetic $F(R)$ Gravity

abstract: We demonstrate how to describe in an unified way early and late-time acceleration in the context of mimetic $F(R)$ gravity. As we show, an exponential $F(R)$ gravity model has appealing features, with regard to unification, and we perform an analysis of the late-time evolution. The resulting picture is interesting since in the mimetic case, certain pathologies of some ordinary $F(R)$ models are remedied in a consistent way, owing to the presence of the mimetic potential and the Lagrange multiplier. We quantify the late-time evolution analysis by studying the scaled dark energy density, the dark energy equation of state and the total effective equation of state, and as we show the late-time evolution is crucially affected by the functional form of the $F(R)$ gravity. It is intriguing that the most appealing case corresponds to the exponential $F(R)$ gravity which unifies late and early-time acceleration. Finally, we study the behavior of the effective gravitational constant and the growth factor, and as we show, significant differences between the mimetic and ordinary $F(R)$ exponential model are spotted in the growth factor.


title: A centralized reinforcement learning method for multi-agent job scheduling in Grid

abstract: One of the main challenges in Grid systems is designing an adaptive, scalable, and model-independent method for job scheduling to achieve a desirable degree of load balancing and system efficiency. Centralized job scheduling methods have some drawbacks, such as single point of failure and lack of scalability. Moreover, decentralized methods require a coordination mechanism with limited communications. In this paper, we propose a multi-agent approach to job scheduling in Grid, named Centralized Learning Distributed Scheduling (CLDS), by utilizing the reinforcement learning framework. The CLDS is a model free approach that uses the information of jobs and their completion time to estimate the efficiency of resources. In this method, there are a learner agent and several scheduler agents that perform the task of learning and job scheduling with the use of a coordination strategy that maintains the communication cost at a limited level. We evaluated the efficiency of the CLDS method by designing and performing a set of experiments on a simulated Grid system under different system scales and loads. The results show that the CLDS can effectively balance the load of system even in large scale and heavy loaded Grids, while maintains its adaptive performance and scalability.


title: On the Relation between the Minimum Principle and Dynamic Programming for Classical and Hybrid Control Systems

abstract: Hybrid optimal control problems are studied for a general class of hybrid systems where autonomous and controlled state jumps are allowed at the switching instants and in addition to terminal and running costs switching between discrete states incurs costs. The statements of the Hybrid Minimum Principle and Hybrid Dynamic Programming are presented in this framework and it is shown that under certain assumptions the adjoint process in the Hybrid Minimum Principle and the gradient of the value function in Hybrid Dynamic Programming are governed by the same set of differential equations and have the same boundary conditions and hence are almost everywhere identical to each other along optimal trajectories. Analytic examples are provided to illustrate the results and, in particular, a Riccati formalism for linear quadratic hybrid tracking problems is presented.


title: A Smolin-like branching multiverse from multiscalar-tensor theory

abstract: We implement a Smolin-like branching multiverse through a directed, acyclic graph of $N$ metrics. Our gravitational and matter actions are indistinguishable from $N$ decoupled statements of General Relativity, if one varies with respect to metric degrees of freedom. We replace $N-1$ metrics with scalar fields by conformally relating each metric to its unique graph predecessor. Varying with respect to the $N-1$ scalar fields gives a multiscalar-tensor model which naturally features dark matter candidates. Building atop an argument of Chapline and Laughlin, branching is accomplished with the emergence of order parameters during gravitational collapse: we bootstrap a suitably defined $N$ scalar field model with initial data from an $N-1$ field model. We focus on the nearest-neighbour approximation, determine conditions for dynamical stability, and compute the equations of motion. The model features a novel screening property where the scalar fields actively adjust to decouple themselves from the stress, oscillating about the requisite values. In the Newtonian limit, these background values for the scalar fields exactly reproduce Newton's law of gravitation.


title: Effect of Wideband Beam Squint on Codebook Design in Phased-Array Wireless Systems

abstract: Analog beamforming with phased arrays is a promising technique for 5G wireless communication at millimeter wave frequencies. Using a discrete codebook consisting of multiple analog beams, each beam focuses on a certain range of angles of arrival or departure and corresponds to a set of fixed phase shifts across frequency due to practical hardware considerations. However, for sufficiently large bandwidth, the gain provided by the phased array is actually frequency dependent, which is an effect called beam squint, and this effect occurs even if the radiation pattern of the antenna elements is frequency independent. This paper examines the nature of beam squint for a uniform linear array (ULA) and analyzes its impact on codebook design as a function of the number of antennas and system bandwidth normalized by the carrier frequency. The criterion for codebook design is to guarantee that each beam's minimum gain for a range of angles and for all frequencies in the wideband system exceeds a target threshold, for example 3 dB below the array's maximum gain. Analysis and numerical examples suggest that a denser codebook is required to compensate for beam squint. For example, 54% more beams are needed compared to a codebook design that ignores beam squint for a ULA with 32 antennas operating at a carrier frequency of 73 GHz and bandwidth of 2.5 GHz. Furthermore, beam squint with this design criterion limits the bandwidth or the number of antennas of the array if the other one is fixed.


title: Distributed algorithms for solving convex inequalities

abstract: In this paper, a distributed subgradient-based algorithm is proposed for continuous-time multi-agent systems to search a feasible solution to convex inequalities. The algorithm involves each agent achieving a state constrained by its own inequalities while exchanging local information with other agents under a time-varying directed communication graph. With the validity of a mild connectivity condition associated with the communication graph, it is shown that all agents will reach agreement asymptotically and the consensus state is in the solution set of the inequalities. Furthermore, the method is also extended to solving the distributed optimization problem of minimizing the sum of local objective functions subject to convex inequalities. A simulation example is presented to demonstrate the effectiveness of the theoretical results.


title: Dedekind sums in the $p$-adic number field

abstract: In a recent note W. Kohnen asks whether the values of Dedekind sums are dense in the field of $p$-adic numbers. The present paper answers this question. Dedekind sums do not approximate units of $\mathbb Z_2$ or $\mathbb Z_3$, so they are not dense in $\mathbb Q_2$ or $\mathbb Q_3$. But they are dense in $\mathbb Q_p$ if $p\ge 5$.


title: Second-order perturbation theory for 3He and pd scattering in pionless EFT

abstract: This work implements pionless effective field theory with the two-nucleon system expanded around the unitarity limit at second order perturbation theory. The expansion is found to converge well. All Coulomb effects are treated in perturbation theory, including two-photon contributions at next-to-next-to-leading order. After fixing a three-nucleon force to the 3He binding energy at this order, proton-deuteron scattering in the doublet S-wave channel is calculated for moderate center-of-mass momenta.


title: On the Relationship between Online Gaussian Process Regression and Kernel Least Mean Squares Algorithms

abstract: We study the relationship between online Gaussian process (GP) regression and kernel least mean squares (KLMS) algorithms. While the latter have no capacity of storing the entire posterior distribution during online learning, we discover that their operation corresponds to the assumption of a fixed posterior covariance that follows a simple parametric model. Interestingly, several well-known KLMS algorithms correspond to specific cases of this model. The probabilistic perspective allows us to understand how each of them handles uncertainty, which could explain some of their performance differences.


title: Chromospheric Condensation and Quasi-periodic Pulsations in a Circular-ribbon Flare

abstract: In this paper, we report our multiwavelength observations of the C3.1 circular-ribbon flare SOL2015-10-16T10:20 in AR 12434. The flare consisted of a circular flare ribbon (CFR), an inner flare ribbon (IFR) inside, and a pair of short parallel flare ribbons (PFRs). During the impulsive phase of the flare, "two-step" raster observations of \textit{IRIS} with a cadence of 6 s and an exposure time of 2 s show plasma downflow at the CFR in the Si {\sc iv} $\lambda$1402.77 line, suggesting chromospheric condensation. The downflow speeds first increased rapidly from a few km s$^{-1}$ to the peak values of 45$-$52 km s$^{-1}$, before decreasing gradually to the initial levels. The decay timescales of condensation were 3$-$4 minutes, indicating ongoing magnetic reconnection. Interestingly, the downflow speeds are positively correlated with logarithm of the Si {\sc iv} line intensity and time derivative of the \textit{GOES} soft X-ray (SXR) flux in 1$-$8 {\AA}. The radio dynamic spectra are characterized by a type \Rmnum{3} radio burst associated with the flare, which implies that the chromospheric condensation was most probably driven by nonthermal electrons. Using an analytical expression and the peak Doppler velocity, we derived the lower limit of energy flux of the precipitating electrons, i.e., 0.65$\times$10$^{10}$ erg cm$^{-2}$ s$^{-1}$. The Si {\sc iv} line intensity and SXR derivative show quasi-periodic pulsations with periods of 32$-$42 s.


title: Crystal structure and anisotropic magnetic properties of new ferromagnetic Kondo lattice compound Ce(Cu,Al,Si)2

abstract: Single crystals of the new compound CeCu0.18Al0.24Si1.58 have been grown by high-temperature solution growth method using a eutectic Al-Si mixture as flux. This compound is derived from the binary CeSi2 (tetragonal ThSi2-type, Pearson symbol tI12, space group I41/amd) obtained by partial substitution of Si by Cu and Al atoms but showing full occupation of the Si crystal site (8e). While CeSi2 is a well-known valence-fluctuating paramagnetic compound, the CeCu0.18Al0.24Si1.58 phase orders ferromagnetically at TC = 9.3 K. At low temperatures the easy-axis of magnetization is along the a-axis, which re-orients itself along the c-axis above 30 K. The presence of hysteresis in the magnetization curve, negative temperature coefficient of resistivity at high temperatures, reduced jump in the heat capacity and a relatively lower entropy released up to the ordering temperature, and enhanced Sommerfeld coefficient (~100 mJ/mol K2) show that CeCu0.18Al0.24Si1.58 is a Kondo lattice ferromagnetic, moderate heavy fermion compound. Analysis of the high temperature heat capacity data in the paramagnetic region lets us infer that the crystal electric field split doublet levels are located at 178 and 357 K, respectively, and Kondo temperature (8.4 K) is of the order of TC in CeCu0.18Al0.24Si1.58.


title: Model Selection for Treatment Choice: Penalized Welfare Maximization

abstract: This paper studies a penalized statistical decision rule for the treatment assignment problem. Consider the setting of a utilitarian policy maker who must use sample data to allocate a binary treatment to members of a population, based on their observable characteristics. We model this problem as a statistical decision problem where the policy maker must choose a subset of the covariate space to assign to treatment, out of a class of potential subsets. We focus on settings in which the policy maker may want to select amongst a collection of constrained subset classes: examples include choosing the number of covariates over which to perform best-subset selection, and model selection when approximating a complicated class via a sieve. We adapt and extend results from statistical learning to develop the Penalized Welfare Maximization (PWM) rule. We establish an oracle inequality for the regret of the PWM rule which shows that it is able to perform model selection over the collection of available classes. We then use this oracle inequality to derive relevant bounds on maximum regret for PWM. An important consequence of our results is that we are able to formalize model-selection using a "hold-out" procedure, where the policy maker would first estimate various policies using half of the data, and then select the policy which performs the best when evaluated on the other half of the data.


title: Devaney chaos plus shadowing implies distributional chaos

abstract: We explore connections among the regional proximal relation, the asymptotic relation and the distal relation for a topological dynamical system with the shadowing property, and show that if a Devaney chaotic system has the shadowing property then it is distributionally chaotic.


title: An asymptotically exact theory of functionally graded piezoelectric shells

abstract: An asymptotically exact two-dimensional theory of functionally graded piezoelectric shells is derived by the variational-asymptotic method. The error estimation of the constructed theory is given in the energetic norm. As an application, analytical solution to the problem of forced vibration of a functionally graded piezoceramic cylindrical shell with thickness polarization fully covered by electrodes and excited by a harmonic voltage is found.


title: Resonator reset in circuit QED by optimal control for large open quantum systems

abstract: We study an implementation of the open GRAPE (Gradient Ascent Pulse Engineering) algorithm well suited for large open quantum systems. While typical implementations of optimal control algorithms for open quantum systems rely on explicit matrix exponential calculations, our implementation avoids these operations leading to a polynomial speed-up of the open GRAPE algorithm in cases of interest. This speed-up, as well as the reduced memory requirements of our implementation, are illustrated by comparison to a standard implementation of open GRAPE. As a practical example, we apply this open-system optimization method to active reset of a readout resonator in circuit QED. In this problem, the shape of a microwave pulse is optimized such as to empty the cavity from measurement photons as fast as possible. Using our open GRAPE implementation, we obtain pulse shapes leading to a reset time over four times faster than passive reset.


title: Linear Stability of Rotating Black Holes: Outline of the Proof

abstract: After a brief introduction to the black hole stability problem, we outline our recent proof of the linear stability of the non-extreme Kerr geometry.


title: Asymptotics of the occupancy scheme in a random environment and its applications to tries

abstract: Consider $ m $ copies of an irreducible, aperiodic Markov chain $ Y $ taking values in a finite state space. The asymptotics as $ m $ tends to infinity, of the first time from which on the trajectories of the $ m $ copies differ, have been studied by Szpankowski (1991) in the setting of tries. We use a different approach and model the $ m $ trajectories by a variant of the occupancy scheme, where we consider a nested sequence of boxes. This approach will enable us to extend the result to the case when the transition probabilities are random. We moreover use the same techniques to study the asymptotics as $ m $ tends to infinity of the time up to which we have observed all the possible trajectories of $ Y $ in random and nonrandom scenery.


title: On locality of Generalized Reed-Muller codes over the broadcast erasure channel

abstract: One to Many communications are expected to be among the killer applications for the currently discussed 5G standard. The usage of coding mechanisms is impacting broadcasting standard quality, as coding is involved at several levels of the stack, and more specifically at the application layer where Rateless, LDPC, Reed Solomon codes and network coding schemes have been extensively studied, optimized and standardized in the past. Beyond reusing, extending or adapting existing application layer packet coding mechanisms based on previous schemes and designed for the foregoing LTE or other broadcasting standards; our purpose is to investigate the use of Generalized Reed Muller codes and the value of their locality property in their progressive decoding for Broadcast/Multicast communication schemes with real time video delivery. Our results are meant to bring insight into the use of locally decodable codes in Broadcasting.


title: Probing Quantum Correlation Functions Through Energy Absorption Interferometry

abstract: An interferometric technique is proposed for determining the spatial forms of the individual degrees of freedom through which a many body system can absorb energy from its environment. The method separates out the coherent excitations present at any given frequency; it is not necessary to infer modal content from spectra. The system under test is excited with two external sources, which create generalized forces, and the fringe in the total power dissipated is measured as the relative phase between the sources is varied. If the complex fringe visibility is measured for different pairs of source locations, the anti-Hermitian part of the complex-valued non-local correlation tensor can be determined, which can then be decomposed to give the natural dynamical modes of the system and their relative responsivities. If each source in the interferometer creates a different kind of force, the spatial forms of the individual excitations that are responsible for cross-correlated response can be found. The technique is a generalization of holography because it measures the state of coherence to which the system is maximally sensitive. It can be applied across a wide range of wavelengths, in a variety of ways, to homogeneous media, thin films, patterned structures, and to components such as sensors, detectors and energy harvesting absorbers.


title: Inversion of the attenuated V-line transform for SPECT with Compton cameras

abstract: The Compton camera is a promising alternative to the Anger camera for imaging gamma radiation, with the potential to significantly increase the sensitivity of SPECT. Two-dimensional Compton camera image reconstruction can be implemented by inversion of the V-line transform, which integrates the emission distribution over V-lines (unions of two half-lines), that have vertices on a surrounding detector array. Inversion of the V-line transform without attenuation has recently been addressed by several authors. However, it is well known from standard SPECT that ignoring attenuation can significantly degrade the quality of the reconstructed image. In this paper we address this issue and study the attenuated V-line transform accounting for attenuation of photons in SPECT with Compton cameras. We derive an analytic inversion approach based on circular harmonics expansion, and show uniqueness of reconstruction for the attenuated V-line transform. We further develop a discrete image reconstruction algorithm based on our analytic studies, and present numerical results that demonstrate the effectiveness of our algorithm.


title: E3 : Keyphrase based News Event Exploration Engine

abstract: This paper presents a novel system E3 for extracting keyphrases from news content for the purpose of offering the news audience a broad overview of news events, with especially high content volume. Given an input query, E3 extracts keyphrases and enrich them by tagging, ranking and finding role for frequently associated keyphrases. Also, E3 finds the novelty and activeness of keyphrases using news publication date, to identify the most interesting and informative keyphrases.


title: Dust in three dimensions in the Galactic Plane

abstract: We present three dimensional maps in monochromatic extinction $A_{\rm 0}$ and the extinction parameter $R_0$ within a few degrees of the Galactic plane. These are inferred using photometry from the Pan-STARRS1 and Spitzer Glimpse surveys of nearly $20$ million stars located in the region $l = 0-250^{\circ}$ and from $b = -4.5^{\circ}$ to $b=4.5^{\circ}$. Given the available stellar number density, we use an angular resolution of $7' \times 7'$ and steps of $1{\rm mag}$ in distance modulus. We simultaneously estimate distance modulus and effective temperature $T_{\rm eff}$ alongside the other parameters for stars individually using the method of \citet{Hanson2014} before combining these estimates to a complete map. The full maps are available via the MNRAS website.


title: Parameter estimation in the presence of the most general Gaussian dissipative reservoir

abstract: We analyze the performance of quantum parameter estimation in the presence of the most general Gaussian dissipative reservoir. We derive lower bounds on the precision of phase estimation and a closely related problem of frequency estimation. For both problems we show that it is impossible to achieve the Heisenberg limit asymptotically in the presence of such a reservoir. However, we also find that for any fixed number of probes used in the setup there exists a Gaussian dissipative reservoir, which, in principle, allows for the Heisenberg-limited performance for that number of probes. We discuss a realistic implementation of a frequency estimation scheme in the presence of a Gaussian dissipative reservoir in a cavity system.


title: Star formation associated with neutral hydrogen in the outskirts of early-type galaxies

abstract: About 20 percent of all nearby early-type galaxies ($M_{\star} \gtrsim 6 \times 10^{9}$ M$_{\odot}$) outside the Virgo cluster are surrounded by a disc or ring of low-column-density neutral hydrogen (HI) gas with typical radii of tens of kpc, much larger than the stellar body. In order to understand the impact of these gas reservoirs on the host galaxies, we analyse the distribution of star formation out to large radii as a function of HI properties using GALEX UV and SDSS optical images. Our sample consists of 18 HI-rich galaxies as well as 55 control galaxies where no HI has been detected. In half of the HI-rich galaxies the radial UV profile changes slope at the position of the HI radial profile peak. To study the stellar populations, we calculate the FUV-NUV and UV-optical colours in two apertures, 1-3 and 3-10 R$_{eff}$ . We find that HI -rich galaxies are on average 0.5 and 0.8 mag bluer than the HI-poor ones, respectively. This indicates that a significant fraction of the UV emission traces recent star formation and is associated with the HI gas. Using FUV emission as a proxy for star formation, we estimate the integrated star formation rate in the outer regions (R > 1R$_{eff}$) to be on average $6 \times 10^{-3}$ M$_{\odot}$ yr$^{-1}$ for the HI-rich galaxies. This rate is too low to build a substantial stellar disc and, therefore, change the morphology of the host. We find that the star formation efficiency and the gas depletion time are similar to those at the outskirts of spirals.


title: High dimensionality and h-principle in PDE

abstract: In this note we would like to present "an analysts' point of view" on the Nash-Kuiper theorem and in particular highlight the very close connection to some aspects of turbulence -- a paradigm example of a high-dimensional phenomenon.


title: Rank-two vector bundles on non-minimal ruled surfaces

abstract: We continue previous works by various authors and study the birational geometry of moduli spaces of stable rank-two vector bundles on surfaces with Kodaira dimension $-\infty$. To this end, we express vector bundles as natural extensions, by using two numerical invariants associated to vector bundles, similar to the invariants defined by Brinzanescu and Stoia in the case of minimal surfaces. We compute explicitly these natural extensions on blowups of general points on a minimal surface. In the case of rational surfaces, we prove that any irreducible component of a moduli space is either rational or stably rational.


title: Importance sampling of heavy-tailed iterated random functions

abstract: We consider a stochastic recurrence equation of the form $Z_{n+1} = A_{n+1} Z_n+B_{n+1}$, where $\mathbb{E}[\log A_1]<0$, $\mathbb{E}[\log^+ B_1]<\infty$ and $\{(A_n,B_n)\}_{n\in\mathbb{N}}$ is an i.i.d. sequence of positive random vectors. The stationary distribution of this Markov chain can be represented as the distribution of the random variable $Z \triangleq \sum_{n=0}^\infty B_{n+1}\prod_{k=1}^nA_k$. Such random variables can be found in the analysis of probabilistic algorithms or financial mathematics, where $Z$ would be called a stochastic perpetuity. If one interprets $-\log A_n$ as the interest rate at time $n$, then $Z$ is the present value of a bond that generates $B_n$ unit of money at each time point $n$. We are interested in estimating the probability of the rare event $\{Z>x\}$, when $x$ is large; we provide a consistent simulation estimator using state-dependent importance sampling for the case, where $\log A_1$ is heavy-tailed and the so-called Cram\'{e}r condition is not satisfied. Our algorithm leads to an estimator for $P(Z>x)$. We show that under natural conditions, our estimator is strongly efficient. Furthermore, we extend our method to the case, where $\{Z_n\}_{n\in\mathbb{N}}$ is defined via the recursive formula $Z_{n+1}=\Psi_{n+1}(Z_n)$ and $\{\Psi_n\}_{n\in\mathbb{N}}$ is a sequence of i.i.d. random Lipschitz functions.


title: Hamiltonian-based Algorithm for Relaxed Optimal Control

abstract: This paper concerns a first-order algorithmic technique for a class of optimal control problems defined on switched-mode hybrid systems. The salient feature of the algorithm is that it avoids the computation of Fr\'echet or G\^ateaux derivatives of the cost functional, which can be time consuming, but rather moves in a projected-gradient direction that is easily computable (for a class of problems) and does not require any explicit derivatives. The algorithm is applicable to a class of problems where a pointwise minimizer of the Hamiltonian is computable by a simple formula, and this includes many problems that arise in theory and applications. The natural setting for the algorithm is the space of continuous-time relaxed controls, whose special structure renders the analysis simpler than the setting of ordinary controls. While the space of relaxed controls has theoretical advantages, its elements are abstract entities that may not be amenable to computation. Therefore, a key feature of the algorithm is that it computes adequate approximations to relaxed controls without loosing its theoretical convergence properties. Simulation results, including cpu times, support the theoretical developments.


title: Optimal User Loading in Massive MIMO Systems with Regularized Zero Forcing Precoding

abstract: We consider a downlink multiuser multiple-input multiple output (MIMO) system employing regularized zero-forcing (RZF) precoding. We derive the asymptotic signal-to-leakage-plus-noise ratio (SLNR) as both the number of antennas and the number of users go to infinity at a fixed ratio. Focusing on the symmetric uncorrelated channels, we show that the SLNR is asymptotically equal to signal-to-interference-plus-noise ratio (SINR) which allows us to optimize the user loading for spectral efficiency. The results show that the optimal user loading varies depending on the channel signal-to-noise ratio (SNR) but is equal to one in both the low or high SNR regimes.


title: A Generalization of Bernstein-Vazirani Algorithm to Qudit Systems

abstract: A quantum algorithm to solve the parity problem is better than its most efficient classical counter- part with a separation that is polynomial in the number of queries. This was shown by E. Bernstein and U. Vazirani and was one of the earliest indications that the quantum information processing can outperform the classical one by a significant margin. The problem and its solution both is usually stated for a 2-level system since we generally work with bits/qubits. However, many works have been done generalizing known quantum computing techniques to higher level systems. Following this, we look at a generalization of the Bernstein-Vazirani algorithm implemented on a general qudit system.


title: Governing equations for Probability densities of stochastic differential equations with discrete time delays

abstract: The time evolution of probability densities for solutions to stochastic differential equations (SDEs) without delay is usually described by Fokker-Planck equations, which require the adjoint of the infinitesimal generator for the solutions. However, Fokker-Planck equations do not exist for stochastic delay differential equations (SDDEs) because the solutions to SDDEs are not Markov processes and have no corresponding infinitesimal generators. In this paper, we address the open question of finding the governing equations for probability densities of SDDEs with discrete time delays. The governing equation is given in a simple form that facilitates theoretical analysis and numerical computation. An illustrative example is presented to verify the proposed governing equations.


title: Presentation of the Iwasawa algebra of the first congruence kernel of a semi-simple, simply connected Chevalley group over $\mathbb{Z}_p$

abstract: It is a general principle that objects coming from semi-simple, simply connected (split) groups have explicit presentations like Serre's presentation of semi-simple algebras and Steinberg's presentation of Chevalley groups. In this paper we give an explicit presentation (by generators and relations) of the Iwasawa algebra for the first congruence kernel of a semi-simple, simply connected Chevalley group over $\mathbb{Z}_p$, extending the proof given by Clozel for the group $\Gamma_1(SL_2(\mathbb{Z}_p))$, the first congruence kernel of $SL_2(\mathbb{Z}_p)$ for primes $p>2$.


title: On the distribution of $\alpha p^{\gamma}+\beta$ modulo one

abstract: Let $\|\cdot\|$ denote the minimum distance to an integer. For $0<\gamma< 1$, $\theta>0$ and $(\alpha, \beta) \in \mathbb{R} \setminus \{0\} \times \mathbb{R}$ we study when \begin{equation*} \|\alpha p^{\gamma}+\beta \|<p^{-\theta}, \end{equation*} holds for infinitely many primes $p$ of a special type. In particular, we consider when this inequality holds for primes $p$ such that $p+2$ has few prime factors counted with multiplicity. This is done using an exponential sum estimate of the author and the linear sieve of Iwaniec with bilinear error term. This is related to recent work of Tolev, Todorova, Mat\"{o}maki and Cai.


title: Radiation Like Scalar Field and Gauge Fields in Cosmology for a theory with Dynamical Time

abstract: Cosmological solutions with a scalar field behaving as radiation are obtained, in the context of gravitational theory with dynamical time. The solution requires the spacial curvature of the universe k, to be zero, unlike the standard radiation solutions, which do not impose any constraint on the spacial curvature of the universe. This is because only such $ k=0 $ radiation solutions poses a homothetic Killimg vector. This kind of theory can be used to generalize electromagnetism and other gauge theories, in curved space time, and there are no deviations from standard gauge filed equation (like Maxwell equations) in the case there exist a conformal Killing vector. But there could be departures from Maxwell and Yang Mills equations, for more general space times.


title: On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

abstract: Dummett's logic LC is intuitionistic logic extended with Dummett's axiom: for every two statements the first implies the second or the second implies the first. We present a natural deduction and a Curry-Howard correspondence for first-order and second-order Dummett's logic. We add to the lambda calculus an operator which represents, from the viewpoint of programming, a mechanism for representing parallel computations and communication between them, and from the viewpoint of logic, Dummett's axiom. We prove that our typed calculus is normalizing and show that proof terms for existentially quantified formulas reduce to a list of individual terms forming an Herbrand disjunction.


title: When categorization-based stranger avoidance explains the uncanny valley: A comment on MacDorman & Chattopadhyay (2016)

abstract: Artificial objects often subjectively look eerie when their appearance to some extent resembles a human, which is known as the uncanny valley phenomenon. From a cognitive psychology perspective, several explanations of the phenomenon have been put forth, two of which are object categorization and realism inconsistency. Recently, MacDorman and Chattopadhyay (2016) reported experimental data as evidence in support of the latter. In our estimation, however, their results are still consistent with categorization-based stranger avoidance. In this Discussions paper, we try to describe why categorization-based stranger avoidance remains a viable explanation, despite the evidence of MacDorman and Chattopadhyay, and how it offers a more inclusive explanation of the impression of eeriness in the uncanny valley phenomenon.


title: On the Irreducibility of the Complex Specialization of the Representation of The Hecke Algebra of the Complex Reflection Group $G_7$

abstract: We consider a 2-dimensional representation of the Hecke algebra $\mathcal{H}(G_7, u)$, where $G_7$ is the complex reflection group and $u$ is the set of indeterminates $u=(x_1, x_2, y_1, y_2, y_3, z_1, z_2, z_3)$. After specializing the indetrminates to non zero complex numbers, we then determine a necessary and sufficient condition that guarantees the irreducibility of the complex specialization of the representation of the Hecke algebra $H(G_7, u)$.


title: Wav2Letter: an End-to-End ConvNet-based Speech Recognition System

abstract: This paper presents a simple end-to-end model for speech recognition, combining a convolutional network based acoustic model and a graph decoding. It is trained to output letters, with transcribed speech, without the need for force alignment of phonemes. We introduce an automatic segmentation criterion for training from sequence annotation without alignment that is on par with CTC while being simpler. We show competitive results in word error rate on the Librispeech corpus with MFCC features, and promising results from raw waveform.


title: Network Utility Maximization Revisited: Three Issues and Their Resolution

abstract: Distributed and iterative network utility maximization algorithms, such as the primal-dual algorithms or the network-user decomposition algorithms, often involve trajectories where the iterates may be infeasible, convergence to the optimal points of relaxed problems different from the original, or convergence to local maxima. In this paper, we highlight the three issues with iterative algorithms. We then propose a distributed and iterative algorithm that does not suffer from the three issues. In particular, we assert the feasibility of the algorithm's iterates at all times, convergence to the global maximum of the given problem (rather than to global maximum of a relaxed problem), and avoidance of any associated spurious rest points of the dynamics. A benchmark algorithm due to Kelly, Maulloo and Tan (1998) [Rate control for communication networks: shadow prices, proportional fairness and stability, Journal of the Operational Research Society, 49(3), 237-252] involves fast user updates coupled with slow network updates in the form of additive-increase multiplicative-decrease of suggested user flows. The proposed algorithm may be viewed as one with fast user updates and fast network updates that keeps the iterates feasible at all times. Simulations suggest that the convergence rate of the ordinary differential equation (ODE) tracked by our proposed algorithm's iterates is comparable to that of the ODE for the aforementioned benchmark algorithm.


title: Masses and Ages for 230,000 LAMOST Giants, via Their Carbon and Nitrogen Abundances

abstract: We measure carbon and nitrogen abundances to $\lesssim$ 0.1 dex for 450,000 giant stars from their low-resolution (R$\sim$1800) LAMOST DR2 survey spectra. We use these [C/M] and [N/M] measurements, together with empirical relations based on the APOKASC sample, to infer stellar masses and implied ages for 230,000 of these objects to 0.08 dex and 0.2 dex respectively. We use The Cannon, a data-driven approach to spectral modeling, to construct a predictive model for LAMOST spectra. Our reference set comprises 8125 stars observed in common between the APOGEE and LAMOST surveys, taking seven APOGEE DR12 labels (parameters) as ground truth: Teff, logg, [M/H], [$\alpha$/M], [C/M], [N/M], and Ak. We add seven colors to the Cannon model, based on the g, r, i, J, H, K, W1, and W2 magnitudes from APASS, 2MASS & WISE, which improves our constraints on Teff and logg by up to 20% and on Ak by up to 70%. Cross-validation of the model demonstrates that, for high-SNR objects, our inferred labels agree with the APOGEE values to within 50 K in temperature, 0.04 magnitudes in Ak, and < 0.1 dex in logg, [M/H], [C/M], [N/M], and [$\alpha$/M]. We apply the model to 450,000 giants in LAMOST DR2 that have not been observed by APOGEE. This demonstrates that precise individual abundances can be measured from low-resolution spectra, and represents the largest catalog of [C/M], [N/M], masses and ages to date. As as result, we greatly increase the number and sky coverage of stars with mass and age estimates.


title: Bichromatic homodyne detection of broadband quadrature squeezing

abstract: We experimentally study a homodyne detection technique for the characterization of a quadrature squeezed field where the correlated bands, here created by four-wave mixing in a hot atomic vapor, are separated by a large frequency gap of more than 6 GHz. The technique uses a two-frequency local oscillator to detect the fluctuations of the correlated bands at a frequency accessible to the detection electronics. Working at low detection frequency, the method allows for the determination of both the amplitude and the phase of the squeezing spectrum. In particular, we show that the quadrature squeezing created by our four-wave mixing process displays a noise ellipse rotation of $\pi/2$ across the squeezing spectrum


title: Formation and X-ray Emission from Hot Bubbles in Planetary Nebulae. II. Hot bubble X-ray emission

abstract: We present a study of the X-ray emission from numerical simulations of hot bubbles in planetary nebulae (PNe). High-resolution, two-dimensional, radiation-hydrodynamical simulations of the formation and evolution of hot bubbles in PNe, with and without thermal conduction, are used to calculate the X-ray emission and study its time-dependence and relationship to the changing stellar parameters. Instabilities in the wind-wind interaction zone produce clumps and filaments in the swept-up shell of nebular material. Turbulent mixing and thermal conduction at the corrugated interface can produce quantities of intermediate temperature and density gas between the hot, shocked wind bubble and the swept-up photoionized nebular material, which can emit in soft, diffuse X-rays. We use the CHIANTI software to compute synthetic spectra for the models and calculate their luminosities. We find that models both with conduction and those without can produce the X-ray temperatures and luminosities that are in the ranges reported in observations, although the models including thermal conduction are an order of magnitude more luminous than those without. Our results show that at early times the diffuse X-ray emission should be dominated by the contribution from the hot, shocked stellar wind, whereas at later times the nebular gas will dominate the spectrum. We analyse the effect of sampling on the resultant spectra and conclude that a minimum of 200 counts is required to reliably reproduce the spectral shape. Likewise, heavily smoothed surface-brightness profiles obtained from low-count detections of PNe do not provide a reliable description of the spatial distribution of the X-ray emitting gas.


title: Definability Aspects of the Denjoy Integral

abstract: The Denjoy integral is an integral that extends the Lebesgue integral and can integrate any derivative. In this paper, it is shown that the graph of the indefinite Denjoy integral $f\mapsto \int_a^x f$ is a coanalytic non-Borel relation on the product space $M[a,b]\times C[a,b]$, where $M[a,b]$ is the Polish space of real-valued measurable functions on $[a,b]$ and where $C[a,b]$ is the Polish space of real-valued continuous functions on $[a,b]$. Using the same methods, it is also shown that the class of indefinite Denjoy integrals, called $ACG_{\ast}[a,b]$, is a coanalytic but not Borel subclass of the space $C[a,b]$, thus answering a question posed by Dougherty and Kechris. Some basic model theory of the associated spaces of integrable functions is also studied. Here the main result is that, when viewed as an $\mathbb{R}[X]$-module with the indeterminate $X$ being interpreted as the indefinite integral, the space of continuous functions on the interval $[a,b]$ is elementarily equivalent to the Lebesgue-integrable and Denjoy-integrable functions on this interval, and each is stable but not superstable, and that they all have a common decidable theory when viewed as $\mathbb{Q}[X]$-modules.


title: Lower Bounds on Words Separation: Are There Short Identities in Transformation Semigroups?

abstract: The words separation problem, originally formulated by Goralcik and Koubek (1986), is stated as follows. Let $Sep(n)$ be the minimum number such that for any two words of length $\le n$ there is a deterministic finite automaton with $Sep(n)$ states, accepting exactly one of them. The problem is to find the asymptotics of the function $Sep$. This problem is inverse to finding the asymptotics of the length of the shortest identity in full transformation semigroups $T_k$. The known lower bound on $Sep$ stems from the unary identity in $T_k$. We find the first series of identities in $T_k$ which are shorter than the corresponding unary identity for infinitely many values of $k$, and thus slightly improve the lower bound on $Sep(n)$. Then we present some short positive identities in symmetric groups, improving the lower bound on separating words by permutational automata by a multiplicative constant. Finally, we present the results of computer search for short identities for small $k$.


title: Flavor versus mass eigenstates in neutrino asymmetries: implications for cosmology

abstract: We show that, if they exist, lepton number asymmetries ($L_\alpha$) of neutrino flavors should be distinguished from the ones ($L_i$) of mass eigenstates, since Big Bang Nucleosynthesis (BBN) bounds on the flavor eigenstates cannot be directly applied to the mass eigenstates. Similarly, Cosmic Microwave Background (CMB) constraints on mass eigenstates do not directly constrain flavor asymmetries. Due to the difference of mass and flavor eigenstates, the cosmological constraint on the asymmetries of neutrino flavors can be much stronger than conventional expectation, but not uniquely determined unless at least the asymmetry of the heaviest neutrino is well constrained. Cosmological constraint on $L_i$ for a specific case is presented as an illustration.


title: Dynamic UAV-based traffic monitoring under uncertainty as a stochastic arc-inventory routing policy

abstract: Given the rapid advances in unmanned aerial vehicles, or drones, and increasing need to monitor traffic at a city level, one of the current research gaps is how to systematically deploy drones over multiple periods. We propose a real-time data-driven approach: we formulate the first deterministic arc-inventory routing problem and derive its stochastic dynamic policy. The policy is expected to be of greatest value in scenarios where uncertainty is highest and costliest, such as city traffic monitoring during major events. The Bellman equation for an approximation of the proposed inventory routing policy is formulated as a selective vehicle routing problem. We propose an approximate dynamic programming algorithm based on Least Squares Monte Carlo simulation to find that policy. The algorithm has been modified so that the least squares dependent variable is defined to be the "expected stock out cost upon the next replenishment". The new algorithm is tested on 30 simulated instances of real time trajectories over 5 time periods of the selective VRP to evaluate the proposed policy and algorithm. Computational results on the selected instances show that the algorithm can outperform the myopic policy by 23% to 28% over those tests, depending on the parametric design. Further tests are conducted on classic benchmark arc routing problem instances. The 11-link instance gdb19 is expanded into a sequential 15-period stochastic dynamic example and used to demonstrate why a naive static multi-period deployment plan would not be effective in real networks.


title: First Gap Statistics of Long Random Walks with Bounded Jumps

abstract: We study one-dimensional discrete as well as continuous time random walks, either with a fixed number of steps (for discrete time) $n$ or on a fixed time interval $T$ (for continuous time). In both cases, we focus on symmetric probability distribution functions (PDF) of jumps with a finite support $[-g_{max}, g_{max}]$. For continuous time random walks (CTRWs), the waiting time $\tau$ between two consecutive jumps is a random variable whose probability distribution (PDF) has a power law tail $\Psi(\tau) \propto \tau^{-1-\gamma}$, with $0<\gamma<1$. We obtain exact results for the joint statistics of the gap between the first two maximal positions of the random walk and the time elapsed between them. We show that for large $n$ (or large time $T$ for CTRW), this joint PDF reaches a stationary joint distribution which exhibits an interesting concentration effect in the sense that a gap close to its maximum possible value, $g\approx g_{max}$, is much more likely to be achieved by two successive jumps rather than by a long walk between the first two maxima. Our numerical simulations confirm this concentration effect.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP math.PR


title: Parity-doublet representation of Majorana fermions and neutron oscillation

abstract: We present a parity-doublet theorem for the representation of the intrinsic parity of Majorana fermions, which is expected to be useful also in condensed matter physics, and it is illustrated to provide a criterion of neutron-antineutron oscillation in a BCS-like effective theory with $\Delta B=2$ baryon number violating terms. The CP violation in the present effective theory causes no direct CP violating effects in the oscillation itself, which is demonstrated by the exact solution, although it influences the neutron electric dipole moment in the leading order of small $\Delta B=2$ parameters. An analogue of Bogoliubov transformation, which preserves P and CP, is crucial in the analysis.

categories: hep-ph cond-mat.str-el cond-mat.supr-con hep-th


title: On the Similarities Between Native, Non-native and Translated Texts

abstract: We present a computational analysis of three language varieties: native, advanced non-native, and translation. Our goal is to investigate the similarities and differences between non-native language productions and translations, contrasting both with native language. Using a collection of computational methods we establish three main results: (1) the three types of texts are easily distinguishable; (2) non-native language and translations are closer to each other than each of them is to native language; and (3) some of these characteristics depend on the source or native language, while others do not, reflecting, perhaps, unified principles that similarly affect translations and non-native language.


title: Unsupervised Identification of Translationese

abstract: Translated texts are distinctively different from original ones, to the extent that supervised text classification methods can distinguish between them with high accuracy. These differences were proven useful for statistical machine translation. However, it has been suggested that the accuracy of translation detection deteriorates when the classifier is evaluated outside the domain it was trained on. We show that this is indeed the case, in a variety of evaluation scenarios. We then show that unsupervised classification is highly accurate on this task. We suggest a method for determining the correct labels of the clustering outcomes, and then use the labels for voting, improving the accuracy even further. Moreover, we suggest a simple method for clustering in the challenging case of mixed-domain datasets, in spite of the dominance of domain-related features over translation-related ones. The result is an effective, fully-unsupervised method for distinguishing between original and translated texts that can be applied to new domains with reasonable accuracy.


title: Steady-state properties of a thermodynamically unbalanced Fermi gas

abstract: The current-carrying steady-state that arises in the middle of a metallic wire connected to macroscopic leads is characterized regarding its response functions, correlations and entanglement entropy. The spectral function and the dynamical structure factor show clear non-equilibrium signatures accessible by state-of-the-art techniques. In contrast with the equilibrium case, the entanglement entropy is extensive with logarithmic corrections at zero-temperature that depend on the wire-leads coupling and, in a non-analytic way, on voltage. This shows that some robust universal quantities found in gapless equilibrium phases do not persist away from equilibrium.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.other quant-ph


title: Multiplex lexical networks reveal patterns in early word acquisition in children

abstract: Network models of language have provided a way of linking cognitive processes to the structure and connectivity of language. However, one shortcoming of current approaches is focusing on only one type of linguistic relationship at a time, missing the complex multi-relational nature of language. In this work, we overcome this limitation by modelling the mental lexicon of English-speaking toddlers as a multiplex lexical network, i.e. a multi-layered network where N=529 words/nodes are connected according to four types of relationships: (i) free associations, (ii) feature sharing, (iii) co-occurrence, and (iv) phonological similarity. We provide analysis of the topology of the resulting multiplex and then proceed to evaluate single layers as well as the full multiplex structure on their ability to predict empirically observed age of acquisition data of English speaking toddlers. We find that the emerging multiplex network topology is an important proxy of the cognitive processes of acquisition, capable of capturing emergent lexicon structure. In fact, we show that the multiplex topology is fundamentally more powerful than individual layers in predicting the ordering with which words are acquired. Furthermore, multiplex analysis allows for a quantification of distinct phases of lexical acquisition in early learners: while initially all the multiplex layers contribute to word learning, after about month 23 free associations take the lead in driving word acquisition.

categories: physics.soc-ph cond-mat.dis-nn cs.CL cs.LG


title: Gauge-field-assisted Kekul\'e quantum criticality

abstract: We study the quantum phase transition of $U(1)$ - charged Dirac fermions Yukawa-coupled to the Kekul\'e valence bond solid order parameter with $Z_3$ symmetry of the honeycomb lattice. The symmetry allows for the presence of the term in the action which is cubic in the Kekul\'e order parameter, and which is expected to prevent the quantum phase transition in question from being continuous. The Gross-Neveu-Yukawa theory for the transition is investigated using a perturbative renormalization group and within the $\epsilon$ expansion close to four space-time dimensions. For a vanishing $U(1)$ charge we show that quantum fluctuations may render the phase transition continuous only sufficiently far away from 3+1 dimensions, where the validity of the conclusions based on the leading order $\epsilon$ expansion appear questionable. In the presence of a fluctuating gauge field, on the other hand, we find quantum critical behavior even at weak coupling to appear close to 3+1 dimensions, that is, within the domain of validity of the perturbation theory. We also determine the renormalization group scaling of the cubic coupling at higher-loop orders and for a large number of Dirac fermions for vanishing charge.


title: Clusters as benchmarks for measuring fundamental stellar parameters

abstract: In this contribution I will discuss fundamental stellar parameters as determined from young star clusters; specifically those with ages less than or approximately equal to that of the Pleiades. I will focus primarily on the use of stellar evolutionary models to determine the ages and masses of stars, as well as discuss the limitations of such models using a combination of both young clusters and eclipsing binary systems. In addition, I will also highlight a few interesting recent results from large on-going spectroscopic surveys (specifically Gaia-ESO and APOGEE/IN-SYNC) which are continuing to challenge our understanding of the formation and early evolutionary stages of young clusters.


title: The Radial Velocity Experiment (RAVE): Fifth Data Release

abstract: Data Release 5 (DR5) of the Radial Velocity Experiment (RAVE) is the fifth data release from a magnitude-limited (9< I < 12) survey of stars randomly selected in the southern hemisphere. The RAVE medium-resolution spectra ($R\sim7500$) covering the Ca-triplet region (8410-8795\AA) span the complete time frame from the start of RAVE observations in 2003 to their completion in 2013. Radial velocities from 520,781 spectra of 457,588 unique stars are presented, of which 255,922 stellar observations have parallaxes and proper motions from the Tycho-Gaia astrometric solution (TGAS) in Gaia DR1. For our main DR5 catalog, stellar parameters (effective temperature, surface gravity, and overall metallicity) are computed using the RAVE DR4 stellar pipeline, but calibrated using recent K2 Campaign 1 seismic gravities and Gaia benchmark stars, as well as results obtained from high-resolution studies. Also included are temperatures from the Infrared Flux Method, and we provide a catalogue of red giant stars in the dereddened color $(J-Ks)_0$ interval (0.50,0.85) for which the gravities were calibrated based only on seismology. Further data products for sub-samples of the RAVE stars include individual abundances for Mg, Al, Si, Ca, Ti, Fe, and Ni, and distances found using isochrones. Each RAVE spectrum is complemented by an error spectrum, which has been used to determine uncertainties on the parameters. The data can be accessed via the RAVE Web site or the Vizier database.


title: Network Inference from Grouped Data

abstract: In medical research, economics, and the social sciences data frequently appear as subsets of a set of objects. Over the past century a number of descriptive statistics have been developed to construct network structure from such data. However, these measures lack a generating mechanism that links the inferred network structure to the observed groups. To address this issue, we propose a model-based approach called the Hub Model which assumes that every observed group has a leader and that the leader has brought together the other members of the group. The performance of Hub Models is demonstrated by simulation studies. We apply this model to infer the relationships among Senators serving in the 110th United States Congress, the characters in a famous 18th century Chinese novel, and the distribution of flora in North America.


title: Collective motion of groups of self-propelled particles following interacting leaders

abstract: In order to keep their cohesiveness during locomotion gregarious animals must make collective decisions. Many species boast complex societies with multiple levels of communities. A common case is when two dominant levels exist, one corresponding to leaders and the other consisting of followers. In this paper we study the collective motion of such two-level assemblies of self-propelled particles. We present a model adapted from one originally proposed to describe the movement of cells resulting in a smoothly varying coherent motion. We shall use the terminology corresponding to large groups of some mammals where leaders and followers form a group called a harem. We study the emergence (self-organization) of sub-groups within a herd during locomotion by computer simulations. The resulting processes are compared with our prior observations of a Przewalski horse herd (Hortob\'agy, Hungary) which we use as results from a published case study. We find that the model reproduces key features of a herd composed of harems moving on open ground, including fights for followers between leaders and bachelor groups (group of leaders without followers). One of our findings, however, does not agree with the observations. While in our model the emerging group size distribution is normal, the group size distribution of the observed herd based on historical data have been found to follow lognormal distribution. We argue that this indicates that the formation (and the size) of the harems must involve a more complex social topology than simple spatial-distance based interactions.


title: Relaxed Binaural LCMV Beamforming

abstract: In this paper we propose a new binaural beamforming technique which can be seen as a relaxation of the linearly constrained minimum variance (LCMV) framework. The proposed method can achieve simultaneous noise reduction and exact binaural cue preservation of the target source, similar to the binaural minimum variance distortionless response (BMVDR) method. However, unlike BMVDR, the proposed method is also able to preserve the binaural cues of multiple interferers to a certain predefined accuracy. Specifically, it is able to control the trade-off between noise reduction and binaural cue preservation of the interferers by using a separate trade-off parameter per interferer. Moreover, we provide a robust way of selecting these trade-off parameters in such a way that the preservation accuracy for the binaural cues of the interferers is always better than the corresponding ones of the BMVDR. The relaxation of the constraints in the proposed method achieves approximate binaural cue preservation of more interferers than other previously presented LCMV-based binaural beamforming methods that use strict equality constraints.


title: Monads on Q-Cat and their lax extensions to Q-Dist

abstract: For a small quantaloid $\mathcal{Q}$, we consider 2-monads on the 2-category $\mathcal{Q}$-$\bf{Cat}$ and their lax extensions to the 2-category $\mathcal{Q}$-$\bf{Dist}$ of small $\mathcal{Q}$-categories and their distributors, in particular those lax extensions that are flat, in the sense that they map identity distributors to identity distributors. In fact, unlike in the discrete case, a 2-monad on $\mathcal{Q}$-$\bf{Cat}$ may admit only one flat lax extension. Every ordinary monad on the comma category $\bf{Set}/{\rm ob}\mathcal{Q}$ with a lax extension to $\mathcal{Q}$-$\bf{Rel}$ gives rise to such a 2-monad on $\mathcal{Q}$-$\bf{Cat}$, and we describe this process globally as a coreflective embedding. The $\mathcal{Q}$-presheaf and the double $\mathcal{Q}$-presheaf monads are important examples of 2-monads on $\mathcal{Q}$-$\bf{Cat}$ allowing flat lax extensions to $\mathcal{Q}$-$\bf{Dist}$, and so are their submonads, obtained by the restriction to conical (co)presheaves and known as the $\mathcal{Q}$-Hausdorff and double $\mathcal{Q}$-Hausdorff monads, which we define here in full generality, thus generalizing some previous work in the case when $\mathcal{Q}$ is a quantale, or just the "metric" quantale $[0,\infty]$. Their discretization leads naturally to various lax extensions of the relevant $\bf{Set}$-monads used in monoidal topology.


title: Invariant manifolds and the parameterization method in coupled energy harvesting piezoelectric oscillators

abstract: Energy harvesting systems based on oscillators aim to capture energy from mechanical oscillations and convert it into electrical energy. Widely extended are those based on piezoelectric materials, whose dynamics are Hamiltonian submitted to different sources of dissipation: damping and coupling. These dissipations bring the system to low energy regimes, which is not desired in long term as it diminishes the absorbed energy. To avoid or to minimize such situations, we propose that the coupling of two oscillators could benefit from theory of Arnold diffusion. Such phenomenon studies $O(1)$ energy variations in Hamiltonian systems and hence could be very useful in energy harvesting applications. This article is a first step towards this goal. We consider two piezoelectric beams submitted to a small forcing and coupled through an electric circuit. By considering the coupling, damping and forcing as perturbations, we prove that the unperturbed system possesses a $4$-dimensional Normally Hyperbolic Invariant Manifold with $5$ and $4$-dimensional stable and unstable manifolds, respectively. These are locally unique after the perturbation. By means of the parameterization method, we numerically compute parameterizations of the perturbed manifold, its stable and unstable manifolds and study its inner dynamics. We show evidence of homoclinic connections when the perturbation is switched on.


title: The Gaussian coefficient revisited

abstract: We give a new $q$-$(1+q)$-analogue of the Gaussian coefficient, also known as the $q$-binomial which, like the original $q$-binomial $\genfrac{[}{]}{0pt}{}{n}{k}_{q}$, is symmetric in $k$ and $n-k$. We show this $q$-$(1+q)$-binomial is more compact than the one discovered by Fu, Reiner, Stanton and Thiem. Underlying our $q$-$(1+q)$-analogue is a Boolean algebra decomposition of an associated poset. These ideas are extended to the Birkhoff transform of any finite poset. We end with a discussion of higher analogues of the $q$-binomial.


title: Decoherence and determinism in a one-dimensional cloud-chamber model

abstract: The hypothesis by Sparenberg et al. (2013) that the particular linear tracks appearing in the measurement of a spherically-emitting radioactive source in a cloud chamber are determined by the (random) positions of atoms or molecules inside the chamber is further explored in the framework of a recently established one-dimensional model by Carlone et al. (2015). In this model, meshes of localized spins 1/2 play the role of the cloud-chamber atoms and the spherical wave is replaced by a linear superposition of two wave packets moving from the origin to the left and to the right, evolving deterministically according to the Schr\"odinger equation. We first revisit these results using a time-dependent approach, where the wave packets impinge on a symmetric two-sided detector. We discuss the evolution of the wave function in the configuration space and stress the interest of a non-symmetric detector in a quantum-measurement perspective. Next we use a time-independent approach to study the scattering of a plane wave on a single-sided detector. Preliminary results are obtained, analytically for the single-spin case and numerically for up to 8 spins. They show that the spin-excitation probabilities are sometimes very sensitive to the parameters of the model, which corroborates the idea that the measurement result could be determined by the atom positions. The possible origin of decoherence and entropy increase in future models is finally discussed.


title: Monitoring in real time the photon-dressing and undressing of quasiparticles from first principles time-resolved photoelectron spectroscopy

abstract: Optical pumping of solids creates a non-equilibrium electronic structure where electrons and photons combine to form quasiparticles of dressed electronic states. The resulting shift of electronic levels is known as the optical Stark effect, visible as a red shift in the optical spectrum. Here we show that in a pump-probe setup we can uniquely define a non-equilibrium quasiparticle bandstructure that can be directly measurable with photo-electron spectroscopy. The dynamical photon-dressing (and undressing) of the many-body electronic states can be monitored by pump-probe time and angular resolved photoelectron spectroscopy (tr-ARPES) as the photon-dressed bandstructure evolves in time depending on the pump-probe pulse overlap. The computed tr-ARPES spectrum agrees perfectly with the quasi-energy spectrum of Floquet theory at maximum overlap and goes to the the equilibrium bandstructure as the pump-probe overlap goes to zero. Additionally, we show how this time-dependent non-equilibrium quasiparticle structure can be understood to be the bandstructure underlying the optical Stark effect. The extension to spin-resolved PES can be used to predict asymmetric dichroic response linked to the valley selective optical excitations in monolayer transition metal dichalcogenides (TMDs).


title: Sharing Hash Codes for Multiple Purposes

abstract: Locality sensitive hashing (LSH) is a powerful tool for sublinear-time approximate nearest neighbor search, and a variety of hashing schemes have been proposed for different dissimilarity measures. However, hash codes significantly depend on the dissimilarity, which prohibits users from adjusting the dissimilarity at query time. In this paper, we propose {multiple purpose LSH (mp-LSH) which shares the hash codes for different dissimilarities. mp-LSH supports L2, cosine, and inner product dissimilarities, and their corresponding weighted sums, where the weights can be adjusted at query time. It also allows us to modify the importance of pre-defined groups of features. Thus, mp-LSH enables us, for example, to retrieve similar items to a query with the user preference taken into account, to find a similar material to a query with some properties (stability, utility, etc.) optimized, and to turn on or off a part of multi-modal information (brightness, color, audio, text, etc.) in image/video retrieval. We theoretically and empirically analyze the performance of three variants of mp-LSH, and demonstrate their usefulness on real-world data sets.


title: Quasilocal charges and progress towards the complete GGE for field theories with non-diagonal scattering

abstract: It has recently been shown that some integrable spin chains possess a set of quasilocal conserved charges, with the classic example being the spin-$\frac{1}{2}$ XXZ Heisenberg chain. These charges have been proven to be essential for properly describing stationary states after a quantum quench, and must be included in the generalized Gibbs ensemble (GGE). We find that similar charges are also necessary for the GGE description of integrable quantum field theories with non-diagonal scattering. A stationary state in a non-diagonal scattering theory is completely specified by fixing the mode-ocuppation density distributions of physical particles, as well auxiliary particles which carry no energy or momentum. We show that the set of conserved charges with integer Lorentz spin, related to the integrability of the model, are unable to fix the distributions of these auxiliary particles, since these charges can only fix kinematical properties of physical particles. The field theory analogs of quasilocal lattice charges are therefore necessary. As a concrete example, we find the complete set of charges needed in the sine-Gordon model, by using the fact that this field theory is recovered as the continuum limit of a spatially inhomogeneous version of the XXZ chain. The set of quasilocal charges of the lattice theory are shown to become a set local charges with fractional spin in the field theory.

categories: cond-mat.stat-mech cond-mat.str-el hep-lat hep-th math-ph math.MP


title: Non-linear Fourier transforms and the Braverman-Kazhdan conjecture

abstract: In this article we prove a conjecture of Braverman-Kazhdan in \cite{BK} on the acyclicity of gamma sheaves in the de Rham setting. The proof relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and character D-modules. As an application, we show that the functors of convolution with gamma D-modules, which can be viewed as a version of non-linear Fourier transforms, commute with induction functors and are exact on the category of admissible D-modules on a reductive group.


title: Reflection maps

abstract: Given a reflection group $G$ acting on a complex vector space $V$, a reflection map is the composition of an embedding $X \hookrightarrow V$ with the orbit map $V\to\mathbb C^p$ that maps a $G$-orbit to a point. Reflection maps can be very singular, but we give tools to study them easily. We find obstructions to $\mathcal A$-stability of reflection maps and produce, in the unobstructed cases, infinite families of $\mathcal A$-finite map-germs of any corank. We also relate them to conjectures of L\^e, Mond and Ruas.


title: The Solution to Science's Replication Crisis

abstract: The solution to science's replication crisis is a new ecosystem in which scientists sell what they learn from their research. In each pairwise transaction, the information seller makes (loses) money if he turns out to be correct (incorrect). Responsibility for the determination of correctness is delegated, with appropriate incentives, to the information purchaser. Each transaction is brokered by a central exchange, which holds money from the anonymous information buyer and anonymous information seller in escrow, and which enforces a set of incentives facilitating the transfer of useful, bluntly honest information from the seller to the buyer. This new ecosystem, capitalist science, directly addresses socialist science's replication crisis by explicitly rewarding accuracy and penalizing inaccuracy.


title: Bio-Inspired Filter Banks for SSVEP-based Brain-Computer Interfaces

abstract: Brain-computer interfaces (BCI) have the potential to play a vital role in future healthcare technologies by providing an alternative way of communication and control. More specifically, steady-state visual evoked potential (SSVEP) based BCIs have the advantage of higher accuracy and higher information transfer rate (ITR). In order to fully exploit the capabilities of such devices, it is necessary to understand the features of SSVEP and design the system considering its biological characteristics. This paper introduces bio-inspired filter banks (BIFB) for a novel SSVEP frequency detection method. It is known that SSVEP response to a flickering visual stimulus is frequency selective and gets weaker as the frequency of the stimuli increases. In the proposed approach, the gain and bandwidth of the filters are designed and tuned based on these characteristics while also incorporating harmonic SSVEP responses. This method not only improves the accuracy but also increases the available number of commands by allowing the use of stimuli frequencies elicit weak SSVEP responses. The BIFB method achieved reliable performance when tested on datasets available online and compared with two well-known SSVEP frequency detection methods, power spectral density analysis (PSDA) and canonical correlation analysis (CCA). The results show the potential of bio-inspired design which will be extended to include further SSVEP characteristic (e.g. time-domain waveform) for future SSVEP based BCIs.


title: Duality for image and kernel partition regularity of infinite matrices

abstract: A matrix A is image partition regular over Q provided that whenever Q - {0} is finitely coloured, there is a vector x with entries in Q - {0} such that the entries of Ax are monochromatic. It is kernel partition regular over Q provided that whenever Q - {0} is finitely coloured, the matrix has a monochromatic member of its kernel. We establish a duality for these notions valid for both finite and infinite matrices. We also investigate the extent to which this duality holds for matrices partition regular over proper subsemigroups of Q.


title: Bounded holomorphic functional calculus for nonsymmetric Ornstein-Uhlenbeck operators

abstract: We study bounded holomorphic functional calculus for nonsymmetric infinite dimensional Ornstein-Uhlenbeck operators ${\mathscr L}$. We prove that if $-{\mathscr L}$ generates an analytic semigroup on $L^{2}(\gamma_{\infty})$, then ${\mathscr L}$ has bounded holomorphic functional calculus on $L^{r}(\gamma_{\infty})$, $1<r<\infty$, in any sector of angle $\theta>\theta^{*}_{r}$, where $\gamma_{\infty}$ is the associated invariant measure and $\theta^{*}_{r}$ the sectoriality angle of ${\mathscr L}$ on $L^{r}(\gamma_{\infty})$. The angle $\theta^{*}_{r}$ is optimal. In particular our result applies to any nondegenerate finite dimensional Ornstein-Uhlenbeck operator, with dimension-free estimates.