title: An Ontology of Nature with Local Causality, Parallel Lives, and Many Relative Worlds

abstract: Parallel Lives (PL) is an ontological model of nature in which quantum mechanics and special relativity are unified in a single universe with a single space-time. Point-like objects called lives are the only fundamental objects in this space-time, and they propagate at or below c, and interact with one another only locally at point-like events in space-time, very much like classical point particles. The only causes and effects in the universe occur when lives meet locally, and thus the causal structure of interaction events in space-time is Lorentz invariant. Each life traces a continuous world-line through space-time, and experiences its own relative world, fully defined by the outcomes of past events along its world-line (never superpositions), which are encoded in its external memory. A quantum field comprises a continuum of lives throughout space-time, and familiar physical systems like particles each comprise a sub-continuum of the lives of the field. Each life carries an internal memory containing a local relative wavefunction, which is a local piece of a pure universal wavefunction, but only the relative wavefunctions are physically real in PL, and not the universal wavefunction in configuration space. Furthermore, while the universal wavefunction tracks the average behavior of the lives of a system, it fails to track their individual dynamics and trajectories. There is always a preferred separable basis, and for an irreducible physical system, each orthogonal term in this basis is a different relative world - each containing some fraction of the lives of the system. The relative wavefunctions in the lives' internal memories govern which lives of different systems can meet during future local interactions, and thereby enforce entanglement correlations - including Bell inequality violations.


title: Computing LPMLN Using ASP and MLN Solvers

abstract: LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic is defined. We present two implementations of LPMLN, $\text{LPMLN2ASP}$ and $\text{LPMLN2MLN}$. System $\text{LPMLN2ASP}$ translates LPMLN programs into the input language of answer set solver $\text{CLINGO}$, and using weak constraints and stable model enumeration, it can compute most probable stable models as well as exact conditional and marginal probabilities. System $\text{LPMLN2MLN}$ translates LPMLN programs into the input language of Markov Logic solvers, such as $\text{ALCHEMY}$, $\text{TUFFY}$, and $\text{ROCKIT}$, and allows for performing approximate probabilistic inference on LPMLN programs. We also demonstrate the usefulness of the LPMLN systems for computing other languages, such as ProbLog and Pearl's Causal Models, that are shown to be translatable into LPMLN. (Under consideration for acceptance in TPLP)


title: Weak Gravity Conjecture, Multiple Point Principle and the Standard Model Landscape

abstract: The requirement for an ultraviolet completable theory to be well-behaved upon compactification has been suggested as a guiding principle for distinguishing the landscape from the swampland. Motivated by the weak gravity conjecture and the multiple point principle, we investigate the vacuum structure of the standard model compactified on $S^1$ and $T^2$. The measured value of the Higgs mass implies, in addition to the electroweak vacuum, the existence of a new vacuum where the Higgs field value is around the Planck scale. We explore two- and three-dimensional critical points of the moduli potential arising from compactifications of the electroweak vacuum as well as this high scale vacuum, in the presence of Majorana/Dirac neutrinos and/or axions. We point out potential sources of instability for these lower dimensional critical points in the standard model landscape. We also point out that a high scale $AdS_4$ vacuum of the Standard Model, if exists, would be at odd with the conjecture that all non-supersymmetric $AdS$ vacua are unstable. We argue that, if we require a degeneracy between three- and four-dimensional vacua as suggested by the multiple point principle, the neutrinos are predicted to be Dirac, with the mass of the lightest neutrino O(1-10) meV, which may be tested by future CMB, large scale structure and $21$cm line observations.


title: High-precision Joint Time and Frequency Transfer over a Fiber-optic Telecom Testbed

abstract: It is highly desired to operate a joint time and frequency transfer over the exiting fiber-optic telecom networks with the commercial data transmission. Previously, we proposed a time transfer scheme based on bidirectional time division multiplexing transmission over a single fiber with the same wavelength (BTDM-SFSW), and an optical amplification scheme of single-fiber bidirectional-transmission unidirectional optical amplifier (SFBT-UOA). The effects of excess noises like Rayleigh backscattering etc. on the received time signals can be efficiently suppressed for an accepted timing jitter. Simultaneously, the bidirectional propagation delay symmetry can be guaranteed for an expected uncertainty without requiring complicated and expensive link calibration. In this paper, we propose a high-precision joint BTDM-SFSW based time and unidirectional frequency transfer over conventional telecom networks. A stable frequency signal is achieved by compensating the fiber temperature dependent phase variation according to the time transfer. The proposed joint transfer scheme is demonstrated over a 320 km fiber-optic telecom testbed with two 10 Gb/s data transmission channels. The time transfer stabilities (time deviation, TDEV) of 23.2 ps/s and 5.4 ps/10^5 s, respectively, and the frequency transfer stabilities (Allan deviation, ADEV) of 5.4X10^(-13)/s and 9.5X10^(-17)/10^5 s, respectively, are reached. The measured bit error rates (BER) of the 10 Gb/s communication data are well below 10^(-13).


title: BV-BFV approach to General Relativity: Palatini-Cartan-Holst action

abstract: We show that the Palatini--Cartan--Holst formulation of General Relativity in tetrad variables must be complemented with additional requirements on the fields when boundaries are taken into account for the associated BV theory to induce a compatible BFV theory on the boundary.


title: ALMA multiline observations toward the central region of NGC 613

abstract: We report ALMA observations of molecular gas and continuum emission in the 90 and 350 GHz bands toward a nearby Seyfert galaxy NGC 613. Radio continuum emissions were detected at 95 and 350 GHz from both the circum-nuclear disk (CND) ($r\leq90$ pc) and a star-forming ring (250 pc $\leq r\leq 340$ pc), and the 95 GHz continuum was observed to extend from the center at a position angle of $20^{\circ} \pm 8^{\circ}$. The archival 4.9 GHz data and our 95 GHz data show spectral indices of $\alpha\leq -0.6$ and $-0.2$ along the jets and in the star-forming ring; these can be produced by synchrotron emission and free-free emission, respectively. In addition, we detected the emission of CO(3-2), HCN(1-0), HCN(4-3), HCO$^+$(1-0), HCO$^+$(4-3), CS(2-1), and CS(7-6) in both the CND and ring. The rotational temperatures and column densities of molecules derived from $J=1-0$ and $4-3$ lines of HCN and HCO$^+$ and $J=2-1$ and $7-6$ of CS in the CND and ring were derived. Furthermore, a non-LTE model revealed that the kinetic temperature of $T_{\rm k}=350-550$ K in the CND is higher than $T_{\rm k}=80-300$ K in the ring, utilizing the intensity ratios of HCN, HCO$^+$, and CS. The star-formation efficiency in the CND is almost an order of magnitude lower than those at the spots in the star-forming ring, while the dominant activity of the central region is the star formation rather than active galactic nuclei. We determined that the large velocity dispersion of CO extending toward the north side of the CND and decomposing into blueshifted and redshifted features is probably explained by the effect of the radio jets. These results strongly suggest that the jets heat the gas in the CND, in which the feedback prevents star formation.


title: Multi-Branch Fully Convolutional Network for Face Detection

abstract: Face detection is a fundamental problem in computer vision. It is still a challenging task in unconstrained conditions due to significant variations in scale, pose, expressions, and occlusion. In this paper, we propose a multi-branch fully convolutional network (MB-FCN) for face detection, which considers both efficiency and effectiveness in the design process. Our MB-FCN detector can deal with faces at all scale ranges with only a single pass through the backbone network. As such, our MB-FCN model saves computation and thus is more efficient, compared to previous methods that make multiple passes. For each branch, the specific skip connections of the convolutional feature maps at different layers are exploited to represent faces in specific scale ranges. Specifically, small faces can be represented with both shallow fine-grained and deep powerful coarse features. With this representation, superior improvement in performance is registered for the task of detecting small faces. We test our MB-FCN detector on two public face detection benchmarks, including FDDB and WIDER FACE. Extensive experiments show that our detector outperforms state-of-the-art methods on all these datasets in general and by a substantial margin on the most challenging among them (e.g. WIDER FACE Hard subset). Also, MB-FCN runs at 15 FPS on a GPU for images of size 640 x 480 with no assumption on the minimum detectable face size.


title: Accurate and efficient calculation of response times for groundwater flow

abstract: We study measures of the amount of time required for transient flow in heterogeneous porous media to effectively reach steady state, also known as the response time. Here, we develop a new approach that extends the concept of mean action time. Previous applications of the theory of mean action time to estimate the response time use the first two central moments of the probability density function associated with the transition from the initial condition, at $t=0$, to the steady state condition that arises in the long time limit, as $t \to \infty$. This previous approach leads to a computationally convenient estimation of the response time, but the accuracy can be poor. Here, we outline a powerful extension using the first $k$ raw moments, showing how to produce an extremely accurate estimate by making use of asymptotic properties of the cumulative distribution function. Results are validated using an existing laboratory-scale data set describing flow in a homogeneous porous medium. In addition, we demonstrate how the results also apply to flow in heterogeneous porous media. Overall, the new method is: (i) extremely accurate; and (ii) computationally inexpensive. In fact, the computational cost of the new method is orders of magnitude less than the computational effort required to study the response time by solving the transient flow equation. Furthermore, the approach provides a rigorous mathematical connection with the heuristic argument that the response time for flow in a homogeneous porous medium is proportional to $L^2/D$, where $L$ is a relevant length scale, and $D$ is the aquifer diffusivity. Here, we extend such heuristic arguments by providing a clear mathematical definition of the proportionality constant.


title: Spectroscopy of bright Algol-type semi-detached close binary system HU Tauri (HR 1471)

abstract: Spectroscopic results of HU Tauri that I presented in my Ph.D thesis (Parthasarathy 1979) are published in this paper. The H-alpha line of the secondary is detected. The detection of H-alpha line of the secondary is confirmed based on the high resolution Coude Reticon spectra obtained with the 2.1-m telescope of the McDonald observatory.


