title: The impact of adaptive guards for 5G and beyond

abstract: The next generation communication systems are evolving towards an increased flexibility in different aspects. Enhanced flexibility is the key in order to address diverse requirements. This paper presents the significance of adaptive guards considering a windowed-OFDM system which supports a variety of services operating asynchronously under the same network. The windowing approach requires a guard duration to suppress the out-of-band emissions (OOBE), and the guard band is required to handle the adjacent channel interference (ACI) along with the windowing. The guards in both time and frequency domains are optimized with respect to the use case and power offset between the users. To fully exploit and further increase the potential of adaptive guards, an interference-based scheduling algorithm is proposed as well. The results show that the precise design that facilitates such flexibility reduce the guards significantly and boost the spectral efficiency.


title: Nonparametric Compositional Stochastic Optimization for Risk-Sensitive Kernel Learning

abstract: In this work, we address optimization problems where the objective function is a nonlinear function of an expected value, i.e., compositional stochastic {strongly convex programs}. We consider the case where the decision variable is not vector-valued but instead belongs to a reproducing Kernel Hilbert Space (RKHS), motivated by risk-aware formulations of supervised learning and Markov Decision Processes defined over continuous spaces. We develop the first memory-efficient stochastic algorithm for this setting, which we call Compositional Online Learning with Kernels (COLK). COLK, at its core a two-time-scale stochastic approximation method, addresses the fact that (i) compositions of expected value problems cannot be addressed by classical stochastic gradient due to the presence of the inner expectation; and (ii) the RKHS-induced parameterization has complexity which is proportional to the iteration index which is mitigated through greedily constructed subspace projections. We establish almost sure convergence of COLK with attenuating step-sizes, and linear convergence in mean to a neighborhood with constant step-sizes, as well as the fact that its complexity is at-worst finite. The experiments with robust formulations of supervised learning demonstrate that COLK reliably converges, attains consistent performance across training runs, and thus overcomes overfitting.


title: Delay Outage Probability of Multi-relay Selection for Mobile Relay Edge Computing Systems

abstract: In this paper, we deal with the problem of relay selection in mobile edge computing networks, where a source node transmits a computation-intensive task to a destination via the aid of multiple relay nodes. It differs from the traditional relay nodes in the way that each relay node is equipped with an edge computing server, thus each relay node can execute the received task and forwards the computed result to the destination. Accordingly, we define a delay outage probability to evaluate the impact of the relay computing ability on the link communications, and then propose a latency-best relay selection (LBRS) scheme that not only consider the communication capability, but also consider the computing ability. The performance of the proposed relay selection scheme with the traditional communication-only relay selection (CORS) and computing-only selection (CPORS) schemes in terms of the delay outage probability and the diversity order is analyzed, compared with other relay selection schemes. We show that the proposed LBRS scheme reduces to the traditional CORS scheme under the high signal-to-noise ratio (SNR) region. We further reveal that the diversity orders of both the proposed LBRS and CORS schemes are dependent on the computing ability of relay nodes.


title: Time-Frequency Warped Waveforms

abstract: The forthcoming communication systems are advancing towards improved flexibility in various aspects. Improved flexibility is crucial to cater diverse service requirements. This letter proposes a novel waveform design scheme that exploits axis warping to enable peaceful coexistence of different pulse shapes. A warping transform manipulates the lattice samples non-uniformly and provides flexibility to handle the time-frequency occupancy of a signal. The proposed approach enables the utilization of flexible pulse shapes in a quasi-orthogonal manner and increases the spectral efficiency. In addition, the rectangular resource block structure, which assists an efficient resource allocation, is preserved with the warped waveform design as well.


title: Ultraviolet Fabry-Perot cavity with stable finesse under ultrahigh vacuum conditions

abstract: We have constructed an apparatus containing a linear ion trap and a high-finesse optical cavity in the ultraviolet spectral range. In our construction, we have avoided all organic materials inside the ultrahigh vacuum chamber. We show that, unlike previously reported, the optical cavity does not degrade in performance over a time scale of 9 months.


title: Mean-field theory of two-layers neural networks: dimension-free bounds and kernel limit

abstract: We consider learning two layer neural networks using stochastic gradient descent. The mean-field description of this learning dynamics approximates the evolution of the network weights by an evolution in the space of probability distributions in $R^D$ (where $D$ is the number of parameters associated to each neuron). This evolution can be defined through a partial differential equation or, equivalently, as the gradient flow in the Wasserstein space of probability distributions. Earlier work shows that (under some regularity assumptions), the mean field description is accurate as soon as the number of hidden units is much larger than the dimension $D$. In this paper we establish stronger and more general approximation guarantees. First of all, we show that the number of hidden units only needs to be larger than a quantity dependent on the regularity properties of the data, and independent of the dimensions. Next, we generalize this analysis to the case of unbounded activation functions, which was not covered by earlier bounds. We extend our results to noisy stochastic gradient descent. Finally, we show that kernel ridge regression can be recovered as a special limit of the mean field analysis.

categories: stat.ML cond-mat.stat-mech cs.LG math.ST stat.TH


title: Approximate Green's Function Coupled Cluster Method Employing Effective Dimension Reduction

abstract: The Green's function coupled cluster (GFCC) method is a powerful many-body tool for computing the electronic structure of molecular and periodic systems, especially when electrons of the system are strongly correlated. However, for the GFCC to be routinely used in the electronic structure calculations, robust numerical techniques and approximations must be employed to reduce its high computational overhead. In our recent studies, we demonstrated that the GFCC equations can be solved directly in the frequency domain using iterative linear solvers, which can be easily distributed in a massively parallel environment. In the present work, we demonstrate a successful application of model-order-reduction (MOR) techniques in the GFCC framework. Briefly, for a frequency regime which requires high resolution spectral function, instead of solving GFCC linear equation of full dimension for every single frequency point, an efficiently-solvable linear system model of a reduced dimension may be built upon projecting the original GFCC linear system onto a subspace. From this reduced order model is obtained a reasonable approximation to the full dimensional GFCC linear equations in both interpolative and extrapolative spectral regions. Here, we show that the subspace can be properly constructed in an iterative manner from the auxiliary vectors of the GFCC linear equations at some selected frequencies within the spectral region of interest. During the iterations, the quality of the subspace and the linear system model can be systematically improved. The method is tested in terms of the efficiency and accuracy of computing spectral functions for some typical molecular systems such as carbon monoxide, 1,3-butadiene, benzene, and adenine. As a byproduct, the obtained reduced order model may provide a high quality initial guess which improves the convergence rate for the existing iterative linear solver.


title: A Bass equality for Gorenstein injective dimension of modules finite over homomorphisms

abstract: Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$.


title: An alternative interpretation of the exomoon candidate signal in the combined Kepler and Hubble data of Kepler-1625

abstract: Kepler and Hubble photometry of a total of four transits by the Jupiter-sized Kepler-1625b have recently been interpreted to show evidence of a Neptune-sized exomoon. The profound implications of this first possible exomoon detection and the physical oddity of the proposed moon, that is, its giant radius prompt us to re-examine the data and the Bayesian Information Criterion (BIC) used for detection. We combine the Kepler data with the previously published Hubble light curve. In an alternative approach, we perform a synchronous polynomial detrending and fitting of the Kepler data combined with our own extraction of the Hubble photometry. We generate five million MCMC realizations of the data with both a planet-only model and a planet-moon model and compute the BIC difference (DeltaBIC) between the most likely models, respectively. DeltaBIC values of -44.5 (using previously published Hubble data) and -31.0 (using our own detrending) yield strongly support the exomoon interpretation. Most of our orbital realizations, however, are very different from the best-fit solutions, suggesting that the likelihood function that best describes the data is non-Gaussian. We measure a 73.7min early arrival of Kepler-1625b for its Hubble transit at the 3 sigma level, possibly caused by a 1 day data gap near the first Kepler transit, stellar activity, or unknown systematics. The radial velocity amplitude of a possible unseen hot Jupiter causing Kepler-1625b's transit timing variation could be some 100m/s. Although we find a similar solution to the planet-moon model as previously proposed, careful consideration of its statistical evidence leads us to believe that this is not a secure exomoon detection. Unknown systematic errors in the Kepler/Hubble data make the DeltaBIC an unreliable metric for an exomoon search around Kepler-1625b, allowing for alternative interpretations of the signal.


title: Outlining the Design Space of Explainable Intelligent Systems for Medical Diagnosis

abstract: The adoption of intelligent systems creates opportunities as well as challenges for medical work. On the positive side, intelligent systems have the potential to compute complex data from patients and generate automated diagnosis recommendations for doctors. However, medical professionals often perceive such systems as black boxes and, therefore, feel concerned about relying on system generated results to make decisions. In this paper, we contribute to the ongoing discussion of explainable artificial intelligence (XAI) by exploring the concept of explanation from a human-centered perspective. We hypothesize that medical professionals would perceive a system as explainable if the system was designed to think and act like doctors. We report a preliminary interview study that collected six medical professionals' reflection of how they interact with data for diagnosis and treatment purposes. Our data reveals when and how doctors prioritize among various types of data as a central part of their diagnosis process. Based on these findings, we outline future directions regarding the design of XAI systems in the medical context.


title: Projected P\'olya Tree

abstract: One way of defining probability distributions for circular variables (directions in two dimensions) is to radially project probability distributions, originally defined on $\mathbb{R}^2$, to the unit circle. Projected distributions have proved to be useful in the study of circular and directional data. Although any bivariate distribution can be used to produce a projected circular model, these distributions are typically parametric. In this article we consider a bivariate P\'olya tree on $\mathbb{R}^2$ and project it to the unit circle to define a new Bayesian nonparametric model for circular data. We study the properties of the proposed model, obtain its posterior characterisation and show its performance with simulated and real datasets.


