title: Hawking Evaporation of Black Holes in Massive Gravity

abstract: We study the Hawking evaporation of a class of black hole solutions in dRGT massive gravity, in which the graviton mass gives rise to an effective negative cosmological constant. We found that the effective emission surface can be either proportional to the square of the effective AdS length scale, or corresponds to the square of the impact parameter of the null geodesic that falls onto the photon orbit of the black hole. Furthermore, depending on the black hole parameters, the emission surface could switch from one to another as the black hole loses mass during the evaporation process. Furthermore, the black holes can either evaporate completely or become a remnant at late time. Our result is more generally applicable to any asymptotically anti-de Sitter-like black hole solution in any theory whose metric function has a term linear in the coordinate radius, with massive gravity being only a concrete example.


title: Temporal and spatial chaos in the Kerr-AdS black hole in an extended phase space

abstract: Based on the Melnikov method, we investigate chaotic behaviors in the extended thermodynamic phase space for a slowly rotating Kerr-AdS black hole under temporal and spatial perturbations. Our results show that the temporal perturbation coming from a thermal quench of the spinodal region in the phase diagram may cause the temporal chaos only when the perturbation amplitude is above a critical value, which involves the angular momentum . Under the spatial perturbation, however, it is found that the spatial chaos always occurs, which is independent of the perturbation amplitude.


title: On the Orbital Spacing Pattern of Kepler Multiple Planet Systems

abstract: The Kepler space mission has detected a large number of exoplanets in multiple transiting planet systems. Previous studies found that these Kepler multiple planet systems exhibit an intra-system uniformity, namely planets in the same system have similar sizes and correlated orbital spacings. However, it is important to consider the possible role of selection effects due to observational biases. In this paper, we revisit the orbital spacing aspect of the pattern after taking observational biases into account using a forward modeling method. We find that orbital spacings, in terms of period ratios, of Kepler multiple planet systems are significantly correlated only for those tightly packed systems, and the transition from correlation to non-correlation is abrupt with a boundary at mean period ratio $\overline{PR}$ $\sim 1.5 - 1.7$. In this regard, the pattern of orbital spacing is more like a dichotomy rather than a global correlation. Furthermore, we find that such an apparent orbital spacing dichotomy could be essentially a projection of a dichotomy that related to mean motion resonance (MMR), which we dub as MMR dichotomy, and itself could be a natural result of planet migration and dynamical evolution.


title: Node-Connectivity Terminal Backup, Separately-Capacitated Multiflow, and Discrete Convexity

abstract: The terminal backup problems (Anshelevich and Karagiozova (2011)) form a class of network design problems: Given an undirected graph with a requirement on terminals, the goal is to find a minimum cost subgraph satisfying the connectivity requirement. The node-connectivity terminal backup problem requires a terminal to connect other terminals with a number of node-disjoint paths. This problem is not known whether is NP-hard or tractable. Fukunaga (2016) gave a $4/3$-approximation algorithm based on LP-rounding scheme using a general LP-solver. In this paper, we develop a combinatorial algorithm for the relaxed LP to find a half-integral optimal solution in $O(m\log (nUA)\cdot \operatorname{MF}(kn,m+k^2n))$ time, where $n$ is the number of nodes, $m$ is the number of edges, $k$ is the number of terminals, $A$ is the maximum edge-cost, $U$ is the maximum edge-capacity, and $\operatorname{MF}(n',m')$ is the time complexity of a max-flow algorithm in a network with $n'$ nodes and $m'$ edges. The algorithm implies that the $4/3$-approximation algorithm for the node-connectivity terminal backup problem is also efficiently implemented. For the design of algorithm, we explore a connection between the node-connectivity terminal backup problem and a new type of a multiflow, called a separately-capacitated multiflow. We show a min-max theorem which extends Lov\'{a}sz-Cherkassky theorem to the node-capacity setting. Our results build on discrete convexity in the node-connectivity terminal backup problem.


title: Learning Dynamical Systems using Local Stability Priors

abstract: A coupled computational approach to simultaneously learn a vector field and the region of attraction of an equilibrium point from generated trajectories of the system is proposed. The nonlinear identification leverages the local stability information as a prior on the system, effectively endowing the estimate with this important structural property. In addition, the knowledge of the region of attraction plays an experiment design role by informing the selection of initial conditions from which trajectories are generated and by enabling the use of a Lyapunov function of the system as a regularization term. Numerical results show that the proposed method allows efficient sampling and provides an accurate estimate of the dynamics in an inner approximation of its region of attraction.


title: Federated Learning for Cellular-connected UAVs: Radio Mapping and Path Planning

abstract: To prolong the lifetime of the unmanned aerial vehicles (UAVs), the UAVs need to fulfill their missions in the shortest possible time. In addition to this requirement, in many applications, the UAVs require a reliable internet connection during their flights. In this paper, we minimize the travel time of the UAVs, ensuring that a probabilistic connectivity constraint is satisfied. To solve this problem, we need a global model of the outage probability in the environment. Since the UAVs have different missions and fly over different areas, their collected data carry local information on the network's connectivity. As a result, the UAVs can not rely on their own experiences to build the global model. This issue affects the path planning of the UAVs. To address this concern, we utilize a two-step approach. In the first step, by using Federated Learning (FL), the UAVs collaboratively build a global model of the outage probability in the environment. In the second step, by using the global model obtained in the first step and rapidly-exploring random trees (RRTs), we propose an algorithm to optimize UAVs' paths. Simulation results show the effectiveness of this two-step approach for UAV networks.


title: Multiple Network Embedding for Anomaly Detection in Time Series of Graphs

abstract: This paper considers the graph signal processing problem of anomaly detection in time series of graphs. We examine two related, complementary inference tasks: the detection of anomalous graphs within a time series, and the detection of temporally anomalous vertices. We approach these tasks via the adaptation of statistically principled methods for joint graph inference, specifically \emph{multiple adjacency spectral embedding} (MASE). We demonstrate that our method is effective for our inference tasks. Moreover, we assess the performance of our method in terms of the underlying nature of detectable anomalies. We further provide the theoretical justification for our method and insight into its use. Applied to the Enron communication graph and a large-scale commercial search engine time series of graphs, our approaches demonstrate their applicability and identify the anomalous vertices beyond just large degree change.


title: QUBIC III: Laboratory Characterization

abstract: A prototype version of the Q & U Bolometric Interferometer for Cosmology (QUBIC) underwent a campaign of testing in the laboratory at Astroparticle Physics and Cosmology in Paris. We report the results of this Technological Demonstrator which successfully shows the feasibility of the principle of Bolometric Interferometry. Characterization of QUBIC includes the measurement of the synthesized beam, the measurement of interference fringes, and the measurement of polarization performance. A modulated and frequency tunable millimetre-wave source in the telescope far-field is used to simulate a point source. The QUBIC pointing is scanned across the point source to produce beam maps. Polarization modulation is measured using a rotating Half Wave Plate. The measured beam matches well to the theoretical simulations and gives QUBIC the ability to do spectro imaging. The polarization performance is excellent with less than 0.5\% cross-polarization rejection. QUBIC is ready for deployment on the high altitude site at Alto Chorillo, Argentina to begin scientific operations.


title: Enhanced dissipation and transition threshold for the 2-D plane Poiseuille flow via resolvent estimate

abstract: In this paper, we study the transition threshold problem for the 2-D Navier-Stokes equations around the Poiseuille flow $(1-y^2,0)$ in a finite channel with Navier-slip boundary condition. Based on the resolvent estimates for the linearized operator around the Poiseuille flow, we first establish the enhanced dissipation estimates for the linearized Navier-Stokes equations with a sharp decay rate $e^{-c\sqrt{\nu}t}$. As an application, we prove that if the initial perturbation of vortiticy satisfies $$\|\omega_0\|_{L^2}\leq c_0\nu^{\frac{3}{4}},$$ for some small constant $c_0>0$ independent of the viscosity $\nu$, then the solution dose not transition away from the Poiseuille flow for any time.


title: On the spectral properties of the Hilbert transform operator on multi-intervals

abstract: Let $J,E\subset\mathbb R$ be two multi-intervals with non-intersecting interiors. Consider the following operator $$A:\, L^2( J )\to L^2(E),\ (Af)(x) = \frac 1\pi\int_{ J } \frac {f(y)\text{d} y}{x-y},$$ and let $A^\dagger$ be its adjoint. We introduce a self-adjoint operator $\mathscr K$ acting on $L^2(E)\oplus L^2(J)$, whose off-diagonal blocks consist of $A$ and $A^\dagger$. In this paper we study the spectral properties of $\mathscr K$ and the operators $A^\dagger A$ and $A A^\dagger$. Our main tool is to obtain the resolvent of $\mathscr K$, which is denoted by $\mathscr R$, using an appropriate Riemann-Hilbert problem, and then compute the jump and poles of $\mathscr R$ in the spectral parameter $\lambda$. We show that the spectrum of $\mathscr K$ has an absolutely continuous component $[0,1]$ if and only if $J$ and $E$ have common endpoints, and its multiplicity equals to their number. If there are no common endpoints, the spectrum of $\mathscr K$ consists only of eigenvalues and $0$. If there are common endpoints, then $\mathscr K$ may have eigenvalues imbedded in the continuous spectrum, each of them has a finite multiplicity, and the eigenvalues may accumulate only at $0$. In all cases, $\mathscr K$ does not have a singular continuous spectrum. The spectral properties of $A^\dagger A$ and $A A^\dagger$, which are very similar to those of $\mathscr K$, are obtained as well.


title: A concise and critical literature review on approaches for the modelling of the deformation behavior of soils subjected to cyclic loads

abstract: This paper focuses on state-of-the art of various approaches for the modelling of deformation behavior of soils when subjected to cyclic loading. The various approaches are broadly classified into implicit and explicit. Models within each category are discussed and some of their limitations are pointed out.


title: Multi-Person Full Body Pose Estimation