title: Study of Buffer-aided physical-layer network coding with ML and MMSE linear code designs for cooperative DS-CDMA systems

abstract: In this work, we propose buffer-aided physical-layer network coding (PLNC) techniques for cooperative direct-sequence code-division multiple access systems. In the proposed buffer-aided PLNC schemes, a relay pair selection algorithm is employed to obtain the relay pair and the packets in the buffer entries with the best performance and the associated link combinations used for data transmission. We also devise PLNC schemes based on the design of linear network coding matrices using maximum likelihood and minimum mean-square error criteria to generate the network coded symbols that are sent to the destination. Simulation results show that the proposed techniques significantly outperform prior art.


title: Fully Decentralized Policies for Multi-Agent Systems: An Information Theoretic Approach

abstract: Learning cooperative policies for multi-agent systems is often challenged by partial observability and a lack of coordination. In some settings, the structure of a problem allows a distributed solution with limited communication. Here, we consider a scenario where no communication is available, and instead we learn local policies for all agents that collectively mimic the solution to a centralized multi-agent static optimization problem. Our main contribution is an information theoretic framework based on rate distortion theory which facilitates analysis of how well the resulting fully decentralized policies are able to reconstruct the optimal solution. Moreover, this framework provides a natural extension that addresses which nodes an agent should communicate with to improve the performance of its individual policy.

categories: cs.SY cs.AI cs.IT math.IT math.OC nlin.AO


title: Sunrise or Sunset: Selective Comparison Learning for Subtle Attribute Recognition

abstract: The difficulty of image recognition has gradually increased from general category recognition to fine-grained recognition and to the recognition of some subtle attributes such as temperature and geolocation. In this paper, we try to focus on the classification between sunrise and sunset and hope to give a hint about how to tell the difference in subtle attributes. Sunrise vs. sunset is a difficult recognition task, which is challenging even for humans. Towards understanding this new problem, we first collect a new dataset made up of over one hundred webcams from different places. Since existing algorithmic methods have poor accuracy, we propose a new pairwise learning strategy to learn features from selective pairs of images. Experiments show that our approach surpasses baseline methods by a large margin and achieves better results even compared with humans. We also apply our approach to existing subtle attribute recognition problems, such as temperature estimation, and achieve state-of-the-art results.


title: Open Source Software for Digital Preservation Repositories: a Survey

abstract: In the digital age, the amount of data produced is growing exponentially. Governments and institutions can no longer rely on old methods for storing data and passing on the knowledge to future generations. Digital data preservation is a mandatory issue that needs proper strategies and tools. With this awareness, efforts are being made to create and perfect software solutions capable of responding to the challenge of properly preserving digital information. This paper focuses on the state-of-the-art in open-source software solutions for the digital preservation and curation field used to assimilate and disseminate information to designated audiences. Eleven open source projects for digital preservation are surveyed in areas such as supported standards and protocols, strategies for preservation, methodologies for reporting, dynamic of development, targeted operating systems, multilingual support and open source license. Furthermore, five of these open source projects, are further analysed, with focus on features deemed important for the area. Along open source solutions, the paper also briefly surveys the standards and protocols relevant for digital data preservation. The area of digital data preservation repositories has several open source solutions, which can form the base to overcome the challenges to reach mature and reliable digital data preservation.


title: Constraining accretion signatures of exoplanets in the TW Hya transitional disk

abstract: We present a near-infrared direct imaging search for accretion signatures of possible protoplanets around the young stellar object (YSO) TW Hya, a multi-ring disk exhibiting evidence of planet formation. The Pa$\beta$ line (1.282 $\mu$m) is an indication of accretion onto a protoplanet, and its intensity is much higher than that of blackbody radiation from the protoplanet. We focused on the Pa$\beta$ line and performed Keck/OSIRIS spectroscopic observations. Although spectral differential imaging (SDI) reduction detected no accretion signatures, the results of the present study allowed us to set 5$\sigma$ detection limits for Pa$\beta$ emission of $5.8\times10^{-18}$ and $1.5\times10^{-18}$ erg/s/cm$^2$ at 0\farcs4 and 1\farcs6, respectively. We considered the mass of potential planets using theoretical simulations of circumplanetary disks and hydrogen emission. The resulting masses were $1.45\pm 0.04$ M$_{\rm J}$ and $2.29 ^{+0.03}_{-0.04}$ M$_{\rm J}$ at 25 and 95 AU, respectively, which agree with the detection limits obtained from previous broadband imaging. The detection limits should allow the identification of protoplanets as small as $\sim$1 M$_{\rm J}$, which may assist in direct imaging searches around faint YSOs for which extreme adaptive optics instruments are unavailable.


title: Machine Learning for Quantum Dynamics: Deep Learning of Excitation Energy Transfer Properties

abstract: Understanding the relationship between the structure of light-harvesting systems and their excitation energy transfer properties is of fundamental importance in many applications including the development of next generation photovoltaics. Natural light harvesting in photosynthesis shows remarkable excitation energy transfer properties, which suggests that pigment-protein complexes could serve as blueprints for the design of nature inspired devices. Mechanistic insights into energy transport dynamics can be gained by leveraging numerically involved propagation schemes such as the hierarchical equations of motion (HEOM). Solving these equations, however, is computationally costly due to the adverse scaling with the number of pigments. Therefore virtual high-throughput screening, which has become a powerful tool in material discovery, is less readily applicable for the search of novel excitonic devices. We propose the use of artificial neural networks to bypass the computational limitations of established techniques for exploring the structure-dynamics relation in excitonic systems. Once trained, our neural networks reduce computational costs by several orders of magnitudes. Our predicted transfer times and transfer efficiencies exhibit similar or even higher accuracies than frequently used approximate methods such as secular Redfield theory


title: Analytic study of 1D diffusive relativistic shock acceleration