title: Significance Tests for Neural Networks

abstract: We develop a pivotal test to assess the statistical significance of the feature variables in a single-layer feedforward neural network regression model. We propose a gradient-based test statistic and study its asymptotics using nonparametric techniques. Under technical conditions, the limiting distribution is given by a mixture of chi-square distributions. The tests enable one to discern the impact of individual variables on the prediction of a neural network. The test statistic can be used to rank variables according to their influence. Simulation results illustrate the computational efficiency and the performance of the test. An empirical application to house price valuation highlights the behavior of the test using actual data.


title: A Fully Differentiable Beam Search Decoder

abstract: We introduce a new beam search decoder that is fully differentiable, making it possible to optimize at training time through the inference procedure. Our decoder allows us to combine models which operate at different granularities (e.g. acoustic and language models). It can be used when target sequences are not aligned to input sequences by considering all possible alignments between the two. We demonstrate our approach scales by applying it to speech recognition, jointly training acoustic and word-level language models. The system is end-to-end, with gradients flowing through the whole architecture from the word-level transcriptions. Recent research efforts have shown that deep neural networks with attention-based mechanisms are powerful enough to successfully train an acoustic model from the final transcription, while implicitly learning a language model. Instead, we show that it is possible to discriminatively train an acoustic model jointly with an explicit and possibly pre-trained language model.


title: Questions on the Structure of Perfect Matchings inspired by Quantum Physics

abstract: We state a number of related questions on the structure of perfect matchings. Those questions are inspired by and directly connected to Quantum Physics. In particular, they concern the constructability of general quantum states using modern photonic technology. For that we introduce a new concept, denoted as inherited vertex coloring. It is a vertex coloring for every perfect matching. The colors are inherited from the color of the incident edge for each perfect matching. First, we formulate the concepts and questions in pure graph-theoretical language, and finally we explain the physical context of every mathematical object that we use. Importantly, every progress towards answering these questions can directly be translated into new understanding in quantum physics.


title: CruzAffect at AffCon 2019 Shared Task: A feature-rich approach to characterize happiness

abstract: We present our system, CruzAffect, for the CL-Aff Shared Task 2019. CruzAffect consists of several types of robust and efficient models for affective classification tasks. We utilize both traditional classifiers, such as XGBoosted Forest, as well as a deep learning Convolutional Neural Networks (CNN) classifier. We explore rich feature sets such as syntactic features, emotional features, and profile features, and utilize several sentiment lexicons, to discover essential indicators of social involvement and control that a subject might exercise in their happy moments, as described in textual snippets from the HappyDB database. The data comes with a labeled set (10K), and a larger unlabeled set (70K). We therefore use supervised methods on the 10K dataset, and a bootstrapped semi-supervised approach for the 70K. We evaluate these models for binary classification of agency and social labels (Task 1), as well as multi-class prediction for concepts labels (Task 2). We obtain promising results on the held-out data, suggesting that the proposed feature sets effectively represent the data for affective classification tasks. We also build concepts models that discover general themes recurring in happy moments. Our results indicate that generic characteristics are shared between the classes of agency, social and concepts, suggesting it should be possible to build general models for affective classification tasks.


title: Characterizing the Nonlinearity of Power System Generator Models

abstract: Power system dynamics are naturally nonlinear. The nonlinearity stems from power flows, generator dynamics, and electromagnetic transients. Characterizing the nonlinearity of the dynamical power system model is useful for designing superior estimation and control methods, providing better situational awareness and system stability. In this paper, we consider the synchronous generator model with a phasor measurement unit (PMU) that is installed at the terminal bus of the generator. The corresponding nonlinear process-measurement model is shown to be locally Lipschitz, i.e., the dynamics are limited in how fast they can evolve in an arbitrary compact region of the state-space. We then investigate different methods to compute Lipschitz constants for this model, which is vital for performing dynamic state estimation (DSE) or state-feedback control using Lyapunov theory. In particular, we compare a derived analytical bound with numerical methods based on low discrepancy sampling algorithms. Applications of the computed bounds to dynamic state estimation are showcased. The paper is concluded with numerical tests.


title: Geometric Programming-Based Control for Nonlinear, DAE-Constrained Water Distribution Networks

abstract: Control of water distribution networks (WDNs) can be represented by an optimization problem with hydraulic models describing the nonlinear relationship between head loss, water flow, and demand. The problem is difficult to solve due to the non-convexity in the equations governing water flow. Previous methods used to obtain WDN controls (i.e., operational schedules for pumps and valves) have adopted simplified hydraulic models. One common assumption found in the literature is the modification of WDN topology to exclude loops and assume a known water flow direction. In this paper, we present a new geometric programming-based model predictive control approach, designed to solve the water flow equations and obtain WDN controls. The paper considers the nonlinear difference algebraic equation (DAE) form of the WDN dynamics, and the GP approach amounts to solving a series of convex optimization problems and requires neither the knowledge of water flow direction nor does it restrict the water network topology. A case study is presented to illustrate the performance of the proposed method.


title: Data-driven subtraction of anisotropic flows in jet-like correlation studies in heavy-ion collisions

abstract: Measurements of two-particle azimuthal angle correlations are a useful tool to study the distribution of jet energy loss, however, they are complicated because of the significant anisotropic flow background. We devise a data-driven method for subtracting anisotropic flow background in jet-like correlation analysis. We first require a large recoil momentum ($P_x$) within a given pseudo-rapidity ($\eta$) range from a high-transverse momentum particle to enhance in-acceptance population of away-side jet-like correlations. Then we take the difference of two-particle correlations in the close-region and far-region with respect to the $\eta$ region of $P_x$ to subtract the anisotropic flow background. We use a toy model which contains only anisotropic flow and PYTHIA8 which have jets to demonstrate the validity of our data-driven method. The results indicate that the data-driven method can subtract anisotropic flow effectively.


title: Evaluating Pruning Methods in Gene Network Inference

abstract: One challenge in gene network inference is distinguishing between direct and indirect regulation. Some algorithms, including ARACNE and Phixer, approach this problem by using pruning methods to eliminate redundant edges in an attempt to explain the observed data with the simplest possible network structure. However, we hypothesize that there may be a cost in accuracy to simplifying the predicted networks in this way, especially due to the prevalence of redundant connections, such as feed forward loops, in gene networks. In this paper, we evaluate the pruning methods of ARACNE and Phixer, and score their accuracy using receiver operating characteristic curves and precision-recall curves. Our results suggest that while pruning can be useful in some situations, it may have a negative effect on overall accuracy that has not been previously studied. Researchers should be aware of both the advantages and disadvantages of pruning when inferring networks, in order to choose the best inference strategy for their experimental context.


title: Study of the $h\gamma Z$ coupling using $e^+e^-\xrightarrow{}h \gamma$ at the ILC

abstract: We study the $e^+e^-\to h \gamma$ process at the International Linear Collider (ILC) to probe new physics in the $h\gamma Z$ coupling. The study is performed at a center of mass energy of 250 GeV and is based on the full simulation of the International Large Detector (ILD). The expected signal significance is found to be 0.53 $\sigma$ for an integrated luminosity of 2000 fb$^{-1}$ in the case of the standard model. The corresponding 95 $\%$ confidence level upper limit for the signal cross section is 1.08 fb for left-handed beam polarization.


title: On the order dimension of locally countable partial orderings

abstract: We show that the order dimension of the partial order of all finite subsets of $\kappa$ under set inclusion is ${\log}_{2}({\log}_{2}(\kappa))$ whenever $\kappa$ is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering $(P, <)$ of size $\kappa^+$, for any $\kappa$ of uncountable cofinality, is at most $\kappa$. In particular, this implies that it is consistent with ZFC that the dimension of the Turing degrees under partial ordering can be strictly less than the continuum.


title: Quasiprobability distribution functions from fractional Fourier transforms

abstract: We show, in a formal way, how a class of complex quasiprobability distribution functions may be introduced by using the fractional Fourier transform. This leads to the Fresnel transform of a characteristic function instead of the usual Fourier transform. We end the manuscript by showing a way in which the distribution we are introducing may be reconstructed by using atom-field interactions.


title: Molecular Phylogeny of Chinese Thuidiaceae with emphasis on Thuidium and Pelekium

abstract: We present molecular phylogenetic investigation of Thuidiaceae, especially on Thudium and Pelekium. Three chloroplast sequences (trnL-F, rps4, and atpB-rbcL) and one nuclear sequence (ITS) were analyzed. Data partitions were analyzed separately and in combination by employing MP (maximum parsimony) and Bayesian methods. The influence of data conflict in combined analyses was further explored by two methods: the incongruence length difference (ILD) test and the partition addition bootstrap alteration approach (PABA). Based on the results, ITS 1& 2 had crucial effect in phylogenetic reconstruction in this study, and more chloroplast sequences should be combinated into the analyses since their stability for reconstructing within genus of pleurocarpous mosses. We supported that Helodiaceae including Actinothuidium, Bryochenea, and Helodium still attributed to Thuidiaceae, and the monophyletic Thuidiaceae s. lat. should also include several genera (or species) from Leskeaceae such as Haplocladium and Leskea. In the Thuidiaceae, Thuidium and Pelekium were resolved as two monophyletic groups separately. The results from molecular phylogeny were supported by the crucial morphological characters in Thuidiaceae s. lat., Thuidium and Pelekium.


title: Liftable derived equivalences and objective categories

abstract: We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex. The main ingredients of the proofs are as follows: (1) between the derived categories of two module categories, liftable functors coincide with standard functors; (2) any derived equivalence between a module category and an abelian category is uniquely factorized as the composition of a pseudo-identity and a liftable derived equivalence; (3) the derived category of coherent sheaves on a certain projective scheme is triangle-objective, that is, any triangle autoequivalence on it, which preserves the the isomorphism classes of complexes, is necessarily isomorphic to the identity functor.