abstract: Multi-person pose estimation plays an important role in many fields. Although previous works have researched a lot on different parts of human pose estimation, full body pose estimation for multi-person still needs further research. Our work has developed an integrated model through knowledge distillation which can estimate full body poses. Trained based on the AlphaPose system and MSCOCO2017 dataset, our model achieves 51.5 mAP on the validation dataset annotated manually by ourselves. Related resources are available at https://esflfei.github.io/esflfei.gethub.io/website.html.


title: An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors

abstract: Decision procedures for SMT problems based on the theory of bit-vectors are a fundamental component in state-of-the-art software and hardware verifiers. While very efficient in general, certain SMT instances are still challenging for state-of-the-art solvers (especially when such instances include computationally costly functions). In this work, we present an approach for the quantifier-free bit-vector theory (QF_BV in SMT-LIB) based on incremental SMT solving and abstraction refinement. We define four concrete approximation steps for the multiplication, division and remainder operators and combine them into an incremental abstraction scheme. We implement this scheme in a prototype extending the SMT solver Boolector and measure both the overall performance and the performance of the single approximation steps. The evaluation shows that our abstraction scheme contributes to solving more unsatisfiable benchmark instances, including seven instances with unknown status in SMT-LIB.


title: Streaming Submodular Matching Meets the Primal-Dual Method

abstract: We study streaming submodular maximization subject to matching/$b$-matching constraints (MSM/MSbM), and present improved upper and lower bounds for these problems. On the upper bounds front, we give primal-dual algorithms achieving the following approximation ratios. $\bullet$ $3+2\sqrt{2}\approx 5.828$ for monotone MSM, improving the previous best ratio of $7.75$. $\bullet$ $4+3\sqrt{2}\approx 7.464$ for non-monotone MSM, improving the previous best ratio of $9.899$. $\bullet$ $3+\epsilon$ for maximum weight b-matching, improving the previous best ratio of $4+\epsilon$. On the lower bounds front, we improve on the previous best lower bound of $\frac{e}{e-1}\approx 1.582$ for MSM, and show ETH-based lower bounds of $\approx 1.914$ for polytime monotone MSM streaming algorithms. Our most substantial contributions are our algorithmic techniques. We show that the (randomized) primal-dual method, which originated in the study of maximum weight matching (MWM), is also useful in the context of MSM. To our knowledge, this is the first use of primal-dual based analysis for streaming submodular optimization. We also show how to reinterpret previous algorithms for MSM in our framework; hence, we hope our work is a step towards unifying old and new techniques for streaming submodular maximization, and that it paves the way for further new results.


title: Generation of Spin-Adapted and Spin-Complete Substitution Operators for (High-Spin) Open-Shell Coupled Cluster of Arbitrary Order

abstract: A rigorous generation of spin-adapted (spin-free) substitution operators for high spin ($S=S_z$) references of arbitrary substitution order and spin quantum number $S$ is presented. The generated operators lead to linearly independent but non-orthogonal CSFs when applied to the reference and span the complete spin space. To incorporate spin completeness, spectating substitutions (as e.g. $\hat{E}_{iv}^{va}$) are introduced. The presented procedure utilizes L\"owdin's projection operator method of spin eigenfunction generation to ensure spin completeness. The generated operators are explicitly checked for (i) their linear independence and (ii) their spin completeness for up to 10-fold substitutions and up to a multiplicity of $2S+1 = 11$. A proof of concept implementation utilizing the generated operators in a coupled cluster (CC) calculation was successfully applied to the high spin states of the Boron atom. The results show pure spin states as well as small effects on the correlation energy compared to spinorbital CC. A comparison to spin-adapted but spin-incomplete CC shows a significant spin incompleteness error.


title: Country-wide mobility changes observed using mobile phone data during COVID-19 pandemic

abstract: In March 2020, the Austrian government introduced a widespread lock-down in response to the COVID-19 pandemic. Based on subjective impressions and anecdotal evidence, Austrian public and private life came to a sudden halt. Here we assess the effect of the lock-down quantitatively for all regions in Austria and present an analysis of daily changes of human mobility throughout Austria using near-real-time anonymized mobile phone data. We describe an efficient data aggregation pipeline and analyze the mobility by quantifying mobile-phone traffic at specific point of interest (POI), analyzing individual trajectories and investigating the cluster structure of the origin-destination graph. We found a reduction of commuters at Viennese metro stations of over 80\% and the number of devices with a radius of gyration of less than 500 m almost doubled. The results of studying crowd-movement behavior highlight considerable changes in the structure of mobility networks, revealed by a higher modularity and an increase from 12 to 20 detected communities. We demonstrate the relevance of mobility data for epidemiological studies by showing a significant correlation of the outflow from the town of Ischgl (an early COVID-19 hotspot) and the reported COVID-19 cases with an 8-day time lag. This research indicates that mobile phone usage data permits the moment-by-moment quantification of mobility behavior for a whole country. We emphasize the need to improve the availability of such data in anonymized form to empower rapid response to combat COVID-19 and future pandemics.


title: Kernel-based Graph Learning from Smooth Signals: A Functional Viewpoint

abstract: The problem of graph learning concerns the construction of an explicit topological structure revealing the relationship between nodes representing data entities, which plays an increasingly important role in the success of many graph-based representations and algorithms in the field of machine learning and graph signal processing. In this paper, we propose a novel graph learning framework that incorporates the node-side and observation-side information, and in particular the covariates that help to explain the dependency structures in graph signals. To this end, we consider graph signals as functions in the reproducing kernel Hilbert space associated with a Kronecker product kernel, and integrate functional learning with smoothness-promoting graph learning to learn a graph representing the relationship between nodes. The functional learning increases the robustness of graph learning against missing and incomplete information in the graph signals. In addition, we develop a novel graph-based regularisation method which, when combined with the Kronecker product kernel, enables our model to capture both the dependency explained by the graph and the dependency due to graph signals observed under different but related circumstances, e.g. different points in time. The latter means the graph signals are free from the i.i.d. assumptions required by the classical graph learning models. Experiments on both synthetic and real-world data show that our methods outperform the state-of-the-art models in learning a meaningful graph topology from graph signals, in particular under heavy noise, missing values, and multiple dependency.


abstract: Reinforcement learning (RL) in low-data and risk-sensitive domains requires performant and flexible deployment policies that can readily incorporate constraints during deployment. One such class of policies are the semi-parametric H-step lookahead policies, which select actions using trajectory optimization over a dynamics model for a fixed horizon with a terminal value function. In this work, we investigate a novel instantiation of H-step lookahead with a learned model and a terminal value function learned by a model-free off-policy algorithm, named Learning Off-Policy with Online Planning (LOOP). We provide a theoretical analysis of this method, suggesting a tradeoff between model errors and value function errors and empirically demonstrate this tradeoff to be beneficial in deep reinforcement learning. Furthermore, we identify the "Actor Divergence" issue in this framework and propose Actor Regularized Control (ARC), a modified trajectory optimization procedure. We evaluate our method on a set of robotic tasks for Offline and Online RL and demonstrate improved performance. We also show the flexibility of LOOP to incorporate safety constraints during deployment with a set of navigation environments. We demonstrate that LOOP is a desirable framework for robotics applications based on its strong performance in various important RL settings. Project video and details can be found at https://hari-sikchi.github.io/loop .


title: The influence of Bi2O3 glass powder in silver paste on the fabrication of ohmic contacts and its potential effectiveness in solar cells and integrated circuits on p-type silicon substrates

abstract: The present work critically investigates the influence of low melting glasses on the fabrication of metal contacts, with the goal of advancing applications of bismuth based oxide glass and screen printed silver contacts for use in integrated circuits (ICs), solar cells, and sensors. In this study, novel electrode contacts were fabricated by screen printing composite pastes composed of mainly silver powder, Bi2O3 glass powder, and acyclic binder, and then firing the pastes in a belt furnace. The microstructures of the composite films after firing at 830 to 890 {\deg}C were observed under different corrosion conditions, and the resulting layers were analyzed with X ray diffraction (XRD) and the transfer length method (TLM). A series of investigations to determine the influence of Bi2O3 glass in silver paste involved various tests, including differential thermal analysis (DTA), scanning electron microscopy (SEM), electron probe X ray microanalysis (EPMA), secondary ion mass spectrometry (SIMS) and transmission electron microscopy (TEM), to determine the effects of Bi2O3 mixed with silver and the efficacy of the resulting metal contacts in IC fabrications. It was observed that the additive, Bi2O3 glass, controlled the melting of the silver into the glass, influencing the precipitation of Ag crystallites. In addition, an increase in the firing temperature caused excessive growth of Ag crystallites and current leakage, and the size and the relationship of the Ag crystallites in the Bi2O3 glass were confirmed.


title: Heterodyne Sensing of Microwaves with a Quantum Sensor

abstract: Diamond quantum sensors are sensitive to weak microwave magnetic fields resonant to the spin transitions. However the spectral resolution in such protocols is limited ultimately by sensor lifetime. Here we demonstrate a heterodyne detection method for microwaves (MW) leading to a lifetime independent spectral resolution in the GHz range. We reference the MW-signal to a local oscillator by generating the initial superposition state from a coherent source. Experimentally we achieve a spectral resolution below $1\ \rm{Hz}$ for a $4\ \rm{GHz}$ signal far below the sensor lifetime limit of kilohertz. Furthermore we show control over the interaction of the MW-field with the two level system by applying dressing fields, pulsed Mollow absorption and Floquet dynamics under strong longitudinal radio frequency drive. While pulsed Mollow absorption leads to highest sensitivity, the Floquet dynamics allows robust control independent from the systems resonance frequency. Our work is important for future studies in sensing weak microwave signals in wide frequency range with high spectral resolution.


title: Towards Heim and Neuhauser's Unimodality Conjecture on the Nekrasov-Okounkov polynomials

