title: What Do Your Friends Think? Efficient Polling Methods for Networks Using Friendship Paradox

abstract: This paper deals with randomized polling of a social network. In the case of forecasting the outcome of an election between two candidates A and B, classical intent polling asks randomly sampled individuals: who will you vote for? Expectation polling asks: who do you think will win? In this paper, we propose a novel neighborhood expectation polling (NEP) strategy that asks randomly sampled individuals: what is your estimate of the fraction of votes for A? Therefore, in NEP, sampled individuals will naturally look at their neighbors (defined by the underlying social network graph) when answering this question. Hence, the mean squared error (MSE) of NEP methods rely on selecting the optimal set of samples from the network. To this end, we propose three NEP algorithms for the following cases: (i) the social network graph is not known but, random walks (sequential exploration) can be performed on the graph (ii) the social network graph is unknown. For case (i) and (ii), two algorithms based on a graph theoretic consequence called friendship paradox are proposed. Theoretical results on the dependence of the MSE of the algorithms on the properties of the network are established. Numerical results on real and synthetic data sets are provided to illustrate the performance of the algorithms.


title: Equidistribution of zeros of polynomials

abstract: A classical result of Erdos and Turan states that if a monic polynomial has small size on the unit circle and its constant coefficient is not too small, then its zeros cluster near the unit circle and become equidistributed in angle. Using Fourier analysis we give a short and self-contained proof of this result.


title: Modeling communication processes in the human connectome through cooperative learning

abstract: Communication processes within the human brain at different cognitive states are neither well understood nor completely characterized. We assess communication processes in the human connectome using ant colony-inspired cooperative learning algorithm, starting from a source with no a priori information about the network topology, and cooperatively searching for the target through a pheromone-inspired model. This framework relies on two parameters, namely pheromone perception and edge perception, to define the cognizance and subsequent behaviour of the ants on the network and, overall, the communication processes happening between source and target nodes. Simulations obtained through different configurations allow the identification of path-ensembles that are involved in the communication between node pairs. These path-ensembles may contain different number of paths depending on the perception parameters and the node pair. In order to assess the different communication regimes displayed on the simulations and their associations with functional connectivity, we introduce two network measurements, effective path-length and arrival rate. These communication features are tested as individual as well as combined predictors of functional connectivity during different tasks. Finally, different communication regimes are found in different specialized functional networks. Overall, this framework may be used as a test-bed for different communication regimes on top of an underlaying topology.


title: Exactly Solvable Pairing Models

abstract: Some results for two distinct but complementary exactly solvable algebraic models for pairing in atomic nuclei are presented: 1) binding energy predictions for isotopic chains of nuclei based on an extended pairing model that includes multi-pair excitations; and 2) fine structure effects among excited $0^+$ states in $N \approx Z$ nuclei that track with the proton-neutron ($pn$) and like-particle isovector pairing interactions as realized within an algebraic $sp(4)$ shell model. The results show that these models can be used to reproduce significant ranges of known experimental data, and in so doing, confirm their power to predict pairing-dominated phenomena in domains where data is unavailable.


title: On the Optimization of Deep Networks: Implicit Acceleration by Overparameterization

abstract: Conventional wisdom in deep learning states that increasing depth improves expressiveness but complicates optimization. This paper suggests that, sometimes, increasing depth can speed up optimization. The effect of depth on optimization is decoupled from expressiveness by focusing on settings where additional layers amount to overparameterization - linear neural networks, a well-studied model. Theoretical analysis, as well as experiments, show that here depth acts as a preconditioner which may accelerate convergence. Even on simple convex problems such as linear regression with $\ell_p$ loss, $p>2$, gradient descent can benefit from transitioning to a non-convex overparameterized objective, more than it would from some common acceleration schemes. We also prove that it is mathematically impossible to obtain the acceleration effect of overparametrization via gradients of any regularizer.


title: Thermodynamics and structural transition of binary atomic Bose-Fermi mixtures in box or harmonic potentials: A path-integral study

abstract: Experimental realizations of a variety of atomic binary Bose-Fermi mixtures have brought opportunities for studying composite quantum systems with different spin-statistics. The binary atomic mixtures can exhibit a structural transition from a mixture into phase separation as the boson-fermion interaction increases. By using a path-integral formalism to evaluate the grand partition function and thermodynamic grand potential, we obtain the effective potential of binary Bose-Fermi mixtures. Thermodynamic quantities in a broad range of temperatures and interactions are also derived. The structural transition can be identified as a loop of the effective potential curve, and the volume fraction of phase separation can be determined by the lever rule. For $^6$Li-$^7$Li and $^6$Li-$^{41}$K mixtures, we present the phase diagrams of the mixtures in a box potential at zero and finite temperatures. Due to the flexible densities of atomic gases, the construction of phase separation is more complicated when compared to conventional liquid or solid mixtures where the individual densities are fixed. For harmonically trapped mixtures, we use the local density approximation to map out the finite-temperature density profiles and present typical trap structures, including the mixture, partially separated phases, and fully separated phases.


title: Reconfiguration of Colorable Sets in Classes of Perfect Graphs

abstract: A set of vertices in a graph is c-colorable if the subgraph induced by the set has a proper c-coloring. In this paper, we study the problem of finding a step-by-step transformation (reconfiguration) between two c-colorable sets in the same graph. This problem generalizes the well-studied Independent Set Reconfiguration problem. As the first step toward a systematic understanding of the complexity of this general problem, we study the problem on classes of perfect graphs. We first focus on interval graphs and give a combinatorial characterization of the distance between two c-colorable sets. This gives a linear-time algorithm for finding an actual shortest reconfiguration sequence for interval graphs. Since interval graphs are exactly the graphs that are simultaneously chordal and co-comparability, we then complement the positive result by showing that even deciding reachability is PSPACE-complete for chordal graphs and for co-comparability graphs. The hardness for chordal graphs holds even for split graphs. We also consider the case where c is a fixed constant and show that in such a case the reachability problem is polynomial-time solvable for split graphs but still PSPACE-complete for co-comparability graphs. The complexity of this case for chordal graphs remains unsettled. As by-products, our positive results give the first polynomial-time solvable cases (split graphs and interval graphs) for Feedback Vertex Set Reconfiguration.


title: Asymmetric Modulation Design for Wireless Information and Power Transfer with Nonlinear Energy Harvesting

abstract: Far-field wireless power transfer (WPT) and simultaneous wireless information and power transfer (SWIPT) have become increasingly important in radio frequency (RF) and communication communities recently. The problem of modulation design for SWIPT has however been scarcely addressed. In this paper, a modulation scheme based on asymmetric phase-shift keying (PSK) is considered, which improves the SWIPT rate-energy tradeoff region significantly. The nonlinear rectifier model, which accurately models the energy harvester, is adopted for evaluating the output direct current (DC) power at the receiver. The harvested DC power is maximized under an average power constraint at the transmitter and a constraint on the rate of information transmitted via a multi-carrier signal over a flat fading channel. As a consequence of the rectifier nonlinearity, this work highlights that asymmetric PSK modulation provides benefits over conventional symmetric PSK modulation in SWIPT and opens the door to systematic modulation design tailored for SWIPT.


title: Constrained Least Squares, SDP, and QCQP Perspectives on Joint Biconvex Radar Receiver and Waveform design

abstract: Joint radar receive filter and waveform design is non-convex, but is individually convex for a fixed receiver filter while optimizing the waveform, and vice versa. Such classes of problems are fre- quently encountered in optimization, and are referred to biconvex programs. Alternating minimization (AM) is perhaps the most popu- lar, effective, and simplest algorithm that can deal with bi-convexity. In this paper we consider new perspectives on this problem via older, well established problems in the optimization literature. It is shown here specifically that the radar waveform optimization may be cast as constrained least squares, semi-definite programs (SDP), and quadratically constrained quadratic programs (QCQP). The bi-convex constraint introduces sets which vary for each iteration in the alternat- ing minimization. We prove convergence of alternating minimization for biconvex problems with biconvex constraints by showing the equivalence of this to a biconvex problem with constrained Cartesian product convex sets but for convex hulls of small diameter.


title: Anti-adiabatic evolution in quantum-classical hybrid system

abstract: The adiabatic theorem is an important concept in quantum mechanics, it tells that a quantum system subjected to gradually changing external conditions remains to the same instantaneous eigenstate of its Hamiltonian as it initially in. In this paper, we study the another extreme circumstance where the external conditions vary rapidly such that the quantum system can not follow the change and remains in its initial state (or wavefunction). We call this type of evolution anit-adiabatic evolution. We examine the matter-wave pressure in this situation and derive the condition for such an evolution. The study is conducted by considering a quantum particle in an infinitely deep potential, the potential width $Q$ is assumed to be change rapidly. We show that the total energy of the quantum subsystem decreases as $Q$ increases, and this rapidly change exerts a force on the wall which plays the role of boundary of the potential. For $Q<Q_{0}$ ($Q_0$ is the initial width of the potential), the force is repulsive, and for $Q>Q_{0}$, the force is positive. The condition for the anti-adiabatic evolution is given via a spin-$\frac 1 2$ in a rotating magnetic field.


title: Image Forensics: Detecting duplication of scientific images with manipulation-invariant image similarity

abstract: Manipulation and re-use of images in scientific publications is a concerning problem that currently lacks a scalable solution. Current tools for detecting image duplication are mostly manual or semi-automated, despite the availability of an overwhelming target dataset for a learning-based approach. This paper addresses the problem of determining if, given two images, one is a manipulated version of the other by means of copy, rotation, translation, scale, perspective transform, histogram adjustment, or partial erasing. We propose a data-driven solution based on a 3-branch Siamese Convolutional Neural Network. The ConvNet model is trained to map images into a 128-dimensional space, where the Euclidean distance between duplicate images is smaller than or equal to 1, and the distance between unique images is greater than 1. Our results suggest that such an approach has the potential to improve surveillance of the published and in-peer-review literature for image manipulation.