title: TopicEq: A Joint Topic and Mathematical Equation Model for Scientific Texts

abstract: Scientific documents rely on both mathematics and text to communicate ideas. Inspired by the topical correspondence between mathematical equations and word contexts observed in scientific texts, we propose a novel topic model that jointly generates mathematical equations and their surrounding text (TopicEq). Using an extension of the correlated topic model, the context is generated from a mixture of latent topics, and the equation is generated by an RNN that depends on the latent topic activations. To experiment with this model, we create a corpus of 400K equation-context pairs extracted from a range of scientific articles from arXiv, and fit the model using a variational autoencoder approach. Experimental results show that this joint model significantly outperforms existing topic models and equation models for scientific texts. Moreover, we qualitatively show that the model effectively captures the relationship between topics and mathematics, enabling novel applications such as topic-aware equation generation, equation topic inference, and topic-aware alignment of mathematical symbols and words.


title: Heterogeneous Coexistence of Cognitive Radio Networks in TV White Space

abstract: Wireless standards (e.g., IEEE 802.11af and 802.22) have been developed for enabling opportunistic access in TV white space (TVWS) using cognitive radio (CR) technology. When heterogeneous CR networks that are based on different wireless standards operate in the same TVWS, coexistence issues can potentially cause major problems. Enabling collaborative coexistence via direct coordination between heterogeneous CR networks is very challenging, due to incompatible MAC/PHY designs of coexisting networks, requirement of an over-the-air common control channel for inter-network communications, and time synchronization across devices from different networks. Moreover, such a coexistence scheme would require competing networks or service providers to exchange sensitive control information that may raise conflict of interest issues and customer privacy concerns. In this paper, we present an architecture for enabling collaborative coexistence of heterogeneous CR networks over TVWS, called Symbiotic Heterogeneous coexistence ARchitecturE (SHARE). Define "indirect coordination" first before using it. Because coexistence cannot avoid coordination By mimicking the symbiotic relationships between heterogeneous organisms in a stable ecosystem, SHARE establishes an indirect coordination mechanism between heterogeneous CR networks via a mediator system, which avoids the drawbacks of direct coordination. SHARE includes two spectrum sharing algorithms whose designs were inspired by well-known models and theories from theoretical ecology, viz, the interspecific competition model and the ideal free distribution model.


title: Assessing Biosimilarity using Functional Metrics

abstract: In recent years there have been a lot of interest to test for similarity between biological drug products, commonly known as biologics. Biologics are large and complex molecule drugs that are produced by living cells and hence these are sensitive to the environmental changes. In addition, biologics usually induce antibodies which raises the safety and efficacy issues. The manufacturing process is also much more complicated and often costlier than the small-molecule generic drugs. Because of these complexities and inherent variability of the biologics, the testing paradigm of the traditional generic drugs cannot be directly used to test for biosimilarity. Taking into account some of these concerns we propose a functional distance based methodology that takes into consideration the entire time course of the study and is based on a class of flexible semi-parametric models. The empirical results show that the proposed approach is more sensitive than the classical equivalence tests approach which are usually based on arbitrarily chosen time point. Bootstrap based methodologies are also presented for statistical inference.


title: The Conjugacy Problem for Higman's Group

abstract: In 1951, Higman constructed a remarkable group $$H=\left\langle a,b,c,d \, \left| \, b^a = b^2, c^b = c^2, d^c = d^2, a^d = a^2 \right. \right\rangle$$ and used it to produce the first examples of infinite simple groups. By studying fixed points of certain finite state transducers, we show the conjugacy problem in $H$ is decidable (for all inputs). Diekert, Laun and Ushakov have recently shown the word problem in $H$ is solvable in polynomial time, using the power circuit technology of Myasnikov, Ushakov and Won. Building on this work, we show in a strongly generic setting that the conjugacy problem has a $O(n^7)$ polynomial time solution.


title: Ejection History of the IRAS 04166+2706 Molecular Jet

abstract: The high-velocity molecular jet driven by Class 0 protostar IRAS 04166+2706 exhibits a unique saw-tooth velocity pattern. It consists of a series of well-aligned symmetric knots with similar averaged speeds, whose speeds at peaks of emission decreases roughly linearly away from the origin. Recent ALMA observations of knots R6 and B6 reveal kinematic behavior with expansion velocity increasing linearly from the axis to the edge. This pattern can be formed by a spherically expanding wind with axial density concentration. In this picture, the diverging velocity profile naturally possesses an increasing expansion velocity away from the axis, resulting in a tooth-like feature on the position-velocity diagram through projection. Such geometric picture predicts a correspondence between the slopes of the teeth and the outflow inclination angles, and the same inclination angle of 52$^\circ$ of the IRAS 04166+2706 can generally explain the whole pattern. Aided by numerical simulations in the framework of unified wind model by Shang et al. (2006), the observed velocity pattern can indeed be generated. A proper geometrical distribution of the jet and wind material is essential to the reconstruction the ejection history of the system.


title: PT-ISABB: A Hybrid Tree-based Complete Algorithm to Solve Asymmetric Distributed Constraint Optimization Problems

abstract: Asymmetric Distributed Constraint Optimization Problems (ADCOPs) have emerged as an important formalism in multi-agent community due to their ability to capture personal preferences. However, the existing search-based complete algorithms for ADCOPs can only use local knowledge to compute lower bounds, which leads to inefficient pruning and prohibits them from solving large scale problems. On the other hand, inference-based complete algorithms (e.g., DPOP) for Distributed Constraint Optimization Problems (DCOPs) require only a linear number of messages, but they cannot be directly applied into ADCOPs due to a privacy concern. Therefore, in the paper, we consider the possibility of combining inference and search to effectively solve ADCOPs at an acceptable loss of privacy. Specifically, we propose a hybrid complete algorithm called PT-ISABB which uses a tailored inference algorithm to provide tight lower bounds and a tree-based complete search algorithm to exhaust the search space. We prove the correctness of our algorithm and the experimental results demonstrate its superiority over other state-of-the-art complete algorithms.


title: A Timer-Augmented Cost Function for Load Balanced DSMC

abstract: Due to a hard dependency between time steps, large-scale simulations of gas using the Direct Simulation Monte Carlo (DSMC) method proceed at the pace of the slowest processor. Scalability is therefore achievable only by ensuring that the work done each time step is as evenly apportioned among the processors as possible. Furthermore, as the simulated system evolves, the load shifts, and thus this load-balancing typically needs to be performed multiple times over the course of a simulation. Common methods generally use either crude performance models or processor-level timers. We combine both to create a timer-augmented cost function which both converges quickly and yields well-balanced processor decompositions. When compared to a particle-based performance model alone, our method achieves 2x speedup at steady-state on up to 1024 processors for a test case consisting of a Mach 9 argon jet impacting a solid wall.


title: Tangencies and Polynomial Optimization

abstract: Given a polynomial function $f \colon \mathbb{R}^n \rightarrow \mathbb{R}$ and a unbounded basic closed semi-algebraic set $S \subset \mathbb{R}^n,$ in this paper we show that the conditions listed below are characterized exactly in terms of the so-called {\em tangency variety} of $f$ on $S$: (i) The $f$ is bounded from below on $S;$ (ii) The $f$ attains its infimum on $S;$ (iii) The sublevel set $\{x \in S \ | \ f(x) \le \lambda\}$ for $\lambda \in \mathbb{R}$ is compact; (iv) The $f$ is coercive on $S.$ Besides, we also provide some stability criteria for boundedness and coercivity of $f$ on $S.$


title: R$^2$-CNN: Fast Tiny Object Detection in Large-Scale Remote Sensing Images

abstract: Recently, the convolutional neural network has brought impressive improvements for object detection. However, detecting tiny objects in large-scale remote sensing images still remains challenging. First, the extreme large input size makes the existing object detection solutions too slow for practical use. Second, the massive and complex backgrounds cause serious false alarms. Moreover, the ultratiny objects increase the difficulty of accurate detection. To tackle these problems, we propose a unified and self-reinforced network called remote sensing region-based convolutional neural network ($\mathcal{R}^2$-CNN), composing of backbone Tiny-Net, intermediate global attention block, and final classifier and detector. Tiny-Net is a lightweight residual structure, which enables fast and powerful features extraction from inputs. Global attention block is built upon Tiny-Net to inhibit false positives. Classifier is then used to predict the existence of targets in each patch, and detector is followed to locate them accurately if available. The classifier and detector are mutually reinforced with end-to-end training, which further speed up the process and avoid false alarms. Effectiveness of $\mathcal{R}^2$-CNN is validated on hundreds of GF-1 images and GF-2 images that are 18 000 $\times$ 18 192 pixels, 2.0-m resolution, and 27 620 $\times$ 29 200 pixels, 0.8-m resolution, respectively. Specifically, we can process a GF-1 image in 29.4 s on Titian X just with single thread. According to our knowledge, no previous solution can detect the tiny object on such huge remote sensing images gracefully. We believe that it is a significant step toward practical real-time remote sensing systems.


title: Sequentially additive nonignorable missing data modeling using auxiliary marginal information

abstract: We study a class of missingness mechanisms, called sequentially additive nonignorable, for modeling multivariate data with item nonresponse. These mechanisms explicitly allow the probability of nonresponse for each variable to depend on the value of that variable, thereby representing nonignorable missingness mechanisms. These missing data models are identified by making use of auxiliary information on marginal distributions, such as marginal probabilities for multivariate categorical variables or moments for numeric variables. We present theory proving identification results, and illustrate the use of these mechanisms in an application.