abstract: Diffusive shock acceleration (DSA) by relativistic shocks is thought to generate the $dN/dE\propto E^{-p}$ spectra of charged particles in various astronomical relativistic flows. We show that for test particles in one dimension (1D), $p^{-1}=1-\ln\left[\gamma_d(1+\beta_d)\right]/\ln\left[\gamma_u(1+\beta_u)\right]$, where $\beta_u$ ($\beta_d)$ is the upstream (downstream) normalized velocity, and $\gamma$ is the respective Lorentz factor. This analytically captures the main properties of relativistic DSA in higher dimensions, with no assumptions on the diffusion mechanism. Unlike 2D and 3D, here the spectrum is sensitive to the equation of state even in the ultra-relativistic limit, and (for a J{\"u}ttner-Synge equation of state) noticeably hardens with increasing $1<\gamma_u<57$, before logarithmically converging back to $p(\gamma_u\to\infty)=2$. The 1D spectrum is sensitive to drifts, but only in the downstream, and not in the ultra-relativistic limit.


title: On Unlimited Sampling

abstract: Shannon's sampling theorem provides a link between the continuous and the discrete realms stating that bandlimited signals are uniquely determined by its values on a discrete set. This theorem is realized in practice using so called analog--to--digital converters (ADCs). Unlike Shannon's sampling theorem, the ADCs are limited in dynamic range. Whenever a signal exceeds some preset threshold, the ADC saturates, resulting in aliasing due to clipping. The goal of this paper is to analyze an alternative approach that does not suffer from these problems. Our work is based on recent developments in ADC design, which allow for ADCs that reset rather than to saturate, thus producing modulo samples. An open problem that remains is: Given such modulo samples of a bandlimited function as well as the dynamic range of the ADC, how can the original signal be recovered and what are the sufficient conditions that guarantee perfect recovery? In this paper, we prove such sufficiency conditions and complement them with a stable recovery algorithm. Our results are not limited to certain amplitude ranges, in fact even the same circuit architecture allows for the recovery of arbitrary large amplitudes as long as some estimate of the signal norm is available when recovering. Numerical experiments that corroborate our theory indeed show that it is possible to perfectly recover function that takes values that are orders of magnitude higher than the ADC's threshold.


title: A Sub-Character Architecture for Korean Language Processing

abstract: We introduce a novel sub-character architecture that exploits a unique compositional structure of the Korean language. Our method decomposes each character into a small set of primitive phonetic units called jamo letters from which character- and word-level representations are induced. The jamo letters divulge syntactic and semantic information that is difficult to access with conventional character-level units. They greatly alleviate the data sparsity problem, reducing the observation space to 1.6% of the original while increasing accuracy in our experiments. We apply our architecture to dependency parsing and achieve dramatic improvement over strong lexical baselines.


title: ThiNet: A Filter Level Pruning Method for Deep Neural Network Compression

abstract: We propose an efficient and unified framework, namely ThiNet, to simultaneously accelerate and compress CNN models in both training and inference stages. We focus on the filter level pruning, i.e., the whole filter would be discarded if it is less important. Our method does not change the original network structure, thus it can be perfectly supported by any off-the-shelf deep learning libraries. We formally establish filter pruning as an optimization problem, and reveal that we need to prune filters based on statistics information computed from its next layer, not the current layer, which differentiates ThiNet from existing methods. Experimental results demonstrate the effectiveness of this strategy, which has advanced the state-of-the-art. We also show the performance of ThiNet on ILSVRC-12 benchmark. ThiNet achieves 3.31$\times$ FLOPs reduction and 16.63$\times$ compression on VGG-16, with only 0.52$\%$ top-5 accuracy drop. Similar experiments with ResNet-50 reveal that even for a compact network, ThiNet can also reduce more than half of the parameters and FLOPs, at the cost of roughly 1$\%$ top-5 accuracy drop. Moreover, the original VGG-16 model can be further pruned into a very small model with only 5.05MB model size, preserving AlexNet level accuracy but showing much stronger generalization ability.


title: Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs

abstract: Pebble games are single-player games on DAGs involving placing and moving pebbles on nodes of the graph according to a certain set of rules. The goal is to pebble a set of target nodes using a minimum number of pebbles. In this paper, we present a possibly simpler proof of the result in [CLNV15] and strengthen the result to show that it is PSPACE-hard to determine the minimum number of pebbles to an additive $n^{1/3-\epsilon}$ term for all $\epsilon > 0$, which improves upon the currently known additive constant hardness of approximation [CLNV15] in the standard pebble game. We also introduce a family of explicit, constant indegree graphs with $n$ nodes where there exists a graph in the family such that using constant $k$ pebbles requires $\Omega(n^k)$ moves to pebble in both the standard and black-white pebble games. This independently answers an open question summarized in [Nor15] of whether a family of DAGs exists that meets the upper bound of $O(n^k)$ moves using constant $k$ pebbles with a different construction than that presented in [AdRNV17].


title: A characterization of strongly dependent ordered Abelian groups

abstract: We characterize all ordered Abelian groups whose first order theory in the language {+,<} is strongly dependent. The main result of this note was obtained independently by Halevi-Hasson and Farr\'e.


title: Measure complexity and M\"obius disjointness

abstract: In this paper, the notion of measure complexity is introduced for a topological dynamical system and it is shown that Sarnak's M\"{o}bius disjointness conjecture holds for any system for which every invariant Borel probability measure has sub-polynomial measure complexity. Moreover, it is proved that the following classes of topological dynamical systems $(X,T)$ meet this condition and hence satisfy Sarnak's conjecture: (1) Each invariant Borel probability measure of $T$ has discrete spectrum. (2) $T$ is a homotopically trivial $C^\infty$ skew product system on $\mathbb{T}^2$ over an irrational rotation of the circle. Combining this with the previous results it implies that the M\"{o}bius disjointness conjecture holds for any $C^\infty$ skew product system on $\mathbb{T}^2$. (3) $T$ is a continuous skew product map of the form $(ag,y+h(g))$ on $G\times \mathbb{T}^1$ over a minimal rotation of the compact metric abelian group $G$ and $T$ preserves a measurable section. (4) $T$ is a tame system.


title: Superconductivity proximate to antiferromagnetism in a copper-oxide monolayer grown on Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$

abstract: A nodeless superconducting (SC) gap was reported in a recent scanning tunneling spectroscopy experiment of a copper-oxide monolayer grown on the Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (Bi2212) substrate [Y. Zhong {\it et al.}, Sci. Bull. {\bf 61}, 1239 (2016)], which is in stark contrast to the nodal d-wave pairing gap in the bulk cuprates. Motivated by this experiment, we first show with first-principles calculations that the tetragonal CuO (T-CuO) monolayer on the Bi2212 substrate is more stable than the commonly postulated CuO$_{2}$ structure. The T-CuO monolayer is composed of two CuO$_2$ layers sharing the same O atoms. The band structure is obtained by first-principles calculations, and its strong electron correlation is treated with the renormalized mean-field theory. We argue that one CuO$_2$ sublattice is hole doped while the other sublattice remains half filled and may have antiferromagnetic (AF) order. The doped Cu sublattice can show d-wave SC; however, its proximity to the AF Cu sublattice induces a spin-dependent hopping, which splits the Fermi surface and may lead to a full SC gap. Therefore, the nodeless SC gap observed in the experiment could be accounted for by the d-wave SC proximity to an AF order, thus it is extrinsic rather than intrinsic to the CuO$_2$ layers.


title: Proximal Policy Optimization Algorithms

abstract: We propose a new family of policy gradient methods for reinforcement learning, which alternate between sampling data through interaction with the environment, and optimizing a "surrogate" objective function using stochastic gradient ascent. Whereas standard policy gradient methods perform one gradient update per data sample, we propose a novel objective function that enables multiple epochs of minibatch updates. The new methods, which we call proximal policy optimization (PPO), have some of the benefits of trust region policy optimization (TRPO), but they are much simpler to implement, more general, and have better sample complexity (empirically). Our experiments test PPO on a collection of benchmark tasks, including simulated robotic locomotion and Atari game playing, and we show that PPO outperforms other online policy gradient methods, and overall strikes a favorable balance between sample complexity, simplicity, and wall-time.


title: Oxygen passivation mediated tunability of trion and excitons in MoS$_2$

abstract: Using wide spectral range in situ spectroscopic ellipsometry with systematic ultra high vacuum annealing and in situ exposure to oxygen, we report the complex dielectric function of MoS$_2$ isolating the environmental effects and revealing the crucial role of unpassivated and passivated sulphur vacancies. The spectral weights of the A ($1.92$ eV) and B ($2.02$ eV) exciton peaks in the dielectric function reduce significantly upon annealing, accompanied by spectral weight transfer in a broad energy range. Interestingly, the original spectral weights are recovered upon controlled oxygen exposure. This tunability of the excitonic effects is likely due to passivation and reemergence of the gap states in the bandstructure during oxygen adsorption and desorption, respectively, as indicated by ab initio density functional theory calculation results. This work unravels and emphasizes the important role of adsorbed oxygen in the optical spectra and many-body interactions of MoS$_2$.


title: Polar Transform and Local Positivity for Curves

abstract: Using the duality of positive cones, we show that applying the polar transform from convex analysis to local positivity invariants for divisors gives interesting and new local positivity invariants for curves. These new invariants have nice properties similar to those for divisors. In particular, this enables us to give a characterization of the divisorial components of the non-Kahler locus of a big class.


title: On Optimal Power Allocation for Downlink Non-Orthogonal Multiple Access Systems

abstract: Non-orthogonal multiple access (NOMA) enables power-domain multiplexing via successive interference cancellation (SIC) and has been viewed as a promising technology for 5G communication. The full benefit of NOMA depends on resource allocation, including power allocation and channel assignment, for all users, which, however, leads to mixed integer programs. In the literature, the optimal power allocation has only been found in some special cases, while the joint optimization of power allocation and channel assignment generally requires exhaustive search. In this paper, we investigate resource allocation in downlink NOMA systems. As the main contribution, we analytically characterize the optimal power allocation with given channel assignment over multiple channels under different performance criteria. Specifically, we consider the maximin fairness, weighted sum rate maximization, sum rate maximization with quality of service (QoS) constraints, energy efficiency maximization with weights or QoS constraints in NOMA systems. We also take explicitly into account the order constraints on the powers of the users on each channel, which are often ignored in theexisting works, and show that they have a significant impact on SIC in NOMA systems. Then, we provide the optimal power allocation for the considered criteria in closed or semi-closed form. We also propose a low-complexity efficient method to jointly optimize channel assignment and power allocation in NOMA systems by incorporating the matching algorithm with the optimal power allocation. Simulation results show that the joint resource optimization using our optimal power allocation yields better performance than the existing schemes.


title: BRST Conformal Symmetry as A Background-Free Nature of Quantum Gravity

abstract: Quantum gravity that describes the world beyond the Planck scale should be formulated in a background-metric independent manner. Such a background-free nature can be represented as a gauge equivalency under conformal transformations, called the BRST conformal symmetry. In this review, we present quantum field theories of gravity with such symmetry. Since we can choose any background owing to this symmetry as far as it is conformally flat, we here employ the cylindrical background. First, we briefly review the famous BRST Liouville-Virasoro algebra in 2D quantum gravity on $R \times S^1$. We then present recent developments of the BRST conformal algebra and physical states of 4D quantum gravity on $R \times S^3$ whose conformal-factor dynamics is ruled by the Riegert's Wess-Zumino action, which arises in the UV limit of the renormalizable quantum conformal gravity with the "asymptotic background freedom". We find that the BRST conformal invariance makes all physical states real and scalar as well as all negative-metric modes unphysical. We also briefly discuss the dynamics of how the conformal invariance breaks down and how our classical spacetime emerges at low energies, in which a novel interpretation of the "minimal length" we can measure comes out without discretizing spacetime.


title: Evolution of a Pulsar Wind Nebula within a Composite Supernova Remnant

abstract: The interaction between a pulsar wind nebula (PWN) and its host supernova remnant (SNR) can produce a vast array of observable structures. Asymmetry present within these structures derives from the complexity of the composite system, where many factors take turns playing a dominating hand throughout the stages of composite SNR evolution. Of particular interest are systems characterized by blastwave expansion within a nonuniform interstellar medium (ISM), which contain an active pulsar having a substantial "kick" velocity (upward of 300 km s$^{-1}$ ), because these systems tend to produce complex morphologies. We present a numerical model that employs these and several other factors in an effort to generate asymmetry similar to that seen in various X-ray and radio observations. We find that the main parameters driving structure are ISM uniformity and total pulsar spin- down energy, with secondary contributions from factors such as pulsar trajectory and initial spin-down luminosity. We also investigate the dynamics behind PWN "tails," which may form to link active pulsars to a crushed, relic nebula as the reverse shock passes. We find that the directions of such tails are not good indicators of pulsar motion, but direction does reveal the flow of ejecta created by the passage of a reverse shock.


title: Machine Learning for Large-Scale Quality Control of 3D Shape Models in Neuroimaging

abstract: As very large studies of complex neuroimaging phenotypes become more common, human quality assessment of MRI-derived data remains one of the last major bottlenecks. Few attempts have so far been made to address this issue with machine learning. In this work, we optimize predictive models of quality for meshes representing deep brain structure shapes. We use standard vertex-wise and global shape features computed homologously across 19 cohorts and over 7500 human-rated subjects, training kernelized Support Vector Machine and Gradient Boosted Decision Trees classifiers to detect meshes of failing quality. Our models generalize across datasets and diseases, reducing human workload by 30-70\%, or equivalently hundreds of human rater hours for datasets of comparable size, with recall rates approaching inter-rater reliability.


title: Pragmatic-Pedagogic Value Alignment

abstract: As intelligent systems gain autonomy and capability, it becomes vital to ensure that their objectives match those of their human users; this is known as the value-alignment problem. In robotics, value alignment is key to the design of collaborative robots that can integrate into human workflows, successfully inferring and adapting to their users' objectives as they go. We argue that a meaningful solution to value alignment must combine multi-agent decision theory with rich mathematical models of human cognition, enabling robots to tap into people's natural collaborative capabilities. We present a solution to the cooperative inverse reinforcement learning (CIRL) dynamic game based on well-established cognitive models of decision making and theory of mind. The solution captures a key reciprocity relation: the human will not plan her actions in isolation, but rather reason pedagogically about how the robot might learn from them; the robot, in turn, can anticipate this and interpret the human's actions pragmatically. To our knowledge, this work constitutes the first formal analysis of value alignment grounded in empirically validated cognitive models.


title: Video Question Answering via Attribute-Augmented Attention Network Learning

abstract: Video Question Answering is a challenging problem in visual information retrieval, which provides the answer to the referenced video content according to the question. However, the existing visual question answering approaches mainly tackle the problem of static image question, which may be ineffectively for video question answering due to the insufficiency of modeling the temporal dynamics of video contents. In this paper, we study the problem of video question answering by modeling its temporal dynamics with frame-level attention mechanism. We propose the attribute-augmented attention network learning framework that enables the joint frame-level attribute detection and unified video representation learning for video question answering. We then incorporate the multi-step reasoning process for our proposed attention network to further improve the performance. We construct a large-scale video question answering dataset. We conduct the experiments on both multiple-choice and open-ended video question answering tasks to show the effectiveness of the proposed method.


title: Use of global interactions in efficient quantum circuit constructions

abstract: In this paper we study the ways to use a global entangling operator to efficiently implement circuitry common to a selection of important quantum algorithms. In particular, we focus on the circuits composed with global Ising entangling gates and arbitrary addressable single-qubit gates. We show that under certain circumstances the use of global operations can substantially improve the entangling gate count.


title: Improving Discourse Relation Projection to Build Discourse Annotated Corpora

abstract: The naive approach to annotation projection is not effective to project discourse annotations from one language to another because implicit discourse relations are often changed to explicit ones and vice-versa in the translation. In this paper, we propose a novel approach based on the intersection between statistical word-alignment models to identify unsupported discourse annotations. This approach identified 65% of the unsupported annotations in the English-French parallel sentences from Europarl. By filtering out these unsupported annotations, we induced the first PDTB-style discourse annotated corpus for French from Europarl. We then used this corpus to train a classifier to identify the discourse-usage of French discourse connectives and show a 15% improvement of F1-score compared to the classifier trained on the non-filtered annotations.


title: Orbital angular momentum mixing in type II second harmonic generation

abstract: We investigate the non linear mixing of orbital angular momentum in type II second harmonic generation with arbitrary topological charges imprinted on two orthogonally polarized beams. Starting from the basic nonlinear equations for the interacting fields, we derive the selection rules determining the set of paraxial modes taking part in the interaction. Conservation of orbital angular momentum naturally appears as the topological charge selection rule. However, a less intuitive rule applies to the radial orders when modes carrying opposite helicities are combined in the nonlinear crystal, an intriguing feature confirmed by experimental measurements.


title: Recency Bias in the Era of Big Data: The Need to Strengthen the Status of History of Mathematics in Nigerian Schools

abstract: The amount of information available to the mathematics teacher is so enormous that the selection of desirable content is gradually becoming a huge task in itself. With respect to the inclusion of elements of history of mathematics in mathematics instruction, the era of Big Data introduces a high likelihood of Recency Bias, a hitherto unconnected challenge for stakeholders in mathematics education. This tendency to choose recent information at the expense of relevant older, composite, historical facts stands to defeat the aims and objectives of the epistemological and cultural approach to mathematics instructional delivery. This study is a didactic discourse with focus on this threat to the history and pedagogy of mathematics, particularly as it affects mathematics education in Nigeria. The implications for mathematics curriculum developers, teacher-training programmes, teacher lesson preparation, and publication of mathematics instructional materials were also deeply considered.


title: Common and Individual Structure of Brain Networks

abstract: This article focuses on the problem of studying shared- and individual-specific structure in replicated networks or graph-valued data. In particular, the observed data consist of $n$ graphs, $G_i, i=1,\ldots,n$, with each graph consisting of a collection of edges between $V$ nodes. In brain connectomics, the graph for an individual corresponds to a set of interconnections among brain regions. Such data can be organized as a $V \times V$ binary adjacency matrix $A_i$ for each $i$, with ones indicating an edge between a pair of nodes and zeros indicating no edge. When nodes have a shared meaning across replicates $i=1,\ldots,n$, it becomes of substantial interest to study similarities and differences in the adjacency matrices. To address this problem, we propose a method to estimate a common structure and low-dimensional individual-specific deviations from replicated networks. The proposed Multiple GRAph Factorization (M-GRAF) model relies on a logistic regression mapping combined with a hierarchical eigenvalue decomposition. We develop an efficient algorithm for estimation and study basic properties of our approach. Simulation studies show excellent operating characteristics and we apply the method to human brain connectomics data.


title: Dirac states in armchair- and zigzag-edged graphene M\"obius strips

abstract: Edge structure plays an essential role in the nature of electronic states in graphene nanoribbons. By focusing on the interplay between this feature and non-trivial topology in the domain of the Dirac confinement problem, this paper proposes to examine how effects associated with edge shape manifest themselves in conjunction with the topological signature typical of M\"{o}bius strips within a low-energy regime. Aiming to provide an alternative to prevailing tight-binding approaches, zigzag and armchair M\"{o}bius strips are modeled by proposing compatible sets of boundary conditions, prescribing profiles of terminations in both transverse and longitudinal directions which are demonstrated to be coherent in describing consistently transverse edge patterns in combination with a proper M\"{o}bius periodicity. Of particular importance is the absence of constraints on the solution, in contrast with infinite mass analogues, as well as an energy spectrum with a characteristic dual structure responding exclusively to the parity associated with the transverse quantum number. Zigzag ribbons are predicted to possess an intrinsic mechanism for parity inversion, while the armchair ones carry the possibility of a coexistent gapless and gapped band structure. We also inspect the influence of the edge structure on persistent currents. In zigzag-edged configurations they are found to be sensitive to a length-dependent term which behaves as an effective flux. Armchair rings show a quite distinctive property: alternation of constant and flux-dependent currents according to the width of the ring, for a fixed transverse quantum number. In the flux-free case the effects of topology are found to be entirely suppressed, and conventional odd and even currents become undistinguishable.


title: Star formation activity of barred spiral galaxies

abstract: We study the star formation activity of nearby galaxies with bars using a sample of late-type galaxies at 0.02$\leq z \leq$ 0.05489 and $M_r <-19.5$ from the Sloan Digital Sky Survey. We compare the physical properties of strongly and weakly barred galaxies with those of non-barred galaxies that have stellar mass and redshift distributions similar to barred galaxies. We find that the star formation activity of strongly barred galaxies probed by starburstiness, $\it{g-r}$, NUV$-r$, and mid-infrared [3.4]$-$[12] colors is, on average, lower than that of non-barred galaxies. However, weakly barred galaxies do not show such a difference between barred and non-barred galaxies. The amounts of atomic and molecular gas in strongly barred galaxies are smaller than those of non-barred galaxies, and the gas metallicity is higher in strongly barred galaxies than in non-barred galaxies. The gas properties of weakly barred galaxies again show no difference from those of non-barred galaxies. We stack the optical spectra of barred and non-barred galaxies in several mass bins and fit to the stacked spectra with a spectral fitting code, STARLIGHT. We find no significant difference in stellar populations between barred and non-barred galaxies for both strongly and weakly barred galaxies. Our results are consistent with the idea that the star formation activity of barred galaxies is enhanced in the past along with significant gas consumption, and is currently lower than or similar to that of non-barred galaxies. The past star formation enhancement depends on the strength of bars.


title: Energy-dissipation Limits in Variance-based Computing

abstract: Variance-based logic (VBL) uses the fluctuations or the variance in the state of a particle or a physical quantity to represent different logic levels. In this letter we show that compared to the traditional bi-stable logic representation the variance-based representation can theoretically achieve a superior performance trade-off (in terms of energy dissipation and information capacity) when operating at fundamental limits imposed by thermal-noise. We show that for a bi-stable logic device the lower limit on energy dissipated per bit is 4.35KT/bit, whereas under similar operating conditions, a VBL device could achieve a lower limit of sub-KT/bit. These theoretical results are general enough to be applicable to different instantiations and variants of VBL ranging from digital processors based on energy-scavenging or to processors based on the emerging valleytronic devices.


title: An Alon-Boppana Type Bound for Weighted Graphs and Lowerbounds for Spectral Sparsification

abstract: We prove the following Alon-Boppana type theorem for general (not necessarily regular) weighted graphs: if $G$ is an $n$-node weighted undirected graph of average combinatorial degree $d$ (that is, $G$ has $dn/2$ edges) and girth $g> 2d^{1/8}+1$, and if $\lambda_1 \leq \lambda_2 \leq \cdots \lambda_n$ are the eigenvalues of the (non-normalized) Laplacian of $G$, then \[ \frac {\lambda_n}{\lambda_2} \geq 1 + \frac 4{\sqrt d} - O \left( \frac 1{d^{\frac 58} }\right) \] (The Alon-Boppana theorem implies that if $G$ is unweighted and $d$-regular, then $\frac {\lambda_n}{\lambda_2} \geq 1 + \frac 4{\sqrt d} - O\left( \frac 1 d \right)$ if the diameter is at least $d^{1.5}$.) Our result implies a lower bound for spectral sparsifiers. A graph $H$ is a spectral $\epsilon$-sparsifier of a graph $G$ if \[ L(G) \preceq L(H) \preceq (1+\epsilon) L(G) \] where $L(G)$ is the Laplacian matrix of $G$ and $L(H)$ is the Laplacian matrix of $H$. Batson, Spielman and Srivastava proved that for every $G$ there is an $\epsilon$-sparsifier $H$ of average degree $d$ where $\epsilon \approx \frac {4\sqrt 2}{\sqrt d}$ and the edges of $H$ are a (weighted) subset of the edges of $G$. Batson, Spielman and Srivastava also show that the bound on $\epsilon$ cannot be reduced below $\approx \frac 2{\sqrt d}$ when $G$ is a clique; our Alon-Boppana-type result implies that $\epsilon$ cannot be reduced below $\approx \frac 4{\sqrt d}$ when $G$ comes from a family of expanders of super-constant degree and super-constant girth. The method of Batson, Spielman and Srivastava proves a more general result, about sparsifying sums of rank-one matrices, and their method applies to an "online" setting. We show that for the online matrix setting the $4\sqrt 2 / \sqrt d$ bound is tight, up to lower order terms.


title: Infinite cascades of phase transitions in the classical Ising chain

abstract: We report the new exact results on one of the best studied models in statistical physics: the classical antiferromagnetic Ising chain in a magnetic field. We show that the model possesses an infinite cascade of thermal phase transitions (also known as "disorder lines" or geometric phase transitions). The phase transition is signalled by a change of asymptotic behavior of the nonlocal string-string correlation functions when their monotonous decay becomes modulated by incommensurate oscillations. The transitions occur for rarefied ($m$-periodic) strings with arbitrary odd $m$. We propose a duality transformation which maps the Ising chain onto the $m$-leg Ising tube with nearest-neighbor couplings along the legs and the plaquette four-spin interactions of adjacent legs. Then the $m$-string correlation functions of the Ising chain are mapped onto the two-point spin-spin correlation functions along the legs of the $m$-leg tube. We trace the origin of these cascades of phase transitions to the lines of the Lee-Yang zeros of the Ising chain in $m$-periodic complex magnetic field, allowing us to relate these zeros to the observable (and potentially measurable) quantities.


title: RKL: a general, invariant Bayes solution for Neyman-Scott

abstract: Neyman-Scott is a classic example of an estimation problem with a partially-consistent posterior, for which standard estimation methods tend to produce inconsistent results. Past attempts to create consistent estimators for Neyman-Scott have led to ad-hoc solutions, to estimators that do not satisfy representation invariance, to restrictions over the choice of prior and more. We present a simple construction for a general-purpose Bayes estimator, invariant to representation, which satisfies consistency on Neyman-Scott over any non-degenerate prior. We argue that the good attributes of the estimator are due to its intrinsic properties, and generalise beyond Neyman-Scott as well.


title: Model-Independent Constraints on Lorentz Invariance Violation via the Cosmographic Approach

abstract: Since Lorentz invariance plays an important role in modern physics, it is of interest to test the possible Lorentz invariance violation (LIV). The time-lag (the arrival time delay between light curves in different energy bands) of Gamma-ray bursts (GRBs) has been extensively used to this end. However, to our best knowledge, one or more particular cosmological models were assumed {\it a priori} in (almost) all of the relevant works in the literature. So, this makes the results on LIV in those works model-dependent and hence not so robust in fact. In the present work, we try to avoid this problem by using a model-independent approach. We calculate the time delay induced by LIV with the cosmic expansion history given in terms of cosmography, without assuming any particular cosmological model. Then, we constrain the possible LIV with the observational data, and find weak hints for LIV.

categories: gr-qc astro-ph.CO astro-ph.HE hep-ph hep-th


title: Some properties for the Steklov averages

abstract: We derive and present a collection of properties about the Steklov averages, including some results about the derivation with respect to spatial variables, and with respect to time, and a form of the fundamental theorem of the calculus.


title: Moments of Sectional Curvature

abstract: The sectional curvature of a compact Riemannian manifold M can be seen as a random variable on the Grassmann bundle of 2-planes in TM endowed with the Fubini-Study volume density. In this article we calculate the moments of this random variable by integrating suitable local Riemannian invariants and discuss the distribution of the sectional curvature of Riemannian products. Moreover we calculate the moments and the distribution of the sectional curvature for all compact symmetric spaces of rank 1 explicitly and derive a formula for the moments of general symmetric spaces. Interpolating the explicit values for the moments obtained we prove a weak version of the Hitchin-Thorpe Inequality.


title: A Secular Resonant Origin for the Loneliness of Hot Jupiters

abstract: Despite decades of inquiry, the origin of giant planets residing within a few tenths of an astronomical unit from their host stars remains unclear. Traditionally, these objects are thought to have formed further out before subsequently migrating inwards. However, the necessity of migration has been recently called into question with the emergence of in-situ formation models of close-in giant planets. Observational characterization of the transiting sub-sample of close-in giants has revealed that "warm" Jupiters, possessing orbital periods longer than roughly 10 days more often possess close-in, co-transiting planetary companions than shorter period "hot" Jupiters, that are usually lonely. This finding has previously been interpreted as evidence that smooth, early migration or in situ formation gave rise to warm Jupiter-hosting systems, whereas more violent, post-disk migration pathways sculpted hot Jupiter-hosting systems. In this work, we demonstrate that both classes of planet may arise via early migration or in-situ conglomeration, but that the enhanced loneliness of hot Jupiters arises due to a secular resonant interaction with the stellar quadrupole moment. Such an interaction tilts the orbits of exterior, lower mass planets, removing them from transit surveys where the hot Jupiter is detected. Warm Jupiter-hosting systems, in contrast, retain their coplanarity due to the weaker influence of the host star's quadrupolar potential relative to planet-disk interactions. In this way, hot Jupiters and warm Jupiters are placed within a unified theoretical framework that may be readily validated or falsified using data from upcoming missions such as TESS.


title: Quantum State Concentration and Classification of Multipartite Entanglement

abstract: Entanglement is a unique nature of quantum theory and has tremendous potential for application. Nevertheless, the complexity of quantum entanglement grows exponentially with an increase in the number of entangled particles. Here we introduce a quantum state concentration scheme which decomposes the multipartite entangled state into a set of bipartite and tripartite entangled states. It is shown that the complexity of the entanglement induced by the large number of particles is transformed into the high dimensions of bipartite and tripartite entangled states for pure quantum systems. The results not only simplify the tedious work of verifying the (in)equivalence of multipartite entangled states, but also are instructive to the quantum many-body problem involving multipartite entanglement.


title: Learning to Rank Question Answer Pairs with Holographic Dual LSTM Architecture

abstract: We describe a new deep learning architecture for learning to rank question answer pairs. Our approach extends the long short-term memory (LSTM) network with holographic composition to model the relationship between question and answer representations. As opposed to the neural tensor layer that has been adopted recently, the holographic composition provides the benefits of scalable and rich representational learning approach without incurring huge parameter costs. Overall, we present Holographic Dual LSTM (HD-LSTM), a unified architecture for both deep sentence modeling and semantic matching. Essentially, our model is trained end-to-end whereby the parameters of the LSTM are optimized in a way that best explains the correlation between question and answer representations. In addition, our proposed deep learning architecture requires no extensive feature engineering. Via extensive experiments, we show that HD-LSTM outperforms many other neural architectures on two popular benchmark QA datasets. Empirical studies confirm the effectiveness of holographic composition over the neural tensor layer.


title: Representation formula and bi-Lipschitz continuity of solutions to inhomogeneous biharmonic Dirichlet problems in the unit disk

abstract: The aim of this paper is twofold. First, we establish the representation formula and the uniqueness of the solutions to a class of inhomogeneous biharmonic Dirichlet problems, and then prove the bi-Lipschitz continuity of the solutions.


title: Document Listing on Repetitive Collections with Guaranteed Performance

abstract: We consider document listing on string collections, that is, finding in which strings a given pattern appears. In particular, we focus on repetitive collections: a collection of size $N$ over alphabet $[1,\sigma]$ is composed of $D$ copies of a string of size $n$, and $s$ edits are applied on ranges of copies. We introduce the first document listing index with size $\tilde{O}(n+s)$, precisely $O((n\log\sigma+s\log^2 N)\log D)$ bits, and with useful worst-case time guarantees: Given a pattern of length $m$, the index reports the $\ndoc>0$ strings where it appears in time $O(m\log^{1+\epsilon} N \cdot \ndoc)$, for any constant $\epsilon>0$ (and tells in time $O(m\log N)$ if $\ndoc=0$). Our technique is to augment a range data structure that is commonly used on grammar-based indexes, so that instead of retrieving all the pattern occurrences, it computes useful summaries on them. We show that the idea has independent interest: we introduce the first grammar-based index that, on a text $T[1,N]$ with a grammar of size $r$, uses $O(r\log N)$ bits and counts the number of occurrences of a pattern $P[1,m]$ in time $O(m^2 + m\log^{2+\epsilon} r)$, for any constant $\epsilon>0$. We also give the first index using $O(z\log(N/z)\log N)$ bits, where $T$ is parsed by Lempel-Ziv into $z$ phrases, counting occurrences in time $O(m\log^{2+\epsilon} N)$.


title: 3D Shape Reconstruction from Sketches via Multi-view Convolutional Networks

abstract: We propose a method for reconstructing 3D shapes from 2D sketches in the form of line drawings. Our method takes as input a single sketch, or multiple sketches, and outputs a dense point cloud representing a 3D reconstruction of the input sketch(es). The point cloud is then converted into a polygon mesh. At the heart of our method lies a deep, encoder-decoder network. The encoder converts the sketch into a compact representation encoding shape information. The decoder converts this representation into depth and normal maps capturing the underlying surface from several output viewpoints. The multi-view maps are then consolidated into a 3D point cloud by solving an optimization problem that fuses depth and normals across all viewpoints. Based on our experiments, compared to other methods, such as volumetric networks, our architecture offers several advantages, including more faithful reconstruction, higher output surface resolution, better preservation of topology and shape structure.


title: About the Eta-Invariants of Berger Spheres

abstract: The integral of the top dimensional term of the multiplicative sequence of Pontryagin forms associated to an even formal power series is calculated for special Riemannian metrics on the unit ball of a hermitean vector space. Using this result we calculate the generating function of the reduced Dirac and signature eta-invariants for the family of Berger metrics on the odd dimensional spheres.


title: A dispersive regularization for the modified Camassa-Holm equation

abstract: In this paper, we present a dispersive regularization for the modified Camassa-Holm equation (mCH) in one dimension, which is achieved through a double mollification for the system of ODEs describing trajectories of $N$-peakon solutions. From this regularized system of ODEs, we obtain approximated $N$-peakon solutions with no collision between peakons. Then, a global $N$-peakon solution for the mCH equation is obtained, whose trajectories are global Lipschitz functions and do not cross each other. When $N=2$, the limiting solution is a sticky peakon weak solution. By a limiting process, we also derive a system of ODEs to describe $N$-peakon solutions. At last, using the $N$-peakon solutions and through a mean field limit process, we obtain global weak solutions for general initial data $m_0$ in Radon measure space.


title: Large-Scale Goodness Polarity Lexicons for Community Question Answering

abstract: We transfer a key idea from the field of sentiment analysis to a new domain: community question answering (cQA). The cQA task we are interested in is the following: given a question and a thread of comments, we want to re-rank the comments so that the ones that are good answers to the question would be ranked higher than the bad ones. We notice that good vs. bad comments use specific vocabulary and that one can often predict the goodness/badness of a comment even ignoring the question, based on the comment contents only. This leads us to the idea to build a good/bad polarity lexicon as an analogy to the positive/negative sentiment polarity lexicons, commonly used in sentiment analysis. In particular, we use pointwise mutual information in order to build large-scale goodness polarity lexicons in a semi-supervised manner starting with a small number of initial seeds. The evaluation results show an improvement of 0.7 MAP points absolute over a very strong baseline and state-of-the art performance on SemEval-2016 Task 3.


title: Riemannian and K\"ahlerian Normal Coordinates

abstract: In every point of a K\"ahler manifold there exist special holomorphic coordinates well adapted to the underlying geometry. Comparing these K\"ahler normal coordinates with the Riemannian normal coordinates defined via the exponential map we prove that their difference is a universal power series in the curvature tensor and its iterated covariant derivatives and devise an algorithm to calculate this power series to arbitrary order. As a byproduct we generalize K\"ahler normal coordinates to the class of complex affine manifolds with (1,1)-curvature tensor. Moreover we describe the Spencer connection on the infinite order Taylor series of the K\"ahler normal potential and obtain explicit formulas for the Taylor series of all relevant geometric objects on symmetric spaces.


title: Threshold dynamics and ergodicity of an SIRS epidemic model with Markovian switching

abstract: This paper studies the spread dynamics of a stochastic SIRS epidemic model with nonlinear incidence and varying population size, which is formulated as a piecewise deterministic Markov process. A threshold dynamic determined by the basic reproduction number $\mathcal{R}_{0}$ is established: the disease can be eradicated almost surely if $\mathcal{R}_{0}<1$, while the disease persists almost surely if $\mathcal{R}_{0}>1$. The existing method for analyzing ergodic behavior of population systems has been generalized. The modified method weakens the required conditions and has no limitations for both the number of environmental regimes and the dimension of the considered system. When $\mathcal{R}_{0}>1$, the existence of a stationary probability measure is obtained. Furthermore, with the modified method, the global attractivity of the $\Omega$-limit set of the system and the convergence in total variation to the stationary measure are both demonstrated under a mild extra condition.


title: Adaptive Learning Rule for Hardware-based Deep Neural Networks Using Electronic Synapse Devices

abstract: In this paper, we propose a learning rule based on a back-propagation (BP) algorithm that can be applied to a hardware-based deep neural network (HW-DNN) using electronic devices that exhibit discrete and limited conductance characteristics. This adaptive learning rule, which enables forward, backward propagation, as well as weight updates in hardware, is helpful during the implementation of power-efficient and high-speed deep neural networks. In simulations using a three-layer perceptron network, we evaluate the learning performance according to various conductance responses of electronic synapse devices and weight-updating methods. It is shown that the learning accuracy is comparable to that obtained when using a software-based BP algorithm when the electronic synapse device has a linear conductance response with a high dynamic range. Furthermore, the proposed unidirectional weight-updating method is suitable for electronic synapse devices which have nonlinear and finite conductance responses. Because this weight-updating method can compensate the demerit of asymmetric weight updates, we can obtain better accuracy compared to other methods. This adaptive learning rule, which can be applied to full hardware implementation, can also compensate the degradation of learning accuracy due to the probable device-to-device variation in an actual electronic synapse device.


title: Fluid structure system with boundary conditions involving the pressure

abstract: We study a coupled fluid-structure system involving boundary conditions on the pressure. The fluid is described by the incompressible Navier--Stokes equations in a 2D rectangular type domain where the upper part of the domain is described by a damped Euler--Bernoulli beam equation. Existence and uniqueness of local strong solutions without assumptions of smallness on the initial data is proved.


title: A study on Kannan type contractive mappings

abstract: In this article, we consider Kannan type contractive self-map $T$ on a metric space $(X,d)$ such that \[d(Tx,Ty)<\frac{1}{2}\{d(x,Tx)+d(y,Ty)\} \mbox{ for all } x \neq y \in X, \] and establish some new fixed point results without taking the compactness of $X$ and also without assuming continuity of $T$. Further, we anticipate a result ensuring the completeness of the space $X$ via FPP of this map. Finally, we are able to give an affirmative answer to the open question posed by J. G\'{o}rnicki [\textit{Fixed point theorems for Kannan type mappings}, J. Fixed Point Theory Appl. 2017]. Apart from these, our manuscript consists of several non-trivial examples which signify the motivation of our investigations.


title: Supernova Signatures of Neutrino Mass Ordering

abstract: A suite of detectors around the world is poised to measure the flavor-energy-time evolution of the ten-second burst of neutrinos from a core-collapse supernova occurring in the Milky Way or nearby. Next-generation detectors to be built in the next decade will have enhanced flavor sensitivity and statistics. Not only will the observation of this burst allow us to peer inside the dense matter of the extreme event and learn about the collapse processes and the birth of the remnant, but the neutrinos will bring information about neutrino properties themselves. This review surveys some of the physical signatures that the currently-unknown neutrino mass pattern will imprint on the observed neutrino events at Earth, emphasizing the most robust and least model-dependent signatures of mass ordering.


title: Moduli Spaces of Affine Homogeneous Spaces

abstract: Apart from global topological problems an affine homogeneous space is locally described by its curvature, its torsion and a slightly less tangible object called its connection in a given base point. Using this description of the local geometry of an affine homogeneous space we construct an algebraic variety $\mathfrak{M}(\mathfrak{gl}\,V)$, which serves as a coarse moduli space for the local isometry classes of affine homogeneous spaces of dimension dim V. Moreover we associate a $\mathrm{Sym}V^*$-comodule to a point in $\mathfrak{M}(\mathfrak{gl}\,V\,)$ and use its Spencer cohomology in order to describes the infinitesimal deformations of this point in the true moduli space $\mathfrak{M}_\infty(\mathfrak{gl}\,V\,)$.


title: Bridging the Gap between Constant Step Size Stochastic Gradient Descent and Markov Chains

abstract: We consider the minimization of an objective function given access to unbiased estimates of its gradient through stochastic gradient descent (SGD) with constant step-size. While the detailed analysis was only performed for quadratic functions, we provide an explicit asymptotic expansion of the moments of the averaged SGD iterates that outlines the dependence on initial conditions, the effect of noise and the step-size, as well as the lack of convergence in the general (non-quadratic) case. For this analysis, we bring tools from Markov chain theory into the analysis of stochastic gradient. We then show that Richardson-Romberg extrapolation may be used to get closer to the global optimum and we show empirical improvements of the new extrapolation scheme.


title: Representing Hybrid Automata by Action Language Modulo Theories

abstract: Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata in an action language which in turn is defined as a high-level notation for answer set programming modulo theories (ASPMT) --- an extension of answer set programs to the first-order level similar to the way satisfiability modulo theories (SMT) extends propositional satisfiability (SAT). We first show how to represent linear hybrid automata with convex invariants by an action language modulo theories. A further translation into SMT allows for computing them using SMT solvers that support arithmetic over reals. Next, we extend the representation to the general class of non-linear hybrid automata allowing even non-convex invariants. We represent them by an action language modulo ODE (Ordinary Differential Equations), which can be compiled into satisfiability modulo ODE. We developed a prototype system cplus2aspmt based on these translations, which allows for a succinct representation of hybrid transition systems that can be computed effectively by the state-of-the-art SMT solver dReal.


title: Twitching Motility of Bacteria with Type IV Pili: Fractal Walks, First passage time and their Consequences on Microcolonies

abstract: A human pathogen, \textit{Neisseria gonorrhoeae} (NG), moves on surfaces by attaching and retracting polymeric structures called Type IV pili. The \textit{tug-of-war} between the pili results in a two-dimensional stochastic motion called \textit{twitching motility}. In this paper, with the help of real time NG trajectories, we develop coarse-grained models for their description. The \textit{fractal properties} of these trajectories are determined and their influence on \textit{first passage time} and formation of bacterial microcolonies is studied. Our main observations are as follows: (i) NG performs a fast ballistic walk on small time scales and a slow diffusive walk over long time scales with a long crossover region; (ii) There exists a characteristic persistent length $l_p^*$ which yields the fastest growth of bacterial aggregates or biofilms. Our simulations reveal that $l_{p}^{*} \sim L^{0.6}$, where $L\times L$ is the surface on which the bacteria move; (iii) The morphologies have distinct fractal characteristics as a consequence of the ballistic and diffusive motion of the constituting bacteria.


title: A note on the cactus rank for Segre-Veronese varieties

abstract: We give an upper bound for the cactus rank of any multi-homogeneous polynomial.


title: General kinetic solution for the Biermann battery with an associated pressure anisotropy generation

abstract: Fully kinetic analytic calculations of an initially Maxwellian distribution with arbitrary density and temperature gradients exhibit the development of temperature anisotropies and magnetic field growth associated with the Biermann battery. The calculation, performed by taking a small order expansion of the ratio of the Debye length to the gradient scale, predicts anisotropies and magnetic fields as a function of space given an arbitrary temperature and density profile. These predictions are shown to qualitatively match the values measured from particle-in-cell simulations, where the development of the Weibel instability occurs at the same location and with a wavenumber aligned with the predicted temperature anisotropy.


title: Deterministic Dispersion of Mobile Robots in Dynamic Rings

abstract: In this work, we study the problem of dispersion of mobile robots on dynamic rings. The problem of dispersion of $n$ robots on an $n$ node graph, introduced by Augustine and Moses Jr. [1], requires robots to coordinate with each other and reach a configuration where exactly one robot is present on each node. This problem has real world applications and applies whenever we want to minimize the total cost of $n$ agents sharing $n$ resources, located at various places, subject to the constraint that the cost of an agent moving to a different resource is comparatively much smaller than the cost of multiple agents sharing a resource (e.g. smart electric cars sharing recharge stations). The study of this problem also provides indirect benefits to the study of scattering on graphs, the study of exploration by mobile robots, and the study of load balancing on graphs. We solve the problem of dispersion in the presence of two types of dynamism in the underlying graph: (i) vertex permutation and (ii) 1-interval connectivity. We introduce the notion of vertex permutation dynamism and have it mean that for a given set of nodes, in every round, the adversary ensures a ring structure is maintained, but the connections between the nodes may change. We use the idea of 1-interval connectivity from Di Luna et al. [10], where for a given ring, in each round, the adversary chooses at most one edge to remove. We assume robots have full visibility and present asymptotically time optimal algorithms to achieve dispersion in the presence of both types of dynamism when robots have chirality. When robots do not have chirality, we present asymptotically time optimal algorithms to achieve dispersion subject to certain constraints. Finally, we provide impossibility results for dispersion when robots have no visibility.


title: Non-Unitary evolution of quantum time-dependent non-Hermitian systems

abstract: We provide a new perspective on non-Hermitian evolution in quantum mechanics by emphasizing the same method as in the Hermitian quantum evolution. We first give a precise description of the non unitary evolution, and collecting the basic results around it and postulating the norm preserving. This cautionary postulate imposing that the time evolution of a non Hermitian quantum system preserves the inner products between the associated states must not be read naively. We also give an example showing that the solutions of time-dependent non Hermitian Hamiltonian systems given by a linear combination of SU(1,1) and SU(2) are obtained thanks to time-dependent non-unitary transformation.


title: Deja vu: Scalable Place Recognition Using Mutually Supportive Feature Frequencies

abstract: Learning and recognition is a fundamental process performed in many robot operations such as mapping and localization. The majority of approaches share some common characteristics, such as attempting to extract salient features, landmarks or signatures, and growth in data storage and computational requirements as the size of the environment increases. In biological systems, spatial encoding in the brain is definitively known to be performed using a fixed-size neural encoding framework - the place, head-direction and grid cells found in the mammalian hippocampus and entorhinal cortex. Particularly paradoxically, one of the main encoding centers - the grid cells - represents the world using a highly aliased, repetitive encoding structure where one neuron represents an unbounded number of places in the world. Inspired by this system, in this paper we invert the normal approach used in forming mapping and localization algorithms, by developing a novel place recognition algorithm that seeks out and leverages repetitive, mutually complementary landmark frequencies in the world. The combinatorial encoding capacity of multiple different frequencies enables not only the ability to achieve efficient data storage, but also the potential for sub-linear storage growth in a learning and recall system. Using both ground-based and aerial camera datasets, we demonstrate the system finding and utilizing these frequencies to achieve successful place recognition, and discuss how this approach might scale to arbitrarily large global datasets and dimensions.


title: Sequential data assimilation with multiple nonlinear models and applications to subsurface flow

abstract: Complex systems are often described with competing models. Such divergence of interpretation on the system may stem from model fidelity, mathematical simplicity, and more generally, our limited knowledge of the underlying processes. Meanwhile, available but limited observations of system state could further complicates one's prediction choices. Over the years, data assimilation techniques, such as the Kalman filter, have become essential tools for improved system estimation by incorporating both models forecast and measurement; but its potential to mitigate the impacts of aforementioned model-form uncertainty has yet to be developed. Based on an earlier study of Multi-model Kalman filter, we propose a novel framework to assimilate multiple models with observation data for nonlinear systems, using extended Kalman filter, ensemble Kalman filter and particle filter, respectively. Through numerical examples of subsurface flow, we demonstrate that the new assimilation framework provides an effective and improved forecast of system behaviour.


title: String percolation threshold for elliptically bounded systems

abstract: It has been shown that a hot and dense deconfined nuclear matter state produced in ultra-relativistic heavy-ion collisions, can be quantitatively described by the String Percolation phenomenological model. The model address the phase transition in terms of the two-dimensional continuum percolation theory over strings, which are schematic representations of the fundamental interactions among the partons of the colliding nuclei in the initial state. In this work, we present an extension of the critical string density results including the eccentricity dependence on the initial state geometry focus on small string number with different density profile, small deviations from the different profile densities are found. The percolation threshold shows consistency with the thermodynamic limit for the uniform density profile with a large number of strings in the case of circular boundary system. A significant dependence on the eccentricity for a small number of strings compared to high occupancy systems is exhibited, the implications may become relevant in hadron-hadron or hadron-nucleus collision systems.


title: A new nonlocal nonlinear diffusion equation for image denoising and data analysis

abstract: In this paper we introduce and study a new feature-preserving nonlinear anisotropic diffusion for denoising signals. The proposed partial differential equation is based on a novel diffusivity coefficient that uses a nonlocal automatically detected parameter related to the local bounded variation and the local oscillating pattern of the noisy input signal. We provide a mathematical analysis of the existence of the solution of our nonlinear and nonlocal diffusion equation in the two dimensional case (images processing). Finally, we propose a numerical scheme with some numerical experiments which demonstrate the effectiveness of the new method.


title: Unsupervised Object Discovery and Co-Localization by Deep Descriptor Transforming

abstract: Reusable model design becomes desirable with the rapid expansion of computer vision and machine learning applications. In this paper, we focus on the reusability of pre-trained deep convolutional models. Specifically, different from treating pre-trained models as feature extractors, we reveal more treasures beneath convolutional layers, i.e., the convolutional activations could act as a detector for the common object in the image co-localization problem. We propose a simple yet effective method, termed Deep Descriptor Transforming (DDT), for evaluating the correlations of descriptors and then obtaining the category-consistent regions, which can accurately locate the common object in a set of unlabeled images, i.e., unsupervised object discovery. Empirical studies validate the effectiveness of the proposed DDT method. On benchmark image co-localization datasets, DDT consistently outperforms existing state-of-the-art methods by a large margin. Moreover, DDT also demonstrates good generalization ability for unseen categories and robustness for dealing with noisy data. Beyond those, DDT can be also employed for harvesting web images into valid external data sources for improving performance of both image recognition and object detection.


title: Can Walker Localize The Middle Point of A Line-segment?

abstract: This paper poses a question about a simple localization problem. The question is if an {\em oblivious} walker on a line-segment can localize the middle point of the line-segment in {\em finite} steps observing the direction (i.e., Left or Right) and the distance to the nearest end point. This problem is arisen from {\em self-stabilizing} location problems by {\em autonomous mobile robots} with {\em limited visibility}, that is a widely interested abstract model in distributed computing. Contrary to appearances, it is far from trivial if this simple problem is solvable or not, and unsettled yet. This paper is concerned with three variants of the problem with a minimal relaxation, and presents self-stabilizing algorithms for them. We also show an easy impossibility theorem for bilaterally symmetric algorithms.


title: Adaptive Feeding: Achieving Fast and Accurate Detections by Adaptively Combining Object Detectors

abstract: Object detection aims at high speed and accuracy simultaneously. However, fast models are usually less accurate, while accurate models cannot satisfy our need for speed. A fast model can be 10 times faster but 50\% less accurate than an accurate model. In this paper, we propose Adaptive Feeding (AF) to combine a fast (but less accurate) detector and an accurate (but slow) detector, by adaptively determining whether an image is easy or hard and choosing an appropriate detector for it. In practice, we build a cascade of detectors, including the AF classifier which make the easy vs. hard decision and the two detectors. The AF classifier can be tuned to obtain different tradeoff between speed and accuracy, which has negligible training time and requires no additional training data. Experimental results on the PASCAL VOC, MS COCO and Caltech Pedestrian datasets confirm that AF has the ability to achieve comparable speed as the fast detector and comparable accuracy as the accurate one at the same time. As an example, by combining the fast SSD300 with the accurate SSD500 detector, AF leads to 50\% speedup over SSD500 with the same precision on the VOC2007 test set.


title: Reflective amplification without population inversion from a strongly driven superconducting qubit

abstract: Amplification of optical or microwave fields is often achieved by strongly driving a medium to induce population inversion such that a weak probe can be amplified through stimulated emission. Here we strongly couple a superconducting qubit, an artificial atom, to the field in a semi-infinite waveguide. When driving the qubit strongly on resonance such that a Mollow triplet appears, we observe a 7\% amplitude gain for a weak probe at frequencies in-between the triplet. This amplification is not due to population inversion, neither in the bare qubit basis nor in the dressed-state basis, but instead results from a four-photon process that converts energy from the strong drive to the weak probe. We find excellent agreement between the experimental results and numerical simulations without any free fitting parameters. The device demonstrated here may have applications in quantum information processing and quantum-limited measurements.


title: A quasi-Lagrangian finite element method for the Navier-Stokes equations in a time-dependent domain

abstract: The paper develops a finite element method for the Navier-Stokes equations of incompressible viscous fluid in a time-dependent domain. The method builds on a quasi-Lagrangian formulation of the problem. The paper provides stability and convergence analysis of the fully discrete (finite-difference in time and finite-element in space) method. The analysis does not assume any CFL time-step restriction, it rather needs mild conditions of the form $\Delta t\le C$, where $C$ depends only on problem data, and $h^{2m_u+2}\le c\,\Delta t$, $m_u$ is polynomial degree of velocity finite element space. Both conditions result from a numerical treatment of practically important non-homogeneous boundary conditions. The theoretically predicted convergence rate is confirmed by a set of numerical experiments. Further we apply the method to simulate a flow in a simplified model of the left ventricle of a human heart, where the ventricle wall dynamics is reconstructed from a sequence of contrast enhanced Computed Tomography images.


title: Mixed action with Borici-Creutz fermions on staggered sea

abstract: Mixed action lattice QCD with Borici-Creutz valence quarks on staggered sea is investigated. The counter terms in Borici-Creutz action are fixed nonperturbatively to restore the broken parity and time symmetries. On symmetry restoration, the usual signatures of partial quenching / unitarity violation like negative scalar correlator are observed. The size of unitarity violation due to different discretization of valence and sea quark is determined by measuring $\Delta_{\rm mix}$ and is found to be comparable with other mixed action studies.


title: Improved Cloud resource allocation: how INDIGO-DataCloud is overcoming the current limitations in Cloud schedulers

abstract: Performing efficient resource provisioning is a fundamental aspect for any resource provider. Local Resource Management Systems (LRMS) have been used in data centers for decades in order to obtain the best usage of the resources, providing their fair usage and partitioning for the users. In contrast, current cloud schedulers are normally based on the immediate allocation of resources on a first-come, first-served basis, meaning that a request will fail if there are no resources (e.g. OpenStack) or it will be trivially queued ordered by entry time (e.g. OpenNebula). Moreover, these scheduling strategies are based on a static partitioning of the resources, meaning that existing quotas cannot be exceeded, even if there are idle resources allocated to other projects. This is a consequence of the fact that cloud instances are not associated with a maximum execution time and leads to a situation where the resources are under-utilized. These facts have been identified by the INDIGO-DataCloud project as being too simplistic for accommodating scientific workloads in an efficient way, leading to an underutilization of the resources, a non desirable situation in scientific data centers. In this work, we will present the work done in the scheduling area during the first year of the INDIGO project and the foreseen evolutions.


title: Bifurcation of 2-periodic orbits from non-hyperbolic fixed points

abstract: We introduce the concept of 2-cyclicity for families of one-dimensional maps with a non-hyperbolic fixed point by analogy to the cyclicity for families of planar vector fields with a weak focus. This new concept is useful in order to study the number of 2-periodic orbits that can bifurcate from the fixed point. As an application we study the 2-cyclicity of some natural families of polynomial maps.


title: Virtual Black Holes in a Third Quantized Formalism

abstract: In this paper, we will analyse virtual black holes using the third quantization formalism. As the virtual black hole model depends critically on the assumption that the quantum fluctuations dominate the geometry of spacetime at Planck scale, we will analyse the quantum fluctuations for a black hole using third quantization. We will demonstrate that these quantum fluctuations depend on the factor ordering chosen. So, we will show that only certain values of the factor ordering parameter are consistent with virtual black holes model of spacetime foam.


title: An extension of SPARQL for expressing qualitative preferences

abstract: In this paper we present SPREFQL, an extension of the SPARQL language that allows appending a PREFER clause that expresses "soft" preferences over the query results obtained by the main body of the query. The extension does not add expressivity and any SPREFQL query can be transformed to an equivalent standard SPARQL query. However, clearly separating preferences from the "hard" patterns and filters in the WHERE clause gives queries where the intention of the client is more cleanly expressed, an advantage for both human readability and machine optimization. In the paper we formally define the syntax and the semantics of the extension and we also provide empirical evidence that optimizations specific to SPREFQL improve run-time efficiency by comparison to the usually applied optimizations on the equivalent standard SPARQL query.


title: Rotating and twisting locally rotationally symmetric spacetimes: a general solution

abstract: In this paper we derive a general solution for the most general rotating and twisting locally rotationally symmetric spacetimes. This is achieved in three steps. First we decompose the manifold via 1+1+2 semi-tetrad formalism that yields a set of geometrical and thermodynamic scalars for the spacetime. We then recast the Einstein field equations in terms of evolution and propagation of these scalars. It is then shown that this class of spacetimes must possess self similarity and we use this property to solve for these scalars, thus obtaining a general solution. This solution has a number of very interesting cosmological or astrophysical consequences which we discuss in detail.


title: Robust determination of molecular spectra on a quantum processor

abstract: Harnessing the full power of nascent quantum processors requires the efficient management of a limited number of quantum bits with finite lifetime. Hybrid algorithms leveraging classical resources have demonstrated promising initial results in the efficient calculation of Hamiltonian ground states--an important eigenvalue problem in the physical sciences that is often classically intractable. In these protocols, a Hamiltonian is parsed and evaluated term-wise with a shallow quantum circuit, and the resulting energy minimized using classical resources. This reduces the number of consecutive logical operations that must be performed on the quantum hardware before the onset of decoherence. We demonstrate a complete implementation of the Variational Quantum Eigensolver (VQE), augmented with a novel Quantum Subspace Expansion, to calculate the complete energy spectrum of the H2 molecule with near chemical accuracy. The QSE also enables the mitigation of incoherent errors, potentially allowing the implementation of larger-scale algorithms without complex quantum error correction techniques.


title: Attribution Modeling Increases Efficiency of Bidding in Display Advertising

abstract: Predicting click and conversion probabilities when bidding on ad exchanges is at the core of the programmatic advertising industry. Two separated lines of previous works respectively address i) the prediction of user conversion probability and ii) the attribution of these conversions to advertising events (such as clicks) after the fact. We argue that attribution modeling improves the efficiency of the bidding policy in the context of performance advertising. Firstly we explain the inefficiency of the standard bidding policy with respect to attribution. Secondly we learn and utilize an attribution model in the bidder itself and show how it modifies the average bid after a click. Finally we produce evidence of the effectiveness of the proposed method on both offline and online experiments with data spanning several weeks of real traffic from Criteo, a leader in performance advertising.