title: Subspace Network: Deep Multi-Task Censored Regression for Modeling Neurodegenerative Diseases

abstract: Over the past decade a wide spectrum of machine learning models have been developed to model the neurodegenerative diseases, associating biomarkers, especially non-intrusive neuroimaging markers, with key clinical scores measuring the cognitive status of patients. Multi-task learning (MTL) has been commonly utilized by these studies to address high dimensionality and small cohort size challenges. However, most existing MTL approaches are based on linear models and suffer from two major limitations: 1) they cannot explicitly consider upper/lower bounds in these clinical scores; 2) they lack the capability to capture complicated non-linear interactions among the variables. In this paper, we propose Subspace Network, an efficient deep modeling approach for non-linear multi-task censored regression. Each layer of the subspace network performs a multi-task censored regression to improve upon the predictions from the last layer via sketching a low-dimensional subspace to perform knowledge transfer among learning tasks. Under mild assumptions, for each layer the parametric subspace can be recovered using only one pass of training data. Empirical results demonstrate that the proposed subspace network quickly picks up the correct parameter subspaces, and outperforms state-of-the-arts in predicting neurodegenerative clinical scores using information in brain imaging.


title: Goal-Oriented Optimal Design of Experiments for Large-Scale Bayesian Linear Inverse Problems

abstract: We develop a framework for goal-oriented optimal design of experiments (GOODE) for large-scale Bayesian linear inverse problems governed by PDEs. This framework differs from classical Bayesian optimal design of experiments (ODE) in the following sense: we seek experimental designs that minimize the posterior uncertainty in the experiment end-goal, e.g., a quantity of interest (QoI), rather than the estimated parameter itself. This is suitable for scenarios in which the solution of an inverse problem is an intermediate step and the estimated parameter is then used to compute a QoI. In such problems, a GOODE approach has two benefits: the designs can avoid wastage of experimental resources by a targeted collection of data, and the resulting design criteria are computationally easier to evaluate due to the often low-dimensionality of the QoIs. We present two modified design criteria, A-GOODE and D-GOODE, which are natural analogues of classical Bayesian A- and D-optimal criteria. We analyze the connections to other ODE criteria, and provide interpretations for the GOODE criteria by using tools from information theory. Then, we develop an efficient gradient-based optimization framework for solving the GOODE optimization problems. Additionally, we present comprehensive numerical experiments testing the various aspects of the presented approach. The driving application is the optimal placement of sensors to identify the source of contaminants in a diffusion and transport problem. We enforce sparsity of the sensor placements using an $\ell_1$-norm penalty approach, and propose a practical strategy for specifying the associated penalty parameter.


title: Frequency-domain gravitational waveform models for inspiraling binary neutron stars

abstract: We develop a model for frequency-domain gravitational waveforms from inspiraling binary neutron stars. Our waveform model is calibrated by comparison with hybrid waveforms constructed from our latest high-precision numerical-relativity waveforms and the SEOBNRv2T waveforms in the frequency range of $10$--$1000\,{\rm Hz}$. We show that the phase difference between our waveform model and the hybrid waveforms is always smaller than $0.1\, {\rm rad}$ for the binary tidal deformability, ${\tilde \Lambda}$, in the range $300\lesssim{\tilde \Lambda}\lesssim1900$ and for the mass ratio between 0.73 and 1. We show that, for $10$--$1000\,{\rm Hz}$, the distinguishability for the signal-to-noise ratio $\lesssim50$ and the mismatch between our waveform model and the hybrid waveforms are always smaller than 0.25 and $1.1\times10^{-5}$, respectively. The systematic error of our waveform model in the measurement of ${\tilde \Lambda}$ is always smaller than $20$ with respect to the hybrid waveforms for $300\lesssim{\tilde \Lambda}\lesssim1900$. The statistical error in the measurement of binary parameters is computed employing our waveform model, and we obtain results consistent with the previous studies. We show that the systematic error of our waveform model is always smaller than $20\%$ (typically smaller than $10\%$) of the statistical error for events with the signal-to-noise ratio of $50$.


title: Quantum key distribution with an efficient countermeasure against correlated intensity fluctuations in optical pulses

abstract: Quantum key distribution (QKD) allows two distant parties to share secret keys with the proven security even in the presence of an eavesdropper with unbounded computational power. Recently, GHz-clock decoy QKD systems have been realized by employing ultrafast optical communication devices. However, security loopholes of high-speed systems have not been fully explored yet. Here we point out a security loophole at the transmitter of the GHz-clock QKD, which is a common problem in high-speed QKD systems using practical band-width limited devices. We experimentally observe the inter-pulse intensity correlation and modulation-pattern dependent intensity deviation in a practical high-speed QKD system. Such correlation violates the assumption of most security theories. We also provide its countermeasure which does not require significant changes of hardware and can generate keys secure over 100 km fiber transmission. Our countermeasure is simple, effective and applicable to wide range of high-speed QKD systems, and thus paves the way to realize ultrafast and security-certified commercial QKD systems.


title: Pricing Options with Exponential Levy Neural Network

abstract: In this paper, we propose the exponential Levy neural network (ELNN) for option pricing, which is a new non-parametric exponential Levy model using artificial neural networks (ANN). The ELNN fully integrates the ANNs with the exponential Levy model, a conventional pricing model. So, the ELNN can improve ANN-based models to avoid several essential issues such as unacceptable outcomes and inconsistent pricing of over-the-counter products. Moreover, the ELNN is the first applicable non-parametric exponential Levy model by virtue of outstanding researches on optimization in the field of ANN. The existing non-parametric models are too vulnerable to be employed in practice. The empirical tests with S\&P 500 option prices show that the ELNN outperforms two parametric models, the Merton and Kou models, in terms of fitting performance and stability of estimates.


title: Human and Smart Machine Co-Learning with Brain Computer Interface

abstract: Machine learning has become a very popular approach for cybernetics systems, and it has always been considered important research in the Computational Intelligence area. Nevertheless, when it comes to smart machines, it is not just about the methodologies. We need to consider systems and cybernetics as well as include human in the loop. The purpose of this article is as follows: (1) To integrate the open source Facebook AI Research (FAIR) DarkForest program of Facebook with Item Response Theory (IRT), to the new open learning system, namely, DDF learning system; (2) To integrate DDF Go with Robot namely Robotic DDF Go system; (3) To invite the professional Go players to attend the activity to play Go games on site with a smart machine. The research team will apply this technology to education, such as, playing games to enhance the children concentration on learning mathematics, languages, and other topics. With the detected brainwaves, the robot will be able to speak some words that are very much to the point for the students and to assist the teachers in classroom in the future.


title: Spin-Orbit Coupling Induced Resonance in an Ultracold Bose Gas

abstract: We study a two-component Bose gas with artificial spin-orbit coupling (SOC) which couples the center-of-mass momentum of atom to its internal states. We show that in this system resonance can be induced by tuning SOC strength. With a two-dimensional SOC, resonances in two scattering channels can be induced by tuning the aspect ratio of SOC strengths. With a three-dimensional SOC, resonance in all scattering channels can be induced by tuning the appropriate SOC strength. Similarly, we also find that in a Fermi gas with two- or three-dimensional SOC resonance can be induced by tuning SOC strength.


title: Casimir interaction of two dielectric half spaces with Chern-Simons boundary layers

abstract: A diffraction problem for a flat Chern-Simons layer at plane boundary of a dielectric half space is solved. The Casimir energy of two dielectric half spaces with Chern-Simons layers at plane-parallel boundaries separated by a vacuum slit is derived. Crossing from the repulsive to the attractive Casimir force is analyzed for two Au and two Si half spaces with boundary Chern-Simons layers. Boundary quantum Hall layers in external magnetic field lead to Casimir repulsion at nanoscales. We discuss features that make systems with boundary quantum Hall layers unique for force measurements and search of long-range interactions beyond electromagnetism.

categories: cond-mat.mes-hall cond-mat.mtrl-sci hep-th quant-ph


title: Non-self-averaging behaviors and ergodicity in quenched trap model with finite system size

abstract: Tracking tracer particles in heterogeneous environments plays an important role in unraveling the material properties. These heterogeneous structures are often static and depend on the sample realizations. Sample-to-sample fluctuations of such disorder realizations sometimes become considerably large. When we investigate the sample-to-sample fluctuations, fundamental averaging procedures are a thermal average for a single disorder realization and the disorder average for different disorder realizations. Here, we report on non-self-averaging phenomena in quenched trap models with finite system sizes, where we consider the periodic and the reflecting boundary conditions. Sample-to-sample fluctuations of diffusivity greatly exceeds trajectory-to-trajectory fluctuations of diffusivity in the corresponding annealed model. For a single disorder realization, the time-averaged mean square displacement and position-dependent observables converge to constants with the aid of the existence of the equilibrium distribution. This is a manifestation of ergodicity. As a result, the time-averaged quantities do not depend on the initial condition nor on the thermal histories but depend crucially on the disorder realization.


title: Efficiency and power of minimally nonlinear irreversible heat engines with broken time-reversal symmetry

abstract: We study the minimally nonlinear irreversible heat engines in which the time-reversal symmetry for the systems may b e broken. The expressions for the power and the efficiency are derived, in which the effects of the nonlinear terms due to dissipations are included. We show that, as within the linear responses, the minimally nonlinear irreversible heat engines enable attainment of Carnot efficiency at positive power. We also find that the Curzon-Ahlborn limit imposed on the efficiency at maximum power can be overcomed if the time-reversal symmetry is broken.


title: Heron Inference for Bayesian Graphical Models