title: Adversarial Examples in RF Deep Learning: Detection of the Attack and its Physical Robustness

abstract: While research on adversarial examples in machine learning for images has been prolific, similar attacks on deep learning (DL) for radio frequency (RF) signals and their mitigation strategies are scarcely addressed in the published work, with only one recent publication in the RF domain [1]. RF adversarial examples (AdExs) can cause drastic, targeted misclassification results mostly in spectrum sensing/ survey applications (e.g. BPSK mistaken for 8-PSK) with minimal waveform perturbation. It is not clear if the RF AdExs maintain their effects in the physical world, i.e., when AdExs are delivered over-the-air (OTA). Our research on deep learning AdExs and proposed defense mechanisms are RF-centric, and incorporate physical world, OTA effects. We here present defense mechanisms based on statistical tests. One test to detect AdExs utilizes Peak-to- Average-Power-Ratio (PAPR) of the DL data points delivered OTA, while another statistical test uses the Softmax outputs of the DL classifier, which corresponds to the probabilities the classifier assigns to each of the trained classes. The former test leverages the RF nature of the data, and the latter is universally applicable to AdExs regardless of their origin. Both solutions are shown as viable mitigation methods to subvert adversarial attacks against communications and radar sensing systems.


title: On an integrable multi-dimensionally consistent 2n+2n-dimensional heavenly-type equation

abstract: Based on the commutativity of scalar vector fields, an algebraic scheme is developed which leads to a privileged multi-dimensionally consistent 2n+2n-dimensional integrable partial differential equation with the associated eigenfunction constituting an infinitesimal symmetry. The "universal" character of this novel equation of vanishing Pfaffian type is demonstrated by retrieving and generalising to higher dimensions a great variety of well-known integrable equations such as the dispersionless KP and Hirota equations and various avatars of the heavenly equation governing self-dual Einstein spaces.


title: A generalized type semigroup and dynamical comparison

abstract: In this paper, we construct a semigroup associated to an action of countable discrete group on a compact Hausdorff space, that can be regarded as a higher dimensional generalization of the type semigroup. Using this generalized type semigroup we obtain a new characterization of dynamical comparison. This answers a question of Kerr and Schafhauser. In addition, this paper suggests a definition of comparison for dynamical systems in which neither necessarily the acting group is amenable nor the action is minimal.


title: On two lattice points problems about the parabola

abstract: We obtain asymptotic formulae with optimal error terms for the number of lattice points under and near a dilation of the standard parabola, the former improving upon an old result of Popov. These results can be regarded as achieving the square root cancellation in the context of the parabola, whereas its analogues are wide open conjectures for the circle and the hyperbola. We also obtain essentially sharp upper bounds for the latter lattice points problem. Our proofs utilize techniques in Fourier analysis, quadratic Gauss sums and character sums.


title: Event-plane dependent away-side jet-like correlation shape in Au+Au collisions at $\sqrt{s_{NN}}=200$ GeV from STAR

abstract: We employ a data-driven method to subtract the flow background of all harmonics by calculating the difference of the two-particle correlations between the close-region and far-region, determined depending on the pseudo-rapidity ($\eta$) distance from the region where an enhanced recoil transverse momentum ($P_x$) from a high-$p_T$ trigger particle is selected. We analyze the correlation shape as a function of the trigger particle azimuthal angle relative to the event-plane (EP) reconstructed from the beam-beam counters (BBCs) which are displaced by several units in $\eta$ from the mid-rapidity region. The large $\eta$ gap can effectively eliminate the auto-correlation between trigger particles and EP. We correct for the relatively large resolution effect from the BBC EP determination via an unfolding procedure. The width of unfolded away-side jet-like correlation increases with longer path-length, which is an indication of jet-medium interactions.


title: Enhancement of induced synchronization by transient uncoupling in coupled simple chaotic systems

abstract: In this paper, we report the enhanced stability of induced synchronization by transient uncoupling observed in certain unidirectionally coupled second-order chaotic systems. The stability of synchronization observed in the coupled systems subjected to transient uncoupling is analyzed using the {\emph{Master Stability Function}}. The existence of the coupled systems in stable synchronized states over a certain range of the clipping fraction of the driven system is identified. The enhanced stable synchronized states are obtained for fixed values of clipping fraction in certain second-order chaotic systems. The two-parameter bifurcation diagram indicating the parameter regions over which stable synchronization occurs is presented. The negative eigenvalue regions of the driven system enabling induced synchronization is studied for all the systems. The enhancement of synchronization through transient uncoupling observed in coupled second-order non-autonomous chaotic systems is reported in the literature for the first time.


title: Combination of Domain Knowledge and Deep Learning for Sentiment Analysis of Short and Informal Messages on Social Media

abstract: Sentiment analysis has been emerging recently as one of the major natural language processing (NLP) tasks in many applications. Especially, as social media channels (e.g. social networks or forums) have become significant sources for brands to observe user opinions about their products, this task is thus increasingly crucial. However, when applied with real data obtained from social media, we notice that there is a high volume of short and informal messages posted by users on those channels. This kind of data makes the existing works suffer from many difficulties to handle, especially ones using deep learning approaches. In this paper, we propose an approach to handle this problem. This work is extended from our previous work, in which we proposed to combine the typical deep learning technique of Convolutional Neural Networks with domain knowledge. The combination is used for acquiring additional training data augmentation and a more reasonable loss function. In this work, we further improve our architecture by various substantial enhancements, including negation-based data augmentation, transfer learning for word embeddings, the combination of word-level embeddings and character-level embeddings, and using multitask learning technique for attaching domain knowledge rules in the learning process. Those enhancements, specifically aiming to handle short and informal messages, help us to enjoy significant improvement in performance once experimenting on real datasets.


title: A Bayesian network approach for assessing the general resilience of road transportation systems: A systems perspective

abstract: We proposed a Bayesian Network Model (BNM) based on function-oriented resilience framework and ontological interdependence among 10 system qualities to probabilistically assess the general resilience of the road transportation system in Beijing from 1997 to 2016. We tested the model with multi-source data collected from various sectors. The system qualities were examined by analysis of sensitivity and influence. The result shows that the general resilience of Beijing's road system exhibits a "V" shape in its trend, with the probability of being generally resilient between 50% and 70%, and at its minimum in 2006. There was a steep increase in such a probability since 2006. In addition, the general resilience of Beijing's road transportation system is most affected by its capabilities: (1) to rebuild its performance, (2) to be robust, (3) to adapt, (4) to change, and (5) to quickly repair damaged parts. The proposed BNM is a promising tool for multi-dimensional and systematic analysis, instead of finding a one-size-fits-all quantification criterion for resilience.


title: Pairings between bounded divergence-measure vector fields and BV functions

abstract: We introduce a family of pairings between a bounded divergence-measure vector field and a function $u$ of bounded variation, depending on the choice of the pointwise representative of $u$. We prove that these pairings inherit from the standard one, introduced in [6,10], all the main properties and features (e.g. coarea, Leibniz and Gauss--Green formulas). We also characterize the pairings making the corresponding functionals semicontinuous with respect to the strict convergence in $BV$. We remark that the standard pairing in general does not share this property.


title: Non-Stationary Dividend-Price Ratios

abstract: Dividend yields have been widely used in previous research to relate stock market valuations to cash flow fundamentals. However, this approach relies on the assumption that dividend yields are stationary. Due to the failure to reject the hypothesis of a unit root in the classical dividend-price ratio for the US stock market, Polimenis and Neokosmidis (2016) proposed the use of a modified dividend price ratio (mdp) as the deviation between d and p from their long run equilibrium, and showed that mdp provides substantially improved forecasting results over the classical dp ratio. Here, we extend that paper by performing multivariate regressions based on the Campbell-Shiller approximation, by utilizing a dynamic econometric procedure to estimate the modified dp, and by testing the modified ratios against reinvested dividend-yields. By comparing the performance of mdp and dp in the period after 1965, we are not only able to enhance the robustness of the findings, but also to debunk a possible false explanation that the enhanced mdp performance in predicting future returns comes from a capacity to predict the risk-free return component. Depending on whether one uses the recursive or population methodology to measure the performance of mdp, the Out-of-Sample performance gain is between 30% to 50%.


title: Fermi-level depinning in metal-2D multilayered semiconductor junctions

abstract: Thicknesses-dependent performance of metal-two-dimensional (2D) semiconductor junctions (MSJ) in electronics/optoelectronics have attracted increasing attention, but till present, people have little knowledge about the micro-mechanism of the thicknesses (or layer-number) dependence. Here, by first-principles calculations based on density functional theory, we show that the Fermi-level pinning (FLP) factor of MSJ depends sensitively on the layer-number of few-layer 2D semiconductors, and, an extended FLP theory is proposed for metal-2D multilayered semiconductor junctions (MmSJ). Taking multilayered MoS2 as a typical example for van der Waals (vdW) semiconductor in MmSJ, the extended FLP theory has the following character: strong pinning right at the metal-1st-layer semiconductor interface while depinning occurs between MoS2 layers. This depinning effect between vdW layers has several important consequences: 1) the overall pinning in MmSJ is greatly weakened; 2) p-type contact, rarely obtained in metal-monolayer MoS2 junctions, becomes favored in MmSJ, which is important for CMOS logical devices; 3) depinning between MoS2 layers result in type II band alignment in MoS2 'homojunction' supported on metals, which is useful for optoelectronics. Moreover, our extended FLP theory sheds light on the recent controversial experimental observation and paves a new and universal route to type II band alignment in vdW 'homojunctions'.


title: Optical vector analysis with attometer resolution, 90-dB dynamic range and THz bandwidth