title: A new equation of state for core-collapse supernovae based on realistic nuclear forces and including a full nuclear ensemble

abstract: We have constructed a nuclear equation of state (EOS) that includes a full nuclear ensemble for use in core-collapse supernova simulations. It is based on the EOS for uniform nuclear matter that two of the authors derived recently, applying a variational method to realistic two- and there-body nuclear forces. We utilize an extended liquid drop model of heavy nuclei and a quantum-theoretical mass evaluation for light nuclei. In addition to realistic nuclear forces, the inclusion of in-medium effects on the full ensemble of nuclei makes the new EOS one of the most realistic EOS's for supernova simulations. We make comparisons with the FYSS EOS, which is based on the same formulation for the nuclear ensemble but adopts the relativistic mean field (RMF) theory with the TM1 parameter set for uniform nuclear matter. The new EOS is softer than the FYSS EOS around and above nuclear saturation densities. We find that neutron-rich nuclei with small mass numbers are more abundant in the new EOS than in the FYSS EOS because of the larger saturation densities and smaller symmetry energy of nuclei in the former. We apply the two EOS's to 1D supernova simulations and find that the new EOS gives lower electron fractions and higher temperatures in the collapse phase owing to the smaller symmetry energy. As a result, the inner core has smaller masses for the new EOS. It is more compact, on the other hand, due to the softness of the new EOS and bounces at higher densities. The ensuing outward propagations of the shock wave in the outer core are very similar in the two simulations, which may be an artifact, though, caused by the use of the same tabulated electron capture rates for heavy nuclei ignoring differences in the nuclear composition between the two EOS's in these computations.