abstract: Bayesian graphical models have been shown to be a powerful tool for discovering uncertainty and causal structure from real-world data in many application fields. Current inference methods primarily follow different kinds of trade-offs between computational complexity and predictive accuracy. At one end of the spectrum, variational inference approaches perform well in computational efficiency, while at the other end, Gibbs sampling approaches are known to be relatively accurate for prediction in practice. In this paper, we extend an existing Gibbs sampling method, and propose a new deterministic Heron inference (Heron) for a family of Bayesian graphical models. In addition to the support for nontrivial distributability, one more benefit of Heron is that it is able to not only allow us to easily assess the convergence status but also largely improve the running efficiency. We evaluate Heron against the standard collapsed Gibbs sampler and state-of-the-art state augmentation method in inference for well-known graphical models. Experimental results using publicly available real-life data have demonstrated that Heron significantly outperforms the baseline methods for inferring Bayesian graphical models.


title: Salient Object Detection by Lossless Feature Reflection

abstract: Salient object detection, which aims to identify and locate the most salient pixels or regions in images, has been attracting more and more interest due to its various real-world applications. However, this vision task is quite challenging, especially under complex image scenes. Inspired by the intrinsic reflection of natural images, in this paper we propose a novel feature learning framework for large-scale salient object detection. Specifically, we design a symmetrical fully convolutional network (SFCN) to learn complementary saliency features under the guidance of lossless feature reflection. The location information, together with contextual and semantic information, of salient objects are jointly utilized to supervise the proposed network for more accurate saliency predictions. In addition, to overcome the blurry boundary problem, we propose a new structural loss function to learn clear object boundaries and spatially consistent saliency. The coarse prediction results are effectively refined by these structural information for performance improvements. Extensive experiments on seven saliency detection datasets demonstrate that our approach achieves consistently superior performance and outperforms the very recent state-of-the-art methods.


title: Scaling theory for Mott-Hubbard transitions

abstract: We present a $T=0K$ renormalization group (RG) phase diagram for the electronic Hubbard model in two dimensions on the square lattice at, and away from, half filling. The RG procedure treats quantum fluctuations in the single particle occupation number nonperturbatively via the unitarily decoupling of one electronic state at every RG step. The resulting phase diagram thus possess the quantum fluctuation energy scale ($\omega$) as one of its axes. A relation is derived between $\omega$ and the effective temperature scale upto which gapless, as well as emergent gapped, phases can be obtained. We find that the transition in the half-filled Hubbard model involves, for any on-site repulsion, passage from a marginal Fermi liquid to a topologically-ordered gapped Mott liquid through a pseudogapped phase bookended by Fermi surface topology-changing Lifshitz transitions. Using effective Hamiltonians and wavefunctions for the low-energy many-body eigenstates for the doped Mott liquid obtained from the stable fixed point of the RG flow, we demonstrate the collapse of the pseudogap for charge excitations (Mottness) at a quantum critical point possessing a nodal non-Fermi liquid with superconducting fluctuations, and spin-pseudogapping near the antinodes. d-wave Superconducting order is shown to arise from this quantum critical state of matter. Benchmarking of the ground state energy per particle and the double-occupancy fraction against existing numerical results also yields excellent agreement. We present detailed insight into the $T=0$ origin of several experimentally observed findings in the cuprates, including Homes law and Planckian dissipation. Our results offer insight on the ubiquitous origin of superconductivity in doped Mott insulating states, and pave the way towards a systematic search for higher superconducting transition temperatures in such systems.


title: Automatic supermartingales acting on sequences

abstract: This paper describes a construction of supermartingales realized as automatic functions. A capital of supermartingales is represented using automatic capital groups~(ACG). Properties of these automatic supermartingales are then studied. Automatic supermartingales induce a notion of random infinite binary sequence. We show that the class of random sequences coincide with that of disjunctive sequences.


title: Alternative renormalizable minimal SO(10) GUT and the Seesaw Scale

abstract: Alternative renormalizable minimal non-SUSY SO(10) GUT model is proposed. Instead of a ${\bf 126}$-dimensional Higgs field, a ${\bf 120}$-dimensional Higgs filed is ntroducedin addition to a ${\bf 10}$-dimensional Higgs field and plays a crucial role to reproduce the realistic charged fermion mass matrices. With contributions of ${\bf 120}$ Higgs field, the original Witten's scenario of inducing the right-handed Majorana neutrino mass through 2-loop diagrams becomes phenomenologically viable. This model inherits the nice features of the conventional renormalizable minimal SO(10) GUT model with ${\bf 10}+{\bf \overline{126}}$ Higgs fields, while supplemented with a low scale seesaw mechanism due to the 2-loop induced right-handed Majorana neutrino mass. %


title: Hardy-type and Heisenberg's inequality in Morrey spaces

abstract: We use the Morrey norm estimate for the imaginary power of the Laplacian to prove an interpolation inequality for the fractional power of the Laplacian on Morrey spaces. We then prove a Hardy-type inequality and use it together with the interpolation inequality to obtain a Heisenberg-type inequality in Morrey spaces.


title: Discrepancy Analysis of a New Randomized Diffusion Algorithm

abstract: For an arbitrary initial configuration of discrete loads over vertices of a distributed graph, we consider the problem of minimizing the {\em discrepancy} between the maximum and minimum loads among all vertices. For this problem, this paper is concerned with the ability of natural diffusion-based iterative algorithms: at each discrete and synchronous time step on an algorithm, each vertex is allowed to distribute its loads to each neighbor (including itself) without occurring negative loads or using the information of previous time steps. In this setting, this paper presents a new {\em randomized} diffusion algorithm like multiple random walks. Our algorithm archives $O(\sqrt{d \log N})$ discrepancy for any $d$-regular graph with $N$ vertices with high probability, while {\em deterministic} diffusion algorithms have $\Omega(d)$ lower bound. Furthermore, we succeed in generalizing our algorithm to any symmetric round matrix. This yields that $O(\sqrt{ d_{\max} \log N})$ discrepancy for arbitrary graphs without using the information of maximum degree $d_{\max}$.


title: Arc spaces and chiral symplectic cores

abstract: We introduce the notion of chiral symplectic cores in a vertex Poisson variety, which can be viewed as analogs of symplectic leaves in Poisson varieties. As an application we show that any quasi-lisse vertex algebra is a quantization of the arc space of its associated variety, in the sense that its reduced singular support coincides with the reduced arc space of its associated variety. We also show that the coordinate ring of the arc space of Slodowy slices is free over its vertex Poisson center, and the latter coincides with the vertex Poisson center of the coordinate ring of the arc space of the dual of the corresponding simple Lie algebra.


title: A Simple and Effective Solution to the Constrained QM/MM Simulations

abstract: It is a promising extension of the quantum mechanical/molecular mechanical (QM/MM) approach to incorporate the solvent molecules surrounding the QM solute into the QM region to ensure the adequate description of the electronic polarization of the solute. However, the solvent molecules in the QM region inevitably diffuse into the MM bulk during the QM/MM simulation. In this article we developed a simple and efficient method, referred to as boundary constraint with correction (BCC), to prevent the diffusion of the solvent water molecules by means of a constraint po- tential. The point of the BCC method is to compensate the error in a statistical property due to the bias potential by adding a correction term obtained through a set of QM/MM simulations. The BCC method is designed so that the effect of the bias potential completely vanishes when the QM solvent is identical with the MM solvent. Furthermore, the desirable conditions, that is, the continuities of energy and force and the conservations of energy and momentum, are fulfilled in principle. We applied the QM/MM-BCC method to a hydronium ion in aqueous solution to construct the radial distribution function(RDF) of the solvent around the solute. It was demonstrated that the correction term fairly compensated the error and led the RDF in good agreement with the result given by an ab initio molecular dynamics simulation.


title: The long-period massive binary HD~54662 revisited

abstract: HD54662 is an O-type binary star belonging to the CMa OB1 association. Due to its long-period orbit, this system is an interesting target to test the adiabatic wind shock model. The goal is to improve our knowledge of the orbital and stellar parameters of HD54662 and to analyze its X-ray emission to test the theoretical scaling of the X-ray emission with orbital separation for adiabatic wind shocks. We applied a spectral disentangling code to optical spectra to determine the radial velocities and the individual spectra of each star. The individual spectra were analyzed using the CMFGEN model atmosphere code. We fitted two X-ray spectra using a Markov Chain Monte Carlo algorithm and compared them to the emission expected from adiabatic shocks. We determine an orbital period of 2103.4days, a low orbital eccentricity of 0.11, and a mass ratio m2/m1=0.84. Combined with the orbital inclination inferred in a previous astrometric study, we obtain surprisingly low masses of 9.7 and 8.2Msun. From the individual spectra, we infer O6.5 spectral types for both stars and a brightness ratio of l1/l2~2. The softness of the X-ray spectra, the very small variation of spectral parameters, and the comparison of the X-ray-to-bolometric luminosity ratio with the canonical value for O-type stars allow us to conclude that X-ray emission from the wind interaction region is quite low. We cannot confirm the runaway status previously attributed to HD54662 and we find no X-ray emission associated with the bow shock detected in the infrared. The lack of hard X-ray emission from the wind-shock region suggests that the mass-loss rates are lower than expected and/or that the pre-shock wind velocities are much lower than the terminal wind velocities. The bow shock associated with HD54662 possibly corresponds to a wind-blown arc created by the interaction of the stellar winds with the ionized gas of CMa OB1. (abridged)


title: Ferromagnetic Peierls insulator state in $\mathit{A}$Mg$_4$Mn$_6$O$_{15}$ ($\mathit{A}$ = K, Rb, Cs)