abstract: Optical vector analysis (OVA) having the capability to achieve magnitude and phase responses is essential for fabrication and application of emerging optical devices. However, the conventional OVA often have to make compromises among resolution, dynamic range and bandwidth. Modulation-based OVA promises ultra-high resolution but suffers from measurement errors due to the modulation nonlinearity, narrow bandwidth restricted by the employment of microwave and optoelectronic devices, and difficulties in measuring optical devices with deep notch restricted by small signal modulation or the high-order sidebands. This paper proposes an original method to meet the measurement requirements for ultra-wide bandwidth, ultra-high resolution and ultra-large dynamic range simultaneously, based on asymmetric optical probe signal generator (ASG) and receiver (ASR). The use of the ASG and ASR not only doubles the measurement range without spectral aliasing, but also removes the measurement errors introduced by the modulation nonlinearity. The optimal signal modulation and enormous sideband suppression ratio in the ASG enables an ultra-large dynamic range. Thanks to the wavelength-independence of the ASG and ASR, the measurement range can boost to 2N times by applying an N-tone optical frequency comb (OFC) without complicated operation. In an experiment, OVA with a record resolution of 334 Hz (2.67 attometer in the 1550-nm band), a dynamic range of >90 dB and a measurement range of 1.025 THz is demonstrated.


title: Resource-Aware Session Types for Digital Contracts

abstract: Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventing the duplication or deletion of a contract's assets. This article presents the design and type-theoretic foundation of Nomos, a programming language for digital contracts that addresses these challenges. To express and enforce protocols, Nomos is based on shared binary session types. To control resource usage, Nomos employs automatic amortized resource analysis. To prevent the duplication or deletion of assets, Nomos uses a linear type system. A monad integrates the effectful session-typed language with a general-purpose functional language. Nomos' prototype implementation features linear-time type checking and efficient type reconstruction that includes automatic inference of resource bounds via off-the-shelf linear optimization. The effectiveness of the language is evaluated with case studies about implementing common smart contracts such as auctions, elections, and currencies. Nomos is completely formalized, including the type system, a cost semantics, and a transactional semantics to instantiate Nomos contracts on a blockchain. The type soundness proof ensures that protocols are followed at run-time and that types establish sound upper bounds on the resource consumption, ruling out re-entrancy and out-of-gas vulnerabilities.


title: Min-Entropy Latent Model for Weakly Supervised Object Detection

abstract: Weakly supervised object detection is a challenging task when provided with image category supervision but required to learn, at the same time, object locations and object detectors. The inconsistency between the weak supervision and learning objectives introduces significant randomness to object locations and ambiguity to detectors. In this paper, a min-entropy latent model (MELM) is proposed for weakly supervised object detection. Min-entropy serves as a model to learn object locations and a metric to measure the randomness of object localization during learning. It aims to principally reduce the variance of learned instances and alleviate the ambiguity of detectors. MELM is decomposed into three components including proposal clique partition, object clique discovery, and object localization. MELM is optimized with a recurrent learning algorithm, which leverages continuation optimization to solve the challenging non-convexity problem. Experiments demonstrate that MELM significantly improves the performance of weakly supervised object detection, weakly supervised object localization, and image classification, against the state-of-the-art approaches.


title: A new class of austere submanifolds

abstract: Austere submanifolds of Euclidean space were introduced in 1982 by Harvey and Lawson in their foundational work on calibrated geometries. In general, the austerity condition is much stronger than minimality since it express that the nonzero eigenvalues of the shape operator of the submanifold appear in opposite pairs for any normal vector at any point. Thereafter, the challenging task of finding non-trivial explicit examples, other than minimal immersions of Kaehler manifolds, only turned out submanifolds of rank two, and these are of limited interest in the sense that in this special situation austerity is equivalent to minimality. In this paper, we present the first explicitly given family of austere non-Kaehler submanifolds of higher rank, and these are produced from holomorphic data by means of a Weierstrass type parametrization.


title: Numerical solution of the two-phase tumour growth model with moving boundary

abstract: A novel numerical technique has been proposed to solve a two-phase tumour growth model in one spatial dimension without needing to account for the boundary dynamics explicitly. The equivalence to the standard definition of a weak solution is proved. The method is tested against equations with analytically known solutions, to illustrate the advantages over the existing techniques. The tumour growth model is solved using the new procedure and showed to be consistent with results available in the literature.


title: Wind-accreting Symbiotic X-ray Binaries

abstract: We present a new model of the population of symbiotic X-ray binaries (SyXBs) that takes into account non-stationary character of quasi-spherical sub-sonic accretion of the red giant's stellar wind onto slowly rotating neutron stars. Updates of the earlier models are given, which include more strict criteria of slow NS rotation for plasma entry into the NS magnetosphere via Rayleigh-Taylor instability, as well as more strict conditions for settling accretion for slow stellar winds, with an account of variations in the specific angular momentum of captured stellar wind in eccentric binaries. These modifications enabled a more adequate description of the distributions of observed systems over binary orbital periods, NS spin periods and their X-ray luminosity in the $\sim 10^{32}-10^{36}$~erg s$^{-1}$ range and brought their model Galactic number into reasonable agreement with the observed one. Reconciliation of the model and observed orbital periods of SyXBs requires a low efficiency of matter expulsion from common envelopes during the evolution that results in the formation of NS-components of symbiotic X-ray systems.


title: Towards Automated Melanoma Detection with Deep Learning: Data Purification and Augmentation

abstract: Melanoma is one of the ten most common cancers in the US. Early detection is crucial for survival, but often the cancer is diagnosed in the fatal stage. Deep learning has the potential to improve cancer detection rates, but its applicability to melanoma detection is compromised by the limitations of the available skin lesion databases, which are small, heavily imbalanced, and contain images with occlusions. We build deep-learning-based tools for data purification and augmentation to counter-act these limitations. The developed tools can be utilized in a deep learning system for lesion classification and we show how to build such a system. The system heavily relies on the processing unit for removing image occlusions and the data generation unit, based on generative adversarial networks, for populating scarce lesion classes, or equivalently creating virtual patients with pre-defined types of lesions. We empirically verify our approach and show that incorporating these two units into melanoma detection system results in the superior performance over common baselines.


title: A C*-algebraic approach to interacting quantum field theories

abstract: A novel C*-algebraic framework is presented for relativistic quantum field theories, fixed by a Lagrangean. It combines the postulates of local quantum physics, encoded in the Haag-Kastler axioms, with insights gained in the perturbative approach to quantum field theory. Key ingredients are an appropriate version of Bogolubov's relative $S$-operators and a reformulation of the Schwinger-Dyson equations. These are used to define for any classical relativistic Lagrangean of a scalar field a non-trivial local net of C*-algebras, encoding the resulting interactions at the quantum level. The construction works in any number of space-time dimensions. It reduces the longstanding existence problem of interacting quantum field theories in physical spacetimeto the question of whether the C*-algebras so constructed admit suitable states, such as stable ground and equilibrium states. The method is illustrated on the example of a non-interacting field and it is shown how to pass from it within the algebra to interacting theories by relying on a rigorous local version of the interaction picture.


title: Efficiency and shrinking in evolving networks

abstract: Characterizing the spatio-temporal evolution of networks is a central topic in many disciplines. While network expansion has been studied thoroughly, less is known about how empirical networks behave when shrinking. For transportation networks, this is especially relevant on account of their connection with the socio-economical substrate, and we focus here on the evolution of the French railway network from its birth in 1840 to 2000, in relation to the country's demographic dynamics. The network evolved in parallel with technology (e.g., faster trains) and under strong constraints, such as preserving a good population coverage and balancing cost and efficiency. We show that the shrinking phase that started in 1930 decreased the total length of the network while preserving efficiency and population coverage: efficiency and robustness remain remarkably constant while the total length of the network shrinks by $50\%$ between 1930 and 2000, and the total travel time and time-diameter decreased by more than $75\%$ during the same period. Moreover, shrinking the network did not affect the overall accessibility, with an average travel time that decreases steadily since its formation. This evolution leads naturally to an increase of transportation multimodality (such as a massive use of cars) and shows the importance of considering together transportation modes acting at different spatial scales. More generally, our results suggest that shrinking is not necessarily associated with a decay in performance and functions, but can be beneficial in terms of design goals and can be part of the natural evolution of an adaptive network.


title: Spectral and morphological study of the gamma radiation of the middle-aged supernova remnant HB 21

abstract: We investigate the nature of the accelerated particles responsible for the production of the gamma-ray emission observed from the middle-aged supernova remnant (SNR) HB 21. The analysis of more than nine years of Fermi LAT data leads to the observation of an extended emission positionally in agreement with the SNR HB 21. The bulk of this gamma-ray emission is detected from the remnant; photons up to $\sim$10\,GeV show clear evidence of curvature at the lower energies. The remnant is characterized by an extension of $0^{\circ}.83$, that is, 30\% smaller than claimed in previous studies. The increased statistics allows us also to resolve a point-like source at the edge of the remnant, in proximity to a molecular cloud of the Cyg OB7 complex. In the southern part of the remnant, a hint of an additional gamma-ray excess in correspondence to shocked molecular clouds is observed. The spectral energy distribution of the SNR shows evidence of a break around 400 MeV, which can be properly fitted within both the hadronic and leptonic scenario. The pion-decay mechanism reproduces well the gamma rays, postulating a proton spectrum with a slope $\sim 2.5$ and with a steepening around tens of GeV, which could be explained by the energy-dependent escape of particles from the remnant. In the leptonic scenario the electron spectrum within the SNR matches closely the locally measured spectrum. This remarkable and novel result shows that SNR HB 21 could be a direct contributor to the population of Galactic electrons. In the leptonic scenario, we find that the local electron spectrum with a break around 2 GeV, closely evokes the best-fitting parental spectrum within this SNR. If such a scenario is confirmed, this would indicate that the SNR might be a source of Galactic background electrons.