abstract: Let $Q_n(z)$ be the polynomials associated with the Nekrasov-Okounkov formula $$\sum_{n\geq 1} Q_n(z) q^n := \prod_{m = 1}^\infty (1 - q^m)^{-z - 1}.$$ In this paper we partially answer a conjecture of Heim and Neuhauser, which asks if $Q_n(z)$ is unimodal, or stronger, log-concave for all $n \geq 1$. Through a new recursive formula, we show that if $A_{n,k}$ is the coefficient of $z^k$ in $Q_n(z)$, then $A_{n,k}$ is log-concave in $k$ for $k \ll n^{1/6}/\log n$ and monotonically decreasing for $k \gg \sqrt{n}\log n$. We also propose a conjecture that can potentially close the gap.


title: Quantum Estimation in Strong Fields: in situ ponderomotive sensing

abstract: We develop a new framework to optimize and understand uncertainty from in situ strong field measurements of laser field parameters. We present the first derivation of quantum and classical Fisher information for an electron undergoing strong-field ionization. This is used for parameter estimation and to characterize the uncertainty of the ponderomotive energy, directly proportional to laser intensity. In particular, the quantum and classical Fisher information for the momentum basis displays quadratic scaling over time. This can be linked to above-threshold ionization interference rings for measurements in the momentum basis and to the `ponderomotive phase' for the `ideal' quantum measurements. Preferential scaling is found for increasing laser pulse length and intensity. We use this to demonstrate for in situ measurements of laser intensity, that high resolution momentum spectroscopy has the capacity to reduce the uncertainty by over $25$ times compared to measurements employing the ionization rate, while using the `ideal' quantum measurement would reduce it by a further factor of $2.6$. A minimum uncertainty of the order $2.8 \times 10^{-3}~\%$ is theorized for this framework. Finally, we examine previous in situ measurements formulating a measurement that matches the experimental procedure and suggest how to improve this.


title: Laser Control of Singlet-Pairing Process in an Ultracold Spinor Mixture

abstract: In the mixture of ultracold spin-1 atoms of two different species A and B (e.g., $^{23}$Na (A) and $^{87}$Rb (B)), inter-species singlet-pairing process ${\rm A}_{+1}+{\rm B}_{-1}\rightleftharpoons {\rm A}_{-1}+{\rm B}_{+1}$, can be induced by the spin-dependent inter-atomic interaction, where subscript $\pm 1$ denotes the magnetic quantum number. Nevertheless, one cannot isolate this process from other spin-changing processes by tuning the bias real magnetic field. As a result, so far the singlet-pairing process have not been clearly observed in the experiments, and the measurement of the corresponding interaction strength becomes difficult. In this work we propose to control the singlet-pairing process via combining the real magnetic field and a laser-induced species-dependent synthetic magnetic field. With our approach one can significantly enhance this process and simultaneously supperess all other spin-changing processes. We illustrate our approach for both a confined two-atom system and a binary mixture of spinor Bose-Einstein condensates. Our control scheme is helpful for the precise measurement of the weakly singlet-pairing interaction strength and the entanglement generation of two different atoms.


title: Prescribed Riemannian Symmetries

abstract: Given a smooth free action of a compact connected Lie group $G$ on a smooth compact manifold $M$, we show that the space of $G$-invariant Riemannian metrics on $M$ whose automorphism group is precisely $G$ is open dense in the space of all $G$-invariant metrics, provided the dimension of $M$ is "sufficiently large" compared to that of $G$. As a consequence, it follows that every compact connected Lie group can be realized as the automorphism group of some compact connected Riemannian manifold; this recovers prior work by Bedford-Dadok and Saerens-Zame under less stringent dimension conditions. Along the way we also show, under less restrictive conditions on both dimensions and actions, that the space of $G$-invariant metrics whose automorphism groups preserve the $G$-orbits is dense $G_{\delta}$ in the space of all $G$-invariant metrics.


title: Enabling human-like task identification from natural conversation

abstract: A robot as a coworker or a cohabitant is becoming mainstream day-by-day with the development of low-cost sophisticated hardware. However, an accompanying software stack that can aid the usability of the robotic hardware remains the bottleneck of the process, especially if the robot is not dedicated to a single job. Programming a multi-purpose robot requires an on the fly mission scheduling capability that involves task identification and plan generation. The problem dimension increases if the robot accepts tasks from a human in natural language. Though recent advances in NLP and planner development can solve a variety of complex problems, their amalgamation for a dynamic robotic task handler is used in a limited scope. Specifically, the problem of formulating a planning problem from natural language instructions is not studied in details. In this work, we provide a non-trivial method to combine an NLP engine and a planner such that a robot can successfully identify tasks and all the relevant parameters and generate an accurate plan for the task. Additionally, some mechanism is required to resolve the ambiguity or missing pieces of information in natural language instruction. Thus, we also develop a dialogue strategy that aims to gather additional information with minimal question-answer iterations and only when it is necessary. This work makes a significant stride towards enabling a human-like task understanding capability in a robot.


title: Your instruction may be crisp, but not clear to me!

abstract: The number of robots deployed in our daily surroundings is ever-increasing. Even in the industrial set-up, the use of coworker robots is increasing rapidly. These cohabitant robots perform various tasks as instructed by co-located human beings. Thus, a natural interaction mechanism plays a big role in the usability and acceptability of the robot, especially by a non-expert user. The recent development in natural language processing (NLP) has paved the way for chatbots to generate an automatic response for users' query. A robot can be equipped with such a dialogue system. However, the goal of human-robot interaction is not focused on generating a response to queries, but it often involves performing some tasks in the physical world. Thus, a system is required that can detect user intended task from the natural instruction along with the set of pre- and post-conditions. In this work, we develop a dialogue engine for a robot that can classify and map a task instruction to the robot's capability. If there is some ambiguity in the instructions or some required information is missing, which is often the case in natural conversation, it asks an appropriate question(s) to resolve it. The goal is to generate minimal and pin-pointed queries for the user to resolve an ambiguity. We evaluate our system for a telepresence scenario where a remote user instructs the robot for various tasks. Our study based on 12 individuals shows that the proposed dialogue strategy can help a novice user to effectively interact with a robot, leading to satisfactory user experience.


title: More planetary candidates from K2 Campaign 5 by tran_k2

abstract: CONTEXT. The exquisite precision of the space-based photometric surveys and the unavoidable presence of instrumental systematics and intrinsic stellar variability call for the development of sophisticated methods that separate these signal components from those caused by planetary transits. AIMS. Here we introduce tran_k2 a stand-alone Fortran code to search for planetary transits under the colored noise of stellar variability and instrumental effects. With this code we perform a survey for new candidates. METHODS. Stellar variability is represented by a Fourier series, and, if needed, by an autoregressive model to avoid excessive Gibbs overshoots at the edges. For the treatment of systematics, cotrending and external parameter decorrelation are employed by using cotrending stars with low stellar variability, the chip position and the background flux level at the target. The filtering is made within the framework of the standard weighted least squares, where the weights are determined iteratively, to allow robust fit and separate the transit signal from stellar variability and systematics. Once the periods of the transit components are determined from the filtered data by the box-fitting least squares method, we reconstruct the full signal and determine the transit parameters with a higher accuracy. This step greatly reduces the excessive attenuation of the transit depths and minimizes shape deformation. RESULTS. The code was tested on the field of Campaign 5 of the K2 mission. We detected 98% of the systems with all their candidate planets reported earlier by other authors, surveyed the whole field and discovered 15 new systems. Additional 3 planets were found in 3 multiplanetary systems and 2 more planets were found in a previously known single planet system.


title: An Alternative Method for Extracting the von Neumann Entropy from Renyi Entropies

abstract: An alternative method is presented for extracting the von Neumann entropy $-\operatorname{Tr} (\rho \ln \rho)$ from $\operatorname{Tr} (\rho^n)$ for integer $n$ in a quantum system with density matrix $\rho$. Instead of relying on direct analytic continuation in $n$, the method uses a generating function $-\operatorname{Tr} \{ \rho \ln [(1-z \rho) / (1-z)] \}$ of an auxiliary complex variable $z$. The generating function has a Taylor series that is absolutely convergent within $|z|<1$, and may be analytically continued in $z$ to $z = -\infty$ where it gives the von Neumann entropy. As an example, we use the method to calculate analytically the CFT entanglement entropy of two intervals in the small cross ratio limit, reproducing a result that Calabrese et al. obtained by direct analytic continuation in $n$. Further examples are provided by numerical calculations of the entanglement entropy of two intervals for general cross ratios, and of one interval at finite temperature and finite interval length.


title: Learn to Talk via Proactive Knowledge Transfer

abstract: Knowledge Transfer has been applied in solving a wide variety of problems. For example, knowledge can be transferred between tasks (e.g., learning to handle novel situations by leveraging prior knowledge) or between agents (e.g., learning from others without direct experience). Without loss of generality, we relate knowledge transfer to KL-divergence minimization, i.e., matching the (belief) distributions of learners and teachers. The equivalence gives us a new perspective in understanding variants of the KL-divergence by looking at how learners structure their interaction with teachers in order to acquire knowledge. In this paper, we provide an in-depth analysis of KL-divergence minimization in Forward and Backward orders, which shows that learners are reinforced via on-policy learning in Backward. In contrast, learners are supervised in Forward. Moreover, our analysis is gradient-based, so it can be generalized to arbitrary tasks and help to decide which order to minimize given the property of the task. By replacing Forward with Backward in Knowledge Distillation, we observed +0.7-1.1 BLEU gains on the WMT'17 De-En and IWSLT'15 Th-En machine translation tasks.


title: Let me join you! Real-time F-formation recognition by a socially aware robot

abstract: This paper presents a novel architecture to detect social groups in real-time from a continuous image stream of an ego-vision camera. F-formation defines social orientations in space where two or more person tends to communicate in a social place. Thus, essentially, we detect F-formations in social gatherings such as meetings, discussions, etc. and predict the robot's approach angle if it wants to join the social group. Additionally, we also detect outliers, i.e., the persons who are not part of the group under consideration. Our proposed pipeline consists of -- a) a skeletal key points estimator (a total of 17) for the detected human in the scene, b) a learning model (using a feature vector based on the skeletal points) using CRF to detect groups of people and outlier person in a scene, and c) a separate learning model using a multi-class Support Vector Machine (SVM) to predict the exact F-formation of the group of people in the current scene and the angle of approach for the viewing robot. The system is evaluated using two data-sets. The results show that the group and outlier detection in a scene using our method establishes an accuracy of 91%. We have made rigorous comparisons of our systems with a state-of-the-art F-formation detection system and found that it outperforms the state-of-the-art by 29% for formation detection and 55% for combined detection of the formation and approach angle.


