title: Typology of phase transitions in Bayesian inference problems

abstract: Many inference problems, notably the stochastic block model (SBM) that generates a random graph with a hidden community structure, undergo phase transitions as a function of the signal-to-noise ratio, and can exhibit hard phases in which optimal inference is information-theoretically possible but computationally challenging. In this paper we refine this description by emphasizing the existence of more generic phase diagrams with a hybrid-hard phase in which it is computationally easy to reach a non-trivial inference accuracy, but computationally hard to match the information theoretically optimal one. We support this discussion by quantitative expansions of the functional cavity equations that describe inference problems on sparse graphs. These expansions shed light on the existence of hybrid-hard phases, for a large class of planted constraint satisfaction problems, and on the question of the tightness of the Kesten-Stigum (KS) bound for the associated tree reconstruction problem. Our results show that the instability of the trivial fixed point is not a generic evidence for the Bayes-optimality of the message passing algorithms. We clarify in particular the status of the symmetric SBM with 4 communities and of the tree reconstruction of the associated Potts model: in the assortative (ferromagnetic) case the KS bound is always tight, whereas in the disassortative (antiferromagnetic) case we exhibit an explicit criterion involving the degree distribution that separates a large degree regime where the KS bound is tight and a low degree regime where it is not. We also investigate the SBM with 2 communities of different sizes, a.k.a. the asymmetric Ising model, and describe quantitatively its computational gap as a function of its asymmetry, and a version of the SBM with 2 groups of communities. We complement this study with numerical simulations of the Belief Propagation algorithm.


title: Readout of field induced magnetic anisotropy in a magnetoactive elastomer

abstract: It is shown that in external magnetic fields, a uniaxial magnetic anisotropy comes into being in a magnetoactive elastomer (MAE). The magnitude of the induced uniaxial anisotropy grows with the increasing external magnetic field. The filler particles are immobilized in the matrix if the MAE sample is cooled below 220 K, where the anisotropy can be read out. The cooling of the sample is considered as an alternative methodological approach to the experimental investigation of the magnetized state of MAEs. The appearance of magnetic anisotropy in MAE is associated with restructuring of the filler during magnetization, which leads to an additional effective field felt by the magnetization. It is found that the magnitude of the effective magnetic anisotropy constant of the MAE is approximately two times larger than its effective shear modulus in the absence of magnetic field. It is proposed that the experimentally observed large (about 40) ratio of the magnetic anisotropy constant of the filler to the shear modulus of the matrix deserves attention for the explanation of magnetic and magnetoelastic properties of MAEs. It may lead to additional rigidity of the elastic subsystem increasing the shear modulus of the composite material through the magnetomechanical coupling.


title: Bayesian optimization of the PC algorithm for learning Gaussian Bayesian networks

abstract: The PC algorithm is a popular method for learning the structure of Gaussian Bayesian networks. It carries out statistical tests to determine absent edges in the network. It is hence governed by two parameters: (i) The type of test, and (ii) its significance level. These parameters are usually set to values recommended by an expert. Nevertheless, such an approach can suffer from human bias, leading to suboptimal reconstruction results. In this paper we consider a more principled approach for choosing these parameters in an automatic way. For this we optimize a reconstruction score evaluated on a set of different Gaussian Bayesian networks. This objective is expensive to evaluate and lacks a closed-form expression, which means that Bayesian optimization (BO) is a natural choice. BO methods use a model to guide the search and are hence able to exploit smoothness properties of the objective surface. We show that the parameters found by a BO method outperform those found by a random search strategy and the expert recommendation. Importantly, we have found that an often overlooked statistical test provides the best over-all reconstruction results.


title: Optoelectronic properties of zinc oxide: A first-principles investigation using the Tran-Blaha modified Becke-Johnson potentia

abstract: In this work we use density functional theory (DFT) to investigate the influence of semi-local exchange and correlation effects on the electronic and optical properties of zinc oxide. We find that the inclusion of such effects using the Tran-Blaha modified Becke-Johnson potential yields an excellent description of the electronic structure of this material giving energy band gap which is systematically larger than the one obtained with standard local functionals such as the generalized gradient approximation. The discrepancy between the experimental and theoretical band gaps is then significantly reduced at a computational low cost. We also calculated the dielectric functions of ZnO and find a violet shift to the absorption edge which is in good agreement with experimental results.


title: Recent advances in the computational chemistry of soft porous crystals

abstract: Here we highlight recent progress in the field of computational chemistry of nanoporous materials, focusing on methods and studies that address the extraordinary dynamic nature of these systems: the high flexibility of their frameworks, the large-scale structural changes upon external physical or chemical stimulation, and the presence of defects and disorder. The wide variety of behavior demonstrated in soft porous crystals, including the topical class of metal-organic frameworks, opens new challenges for computational chemistry methods at all scales.


title: Bifurcation Analysis of Liquid Crystal Phase Transitions