title: Stability of the Markov operator and synchronization of Markovian random products

abstract: We study Markovian random products on a large class of "m-dimensional" connected compact metric spaces (including products of closed intervals and trees). We introduce a splitting condition, generalizing the classical one by Dubins and Freedman, and prove that this condition implies the asymptotic stability of the corresponding Markov operator and (exponentially fast) synchronization.


title: Change of the vortex core structure in two-band superconductors at impurity-scattering-driven $s_\pm/s_{++}$ crossover

abstract: We report a nontrivial transition in the core structure of vortices in two-band superconductors as a function of interband impurity scattering. We demonstrate that, in addition to singular zeros of the order parameter, the vortices there can acquire a circular nodal line around the singular point in one of the superconducting components. It results in the formation of the peculiar "moat"-like profile in one of the superconducting gaps. The moat-core vortices occur generically in the vicinity of the impurity-induced crossover between $s_{\pm}$ and $s_{++}$ states.


title: Identification of $^{210}$Pb and $^{210}$Po in the bulk of copper samples with a low-background alpha particle counter

abstract: We established a method to assay $^{210}$Pb and $^{210}$Po contaminations in the bulk of copper samples using a low-background alpha particle counter. The achieved sensitivity for the $^{210}$Pb and $^{210}$Po contaminations reaches a few mBq/kg. Due to this high sensitivity, the $^{210}$Pb and $^{210}$Po contaminations in oxygen free copper bulk were identified and measured for the first time. The $^{210}$Pb contaminations of our oxygen free copper samples were 17-40 mBq/kg. Based on our investigation of copper samples in each production step, the $^{210}$Pb in oxygen free copper was understood to be a small residual of an electrolysis process. This method to measure bulk contaminations of $^{210}$Pb and $^{210}$Po could be applied to other materials.


title: PCB Coil Design Producing a Uniform Confined Magnetic Field

abstract: We present a magnetic field confining coil with a sub-$10^{-3}$ field uniformity over a large fraction of the coil. The structure is entirely made out of printed circuit boards (PCBs). The PCB design allows to tailor the path of wires to fit the required geometry. We measure the field uniformity with cesium magnetometers in a field range from 1 to 10 $\mu\mathrm{T}$. Our application uses such a coil for an atomic magnetometry-based current controller.