title: Compatible Recurrent Identities of the Sandpile Group and Maximal Stable Configurations

abstract: In the abelian sandpile model, recurrent chip configurations are of interest as they are a natural choice of coset representatives under the quotient of the reduced Laplacian. We investigate graphs whose recurrent identities with respect to different sinks are compatible with each other. The maximal stable configuration is the simplest recurrent chip configuration, and graphs whose recurrent identities equal the maximal stable configuration are of particular interest, and are said to have the complete maximal identity property. We prove that given any graph $G$ one can attach trees to the vertices of $G$ to yield a graph with the complete maximal identity property. We conclude with several intriguing conjectures about the complete maximal identity property of various graph products.


title: Mobile Networks for Computer Go

abstract: The architecture of the neural networks used in Deep Reinforcement Learning programs such as Alpha Zero or Polygames has been shown to have a great impact on the performances of the resulting playing engines. For example the use of residual networks gave a 600 ELO increase in the strength of Alpha Go. This paper proposes to evaluate the interest of Mobile Network for the game of Go using supervised learning as well as the use of a policy head and a value head different from the Alpha Zero heads. The accuracy of the policy, the mean squared error of the value, the efficiency of the networks with the number of parameters, the playing speed and strength of the trained networks are evaluated.


title: Self-generated persistent random forces drive phase separation in growing tumors

abstract: A single solid tumor, composed of nearly identical cells, exhibits heterogeneous dynamics. Cells dynamics in the core is glass-like whereas those in the periphery undergo diffusive or super-diffusive behavior. Quantification of heterogeneity using the mean square displacement or the self-intermediate scattering function, which involves averaging over the cell population, hides the complexity of the collective movement. Using the t-distributed stochastic neighbor embedding (t-SNE), a popular unsupervised machine learning dimensionality reduction technique, we show that the phase space structure of an evolving colony of cells, driven by cell division and apoptosis, partitions into nearly disjoint sets composed principally of core and periphery cells. The non-equilibrium phase separation is driven by the differences in the persistence of self-generated active forces induced by cell division. Extensive heterogeneity revealed by t-SNE paves way towards understanding the origins of intratumor heterogeneity using experimental imaging data.


title: Retrieval of energy spectra for all flavor of neutrinos from core-collapse supernova with multiple detectors

abstract: We present a new method by which to retrieve energy spectrum for all flavor of neutrinos from core-collapse supernova (CCSN). In the retrieval process, we do not assume any analytic formulae to express the energy spectrum of neutrinos but rather take a direct way of spectrum reconstruction from the observed data; the Singular Value Decomposition algorithm with a newly developed adaptive energy-gridding technique is adopted. We employ three independent reaction channels having different flavor sensitivity to neutrinos. Two reaction channels, inverse beta decay on proton and elastic scattering on electrons, from a water Cherenkov detector such as Super-Kamiokande (SK) and Hyper-Kamiokande (HK), and a charged current reaction channel with Argon from the Deep Underground Neutrino Experiment (DUNE) are adopted. Given neutrino oscillation models, we iteratively search the neutrino energy spectra at the CCSN source until they provide the consistent event counts in the three reaction channels. We test the capability of our method by demonstrating the spectrum retrieval to a theoretical neutrino data computed by our recent three-dimensional CCSN simulation. Although the energy spectrum with either electron-type or electron-type anti-neutrinos at the CCSN source has relatively large error compared to that of other species, the joint analysis with HK + DUNE or SK + DUNE will provide precise energy spectrum of all flavors of neutrinos at the source. Finally, we discuss perspectives for improvements of our method by using neutrino data of other detectors.


title: 'Oumuamua as a Cometary Fractal Aggregate: the "Dust Bunny" Model

abstract: The first known interstellar object, 1I/2017 U1 'Oumuamua, displayed such unusual properties that its origin remains a subject of much debate. We propose that 'Oumuamua's properties could be explained as those of a fractal dust aggregate (a "dust bunny") formed in the inner coma of a fragmenting exo-Oort cloud comet. Such fragments could serve as accretion sites by accumulating dust particles, resulting in the formation of a fractal aggregate. The fractal aggregate eventually breaks off from the fragment due to hydrodynamic stress. With their low density and tenuously bound orbits, most of these cometary fractal aggregates are then ejected into interstellar space by radiation pressure.


title: DeComplex: Task planning from complex natural instructions by a collocating robot

abstract: As the number of robots in our daily surroundings like home, office, restaurants, factory floors, etc. are increasing rapidly, the development of natural human-robot interaction mechanism becomes more vital as it dictates the usability and acceptability of the robots. One of the valued features of such a cohabitant robot is that it performs tasks that are instructed in natural language. However, it is not trivial to execute the human intended tasks as natural language expressions can have large linguistic variations. Existing works assume either single task instruction is given to the robot at a time or there are multiple independent tasks in an instruction. However, complex task instructions composed of multiple inter-dependent tasks are not handled efficiently in the literature. There can be ordering dependency among the tasks, i.e., the tasks have to be executed in a certain order or there can be execution dependency, i.e., input parameter or execution of a task depends on the outcome of another task. Understanding such dependencies in a complex instruction is not trivial if an unconstrained natural language is allowed. In this work, we propose a method to find the intended order of execution of multiple inter-dependent tasks given in natural language instruction. Based on our experiment, we show that our system is very accurate in generating a viable execution plan from a complex instruction.


title: MultiVERSE: a multiplex and multiplex-heterogeneous network embedding approach

abstract: Network embedding approaches are gaining momentum to analyse a large variety of networks. Indeed, these approaches have demonstrated their efficiency for tasks such as community detection, node classification, and link prediction. However, very few network embedding methods have been specifically designed to handle multiplex networks, i.e. networks composed of different layers sharing the same set of nodes but having different types of edges. Moreover, to our knowledge, existing approaches cannot embed multiple nodes from multiplex-heterogeneous networks, i.e. networks composed of several layers containing both different types of nodes and edges. In this study, we propose MultiVERSE, an extension of the VERSE method with Random Walks with Restart on Multiplex (RWR-M) and Multiplex-Heterogeneous (RWR-MH) networks. MultiVERSE is a fast and scalable method to learn node embeddings from multiplex and multiplex-heterogeneous networks. We evaluate MultiVERSE on several biological and social networks and demonstrate its efficiency. MultiVERSE indeed outperforms most of the other methods in the tasks of link prediction and network reconstruction for multiplex network embedding, and is also efficient in the task of link prediction for multiplex-heterogeneous network embedding. Finally, we apply MultiVERSE to study rare disease-gene associations using link prediction and clustering. MultiVERSE is freely available on github at https://github.com/Lpiol/MultiVERSE.


title: Learning Models of Individual Behavior in Chess

abstract: AI systems that can capture human-like behavior are becoming increasingly useful in situations where humans may want to learn from these systems, collaborate with them, or engage with them as partners for an extended duration. In order to develop human-oriented AI systems, the problem of predicting human actions -- as opposed to predicting optimal actions -- has received considerable attention. Existing work has focused on capturing human behavior in an aggregate sense, which potentially limits the benefit any particular individual could gain from interaction with these systems. We extend this line of work by developing highly accurate predictive models of individual human behavior in chess. Chess is a rich domain for exploring human-AI interaction because it combines a unique set of properties: AI systems achieved superhuman performance many years ago, and yet humans still interact with them closely, both as opponents and as preparation tools, and there is an enormous corpus of recorded data on individual player games. Starting with Maia, an open-source version of AlphaZero trained on a population of human players, we demonstrate that we can significantly improve prediction accuracy of a particular player's moves by applying a series of fine-tuning methods. Furthermore, our personalized models can be used to perform stylometry -- predicting who made a given set of moves -- indicating that they capture human decision-making at an individual level. Our work demonstrates a way to bring AI systems into better alignment with the behavior of individual people, which could lead to large improvements in human-AI interaction.


title: Blindness of score-based methods to isolated components and mixing proportions

abstract: Statistical tasks such as density estimation and approximate Bayesian inference often involve densities with unknown normalising constants. Score-based methods, including score matching, are popular techniques as they are free of normalising constants. Although these methods enjoy theoretical guarantees, a little-known fact is that they exhibit practical failure modes when the unnormalised distribution of interest has isolated components -- they cannot discover isolated components or identify the correct mixing proportions between components. We demonstrate these findings using simple distributions and present heuristic attempts to address these issues. We hope to bring the attention of theoreticians and practitioners to these issues when developing new algorithms and applications.


title: Taming the fixed-node error in diffusion Monte Carlo via range separation

abstract: By combining density-functional theory (DFT) and wave function theory (WFT) via the range separation (RS) of the interelectronic Coulomb operator, we obtain accurate fixed-node diffusion Monte Carlo (FN-DMC) energies with compact multi-determinant trial wave functions. In particular, we combine here short-range exchange-correlation functionals with a flavor of selected configuration interaction (SCI) known as \emph{configuration interaction using a perturbative selection made iteratively} (CIPSI), a scheme that we label RS-DFT-CIPSI. One of the take-home messages of the present study is that RS-DFT-CIPSI trial wave functions yield lower fixed-node energies with more compact multi-determinant expansions than CIPSI, especially for small basis sets. Indeed, as the CIPSI component of RS-DFT-CIPSI is relieved from describing the short-range part of the correlation hole around the electron-electron coalescence points, the number of determinants in the trial wave function required to reach a given accuracy is significantly reduced as compared to a conventional CIPSI calculation. Importantly, by performing various numerical experiments, we evidence that the RS-DFT scheme essentially plays the role of a simple Jastrow factor by mimicking short-range correlation effects, hence avoiding the burden of performing a stochastic optimization. Considering the 55 atomization energies of the Gaussian-1 benchmark set of molecules, we show that using a fixed value of $\mu=0.5$~bohr$^{-1}$ provides effective error cancellations as well as compact trial wave functions, making the present method a good candidate for the accurate description of large chemical systems.