abstract: These lectures focus on bifurcation analysis as a tool for studying phase transitions that occur in models of liquid-crystalline systems. We show how this approach bridges the gap between the phenomenological Landau theory and the --- often intractable --- full statistical mechanical treatment. Employing a `toy model' as a tutorial example the various ingredients of the technique are presented. Special attention is paid to the way in which one obtains information on the relation between the characteristics of the assumed interparticle interactions (shape, symmetry ...) and global properties of the phase transitions (order, symmetry of resultant phases ...). Finally, a few more involved examples are discussed indicating how the approach can be applied to more realistic models and how it can serve as a complement to simulations.


title: Integration of LiDAR and multispectral images for exposure and earthquake vulnerability estimation. Application in Lorca, Spain

abstract: We present a procedure for assessing the urban exposure and seismic vulnerability that integrates LiDAR data with aerial and satellite images. It comprises three phases: first, we segment the satellite image to divide the study area into different urban patterns. Second, we extract building footprints and attributes that represent the type of building of each urban pattern. Finally, we assign the seismic vulnerability to each building using different machine-learning techniques: Decision trees, SVM, logistic regression and Bayesian networks. We apply the procedure to 826 buildings in the city of Lorca (SE Spain), where we count on a vulnerability database that we use as ground truth for the validation of results. The outcomes show that the machine learning techniques have similar performance, yielding vulnerability classification results with an accuracy of 77% - 80% (F1-Score). The procedure is scalable and can be replicated in different areas. It is especially interesting as a complement to conventional data gathering approaches for disaster risk applications in areas where field surveys need to be restricted to certain areas, dates or budget. Keywords LiDAR, satellite image, orthophoto, image segmentation, machine learning, earthquake vulnerability.


title: Graviton-photon oscillation in alternative theories of gravity

abstract: In this paper we investigate graviton-photon oscillation in the presence of an external magnetic field in alternative theories of gravity. Whereas the effect of an effective refractive index for the electromagnetic radiation was already considered in the literature, we develop the first approach to take into account the effect of the modification of the predictions for gravitational waves in alternative theories of gravity in the phenomenon of graviton-photon mixing.


title: fc: A Package for Generalized Function Composition Using Standard Evaluation

abstract: In this article, we present a new R package fc that provides a streamlined, standard evaluation-based approach to function composition. Using fc, a sequence of functions can be composed together such that returned objects from composed functions are used as intermediate values directly passed to the next function. Unlike with magrittr and purrr, no intermediate values need to be stored. When benchmarked, functions composed using fc achieve favorable runtimes in comparison to other implementations.


title: Generalized pseudo-coefficients of discrete series of $p$-adic groups

abstract: Let $G$ be a connected reductive group over a $p$-adic field $F$ of characteristic 0 and let $M$ be an $F$-Levi subgroup of $G.$ Given a discrete series representation $\sigma$ of $M(F),$ we prove that there exists a locally constant and compactly supported function on $M(F),$ which generalizes a pseudo-coefficient of $\sigma.$ This function satisfies similar properties to the pseudo-coefficient, and its lifting to $G(F)$ is applied to the Plancherel formula.


title: Fundamental characteristics of transverse deflecting field

abstract: The Panofsky-Wenzel theorem connects the transverse deflecting force in an rf structure with the existence of a longitudinal electric field component. In this paper it is shown that a transverse deflecting force is always accompanied by an additional longitudinal magnetic field component which leads to an emittance growth in the direction perpendicular to the transverse force. Transverse deflecting waves can thus not be described by pure TM or TE modes, but require a linear combination of basis modes for their representation. The mode description is preferably performed in the HM--HE basis to avoid converge problems, which are fundamental for the TM--TE basis.


title: Modular Covariants of Cyclic Groups of Order p

abstract: Let $G$ be a cyclic group of order $p$, let $k$ be a field of characteristic $p$, and let $V, W$ be $kG$-modules. We study the modules of covariants $k[V,W]^G = (S(V^*) \otimes W)^G$. For $V$ indecomposable with dimension 2, and $W$ an arbitrary indecomposable module, we show $k[V,W]^G$ is a free $k[V]^G$-module (recovering a result of Broer and Chuai) and we give an explicit set of covariants generating $k[V,W]^G$ freely over $k[V]^G$. For $V$ indecomposable with dimension 3 and $W$ an indecomposable module with dimension at most 5, we show that $k[V,W]^G$ is a Cohen-Macaulay $k[V]^G$-module (again recovering a result of Broer and Chuai) and we give an explicit set of covariants which generate $k[V,W]^G$ freely over a homogeneous system of parameters for $k[V]^G$. We conjecture that a similar set of covariants generates $k[V,W]^G$ freely over a homogeneous system of parameters for $k[V]^G$ when $W$ has arbitrary dimension.


title: Signatures of long-range spin-spin interactions in an (In,Ga)As quantum dot ensemble

abstract: We present an investigation of the electron spin dynamics in an ensemble of singly-charged quantum dots subject to an external magnetic field and laser pumping with circularly polarized light. The spectral laser width is tailored such that different groups of quantum dots are coherently pumped. Surprisingly, the dephasing time $T^*$ of the electron spin polarization depends only weakly on the laser spectral width. These findings can be consistently explained by a cluster theory of coupled quantum dots with a long range electronic spin-spin interaction. We present a numerical simulation of the spin dynamics based on the central spin model that includes a quantum mechanical description of the laser pulses as well as a time-independent Heisenberg interaction between each pair of electron spins. We discuss the individual dephasing contributions stemming from the Overhauser field, the distribution of the electron $g$-factors and the electronic spin-spin interaction as well as the spectral width of the laser pulse. This analysis reveals the counterbalancing effect of the total dephasing time when increasing the spectral laser width. On one hand, the deviations of the electron $g$-factors increase. On the other hand, an increasing number of coherently pumped electron spins synchronize due to the spin-spin interaction. We find an excellent agreement between the experimental data and the dephasing time in the simulation using an exponential distribution of Heisenberg couplings with a mean value $\overline{J}\approx 0.26\,\mathrm{\mu eV}$.


title: Constructing sampling schemes via coupling: Markov semigroups and optimal transport

abstract: In this paper we develop a general framework for constructing and analysing coupled Markov chain Monte Carlo samplers, allowing for both (possibly degenerate) diffusion and piecewise deterministic Markov processes. For many performance criteria of interest, including the asymptotic variance, the task of finding efficient couplings can be phrased in terms of problems related to optimal transport theory. We investigate general structural properties, proving a singularity theorem that has both geometric and probabilistic interpretations. Moreover, we show that those problems can often be solved approximately and support our findings with numerical experiments. For the particular objective of estimating the variance of a Bayesian posterior, our analysis suggests using novel techniques in the spirit of antithetic variates. Addressing the convergence to equilibrium of coupled processes we furthermore derive a modified Poincar\'e inequality.


title: A Simple Stochastic Variance Reduced Algorithm with Fast Convergence Rates

abstract: Recent years have witnessed exciting progress in the study of stochastic variance reduced gradient methods (e.g., SVRG, SAGA), their accelerated variants (e.g, Katyusha) and their extensions in many different settings (e.g., online, sparse, asynchronous, distributed). Among them, accelerated methods enjoy improved convergence rates but have complex coupling structures, which makes them hard to be extended to more settings (e.g., sparse and asynchronous) due to the existence of perturbation. In this paper, we introduce a simple stochastic variance reduced algorithm (MiG), which enjoys the best-known convergence rates for both strongly convex and non-strongly convex problems. Moreover, we also present its efficient sparse and asynchronous variants, and theoretically analyze its convergence rates in these settings. Finally, extensive experiments for various machine learning problems such as logistic regression are given to illustrate the practical improvement in both serial and asynchronous settings.


title: Semigroup identities of tropical matrices through matrix ranks

abstract: We prove the conjecture that, for any $n$, the monoid of all $n \times n$ tropical matrices satisfies nontrivial semigroup identities. To this end, we prove that the factor rank of a large enough power of a tropical matrix does not exceed the tropical rank of the original matrix.


title: Scaling limits for a random boxes model

abstract: We consider random rectangles in $\mathbb{R}^2$ that are distributed according to a Poisson random measure, i.e., independently and uniformly scattered in the plane. The distributions of the length and the width of the rectangles are heavy-tailed with different parameters. We investigate the scaling behaviour of the related random fields as the intensity of the random measure grows to infinity while the mean edge lengths tend to zero. We characterise the arising scaling regimes, identify the limiting random fields and give statistical properties of these limits.


title: Genesis of the alpha beta T-cell receptor

abstract: The T-cell (TCR) repertoire relies on the diversity of receptors composed of two chains, called $\alpha$ and $\beta$, to recognize pathogens. Using results of high throughput sequencing and computational chain-pairing experiments of human TCR repertoires, we quantitively characterize the $\alpha\beta$ generation process. We estimate the probabilities of a rescue recombination of the $\beta$ chain on the second chromosome upon failure or success on the first chromosome. Unlike $\beta$ chains, $\alpha$ chains recombine simultaneously on both chromosomes, resulting in correlated statistics of the two genes which we predict using a mechanistic model. We find that $\sim 28 \%$ of cells express both $\alpha$ chains. We report that clones sharing the same $\beta$ chain but different $\alpha$ chains are overrepresented, suggesting that they respond to common immune challenges. Altogether, our statistical analysis gives a complete quantitative mechanistic picture that results in the observed correlations in the generative process. We learn that the probability to generate any TCR$\alpha\beta$ is lower than $10^{-12}$ and estimate the generation diversity and sharing properties of the $\alpha\beta$ TCR repertoire.


title: Cross-connection structure of concordant semigroups

abstract: Cross-connection theory provides the construction of a semigroup from its ideal structure using small categories. A concordant semigroup is an idempotent-connected abundant semigroup whose idempotents generate a regular subsemigroup. We characterize the categories arising from the generalised Green relations in the concordant semigroup as consistent categories and describe their interrelationship using cross-connections. Conversely, given a pair of cross-connected consistent categories, we build a concordant semigroup. We use this correspondence to prove a category equivalence between the category of concordant semigroups and the category of cross-connected consistent categories. In the process, we illustrate how our construction is a generalisation of Nambooripad's cross-connection analysis of regular semigroups. We also identify the inductive cancellative category associated with a pair of cross-connected consistent categories.


title: A depth-based method for functional time series forecasting

abstract: An approach is presented for making predictions about functional time series. The method is applied to data coming from periodically correlated processes and electricity demand, obtaining accurate point forecasts and narrow prediction bands that cover high proportions of the forecasted functional datum, for a given confidence level. The method is computationally efficient and substantially different to other functional time series methods, offering a new insight for the analysis of these data structures.


title: Real Wilson Spaces I

abstract: This is the first part in a series of papers establishing an equivariant analogue of Steve Wilson's theory of even spaces, including the fact that the spaces in the loop spectrum for complex cobordism are even.


title: Unraveling the Landau's consistence criterion and the meaning of interpenetration in the "Two-Fluid" Model

abstract: In this letter we show that it is possible to unravel both the physical origin of the Landau's consistence criterion and the specific and subtle meaning of interpenetration of the "two fluids" if one takes into account that in the hydrodynamic regime one needs a coarse-graining in time to bring the system into local equilibrium. That is, the fuzziness in time is relevant for the phenomenological Landau's consistency criterion and the meaning of interpenetration. Note also that we are not questioning the validity of the "Two-Fluid" Model.


title: Loop induced $H^\pm \rightarrow W^\pm Z$ decays in the aligned two-Higgs-doublet model

abstract: We present a complete one-loop computation of the $H^\pm \rightarrow W^\pm Z$ decay in the aligned two-Higgs-doublet model. The constraints from the electroweak precision observables, perturbative unitarity, vacuum stability and flavour physics are all taken into account along with the latest Large Hadron Collider searches for the charged Higgs. It is observed that a large enhancement of the branching ratio can be obtained in the limit where there is a large splitting between the charged and pseudo-scalar Higgs masses as well as for the largest allowed values of the alignment parameter $\varsigma_u$. We find that the maximum possible branching ratio in the case of a large mass splitting between $m_{H^\pm}$ and $m_A$ is $\approx 10^{-3}$ for $m_{H^\pm} \in (200,700)$ GeV which is in the reach of the high luminosity phase of the Large Hadron Collider.


title: Deep Semi Supervised Generative Learning for Automated PD-L1 Tumor Cell Scoring on NSCLC Tissue Needle Biopsies

abstract: The level of PD-L1 expression in immunohistochemistry (IHC) assays is a key biomarker for the identification of Non-Small-Cell-Lung-Cancer (NSCLC) patients that may respond to anti PD-1/PD-L1 treatments. The quantification of PD-L1 expression currently includes the visual estimation of a Tumor Cell (TC) score by a pathologist and consists of evaluating the ratio of PD-L1 positive and PD-L1 negative tumor cells. Known challenges like differences in positivity estimation around clinically relevant cut-offs and sub-optimal quality of samples makes visual scoring tedious and subjective, yielding a scoring variability between pathologists. In this work, we propose a novel deep learning solution that enables the first automated and objective scoring of PD-L1 expression in late stage NSCLC needle biopsies. To account for the low amount of tissue available in biopsy images and to restrict the amount of manual annotations necessary for training, we explore the use of semi-supervised approaches against standard fully supervised methods. We consolidate the manual annotations used for training as well the visual TC scores used for quantitative evaluation with multiple pathologists. Concordance measures computed on a set of slides unseen during training provide evidence that our automatic scoring method matches visual scoring on the considered dataset while ensuring repeatability and objectivity.


title: Using machine learning to parameterize moist convection: potential for modeling of climate, climate change and extreme events

abstract: The parameterization of moist convection contributes to uncertainty in climate modeling and numerical weather prediction. Machine learning (ML) can be used to learn new parameterizations directly from high-resolution model output, but it remains poorly understood how such parameterizations behave when fully coupled in a general circulation model (GCM) and whether they are useful for simulations of climate change or extreme events. Here, we focus on these issues using idealized tests in which an ML-based parameterization is trained on output from a conventional parameterization and its performance is assessed in simulations with a GCM. We use an ensemble of decision trees (random forest) as the ML algorithm, and this has the advantage that it automatically ensures conservation of energy and non-negativity of surface precipitation. The GCM with the ML convective parameterization runs stably and accurately captures important climate statistics including precipitation extremes without the need for special training on extremes. Climate change between a control climate and a warm climate is not captured if the ML parameterization is only trained on the control climate, but it is captured if the training includes samples from both climates. Remarkably, climate change is also captured when training only on the warm climate, and this is because the extratropics of the warm climate provides training samples for the tropics of the control climate. In addition to being potentially useful for the simulation of climate, we show that ML parameterizations can be interrogated to provide diagnostics of the interaction between convection and the large-scale environment.


title: Neural Network Cognitive Engine for Autonomous and Distributed Underlay Dynamic Spectrum Access

abstract: Two key challenges in underlay dynamic spectrum access (DSA) are how to establish an interference limit from the primary network (PN) and how cognitive radios (CRs) in the secondary network (SN) become aware of the interference they create on the PN, especially when there is no exchange of information between the two networks. These challenges are addressed in this paper by presenting a fully autonomous and distributed underlay DSA scheme where each CR operates based on predicting its transmission effect on the PN. The scheme is based on a cognitive engine with an artificial neural network that predicts, without exchanging information between the networks, the adaptive modulation and coding configuration for the primary link nearest to a transmitting CR. By managing the effect of the SN on the PN, the presented technique maintains the relative average throughput change in the PN within a prescribed maximum value, while also finding transmit settings for the CRs that result in throughput as large as allowed by the PN interference limit. Simulation results show that the ability of the cognitive engine in estimating the effect of a CR transmission on the full adaptive modulation and coding (AMC) mode leads to a much more fine underlay transmit power control. This ability also provides higher transmission opportunities for the CRs, compared to a scheme that can only estimate the modulation scheme used at the PN link.


title: A hierarchical heteroclinic network: Controlling the time evolution along its paths

abstract: We consider a heteroclinic network in the framework of winnerless competition of species. It consists of two levels of heteroclinic cycles. On the lower level, the heteroclinic cycle connects three saddles, each representing the survival of a single species; on the higher level, the cycle connects three such heteroclinic cycles, in which nine species are involved. We show how to tune the predation rates in order to generate the long time scales on the higher level from the shorter time scales on the lower level. Moreover, when we tune a single bifurcation parameter, first the motion along the lower and next along the higher-level heteroclinic cycles are replaced by a heteroclinic cycle between 3-species coexistence-fixed points and by a 9-species coexistence-fixed point, respectively. We also observe a similar impact of additive noise. Beyond its usual role of preventing the slowing-down of heteroclinic trajectories at small noise level, its increasing strength can replace the lower-level heteroclinic cycle by 3-species coexistence fixed-points, connected by an effective limit cycle, and for even stronger noise the trajectories converge to the 9-species coexistence-fixed point. The model has applications to systems in which slow oscillations modulate fast oscillations with sudden transitions between the temporary winners.


title: Lepton Masses and Mixing from Modular $S_4$ Symmetry

abstract: We study models of lepton masses and mixing based on broken modular invariance. We consider invariance under the finite modular group $\Gamma_4 \simeq S_4$ and focus on the minimal scenario where the expectation value of the modulus is the only source of symmetry breaking, such that no flavons need to be introduced. After constructing a basis for the lowest weight modular forms, we build two minimal models, one of which successfully accommodates charged lepton masses and neutrino oscillation data, while predicting the values of the Dirac and Majorana CPV phases.


title: A Refined Algorithm for Curve Fitting by Segmented Straight Lines

abstract: We consider least squares approximation of a function of one variable by a continuous, piecewise-linear approximand that has a small number of breakpoints. This problem was notably considered by Bellman who proposed an approximate algorithm based on dynamic programming. Many suboptimal approaches have been suggested, but so far, the only exact methods resort to mixed integer programming with superpolynomial complexity growth. In this paper, we present an exact and efficient algorithm based on dynamic programming with a hybrid value function. The achieved time-complexity seems to be polynomial.


title: All phase-space linear bosonic channels are approximately Gaussian dilatable

abstract: We compare two sets of multimode quantum channels acting on a finite collection of harmonic oscillators: (a) the set of linear bosonic channels, whose action is described as a linear transformation at the phase space level; and (b) Gaussian dilatable channels, that admit a Stinespring dilation involving a Gaussian unitary. Our main result is that the set (a) coincides with the closure of (b) with respect to the strong operator topology. We also present an example of a channel in (a) which is not in (b), implying that taking the closure is in general necessary. This provides a complete resolution to the conjecture posed in Ref. [K.K. Sabapathy and A. Winter, Phys. Rev. A 95:062309, 2017]. Our proof technique is constructive, and yields an explicit procedure to approximate a given linear bosonic channel by means of Gaussian dilations. It turns out that all linear bosonic channels can be approximated by a Gaussian dilation using an ancilla with the same number of modes as the system. We also provide an alternative dilation where the unitary is fixed in the approximating procedure. Our results apply to a wide range of physically relevant channels, including all Gaussian channels such as amplifiers, attenuators, phase conjugators, and also non-Gaussian channels such as additive noise channels and photon-added Gaussian channels. The method also provides a clear demarcation of the role of Gaussian and non-Gaussian resources in the context of linear bosonic channels. Finally, we also obtain independent proofs of classical results such as the quantum Bochner theorem, and develop some tools to deal with convergence of sequences of quantum channels on continuous variable systems that may be of independent interest.


title: Rectifying curves in the $n$-dimensional Euclidean space

abstract: In this article, we study rectifying curves in arbitrary dimensional Euclidean space. A curve is said to be a rectifying curve if, in all points of the curve, the orthogonal complement of its normal vector contains a fixed point. We characterize rectifying curves in the $n$-dimensional Euclidean space in different ways: using conditions on their curvatures, using an expression for the tangential component, the normal component or the binormal components of their position vector, and by constructing them starting from an arclength parameterized curve on the unit hypersphere.


title: Observation of a Transition Between Dynamical Phases in a Quantum Degenerate Fermi Gas

abstract: A proposed paradigm for out-of-equilibrium quantum systems is that an analogue of quantum phase transitions exists between parameter regimes of qualitatively distinct time-dependent behavior. Here, we present evidence of such a transition between dynamical phases in a cold-atom quantum simulator of the collective Heisenberg model. Our simulator encodes spin in the hyperfine states of ultracold fermionic potassium. Atoms are pinned in a network of single-particle modes, whose spatial extent emulates the long-range interactions of traditional quantum magnets. We find that below a critical interaction strength, magnetization of an initially polarized fermionic gas decays quickly, while above the transition point, the magnetization becomes long-lived, due to an energy gap that protects against dephasing by the inhomogeneous axial field. Our quantum simulation reveals a non-equilibrium transition predicted to exist but not yet directly observed in quenched s-wave superconductors.


title: Nature of the energy source powering solar coronal loops driven by nanoflares

abstract: Magnetic energy is required to heat the corona, the outer atmosphere of the Sun, to millions of degrees. We study the nature of the magnetic energy source that is probably responsible for the brightening of coronal loops driven by nanoflares in the cores of solar active regions. We consider observations of two active regions (ARs), 11890 and 12234, in which nanoflares have been detected. To this end, we use ultraviolet (UV) and extreme ultraviolet (EUV) images from the Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) for coronal loop diagnostics. These images are combined with the co-temporal line-of-sight magnetic field maps from the Helioseismic and Magnetic Imager (HMI) onboard SDO to investigate the connection between coronal loops and their magnetic roots in the photosphere. The core of these ARs exhibit loop brightening in multiple EUV channels of AIA, particularly in its 9.4 nm filter. The HMI magnetic field maps reveal the presence of a complex mixed polarity magnetic field distribution at the base of these loops. We detect the cancellation of photospheric magnetic flux at these locations at a rate of about $10^{15}$ Mx s$^{-1}$. The associated compact coronal brightenings directly above the cancelling magnetic features are indicative of plasma heating due to chromospheric magnetic reconnection. We suggest that the complex magnetic topology and the evolution of magnetic field, such as flux cancellation in the photosphere and the resulting chromospheric reconnection, can play an important role in energizing active region coronal loops driven by nanoflares. Our estimate of magnetic energy release during flux cancellation in the quiet Sun suggests that chromospheric reconnection can also power the quiet corona.


title: Detecting, Understanding and Supporting Everyday Learning in Web Search

abstract: Web search is among the most ubiquitous online activities, commonly used to acquire new knowledge and to satisfy learning-related objectives through informational search sessions. The importance of learning as an outcome of web search has been recognized widely, leading to a variety of research at the intersection of information retrieval, human computer interaction and learning-oriented sciences. Given the lack of explicit information, understanding of users and their learning needs has to be derived from their search behavior and resource interactions. In this paper, we introduce the involved research challenges and survey related work on the detection of learning needs, understanding of users, e.g. with respect to their knowledge state, learning tasks and learning progress throughout a search session as well as the actual consideration of learning needs throughout the retrieval and ranking process. In addition, we summarise our own research contributing to the aforementioned tasks and describe our research agenda in this context.


title: Spark-Based Anomaly Detection: the Case of Port and Net Scan

abstract: The two most spread network anomalies are port and net scan. In this work, we present and analyze the results obtained by traditional approaches for the detection of net scan and port scans. We use a simple threshold-based algorithm, working at flow-level and adapt it for the execution on Apache Spark. The use of Big Data Analytics technologies allows to significantly the execution times of the algorithm so to be used even in current, high-speed networks. The paper describes our approach and presents an experimental analysis in terms of detection performance and execution time. We use real traffic traces from MAWI archive and MAWILab anomaly detectors to compare with our results. The analysis shows that i) our traditional threshold-based algorithm is already able to achieve detection performance higher than MAWILab (in 95% of the considered cases with the best threshold value), currently considered the gold standard in the field; ii) the execution time is much shorter than the trace time, which makes it usable also in real time. Moreover, for each traffic trace we provide the research community with a new labeled dataset, validated by comparisons with MAWILab and extended with other anomalies not detected by it. We publish an updated dataset every day at our project website.


title: Direct Acceleration of SAGA using Sampled Negative Momentum

abstract: Variance reduction is a simple and effective technique that accelerates convex (or non-convex) stochastic optimization. Among existing variance reduction methods, SVRG and SAGA adopt unbiased gradient estimators and are the most popular variance reduction methods in recent years. Although various accelerated variants of SVRG (e.g., Katyusha and Acc-Prox-SVRG) have been proposed, the direct acceleration of SAGA still remains unknown. In this paper, we propose a directly accelerated variant of SAGA using a novel Sampled Negative Momentum (SSNM), which achieves the best known oracle complexity for strongly convex problems (with known strong convexity parameter). Consequently, our work fills the void of directly accelerated SAGA.


title: Extreme thermodynamics with polymer gel tori: harnessing thermodynamic instabilities to induce large-scale deformations

abstract: When a swollen, thermoresponsive polymer gel is heated in a solvent bath, it expels solvent and deswells. When this heating is slow, deswelling proceeds homogeneously, as observed in a toroid-shaped gel that changes volume whilst maintaining its toroidal shape. By contrast, if the gel is heated quickly, an impermeable layer of collapsed polymer forms and traps solvent within the gel, arresting the volume change. The ensuing evolution of the gel then happens at fixed volume, leading to phase-separation and the development of inhomogeneous stress that deforms the toroidal shape. We observe that this stress can cause the torus to buckle out of the plane, via a mechanism analogous to the bending of bimetallic strips upon heating. Our results demonstrate that thermodynamic instabilities, i.e., phase transitions, can be used to actuate mechanical deformation in an extreme thermodynamics of materials.


title: Nonequilibrium steady-state Kubo formula: equality of transport coefficients

abstract: We address the question of whether transport coefficients obtained from a unitary closed system setting, i.e., the standard equilibrium Green-Kubo formula, are the same as the ones obtained from a weakly driven nonequilibrium steady-state calculation. We first derive a nonequilibrium Kubo-like expression for the steady-state diffusion constant expressed as a time-integral of either a current or a conserved density nonequilibrium correlation function. This expression has certain advantages over the equilibrium Green-Kubo formula, but is not clear if it gives the same value of the diffusion constant. We then rigorously show that, if the unitary dynamics is diffusive the nonequilibrium formula indeed gives exactly the same transport coefficient. The form of finite-size correction is also predicted. Theoretical results are verified by an explicit calculation of the diffusion constant in several interacting many-body models.


title: Neutrino Mass Ordering from Oscillations and Beyond: 2018 Status and Future Prospects

abstract: The ordering of the neutrino masses is a crucial input for a deep understanding of flavor physics, and its determination may provide the key to establish the relationship among the lepton masses and mixings and their analogous properties in the quark sector. The extraction of the neutrino mass ordering is a data-driven field expected to evolve very rapidly in the next decade. In this review, we both analyze the present status and describe the physics of subsequent prospects. Firstly, the different current available tools to measure the neutrino mass ordering are described. Namely, reactor, long-baseline (accelerator and atmospheric) neutrino beams, laboratory searches for beta and neutrinoless double beta decays and observations of the cosmic background radiation and the large scale structure of the universe are carefully reviewed. Secondly, the results from an up-to-date comprehensive global fit are reported: the Bayesian analysis to the 2018 publicly available oscillation and cosmological data sets provides \emph{strong} evidence for the normal neutrino mass ordering versus the inverted scenario, with a significance of 3.5 standard deviations. This preference for the normal neutrino mass ordering is mostly due to neutrino oscillation measurements. Finally, we shall also emphasize the future perspectives for unveiling the neutrino mass ordering. In this regard, apart from describing the expectations from the aforementioned probes, we also focus on those arising from alternative and novel methods, as 21~cm cosmology, core-collapse supernova neutrinos and the direct detection of relic neutrinos.


title: Some subgroups of a finite field and their applications for obtaining explicit factors

abstract: Let $\mathcal{S}_q$ denote the group of all square elements in the multiplicative group $\mathbb{F}_q^*$ of a finite field $\mathbb{F}_q$ of odd characteristic containing $q$ elements. Let $\mathcal{O}_q$ be the set of all odd order elements of $\mathbb{F}_q^*$. Then $\mathcal{O}_q$ turns up as a subgroup of $\mathcal{S}_q$. In this paper, we show that $\mathcal{O}_q=\langle4\rangle$ if $q=2t+1$ and, $\mathcal{O}_q=\langle t\rangle $ if $q=4t+1$, where $q$ and $t$ are odd primes. This paper also gives a direct method for obtaining the coefficients of irreducible factors of $x^{2^nt}-1$ in $\mathbb{F}_q[x]$ using the information of generator elements of $\mathcal{S}_q$ and $\mathcal{O}_q$, when $q$ and $t$ are odd primes such that $q=2t+1$ or $q=4t+1$.


title: Security for Cyber-Physical Systems: Leveraging Cellular Networks and Fog Computing

abstract: The reach and scale of Cyber Physical Systems (CPS) are expanding to many aspects of our everyday lives. Health, safety, transportation and education are a few areas where CPS are increasingly prevalent. There is a pressing need to secure CPS, both at the edge and at the network core. We present a hybrid framework for securing CPS that leverages the computational resources and coordination of Fog networks, and builds on cellular connectivity for low-power and resource constrained CPS devices. The routine support for cellular authentication, encryption, and integrity protection is enhanced with the addition of a cellular cloud controller to take over the management of the radio and core security contexts dedicated to CPS devices. Specialized cellular cloudlets liaison with core network components to implement localized and network-wide defense for denial-or-service, smart jamming, or unauthorized CPS tracking attacks. A comparison between our framework and recent cellular/fog solutions is provided, together with a feasibility analysis for operational framework deployment. We conclude with future research directions that we believe are pivotal to the proliferation of secure and scalable CPS.


title: Periodic subvarieties of semiabelian varieties and annihilators of irreducible representations

abstract: Let $G$ be a semiabelian variety defined over a field of characteristic $0$, endowed with an endomorphism $\Phi$. We prove there is no proper subvariety $Y\subset G$ which intersects the orbit of each periodic point of $G$ under the action of $\Phi$. As an application, we are able to give a topological characterization of the annihilator ideals of irreducible representations in certain skew polynomial algebras.


title: Dissipation production in a closed two-level quantum system as a test of the obversibility of the dynamics

abstract: Irreversible behaviour is traditionally associated with open stochastic dynamical systems, but an asymmetry in the probabilistic specification of a closed deterministic system can similarly lead to a disparity between the likelihoods of a particular forward and corresponding backward behaviour starting from a specified time. Such a comparison is a test of a property denoted obversibility, which may be quantified in terms of dissipation production as a measure of irreversibility. We here discuss the procedure needed to evaluate dissipation production in a simple, deterministic two-level quantum system described by a statistical ensemble of state vectors and then provide numerical results for illustrative situations. We consider cases that both do and do not fulfill an Evans-Searles Fluctuation Theorem for the dissipation production, and identify conditions for which the system will display time-asymmetric average behaviour as it evolves.


title: Strain-induced gauge and Rashba fields in ferroelectric Rashba lead chalcogenide PbX monolayers (X = S, Se, Te)

abstract: One of the exciting features of two-dimensional (2D) materials is their electronic and optical tunability through strain engineering. Previously, we found a class of 2D ferroelectric Rashba semiconductors PbX (X = S, Se, Te) with tunable spin-orbital properties. In this work, based on our previous tight-binding (TB) results, we derive an effective low-energy Hamiltonian around the symmetry points that captures the effects of strain on the electronic properties of PbX. We find that strains induce gauge fields which shift the Rashba point and modify the Rashba parameter. This effect is equivalent to the application of in-plane magnetic fields. The out-of-plane strain, which is proportional to the electric polarization, is also shown to modify the Rashba parameter. Overall, our theory connects strain and spin splitting in ferroelectric Rashba materials, which will be important to understand the strain-induced variations in local Rashba parameters that will occur in practical applications.


title: The electric field of an electron in a electron-hole plasma with degenerate electrons

abstract: We consider the possibility of formation of a superconductivity state either in a semiconductor or in a electron-hole plasma with the degenerate electrons due to the attractive forces between the electrons as a result of the exchange effects through the electron-hole sound wave by analogy to the phonon waves in a solid state. We have determined the view of an interaction potential between two electrons in a degenerate electron-hole plasma. The potential appears to be attractive at distances large than the Debye radius and decreases as $1/r^3$. We discuss the conditions at which the bound electron state - Cooper Pair in a such field can be formed.


title: Distribution spaces and a new construction of stochastic processes associated with the Grassmann algebra

abstract: We associate with the Grassmann algebra a topological algebra of distributions, which allows the study of processes analogous to the corresponding free stochastic processes with stationary increments, as well as their derivatives.


title: Protecting the Stability of the EW Vacuum from Planck-Scale Gravitational Effects

abstract: We investigate the stability of the Standard-Model Electroweak (EW) vacuum in the presence of Planck-scale suppressed operators of the type $\phi^{2n}/M^{2n-4}_{\rm P}$ that involve the Higgs field $\phi$ and could in principle be induced by quantum gravity effects. We show how minimal embeddings of the Standard Model (SM) in supergravity (SUGRA) can stabilize the EW vacuum against such operators up to very high values of the induced supersymmetry breaking scale $M_{\cal S}$, which may well be above the onset of the so-called SM metastability scale of $10^{11}$ GeV. In particular, we explicitly demonstrate how discrete $R$ symmetries could be invoked to suppress the occurrence of harmful Planck-scale operators of the form $\phi^{2n}/M^{2n-4}_{\rm P}$ to arbitrary higher powers of $n$. We analyze different scenarios of Planck-scale gravitational physics and derive lower limits on the power $n$ that is required in order to protect our EW vacuum from dangerous rapid decay. The significance of our results for theories of low-scale quantum gravity is illustrated.


title: Malicious User Experience Design Research for Cybersecurity

abstract: This paper explores the factors and theory behind the user-centered research that is necessary to create a successful game-like prototype, and user experience, for malicious users in a cybersecurity context. We explore what is known about successful addictive design in the fields of video games and gambling to understand the allure of breaking into a system, and the joy of thwarting the security to reach a goal or a reward of data. Based on the malicious user research, game user research, and using the GameFlow framework, we propose a novel malicious user experience design approach


title: Uniqueness in Harper's vertex-isoperimetric theorem

abstract: For a set $A\subseteq Q_{n}=\left\{ 0,1\right\} ^{n}$ the $t$-neighbourhood of $A$ is $N^{t}\left(A\right)=\left\{ x\,:\,d\left(x,A\right)\leq t\right\}$, where $d$ denotes the usual graph distance on $Q_{n}$. Harper's vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_{n}$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_{n}$ is a subset of given size for which the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order? Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e.\ a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_{n}$. We go further to classify all the sets $A\subseteq Q_{n}$ for which the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are minimal for all $t>0$ among the subsets of $Q_{n}$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_{n}$ for which the sizes of $N\left(A\right)$ and $N\left(A^{c}\right)$ are minimal among the subsets of $Q_{n}$ of given size, then the sizes of both $N^{t}\left(A\right)$ and $N^{t}\left(A^{c}\right)$ are also minimal for all $t>0$ among the subsets of $Q_{n}$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^{c}\right)$ to have minimal size among the subsets $A\subseteq Q_{n}$ of given size.


title: Self-healing high-dimensional quantum key distribution using hybrid spin-orbit Bessel states

abstract: Using spatial modes for quantum key distribution (QKD) has become highly topical due to their infinite dimensionality, promising high information capacity per photon. However, spatial distortions reduce the feasible secret key rates and compromise the security of a quantum channel. In an extreme form such a distortion might be a physical obstacle, impeding line-of-sight for free-space channels. Here, by controlling the radial degree of freedom of a photon's spatial mode, we are able to demonstrate hybrid high-dimensional QKD through obstacles with self-reconstructing single photons. We construct high-dimensional mutually unbiased bases using spin-orbit hybrid states that are radially modulated with a non-diffracting Bessel-Gaussian (BG) profile, and show secure transmission through partially obstructed quantum links. Using a prepare-measure protocol we report higher quantum state self-reconstruction and information retention for the non-diffracting BG modes as compared to Laguerre-Gaussian modes, obtaining a quantum bit error rate (QBER) that is up to 3 times lower. This work highlights the importance of controlling the radial mode of single photons in quantum information processing and communication as well as the advantages of QKD with hybrid states.


title: Constraining Dark Matter lifetime with a deep gamma-ray survey of the Perseus Galaxy Cluster with MAGIC

abstract: Clusters of galaxies are the largest known gravitationally bound structures in the Universe, with masses around $10^{15}\ M_\odot$, most of it in the form of dark matter. The ground-based Imaging Atmospheric Cherenkov Telescope MAGIC made a deep survey of the Perseus cluster of galaxies using almost 400 h of data recorded between 2009 and 2017. This is the deepest observational campaign so far on a cluster of galaxies in the very high energy range. We search for gamma-ray signals from dark matter particles in the mass range between 200 GeV and 200 TeV decaying into standard model pairs. We apply an analysis optimized for the spectral and morphological features expected from dark matter decays and find no evidence of decaying dark matter. From this, we conclude that dark matter particles have a decay lifetime longer than $\sim10^{26}$~s in all considered channels. Our results improve previous lower limits found by MAGIC and represent the strongest limits on decaying dark matter particles from ground-based gamma-ray instruments.


title: Up-To Techniques for Behavioural Metrics via Fibrations

abstract: Up-to techniques are a well-known method for enhancing coinductive proofs of behavioural equivalences. We introduce up-to techniques for behavioural metrics between systems modelled as coalgebras and we provide abstract results to prove their oundness in a compositional way. In order to obtain a general framework, we need a systematic way to lift functors: we show that the Wasserstein lifting of a functor, introduced in a previous work, corresponds to a change of base in a fibrational sense. This observation enables us to reuse existing results about soundness of up-to techniques in a fibrational setting. We focus on the fibrations of predicates and relations valued in a quantale, for which pseudo-metric spaces are an example. To illustrate our approach we provide an example on distances between regular languages.


title: Incipient singlet-triplet states in a hybrid mesoscopic system

abstract: In the present work we provide an easily accessible way to achieve the singlet-triplet Kondo effect in a hybrid system consisting of a quantum point contact (QPC) coupled to an electronic cavity. We show that by activating the coupling between the QPC and cavity, a zero-bias anomaly occurs in a low conductance regime, a coexistence of zero-bias and finite-bias anomaly (FBA) in a medium conductance regime, and a FBA-only anomaly in a high conductance regime. The latter two observations are due to the singlet-triplet Kondo effect.


title: Can justice be fair when it is blind? How social network structures can promote or prevent the evolution of despotism

abstract: Hierarchy is an efficient way for a group to organize, but often goes along with inequality that benefits leaders. To control despotic behaviour, followers can assess leaders decisions by aggregating their own and their neighbours experience, and in response challenge despotic leaders. But in hierarchical social networks, this interactional justice can be limited by (i) the high influence of a small clique who are treated better, and (ii) the low connectedness of followers. Here we study how the connectedness of a social network affects the co-evolution of despotism in leaders and tolerance to despotism in followers. We simulate the evolution of a population of agents, where the influence of an agent is its number of social links. Whether a leader remains in power is controlled by the overall satisfaction of group members, as determined by their joint assessment of the leaders behaviour. We demonstrate that centralization of a social network around a highly influential clique greatly increases the level of despotism. This is because the clique is more satisfied, and their higher influence spreads their positive opinion of the leader throughout the network. Finally, our results suggest that increasing the connectedness of followers limits despotism while maintaining hierarchy.


title: Quantum stabilization of photonic spatial correlations

abstract: The driven, dissipative Bose-Hubbard model (BHM) provides a generic description of collective phases of interacting photons in cavity arrays. In the limit of strong optical nonlinearities (hard-core limit), the BHM maps on the dissipative, transverse-field XY model (XYM). The steady-state of the XYM can be analyzed using mean-field theory, which reveals a plethora of interesting dynamical phenomena. For example, strong hopping combined with a blue-detuned drive, leads to an instability of the homogeneous steady-state with respect to antiferromagnetic fluctuations. In this paper, we address the question whether such an antiferromagnetic instability survives in the presence of quantum correlations beyond the mean-field approximation. For that purpose, we employ a self-consistent $1/z$ expansion for the density matrix, where $z$ is the lattice coordination number, i.e., the number of nearest neighbours for each site. We show that quantum fluctuations stabilize a new homogeneous steady-state with antiferromagnetic correlations in agreement with exact numerical simulations for finite lattices. The latter manifests itself as short-ranged oscillations of the first and second-order spatial coherence functions of the photons emitted by the array.


title: Acceleration and Quantitation of Localized Correlated Spectroscopy using Deep Learning: A Pilot Simulation Study

abstract: Nuclear magnetic resonance spectroscopy (MRS) allows for the determination of atomic structures and concentrations of different chemicals in a biochemical sample of interest. MRS is used in vivo clinically to aid in the diagnosis of several pathologies that affect metabolic pathways in the body. Typically, this experiment produces a one dimensional (1D) 1H spectrum containing several peaks that are well associated with biochemicals, or metabolites. However, since many of these peaks overlap, distinguishing chemicals with similar atomic structures becomes much more challenging. One technique capable of overcoming this issue is the localized correlated spectroscopy (L-COSY) experiment, which acquires a second spectral dimension and spreads overlapping signal across this second dimension. Unfortunately, the acquisition of a two dimensional (2D) spectroscopy experiment is extremely time consuming. Furthermore, quantitation of a 2D spectrum is more complex. Recently, artificial intelligence has emerged in the field of medicine as a powerful force capable of diagnosing disease, aiding in treatment, and even predicting treatment outcome. In this study, we utilize deep learning to: 1) accelerate the L-COSY experiment and 2) quantify L-COSY spectra. We demonstrate that our deep learning model greatly outperforms compressed sensing based reconstruction of L-COSY spectra at higher acceleration factors. Specifically, at four-fold acceleration, our method has less than 5% normalized mean squared error, whereas compressed sensing yields 20% normalized mean squared error. We also show that at low SNR (25% noise compared to maximum signal), our deep learning model has less than 8% normalized mean squared error for quantitation of L-COSY spectra. These pilot simulation results appear promising and may help improve the efficiency and accuracy of L-COSY experiments in the future.


title: Bounds on Convex Bodies in Pairwise Intersecting Minkowski Arrangement of Order $\mu$

abstract: A generalization of pairwise intersecting Minkowski arrangement of centrally symmetric convex bodies is the pairwise intersecting Minkowski arrangement of order $\mu$. Here, the homothetic copies of a centrally symmetric convex body are so that none of their interiors intersect the $\mu$-kernel of any other. We give general upper and lower bounds on the cardinality of such arrangements, and study two special cases: For $d$-dimensional translates in classical pairwise intersecting Minkowski arrangement we prove that the sharp upper bound is $3^d$. For $\mu=1$ the general version yields to another known problem: The Bezdek-Pach Conjecture asserts that the maximum number of pairwise touching positive homothetic copies of a convex body in $\mathbb{R}^d$ is $2^d$. We verify the conjecture on the plane, that is, when $d=2$. Indeed, we show that the number in question is four for any planar convex body.


title: The effect of memory and active forces on transition path times distributions

abstract: An analytical expression is derived for the transition path time distribution for a one-dimensional particle crossing of a parabolic barrier. Two cases are analyzed: (i) A non-Markovian process described by a generalized Langevin equation with a power-law memory kernel and (ii) a Markovian process with a noise violating the fluctuation-dissipation theorem, modeling the stochastic dynamics generated by active forces. In the case (i) we show that the anomalous dynamics strongly affecting the short time behavior of the distributions, but this happens only for very rare events not influencing the overall statistics. At long times the decay is always exponential, in disagreement with a recent study suggesting a stretched exponential decay. In the case (ii) the active forces do not substantially modify the short time behavior of the distribution, but lead to an overall decrease of the average transition path time. These findings offer some novel insights, useful for the analysis of experiments of transition path times in (bio)molecular systems.


title: The quantum separability problem is a simultaneous hollowisation matrix analysis problem

abstract: We use the generalized concurrence approach to investigate the general multipartite separability problem. By extending the preconcurrence matrix formalism to arbitrary multipartite systems, we show that the separability problem can be formulated equivalently as a pure matrix analysis problem that consists in determining whether a given set of symmetric matrices is simultaneously unitarily congruent to hollow matrices, i.e., to matrices whose main diagonal is only composed of zeroes.


title: Transport and diffusion of paramagnetic ellipsoidal particles in a rotating magnetic field

abstract: Transport and diffusion of paramagnetic ellipsoidal particles under the action of a rotating magnetic field are numerically investigated in a two-dimensional channel. It is found that paramagnetic ellipsoidal particles in a rotating magnetic field can be rectified in the upper-lower asymmetric channel. The transport and the effective diffusion coefficient are much more different and complicated for active particles, while they have similar behaviors and change a little when applying rotating magnetic fields of different frequencies for passive particles. For active particles, the back-and-forth rotational motion facilitates the effective diffusion coefficient and reduces the rectification, whereas the rotational motion synchronous with the magnetic field suppresses the effective diffusion coefficient and enhances the rectification. There exist optimized values of the parameters (the anisotropic degree, the amplitude and frequency of magnetic field, the self-propelled velocity, and the rotational diffusion rate) at which the average velocity and diffusion take their maximal values. Particles with different shapes, self-propelled speeds, or rotational diffusion rates will move to the opposite directions and can be separated by applying rotating magnetic fields of suitable strength and frequency. Our results can be used to separate particles, orient the particles along any direction at will during motion, and control the particle diffusion.


title: Measurement of differential cross sections for Z boson pair production in association with jets at $\sqrt{s} =$ 8 and 13 TeV

abstract: This Letter reports measurements of differential cross sections for the production of two Z bosons in association with jets in proton-proton collisions at $\sqrt{s} =$ 8 and 13 TeV. The analysis is based on data samples collected at the LHC with the CMS detector, corresponding to integrated luminosities of 19.7 and 35.9 fb$^{-1}$ at 8 and 13 TeV, respectively. The measurements are performed in the leptonic decay modes ZZ $\to\ell^+ \ell^- \ell'^+ \ell'^-$, where $\ell,\ell' =$ e, $\mu$. The differential cross sections as a function of the jet multiplicity, the transverse momentum $p_\mathrm{T}$, and pseudorapidity of the $p_\mathrm{T}$-leading and subleading jets are presented. In addition, the differential cross sections as a function of variables sensitive to the vector boson scattering, such as the invariant mass of the two $p_\mathrm{T}$-leading jets and their pseudorapidity separation, are reported. The results are compared to theoretical predictions and found in good agreement within the theoretical and experimental uncertainties.


title: Packed voters and cracked voters

abstract: The actions of packing and cracking are central to the construction of gerrymandered district plans. The US Supreme Court opinion in Gill v. Whitford makes clear that vote dilution arguments require showing that individual voters have been packed or cracked. In this article we provide precise definitions of what it means for a voter to be packed or cracked. These definitions, which depend crucially on the existence of at least one comparator plan, are illustrated using a simple hypothetical example. We also explore who might be considered packed or cracked for congressional plans in Maryland and North Carolina, and for the current state assembly plan in Wisconsin.


title: Energy in Higher-Derivative Gravity via Topological Regularization

abstract: We give a novel definition of gravitational energy for an arbitrary theory of gravity including quadratic-curvature corrections to Einstein equations. We focus on the theory in four dimensions, in presence of negative cosmological constant, and with asymptotically anti-de Sitter (AdS) boundary conditions. As a first example, we compute the gravitational energy and angular momentum of Schwarzschild-AdS black holes, for which we obtain results consistent with previous computations performed using different methods. However, our method differs qualitatively from other ones in the feature of being intrinsically non-linear. It relies on the idea of adding to the gravity action topological invariant terms which suffice to regularize the Noether charges and render the variational problem well-posed. This is an idea that has been previously considered in the case of second-order theories, such as general relativity and which, as shown here, extends to higher-derivative theories. Besides black holes, we consider other solutions, such as gravitational waves in AdS, for which we also find results in agreement. This enables us to investigate the consistency of this approach in the non-Einstein sector of the theory.


title: Optimizing Service Restoration in Distribution Systems with Uncertain Repair Time and Demand

abstract: This paper proposes a novel method to co-optimize distribution system operation and repair crew routing for outage restoration after extreme weather events. A two-stage stochastic mixed integer linear program is developed. The first stage is to dispatch the repair crews to the damaged components. The second stage is distribution system restoration using distributed generators, and reconfiguration. We consider demand uncertainty in terms of a truncated normal forecast error distribution, and model the uncertainty of the repair time using a lognormal distribution. A new decomposition approach, combined with the Progressive Hedging algorithm, is developed for solving large-scale outage management problems in an effective and timely manner. The proposed method is validated on modified IEEE 34- and 8500-bus distribution test systems.


title: Psychophysical laws as reflection of mental space properties

abstract: The paper is devoted to the relationship between psychophysics and physics of mind. The basic trends in psychophysics development are briefly discussed with special attention focused on Teghtsoonian's hypotheses. These hypotheses pose the concept of the universality of inner psychophysics and enable to speak about psychological space as an individual object with its own properties. Turning to the two-component description of human behavior (I. Lubashevsky, Physics of the Human Mind, Springer, 2017) the notion of mental space is formulated and human perception of external stimuli is treated as the emergence of the corresponding images in the mental space. On one hand, these images are caused by external stimuli and their magnitude bears the information about the intensity of the corresponding stimuli. On the other hand, the individual structure of such images as well as their subsistence after emergence is determined only by the properties of mental space on its own. Finally, the mental operations of image comparison and their scaling are defined in a way allowing for the bounded capacity of human cognition. As demonstrated, the developed theory of stimulus perception is able to explain the basic regularities of psychophysics, e.g., (i) the regression and range effects leading to the overestimation of weak stimuli and the underestimation of strong stimuli, (ii) scalar variability (Weber's and Ekman' laws), and (\textit{iii}) the sequential (memory) effects. As the final result, a solution to the Fechner-Stevens dilemma is proposed. This solution posits that Fechner's logarithmic law is not a consequences of Weber's law but stems from the interplay of uncertainty in evaluating stimulus intensities and the multi-step scaling required to overcome the stimulus incommensurability.


title: A probabilistic constrained clustering for transfer learning and image category discovery

abstract: Neural network-based clustering has recently gained popularity, and in particular a constrained clustering formulation has been proposed to perform transfer learning and image category discovery using deep learning. The core idea is to formulate a clustering objective with pairwise constraints that can be used to train a deep clustering network; therefore the cluster assignments and their underlying feature representations are jointly optimized end-to-end. In this work, we provide a novel clustering formulation to address scalability issues of previous work in terms of optimizing deeper networks and larger amounts of categories. The proposed objective directly minimizes the negative log-likelihood of cluster assignment with respect to the pairwise constraints, has no hyper-parameters, and demonstrates improved scalability and performance on both supervised learning and unsupervised transfer learning.


title: Solutions of diophantine equations as periodic points of $p$-adic algebraic functions, II: The Rogers-Ramanujan continued fraction

abstract: In this part we show that the diophantine equation $X^5+Y^5=\varepsilon^5(1-X^5Y^5)$, where $\varepsilon=\frac{-1+\sqrt{5}}{2}$, has solutions in specific abelian extensions of quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ in which $-d \equiv \pm 1$ (mod $5$). The coordinates of these solutions are values of the Rogers-Ramanujan continued fraction $r(\tau)$, and are shown to be periodic points of an algebraic function.


title: Decomposable twofold triple systems with non-Hamiltonian 2-block intersection graphs

abstract: The 2-block intersection graph (2-BIG) of a twofold triple system (TTS) is the graph whose vertex set is composed of the blocks of the TTS and two vertices are joined by an edge if the corresponding blocks intersect in exactly two elements. The 2-BIGs are themselves interesting graphs: each component is cubic and 3-connected, and a 2-BIG is bipartite exactly when the TTS is decomposable to two Steiner triple systems. Any connected bipartite 2-BIG with no Hamilton cycle is a counter-example to a conjecture posed by Tutte in 1971. Our main result is that there exists an integer $N$ such that for all $v\geq N$, if $v\equiv 1$ or $3\mod{6}$ then there exists a TTS($v$) whose 2-BIG is bipartite and connected but not Hamiltonian. Furthermore, $13<N\leq 663$. Our approach is to construct a TTS($u$) whose 2-BIG is connected bipartite and non-Hamiltonian and embed it within a TTS($v$) where $v>2u$ in such a way that, after a single trade, the 2-BIG of the resulting TTS($v$) is bipartite connected and non-Hamiltonian.


title: Revealing quantum spin liquid in the herbertsmithite $\rm ZnCu_{3}(OH)_6Cl_{2}$

abstract: Based on experimental data and our theoretical analysis, we provide a strategy for unambiguous establishing of gapless quantum spin liquid state (QSL) in herbertsmithite and other materials. To clarify the nature of QSL, we recommend measurements of heat transport, low-energy inelastic neutron scattering and optical conductivity under the application of external magnetic field at low temperatures. We also suggest that artificially introduced inhomogeneity into $\rm ZnCu_{3}(OH)_6Cl_2$ can stabilize QSL, and serves as a test elucidating the contribution coming from impurities. We predict the results of these measurements in the case of gapless QSL.


title: Higher genus relative and orbifold Gromov-Witten invariants

abstract: Given a smooth projective variety $X$ and a smooth divisor $D\subset X$. We study relative Gromov-Witten invariants of $(X,D)$ and the corresponding orbifold Gromov-Witten invariants of the $r$-th root stack $X_{D,r}$. For sufficiently large $r$, we prove that orbifold Gromov-Witten invariants of $X_{D,r}$ are polynomials in $r$. Moreover, higher genus relative Gromov-Witten invariants of $(X,D)$ are exactly the constant terms of the corresponding higher genus orbifold Gromov-Witten invariants of $X_{D,r}$. We also provide a new proof for the equality between genus zero relative and orbifold Gromov-Witten invariants, originally proved by Abramovich-Cadman-Wise \cite{ACW}. When $r$ is sufficiently large and $X=C$ is a curve, we prove that stationary relative invariants of $C$ are equal to the stationary orbifold invariants in all genera.


title: Bootstrap Based Inference for Sparse High-Dimensional Time Series Models

abstract: Fitting sparse models to high-dimensional time series is an important area of statistical inference. In this paper we consider sparse vector autoregressive models and develop appropriate bootstrap methods to infer properties of such processes. Our bootstrap methodology generates pseudo time series using a model-based bootstrap procedure which involves an estimated, sparsified version of the underlying vector autoregressive model. Inference is performed using so-called de-sparsified or de-biased estimators of the autoregressive model parameters. We derive the asymptotic distribution of such estimators in the time series context and establish asymptotic validity of the bootstrap procedure proposed for estimation and, appropriately modified, for testing purposes. In particular we focus on testing that large groups of autoregressive coefficients equal zero. Our theoretical results are complemented by simulations which investigate the finite sample performance of the bootstrap methodology proposed. A real-life data application is also presented.


title: Volume, Polar Volume and Euler Characteristic for Convex Functions

abstract: Functional analogs of the Euler characteristic and volume together with a new analog of the polar volume are characterized as non-negative, continuous, $\operatorname{SL}(n)$ and translation invariant valuations on the space of finite, convex and coercive functions on ${\mathbb R}^n$.


title: Captain Einstein: a VR experience of relativity

abstract: Captain Einstein is a virtual reality (VR) movie that takes you on a boat trip in a world with a slow speed of light. This allows for a direct experience of the theory of special relativity, much in the same spirit as in the Mr. Tompkins adventure by George Gamow (1939). In this paper we go through the different relativistic effects (e.g. length contraction, time dilation, Doppler shift, light aberration) that show up during the boat trip and we explain how these effects were implemented in the 360 video production process. We also provide exercise questions that can be used - in combination with the VR movie - to gain insight and sharpen the intuition on the basic concepts of special relativity.


title: Non-classical correlations in a two-mode optomechanical system

abstract: The pairwise quantum correlations in a tripartite optomechanical system comprising a mechanical mode and two optical modes are analyzed. The Simon criterion is used as a witness of the separability. Whereas, the Gaussian discord is employed to capture the quantumness of correlations. Both entanglement and Gaussian discord are evaluated as functions of the parameters characterizing the environment and the system (temperature, squeezing and optomechanical coupling). We work in the resolved-sideband regime. We show that it is possible to reach simultaneous three bipartite entanglements via the quantum correlations transfer from the squeezed light to the system. While, even without squeezed light, the quantumness of correlations can be captured simultaneously between the three modes for a very wide range of parameters. Specifically, we find that the two optical modes exhibit more quantum correlations in comparison with the entangled mechanical-optical modes. Finally, unlike the two hybrid subsystems, the purely optical one seems more resilient against the environmental destructive effects.


title: Topological Full Groups of Ample Groupoids with Applications to Graph Algebras

abstract: We study the topological full group of ample groupoids over locally compact spaces. We extend Matui's definition of the topological full group from the compact, to the locally compact case. We provide two general classes of groupoids for which the topological full group, as an abstract group, is a complete isomorphism invariant. Hereby extending Matui's Isomorphism Theorem. As an application, we study graph groupoids and their topological full groups, and obtain sharper results for this class. The machinery developed in this process is used to prove an embedding theorem for ample groupoids, akin to Kirchberg's Embedding Theorem for $C^*$-algebras. Consequences for graph $C^*$-algebras and Leavitt path algebras are also spelled out. In particular, we improve on a recent embedding theorem of Brownlowe and S{\o}rensen for Leavitt path algebras.


title: Electromagnetic Scattering Resonances of Quasi-1D Nanoribbons

abstract: We analyse the resonance conditions of a long and narrow ribbon of finite length whether it is conductive or dielectric. This is accomplished by using a full wave approach based on the material independent modes that naturally discriminates the role of the geometry and of the material. This method effectively allows the design of the material in such a way to obtain the desired resonances. Eventually, as an example, we design two quasi-one dimensional resonators based on a graphene layer and on a silicon thin film.


title: Splash singularity for a free-boundary incompressible viscoelastic fluid model

abstract: In this paper we analyze a 2D free-boundary viscoelastic fluid model of Oldroyd-B type at infinite Weissenberg number. Our main goal is to show the existence of the so-called splash singularities, namely points where the boundary remains smooth but self-intersects. The combination of existence and stability results allows us to construct a special class of initial data, which evolve in time into self-intersecting configurations. To this purpose we apply the classical conformal mapping method and later we move to the Lagrangian framework, as a consequence we deduce the existence of splash singularities. This result extends the result obtained for the Navier-Stokes equations in "Splash singularities for the free-boundary Navier-Stokes" by Castro, A. et al. (2015).


title: COFFE: a code for the full-sky relativistic galaxy correlation function

abstract: We present a public version of the code COFFE (COrrelation Function Full-sky Estimator) available at https://github.com/JCGoran/coffe. The code computes the galaxy two-point correlation function and its multipoles in linear perturbation theory, including all relativistic and wide angle corrections. COFFE also calculates the covariance matrix for two physically relevant estimators of the correlation function multipoles. We illustrate the usefulness of our code by a simple but relevant example: a forecast of the detectability of the lensing signal in the multipoles of the two-point function. In particular, we show that lensing should be detectable in the multipoles of the two-point function, with a signal-to-noise larger than 10, in future surveys like Euclid or the SKA.


title: Inhomogeneous driving in quantum annealers can result in orders-of-magnitude improvements in performance

abstract: Quantum annealers are special-purpose quantum computers that primarily target solving Ising optimization problems. Theoretical work has predicted that the probability of a quantum annealer ending in a ground state can be dramatically improved if the spin driving terms, which play a crucial role in the functioning of a quantum annealer, have different strengths for different spins; that is, they are inhomogeneous. In this paper we describe a time-shift-based protocol for inhomogeneous driving and demonstrate, using an experimental quantum annealer, the performance of our protocol on a range of hard Ising problems that have been well-studied in the literature. Compared to the homogeneous-driving case, we find that we are able to increase the probability of finding a ground state by up to $10^8 \times$ for some Weak-Strong-Cluster problem instances, and by up to $10^3 \times$ for more general spin-glass problem instances. In addition to being of practical interest as a heuristic speedup method, inhomogeneous driving may also serve as a useful tool for investigations into the physics of experimental quantum annealers.


title: Instantons in the Hofstadter butterfly: difference equation, resurgence and quantum mirror curves

abstract: We study the Harper-Hofstadter Hamiltonian and its corresponding non-perturbative butterfly spectrum. The problem is algebraically solvable whenever the magnetic flux is a rational multiple of $2\pi$. For such values of the magnetic flux, the theory allows a formulation with two Bloch or $\theta$-angles. We treat the problem by the path integral formulation, and show that the spectrum receives instanton corrections. Instantons as well as their one loop fluctuation determinants are found explicitly and the finding is matched with the numerical band width of the butterfly spectrum. We extend the analysis to all 2-instanton sectors with different $\theta$-angle dependence to leading order and show consistency with numerics. We further argue that the instanton--anti-instanton contributions are ambiguous and cancel the ambiguity of the perturbation series, as they should. We hint at the possibility of exact 2-instanton solutions responsible for such contributions via Picard-Lefschetz theory. We also present a powerful way to compute the perturbative fluctuations around the 1-instanton saddle as well as the instanton--anti-instanton ambiguity by using the topological string formulation.


title: Mutual-Excitation of Cryptocurrency Market Returns and Social Media Topics

abstract: Cryptocurrencies have recently experienced a new wave of price volatility and interest; activity within social media communities relating to cryptocurrencies has increased significantly. There is currently limited documented knowledge of factors which could indicate future price movements. This paper aims to decipher relationships between cryptocurrency price changes and topic discussion on social media to provide, among other things, an understanding of which topics are indicative of future price movements. To achieve this a well-known dynamic topic modelling approach is applied to social media communication to retrieve information about the temporal occurrence of various topics. A Hawkes model is then applied to find interactions between topics and cryptocurrency prices. The results show particular topics tend to precede certain types of price movements, for example the discussion of 'risk and investment vs trading' being indicative of price falls, the discussion of 'substantial price movements' being indicative of volatility, and the discussion of 'fundamental cryptocurrency value' by technical communities being indicative of price rises. The knowledge of topic relationships gained here could be built into a real-time system, providing trading or alerting signals.


title: Quantum Anomalous Hall Phase Stabilized via Realistic Interactions on a Kagome Lattice

abstract: We study the quantum phases of spinless fermion at one-third filling on a Kagome lattice featuring a quadratic band touching Fermi point. In the presence of weak first and second nearest-neighbor repulsive interactions ($V_1$ and $V_2$), we demonstrate an interaction driven quantum anomalous Hall effect by employing exact diagonalization and density-matrix renormalization group methods. The time-reversal symmetry is broken spontaneously by forming loop currents that exhibit long-range correlation. Quantized Hall conductance corresponding to Chern number of $\pm1$ is obtained by measuring the pumped charge through inserting flux in a cylinder geometry. We find that the energy gap, which topologically protects the emerging ground states, can be enhanced remarkably by a moderate $V_2 < V_1$ via calculating the spectrum and charge excitation gaps, which highlights the experimentally feasible scheme of realizing interaction driven topological phase by spatially decaying interactions on topologically trivial lattice models.


title: AlterBBN v2: A public code for calculating Big-Bang nucleosynthesis constraints in alternative cosmologies

abstract: We present the version 2 of AlterBBN, an open public code for the calculation of the abundance of the elements from Big-Bang nucleosynthesis. It does not rely on any closed external library or program, aims at being user-friendly and allowing easy modifications, and provides a fast and reliable calculation of the Big-Bang nucleosynthesis constraints in the standard and alternative cosmologies.


title: Recovering Trees with Convex Clustering

abstract: Convex clustering refers, for given $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^p$, to the minimization of \begin{eqnarray*} u(\gamma) & = & \underset{u_1, \dots, u_n }{\arg\min}\;\sum_{i=1}^{n}{\lVert x_i - u_i \rVert^2} + \gamma \sum_{i,j=1}^{n}{w_{ij} \lVert u_i - u_j\rVert},\\ \end{eqnarray*} where $w_{ij} \geq 0$ is an affinity that quantifies the similarity between $x_i$ and $x_j$. We prove that if the affinities $w_{ij}$ reflect a tree structure in the $\left\{x_1, \dots, x_n\right\}$, then the convex clustering solution path reconstructs the tree exactly. The main technical ingredient implies the following combinatorial byproduct: for every set $\left\{x_1, \dots, x_n \right\} \subset \mathbb{R}^p$ of $n \geq 2$ distinct points, there exist at least $n/6$ points with the property that for any of these points $x$ there is a unit vector $v \in \mathbb{R}^p$ such that, when viewed from $x$, `most' points lie in the direction $v$ \begin{eqnarray*} \frac{1}{n-1}\sum_{i=1 \atop x_i \neq x}^{n}{ \left\langle \frac{x_i - x}{\lVert x_i - x \rVert}, v \right\rangle} & \geq & \frac{1}{4}. \end{eqnarray*}