title: An in-medium chiral power counting for nuclear matter and some applications

abstract: We review on a chiral power counting for in-medium chiral perturbation theory with nucleons and pions as explicit degrees of freedom coupled to external sources. It allows for a systematic expansion including both local and pion-mediated inter-nucleon interactions. One can identify from this power counting classes of non-perturbative diagrams that require resummation. A non-perturbative method based on Unitary Chiral Perturbation Theory was also developed for performing those resummations. This power counting and non-perturbative techniques were firstly applied to calculate the pion self-energy, the pion-decay constants and the quark condensate in nuclear matter up-to-and-including next-to-leading order (NLO) contributions. The cancellation of the contributions at NLO to the pion self-energy and decay constants from in-medium nucleon-nucleon (NN) interactions was derived. Some NLO NN contributions survive for the quark condensate due to the quark-mass dependence of the pion mass. Next, we discuss the calculation of the energy density in the nuclear medium by employing the in-medium NN scattering amplitudes. For symmetric and neutron matter it reproduces in good agreement, and without fine tuning, calculations from realistic NN potentials with a model for the three-nucleon interaction. These results are applied to derive the equation of state (EOS) for neutron stars and obtain an upper limit for a neutron mass slightly above 2 solar masses. Our results also fulfill other constraints from the detection of the gravitational waves in the event GW170817, like the upper bound on the maximal mass of a neutron star and the allowed interval for the radius of a 1.4-solar-mass neutron star. The knowledge of the neutron-matter EOS is also employed to give an upper bound of the gravitational constant within the strong gravitational field of a 2 solar-mass neutron star.


title: RES-SE-NET: Boosting Performance of Resnets by Enhancing Bridge-connections

abstract: One of the ways to train deep neural networks effectively is to use residual connections. Residual connections can be classified as being either identity connections or bridge-connections with a reshaping convolution. Empirical observations on CIFAR-10 and CIFAR-100 datasets using a baseline Resnet model, with bridge-connections removed, have shown a significant reduction in accuracy. This reduction is due to lack of contribution, in the form of feature maps, by the bridge-connections. Hence bridge-connections are vital for Resnet. However, all feature maps in the bridge-connections are considered to be equally important. In this work, an upgraded architecture "Res-SE-Net" is proposed to further strengthen the contribution from the bridge-connections by quantifying the importance of each feature map and weighting them accordingly using Squeeze-and-Excitation (SE) block. It is demonstrated that Res-SE-Net generalizes much better than Resnet and SE-Resnet on the benchmark CIFAR-10 and CIFAR-100 datasets.


title: Precise Attack Synthesis for Smart Contracts

abstract: Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distributed system with no trusted third parties. But these interfaces also provide a favorable setting for attackers, who can exploit security vulnerabilities in smart contracts to achieve financial gain. This paper presents SmartScopy, a system for automatic synthesis of adversarial contracts that identify and exploit vulnerabilities in a victim smart contract. Our tool explores the space of \emph{attack programs} based on the Application Binary Interface (ABI) specification of a victim smart contract in the Ethereum ecosystem. To make the synthesis tractable, we introduce \emph{summary-based symbolic evaluation}, which significantly reduces the number of instructions that our synthesizer needs to evaluate symbolically, without compromising the precision of the vulnerability query. Building on the summary-based symbolic evaluation, SmartScopy further introduces a novel approach for partitioning the synthesis search space for parallel exploration, as well as a lightweight deduction technique that can prune infeasible candidates earlier. We encoded common vulnerabilities of smart contracts in our query language, and evaluated SmartScopy on the entire data set from etherscan with $>$25K smart contracts. Our experiments demonstrate the benefits of summary-based symbolic evaluation and show that SmartScopy outperforms two state-of-the-art smart contracts analyzers, Oyente and Contractfuzz, in terms of running time, precision, and soundness. Furthermore, running on recent popular smart contracts, SmartScopy uncovers 20 vulnerable smart contracts that contain the recent BatchOverflow vulnerability and cannot be precisely detected by existing tools.


title: Deep Learning for Image Super-resolution: A Survey

abstract: Image Super-Resolution (SR) is an important class of image processing techniques to enhance the resolution of images and videos in computer vision. Recent years have witnessed remarkable progress of image super-resolution using deep learning techniques. This article aims to provide a comprehensive survey on recent advances of image super-resolution using deep learning approaches. In general, we can roughly group the existing studies of SR techniques into three major categories: supervised SR, unsupervised SR, and domain-specific SR. In addition, we also cover some other important issues, such as publicly available benchmark datasets and performance evaluation metrics. Finally, we conclude this survey by highlighting several future directions and open issues which should be further addressed by the community in the future.


title: Non-Poisson donation behaviors in virtual worlds

abstract: Similar to charitable giving in real world, donation behaviors play an important role in the complex interactions among individuals in virtual worlds. However, it is not clear if the donation process is random or not. We investigate this problem using detailed data from parallel virtual worlds adhered to a massively multiplayer online role-playing game. We find that the inter-donation durations follow power-law-tailed distributions distributed with an average tail exponent close to 1.91, have strong long-range correlations, and possess multifractal features. These findings indicate that the donation process is non-Poissonian, which has potential worth in modeling the complicated individuals behaviors in virtual worlds.


title: Statistical properties of user activity fluctuations in virtual worlds

abstract: User activity fluctuations reflect the performance of online society. We investigate the statistical properties of 1-min user activity time series of simultaneously online users inhabited in 95 independent virtual worlds. The number of online users exhibits clear intraday and weekly patterns due to human's circadian rhythms and week cycles. Statistical analysis shows that the distribution of absolute activity fluctuations has a power-law tail for 44 virtual worlds with an average tail exponent close to 2.15. The partition function approach unveils that the absolute activity fluctuations possess multifractal features for all the 95 virtual worlds. For the sample of 44 virtual worlds with power-law tailed distributions of the absolute activity fluctuations, the width of singularity $\Delta\alpha$ is negatively correlated with the maximum activity ($p$-value=0.070) and the time to the maximum activity ($p$-value=0.010). The negative correlations are not observed for neither the other 51 virtual worlds nor the whole sample of the 95 virtual worlds. In addition, numerical experiments indicate that both temporal structure and large fluctuations have influence on the multifractal spectrum. We also find that the temporal structure has stronger impact on the singularity width than large fluctuations.


title: Int-amplified endomorphisms on normal projective surfaces

abstract: We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-\'etale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve.


title: Kawaguchi-Silverman conjecture for endomorphisms on several classes of varieties

abstract: We prove Kawaguchi-Silverman conjecture (KSC) and Shibata's conjecture on ample canonical heights for endomorphisms on several classes of algebraic varieties including varieties of Fano type and projective toric varieties. We also prove KSC for group endomorphisms of linear algebraic groups. We also propose a possible approach to the conjecture using equivariant MMP.


title: Symmetry breaking differential operators, the source operator and Rodrigues formul\ae

abstract: A Rodrigues type formula is obtained for the symbols of the covariant bi-differential operators on a simple Jordan algebra.


title: A standard theorem on adjunctions in two variables

abstract: We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.


title: Re-determinizing Information Set Monte Carlo Tree Search in Hanabi

abstract: This technical report documents the winner of the Computational Intelligence in Games(CIG) 2018 Hanabi competition. We introduce Re-determinizing IS-MCTS, a novel extension of Information Set Monte Carlo Tree Search (IS-MCTS) that prevents a leakage of hidden information into opponent models that can occur in IS-MCTS, and is particularly severe in Hanabi. Re-determinizing IS-MCTS scores higher in Hanabi for 2-4 players than previously published work at the time of the competition. Given the 40ms competition time limit per move we use a learned evaluation function to estimate leaf node values and avoid full simulations during MCTS. For the Mixed track competition, in which the identity of the other players is unknown, a simple Bayesian opponent model is used that is updated as each game proceeds.


title: Homomorphisms Between Rings with Infinitesimals and Infinitesimal Comparisons

abstract: We examine an argument of Reeder suggesting that the nilpotent infinitesimals in Paolo Giordano's ring extension of the real numbers $^{\bullet}\mathbb{R}$ are smaller than any infinitesimal hyperreal number from Abraham Robinson's nonstandard analysis $^\ast\mathbb{R}$. Our approach consists in the study of two canonical order-preserving homomorphisms taking values in ${^{\bullet}\mathbb{R}}$ and in ${^\ast\mathbb{R}}$, respectively, and whose domain is Henle's extension of the real numbers in the framework of "non-nonstandard" analysis. In particular, we will show that there exists a nonzero element in Henle's ring that is "too small" to be registered as nonzero in Paolo Giordano's ring, while it is seen as a nonzero infinitesimal in ${^\ast\mathbb{R}}$. This result suggests that some hyperreal infinitesimals are smaller than the nilpotent infinitesimals. We argue that the apparent contradiction with the conclusions by Reeder is only due to the presence of nilpotent elements in ${^{\bullet}\mathbb{R}}$.


title: Re-expansions on compact Lie groups

abstract: In this paper we consider the re-expansion problems on compact Lie groups. First, we establish weighted versions of classical re-expansion results in the setting of multi-dimensional tori. A natural extension of the classical re-expansion problem to general compact Lie groups can be formulated as follows: given a function on the maximal torus of a compact Lie group, what conditions on its (toroidal) Fourier coefficients are sufficient in order to have that the group Fourier coefficients of its central extension are summable. We derive the necessary and sufficient conditions for the above property to hold in terms of the root system of the group. Consequently, we show how this problem leads to the re-expansions of even/odd functions on compact Lie groups, giving a necessary and sufficient condition in terms of the discrete Hilbert transform and the root system. In the model case of the group SU(2) a simple sufficient condition is given.