title: The ideal of Lesieur-Croisot elements of Jordan pairs

abstract: We study the sets of elements of Jordan pairs whose local Jordan algebras are Lesieur-Croisot algebras, that is, classical orders in nondegenerate Jordan algebras with finite capacity. It is then proved that, if the Jordan pair is nondegenerate, the set of its Lesieur-Croisot elements is an ideal of the Jordan pair.


title: Renormalization Group Approach to the Continuum Limit of Matrix Models of Quantum Gravity with Preferred Foliation

abstract: This contribution is not intended as a review but, by suggestion of the editors, as a glimpse ahead into the realm of dually weighted tensor models for quantum gravity. This class of models allows one to consider a wider class of quantum gravity models, in particular one can formulate state sum models of spacetime with an intrinsic notion of foliation. The simplest one of these models is the one proposed by Benedetti and Henson, which is a matrix model formulation of two-dimensional Causal Dynamical Triangulations (CDT). In this paper we apply the Functional Renormalization Group Equation (FRGE) to the Benedetti-Henson model with the purpose of investigating the possible continuum limits of this class of models. Possible continuum limits appear in this FRGE approach as fixed points of the renormalization group flow where the size of the matrix acts as the renormalization scale. Considering very small truncations, we find fixed points that are compatible with analytically known results for CDT in two dimensions. By studying the scheme dependence of our results we find that precision results require larger truncations than the ones considered in the present work. We conclude that our work suggests that the FRGE is a useful exploratory tool for dually weighted matrix models. We thus expect that the FRGE will be a useful exploratory tool for the investigation of dually weighted tensor models for CDT in higher dimensions.


title: Changing looks of the nucleus of Seyfert galaxy NGC 3516 during 2016-2020

abstract: The results of spectral observations of NGC 3516 with the 2-m telescope of the Shamakhy Astrophysical Observatory during 2016-2020 are presented. In the first half of 2016, the intensive broad component Hbeta was found, which indicates a spectral type change compared to 2014, when the broad component was almost invisible. In the second half of 2016, the broad component H${\beta}$ again was weakened and was practically not observed, remaining as weak until the end of 2019. At the end of 2019, the broad component Hbeta strengthened again, and in May 2020 reached a typical level for the high state of the object. During 2016-2020 we observed several changing looks of NGC 3516.


title: Adaptive Subband Compression for Streaming of Continuous Point-on-Wave and PMU Data

abstract: A data compression system capable of providing real-time streaming of high-resolution continuous point-on-wave (CPOW) and phasor measurement unit (PMU) measurements is proposed. Referred to as adaptive subband compression (ASBC), the proposed technique partitions the signal space into subbands and adaptively compresses subband signals based on each subband's active bandwidth. The proposed technique conforms to existing industry phasor measurement standards, making it suitable for streaming high-resolution CPOW and PMU data either in continuous or burst on-demand/event-triggered modes. Experiments on synthetic and real data show that ASBC reduces the CPOW sampling rates by several orders of magnitude for real-time streaming while maintaining the precision required by industry standards.


title: Application of the Gauss-Bonnet theorem to lensing in the NUT metric

abstract: We show with the help of Fermat's principle that every lightlike geodesic in the NUT metric projects to a geodesic of a two-dimensional Riemannian metric which we call the optical metric. The optical metric is defined on a (coordinate) cone whose opening angle is determined by the impact parameter of the lightlike geodesic. We show that, surprisingly, the optical metrics on cones with different opening angles are locally (but not globally) isometric. With the help of the Gauss-Bonnet theorem we demonstrate that the deflection angle of a lightlike geodesic is determined by an area integral over the Gaussian curvature of the optical metric. A similar result is known to be true for static and spherically symmetric spacetimes. The generalisation to the NUT spacetime, which is neither static nor spherically symmetric (at least not in the usual sense), is rather non-trivial.


title: Adaptive 3D convolutional neural network-based reconstruction method for 3D coherent diffraction imaging

abstract: We present a novel adaptive machine-learning based approach for reconstructing three-dimensional (3D) crystals from coherent diffraction imaging (CDI). We represent the crystals using spherical harmonics (SH) and generate corresponding synthetic diffraction patterns. We utilize 3D convolutional neural networks (CNN) to learn a mapping between 3D diffraction volumes and the SH which describe the boundary of the physical volumes from which they were generated. We use the 3D CNN-predicted SH coefficients as the initial guesses which are then fine tuned using adaptive model independent feedback for improved accuracy.


title: Equations at infinity for critical-orbit-relation families of rational maps

abstract: We develop techniques for using compactifications of Hurwitz spaces to study families of rational maps $\mathbb{P}^1\to\mathbb{P}^1$ defined by critical orbit relations. We apply these techniques in two settings: We show that the parameter space $\mathrm{Per}_{d,n}$ of degree-$d$ bicritical maps with a marked 4-periodic critical point is a $d^2$-punctured Riemann surface of genus $\frac{(d-1)(d-2)}{2}$. We also show that the parameter space $\mathrm{Per}_{2,5}$ of degree-2 rational maps with a marked 5-periodic critical point is a 10-punctured elliptic curve, and we identify its isomorphism class over $\mathbb{Q}$. We carry out an experimental study of the interaction between dynamically defined points of $\mathrm{Per}_{2,5}$ (such as PCF points or punctures) and the group structure of the underlying elliptic curve.


title: On the Inductive Alperin-McKay Conditions in the Maximally Split Case

abstract: The Alperin-McKay conjecture relates height zero characters of an $\ell$-block with the ones of its Brauer correspondent. This conjecture has been reduced to the so-called inductive Alperin-McKay conditions about quasi-simple groups by the third author. Those conditions are still open for groups of Lie type. The present paper describes characters of height zero in $\ell$-blocks of groups of Lie type over a field with $q$ elements when $\ell$ divides $q-1$. We also give information about $\ell$-blocks and Brauer correspondents. As an application we show that quasi-simple groups of type $C$ over $\mathbb{F}_q$ satisfy the inductive Alperin-McKay conditions for primes $\ell\geq 5$ and dividing $q-1$. Some methods to that end are adapted from the work of Malle--Sp\"ath.


title: Testing correlation of unlabeled random graphs

abstract: We study the problem of detecting the edge correlation between two random graphs with $n$ unlabeled nodes. This is formalized as a hypothesis testing problem, where under the null hypothesis, the two graphs are independently generated; under the alternative, the two graphs are edge-correlated under some latent node correspondence, but have the same marginal distributions as the null. For both Gaussian-weighted complete graphs and dense Erd\H{o}s-R\'enyi graphs (with edge probability $n^{-o(1)}$), we determine the sharp threshold at which the optimal testing error probability exhibits a phase transition from zero to one as $n\to \infty$. For sparse Erd\H{o}s-R\'enyi graphs with edge probability $n^{-\Omega(1)}$, we determine the threshold within a constant factor. The proof of the impossibility results is an application of the conditional second-moment method, where we bound the truncated second moment of the likelihood ratio by carefully conditioning on the typical behavior of the intersection graph (consisting of edges in both observed graphs) and taking into account the cycle structure of the induced random permutation on the edges. Notably, in the sparse regime, this is accomplished by leveraging the pseudoforest structure of subcritical Erd\H{o}s-R\'enyi graphs and a careful enumeration of subpseudoforests that can be assembled from short orbits of the edge permutation.


title: Much faster heat/mass than momentum transport in rotating Couette flows