title: Almost symmetric numerical semigroups with given Frobenius number and type

abstract: We give two algorithmic procedures to compute the whole set of almost symmetric numerical semigroups with fixed Frobenius number and type, and the whole set of almost symmetric numerical semigroups with fixed Frobenius number. Our algorithms allow to compute the whole set of almost symmetric numerical semigroups with fixed Frobenius number with similar or even higher efficiency that the known ones. They have been implemented in the GAP (http://www.gap-system.org) package NumericalSgps (http://www.gap-system.org/Packages/numericalsgps.html).


title: Theory of spin inertia in singly-charged quantum dots

abstract: The spin inertia measurement is a recently emerged tool to study slow spin dynamics, which is based on the excitation of the system by a train of circularly polarized pulses with alternating helicity. Motivated by the experimental results reported in E. A. Zhukov et al., arXiv:1806.11100 we develop the general theory of spin inertia of localized charge carriers. We demonstrate that the spin inertia measurement in longitudinal magnetic field allows one to determine the parameters of the spin dynamics of resident charge carriers and of photoexcited trions, such as the spin relaxation times, longitudinal g-factors, parameters of hyperfine interaction and nuclear spin correlation times.


title: Predicting CEFRL levels in learner English on the basis of metrics and full texts

abstract: This paper analyses the contribution of language metrics and, potentially, of linguistic structures, to classify French learners of English according to levels of the Common European Framework of Reference for Languages (CEFRL). The purpose is to build a model for the prediction of learner levels as a function of language complexity features. We used the EFCAMDAT corpus, a database of one million written assignments by learners. After applying language complexity metrics on the texts, we built a representation matching the language metrics of the texts to their assigned CEFRL levels. Lexical and syntactic metrics were computed with LCA, LSA, and koRpus. Several supervised learning models were built by using Gradient Boosted Trees and Keras Neural Network methods and by contrasting pairs of CEFRL levels. Results show that it is possible to implement pairwise distinctions, especially for levels ranging from A1 to B1 (A1=>A2: 0.916 AUC and A2=>B1: 0.904 AUC). Model explanation reveals significant linguistic features for the predictiveness in the corpus. Word tokens and word types appear to play a significant role in determining levels. This shows that levels are highly dependent on specific semantic profiles.


title: Spin Inertia of Resident and Photoexcited Carriers in Singly-Charged Quantum Dots

abstract: The spin dynamics in a broad range of systems can be studied using circularly polarized optical excitation with alternating helicity. The dependence of spin polarization on the frequency of helicity alternation, known as the spin inertia effect, is used here to study the spin dynamics in singly-charged (In,Ga)As/GaAs quantum dots (QDs) providing insight into spin generation and accumulation processes. We demonstrate that the dependence of spin polarization in $n$- and $p$-type QDs on the external magnetic field has a characteristic V- and M-like shape, respectively. This difference is related to different microscopic mechanisms of resident carriers spin orientation. It allows us to determine the parameters of the spin dynamics both for the ground and excited states of singly-charged QDs.


title: Remarks on motives of moduli spaces of rank 2 vector bundles on curves

abstract: Let $C$ be an algebraic curve of genus $g \geq 2$ and $M_L$ be the moduli space of rank 2 stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree 1 on $C.$ S. del Bano studied motives of moduli spaces of rank 2 vector bundles on $C$ and computed the motive of $M_L.$ In this note, we prove that his result gives an interesting decomposition of the motive of $M_L.$ This motivic decomposition is compatible with a conjecture of M. S. Narasimhan which predicts semi-orthogonal decomposition of derived category of the moduli space.


title: Geometry of warped product and CR-warped product submanifolds in Kaehler manifolds: modified version

abstract: The warped product $N_1\times_f N_2$ of two Riemannian manifolds $(N_1,g_1)$ and $(N_2,g_2)$ is the product manifold $N_1\times N_2$ equipped with the warped product metric $g=g_1+f^2 g_2$, where $f$ is a positive function on $N_1$. Warped products play very important roles in differential geometry as well as in physics. A submanifold $M$ of a Kaehler manifold $\tilde M$ is called a $CR$-warped product if it is a warped product $M_T\times_f N_\perp$ of a complex submanifold $M_T$ and a totally real submanifold $M_\perp$ of $\tilde M$. In this article we survey recent results on warped product and $CR$-warped product submanifolds in Kaehler manifolds. Several closely related results will also be presented.


title: Comment on: Decomposition of structural learning about directed acyclic graphs [1]

abstract: We propose an alternative proof concerning necessary and sufficient conditions to split the problem of searching for d-separators and building the skeleton of a DAG into small problems for every node of a separation tree T. The proof is simpler than the original [1]. The same proof structure has been used in [2] for learning the structure of multivariate regression chain graphs (MVR CGs).


title: On Holographic Structures, Traversing Flows, and Exotic Spheres

abstract: Any traversally generic vector flow on a compact manifold $X$ with boundary leaves some residual structure on its boundary $\d X$. A part of this structure is the flow-generated causality map $C_v$, which takes a region of $\d X$ to the complementary region. By the Holography Theorem from \cite{K4}, the map $C_v$ allows to reconstruct $X$ together with the unparametrized flow. The reconstruction is a manifestation of holographic description of the flow. In the paper, we introduce and study the holographic structures on a given closed manifold $Y$, which mimics $\d X$. We generalize the Holography Theorem so that is stated in terms of fillable holographic structures on $Y$. Such structures are intimately linked with traversally generic vector flows on manifolds $X$ whose boundary is $Y$. We conclude with few observations about the richness of holographic structures on smooth exotic spheres.


title: The water system and radon measurement system of Jiangmen Underground Neutrino Observatory

abstract: The Jiangmen Underground Neutrino Observatory (JUNO), a 20ktons multi-purpose underground liquid scintillator detector, was proposed with the determination of the neutrino mass hierarchy as a primary physics goal. Due to low background requirement of the experiment, a multi-veto system ,which consists of a water Cherenkov detector and a top tracker detector, is required. In order to keep the water quality good and remove the radon in the water, a ultra-pure water system, a radon removal system and radon concentration measurement system have been designed. In this paper, the radon removal equipments and its radon removal limit will be presented.


title: A Posteriori Error Estimate and Adaptive Mesh Refinement Algorithm for Atomistic/Continuum Coupling with Finite Range Interactions in Two Dimensions

abstract: In this paper, we develop the residual based a posteriori error estimates and the corresponding adaptive mesh refinement algorithm for atomistic/continuum (a/c) coupling with finite range interactions in two dimensions. We have systematically derived a new explicitly computable stress tensor formula for finite range interactions. In particular, we use the geometric reconstruction based consistent atomistic/continuum (GRAC) coupling scheme, which is optimal if the continuum model is discretized by $P^1$ finite elements. The numerical results of the adaptive mesh refinement algorithm is consistent with the optimal a priori error estimates.


title: Two (2 + 1)-dimensional integrable nonlocal nonlinear Schrodinger equations: Breather, rational and semi-rational solutions

abstract: Recently, an integrable system of coupled (2+1)-dimensional nonlinear Schrodinger (NLS) equations was introduced by Fokas (eq. (18) in Nonlinearity 29}, 319324 (2016)). Following this pattern, two integrable equations [eqs.2 and 3] with specific parity-time symmetry are introduced here, under different reduction conditions. For eq. 2, two kinds of periodic solutions are obtained analytically by means of the Hirota's bilinear method. In the long-wave limit, the two periodic solutions go over into rogue waves (RWs) and semi-rational solutions, respectively. The RWs have a line shape, while the semi-rational states represent RWs built on top of the background of periodic line waves. Similarly, semi-rational solutions consisting of a line RW and line breather are derived. For eq. 3, three kinds of analytical solutions,\textit{viz}., breathers, lumps and semi-rational solutions, representing lumps, periodic line waves and breathers are obtained, using the Hirota method. Their dynamics are analyzed and demonstrated by means of three-dimensional plots. It is also worthy to note that eq. 2 can reduce to a (1+1)-dimensional \textquotedblleft reverse-space" nonlocal NLS equation by means of a certain transformation, Lastly, main differences between solutions of eqs.2 and 3 are summarized.