title: Model fitting in Multiple Systems Analysis for the quantification of Modern Slavery: Classical and Bayesian approaches

abstract: Multiple systems estimation is a key approach for quantifying hidden populations such as the number of victims of modern slavery. The UK Government published an estimate of 10,000 to 13,000 victims, constructed by the present author, as part of the strategy leading to the Modern Slavery Act 2015. This estimate was obtained by a stepwise multiple systems method based on six lists. Further investigation shows that a small proportion of the possible models give rather different answers, and that other model fitting approaches may choose one of these. Three data sets collected in the field of modern slavery, together with a data set about the death toll in the Kosovo conflict, are used to investigate the stability and robustness of various multiple systems estimate methods. The crucial aspect is the way that interactions between lists are modelled, because these can substantially affect the results. Model selection and Bayesian approaches are considered in detail, in particular to assess their stability and robustness when applied to real modern slavery data. A new Markov Chain Monte Carlo Bayesian approach is developed; overall, this gives robust and stable results at least for the examples considered. The software and datasets are freely and publicly available to facilitate wider implementation and further research.


title: Classification of string links up to $2n$-moves and link-homotopy

abstract: Two string links are equivalent up to $2n$-moves and link-homotopy if and only if their all Milnor link-homotopy invariants are congruent modulo $n$. Moreover, the set of the equivalence classes forms a finite group generated by elements of order $n$. The classification induces that if two string links are equivalent up to $2n$-moves for every $n>0$, then they are link-homotopic.


title: Generalizing trial findings using nested trial designs with sub-sampling of non-randomized individuals

abstract: To generalize inferences from a randomized trial to the target population of all trial-eligible individuals, investigators can use nested trial designs, where the randomized individuals are nested within a cohort of trial-eligible individuals, including those who are not offered or refuse randomization. In these designs, data on baseline covariates are collected from the entire cohort, and treatment and outcome data need only be collected from randomized individuals. In this paper, we describe nested trial designs that improve research economy by collecting additional baseline covariate data after sub-sampling non-randomized individuals (i.e., a two-stage design), using sampling probabilities that may depend on the initial set of baseline covariates available from all individuals in the cohort. We propose an estimator for the potential outcome mean in the target population of all trial-eligible individuals and show that our estimator is doubly robust, in the sense that it is consistent when either the model for the conditional outcome mean among randomized individuals or the model for the probability of trial participation is correctly specified. We assess the impact of sub-sampling on the asymptotic variance of our estimator and examine the estimator's finite-sample performance in a simulation study. We illustrate the methods using data from the Coronary Artery Surgery Study (CASS).


title: Effective equidistribution for multiplicative Diophantine approximation on lines

abstract: Given any line in the plane, we strengthen the Littlewood conjecture by two logarithms for almost every point on the line, thereby generalising the fibre result of Beresnevich, Haynes, and Velani. To achieve this, we prove an effective asymptotic equidistribution result for one-parameter unipotent orbits in $\mathrm{SL}(3, \mathbb{R})/\mathrm{SL}(3,\mathbb{Z})$. We also provide a complementary convergence statement, by developing the structural theory of dual Bohr sets: at the cost of a slightly stronger Diophantine assumption, this sharpens a result of Kleinbock's from 2003. Finally, we refine the theory of logarithm laws in homogeneous spaces.


title: Local Fourier Slice Photography

abstract: Light field cameras provide intriguing possibilities, such as post-capture refocus or the ability to synthesize images from novel viewpoints. This comes, however, at the price of significant storage requirements. Compression techniques can be used to reduce these but refocusing and reconstruction require so far again a dense pixel representation. To avoid this, we introduce local Fourier slice photography that allows for refocused image reconstruction directly from a sparse wavelet representation of a light field, either to obtain an image or a compressed representation of it. The result is made possible by wavelets that respect the "slicing's" intrinsic structure and enable us to derive exact reconstruction filters for the refocused image in closed form. Image reconstruction then amounts to applying these filters to the light field's wavelet coefficients, and hence no reconstruction of a dense pixel representation is required. We demonstrate that this substantially reduces storage requirements and also computation times. We furthermore analyze the computational complexity of our algorithm and show that it scales linearly with the size of the reconstructed region and the non-negligible wavelet coefficients, i.e. with the visual complexity.


title: Letter of Interest for a Neutrino Beam from Protvino to KM3NeT/ORCA

abstract: The Protvino accelerator facility located in the Moscow region, Russia, is in a good position to offer a rich experimental research program in the field of neutrino physics. Of particular interest is the possibility to direct a neutrino beam from Protvino towards the KM3NeT/ORCA detector, which is currently under construction in the Mediterranean Sea 40 km offshore Toulon, France. This proposal is known as P2O. Thanks to its baseline of 2595 km, this experiment would yield an unparalleled sensitivity to matter effects in the Earth, allowing for the determination of the neutrino mass ordering with a high level of certainty after only a few years of running at a modest beam intensity of $\approx$ 90 kW. With a prolonged exposure ($\approx$ 1500 kW*yr), a 2$\sigma$ sensitivity to the leptonic CP-violating Dirac phase can be achieved. A second stage of the experiment, comprising a further intensity upgrade of the accelerator complex and a densified version of the ORCA detector (Super-ORCA), would allow for up to a 6$\sigma$ sensitivity to CP violation and a 10$^\circ$-17$^\circ$ resolution on the CP phase after 10 years of running with a 450 kW beam, competitive with other planned experiments. The initial composition and energy spectrum of the neutrino beam would need to be monitored by a near detector, to be constructed several hundred meters downstream from the proton beam target. The same neutrino beam and near detector set-up would also allow for neutrino-nucleus cross section measurements to be performed. A short-baseline sterile neutrino search experiment would also be possible.


title: Local $L^{p}$-solution for semilinear heat equation with fractional noise

abstract: We study the $L^{p}$-solutions for the semilinear heat equation with unbounded coefficients and driven by a infinite dimensional fractional Brownian motion with self-similarity parameter $H > 1/2$. Existence and uniqueness of local mild solutions are showed.


title: DC-AL GAN: Pseudoprogression and True Tumor Progression of Glioblastoma Multiform Image Classification Based on DCGAN and AlexNet

abstract: Pseudoprogression (PsP) occurs in 20-30% of patients with glioblastoma multiforme (GBM) after receiving the standard treatment. In the course of post-treatment magnetic resonance imaging (MRI), PsP exhibits similarities in shape and intensity to the true tumor progression (TTP) of GBM. So, these similarities pose challenges on the differentiation of these types of progression and hence the selection of the appropriate clinical treatment strategy. In this paper, we introduce DC-AL GAN, a novel feature learning method based on deep convolutional generative adversarial network (DCGAN) and AlexNet, to discriminate between PsP and TTP in MRI images. Due to the adversarial relationship between the generator and the discriminator of DCGAN, high-level discriminative features of PsP and TTP can be derived for the discriminator with AlexNet. Also, a feature fusion scheme is used to combine higher-layer features with lower-layer information, leading to more powerful features that are used for effectively discriminating between PsP and TTP. The experimental results show that DC-AL GAN achieves desirable PsP and TTP classification performance that is superior to other state-of-the-art methods.


title: A Fubini rule for $\infty$-coends

abstract: We prove a Fubini rule for $\infty$-co/ends of $\infty$-functors $F : \mathcal C^\text{op}\times\mathcal C\to \mathcal D$. This allows to lay down "integration rules", similar to those in classical co/end calculus, also in the setting of $\infty$-categories.


title: Synthetic Emissions of the Fe XXI 1354 \AA\ Line from Flare Loops Experiencing Fundamental Fast Sausage Oscillations

abstract: Inspired by recent IRIS observations, we forward model the response of the Fe XXI 1354 \AA\ line to fundamental, standing, linear fast sausage modes (FSMs) in flare loops. Starting with the fluid parameters for an FSM in a straight tube with equilibrium parameters largely compatible with the IRIS measurements, we synthesize the line profiles by incorporating the non-Equilibrium Ionization (NEI) effect in the computation of the contribution function. We find that both the intensity and Doppler shift oscillate at the wave period ($P$). The phase difference between the two differs from the expected value ($90^\circ$) only slightly because NEI plays only a marginal role in determining the ionic fraction of Fe XXI in the examined dense loop. The Doppler width modulations, however, posses an asymmetry in the first and second halves of a wave period, leading to a secondary periodicity at $P/2$ in addition to the primary one at $P$. This behavior results from the competition between the broadening due to bulk flow and that due to temperature variations, with the latter being stronger but not overwhelmingly so. These expected signatures, with the exception of the Doppler width, are largely consistent with the IRIS measurements, thereby corroborating the reported detection of a fundamental FSM. The forward modeled signatures are useful for identifying fundamental FSMs in flare loops from measurements of the Fe \MyRoman{21} 1354 \AA\ line with instruments similar to IRIS, even though a much higher cadence is required for the expected behavior in the Doppler widths to be detected.


title: Cosmic Strings in Conformal Gravity

abstract: We investigate the spacetime of a spinning cosmic string in conformal invariant gravity, where the interior consists of a gauged scalar field. We find exact solutions of the exterior of a stationary spinning cosmic string, where we write the metric as $ g_{\mu\nu}=\omega^2\tilde g_{\mu\nu}$, with $\omega$ a dilaton field which contains all the scale dependences. The "unphysical" metric $\tilde g_{\mu\nu}$ is related to the $(2+1)$-dimensional Kerr spacetime. The equation for the angular momentum $J$ decouples, for the vacuum situation as well as for global strings, from the other field equations and delivers a kind of spin-mass relation. For the most realistic solution, $J$ falls off as $\sim\frac{1}{r}$ and $\partial_r J \rightarrow 0$ close to the core. The spacetime is Ricci flat. The formation of closed timelike curves can be pushed to space infinity for suitable values of the parameters and the violation of the weak energy condition can be avoided. For the interior, a numerical solution is found. This solution can easily be matched at the boundary on the exterior exact solution by special choice of the parameters of the string. It turns out, as expected from the "holographic" principle, that the exact solution of the exterior is equivalent with the warped five-dimensional brane world model, with only a cosmological constant in the bulk. This example shows the power of conformal invariance to bridge the gap between general relativity and quantum field theory.