abstract: Heat and mass transport is generally closely correlated to momentum transport in shear flows. This so-called Reynolds analogy between advective heat or mass transport and momentum transport hinders efficiency improvements in engineering heat and mass transfer applications. I show through direct numerical simulations that in plane Couette and Taylor-Couette flow rotation can strongly influence wall-to-wall passive tracer transport and make it much faster than momentum transport, clearly in violation of the Reynolds analogy. This difference between passive tracer transport, representative of heat/mass transport, and momentum transport is observed in steady flows with large counter-rotating vortices at low Reynolds numbers as well as in fully turbulent flows at higher Reynolds numbers. It is especially large near the neutral (Rayleigh's) stability limit. The rotation-induced Coriolis force strongly damps the streamwise/azimuthal velocity fluctuations when this limit is approached while tracer fluctuations are much less affected. Accordingly, momentum transport is much more reduced than tracer transport, showing that the Coriolis force breaks the Reynolds analogy. At higher Reynolds numbers this strong advective transport dissimilarity is accompanied by approximate limit cycle dynamics with intense low-frequency bursts of turbulence when approaching the neutral stability limit. The study demonstrates that simple body forces can cause clear dissimilarities between heat/mass and momentum transport in shear flows.


title: ECG-Based Blood Pressure Estimation Using Mechano-Electric Coupling Concept

abstract: The Electrocardiograph signal represents the heart's electrical activity while blood pressure results from the heart's mechanical activity. Previous studies have investigated how the heart's electrical and mechanical activities are related and have referred to their relationship as the Mechano-Electric Coupling term. A new method to estimate the blood pressure including is proposed which uses only the Electrocardiograph signal. In spite of studies performed on feature extraction based on the signals' physiological parameters (Parameter-based), in this work, the feature vectors are formed with samples of the Electrocardiograph signal in a particular time frame (Whole-based) and these vectors are input into Adaptive Boosting Regression to estimate blood pressure. The nonlinear relationship which correlates blood pressure with the Electrocardiograph signal is concluded by the results of this study. According to the results, the used algorithms, for estimating both diastolic blood pressures and mean arterial pressure, are in compliance with the standards of the Association for the Advancement of Medical Instrumentation. Also, according to the British Hypertension Society standard, estimating diastolic blood pressures and mean arterial pressure with the proposed method attain an A grade while it achieves B for systolic blood pressure. The results indicate that using the introduced method, blood pressure can be estimated continuously, noninvasively, without cuff, calibration-free and by using only the Electrocardiograph signal.


title: Qualitative equivalence between incompatibility and Bell nonlocality

abstract: Measurements in quantum theory can fail to be jointly measurable. Like entanglement, this incompatibility of measurements is necessary but not sufficient for violating Bell inequalities. The (in)compatibility relations among a set of measurements can be represented by a joint measurability structure, i.e., a hypergraph whose vertices denote measurements and hyperedges denote all and only compatible sets of measurements. Since incompatibility is necessary for a Bell violation, the joint measurability structure on each wing of a Bell experiment must necessarily be non-trivial, i.e., it must admit a subset of incompatible vertices. Here we show that for any non-trivial joint measurability structure with a finite set of vertices, there exists a quantum realization with a set of measurements that enables a Bell violation, i.e., given that Alice has access to this incompatible set of measurements, there exists a set of measurements for Bob and an entangled state shared between them such that they can jointly violate a Bell inequality. Hence, a non-trivial joint measurability structure is not only necessary for a Bell violation, but also sufficient. We also provide a partial characterization of qubit measurements that are useful for Bell inequality violations in the simplest joint measurability structure of interest, i.e., Specker's scenario, which consists of three pairwise compatible but triplewise incompatible measurements.


title: Flows on measurable spaces

abstract: The theory of graph limits is only understood to any nontrivial degree in the cases of dense graphs and of bounded degree graphs. There is, however, a lot of interest in the intermediate cases. It appears that the most important constituents of graph limits in the general case will be Markov spaces (Markov chains on measurable spaces with a stationary distribution). This motivates our goal to extend some important theorems from finite graphs to Markov spaces or, more generally, to measurable spaces. In this paper, we show that much of flow theory, one of the most important areas in graph theory, can be extended to measurable spaces. Surprisingly, even the Markov space structure is not fully needed to get these results: all we need a standard Borel space with a measure on its square. Our results may be considered as extensions of flow theory for directed graphs to the measurable case.


title: Social Cybersecurity Chapter 13: Casestudy with COVID-19 Pandemic

abstract: The purpose of this case study is to leverage the concepts and tools presented in the preceding chapters and apply them in a real world social cybersecurity context. With the COVID-19 pandemic emerging as a defining event of the 21st Century and a magnet for disinformation maneuver, we have selected the pandemic and its related social media conversation to focus our efforts on. This chapter therefore applies the tools of information operation maneuver, bot detection and characterization, meme detection and characterization, and information mapping to the COVID-19 related conversation on Twitter. This chapter uses these tools to analyze a stream containing 206 million tweets from 27 million unique users from 15 March 2020 to 30 April 2020. Our results shed light on elaborate information operations that leverage the full breadth of the BEND maneuvers and use bots for important shaping operations.


title: Single-Timescale Stochastic Nonconvex-Concave Optimization for Smooth Nonlinear TD Learning

abstract: Temporal-Difference (TD) learning with nonlinear smooth function approximation for policy evaluation has achieved great success in modern reinforcement learning. It is shown that such a problem can be reformulated as a stochastic nonconvex-strongly-concave optimization problem, which is challenging as naive stochastic gradient descent-ascent algorithm suffers from slow convergence. Existing approaches for this problem are based on two-timescale or double-loop stochastic gradient algorithms, which may also require sampling large-batch data. However, in practice, a single-timescale single-loop stochastic algorithm is preferred due to its simplicity and also because its step-size is easier to tune. In this paper, we propose two single-timescale single-loop algorithms which require only one data point each step. Our first algorithm implements momentum updates on both primal and dual variables achieving an $O(\varepsilon^{-4})$ sample complexity, which shows the important role of momentum in obtaining a single-timescale algorithm. Our second algorithm improves upon the first one by applying variance reduction on top of momentum, which matches the best known $O(\varepsilon^{-3})$ sample complexity in existing works. Furthermore, our variance-reduction algorithm does not require a large-batch checkpoint. Moreover, our theoretical results for both algorithms are expressed in a tighter form of simultaneous primal and dual side convergence.


title: Item Quality Control in Educational Testing: Change Point Model, Compound Risk, and Sequential Detection

abstract: In standardized educational testing, test items are reused in multiple test administrations. To ensure the validity of test scores, the psychometric properties of items should remain unchanged over time. In this paper, we consider the sequential monitoring of test items, in particular, the detection of abrupt changes to their psychometric properties, where a change can be caused by, for example, leakage of the item or change of the corresponding curriculum. We propose a statistical framework for the detection of abrupt changes in individual items. This framework consists of (1) a multi-stream Bayesian change point model describing sequential changes in items, (2) a compound risk function quantifying the risk in sequential decisions, and (3) sequential decision rules that control the compound risk. Throughout the sequential decision process, the proposed decision rule balances the trade-off between two sources of errors, the false detection of pre-change items and the non-detection of post-change items. An item-specific monitoring statistic is proposed based on an item response theory model that eliminates the confounding from the examinee population which changes over time. Sequential decision rules and their theoretical properties are developed under two settings: the oracle setting where the Bayesian change point model is completely known and a more realistic setting where some parameters of the model are unknown. Simulation studies are conducted under settings that mimic real operational tests.


title: Deep Bayes Factor Scoring for Authorship Verification

abstract: The PAN 2020 authorship verification (AV) challenge focuses on a cross-topic/closed-set AV task over a collection of fanfiction texts. Fanfiction is a fan-written extension of a storyline in which a so-called fandom topic describes the principal subject of the document. The data provided in the PAN 2020 AV task is quite challenging because authors of texts across multiple/different fandom topics are included. In this work, we present a hierarchical fusion of two well-known approaches into a single end-to-end learning procedure: A deep metric learning framework at the bottom aims to learn a pseudo-metric that maps a document of variable length onto a fixed-sized feature vector. At the top, we incorporate a probabilistic layer to perform Bayes factor scoring in the learned metric space. We also provide text preprocessing strategies to deal with the cross-topic issue.


title: Developing and Defeating Adversarial Examples

abstract: Breakthroughs in machine learning have resulted in state-of-the-art deep neural networks (DNNs) performing classification tasks in safety-critical applications. Recent research has demonstrated that DNNs can be attacked through adversarial examples, which are small perturbations to input data that cause the DNN to misclassify objects. The proliferation of DNNs raises important safety concerns about designing systems that are robust to adversarial examples. In this work we develop adversarial examples to attack the Yolo V3 object detector [1] and then study strategies to detect and neutralize these examples. Python code for this project is available at https://github.com/ianmcdiarmidsterling/adversarial


title: Optimization of Quality of Experience for Video Traffic

abstract: The rapid shift toward video on-demand and real time information systems has affected mobile as well as wired networks. The research community has placed a strong focus on optimizing the Quality of Experience (QoE) of video traffic, mainly because video is popular among Internet users. Techniques have been proposed in different directions towards improvement of the perception of video users. This paper investigates the performance of a novel cross-layer architecture for optimizing the QoE of video traffic. The proposed architecture is compared to two other architectures; non-adaptive and adaptive. For the former, video traffic is sent without adaptation, whereas for the later video sources adapt their transmission rate. Both are compared in terms of the mean opinion score of video sessions, number of sessions, delay, packet drop ratio, jitter and utilization. The results from extensive simulations show that the proposed architecture outperforms the non-adaptive and adaptive architectures for video traffic.


title: False discovery rate envelopes

abstract: False discovery rate (FDR) is a common way to control the number of false discoveries in multiple testing. There are a number of approaches available for controlling FDR. However, for functional test statistics, which are discretized into $m$ highly correlated hypotheses, the methods must account for changes in distribution across the functional domain and correlation structure. Further, it is of great practical importance to visualize the test statistic together with its rejection or acceptance region. Therefore, the aim of this paper is to find, based on resampling principles, a graphical envelope that controls FDR and detects the outcomes of all individual hypotheses by a simple rule: the hypothesis is rejected if and only if the empirical test statistic is outside of the envelope. Such an envelope offers a straightforward interpretation of the test results, similarly as the recently developed global envelope testing which controls the family-wise error rate. Two different adaptive single threshold procedures are developed to fulfill this aim. Their performance is studied in an extensive simulation study. The new methods are illustrated by three real data examples.


title: Stable discovery of interpretable subgroups via calibration in causal studies

abstract: Building on Yu and Kumbier's PCS framework and for randomized experiments, we introduce a novel methodology for Stable Discovery of Interpretable Subgroups via Calibration (StaDISC), with large heterogeneous treatment effects. StaDISC was developed during our re-analysis of the 1999-2000 VIGOR study, an 8076 patient randomized controlled trial (RCT), that compared the risk of adverse events from a then newly approved drug, Rofecoxib (Vioxx), to that from an older drug Naproxen. Vioxx was found to, on average and in comparison to Naproxen, reduce the risk of gastrointestinal (GI) events but increase the risk of thrombotic cardiovascular (CVT) events. Applying StaDISC, we fit 18 popular conditional average treatment effect (CATE) estimators for both outcomes and use calibration to demonstrate their poor global performance. However, they are locally well-calibrated and stable, enabling the identification of patient groups with larger than (estimated) average treatment effects. In fact, StaDISC discovers three clinically interpretable subgroups each for the GI outcome (totaling 29.4% of the study size) and the CVT outcome (totaling 11.0%). Complementary analyses of the found subgroups using the 2001-2004 APPROVe study, a separate independently conducted RCT with 2587 patients, provides further supporting evidence for the promise of StaDISC.


title: A Note on Locally Compact Subsemigroups of Compact Groups

abstract: An elementary proof is given for the fact that every locally compact subsemigroup of a compact topological group is a closed subgroup. A sample consequence is that every commutative cancellative pseudocompact locally compact Hausdorff topological semigroup with open shifts is a compact topological group.


title: Computing Reeb dynamics on 4d convex polytopes

abstract: We study the combinatorial Reeb flow on the boundary of a four-dimensional convex polytope. We establish a correspondence between "combinatorial Reeb orbits" for a polytope, and ordinary Reeb orbits for a smoothing of the polytope, respecting action and Conley-Zehnder index. One can then use a computer to find all combinatorial Reeb orbits up to a given action and Conley-Zehnder index. We present some results of experiments testing Viterbo's conjecture and related conjectures. In particular, we have found some new examples of polytopes with systolic ratio $1$.


title: Robust Vision Challenge 2020 -- 1st Place Report for Panoptic Segmentation

abstract: In this technical report, we present key details of our winning panoptic segmentation architecture EffPS_b1bs4_RVC. Our network is a lightweight version of our state-of-the-art EfficientPS architecture that consists of our proposed shared backbone with a modified EfficientNet-B5 model as the encoder, followed by the 2-way FPN to learn semantically rich multi-scale features. It consists of two task-specific heads, a modified Mask R-CNN instance head and our novel semantic segmentation head that processes features of different scales with specialized modules for coherent feature refinement. Finally, our proposed panoptic fusion module adaptively fuses logits from each of the heads to yield the panoptic segmentation output. The Robust Vision Challenge 2020 benchmarking results show that our model is ranked #1 on Microsoft COCO, VIPER and WildDash, and is ranked #2 on Cityscapes and Mapillary Vistas, thereby achieving the overall rank #1 for the panoptic segmentation task.


title: Universal integral quadratic forms over dyadic local fields

abstract: A quadratic form over a non-archimedian local field of characteristic zero $F$ is called universal if it is integral and it represents all non-zero integers of $F$. Xu Fei and Zhang Yang determined all universal quadratic forms in the case when $F$ is non-dyadic. In the more complicated dyadic case, when $F$ is a finite extension of $\mathbb Q_2$, they solved the same problem only in the ternary case. In our paper we solve this problem in the general case. Our result is given in terms of BONGs (bases of norm generators) but in section 3 of the paper we translate (without a proof) our result in terms of the more traditional Jordan splittings. In the last section we give some results on $n$-universality. We show that it can be reduced to the cases $n\leq 4$ and we give explicit necessary conditions for $n$-universality in the case when $n\geq 3$, $n$ odd. (A quadratic form is called $n$-maximal if it is integral and it represents all non-degenerate integral quadratic forms of rank $n$.)


title: Handling of uncertainty in medical data using machine learning and probability theory techniques: A review of 30 years (1991-2020)

abstract: Understanding data and reaching valid conclusions are of paramount importance in the present era of big data. Machine learning and probability theory methods have widespread application for this purpose in different fields. One critically important yet less explored aspect is how data and model uncertainties are captured and analyzed. Proper quantification of uncertainty provides valuable information for optimal decision making. This paper reviewed related studies conducted in the last 30 years (from 1991 to 2020) in handling uncertainties in medical data using probability theory and machine learning techniques. Medical data is more prone to uncertainty due to the presence of noise in the data. So, it is very important to have clean medical data without any noise to get accurate diagnosis. The sources of noise in the medical data need to be known to address this issue. Based on the medical data obtained by the physician, diagnosis of disease, and treatment plan are prescribed. Hence, the uncertainty is growing in healthcare and there is limited knowledge to address these problems. We have little knowledge about the optimal treatment methods as there are many sources of uncertainty in medical science. Our findings indicate that there are few challenges to be addressed in handling the uncertainty in medical raw data and new models. In this work, we have summarized various methods employed to overcome this problem. Nowadays, application of novel deep learning techniques to deal such uncertainties have significantly increased.


title: Independent-atom-model coupled-channel calculations strengthen the case for interatomic Coulomb decay as a subdominant reaction channel in slow O$^{3+}$-Ne$_2$ collisions

abstract: We report on electron removal calculations for 2.81 keV/amu Li$^{3+}$ and O$^{3+}$ ion collisions with neon dimers. The target is described as two independent neon atoms fixed at the dimer's equilibrium bond length, whose electrons are subjected to the time-dependent bare and screened Coulomb potentials of the classically moving Li$^{3+}$ and O$^{3+}$ projectile ions, respectively. Three mutually perpendicular orientations of the dimer with respect to the rectilinear projectile trajectories are considered and collision events for the two ion-atom subsystems are combined in an impact parameter by impact parameter fashion and are orientation-averaged to calculate probabilities and cross sections for the ion-dimer system. The coupled-channel two-center basis generator method is used to solve the ion-atom collision problems. We concentrate the ion-dimer analysis on one-electron and two-electron removal processes which can be associated with interatomic Coulomb decay, Coulomb explosion, and radiative charge transfer. We find that the calculated relative yields are in fair agreement with recent experimental data for O$^{3+}$-Ne$_2$ collisions if we represent the projectile by a screened Coulomb potential, but disagree markedly for a bare Coulomb potential, i.e., for Li$^{3+}$ impact. In particular, our calculations suggest that interatomic Coulomb decay is a significant reaction channel in the former case only, since capture of a Ne($2s$) electron to form hydrogenlike Li$^{2+}$ is unlikely.


title: Octonionic Brownian Windings

abstract: We define and study the windings along Brownian paths in the octonionic Euclidean, projective and hyperbolic spaces which are isometric to 8-dimensional Riemannian model spaces. In particular, the asymptotic laws of these windings are shown to be Gaussian for the flat and spherical geometries while the hyperbolic winding exhibits a different long time-behavior.


title: Collaborative Filtering under Model Uncertainty

abstract: In their work, Dean, Rich, and Recht create a model to research recourse and availability of items in a recommender system. We used the definition of predictive multiplicity by Marx, Pin Calmon, and Ustun to examine different variations of this model, using different values for two model parameters. Pairwise comparison of their models show, that most of these models produce very similar results in terms of discrepancy and ambiguity for the availability and only in some cases the availability sets differ significantly.


title: A Prior for Record Linkage Based on Allelic Partitions

abstract: In database management, record linkage aims to identify multiple records that correspond to the same individual. This task can be treated as a clustering problem, in which a latent entity is associated with one or more noisy database records. However, in contrast to traditional clustering applications, a large number of clusters with a few observations per cluster is expected in this context. In this paper, we introduce a new class of prior distributions based on allelic partitions that is specially suited for the small cluster setting of record linkage. Our approach makes it straightforward to introduce prior information about the cluster size distribution at different scales, and naturally enforces sublinear growth of the maximum cluster size -known as the microclustering property. We also introduce a set of novel microclustering conditions in order to impose further constraints on the cluster sizes a priori. We evaluate the performance of our proposed class of priors using simulated data and three official statistics data sets, and show that our models provide competitive results compared to state-of-the-art microclustering models in the record linkage literature. Moreover, we compare the performance of different loss functions for optimal point estimation of the partitions using decision-theoretical based approaches recently proposed in the literature.


title: QUBIC VIII: Optical design and performance

abstract: The Q and U Bolometric Interferometer for Cosmology (QUBIC) is a ground-based experiment that aims to detect B-mode polarisation anisotropies in the CMB at angular scales around the l=100 recombination peak. Systematic errors make ground-based observations of B modes at millimetre wavelengths very challenging and QUBIC mitigates these problems in a somewhat complementary way to other existing or planned experiments using the novel technique of bolometric interferometry. This technique takes advantage of the sensitivity of an imager and the systematic error control of an interferometer. A cold reflective optical combiner superimposes there-emitted beams from 400 aperture feedhorns on two focal planes. A shielding system composedof a fixed groundshield, and a forebaffle that moves with the instrument, limits the impact of local contaminants. The modelling, design, manufacturing and preliminary measurements of the optical components are described in this paper.


title: Existence and spectral instability of bounded spatially periodic traveling waves for scalar viscous balance laws

abstract: This paper studies both existence and spectral stability properties of bounded spatially periodic traveling wave solutions to a large class of scalar viscous balance laws in one space dimension with a reaction function of monostable or Fisher-KPP type. Under suitable structural assumptions, it is shown that this class of equations underlies two families of periodic waves. The first family consists of small amplitude waves with finite fundamental period which emerge from a Hopf bifurcation around a critical value of the wave speed. The second family pertains to arbitrarily large period waves which arise from a homoclinic bifurcation and tend to a limiting traveling (homoclinic) pulse when their fundamental period tends to infinity. For both families, it is shown that the Floquet (continuous) spectrum of the linearization around the periodic waves intersects the unstable half plane of complex values with positive real part, a property known as spectral instability. For that purpose, in the case of small-amplitude waves it is proved that the spectrum of the linearized operator around the wave can be approximated by that of a constant coefficient operator around the zero solution and determined by a dispersion relation which intersects the unstable complex half plane. In the case of large period waves, we verify that the family satisfies the assumptions of the seminal result by Gardner (1997, J. Reine Angew. Math. 491, pp. 149-181) of convergence of periodic spectra in the infinite-period limit to that of the underlying homoclinic wave, which is unstable. A few examples are discussed.


title: Sparse approximation of data-driven Polynomial Chaos expansions: an induced sampling approach

abstract: One of the open problems in the field of forward uncertainty quantification (UQ) is the ability to form accurate assessments of uncertainty having only incomplete information about the distribution of random inputs. Another challenge is to efficiently make use of limited training data for UQ predictions of complex engineering problems, particularly with high dimensional random parameters. We address these challenges by combining data-driven polynomial chaos expansions with a recently developed preconditioned sparse approximation approach for UQ problems. The first task in this two-step process is to employ the procedure developed in (Ahlfeld et al. 2016) to construct an "arbitrary" polynomial chaos expansion basis using a finite number of statistical moments of the random inputs. The second step is a novel procedure to effect sparse approximation via $\ell^1$ minimization in order to quantify the forward uncertainty. To enhance the performance of the preconditioned $\ell^1$ minimization problem, we sample from the so-called induced distribution, instead of using Monte Carlo (MC) sampling from the original, unknown probability measure. We demonstrate on test problems that induced sampling is a competitive and often better choice compared with sampling from asymptotically optimal measures (such as the equilibrium measure) when we have incomplete information about the distribution. We demonstrate the capacity of the proposed induced sampling algorithm via sparse representation with limited data on test functions, and on a Kirchoff plating bending problem with random Young's modulus.


title: Ballroom Dance Movement Recognition Using a Smart Watch

abstract: Inertial Measurement Unit (IMU) sensors are being increasingly used to detect human gestures and movements. Using a single IMU sensor, whole body movement recognition remains a hard problem because movements may not be adequately captured by the sensor. In this paper, we present a whole body movement detection study using a single smart watch in the context of ballroom dancing. Deep learning representations are used to classify well-defined sequences of movements, called \emph{figures}. Those representations are found to outperform ensembles of random forests and hidden Markov models. The classification accuracy of 85.95\% was improved to 92.31\% by modeling a dance as a first-order Markov chain of figures and correcting estimates of the immediately preceding figure.


title: Good Graph to Optimize: Cost-Effective, Budget-Aware Bundle Adjustment in Visual SLAM

abstract: The cost-efficiency of visual(-inertial) SLAM (VSLAM) is a critical characteristic of resource-limited applications. While hardware and algorithm advances have been significantly improved the cost-efficiency of VSLAM front-ends, the cost-efficiency of VSLAM back-ends remains a bottleneck. This paper describes a novel, rigorous method to improve the cost-efficiency of local BA in a BA-based VSLAM back-end. An efficient algorithm, called Good Graph, is developed to select size-reduced graphs optimized in local BA with condition preservation. To better suit BA-based VSLAM back-ends, the Good Graph predicts future estimation needs, dynamically assigns an appropriate size budget, and selects a condition-maximized subgraph for BA estimation. Evaluations are conducted on two scenarios: 1) VSLAM as standalone process, and 2) VSLAM as part of closed-loop navigation system. Results from the first scenario show Good Graph improves accuracy and robustness of VSLAM estimation, when computational limits exist. Results from the second scenario, indicate that Good Graph benefits the trajectory tracking performance of VSLAM-based closed-loop navigation systems, which is a primary application of VSLAM.