abstract: Using the density-functional-theory based electronic structure calculations, we study the electronic state of recently discovered mixed-valent manganese oxides $A$Mg$_4$Mn$_6$O$_{15}$ ($A=$ K, Rb, Cs), which are fully spin-polarized ferromagnetic insulators with a cubic crystal structure. We show that the system may be described as a three-dimensional arrangement of the one-dimensional chains of a $2p$ orbital of O and a $3d$ orbital of Mn running along the three axes of the cubic lattice. We thereby argue that in the ground state the chains are fully spin polarized due to the double-exchange mechanism and are distorted by the Peierls mechanism to make the system insulating.


title: Average Behavior of Minimal Free Resolutions of Monomial Ideals

abstract: We describe the typical homological properties of monomial ideals defined by random generating sets. We show that, under mild assumptions, random monomial ideals (RMI's) will almost always have resolutions of maximal length; that is, the projective dimension will almost always be $n$, where $n$ is the number of variables in the polynomial ring. We give a rigorous proof that Cohen-Macaulayness is a "rare" property. We characterize when an RMI is generic/strongly generic, and when it "is Scarf"---in other words, when the algebraic Scarf complex of $M\subset S=k[x_1,\ldots,x_n]$ gives a minimal free resolution of $S/M$. As a result we see that, outside of a very specific ratio of model parameters, RMI's are Scarf only when they are generic. We end with a discussion of the average magnitude of Betti numbers.


title: Link Selection for Secure Cooperative Networks with Buffer-Aided Relaying

abstract: This paper investigates the secure communication in a two-hop cooperative wireless network, where a buffer-aided relay is utilized to forward data from the source to destination, and a passive eavesdropper attempts to intercept data transmission from both the source and relay. Depending on the availability of instantaneous channel state information of the source, two cases of transmission mechanisms, i.e., adaptive-rate transmission and fixed-rate transmission are considered. To enhance the security of the system, novel link selection policies are proposed for both cases to select source-to-relay, relay-to-destination, or no link transmission based on the channels qualities. Closed-form expressions are derived for the end-to-end secrecy outage probability (SOP), secrecy outage capacity (SOC), and exact secrecy throughput (EST), respectively. Furthermore, we prove the condition that EST reaches its maximum, and explore how to minimize the SOP and maximize the SOC by optimizing the link selection parameters. Finally, simulations are conducted to demonstrate the validity of our theoretical performance evaluation, and extensive numerical results are provided to illustrate the efficiency of the proposed link selection polices for the secure communication in two-hop cooperative networks.


title: Existence of cocompact lattices in Lie groups with a bi-invariant metric of index 2

abstract: We study the existence of cocompact lattices in Lie groups with bi-invariant metric of signature $(2,n-2)$. We assume in addition that the Lie groups under consideration are simply-connected, indecomposable and solvable. Then their centre is one- or two-dimensional. In both cases, a parametrisation of the set of such Lie groups is known. We give a necessary and sufficient condition for the existence of a lattice in terms of these parameters. For groups with one-dimensional centre this problem is related to Salem numbers.


title: Generalized perspective on chiral measurements without magnetic interactions

abstract: We present a unified description of several methods of chiral discrimination based exclusively on electric-dipole interactions. It includes photoelectron circular dichroism (PECD), enantio-sensitive microwave spectroscopy (EMWS), photoexcitation circular dichroism (PXCD), and photoelectron-photoexcitation circular dichroism (PXECD). We show that, in spite of the fact that the physics underlying the appearance of a chiral response is very different in all these methods, the enantio-sensitive and dichroic observable in all cases has a unique form. It is a polar vector given by the product of (i) a molecular pseudoscalar and (ii) a field pseudovector specified by the configuration of the electric fields interacting with the isotropic ensemble of chiral molecules. The molecular pseudoscalar is a rotationally invariant property, which is composed from different molecule-specific vectors and in the simplest case is a triple product of such vectors. The key property that enables the chiral response is the non-coplanarity of the vectors forming such triple product. The key property that enables chiral detection without relying on the chirality of the electromagnetic fields is the vectorial nature of the enantio-sensitive observable. Our compact and general expression for this observable shows what ultimately determines the efficiency of the chiral signal and if, or when, it can reach 100%. We also discuss the differences between the two phenomena, which rely on the bound states, PXCD and EMWS, and the two phenomena using the continuum states, PECD and PXECD. Finally, we extend these methods to arbitrary polarizations of the electric fields used to induce and probe the chiral response.

categories: physics.atom-ph physics.atm-clus physics.chem-ph physics.optics quant-ph


title: Electroweak probes with ATLAS

abstract: Measuring electroweak bosons in relativistic heavy ion collisions at high energy provide an opportunity to understand temporal evolution of the quark-gluon plasma created in such collisions by constraining the initial state of the interaction. Due to lack of color charges the bosons and or particles produced in their leptonic decays are unaffected by the quark-gluon plasma and therefore preserve the information about the very early stage of the collision when they were born. This singles electroweak bosons as a unique and very interesting class of observables in heavy ion collisions. The ATLAS experiment at LHC measures production of electroweak bosons in pp, p+Pb, and Pb + Pb collisions systems. A review of the existing results is given in this proceeding that includes studies made with isolated photons to constraint kinematic properties and flavour composition of associated jets, measurements of W and Z bosons used to estimate nuclear modification of parton distribution function and the production rates of the bosons used to verify geometric models implied to estimate event centrality. A novel analysis on measuring two-particle correlations in pp collisions where the Z boson is registered is also discussed in the proceeding. This is the first attempt to break into the initial geometry of the pp collisions by constraining the impact parameter with a hard scattering process. It shows that the strength of the two particle correlations in such collision is 1.08+/-0.06 above the inclusive. To make the measurement ATLAS solves the technical problem of measuring the underlying event in high pileup condition.


title: Seismic Cross-coupling Noise in Torsion Pendulums

abstract: Detection of low frequency gravitational waves around 0.1 Hz is one of the important targets for future gravitational wave observation. One of the main sources of the expected signals is gravi- tational waves from binary intermediate-mass black hole coalescences which is proposed as one of the formation scenarios of supermassive black holes. By using a torsion pendulum, which can have a resonance frequency of a few millihertz, such signals can be measured on the ground since its rotational motion can act as a free mass down to 0.01 Hz. However, sensitivity of a realistic tor- sion pendulum will suffer from torsional displacement noise introduced from translational ground motion in the main frequency band of interest. Such noise is called seismic cross-coupling noise and there have been little research on it. In this paper, systematic investigation is performed to identify routes of cross-coupling transfer for standard torsion pendulums. Based on the results this paper also proposes reduction schemes of cross-coupling noise, and they were demonstrated experimen- tally in agreement with theory. This result establishes a basic way to reduce seismic noise in torsion pendulums for the most significant coupling routes.


title: Optimal Beamforming for Physical Layer Security in MISO Wireless Networks

abstract: A wireless network of multiple transmitter-user pairs overheard by an eavesdropper, where the transmitters are equipped with multiple antennas while the users and eavesdropper are equipped with a single antenna, is considered. At different levels of wireless channel knowledge, the problem of interest is beamforming to optimize the users' quality-of-service (QoS) in terms of their secrecy throughputs or maximize the network's energy efficiency under users' QoS. All these problems are seen as very difficult optimization problems with many nonconvex constraints and nonlinear equality constraints in beamforming vectors. The paper develops path-following computational procedures of low-complexity and rapid convergence for the optimal beamforming solution. Their practicability is demonstrated through numerical examples.


title: Cooperative ligation breaks sequence symmetry and stabilizes early molecular replication

abstract: Each living species carries a complex DNA sequence that determines their unique features and functionalities. It is generally assumed that life started from a random pool of oligonucleotides sequences, generated by a prebiotic polymerization of nucleotides. The mechanism that initially facilitated the emergence of sequences that code for the function of the first species from such a random pool of sequences remains unknown. It is a central problem of the origin of life. An interesting option would be a self-selection mechanism by spontaneous symmetry breaking. Initial concentration fluctuations of specific sequence motifs would have been amplified and outcompeted less abundant sequences, enhancing the signal to noise to replicate and select functional sequences. Here, we demonstrate with experimental and theoretical findings that templated ligation would provide such a self-selection. In templated ligation, two adjacent single sequences strands are chemically joined when a third complementary strand sequence brought them in close proximity. This simple mechanism was a likely side-product of a prebiotic polymerization chemistry once the strands reach the length to form double stranded species. As shown here, the ligation gave rise to a nonlinear replication process by the cooperative ligation of matching sequences which self-promoted their own elongation. This led to a cascade of enhanced template binding and faster ligation reactions. A requirement was the reshuffling of the strands by thermal cycling, enabled for example by microscale convection. Assuming that templated ligation was driven by the same chemical mechanism that generated prebiotic polymerization of oligonucleotides, the mechanism could function as a missing link between polymerization and the self-stabilized replication, offering a pathway to the autonomous emergence of Darwinian evolution for the origin of life.


title: Upper and lower bounds for dynamic data structures on strings

abstract: We consider a range of simply stated dynamic data structure problems on strings. An update changes one symbol in the input and a query asks us to compute some function of the pattern of length $m$ and a substring of a longer text. We give both conditional and unconditional lower bounds for variants of exact matching with wildcards, inner product, and Hamming distance computation via a sequence of reductions. As an example, we show that there does not exist an $O(m^{1/2-\varepsilon})$ time algorithm for a large range of these problems unless the online Boolean matrix-vector multiplication conjecture is false. We also provide nearly matching upper bounds for most of the problems we consider.


title: A spectral interpolation scheme on the unit sphere based on the nodes of spherical Lissajous curves

abstract: For sampling values along spherical Lissajous curves we establish a spectral interpolation and quadrature scheme on the sphere. We provide a mathematical analysis of spherical Lissajous curves and study the characteristic properties of their intersection points. Based on a discrete orthogonality structure we are able to prove the unisolvence of the interpolation problem. As basis functions for the interpolation space we use a parity-modified double Fourier basis on the sphere which allows us to implement the interpolation scheme in an efficient way. We further show that the numerical condition number of the interpolation scheme displays a logarithmic growth. As an application, we use the developed interpolation algorithm to estimate the rotation of an object based on measurements at the spherical Lissajous nodes.


title: Weighted Linear Discriminant Analysis based on Class Saliency Information

abstract: In this paper, we propose a new variant of Linear Discriminant Analysis to overcome underlying drawbacks of traditional LDA and other LDA variants targeting problems involving imbalanced classes. Traditional LDA sets assumptions related to Gaussian class distribution and neglects influence of outlier classes, that might hurt in performance. We exploit intuitions coming from a probabilistic interpretation of visual saliency estimation in order to define saliency of a class in multi-class setting. Such information is then used to redefine the between-class and within-class scatters in a more robust manner. Compared to traditional LDA and other weight-based LDA variants, the proposed method has shown certain improvements on facial image classification problems in publicly available datasets.


title: Level Zero Trigger Processor for the NA62 experiment

abstract: The NA62 experiment is designed to measure the ultra-rare decay $K^+ \rightarrow \pi^+ \nu \bar{\nu}$ branching ratio with a precision of $\sim 10\%$ at the CERN Super Proton Synchrotron (SPS). The trigger system of NA62 consists in three different levels designed to select events of physics interest in a high beam rate environment. The L0 Trigger Processor (L0TP) is the lowest level system of the trigger chain. It is hardware implemented using programmable logic. The architecture of the NA62 L0TP system is a new approach compared to existing systems used in high-energy physics experiments. It is fully digital, based on a standard gigabit Ethernet communication between detectors and the L0TP Board. The L0TP Board is a commercial development board, mounting a programmable logic device (FPGA). The primitives generated by sub-detectors are sent asynchronously using the UDP protocol to the L0TP during the entire beam spill period. The L0TP realigns in time the primitives coming from seven different sources and performs a data selection based on the characteristics of the event such as energy, multiplicity and topology of hits in the sub-detectors. It guarantees a maximum latency of 1 ms. The maximum input rate is about 10 MHz for each sub-detector, while the design maximum output trigger rate is 1 MHz. A description of the trigger algorithm is presented here.


title: Thermodynamics of energy, charge and spin currents in thermoelectric quantum-dot spin valve

abstract: We provide a thermodynamically consistent description of energy, charge and spin transfers in a thermoelectric quantum-dot spin valve in the collinear configuration based on nonequilibrium Green's function and full counting statistics. We use the fluctuation theorem symmetry and the concept of entropy production to characterize the efficiency with which thermal gradients can transduce charges or spins against their chemical potentials, arbitrary far from equilibrium. Close to equilibrium, we recover the Onsager reciprocal relations and the connection to linear response notions of performance such as the figure of merit. We also identify regimes where work extraction is more efficient far then close from equilibrium.


title: Non-perturbative results for the luminosity and area distances

abstract: The notion of luminosity distance is most often defined in purely FLRW (Friedmann-Lemaitre-Robertson-Walker) cosmological spacetimes, or small perturbations thereof. However, the abstract notion of luminosity distance is actually much more robust than this, and can be defined non-perturbatively in almost arbitrary spacetimes. Some quite general results are already known, in terms of $dA_\mathrm{observer}/d\Omega_\mathrm{source}$, the cross-sectional area per unit solid angle of a null geodesic spray emitted from some source and subsequently detected by some observer. We shall reformulate these results in terms of a suitably normalized null geodesic affine parameter and the van Vleck determinant, $\Delta_{vV}$. The contribution due to the null geodesic affine parameter is effectively the inverse square law for luminosity, and the van Vleck determinant can be viewed as providing a measure of deviations from the inverse square law. This formulation is closely related to the so-called Jacobi determinant, but the van Vleck determinant has somewhat nicer analytic properties and wider and deeper theoretical base in the general relativity, quantum physics, and quantum field theory communities. In the current article we shall concentrate on non-perturbative results, leaving near-FLRW perturbative investigation for future work.


title: Verifying Semantic Conflict-Freedom in Three-Way Program Merges

abstract: Even though many programmers rely on 3-way merge tools to integrate changes from different branches, such tools can introduce subtle bugs in the integration process. This paper aims to mitigate this problem by defining a semantic notion of confict-freedom, which ensures that the merged program does not introduce new unwanted behaviors. We also show how to verify this property using a novel, compositional algorithm that combines lightweight dependence analysis for shared program fragments and precise relational reasoning for the modifications. We evaluate our tool called SafeMerge on 52 real-world merge scenarios obtained from Github and compare the results against a textual merge tool. The experimental results demonstrate the benefits of our approach over syntactic confict-freedom and indicate that SafeMerge is both precise and practical.


title: Are Generative Classifiers More Robust to Adversarial Attacks?

abstract: There is a rising interest in studying the robustness of deep neural network classifiers against adversaries, with both advanced attack and defence techniques being actively developed. However, most recent work focuses on discriminative classifiers, which only model the conditional distribution of the labels given the inputs. In this paper, we propose and investigate the deep Bayes classifier, which improves classical naive Bayes with conditional deep generative models. We further develop detection methods for adversarial examples, which reject inputs with low likelihood under the generative model. Experimental results suggest that deep Bayes classifiers are more robust than deep discriminative classifiers, and that the proposed detection methods are effective against many recently proposed attacks.


title: On the quantum improved Schwarzschild black hole

abstract: Deriving the gravitational effective action directly from exact renormalization group is very complicated, if not impossible. Hence, to study the effects of running gravitational coupling which tends to a non--Gaussian UV fixed point (as it is supposed by the asymptotic safety conjecture), two steps are usually adopted. Cutoff identification and improvement of the gravitational coupling to the running one. As suggested in [1], a function of all independent curvature invariants seems to be the best choice for cutoff identification of gravitational quantum fluctuations in curved spacetime and makes the action improvement, which saves the general covariance of theory, possible. Here, we choose Ricci tensor square for this purpose and then the equation of motion of improved gravitational action and its spherically symmetric vacuum solution are obtained. Indeed, its effect on the massive particles' trajectory and the black hole thermodynamics are studied.


title: Speed Limit for Classical Stochastic Processes

abstract: Speed limit for classical stochastic Markov processes with discrete states is studied. We find that a trade-off inequality exists between the speed of the state transformation and the entropy production. The dynamical activity determines the time scale and plays a crucial role in the inequality. For systems with stationary current, a similar trade-off inequality with the Hatano-Sasa entropy production gives a much better bound on the speed of the state transformation. Our inequalities contain only physically well-defined quantities, and thus the physical picture of these inequalities is clear.


title: On an Algebraic Structure of Dimensionally Reduced Magical Supergravity Theories

abstract: We study an algebraic structure of magical supergravities in three dimensions. We show that if the commutation relations among the generators of the quasi-conformal group in the super-Ehlers decomposition are in a particular form, then one can always find a parameterization of the group element in terms of various 3d bosonic fields that reproduces the 3d reduced Lagrangian of the corresponding magical supergravity. This provides a unified treatment of all the magical supergravity theories in finding explicit relations between the 3d dimensionally reduced Lagrangians and particular coset nonlinear sigma models. We also verify that the commutation relations of $E_{6(+2)}$, the quasi-conformal group for $\mathbb{A}=\mathbb{C}$, indeed satisfy this property, allowing the algebraic interpretation of the structure constants and scalar field functions as was done in the $F_{4(+4)}$ magical supergravity.


title: Plasma boosted electron beams for driving Free Electron Lasers

abstract: In this paper, we report results of simulations, in the framework of both EuPRAXIA \cite{Walk2017} and EuPRAXIA@SPARC\_LAB \cite{Ferr2017} projects, aimed at delivering a high brightness electron bunch for driving a Free Electron Laser (FEL) by employing a plasma post acceleration scheme. The boosting plasma wave is driven by a tens of \SI{}{\tera\watt} class laser and doubles the energy of an externally injected beam up to \GeV{1}. The injected bunch is simulated starting from a photoinjector, matched to plasma, boosted and finally matched to an undulator, where its ability to produce FEL radiation is verified to yield $O(\num{e11})$ photons per shot at \nm{2.7}.


title: Symmetry and Contextuality

abstract: The general concept of symmetry is realized in manifold ways in different realms of reality, such as plants, animals, minerals, mathematical objects or human artefacts in literature, fine arts and society. In order to arrive at a common ground for this variedness a very general conceptualization of symmetry is proposed: Existence of substitutions, which, in the given context, do not lead to an essential change. This simple definition has multiple consequences: -The context dependence of the notion of symmetry is evident in the humanities but by no means irrelevant yet often neglected in science. The subtle problematic of concept formation and the ontological status of similarities opens up. -In general, the substitutions underlying the concept of symmetry are not really performed but remain in a state of virtuality. Counterfactuality, freedom and creativity come into focus. The detection of previously hidden symmetries may provide deep and surprising insights. -Related to this, due attention is devoted to the aesthetic dimension of symmetry and the breaking of it. -Finally, we point out to what extent life is based on the interplay between order and freedom, between full and broken symmetry.


title: Slowest kinetic modes revealed by metabasin renormalization

abstract: Understanding the slowest relaxations of complex systems, such as relaxation of glass-forming materials, diffusion in nanoclusters, and folding of biomolecules, is important for physics, chemistry, and biology. For a kinetic system, the relaxation modes are determined by diagonalizing its transition rate matrix. However, for realistic systems of interest, numerical diagonalization, as well as extracting physical understanding from the diagonalization results, is difficult due to the high dimensionality. Here, we develop an alternative and generally applicable method of extracting the long-time scale relaxation dynamics by combining the metabasin analysis of Okushima et al. [Phys. Rev. E 80, 036112 (2009)] and a Jacobi method. We test the method on a illustrative model of a four-funnel model, for which we obtain a renormalized kinematic equation of much lower dimension sufficient for determining slow relaxation modes precisely. The method is successfully applied to the vacancy transport problem in ionic nanoparticles [Niiyama et al. Chem. Phys. Lett. 654, 52 (2016)], allowing a clear physical interpretation that the final relaxation consists of two successive, characteristic processes.


title: Remarks on BMS${}_3$ invariant field theories: correlation functions and nonunitary CFTs

abstract: We use the isomorphism between the BMS${}_3$ and the $W(2,2)$ algebras to reconsider some generic aspects of CFTs with the BMS${}_3$ algebra defined as a chiral symmetry. For unitarity theories, it is known that the extended symmetry generator acts trivially, and the resulting theory is equivalent to a CFT with a Virasoro symmetry only. For nonunitary CFTs, we define an operator depending on a nilpotent variable, and we organize the Verma module through the action of this new operator. Finally, we find the conditions imposed by the modified Ward identity.


title: An implementation of the maximum-caliber principle by replica-averaged time-resolved restrained simulations

abstract: Inferential methods can be used to integrate experimental informations and molecular simulations. The maximum entropy principle provides a framework for using equilibrium experimental data and it has been shown that replica-averaged simulations, restrained using a static potential, are a practical and powerful implementation of such principle. Here we show that replica-averaged simulations restrained using a time-dependent potential are equivalent to the principle of maximum caliber, the dynamic version of the principle of maximum entropy, and thus may allow to integrate time-resolved data in molecular dynamics simulations. We provide an analytical proof of the equivalence as well as a computational validation making use of simple models and synthetic data. Some limitations and possible solutions are also discussed.


title: Star formation across cosmic time with radio surveys. The promise of the SKA

abstract: This lecture briefly reviews the major recent advances in radio astronomy made possible by ultra-deep surveys, reaching microJansky flux density levels. A giant step forward in many fields, including the study of the evolution of the cosmic star formation history is expected with the advent of the Square Kilometer Array (SKA).


title: CUPID-0: the first array of enriched scintillating bolometers for 0\nu\beta\beta decay investigations

abstract: The CUPID-0 detector hosted at the Laboratori Nazionali del Gran Sasso, Italy, is the first large array of enriched scintillating cryogenic detectors for the investigation of $^{82}$Se neutrinoless double-beta decay (0$\nu\beta\beta$). CUPID-0 aims at measuring a background index in the region of interest (RoI) for 0$\nu\beta\beta$ at the level of 10$^{-3}$ c/keV/kg/y, the lowest value ever measured using cryogenic detectors. This result can be achieved by a state of the art technology for background suppression and thorough protocols and procedures for detector preparation and construction. In this paper, the different phases of the detector design and construction will be presented, from the material selection (for the absorber production) to the new and innovative detector structure. The successful construction of the detector lead to promising detector performance which are here preliminarily discussed


title: Sharp bilinear estimates and its application to a system of quadratic derivative nonlinear Schr\"odinger equations

abstract: In the present paper, we consider the Cauchy problem of the system of quadratic derivative nonlinear Schr\"odinger equations for the spatial dimension $d=2$ and $3$. This system was introduced by M. Colin and T. Colin (2004). The first author obtained some well-posedness results in the Sobolev space $H^{s}$. But under some condition for the coefficient of Laplacian, this result is not optimal. We improve the bilinear estimate by using the nonlinear version of the classical Loomis-Whitney inequality, and prove the well-posedness in $H^s$ for $s\ge 1/2$ if $d=2$, and $s>1/2$ if $d=3$.


title: A 4-Approximation Algorithm for k-Prize Collecting Steiner Tree Problems

abstract: This paper studies a 4-approximation algorithm for k-prize collecting Steiner tree problems. This problem generalizes both k-minimum spanning tree problems and prize collecting Steiner tree problems. Our proposed algorithm employs two 2-approximation algorithms for k-minimum spanning tree problems and prize collecting Steiner tree problems. Also our algorithm framework can be applied to a special case of k-prize collecting traveling salesman problems.


title: A Study of Position Bias in Digital Library Recommender Systems

abstract: "Position bias" describes the tendency of users to interact with items on top of a list with higher probability than with items at a lower position in the list, regardless of the items' actual relevance. In the domain of recommender systems, particularly recommender systems in digital libraries, position bias has received little attention. We conduct a study in a real-world recommender system that delivered ten million related-article recommendations to the users of the digital library Sowiport, and the reference manager JabRef. Recommendations were randomly chosen to be shuffled or non-shuffled, and we compared click-through rate (CTR) for each rank of the recommendations. According to our analysis, the CTR for the highest rank in the case of Sowiport is 53% higher than expected in a hypothetical non-biased situation (0.189% vs. 0.123%). Similarly, in the case of Jabref the highest rank received a CTR of 1.276%, which is 87% higher than expected (0.683%). A chi-squared test confirms the strong relationship between the rank of the recommendation shown to the user and whether the user decided to click it (p < 0.01 for both Jabref and Sowiport). Our study confirms the findings from other domains, that recommendations in the top positions are more often clicked, regardless of their actual relevance.


title: Power-of-$d$-Choices with Memory: Fluid Limit and Optimality

abstract: In multi-server distributed queueing systems, the access of stochastically arriving jobs to resources is often regulated by a dispatcher, also known as load balancer. A fundamental problem consists in designing a load balancing algorithm that minimizes the delays experienced by jobs. During the last two decades, the power-of-$d$-choice algorithm, based on the idea of dispatching each job to the least loaded server out of $d$ servers randomly sampled at the arrival of the job itself, has emerged as a breakthrough in the foundations of this area due to its versatility and appealing asymptotic properties. In this paper, we consider the power-of-$d$-choice algorithm with the addition of a local memory that keeps track of the latest observations collected over time on the sampled servers. Then, each job is sent to a server with the lowest observation. We show that this algorithm is asymptotically optimal in the sense that the load balancer can always assign each job to an idle server in the large-system limit. This holds true if and only if the system load $\lambda$ is less than $1-\frac{1}{d}$. If this condition is not satisfied, we show that queue lengths are tightly bounded by $\left\lceil - \frac{ \log (1-\lambda)}{\log (\lambda d +1)} \right\rceil$. This is in contrast with the classic version of the power-of-$d$-choice algorithm, where at the fluid scale a strictly positive proportion of servers containing $i$ jobs exists for all $i\ge 0$, in equilibrium. Our results quantify and highlight the importance of using memory as a means to enhance performance in randomized load balancing.


title: On superintegrable monopole systems

abstract: Superintegrable systems with monopole interactions in flat and curved spaces have attracted much attention. For example, models in spaces with a Taub-NUT metric are well-known to admit the Kepler-type symmetries and provide non-trivial generalizations of the usual Kepler problems. In this paper, we overview new families of superintegrable Kepler, MIC-harmonic oscillator and deformed Kepler systems interacting with Yang-Coulomb monopoles in the flat and curved Taub-NUT spaces. We present their higher-order, algebraically independent integrals of motion via the direct and constructive approaches which prove the superintegrability of the models. The integrals form symmetry polynomial algebras of the systems with structure constants involving Casimir operators of certain Lie algebras. Such algebraic approaches provide a deeper understanding to the degeneracies of the energy spectra and connection between wave functions and differential equations and geometry.


title: An Obstruction to Higher-Dimensional Kernel of Dirac Operators

abstract: This paper provides a $K$-theoretic obstruction for higher kernel dimension for Dirac operators. For this we use a fibre-wise Dirac operator that gives rise to a family of Fredholm operators representing a class in topological $K$-theory. Then Chern classes of this $K$-class contain some information about the kernel of the operators.


title: Non-Hermiticity and conservation of orthogonal relation in dielectric microcavity

abstract: Non-Hermitian properties of open quantum systems and their applications have attracted much attention in recent years. While most of the studies focus on the characteristic nature of non-Hermitian systems, here we focus on the following issue: A non-Hermitian system can be a subsystem of a Hermitian system as one can clearly see in Feshbach projective operator (FPO) formalism. In this case, the orthogonality of the eigenvectors of the total (Hermitian) system must be sustained, despite the eigenvectors of the subsystem (non-Hermitian) satisfy the bi-orthogonal condition. Therefore, one can predict that there must exist some remarkable processes that relate the non-Hermitian subsystem and the rest part, and ultimately preserve the Hermiticity of the total system. In this paper, we study such processes in open elliptical microcavities. The inner part of the cavity is a non-Hermitian system, and the outer part is the coupled bath in FPO formalism. We investigate the correlation between the inner- and the outer-part behaviors associated with the avoided resonance crossings (ARCs), and analyze the results in terms of a trade-off between the relative difference of self-energies and collective Lamb shifts. These results come from the conservation of the orthogonality in the total Hermitian quantum system.


title: On the Stable Ergodicity of Berger-Carrasco's example

abstract: We prove the stable ergodicity of an example of a volume-preserving, partially hyperbolic diffeomorphism introduced by Pierre Berger and Pablo Carrasco. This example is robustly non-uniformly hyperbolic, with two dimensional center, almost every point has both positive and negative Lyapunov exponents along the center direction and does not admit a dominated splitting of the center direction. The main novelty of our proof is that we do not use accessibility.


title: Implementing distributed {\lambda}-calculus interpreter

abstract: This paper describes how one can implement distributed {\lambda}-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is introduced for the interpretation part and as for distribution, the actor model is used. In this work we are not providing general solution for parallelism, but we consider particular patterns, which always can be parallelized. As a result, the basic extensible implementation of call-by-name distributed machine is introduced and prototype is presented. We achieved computation speed improvement in some cases, but efficient distributed version is not achieved, problems are discussed in evaluation section. This work provides a foundation for further research, completing the implementation it is possible to add concurrency for non-determinism, improve the interpreter using call-by-need semantic or study optimal auto parallelization to generalize what could be done efficiently in parallel.


title: Measurements of differential cross sections of top quark pair production in association with jets in ${pp}$ collisions at $\sqrt{s}=13$ TeV using the ATLAS detector

abstract: Measurements of differential cross sections of top quark pair production in association with jets by the ATLAS experiment at the LHC are presented. The measurements are performed as functions of the top quark transverse momentum, the transverse momentum of the top quark-antitop quark system and the out-of-plane transverse momentum using data from $pp$ collisions at $\sqrt{s}=13$ TeV collected by the ATLAS detector at the LHC in 2015 and corresponding to an integrated luminosity of 3.2 fb$^{-1}$. The top quark pair events are selected in the lepton (electron or muon) + jets channel. The measured cross sections, which are compared to several predictions, allow a detailed study of top quark production.


title: Deep Residual Network for Joint Demosaicing and Super-Resolution

abstract: In digital photography, two image restoration tasks have been studied extensively and resolved independently: demosaicing and super-resolution. Both these tasks are related to resolution limitations of the camera. Performing super-resolution on a demosaiced images simply exacerbates the artifacts introduced by demosaicing. In this paper, we show that such accumulation of errors can be easily averted by jointly performing demosaicing and super-resolution. To this end, we propose a deep residual network for learning an end-to-end mapping between Bayer images and high-resolution images. By training on high-quality samples, our deep residual demosaicing and super-resolution network is able to recover high-quality super-resolved images from low-resolution Bayer mosaics in a single step without producing the artifacts common to such processing when the two operations are done separately. We perform extensive experiments to show that our deep residual network achieves demosaiced and super-resolved images that are superior to the state-of-the-art both qualitatively and in terms of PSNR and SSIM metrics.


title: The Discretized Adiabatic Theorem

abstract: A discretized version of the adiabatic theorem is described with the help of a rule relating a Hermitian operator to its expectation value and variance. The simple initial operator X with known ground state is transformed in a series of N small steps into a more complicated final operator Z with unknown ground state. Each operator along the discretised path in the space of Hermitian matrices is used to measure the state, initially the ground state of X. Measurements similar to the Zeno effect or Renninger's negative measurements modify the state incrementally. This process eventually leads to an eigenstate combination of Z. In the limit of vanishing step size the state stays with overwhelming probability in the ground state of each of the N observables.


title: On the Decidability of Reachability in Linear Time-Invariant Systems

abstract: We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by boolean combinations of linear inequalities. Decidability of the version of the reachability problem in which control sets are affine subspaces of $\mathbb{R}^n$ is a fundamental result in control theory. Our first result is that reachability is undecidable if the set of controls is a finite union of affine subspaces. We also consider versions of the reachability problem in which (i)~the set of controls consists of a single affine subspace together with the origin and (ii)~the set of controls is a convex polytope. In these two cases we respectively show that the reachability problem is as hard as Skolem's Problem and the Positivity Problem for linear recurrence sequences (whose decidability has been open for several decades). Our main contribution is to show decidability of a version of the reachability problem in which control sets are convex polytopes, under certain spectral assumptions on the transition matrix.


title: Simulating and assessing boson sampling experiments with phase-space representations

abstract: The search for new, application-specific quantum computers designed to outperform any classical computer is driven by the ending of Moore's law and the quantum advantages potentially obtainable. Photonic networks are promising examples, with experimental demonstrations and potential for obtaining a quantum computer to solve problems believed classically impossible. This introduces a challenge: how does one design or understand such photonic networks? One must be able to calculate observables using general methods capable of treating arbitrary inputs, dissipation and noise. We develop novel complex phase-space software for simulating these photonic networks, and apply this to boson sampling experiments. Our techniques give sampling errors orders of magnitude lower than experimental correlation measurements for the same number of samples. We show that these techniques remove systematic errors in previous algorithms for estimating correlations, with large improvements in errors in some cases. In addition, we obtain a scalable channel-combination strategy for assessment of boson sampling devices.


title: The exact asymptotics for hitting probability of a remote orthant by a multivariate L\'evy process: the Cram\'er case

abstract: For a multivariate L\'evy process satisfying the Cram\'er moment condition and having a drift vector with at least one negative component, we derive the exact asymptotics of the probability of ever hitting the positive orthant that is being translated to infinity along a fixed vector with positive components. This problem is motivated by the multivariate ruin problem introduced in F. Avram et al. (2008) in the two-dimensional case. Our solution relies on the analysis from Y. Pan and K. Borovkov (2017) for multivariate random walks and an appropriate time discretization.


title: When Sheep Shop: Measuring Herding Effects in Product Ratings with Natural Experiments

abstract: As online shopping becomes ever more prevalent, customers rely increasingly on product rating websites for making purchase decisions. The reliability of online ratings, however, is potentially compromised by the so-called herding effect: when rating a product, customers may be biased to follow other customers' previous ratings of the same product. This is problematic because it skews long-term customer perception through haphazard early ratings. The study of herding poses methodological challenges. In particular, observational studies are impeded by the lack of counterfactuals: simply correlating early with subsequent ratings is insufficient because we cannot know what the subsequent ratings would have looked like had the first ratings been different. The methodology introduced here exploits a setting that comes close to an experiment, although it is purely observational---a natural experiment. Our key methodological device consists in studying the same product on two separate rating sites, focusing on products that received a high first rating on one site, and a low first rating on the other. This largely controls for confounds such as a product's inherent quality, advertising, and producer identity, and lets us isolate the effect of the first rating on subsequent ratings. In a case study, we focus on beers as products and jointly study two beer rating sites, but our method applies to any pair of sites across which products can be matched. We find clear evidence of herding in beer ratings. For instance, if a beer receives a very high first rating, its second rating is on average half a standard deviation higher, compared to a situation where the identical beer receives a very low first rating. Moreover, herding effects tend to last a long time and are noticeable even after 20 or more ratings. Our results have important implications for the design of better rating systems.


title: Convexity-Increasing Morphs of Planar Graphs

abstract: We study the problem of convexifying drawings of planar graphs. Given any planar straight-line drawing of an internally 3-connected graph, we show how to morph the drawing to one with strictly convex faces while maintaining planarity at all times. Our morph is convexity-increasing, meaning that once an angle is convex, it remains convex. We give an efficient algorithm that constructs such a morph as a composition of a linear number of steps where each step either moves vertices along horizontal lines or moves vertices along vertical lines. Moreover, we show that a linear number of steps is worst-case optimal. To obtain our result, we use a well-known technique by Hong and Nagamochi for finding redrawings with convex faces while preserving y-coordinates. Using a variant of Tutte's graph drawing algorithm, we obtain a new proof of Hong and Nagamochi's result which comes with a better running time. This is of independent interest, as Hong and Nagamochi's technique serves as a building block in existing morphing algorithms.


title: Desynchronization induced by time-varying network

abstract: The synchronous dynamics of an array of excitable oscillators, coupled via a generic graph, is studied. Non homogeneous perturbations can grow and destroy synchrony, via a self-consistent instability which is solely instigated by the intrinsic network dynamics. By acting on the characteristic time-scale of the network modulation, one can make the examined system to behave as its (partially) averaged analog. This result if formally obtained by proving an extended version of the averaging theorem, which allows for partial averages to be carried out. As a byproduct of the analysis, oscillation death are reported to follow the onset of the network driven instability.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.PS physics.soc-ph q-bio.NC


title: Dynamic Cloud Network Control under Reconfiguration Delay and Cost

abstract: Network virtualization and programmability allow operators to deploy a wide range of services over a common physical infrastructure and elastically allocate cloud and network resources according to changing requirements. While the elastic reconfiguration of virtual resources enables dynamically scaling capacity in order to support service demands with minimal operational cost, reconfiguration operations make resources unavailable during a given time period and may incur additional cost. In this paper, we address the dynamic cloud network control problem under non-negligible reconfiguration delay and cost. We show that while the capacity region remains unchanged regardless of the reconfiguration delay/cost values, a reconfiguration-agnostic policy may fail to guarantee throughput-optimality and minimum cost under nonzero reconfiguration delay/cost. We then present an adaptive dynamic cloud network control policy that allows network nodes to make local flow scheduling and resource allocation decisions while controlling the frequency of reconfiguration in order to support any input rate in the capacity region and achieve arbitrarily close to minimum cost for any finite reconfiguration delay/cost values.


title: Algebraic non-integrability of magnetic billiards on the Sphere and Hyperbolic plane

abstract: We consider billiard ball motion in a convex domain on a constant curvature surface influenced by the constant magnetic field. We examine the existence of integral of motion which is polynomial in velocities. We prove that if such an integral exists then the boundary curve of the domain determines an algebraic curve in $\mathbf{C}^3$ which must be nonsingular. Using this fact we deduce that for any domain different from round disc for all but finitely many values of the magnitude of the magnetic field billiard motion does not have Polynomial in velocities integral of motion.


title: Surface-mode-assisted amplification of radiative heat transfer between nanoparticles

abstract: We show that the radiative heat flux between two nanoparticles can be significantly amplified when they are placed in proximity of a planar substrate supporting a surface resonance. The amplification factor goes beyond two orders of magnitude in the case of dielectric nanoparticles, whereas it is lower in the case of metallic nanoparticles. We analyze how this effect depends on the frequency and on the particles-surface distance, by clearly identifying the signature of the surface mode producing the amplification. Finally, we show how the presence of a graphene sheet on top of the substrate can modify the effect, by making an amplification of two orders of magnitude possible also in the case of metallic nanoparticles. This long range amplification effect should play an important role in the thermal relaxation dynamics of nanoparticle networks.


title: High precision wavefront control in point spread function engineering for single emitter localization

abstract: Point Spread Function (PSF) engineering is used in single emitter localization to measure the emitter position in 3D and possibly other parameters such as the emission color or dipole orientation as well. Advanced PSF models such as spline fits to experimental PSFs or the vectorial PSF model can be used in the corresponding localization algorithms in order to model the intricate spot shape and deformations correctly. The complexity of the optical architecture and fit model makes PSF engineering approaches particularly sensitive to optical aberrations. Here, we present a calibration and alignment protocol for fluorescence microscopes equipped with a spatial light modulator (SLM) with the goal of establishing a wavefront error well below the diffraction limit for optimum application of complex engineered PSFs. We achieve high-precision wavefront control, to a level below 20 m$\lambda$ wavefront aberration over a 30 minute time window after the calibration procedure, using a separate light path for calibrating the pixel-to-pixel variations of the SLM, and alignment of the SLM with respect to the optical axis and Fourier plane within 3 $\mu$m ($x/y$) and 100 $\mu$m ($z$) error. Aberrations are retrieved from a fit of the vectorial PSF model to a bead $z$-stack and compensated with a residual wavefront error comparable to the error of the SLM calibration step. This well-calibrated and corrected setup makes it possible to create complex `3D+$\lambda$' PSFs that fit very well to the vectorial PSF model. Proof-of-principle bead experiments show precisions below 10~nm in $x$, $y$, and $\lambda$, and below 20~nm in $z$ over an axial range of 1 $\mu$m with 2000 signal photons and 12 background photons.


title: Strong Convexity in Stochastic Programs with Deviation Risk Measures

abstract: We give sufficient conditions for the expected excess and the upper semideviation of recourse functions to be strongly convex. This is done in the setting of two-stage stochastic programs with complete linear recourse and random right-hand side. This work extends results on strong convexity of risk-neutral models.


title: On the Cauchy problem for the Zakharov-Rubenchik/Benney-Roskes system

abstract: We address various issues concerning the Cauchy problem for the Zakharov-Rubenchik system (known as the Benney-Roskes system in water waves theory), which models the interaction of short and long waves in many physical situations. Motivated by the transverse stability/instability of the one-dimensional solitary wave (line solitary), we study the Cauchy problem in the background of a line solitary wave.


title: Real holomorphic sections of the Deligne-Hitchin twistor space

abstract: We study the holomorphic sections of the Deligne-Hitchin moduli space of a compact Riemann surface that are invariant under the natural anti-holomorphic involutions of the moduli space. Their relationships with the harmonic maps are established. As a bi-product, a question of Simpson on such sections, posed in \cite{Si2}, is answered.


title: A Machine Learning Approach to Air Traffic Route Choice Modelling

abstract: Air Traffic Flow and Capacity Management (ATFCM) is one of the constituent parts of Air Traffic Management (ATM). The goal of ATFCM is to make airport and airspace capacity meet traffic demand and, when capacity opportunities are exhausted, optimise traffic flows to meet the available capacity. One of the key enablers of ATFCM is the accurate estimation of future traffic demand. The available information (schedules, flight plans, etc.) and its associated level of uncertainty differ across the different ATFCM planning phases, leading to qualitative differences between the types of forecasting that are feasible at each time horizon. While abundant research has been conducted on tactical trajectory prediction (i.e., during the day of operations), trajectory prediction in the pre-tactical phase, when few or no flight plans are available, has received much less attention. As a consequence, the methods currently in use for pre-tactical traffic forecast are still rather rudimentary, often resulting in suboptimal ATFCM decision making. This paper proposes a machine learning approach for the prediction of airlines route choices between two airports as a function of route characteristics, such as flight efficiency, air navigation charges and expected level of congestion. Different predictive models based on multinomial logistic regression and decision trees are formulated and calibrated with historical traffic data, and a critical evaluation of each model is conducted. We analyse the predictive power of each model in terms of its ability to forecast traffic volumes at the level of charging zones, proving significant potential to enhance pre-tactical traffic forecast. We conclude by discussing the limitations and room for improvement of the proposed approach, as well as the future developments required to produce reliable traffic forecasts at a higher spatial and temporal resolution.


title: Constraints on $\gamma$-CDM interactions matching the Planck data precision

abstract: The Planck experiment has measured the Cosmic Microwave Background (CMB) angular spectrum with unprecedented accuracy, and these results are likely to remain the state-of-the art for a decade or more. Since these measurements are going to be used to forecast Euclid's ability to test alternative dark matter models, we aim to set the final CMB constraint on the cross section of dark matter-photon scattering in the early universe. As the formalism has not been published in the literature yet, we present the key steps to derive the full set of linearized Einstein and Boltzmann equations and elucidate necessary modifications to the line of sight and the tight coupling approximation. These approximation schemes are commonly used in Boltzmann codes to reduce computational costs, but the tight coupling regime has been neglected in previous works related to dark matter-photon interactions. Our computations account for a dark matter sound speed, which was neglected in previous work. We find that its effect is negligible on the CMB spectra but fairly important on the linear matter power spectrum. We then analyze the Planck data, with and without the 2015 polarization data at high multipoles. In both cases our constraint on the ratio of the elastic scattering cross section to the dark matter mass becomes more stringent with respect to previous constraints. The change is about 35\% when the full Planck dataset is added (which includes E-mode polarization at high multipoles and the lensing potential power spectrum) and about 20\%. when we only account for the polarization data at low multipoles and the full temperature spectrum. Our most conservative limit reads as $\sigma_{\mathrm{DM}-\gamma} \leq 2.25\times 10^{-6}\,\sigma_\mathrm{Th}\left(m_\mathrm{DM}/\mathrm{GeV}\right)$ at 95\% confidence. We do not expect this limit to change by adding the recently published SPT data.


title: Geomagnetic storm forecasting service StormFocus: 5 years online

abstract: Forecasting geomagnetic storms is highly important for many space weather applications. In this study we review performance of the geomagnetic storm forecasting service StormFocus during 2011--2016. The service was implemented in 2011 at SpaceWeather.Ru and predicts the expected strength of geomagnetic storms as measured by $Dst$ index several hours ahead. The forecast is based on L1 solar wind and IMF measurements and is updated every hour. The solar maximum of cycle 24 is weak, so most of the statistics are on rather moderate storms. We verify quality of selection criteria, as well as reliability of real-time input data in comparison with the final values, available in archives. In real-time operation 87% of storms were correctly predicted while the reanalysis running on final OMNI data predicts successfully 97% of storms. Thus the main reasons for prediction errors are discrepancies between real-time and final data (Dst, solar wind and IMF) due to processing errors, specifics of datasets.


title: Closing the loop on multisensory interactions: A neural architecture for multisensory causal inference and recalibration

abstract: When the brain receives input from multiple sensory systems, it is faced with the question of whether it is appropriate to process the inputs in combination, as if they originated from the same event, or separately, as if they originated from distinct events. Furthermore, it must also have a mechanism through which it can keep sensory inputs calibrated to maintain the accuracy of its internal representations. We have developed a neural network architecture capable of i) approximating optimal multisensory spatial integration, based on Bayesian causal inference, and ii) recalibrating the spatial encoding of sensory systems. The architecture is based on features of the dorsal processing hierarchy, including the spatial tuning properties of unisensory neurons and the convergence of different sensory inputs onto multisensory neurons. Furthermore, we propose that these unisensory and multisensory neurons play dual roles in i) encoding spatial location as separate or integrated estimates and ii) accumulating evidence for the independence or relatedness of multisensory stimuli. We further propose that top-down feedback connections spanning the dorsal pathway play key a role in recalibrating spatial encoding at the level of early unisensory cortices. Our proposed architecture provides possible explanations for a number of human electrophysiological and neuroimaging results and generates testable predictions linking neurophysiology with behaviour.


title: Singular weighted Sobolev spaces and diffusion processes: an example (due to V.V. Zhikov)

abstract: We consider the Sobolev space over $\mathbb{R}^d$ of square integrable functions whose gradient is also square integrable with respect to some positive weight. Tt is well known that smooth functions are dense in the weighted Sobolev space when the weight is uniformly bounded from below and above. This may not be the case when the weight is unbounded. In this paper, we focus on a class of two dimensional weights where the density of smooth functions does not hold. This class was originally introduced by V.V. Zhikov; such weights have a unique singularity point of non-zero capacity. Following V.V. Zhikov, we first give a detailed analytical description of the weighted Sobolev space. Then, we explain how to use Dirichlet forms theory to associate a diffusion process to such a degenerate non-regular space.


title: Electron pairing: from metastable electron pair to bipolaron

abstract: Starting from the shell structure in atoms and the significant correlation within electron pairs, we distinguish the exchange-correlation effects between two electrons of opposite spins occupying the same orbital from the average correlation among many electrons in a crystal. In the periodic potential of the crystal with lattice constant larger than the effective Bohr radius of the valence electrons, these correlated electron pairs can form a metastable energy band above the corresponding single-electron band separated by an energy gap. In order to determine if these metastable electron pairs can be stabilized, we calculate the many-electron exchange-correlation renormalization and the polaron correction to the two-band system with single electrons and electron pairs. We find that the electron-phonon interaction is essential to counterbalance the Coulomb repulsion and to stabilize the electron pairs. The interplay of the electron-electron and electron-phonon interactions, manifested in the exchange-correlation energies, polaron effects, and screening, is responsible for the formation of electron pairs (bipolarons) that are located on the Fermi surface of the single-electron band.


title: Quasismoooth hypersurfaces in toric varieties

abstract: We provide a combinatorial characterization of monomial linear systems on toric varieties whose general member is quasismooth. This is given both in terms of the Newton polytope and in terms of the matrix of exponents of a monomial basis.