title: The Flat Plane and a Constructive Proof of Minding's Theorem

abstract: Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But, to the best of our knowledge, all published proofs of it, inclusive of Minding's original argument are existential in nature. In this note, we give a constructive proof of Minding's theorem in the flat case. The proof requires only some basic facts about harmonic functions and complex analytic functions.


title: Cost vs. Information Tradeoffs for Treasure Hunt in the Plane

abstract: A mobile agent has to find an inert treasure hidden in the plane. Both the agent and the treasure are modeled as points. This is a variant of the task known as treasure hunt. The treasure is at a distance at most $D$ from the initial position of the agent, and the agent finds the treasure when it gets at distance $r$ from it, called the {\em vision radius}. However, the agent does not know the location of the treasure and does not know the parameters $D$ and $r$. The cost of finding the treasure is the length of the trajectory of the agent. We investigate the tradeoffs between the amount of information held {\em a priori} by the agent and the cost of treasure hunt. Following the well-established paradigm of {\em algorithms with advice}, this information is given to the agent in advance as a binary string, by an oracle cooperating with the agent and knowing the location of the treasure and the initial position of the agent. The size of advice given to the agent is the length of this binary string. For any size $z$ of advice and any $D$ and $r$, let $OPT(z,D,r)$ be the optimal cost of finding the treasure for parameters $z$, $D$ and $r$, if the agent has only an advice string of length $z$ as input. We design treasure hunt algorithms working with advice of size $z$ at cost $O(OPT(z,D,r))$ whenever $r\leq 1$ or $r\geq 0.9D$. For intermediate values of $r$, i.e., $1<r<0.9D$, we design an almost optimal scheme of algorithms: for any constant $\alpha>0$, the treasure can be found at cost $O(OPT(z,D,r)^{1+\alpha})$.


title: A refinement of the first Vassiliev invariant can distinguish the orientation of knots

abstract: We refine the Polyak-Viro Gauss diagram formula for the Vassiliev invariant of order two in a very simple way for the 2-cable of a framed long knot. Surprisingly, the resulting isotopy invariant of framed knots can detect already the non-invertibility of knots. This makes the natural generalization of our invariant for all n-component string link satellites of a framed long knot to a candidate for distinguishing all classical knots.


title: Exploring Language Similarities with Dimensionality Reduction Technique

abstract: In recent years several novel models were developed to process natural language, development of accurate language translation systems have helped us overcome geographical barriers and communicate ideas effectively. These models are developed mostly for a few languages that are widely used while other languages are ignored. Most of the languages that are spoken share lexical, syntactic and sematic similarity with several other languages and knowing this can help us leverage the existing model to build more specific and accurate models that can be used for other languages, so here I have explored the idea of representing several known popular languages in a lower dimension such that their similarities can be visualized using simple 2 dimensional plots. This can even help us understand newly discovered languages that may not share its vocabulary with any of the existing languages.


title: A new approach to gauge coupling unification and proton decay

abstract: An analytical formalism, including RG running at two loop order, is used to link the supersymmetric and GUT spectra in any GUT model in which the three gauge couplings unify. In each specific GUT model, one can then fully explore the interplay between the pattern of supersymmetry breaking and the prediction for the proton lifetime. With this formalism at hand, we study three concrete GUT models: (i) Minimal SU(5) SUSY GUT, (ii) Missing Partner SU(5) SUSY GUT, and (iii) an orbifold SU(5) SUSY GUT. In each case we derive interesting conclusions about the possible patterns of the supersymmetric spectrum once the present limits on the proton lifetime are imposed, and vice versa, we obtain the predictions for the proton lifetime for specific viable choices of the SUSY spectrum.


title: Differentiable reservoir computing

abstract: Much effort has been devoted in the last two decades to characterize the situations in which a reservoir computing system exhibits the so-called echo state (ESP) and fading memory (FMP) properties. These important features amount, in mathematical terms, to the existence and continuity of global reservoir system solutions. That research is complemented in this paper with the characterization of the differentiability of reservoir filters for very general classes of discrete-time deterministic inputs. This constitutes a novel strong contribution to the long line of research on the ESP and the FMP and, in particular, links to existing research on the input-dependence of the ESP. Differentiability has been shown in the literature to be a key feature in the learning of attractors of chaotic dynamical systems. A Volterra-type series representation for reservoir filters with semi-infinite discrete-time inputs is constructed in the analytic case using Taylor's theorem and corresponding approximation bounds are provided. Finally, it is shown as a corollary of these results that any fading memory filter can be uniformly approximated by a finite Volterra series with finite memory.


title: Brief Note: Asynchronous Verifiable Secret Sharing with Optimal Resilience and Linear Amortized Overhead

abstract: In this work we present hbAVSS, the Honey Badger of Asynchronous Verifiable Secret Sharing (AVSS) protocols - an AVSS protocol that guarantees linear amortized communication overhead even in the worst case. The best prior work can achieve linear overhead only at a suboptimal resilience level (t < n/4) or by relying on optimism (falling back to quadratic overhead in case of network asynchrony or Byzantine faults). Our protocol therefore closes this gap, showing that linear communication overhead is possible without these compromises. The main idea behind our protocol is what we call the encrypt-and-disperse paradigm: by first applying ordinary public key encryption to the secret shares, we can make use of highly efficient (but not confidentiality preserving) information dispersal primitives. We prove our protocol is secure under a static computationally bounded Byzantine adversary model.


title: Asymptotic behaviour of a structured population model on a space of measures

abstract: In this paper we consider a physiologically structured population model with distributed states at birth, formulated on the space of non-negative Radon measures. Using a characterisation of the pre-dual space of bounded Lipschitz functions, we show how to apply the theory of strongly continuous positive semigroups to such a model. In particular, we establish the exponential convergence of solutions to a one-dimensional global attractor.


title: Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus

abstract: We observe that normalization by evaluation for simply-typed lambda-calculus with weak coproducts can be carried out in a weak bi-cartesian closed category of presheaves equipped with a monad that allows us to perform case distinction on neutral terms of sum type. The placement of the monad influences the normal forms we obtain: for instance, placing the monad on coproducts gives us eta-long beta-pi normal forms where pi refers to permutation of case distinctions out of elimination positions. We further observe that placing the monad on every coproduct is rather wasteful, and an optimal placement of the monad can be determined by considering polarized simple types inspired by focalization. Polarization classifies types into positive and negative, and it is sufficient to place the monad at the embedding of positive types into negative ones. We consider two calculi based on polarized types: pure call-by-push-value (CBPV) and polarized lambda-calculus, the natural deduction calculus corresponding to focalized sequent calculus. For these two calculi, we present algorithms for normalization by evaluation. We further discuss different implementations of the monad and their relation to existing normalization proofs for lambda-calculus with sums. Our developments have been partially formalized in the Agda proof assistant.


title: Totally geodesic subvarieties in the moduli space of curves

abstract: In this paper we study totally geodesic subvarieties $Y \subset \mathsf{A}_g$ of the moduli space of principally polarized abelian varieties with respect to the Siegel metric, for $g\geq 4$. We prove that if $Y$ is generically contained in the Torelli locus, then $\dim Y \leq (7g -2)/3$.


title: On DUNE prospects in the search for sterile neutrinos

abstract: Experiments measuring the parameters of active neutrino oscillations can also search for the sterile neutrinos in a part of sterile neutrino parameter space. In this paper, we analyze the prospects for the sterile neutrino search in the upcoming experiment DUNE for the sterile neutrinos with masses at GeV scale. As it relies on the still-undecided design of the Near Detector, we provide the expected number of the sterile neutrino decays in the Near Detector volume. Our most optimistic predictions show that the corresponding limit on mixing can be approximately of the same order as the previous estimates made for the LBNE. We present our results as separate plots for the sterile neutrino mixing with electron, muon and tau neutrinos. Generally, DUNE has good prospects to probe large region of the previously unavailable part of the parameter space before the new projects (like SHiP) join the searches.


title: Phase transition in a noisy Kitaev toric code model

abstract: It is well-known that the partition function of a classical spin model can be mapped to a quantum entangled state where some properties on one side can be used to find new properties on the other side. However, the consequences of the existence of a classical (critical) phase transition on the corresponding quantum state has been mostly ignored. This is particularly interesting since the classical partition function exhibits non-analytic behavior at the critical point and such behavior could have important consequences on the quantum side. In this paper, we consider this problem for an important example of Kitaev toric code model which has been shown to correspond to the two-dimensional (2D) Ising model though a duality transformation. Through such duality transformation, it is shown that the temperature on the classical side is mapped to bit-flip noise on the quantum side. It is then shown that a transition from a coherent superposition of a given quantum state to a non-coherent mixture corresponds exactly to paramagnetic-ferromagnetic phase transition in the Ising model. To identify such a transition further, we define an order parameter to characterize the decoherency of such a mixture and show that it behaves similar to the order parameter (magnetization) of 2D Ising model, a behavior that is interpreted as a robust coherency in the toric code model. Furthermore, we consider other properties of the noisy toric code model exactly at the critical point. We show that there is a relative stability to noise for the toric code state at the critical noise which is revealed by a relative reduction in susceptibility to noise. We close the paper with a discussion on connection between the robust coherency as well as the critical stability with topological order of the toric code model.