title: On weighted logarithmic-Sobolev & logarithmic-Hardy inequalities

abstract: For $N \geq 3$ and $p \in (1,N)$, we look for $g \in L^1_{loc}(\mathbb{R}^N)$ that satisfies the following weighted logarithmic Sobolev inequality: \begin{equation*} \int_{\mathbb{R}^N} g |u|^p \log |u|^p \ dx \leq \gamma \log \left( C_{\gamma} \int_{\mathbb{R}^N} |\nabla u|^p \ dx \right) \,, \end{equation*} for all $u \in \mathcal{D}^{1,p}_0(\mathbb{R}^N)$ with $\int_{\mathbb{R}^N} g|u|^p=1$, for some $\gamma,C_{\gamma}>0$. For each $r \in(p,\frac{Np}{N-p}]$, we identify a Banach function space $\mathcal{H}_{p,r}(\mathbb{R}^N)$ such that the above inequality holds for $g \in \mathcal{H}_{p,r}(\mathbb{R}^N)$. For $\gamma > \frac{r}{r-p}$, we also find a class of $g$ for which the best constant $C_{\gamma}$ in the above inequality is attained in $\mathcal{D}^{1,p}_0(\mathbb{R}^N)$. Further, for a closed set $E$ with Assouad dimension $=d<N$ and $a \in (-\frac{(N-d)(p-1)}{p},\frac{(N-p)(N-d)}{Np}),$ we establish the following logarithmic Hardy inequality \begin{equation*} \int_{\mathbb{R}^N} \frac{|u|^p}{|\delta_E|^{p(a+1)}} \log \left(\delta_E^{N-p-pa} |u|^p\right) \ dx \leq \frac{N}{p} \log \left(\text{C} \int_{\mathbb{R}^N} \frac{|\nabla u|^p}{|\delta_E^{pa}|} \ dx \right) \,, \end{equation*} for all $u \in C_c^{\infty}(\mathbb{R}^N)$ with $\displaystyle \int_{\mathbb{R}^N} \frac{|u|^p}{|\delta_E|^{p(a+1)}} =1,$ for some $\text{C}>0$, where $\delta_E(x)$ is the distance between $x$ and $E$. The second order extension of the logarithmic Hardy inequality is also obtained.


title: ECH embedding obstructions for rational surfaces

abstract: Let $(Y,A)$ be a smooth rational surface or a possibly singular toric surface with ample divisor $A$. We show that a family of ECH-based, algebro-geometric invariants $c^{\text{alg}}_k(Y,A)$ proposed by Wormleighton obstruct symplectic embeddings into $Y$. Precisely, if $(X,\omega_X)$ is a $4$-dimensional star-shaped domain and $\omega_Y$ is a symplectic form Poincar\'e dual to $[A]$ then \[(X,\omega_X)\text{ embeds into }(Y,\omega_Y)\text{ symplectically } \implies c^{\text{ECH}}_k(X,\omega_X) \le c^{\text{alg}}_k(Y,A)\] We give three applications to toric embedding problems: (1) these obstructions are sharp for embeddings of concave toric domains into toric surfaces; (2) the Gromov width and several generalizations are monotonic with respect to inclusion of moment polygons of smooth (and many singular) toric surfaces; and (3) the Gromov width of such a toric surface is bounded by the lattice width of its moment polygon, addressing a conjecture of Averkov--Hofscheier--Nill.


title: Probing the Z = 6 spin-orbit shell gap with (p,2p) quasi-free scattering reactions

abstract: The evolution of the traditional nuclear magic numbers away from the valley of stability is an active field of research. Experimental efforts focus on providing key spectroscopic information that will shed light into the structure of exotic nuclei and understanding the driving mechanism behind the shell evolution. In this work, we investigate the Z = 6 spin-orbit shell gap towards the neutron dripline. To do so, we employed $^{A}$N(p,2p)$^{A-1}$C quasi-free scattering reactions to measure the proton component of the 2$^+_1$ state of $^{16,18,20}$C. The experimental findings support the notion of a moderate reduction of the proton 1p$_{1/2}$-1p$_{3/2}$ spin-orbit splitting, at variance to recent claims for a prevalent Z = 6 magic number towards the neutron dripline.


title: Realizing Computably Enumerable Degrees in Separating Classes

abstract: We investigate what collections of c.e.\ Turing degrees can be realised as the collection of elements of a separating $\Pi^0_1$ class of c.e.\ degree. We show that for every c.e.\ degree $\mathbf{c}$, the collection $\{\mathbf{c}, \mathbf{0}'\}$ can be thus realized. We also rule out several attempts at constructing separating classes realizing a unique c.e.\ degree. For example, we show that there is no \emph{super-maximal} pair: disjoint c.e.\ sets $A$ and $B$ whose separating class is infinite, but every separator of c.e.\ degree is a finite variant of either $A$ or $\overline{B}$.


title: Simple implementation of color coherence for the resumation of soft BDMPS-Z gluons

abstract: The evolution of QCD jets under the influence of a dense colored medium leads to the non trivial modification of the gluon emission spectrum. In the multiple soft scattering regime, for sufficiently large media, soft and wide angle emissions can be resummed (in the planar limit of QCD) due to the small formation time of each gluon emission. Similarly to DGLAP evolution, such cascades correspond to pure Markovian processes and interferences between partons are neglected. In this strict limit, color coherence effects are absent. In the vacuum this coherence effect is critical to guarantee that the shower is angular ordered. In the medium, it is known that such color coherence effects might play a role in suppressing radiation at intermediate emission angles. We present a simple procedure to implement color (de)coherence effects into the in-medium evolution equations obtained in the pure Markovian approximation. We verify that the result obtained is in accordance with previous studies regarding the role of in-medium color coherence in the evolution of the QCD antenna. The new evolution equation incorporates a novel emission kernel which enforces color coherence between emitters.


title: Predicting Helpfulness of Online Reviews

abstract: E-commerce dominates a large part of the world's economy with many websites dedicated to online selling products. The vast majority of e-commerce websites provide their customers with the ability to express their opinions about the products/services they purchase. These feedback in the form of reviews represent a rich source of information about the users' experiences and level of satisfaction, which is of great benefit to both the producer and the consumer. However, not all of these reviews are helpful/useful. The traditional way of determining the helpfulness of a review is through the feedback from human users. However, such a method does not necessarily cover all reviews. Moreover, it has many issues like bias, high cost, etc. Thus, there is a need to automate this process. This paper presents a set of machine learning (ML) models to predict the helpfulness online reviews. Mainly, three approaches are used: a supervised learning approach (using ML as well as deep learning (DL) models), a semi-supervised approach (that combines DL models with word embeddings), and pre-trained word embedding models that uses transfer learning (TL). The latter two approaches are among the unique aspects of this paper as they follow the recent trend of utilizing unlabeled text. The results show that the proposed DL approaches have superiority over the traditional existing ones. Moreover, the semi-supervised has a remarkable performance compared with the other ones.


title: Reflection-asymmetric wormholes and their double shadows

abstract: We discuss construction and observational properties of wormholes obtained by connecting two Reissner-Nordstrom spacetimes with distinct mass and charge parameters. These objects are spherically symmetric, but not reflection-symmetric, as the connected spacetimes differ. The reflection-asymmetric wormholes may reflect a significant fraction of the infalling radiation back to the spacetime of its origin. We interpret this effect in a simple framework of the effective photon potential. Depending on the model parameters, image of such a wormhole seen by a distant observer (its "shadow") may contain a photon ring formed on the observer's side, photon ring formed on the other side of the wormhole, or both photon rings. These unique topological features would allow us to firmly distinguish this class of objects from Kerr black holes using radioastronomical observations.


title: Gentzen-Mints-Zucker duality

abstract: The Curry-Howard correspondence is often described as relating proofs (in intutionistic natural deduction) to programs (terms in simply-typed lambda calculus). However this narrative is hardly a perfect fit, due to the computational content of cut-elimination and the logical origins of lambda calculus. We revisit Howard's work and interpret it as an isomorphism between a category of proofs in intuitionistic sequent calculus and a category of terms in simply-typed lambda calculus. In our telling of the story the fundamental duality is not between proofs and programs but between local (sequent calculus) and global (lambda calculus or natural deduction) points of view on a common logico-computational mathematical structure.