title: Adaptive Algorithm for Finding Connected Dominating Sets in Uncertain Graphs

abstract: The problem of finding a minimum-weight connected dominating set (CDS) of a given undirected graph has been studied actively, motivated by operations of wireless ad hoc networks. In this paper, we formulate a new stochastic variant of the problem. In this problem, each node in the graph has a hidden random state, which represents whether the node is active or inactive, and we seek a CDS of the graph that consists of the active nodes. We consider an adaptive algorithm for this problem, which repeat choosing nodes and observing the states of the nodes around the chosen nodes until a CDS is found. Our algorithms have a theoretical performance guarantee that the sum of the weights of the nodes chosen by the algorithm is at most $O(\alpha \log (1/\delta))$ times that of any adaptive algorithm in expectation, where $\alpha$ is an approximation factor for the node-weighted polymatroid Steiner tree problem and $\delta$ is the minimum probability of possible scenarios on the node states.


title: Efficient Greenhouse Temperature Control with Data-Driven Robust Model Predictive Control

abstract: Appropriate greenhouse temperature should be maintained to ensure crop production while minimizing energy consumption. Even though weather forecasts could provide a certain amount of information to improve control performance, it is not perfect and forecast error may cause the temperature to deviate from the acceptable range. To inherent uncertainty in weather that affects control accuracy, this paper develops a data-driven robust model predictive control (MPC) approach for greenhouse temperature control. The dynamic model is obtained from thermal resistance-capacitance modeling derived by the Building Resistance-Capacitance Modeling (BRCM) toolbox. Uncertainty sets of ambient temperature and solar radiation are captured by support vector clustering technique, and they are further tuned for better quality by training-calibration procedure. A case study that implements the carefully chosen uncertainty sets on robust model predictive control shows that the data-driven robust MPC has better control performance compared to rule-based control, certainty equivalent MPC, and robust MPC.


title: Divide-and-Conquer Large Scale Capacitated Arc Routing Problems with Route Cutting Off Decomposition

abstract: The capacitated arc routing problem is a very important problem with many practical applications. This paper focuses on the large scale capacitated arc routing problem. Traditional solution optimization approaches usually fail because of their poor scalability. The divide-and-conquer strategy has achieved great success in solving large scale optimization problems by decomposing the original large problem into smaller sub-problems and solving them separately. For arc routing, a commonly used divide-and-conquer strategy is to divide the tasks into subsets, and then solve the sub-problems induced by the task subsets separately. However, the success of a divide-and-conquer strategy relies on a proper task division, which is non-trivial due to the complex interactions between the tasks. This paper proposes a novel problem decomposition operator, named the route cutting off operator, which considers the interactions between the tasks in a sophisticated way. To examine the effectiveness of the route cutting off operator, we integrate it with two state-of-the-art divide-and-conquer algorithms, and compared with the original counterparts on a wide range of benchmark instances. The results show that the route cutting off operator can improve the effectiveness of the decomposition, and lead to significantly better results especially when the problem size is very large and the time budget is very tight.


title: Room-Temperature Terahertz Anomalous Hall Effect in Weyl Antiferromagnet Mn$_3$Sn Thin Films

abstract: Antiferromagnetic spin motion at terahertz (THz) frequencies attracts growing interests for fast spintronics, however their smaller responses to external field inhibit device application. Recently the noncollinear antiferromagnet Mn$_3$Sn, a Weyl semimetal candidate, was reported to show large anomalous Hall effect (AHE) at room temperature comparable to ferromagnets. Dynamical aspect of such large responses is an important issue to be clarified for future THz data processing. Here the THz anomalous Hall conductivity in Mn$_3$Sn thin films is investigated by polarization-resolved spectroscopy. Large anomalous Hall conductivity Re $\sigma_{xy} (\omega) \sim$ 20 $\rm{\Omega^{-1} cm^{-1}}$ at THz frequencies is clearly observed as polarization rotation. In contrast, Im $\sigma_{xy} (\omega)$ is small up to a few THz, showing that the AHE remains dissipationless over a large frequency range. A peculiar temperature dependence corresponding to the breaking/recovery of symmetry in the spin texture is also discussed. Observation of the THz AHE at room temperature demonstrates the ultrafast readout for the antiferromagnetic spintronics using Mn$_3$Sn and will also open new avenue for studying nonequilibrium dynamics in Weyl antiferromagnets.


title: Kondo effect driven by chirality imbalance

abstract: We propose a novel mechanism of the Kondo effect driven by a chirality imbalance (or chiral chemical potential) of relativistic light fermions. This effect is realized by the mixing between a right- or left-handed fermion and a heavy impurity in the chirality imbalanced matter even at zero density. This is different from the usual Kondo effect induced by finite density. We derive the Kondo effect from both a perturbative calculation and a mean-field approach. We also discuss the temperature dependence of the Kondo effect. The Kondo effect at nonzero chiral chemical potential can be tested by future lattice simulations.


title: New application of the Killing vector field formalism: Modified periodic potential and two-level profiles of the axionic dark matter distribution

abstract: We consider the structure of halos of the axionic dark matter, which surround massive relativistic objects with static spherically symmetric gravitational field and monopole-type magneto-electric fields. We work with the model of pseudoscalar field with the extended periodic potential, which depends on additional arguments proportional to the moduli of the Killing vectors; in our approach they play the roles of model guiding functions. The covariant model of the axion field with this modified potential is equipped with the extended formalism of the Killing vector fields, which is established in analogy with the formalism of the Einstein-aether theory, based on the introduction of a unit timelike dynamic vector field. We study the equilibrium state of the axion field, for which the extended potential and its derivative vanish, and illustrate the established formalism by the analysis of two-level axionic dark matter profiles, for which the stage delimiters relate to the critical values of the modulus of the timelike Killing vector field.


title: Individual specialization in multi-task environments with multiagent reinforcement learners

abstract: There is a growing interest in Multi-Agent Reinforcement Learning (MARL) as the first steps towards building general intelligent agents that learn to make low and high-level decisions in non-stationary complex environments in the presence of other agents. Previous results point us towards increased conditions for coordination, efficiency/fairness, and common-pool resource sharing. We further study coordination in multi-task environments where several rewarding tasks can be performed and thus agents don't necessarily need to perform well in all tasks, but under certain conditions may specialize. An observation derived from the study is that epsilon greedy exploration of value-based reinforcement learning methods is not adequate for multi-agent independent learners because the epsilon parameter that controls the probability of selecting a random action synchronizes the agents artificially and forces them to have deterministic policies at the same time. By using policy-based methods with independent entropy regularised exploration updates, we achieved a better and smoother convergence. Another result that needs to be further investigated is that with an increased number of agents specialization tends to be more probable.


title: Predictive Scheduling for Virtual Reality

abstract: A significant challenge for future virtual reality (VR) applications is to deliver high quality-of-experience, both in terms of video quality and responsiveness, over wireless networks with limited bandwidth. This paper proposes to address this challenge by leveraging the predictability of user movements in the virtual world. We consider a wireless system where an access point (AP) serves multiple VR users. We show that the VR application process consists of two distinctive phases, whereby during the first (proactive scheduling) phase the controller has uncertain predictions of the demand that will arrive at the second (deadline scheduling) phase. We then develop a predictive scheduling policy for the AP that jointly optimizes the scheduling decisions in both phases. In addition to our theoretical study, we demonstrate the usefulness of our policy by building a prototype system. We show that our policy can be implemented under Furion, a Unity-based VR gaming software, with minor modifications. Experimental results clearly show visible difference between our policy and the default one. We also conduct extensive simulation studies, which show that our policy not only outperforms others, but also maintains excellent performance even when the prediction of future user movements is not accurate.


title: Cyber Situation Awareness with Active Learning for Intrusion Detection

abstract: Intrusion detection has focused primarily on detecting cyberattacks at the event-level. Since there is such a large volume of network data and attacks are minimal, machine learning approaches have focused on improving accuracy and reducing false positives, but this has frequently resulted in overfitting. In addition, the volume of intrusion detection alerts is large and creates fatigue in the human analyst who must review them. This research addresses the problems associated with event-level intrusion detection and the large volumes of intrusion alerts by applying active learning and cyber situation awareness. This paper includes the results of two experiments using the UNSW-NB15 dataset. The first experiment evaluated sampling approaches for querying the oracle, as part of active learning. It then trained a Random Forest classifier using the samples and evaluated its results. The second experiment applied cyber situation awareness by aggregating the detection results of the first experiment and calculating the probability that a computer system was part of a cyberattack. This research showed that moving the perspective of event-level alerts to the probability that a computer system was part of an attack improved the accuracy of detection and reduced the volume of alerts that a human analyst would need to review.


title: FLAT: Few-Shot Learning via Autoencoding Transformation Regularizers

abstract: One of the most significant challenges facing a few-shot learning task is the generalizability of the (meta-)model from the base to the novel categories. Most of existing few-shot learning models attempt to address this challenge by either learning the meta-knowledge from multiple simulated tasks on the base categories, or resorting to data augmentation by applying various transformations to training examples. However, the supervised nature of model training in these approaches limits their ability of exploring variations across different categories, thus restricting their cross-category generalizability in modeling novel concepts. To this end, we present a novel regularization mechanism by learning the change of feature representations induced by a distribution of transformations without using the labels of data examples. We expect this regularizer could expand the semantic space of base categories to cover that of novel categories through the transformation of feature representations. It could minimize the risk of overfitting into base categories by inspecting the transformation-augmented variations at the encoded feature level. This results in the proposed FLAT (Few-shot Learning via Autoencoding Transformations) approach by autoencoding the applied transformations. The experiment results show the superior performances to the current state-of-the-art methods in literature.


title: Pipelined Training with Stale Weights of Deep Convolutional Neural Networks

abstract: The growth in the complexity of Convolutional Neural Networks (CNNs) is increasing interest in partitioning a network across multiple accelerators during training and pipelining the backpropagation computations over the accelerators. Existing approaches avoid or limit the use of stale weights through techniques such as micro-batching or weight stashing. These techniques either underutilize of accelerators or increase memory footprint. We explore the impact of stale weights on the statistical efficiency and performance in a pipelined backpropagation scheme that maximizes accelerator utilization and keeps memory overhead modest. We use 4 CNNs (LeNet-5, AlexNet, VGG and ResNet) and show that when pipelining is limited to early layers in a network, training with stale weights converges and results in models with comparable inference accuracies to those resulting from non-pipelined training on MNIST and CIFAR-10 datasets; a drop in accuracy of 0.4%, 4%, 0.83% and 1.45% for the 4 networks, respectively. However, when pipelining is deeper in the network, inference accuracies drop significantly. We propose combining pipelined and non-pipelined training in a hybrid scheme to address this drop. We demonstrate the implementation and performance of our pipelined backpropagation in PyTorch on 2 GPUs using ResNet, achieving speedups of up to 1.8X over a 1-GPU baseline, with a small drop in inference accuracy.


title: Grey Models for Short-Term Queue Length Predictions for Adaptive Traffic Signal Control

abstract: Traffic congestion at a signalized intersection greatly reduces the travel time reliability in urban areas. Adaptive signal control system (ASCS) is the most advanced traffic signal technology that regulates the signal phasing and timings considering the patterns in real-time in order to reduce congestion. Real-time prediction of queue lengths can be used to adjust the phasing and timings for different movements at an intersection with ASCS. The accuracy of the prediction varies based on the factors, such as the stochastic nature of the vehicle arrival rates, time of the day, weather and driver characteristics. In addition, accurate prediction for multilane, undersaturated and saturated traffic scenarios is challenging. Thus, the objective of this study is to develop queue length prediction models for signalized intersections that can be leveraged by ASCS using four variations of Grey systems: (i) the first order single variable Grey model (GM(1,1)); (ii) GM(1,1) with Fourier error corrections; (iii) the Grey Verhulst model (GVM), and (iv) GVM with Fourier error corrections. The efficacy of the GM is that they facilitate fast processing; as these models do not require a large amount of data; as would be needed in artificial intelligence models; and they are able to adapt to stochastic changes, unlike statistical models. We have conducted a case study using queue length data from five intersections with ASCS on a calibrated roadway network in Lexington, South Carolina. GM were compared with linear, nonlinear time series models, and long short-term memory (LSTM) neural network. Based on our analyses, we found that EGVM reduces the prediction error over closest competing models (i.e., LSTM and time series models) in predicting average and maximum queue lengths by 40% and 42%, respectively, in terms of Root Mean Squared Error, and 51% and 50%, respectively, in terms of Mean Absolute Error.


title: Instabilities in monoaxial chiral magnets under a tilted magnetic field

abstract: We thoroughly study the zero temperature properties of monoaxial chiral spin systems under a tilted magnetic field. The magnetic phase diagram includes two kinds of continuous phase transitions and one discontinuous phase transition. We clarify the properties of the phase transition in terms of the helical wave picture and the particle (soliton) picture and also in terms of the interaction between solitons. The interacting-soliton picture properly describes most of the discontinuous phase transition. In addition, we investigate several instabilities of the modulated structures such as an isolated soliton and the surface modulation, since their instabilities should be important to the changes of the magnetic properties. For this purpose, we perform the analyses based on the energy landscape as well as the excitation spectrum; the former approach gives an intuitive interpretation. We clarify the mechanisms of the instabilities through these analyses and draw the stability lines of solitons in the magnetic phase diagram.


title: Gate-Tunable Graphene Hall Sensors with High Magnetic Field Sensitivity

abstract: Solid-state magnetic field sensors are important to both modern electronics and fundamental materials science. Many types of these sensors maintain high sensitivity only in a limited range of temperature and background magnetic field, but Hall-effect sensors are in principle able to operate over a broad range of these conditions. Here, we fabricate and characterize micrometer-scale graphene Hall sensors demonstrating high magnetic field sensitivity from liquid-helium to room temperature and in background magnetic field up to several Tesla. By tuning the charge carrier density with an electrostatic gate, we optimize the magnetic field sensitivity for different working conditions. From measurements of the Hall coefficient and the Hall voltage noise at 1 kHz, we estimate an optimum magnetic field sensitivity of 80 nT Hz$^{-1/2}$ at 4.2 K, 700 nT Hz$^{-1/2}$ at room temperature, and 3 $\mu$T Hz$^{-1/2}$ in 3 T background magnetic field at 4.2 K. Our devices perform competitively with the best existing Hall sensor technologies at room temperature, outperform any Hall sensors reported in the literature at 4.2 K, and demonstrate high sensitivity for the first time in a few Tesla applied magnetic field.


title: The tale of the tail -- disentangling the high transverse velocity stars in Gaia DR2

abstract: Although the stellar halo accounts for just ~1% of the total stellar mass of the Milky Way, the kinematics of halo stars encode valuable information about the origins and evolution of our Galaxy. It has been shown that the high transverse velocity stars in Gaia DR2 reveal a double sequence in the Hertzsprung-Russell (HR) diagram, indicating a bifurcation in the local stellar halo within 1 kpc. We fit these stars by updating the popular Besan\c{c}on/Galaxia model, incorporating the latest observational results for the stellar halo and an improved kinematic description for the thick-disk from Sch\"onrich & Binney (2012). We are able to obtain a good match to the Gaia data and provide new constraints on the properties of the Galactic disc and stellar halo. In particular, we show that the kinematically defined thick disc contribution to this high velocity tail is ~13%. We look in greater detail using chemistry from LAMOST DR5, identifying a population of retrograde stars with thick-disc chemistry. Our thick disc kinematic model cannot account for this population and so we conclude there is likely to be a contribution from heated or accreted stars in the Solar Neighbourhood. We also investigate proposed dynamical substructures in this sample, concluding that they are probably due to resonant orbits rather than accreted populations. Finally we provide new insights on the nature of the two sequences and their relation with past accretion events and the primordial Galactic disc.


title: Morel Homotopy Modules and Milnor-Witt Cycle Modules

abstract: We study the cohomology theory and the canonical Milnor-Witt cycle module associated to a motivic spectrum. We prove that the heart of Morel-Voevodsky stable homotopy category over a perfect field (equipped with its homotopy t-structure) is equivalent to the category of Milnor-Witt cycle modules, thus generalising D\'eglise's thesis. As a corollary, we recover a theorem of Ananyevskiy and Neshitov and we prove that the Milnor-Witt K-theory groups are birational invariants.


title: EdgeToll: A Blockchain-based Toll Collection System for Public Sharing of Heterogeneous Edges

abstract: Edge computing is a novel paradigm designed toimprove the quality of service for latency sensitive cloud applications. However, the state-of-the-art edge services are designedfor specific applications, which are isolated from each other.To better improve the utilization level of edge nodes, publicresource sharing among edges from distinct service providersshould be encouraged economically. In this work, we employ thepayment channel techniques to design and implement EdgeToll,a blockchain-based toll collection system for heterogeneous public edge sharing. Test-bed has been developed to validate theproposal and preliminary experiments have been conducted todemonstrate the time and cost efficiency of the system.


title: When to wake up? The optimal waking-up strategies for starvation-induced persistence

abstract: Prolonged lag time can be induced by starvation contributing to the antibiotic tolerance of bacteria. We analyze the optimal lag time to survive and grow the iterative and stochastic application of antibiotics. A simple model shows that the optimal lag time exhibits a discontinuous transition when the severeness of the antibiotic is increased. This suggests the possibility of reducing tolerant bacteria by controlled usage of antibiotics application. When the bacterial populations are able to have two phenotypes with different lag times, the fraction of the second phenotype that has different lag time shows a continuous transition. We then present a generic framework to investigate the optimal lag time distribution for total population fitness for a given distribution of the antibiotic application duration. The obtained optimal distributions have multiple peaks for a wide range of the antibiotic application duration distributions, including the case where the latter is monotonically decreasing. The analysis supports the advantage in evolving multiple, possibly discrete phenotypes in lag time for bacterial long-term fitness.


title: A few numbers from the turnaround epoch of collapse

abstract: The turnaround epoch of gravitational collapse is examined by means of relativistic Lagrangian perturbation theory. Averaged, scalar equations applied to the fluid's evolution reveal some scale-independent universality of parameters for a wide variety of initial conditions. In particular, the density contrast of the collapsing domain at the turnaround is shown to be significantly smaller than the value provided by Eulerian perturbative (homogeneous and spherical) model. Combined curvature and kinematical backreaction are shown to be of the order of the energy density. Possible improvements of our treatment are put into perspective.


title: Loosely Bernoulli Odometer-Based Systems Whose Corresponding Circular Systems Are Not Loosely Bernoulli

abstract: M. Foreman and B. Weiss obtained an anti-classification result for smooth ergodic diffeomorphisms, up to measure isomorphism, by using a functor $\mathcal{F}$ mapping odometer-based systems, $\mathcal{OB}$, to circular systems, $\mathcal{CB}$. This functor transfers the classification problem from $\mathcal{OB}$ to $\mathcal{CB}$, and it preserves weakly mixing extensions, compact extensions, factor maps, the rank-one property, and certain types of isomorphisms. Thus it is natural to ask whether $\mathcal{F}$ preserves other dynamical properties. We show that $\mathcal{F}$ does not preserve the loosely Bernoulli property by providing positive and zero entropy examples of loosely Bernoulli odometer-based systems whose corresponding circular systems are not loosely Bernoulli. We also construct a loosely Bernoulli circular system whose corresponding odometer-based system has zero entropy and is not loosely Bernoulli.


title: When different norms lead to same billiard trajectories?

abstract: In this paper, extending the works of Milena Radnovi\'c and Serge Tabachnikov, we establish conditions for two different non-symmetric norms to define the same billiard reflection law.


title: Diagonalizing the Ricci Tensor

abstract: We show that a basis of a semisimple Lie algebra of compact type, for which any diagonal left-invariant metric has a diagonal Ricci tensor, is characterized by the Lie algebraic condition of being "nice". Namely, the bracket of any two basis elements is a multiple of another basis element. This extends the work of Lauret and Will on nilpotent Lie algebras. The result follows from a more general characterization for diagonalizing the Ricci tensor for homogeneous spaces. Finally, we also study the Ricci flow behavior of diagonal metrics on cohomogeneity one manifolds.


title: Je{\'s}manowicz' conjecture for polynomials

abstract: Let $(a,b,c)$ be pairwise relatively prime integers such that $a^2 + b^2 = c^2$. In 1956, Je{\'s}manowicz conjectured that the only solution of $a^x + b^y = c^z$ in positive integers is $(x,y,z)=(2,2,2)$. In this note we prove a polynomial analogue of this conjecture.


title: Very Long Natural Scenery Image Prediction by Outpainting

abstract: Comparing to image inpainting, image outpainting receives less attention due to two challenges in it. The first challenge is how to keep the spatial and content consistency between generated images and original input. The second challenge is how to maintain high quality in generated results, especially for multi-step generations in which generated regions are spatially far away from the initial input. To solve the two problems, we devise some innovative modules, named Skip Horizontal Connection and Recurrent Content Transfer, and integrate them into our designed encoder-decoder structure. By this design, our network can generate highly realistic outpainting prediction effectively and efficiently. Other than that, our method can generate new images with very long sizes while keeping the same style and semantic content as the given input. To test the effectiveness of the proposed architecture, we collect a new scenery dataset with diverse, complicated natural scenes. The experimental results on this dataset have demonstrated the efficacy of our proposed network. The code and dataset are available from https://github.com/z-x-yang/NS-Outpainting.


title: Giant momentum-dependent spin splitting in centrosymmetric low Z antiferromagnets

abstract: The energy vs. crystal momentum E(k) diagram for a solid (band structure) constitutes the road map for navigating its optical, magnetic, and transport properties. By selecting crystals with specific atom types, composition and symmetries, one could design a target band structure and thus desired properties. A particularly attractive outcome would be to design energy bands that are split into spin components with a momentum-dependent splitting, as envisioned by Pekar and Rashba [Zh. Eksperim. i Teor. Fiz. 47 (1964)], enabling spintronic application. The current paper provides "design principles" for wavevector dependent spin splitting (SS) of energy bands that parallels the traditional Dresselhaus and Rashba spin-orbit coupling (SOC) - induce splitting, but originates from a fundamentally different source -- antiferromagnetism. We identify a few generic AFM prototypes with distinct SS patterns using magnetic symmetry design principles. These tools allow also the identification of specific AFM compounds with SS belonging to different prototypes. A specific compound -- centrosymmetric tetragonal MnF2 -- is used via density functional band structure calculations to quantitatively illustrate one type of AFM SS. Unlike the traditional SOC-induced effects restricted to non-centrosymmetric crystals, we show that antiferromagnetic-induced spin splitting broadens the playing field to include even centrosymmetric compounds, and gives SS comparable in magnitude to the best known ('giant') SOC effects, even without SOC, and consequently does not rely on the often-unstable high atomic number elements required for high SOC. We envision that use of the current design principles to identify an optimal antiferromagnet with spin-split energy bands would be beneficial for efficient spin-charge conversion and spin orbit torque applications without the burden of requiring compounds containing heavy elements.


title: The Splash without a merger

abstract: The Milky Way's progenitor experienced several merger events which left their imprints on the stellar halo, including the Gaia-Sausage/Enceladus. Recently, it has been proposed that this event perturbed the proto-disk and gave rise to a metal rich ([Fe/H] $>-1$) low angular momentum ($v_{\phi} < 100$ km/s) stellar population. These stars have dynamical and chemical properties different from the accreted stellar halo, but are continuous with the canonical thick disk. In this letter, we use a hydrodynamical simulation of an isolated galaxy which develops clumps that produce a bimodal thin$+$thick disk chemistry to explore whether it forms such a population. We demonstrate clump scattering forms a metal-rich, low angular momentum population, without the need for a major merger. We show that, in the simulation, these stars have chemistry, kinematics and density distribution in good agreement with those in the Milky Way.


title: Supramolecular physics of ambient water

abstract: In temperature range from 0 C to 100 C, abnormality of ambient water properties, at normal pressure, are mainly defined by the physic of hydrogen bonds in supramolecular structures (SMS). Application of Arrhenius approximations and modification of temperature dependences (TDs) for 15 physical characteristics of water made it possible to define their activation energies and to differentiate the contributions of equilibrium thermal processes and those of SMS reconfigurations. Reactions of hydrogen bonds breakage and those of hexagonal ice-like clusters transformation limit TDs of viscosity and rotation-translational self-diffusion. Limitation of degrees of freedom of these motions by the effect of anisotropic external factors leads to the reduction of activation energy for TDs of compressibility, sound velocity and thermal conductivity nearly sixfold. Equality of absolute values of activation energies, having opposite signs, for the thermal and configurational components of TDs, in its point of extremum, is the condition of TDs extrema for volumetric density, heat capacity at constant pressure, compressibility and sound velocity. In this case, space time correlation of water dynamics takes place on the supramolecular level, followed by constant-energy transition between metastable SMS phases.


title: Enumeration of symmetric Gelfand--Tsetlin patterns by linear algebra

abstract: We shall present a ``linear algebraic'' proof (involving some calculations in the algebra of linear operators on a vector space of polynomials and some manipulations of determinants) of the formula for the enumeration of symmetric Gelfand--Tsetlin patterns with fixed bottom row, which was proved by Tri Lai in the context of enumerating symmetric lozenge tilings of a ``halved'' hexagon with ``dents''.


title: A Gentle Introduction to Deep Learning for Graphs

abstract: The adaptive processing of graph data is a long-standing research topic which has been lately consolidated as a theme of major interest in the deep learning community. The snap increase in the amount and breadth of related research has come at the price of little systematization of knowledge and attention to earlier literature. This work is designed as a tutorial introduction to the field of deep learning for graphs. It favours a consistent and progressive introduction of the main concepts and architectural aspects over an exposition of the most recent literature, for which the reader is referred to available surveys. The paper takes a top-down view to the problem, introducing a generalized formulation of graph representation learning based on a local and iterative approach to structured information processing. It introduces the basic building blocks that can be combined to design novel and effective neural models for graphs. The methodological exposition is complemented by a discussion of interesting research challenges and applications in the field.


title: Bayesian inference for nonlinear inverse problems

abstract: Bayesian methods are actively used for parameter identification and uncertainty quantification when solving nonlinear inverse problems with random noise. However, there are only few theoretical results justifying the Bayesian approach. Recent papers, see e.g. \cite{Nickl2017,lu2017bernsteinvon} and references therein, illustrate the main difficulties and challenges in studying the properties of the posterior distribution in the nonparametric setup. This paper offers a new approach for study the frequentist properties of the nonparametric Bayes procedures. The idea of the approach is to relax the nonlinear structural equation by introducing an auxiliary functional parameter and replacing the structural equation with a penalty and by imposing a prior on the auxiliary parameter. For the such extended model, we state sharp bounds on posterior concentration and on the accuracy of the penalized MLE and on Gaussian approximation of the posterior, and a number of further results. All the bounds are given in terms of effective dimension, and we show that the proposed calming device does not significantly affect this value.


title: Surgery for partially hyperbolic dynamical systems II. Blow-up of a complex curve

abstract: In this paper we use the blow-up surgery introduced in [G] to produce new higher dimensional partially hyperbolic flows. The main contribution of the paper is the slow-down construction which accompanies the blow-up construction. This new ingredient allows to dispose of a rather strong domination assumption which was crucial for results in [G]. Consequently we gain more flexibility which allows to construct new volume-preserving partially hyperbolic flows as well as new examples which are not fiberwise Anosov. The latter are produced by starting with the geodesic flow on complex hyperbolic manifold which admits a totally geodesic complex curve. Then by performing the slow-down first and the blow-up second we obtain a new (volume-preserving) partially hyperbolic flows.


title: Some notes about distribution frame multipliers

abstract: Inspired by a recent work about distribution frames, the definition of multiplier operator is extended in the rigged Hilbert spaces setting and a study of its main properties is carried on. In particular, conditions for the density of domain and boundedness are given. The case of Riesz distribution bases is examined in order to develop a symbolic calculus.


title: Erratum to "$B_2$-crystals: Axioms, structure, models" [J. Combin. Theory, Ser. A, 116 (2009), 265--289]

abstract: In this erratum we explain how to implement some axioms stated in our paper of 2009 so as to obtain a purely "local" characterization for finite $B_2$-crystals, which was declared but not clarified at some moments there. Also we correct some inaccuracies in that paper.


title: Soft degrees of freedom, Gibbons-Hawking contribution and entropy from Casimir effect

abstract: Recent work on non proper-gauge degrees of freedom in the context of the Casimir effect is reviewed. In his original paper, Casimir starts by pointing out that, when the electromagnetic field is confined between two perfectly conducting parallel plates, there is an additional physical polarization of the electromagnetic field at zero value for the discretized longitudinal momentum besides the standard two transverse polarizations at non-zero values. In this review, the dynamics of these additional modes is obtained from first principles. At finite temperature, their contribution to the entropy is proportional to the area of the plates and corresponds to the contribution of a massless scalar field in 2+1 dimensions. When the plates are charged, there is a further contribution to the partition function from the zero mode of this additional scalar that scales with the area but does not contribute to the entropy. It reproduces the result obtained when the Gibbons-Hawking method is applied to the vacuum capacitor. For completeness, a brief discussion of the classical thermodynamics of such a capacitor is included.


title: Anticipated Performance of the Square Kilometre Array -- Phase 1 (SKA1)

abstract: The Square Kilometre Array (SKA), currently under design, will be a transformational facility for studying the Universe at centimetre and metre wavelengths in the next decade and beyond. This paper provides the current best estimate of the anticipated performance of SKA Phase 1 (SKA1), using detailed design work, before actual on-sky measurements have been made. It will be updated as new information becomes available. The information contained in this paper takes precedent over any previous documents.


title: On the Performance and Energy Efficiency of the PGAS Programming Model on Multicore Architectures

abstract: Using large-scale multicore systems to get the maximum performance and energy efficiency with manageable programmability is a major challenge. The partitioned global address space (PGAS) programming model enhances programmability by providing a global address space over large-scale computing systems. However, so far the performance and energy efficiency of the PGAS model on multicore-based parallel architectures have not been investigated thoroughly. In this paper we use a set of selected kernels from the well-known NAS Parallel Benchmarks to evaluate the performance and energy efficiency of the UPC programming language, which is a widely used implementation of the PGAS model. In addition, the MPI and OpenMP versions of the same parallel kernels are used for comparison with their UPC counterparts. The investigated hardware platforms are based on multicore CPUs, both within a single 16-core node and across multiple nodes involving up to 1024 physical cores. On the multi-node platform we used the hardware measurement solution called High definition Energy Efficiency Monitoring tool in order to measure energy. On the single-node system we used the hybrid measurement solution to make an effort into understanding the observed performance differences, we use the Intel Performance Counter Monitor to quantify in detail the communication time, cache hit/miss ratio and memory usage. Our experiments show that UPC is competitive with OpenMP and MPI on single and multiple nodes, with respect to both the performance and energy efficiency.


title: Performance optimization and modeling of fine-grained irregular communication in UPC

abstract: The UPC programming language offers parallelism via logically partitioned shared memory, which typically spans physically disjoint memory sub-systems. One convenient feature of UPC is its ability to automatically execute between-thread data movement, such that the entire content of a shared data array appears to be freely accessible by all the threads. The programmer friendliness, however, can come at the cost of substantial performance penalties. This is especially true when indirectly indexing the elements of a shared array, for which the induced between-thread data communication can be irregular and have a fine-grained pattern. In this paper we study performance enhancement strategies specifically targeting such fine-grained irregular communication in UPC. Starting from explicit thread privatization, continuing with block-wise communication, and arriving at message condensing and consolidation, we obtained considerable performance improvement of UPC programs that originally require fine-grained irregular communication. Besides the performance enhancement strategies, the main contribution of the present paper is to propose performance models for the different scenarios, in form of quantifiable formulas that hinge on the actual volumes of various data movements plus a small number of easily obtainable hardware characteristic parameters. These performance models help to verify the enhancements obtained, while also providing insightful predictions of similar parallel implementations, not limited to UPC, that also involve between-thread or between-process irregular communication. As a further validation, we also apply our performance modeling methodology and hardware characteristic parameters to an existing UPC code for solving a 2D heat equation on a uniform mesh.


title: Q-systems with boundary parameters

abstract: Q-systems provide an efficient way of solving Bethe equations. We formulate here Q-systems for both the isotropic and anisotropic open Heisenberg quantum spin-1/2 chains with diagonal boundary magnetic fields. We check these Q-systems using novel Wronskian-type formulas (relating the fundamental Q-function and its dual) that involve the boundary parameters.


title: Adiabatic elimination for ensembles of emitters in cavities with dissipative couplings

abstract: We consider an ensemble of cavity-coupled two-level emitters interacting via full (coherent and dissipative) dipole-dipole interactions. Using an adiabatic elimination procedure we derive effective equations of motion for a subsystem consisting of the cavity and a single emitter. Those equations can be used for schemes to enhance the cavity-coupling of single emitters as shown in [S. Sch\"{u}tz, J. Schachenmayer, D. Hagenm\"{u}ller, G. K. Brennen, T. Volz, V. Sandoghdar, T. W. Ebbesen, C. Genes, and G. Pupillo, e-print arXiv:1904.08888]. We analyze limitations of effective subsystem parameters, and study how joint dissipative decay processes in the subsystem affect cavity-coupling properties of the single emitter and cavity transmission spectra.


title: Unconditional local well-posedness for periodic NLS

abstract: The nonlinear Schr\"odinger equations with nonlinearities $|u|^{2k}u$ on the $d$-dimensional torus are considered for arbitrary positive integers $k$ and $d$. The solution of the Cauchy problem is shown to be unique in the class $C_tH^s_x$ for a certain range of scale-subcritical regularities $s$, which is almost optimal in the case $d\geq 4$ or $k\geq 2$. The proof is based on various multilinear estimates and the infinite normal form reduction argument.


title: Massey products, toric topology and combinatorics of polytopes

abstract: In this paper we introduce a direct family of simple polytopes $P^{0}\subset P^{1}\subset\ldots$ such that for any $k$, $2\leq k\leq n$ there are non-trivial strictly defined Massey products of order $k$ in the cohomology rings of their moment-angle manifolds $\mathcal Z_{P^n}$. We prove that the direct sequence of manifolds $\ast\subset S^{3}\hookrightarrow\ldots\hookrightarrow\mathcal Z_{P^n}\hookrightarrow\mathcal Z_{P^{n+1}}\hookrightarrow\ldots$ has the following properties: every manifold $\mathcal Z_{P^n}$ is a retract of $\mathcal Z_{P^{n+1}}$, and one has inverse sequences in cohomology (over $n$ and $k$, where $k\to\infty$ as $n\to\infty$) of the Massey products constructed. As an application we get that there are non-trivial differentials $d_k$, for arbitrarily large $k$ as $n\to\infty$ in the Eilenberg--Moore spectral sequence connecting the rings $H^*(\Omega X)$ and $H^*(X)$ with coefficients in a field, where $X=\mathcal Z_{P^n}$.


title: Free sequences and the tightness of pseudoradial spaces

abstract: Let $F(X)$ be the supremum of cardinalities of free sequences in $X$. We prove that the radial character of every Lindel\"of Hausdorff almost radial space $X$ and the set-tightness of every Lindel\"of Hausdorff space are always bounded above by $F(X)$. Solving a question of Bella, we exhibit a Hausdorff radial space $X$ whose radial character is strictly larger than $F(X)$. We then improve a result of Dow, Juh\'asz, Soukup, Szentmikl\'ossy and Weiss by proving that if $X$ is a Lindel\"of Hausdorff space, and $X_\delta$ denotes the $G_\delta$ topology on $X$ then $t(X_\delta) \leq 2^{t(X)}$. Finally, we exploit this to prove that if $X$ is a Lindel\"of Hausdorff pseudoradial space then $F(X_\delta) \leq 2^{F(X)}$, which partially answer a question of Bella and ourselves.


title: Optics-free focusing down to micrometer spot size and spectral filtering of XUV harmonics

abstract: Controlling the wavefront of an extreme ultraviolet (XUV) high-order harmonic beam during the generation process offers to focus the beam without resorting to any XUV optics. By characterizing the XUV intensity profile and wavefront, we quantitatively retrieve both the size and the position of the waist of each generated harmonics and show that optics-free focusing leads to focused XUV spot with micrometer size. We use this remarkable coherent effect to demonstrate efficient and adjustable spectral filtering of the XUV light, along with a strong rejection of the fundamental beam, without using any XUV optics.


title: Potential splitting approach for molecular systems

abstract: In order to describe few-body scattering in the case of the Coulomb interaction, an approach based on splitting the reaction potential into a finite range part and a long range tail part is presented. The solution to the Schr\"odinger equation for the long range tail is used as an incoming wave in an inhomogeneous Schr\"odinger equation with the finite range potential. The resulting equation with asymptotic outgoing waves is then solved with the exterior complex scaling. The potential splitting approach is illustrated with calculations of scattering processes in the H${}^+$ -- H${}^+_2$ system considered as the three-body system with one-state electronic potential surface.


title: Comparison of countability conditions within three fundamental classifications of convergences

abstract: The interrelations between various classes of convergence spaces defined by countability conditions are studied. Remarkably, they all find characterizations in the usual space of ultrafilters in terms of classical topological properties. This is exploited to produce relevant examples in the realm of convergence spaces from known topological examples.


title: Strain-Driven Disproportionation at a Correlated Oxide Metal-Insulator Transition

abstract: Metal-to-insulator phase transitions in complex oxide thin films are exciting phenomena which may be useful for device applications, but in many cases the physical mechanism responsible for the transition is not fully understood. Here we demonstrate that epitaxial strain generates local disproportionation of the NiO6 octahedra, driven through changes in the oxygen stoichiometry, and that this directly modifies the metal-to-insulator phase transition in epitaxial (001) NdNiO3 thin films. Theoretically, we predict that the Ni-O-Ni bond angle decreases, while octahedral tilt and local disproportionation of the NiO6 octahedra increases resulting in a small band gap in otherwise metallic system. This is driven by an increase in oxygen vacancy concentration in the rare-earth nickelates with increasing in-plane biaxial tensile strain. Experimentally, we find an increase in pseudocubic unit-cell volume and resistivity with increasing biaxial tensile strain, corroborating our theoretical predictions. With electron energy loss spectroscopy and x-ray absorption, we find a reduction of the Ni valence with increasing tensile strain. These results indicate that epitaxial strain modifies the oxygen stoichiometry of rare-earth perovskite thin films and through this mechanism affect the metal-to-insulator phase transition in these compounds.


title: Positive intertwiners for Bessel functions of type B

abstract: Let $V_k$ denote Dunkl's intertwining operator for the root sytem $B_n$ with multiplicity $k=(k_1,k_2)$ with $k_1\geq 0, k_2>0$. It was recently shown that the positivity of the operator $V_{k^\prime\!,k} =V_{k^\prime}\circ V_k^{-1}$ which intertwines the Dunkl operators associated with $k$ and $k^\prime=(k_1+h,k_2)$ implies that $h\in[k_2(n-1),\infty[\,\cup\,(\{0,k_2,\ldots,k_2(n-1)\}-\mathbb Z_+)$. This is also a necessary condition for the existence of positive Sonine formulas between the associated Bessel functions. In this paper we present two partial converse positive results: For $k_1 \geq 0, \,k_2\in\{1/2,1,2\}$ and $h>k_2(n-1)$, the operator $V_{k^\prime\!,k}$ is positive when restricted to functions which are invariant under the Weyl group, and there is an associated positive Sonine formula for the Bessel functions of type $B_n$. Moreover, the same positivity results hold for arbitrary $k_1\geq 0, k_2>0$ and $h\in k_2\cdot \mathbb Z_+.$ The proof is based on a formula of Baker and Forrester on connection coefficients between multivariate Laguerre polynomials and an approximation of Bessel functions by Laguerre polynomials.


title: Haptic communication optimises joint decisions and affords implicit confidence sharing

abstract: Group decisions can outperform the choices of the best individual group members. Previous research suggested that optimal group decisions require individuals to communicate explicitly (e.g., verbally) their confidence levels. Our study addresses the untested hypothesis that implicit communication using a sensorimotor channel -- haptic coupling -- may afford optimal group decisions, too. We report that haptically coupled dyads solve a perceptual discrimination task more accurately than their best individual members; and five times faster than dyads using explicit communication. Furthermore, our computational analyses indicate that the haptic channel affords implicit confidence sharing. We found that dyads take leadership over the choice and communicate their confidence in it by modulating both the timing and the force of their movements. Our findings may pave the way to negotiation technologies using fast sensorimotor communication to solve problems in groups.


title: Polyakov-like approach to the modified gravity and other geometric theories

abstract: We study the procedure that allows to rewrite the actions of some modified gravity theories like mimetic gravity and Regge-Teitelboim embedding theory as Einstein-Hilbert actions with additional matter contributions. It turns out that this procedure can be applied to brane action, which lead to a polynomial brane action. We also examine the connection between this procedure and Polyakov trick in string theory.


title: Phase separation in the advective Cahn-Hilliard equation

abstract: The Cahn--Hilliard equation is a classic model of phase separation in binary mixtures that exhibits spontaneous coarsening of the phases. We study the Cahn--Hilliard equation with an imposed advection term in order to model the stirring and eventual mixing of the phases. The main result is that if the imposed advection is sufficiently mixing then no phase separation occurs, and the solution instead converges exponentially to a homogeneous mixed state. The mixing effectiveness of the imposed drift is quantified in terms of the dissipation time of the associated advection-hyperdiffusion equation, and we produce examples of velocity fields with a small dissipation time. We also study the relationship between this quantity and the dissipation time of the standard advection-diffusion equation.


title: Minimal surfaces in spheres and a Ricci-like condition

abstract: We deal with minimal surfaces in spheres that are locally isometric to a pseudoholomorphic curve in a totally geodesic $\mathbb{S}^{5}$ in the nearly K{\"a}hler sphere $\mathbb{S}^6$. Being locally isometric to a pseudoholomorphic curve in $\mathbb{S}^5$ turns out to be equivalent to the Ricci-like condition $\Delta\log(1-K)=6K,$ where $K$ is the Gaussian curvature of the induced metric. Besides flat minimal surfaces in spheres, direct sums of surfaces in the associated family of pseudoholomorphic curves in $\mathbb{S}^5$ do satisfy this Ricci-like condition. Surfaces in both classes are exceptional surfaces. These are minimal surfaces whose all Hopf differentials are holomorphic, or equivalently the curvature ellipses have constant eccentricity up to the last but one. Under appropriate global assumptions, we prove that minimal surfaces in spheres that satisfy this Ricci-like condition are indeed exceptional. Thus, the classification of these surfaces is reduced to the classification of exceptional surfaces that are locally isometric to a pseudoholomorphic curve in $\mathbb{S}^5.$ In fact, we prove, among other results, that such exceptional surfaces in odd dimensional spheres are flat or direct sums of surfaces in the associated family of a pseudoholomorphic curve in $\mathbb{S}^5$.


title: Federated Variance-Reduced Stochastic Gradient Descent with Robustness to Byzantine Attacks

abstract: This paper deals with distributed finite-sum optimization for learning over networks in the presence of malicious Byzantine attacks. To cope with such attacks, most resilient approaches so far combine stochastic gradient descent (SGD) with different robust aggregation rules. However, the sizeable SGD-induced stochastic gradient noise makes it challenging to distinguish malicious messages sent by the Byzantine attackers from noisy stochastic gradients sent by the 'honest' workers. This motivates us to reduce the variance of stochastic gradients as a means of robustifying SGD in the presence of Byzantine attacks. To this end, the present work puts forth a Byzantine attack resilient distributed (Byrd-) SAGA approach for learning tasks involving finite-sum optimization over networks. Rather than the mean employed by distributed SAGA, the novel Byrd- SAGA relies on the geometric median to aggregate the corrected stochastic gradients sent by the workers. When less than half of the workers are Byzantine attackers, the robustness of geometric median to outliers enables Byrd-SAGA to attain provably linear convergence to a neighborhood of the optimal solution, with the asymptotic learning error determined by the number of Byzantine workers. Numerical tests corroborate the robustness to various Byzantine attacks, as well as the merits of Byrd- SAGA over Byzantine attack resilient distributed SGD.


title: The Semantic Mutex Watershed for Efficient Bottom-Up Semantic Instance Segmentation

abstract: Semantic instance segmentation is the task of simultaneously partitioning an image into distinct segments while associating each pixel with a class label. In commonly used pipelines, segmentation and label assignment are solved separately since joint optimization is computationally expensive. We propose a greedy algorithm for joint graph partitioning and labeling derived from the efficient Mutex Watershed partitioning algorithm. It optimizes an objective function closely related to the Symmetric Multiway Cut objective and empirically shows efficient scaling behavior. Due to the algorithm's efficiency it can operate directly on pixels without prior over-segmentation of the image into superpixels. We evaluate the performance on the Cityscapes dataset (2D urban scenes) and on a 3D microscopy volume. In urban scenes, the proposed algorithm combined with current deep neural networks outperforms the strong baseline of `Panoptic Feature Pyramid Networks' by Kirillov et al. (2019). In the 3D electron microscopy images, we show explicitly that our joint formulation outperforms a separate optimization of the partitioning and labeling problems.


title: Anisotropic ionic conductivity of LiMn$_{1-x}$Fe$_x$PO$_4$ ($0\leq x \leq 1$) single crystals

abstract: We report AC-impedance studies on a series of high-quality LiMn$_{1-x}$Fe$_x$PO$_4$ single crystals with $0\leq x \leq 1$. Our results confirm quasi-one-dimensional transport in LiFePO$_4$ with fast Li-diffusion along the $b$-axis. The conductivities along the crystallographic $b$-, $c$- and $a$-axis differ by a factor of about 10, respectively. Whereas, the activation energy $E_{\rm A}$ of the effective diffusion process is particularly large for the $b$-axis and smallest for the $a$-axis. Remarkably, the $b$-axis ionic bulk conductivity of LiMn$_{0.5}$Fe$_{0.5}$PO$_4$ is of the same order of magnitude as in undoped LiFePO$_4$, which implies similarly fast Li-transport even upon 50~\% Mn-doping which, owing to the higher redox potential of the Mn$^{3+}$/Mn$^{2+}$-couple, yields enhanced energy density in lithium-ion batteries. The overall results of our impedance studies draw a far more complex picture than it would be expected from a simple one-dimensional ionic conductor. Our results suggest a strong contribution of crystal defects in real materials.


title: Augmented Replay Memory in Reinforcement Learning With Continuous Control

abstract: Online reinforcement learning agents are currently able to process an increasing amount of data by converting it into a higher order value functions. This expansion of the information collected from the environment increases the agent's state space enabling it to scale up to a more complex problems but also increases the risk of forgetting by learning on redundant or conflicting data. To improve the approximation of a large amount of data, a random mini-batch of the past experiences that are stored in the replay memory buffer is often replayed at each learning step. The proposed work takes inspiration from a biological mechanism which act as a protective layer of human brain higher cognitive functions: active memory consolidation mitigates the effect of forgetting of previous memories by dynamically processing the new ones. The similar dynamics are implemented by a proposed augmented memory replay AMR capable of optimizing the replay of the experiences from the agent's memory structure by altering or augmenting their relevance. Experimental results show that an evolved AMR augmentation function capable of increasing the significance of the specific memories is able to further increase the stability and convergence speed of the learning algorithms dealing with the complexity of continuous action domains.


title: Monge-Amp\`{e}re measures on contact sets

abstract: Let $(X, \omega)$ be a compact K\"ahler manifold of complex dimension n and $\theta$ be a smooth closed real $(1,1)$-form on $X$ such that its cohomology class $\{ \theta \}\in H^{1,1}(X, \mathbb{R})$ is pseudoeffective. Let $\varphi$ be a $\theta$-psh function, and let $f$ be a continuous function on $X$ with bounded distributional laplacian with respect to $\omega$ such that $\varphi \leq f. $ Then the non-pluripolar measure $\theta_\varphi^n:= (\theta + dd^c \varphi)^n$ satisfies the equality: $$ {\bf{1}}_{\{ \varphi = f \}} \ \theta_\varphi^n = {\bf{1}}_{\{ \varphi = f \}} \ \theta_f^n,$$ where, for a subset $T\subseteq X$, ${\bf{1}}_T$ is the characteristic function. In particular we prove that \[ \theta_{P_{\theta}(f)}^n= { \bf {1}}_{\{P_{\theta}(f) = f\}} \ \theta_f^n\qquad {\rm and }\qquad \theta_{P_\theta[\varphi](f)}^n = { \bf {1}}_{\{P_\theta[\varphi](f) = f \}} \ \theta_f^n. \]


title: The Hopf algebras of signed permutations, of weak quasi-symmetric functions and of Malvenuto-Reutenauer

abstract: This paper builds on two covering Hopf algebras of the Hopf algebra QSym of quasi-symmetric functions, with linear bases parameterized by compositions. One is the Malvenuto-Reutenauer Hopf algebra SSym of permutations, mapped onto QSym by taking descents of permutations. The other one is the recently introduced Hopf algebra RQSym of weak quasi-symmetric functions, mapped onto QSym by extracting compositions from weak compositions. We extend these two surjective Hopf algebra homomorphisms into a commutative diagram by introducing a Hopf algebra HSym, linearly spanned by signed permutations from the hyperoctahedral groups, equipped with the shifted quasi-shuffle product and deconcatenation coproduct. Extracting a permutation from a signed permutation defines a Hopf algebra surjection form HSym to SSym and taking a suitable descent from a signed permutation defines a linear surjection from HSym to RQSym. The notion of signed $P$-partitions from signed permutations is introduced which, by taking generating functions, gives fundamental weak quasi-symmetric functions and sends the shifted quasi-shuffle product to the product of the corresponding generating functions. Together with the existing Hopf algebra surjections from SSym and RQSym to QSym, we obtain a commutative diagram of Hopf algebras revealing the close relationship among compositions, weak compositions, permutations and signed permutations.


title: On Algebraic-Geometry Approach to Ribaucour Transformations

abstract: We develop the idea of using an algebraic-geometry approach to classical differential geometry problems. Consider an orthogonal net constructed according to algebraic-geometric data we obtain a set of smooth orthogonal nets that are Ribaucour transformations of the initial orthogonal net.


title: Stabilizing effect of magnetic helicity on magnetic cavities in the intergalactic medium

abstract: We investigate the effect of magnetic helicity on the stability of buoyant magnetic cavities as found in the intergalactic medium. In these cavities, we insert helical magnetic fields and test whether or not helicity can increase their stability to shredding through the Kelvin-Helmholtz instability and, with that, their lifetime. This is compared to the case of an external vertical magnetic field which is known to reduce the growth rate of the Kelvin-Helmholtz instability. By comparing a low-helicity configuration with a high helicity one with the same magnetic energy we find that an internal helical magnetic field stabilizes the cavity. This effect increases as we increase the helicity content. Stabilizing the cavity with an external magnetic field requires instead a significantly stronger field at higher magnetic energy. We conclude that the presence of helical magnetic fields is a viable mechanism to explain the stability of intergalactic cavities on time scales longer than 100 Myr.


title: Marchenko-Pastur law with relaxed independence conditions

abstract: We prove the Marchenko-Pastur law for the eigenvalues of $p \times p$ sample covariance matrices in two new situations where the data does not have independent coordinates. In the first scenario - the block-independent model - the $p$ coordinates of the data are partitioned into blocks in such a way that the entries in different blocks are independent, but the entries from the same block may be dependent. In the second scenario - the random tensor model - the data is the homogeneous random tensor of order $d$, i.e. the coordinates of the data are all $\binom{n}{d}$ different products of $d$ variables chosen from a set of $n$ independent random variables. We show that Marchenko-Pastur law holds for the block-independent model as long as the size of the largest block is $o(p)$ and for the random tensor model as long as $d = o(n^{1/3})$. Our main technical tools are new concentration inequalities for quadratic forms in random variables with block-independent coordinates, and for random tensors.


title: Symmetric polynomials in the symplectic alphabet and their expression via Dickson--Zhukovsky variables

abstract: Given a symmetric polynomial $P$ in $2n$ variables, there exists a unique symmetric polynomial $Q$ in $n$ variables such that \[ P(x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}) =Q(x_1+x_1^{-1},\ldots,x_n+x_n^{-1}). \] We denote this polynomial $Q$ by $\Phi_n(P)$ and show that $\Phi_n$ is an epimorphism of algebras. We compute $\Phi_n(P)$ for several families of symmetric polynomials $P$: symplectic and orthogonal Schur polynomials, elementary symmetric polynomials, complete homogeneous polynomials, and power sums. Some of these formulas were already found by Elouafi (2014) and Lachaud (2016). The polynomials of the form $\Phi_n(\operatorname{s}_{\lambda/\mu}^{(2n)})$, where $\operatorname{s}_{\lambda/\mu}^{(2n)}$ is a skew Schur polynomial in $2n$ variables, arise naturally in the study of the minors of symmetric banded Toeplitz matrices, when the generating symbol is a palindromic Laurent polynomial, and its roots can be written as $x_1,\ldots,x_n,x^{-1}_1,\ldots,x^{-1}_n$. Trench (1987) and Elouafi (2014) found efficient formulas for the determinants of symmetric banded Toeplitz matrices. We show that these formulas are equivalent to the result of Ciucu and Krattenthaler (2009) about the factorization of the characters of classical groups.


title: SLOAM: Semantic Lidar Odometry and Mapping for Forest Inventory

abstract: This paper describes an end-to-end pipeline for tree diameter estimation based on semantic segmentation and lidar odometry and mapping. Accurate mapping of this type of environment is challenging since the ground and the trees are surrounded by leaves, thorns and vines, and the sensor typically experiences extreme motion. We propose a semantic feature based pose optimization that simultaneously refines the tree models while estimating the robot pose. The pipeline utilizes a custom virtual reality tool for labeling 3D scans that is used to train a semantic segmentation network. The masked point cloud is used to compute a trellis graph that identifies individual instances and extracts relevant features that are used by the SLAM module. We show that traditional lidar and image based methods fail in the forest environment on both Unmanned Aerial Vehicle (UAV) and hand-carry systems, while our method is more robust, scalable, and automatically generates tree diameter estimations.


title: A rigid hyperfinite type $\mathrm{II}_1$ factor

abstract: We show that it is relatively consistent with ZFC that there exists a hyperfinite type $\mathrm{II}_1$-factor of density character $\aleph_1$ which is not isomorphic to its opposite, does not have any outer automorphisms, and has trivial fundamental group.


title: Discovery of Dynamics Using Linear Multistep Methods

abstract: Linear multistep methods (LMMs) are popular time discretization techniques for the numerical solution of differential equations. Traditionally they are applied to solve for the state given the dynamics (the forward problem), but here we consider their application for learning the dynamics given the state (the inverse problem). This repurposing of LMMs is largely motivated by growing interest in data-driven modeling of dynamics, but the behavior and analysis of LMMs for discovery turn out to be significantly different from the well-known, existing theory for the forward problem. Assuming a highly idealized setting of being given the exact state with a zero residual of the discrete dynamics, we establish for the first time a rigorous framework based on refined notions of consistency and stability to yield convergence using LMMs for discovery. When applying these concepts to three popular $M-$step LMMs, the Adams-Bashforth, Adams-Moulton, and Backwards Differentiation Formula schemes, the new theory suggests that Adams-Bashforth for $M$ ranging from $1$ and $6$, Adams-Moulton for $M=0$ and $M=1$, and Backwards Differentiation Formula for all positive $M$ are convergent, and, otherwise, the methods are not convergent in general. In addition, we provide numerical experiments to both motivate and substantiate our theoretical analysis.


title: On renormalized solutions to elliptic inclusions with nonstandard growth

abstract: We study the elliptic inclusion given in the following divergence form \begin{align*} & -\mathrm{div}\, A(x,\nabla u) \ni f\quad \mathrm{in}\quad \Omega, & u=0\quad \mathrm{on}\quad \partial \Omega. \end{align*} As we assume that $f\in L^1(\Omega)$, the solutions to the above problem are understood in the renormalized sense. We also assume nonstandard, possibly nonpolynomial, heterogeneous and anisotropic growth and coercivity conditions on the maximally monotone multifunction $A$ which necessitates the use of the nonseparable and nonreflexive Musielak--Orlicz spaces. We prove the existence and uniqueness of the renormalized solution as well as, under additional assumptions on the problem data, its relation to the weak solution. The key difficulty, the lack of a Carath\'{e}odory selection of the maximally monotone multifunction is overcome with the use of the Minty transform.


title: Is Interstellar Object 2I/Borisov a Stardust Comet? Predictions for the Post Perihelion Period

abstract: The detection of interstellar bodies passing near the Sun offers the opportunity to observe not just objects similar to those in the solar system, but also unfamiliar objects without solar system analogues. Here I show that Asymptotic Giant Branch (AGB) stellar evolution may lead to the creation, out of stardust, of substantial numbers of nomadic Post-Main-Sequence Objects (PMSOs). ABG nucleosynthesis will produce three broad classes of PMSO chemistry, oxygen, carbon and nitrogen rich (O-rich, C-rich, N-rich, respectively), depending largely on the original stellar mass. I further show that the Interstellar Comet 2I/Borisov (2I) belongs to a kinematic dynamical stream, the Wolf 630 stream, with an age and galactic orbit consistent with its origination as a stardust comet; the apparent lack of water in the 2I coma is consistent with it being a C-rich PMSO. I also provide predictions for distinguishing stardust comets from more conventional interstellar comets and asteroids ejected during planetary formation; these can be applied to 2I in its upcoming observational phase in early 2020 as it moves away from the Sun. In particular, isotope ratios of the CNO elements could be dispositive, IR detection of the 11.3 {\mu}m SiC line, the 30 {\mu}m line, or the IR PAH lines would provide strong evidence for a C-rich PMSO and detection of Na or Li enhancement would indicate an N-rich PMSO.


title: Least gradient functions in metric random walk spaces

abstract: In this paper we study least gradient functions in metric random walk spaces, which include as particular cases the least gradient functions on locally finite weighted connected graphs and nonlocal least gradient functions on $\mathbb{R}^N$. Assuming that a Poincar\'e inequality is satisfied, we study the Euler-Lagrange equation associated with the least gradient problem. We also prove the Poincar\'e inequality in a few settings.


title: On the decoherence effect of a stochastic gravitational perturbation on scalar matter and the possibility of its interferometric detection

abstract: We present a general master equation for the quantum dynamics of a scalar bosonic particle interacting with an external weak and stochastic gravitational field. The dynamics predicts decoherence in position as well as in momentum. We show how the master equation reproduces the results present in the literature by taking appropriate limits, thus explaining the apparent contradiction in their dynamical description. We apply our model to a matter wave experiment, providing a practical formula for determining of the magnitude of gravitational decoherence. We compare it with the standard experimental sources of decoherence.


title: Strong convergence of the backward Euler approximation for the finite element discretization of semilinear parabolic SPDEs with non-global Lipschitz drift driven by additive noise

abstract: This paper deals with the backward Euler method applied to semilinear parabolic stochastic partial differential equations (SPDEs) driven by additive noise. The SPDE is discretized in space by the finite element method and in time by the backward Euler. We consider a larger class of nonlinear drift functions, which are of Nemytskii type and polynomial of any odd degree with negative leading term, instead of only dealing with the special case of stochastic Allen-Chan equation as in the up to date literature.Moreover our linear operator is of second order and not necessarily self-adjoint, therefore makes estimates more challenging than in the case of self-adjoint operator. We prove the strong convergence of our fully discrete schemes toward the mild solution and results indicate how the convergence rates depend on the regularities of the initial data and the noise. In particular, for trace class noise, we achieve convergence order $\mathcal{O} (h^{2}+\Delta t^{1-\epsilon})$, where $\epsilon>0$ is positive number, small enough. We also provide numerical experiments to illustrate our theoretical results.


title: The effect of nonequilibrium entropy production on the quantum Fisher information and correlations

abstract: In this study, we apply quantum master equations beyond secular approximation, and investigate the nonequilibrium thermodynamic cost of enhanced quantum metrology and quantum correlations. We find that the nonequilibrium conditions enhance quantum Fisher information (QFI) and quantum correlations predominantly for weak tunneling scenarios. The enhancement is assisted by a corresponding increase of the thermodynamic cost characterized by the entropy production rate (EPR). For the strong tunneling regimes, the QFI and quantum correlations can not be unceasingly boosted by higher thermodynamic costs and decay once the system is overburdened with extremely large energy currents. The result indicates that for open systems with weak tunneling rates, thermodynamic cost can be potentially exploited to improve the quantum metrology and quantum correlations.


title: Deep Context-Aware Kernel Networks

abstract: Context plays a crucial role in visual recognition as it provides complementary clues for different learning tasks including image classification and annotation. As the performances of these tasks are currently reaching a plateau, any extra knowledge, including context, should be leveraged in order to seek significant leaps in these performances. In the particular scenario of kernel machines, context-aware kernel design aims at learning positive semi-definite similarity functions which return high values not only when data share similar contents, but also similar structures (a.k.a contexts). However, the use of context in kernel design has not been fully explored; indeed, context in these solutions is handcrafted instead of being learned. In this paper, we introduce a novel deep network architecture that learns context in kernel design. This architecture is fully determined by the solution of an objective function mixing a content term that captures the intrinsic similarity between data, a context criterion which models their structure and a regularization term that helps designing smooth kernel network representations. The solution of this objective function defines a particular deep network architecture whose parameters correspond to different variants of learned contexts including layerwise, stationary and classwise; larger values of these parameters correspond to the most influencing contextual relationships between data. Extensive experiments conducted on the challenging ImageCLEF Photo Annotation and Corel5k benchmarks show that our deep context networks are highly effective for image classification and the learned contexts further enhance the performance of image annotation.


title: Simulating twistronics without a twist

abstract: Rotational misalignment or twisting of two mono-layers of graphene strongly influences its electronic properties. Structurally, twisting leads to large periodic supercell structures, which in turn can support intriguing strongly correlated behaviour. Here, we propose a highly tunable scheme to synthetically emulate twisted bilayer systems with ultracold atoms trapped in an optical lattice. In our scheme, neither a physical bilayer nor twist is directly realized. Instead, two synthetic layers are produced exploiting coherently-coupled internal atomic states, and a supercell structure is generated \emph{via} a spatially-dependent Raman coupling. To illustrate this concept, we focus on a synthetic square bilayer lattice and show that it leads to tunable quasi-flatbands and Dirac cone spectra under certain magic supercell periodicities. The appearance of these features are explained using a perturbative analysis. Our proposal can be implemented using available state-of-the-art experimental techniques, and opens the route towards the controlled study of strongly-correlated flat band accompanied by hybridization physics akin to magic angle bilayer graphene in cold atom quantum simulators.


title: Convergence of the Two Point Flux Approximation and a novel fitted Two-Point Flux Approximation method for pricing options

abstract: In this paper, we deal with numerical approximations for solving the Black-Scholes Partial Differential Equation (PDE). This PDE is well known to be degenerated. The space discretization is performed using the classical finite volume method with Two-Point Flux Approximation (TPFA) and a novel scheme called fitted Two-Point Flux Approximation (TPFA).The fitted Two-Point Flux Approximation (TPFA) combines the fitted finite volume method and the standard TPFA method. More precisely the fitted finite volume method is used when the stock price approaches zero in order to handle the degeneracy of the PDE and the TPFA method is used on the rest of space domain. This combination yields our novel fitted TPFA scheme. The Euler method is used for the time discretization. We provide the rigorous convergence proofs of the two fully discretized schemes. Numerical experiments to support our theoretical results are provided.


title: Sequential Learning of CSI for MmWave Initial Alignment

abstract: MmWave communications aim to meet the demand for higher data rates by using highly directional beams with access to larger bandwidth. An inherent challenge is acquiring channel state information (CSI) necessary for mmWave transmission. We consider the problem of adaptive and sequential learning of the CSI during the mmWave initial alignment phase of communication. We focus on the single-user with a single dominant path scenario where the problem is equivalent to acquiring an optimal beamforming vector, where ideally, the resulting beams point in the direction of the angle of arrival with the desired resolution. We extend our prior by proposing two algorithms for adaptively and sequentially selecting beamforming vectors for learning of the CSI, and that formulate a Bayesian update to account for the time-varying fading model. Numerically, we analyze the outage probability and expected spectral efficiency of our proposed algorithms and demonstrate improvements over strategies that utilize a practical hierarchical codebook.


title: Search for dark matter at colliders

abstract: Multiple astrophysical and cosmological observations show that the majority of the matter in the universe is non-luminous. It is not made of known particles, and it is called dark matter. This is one of the few pieces of concrete experimental evidence of new physics beyond the Standard Model. Despite decades of effort, we still know very little about the identity of dark matter; it remains one of the biggest outstanding mysteries facing particle physics. Among the numerous proposals to explain its nature, the Weakly Interacting Massive Particle (WIMP) scenario stands out. The WIMP scenario is based on a simple assumption that dark matter is in thermal equilibrium in the early hot universe, and that the dark matter particles have mass and interactions not too different from the massive particles in the Standard Model. Testing the WIMP hypothesis is a focus for many experimental searches. A variety of techniques are employed including the observation of WIMP annihilation, the measurement of WIMP-nucleon scattering in terrestrial detectors, and the inference of WIMP production at high energy colliders. In this article, we will focus on the last approach, and in particular on WIMP dark matter searches at the Large Hadron Collider. Authors note: this paper (and references therein) correspond to the version that was submitted to the joint issue of Nature Physics and Nature Astronomy in January 2017.


title: Practice of Streaming Processing of Dynamic Graphs: Concepts, Models, and Systems

abstract: Graph processing has become an important part of various areas of computing, including machine learning, medical applications, social network analysis, computational sciences, and others. A growing amount of the associated graph processing workloads are dynamic, with millions of edges added or removed per second. Graph streaming frameworks are specifically crafted to enable the processing of such highly dynamic workloads. Recent years have seen the development of many such frameworks. However, they differ in their general architectures (with key details such as the support for the concurrent execution of graph updates and queries, or the incorporated graph data organization), the types of updates and workloads allowed, and many others. To facilitate the understanding of this growing field, we provide the first analysis and taxonomy of dynamic and streaming graph processing. We focus on identifying the fundamental system designs and on understanding their support for concurrency, and for different graph updates as well as analytics workloads. We also crystallize the meaning of different concepts associated with streaming graph processing, such as dynamic, temporal, online, and time-evolving graphs, edge-centric processing, models for the maintenance of updates, and graph databases. Moreover, we provide a bridge with the very rich landscape of graph streaming theory by giving a broad overview of recent theoretical related advances, and by discussing which graph streaming models and settings could be helpful in developing more powerful streaming frameworks and designs. We also outline graph streaming workloads and research challenges.


title: Probing ultracold chemistry using ion spectrometry

abstract: Rapid progress in atomic, molecular, and optical (AMO) physics techniques enabled the creation of ultracold samples of molecular species and opened opportunities to explore chemistry in the ultralow temperature regime. In particular, both the external and internal quantum degrees of freedom of the reactant atoms and molecules are controlled, allowing studies that explored the role of the long range potential in ultracold reactions. The kinetics of these reactions have typically been determined using the loss of reactants as proxies. To extend such studies into the short-range, we developed an experimental apparatus that combines the production of quantum-state-selected ultracold KRb molecules with ion mass and kinetic energy spectrometry, and directly observed KRb + KRb reaction intermediates and products [Science, 2019, 366, 1111]. Here, we present the apparatus in detail. For future studies that aim for detecting the quantum states of the reaction products, we demonstrate a photodissociation based scheme to calibrate the ion kinetic energy spectrometer at low energies.


title: On the Beauville--Bogomolov decomposition in characteristic $p\geq 0$

abstract: We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement cannot be dropped. Additionally, if the assumption $K_X \sim 0$ is replaced by $-K_X$ being semi-ample, we show the weaker statement that all closed fibers of the Albanese morphism are isomorphic. In the appendix written jointly with Giulio Codogni, we also deduce the singular version of the latter statement, in characteristic zero. Finally, we apply our main theorem to draw consequences to the behavior of rational points and fundamental groups of weakly ordinary $K$-trivial varieties in positive characteristic.


title: A fitted L-Multi-point Flux Approximation method for pricing options

abstract: In this paper, we introduce a special kind of finite volume method called Multi-Point Flux Approximation method (MPFA) to price European and American options in two dimensional domain. We focus on the L-MPFA method for space discretization of the diffusion term of Black-Scholes operator. The degeneracy of the Black Scholes operator is tackled using the fitted finite volume method. This combination of fitted finite volume method and L-MPFA method coupled to upwind methods gives us a novel scheme called the fitted L-MPFA method. Numerical experiments show the accuracy of the novel fitted L-MPFA method comparing to well known schemes for pricing options.


title: Strongly coupled coherent phonons in single-layer MoS$_2$

abstract: We present a transient absorption setup combining broadband detection over the visible-UV range with high temporal resolution ($\sim$20fs) which is ideally suited to trigger and detect vibrational coherences in different classes of materials. We generate and detect coherent phonons (CPs) in single layer (1L) MoS$_2$, as a representative semiconducting 1L-transition metal dichalcogenide (TMD), where the confined dynamical interaction between excitons and phonons is unexplored. The coherent oscillatory motion of the out-of-plane $A'_{1}$ phonons, triggered by the ultrashort laser pulses, dynamically modulates the excitonic resonances on a timescale of few tens fs. We observe an enhancement by almost two orders of magnitude of the CP amplitude when detected in resonance with the C exciton peak, combined with a resonant enhancement of CP generation efficiency. Ab initio calculations of the change in 1L-MoS$_2$ band structure induced by the $A'_{1}$ phonon displacement confirm a strong coupling with the C exciton. The resonant behavior of the CP amplitude follows the same spectral profile of the calculated Raman susceptibility tensor. This demonstrates that CP excitation in 1L-MoS$_2$ can be described as a Raman-like scattering process. These results explain the CP generation process in 1L-TMDs, paving the way for coherent all-optical control of excitons in layered materials in the THz frequency range.


title: Synergies between astroparticle, particle and nuclear physics

abstract: One overarching objective of science is to further our understanding of the universe, from its early stages to its current state and future evolution. This depends on gaining insight on the universe's most macroscopic components, for example galaxies and stars, as well as describing its smallest components, namely elementary particles and nuclei and their interactions. It is clear that this endeavour requires combined expertise from the fields of astroparticle physics, particle physics and nuclear physics. Pursuing common scientific drivers also require mastering challenges related to instrumentation (e.g. beams and detectors), data acquisition, selection and analysis, and making data and results available to the broader science communities. Joint work and recognition of these "foundational" topics will help all communities grow towards their individual and common scientific goals. The talk corresponding to this contribution has been presented during the special ECFA session of EPS-HEP 2019 focused on the update of the European Strategy of Particle Physics.


title: Theoretical framework to surpass the Betz limit using unsteady fluid mechanics

abstract: The Betz limit expresses the maximum proportion of the kinetic energy flux incident on an energy conversion device that can be extracted from an unbounded flow. The derivation of the Betz limit requires an assumption of steady flow through a notional actuator disk that is stationary in the streamwise direction. The present derivation relaxes the assumptions of steady flow and streamwise actuator disk stationarity, which expands the physically realizable parameter space of flow conditions upstream and downstream of the actuator disk. A key consequence of this generalization is the existence of unsteady motions that can, in principle, lead to energy conversion efficiencies that exceed the Betz limit not only transiently, but also in time-averaged performance. Potential physical implementations of those unsteady motions are speculated.


title: Worst-Case Optimal Radix Triejoin

abstract: Relatively recently, the field of join processing has been swayed by the discovery of a new class of multi-way join algorithms. The new algorithms join multiple relations simultaneously rather than perform a series of pairwise joins. The new join algorithms satisfy stronger worst-case runtime complexity guarantees than any of the existing approaches based on pairwise joins -- they are worst-case optimal in data complexity. These research efforts have resulted in a flurry of papers documenting theoretical and some practical contributions. However, there is still the quest of making the new worst-case optimal join algorithms truly practical in terms of (1) ease of implementation and (2) secondary index efficiency in terms of number of indexes created to answer a query. In this paper, we present a simple worst-case optimal multi-way join algorithm called the radix triejoin. Radix triejoin uses a binary encoding for reducing the domain of a database. Our main technical contribution is that domain reduction allows a bit-interleaving of attribute values that gives rise to a query-independent relation representation, permitting the computation of multiple queries over the same relations worst-case optimally without having to construct additional secondary indexes. We also generalise the core algorithm to conjunctive queries with inequality constraints and provide a new proof technique for the worst-case optimal join result.


title: On Bi-Modal Constrained Coding

abstract: Bi-modal (respectively, multi-modal) constrained coding refers to an encoding model whereby a user input block can be mapped to two (respectively, multiple) codewords. In current storage applications, such as optical disks, multi-modal coding allows to achieve DC control, in addition to satisfying the runlength limited (RLL) constraint specified by the recording channel. In this work, a study is initiated on bi-modal fixed-length constrained encoders. Necessary and sufficient conditions are presented for the existence of such encoders for a given constraint. It is also shown that under somewhat stronger conditions, one can guarantee a bi-modal encoder with finite decoding delay.


title: Scalable Influence Estimation Without Sampling

abstract: In a diffusion process on a network, how many nodes are expected to be influenced by a set of initial spreaders? This natural problem, often referred to as influence estimation, boils down to computing the marginal probability that a given node is active at a given time when the process starts from specified initial condition. Among many other applications, this task is crucial for a well-studied problem of influence maximization: finding optimal spreaders in a social network that maximize the influence spread by a certain time horizon. Indeed, influence estimation needs to be called multiple times for comparing candidate seed sets. Unfortunately, in many models of interest an exact computation of marginals is #P-hard. In practice, influence is often estimated using Monte-Carlo sampling methods that require a large number of runs for obtaining a high-fidelity prediction, especially at large times. It is thus desirable to develop analytic techniques as an alternative to sampling methods. Here, we suggest an algorithm for estimating the influence function in popular independent cascade model based on a scalable dynamic message-passing approach. This method has a computational complexity of a single Monte-Carlo simulation and provides an upper bound on the expected spread on a general graph, yielding exact answer for treelike networks. We also provide dynamic message-passing equations for a stochastic version of the linear threshold model. The resulting saving of a potentially large sampling factor in the running time compared to simulation-based techniques hence makes it possible to address large-scale problem instances.

categories: cs.SI cond-mat.dis-nn math.PR physics.soc-ph stat.ML


title: Walks on hyperplane arrangements and optimization of piecewise linear functions

abstract: We propose an exact iterative algorithm for minimization of a class of continuous cell-wise linear convex functions on a hyperplane arrangement. Our particular setup is motivated by evaluation of so-called rank estimators used in robust regression, where every cell of the underlying arrangement corresponds to a permutation of residuals (and we also show that the class of function for which the method works is more general). The main obstacle in the construction of the algorithm is how to find an improving direction while standing in a point incident with exponentially many cells of the arrangement. We overcome this difficulty using Birkhoff Theorem which allows us to express the cone of improving directions in the exponential number of cells using a linear system with quadratic number of variables only.


title: Optimal strong convergence rates of some Euler-type timestepping schemes for the finite element discretization SPDEs driven by additive fractional Brownian motion and Poisson random measure

abstract: In this paper, we study the numerical approximation of a general second order semilinear stochastic partial differential equation (SPDE) driven by a additive fractional Brownian motion (fBm) with Hurst parameter $H>\frac 12$ and Poisson random measure, more realistic in modelling real world phenomena. To the best of our knowledge, numerical schemes for such SPDE have been lacked in scientific literature. The approximation is done with the standard finite element method in space and three Euler-type timestepping methods in time, more precisely linear implicit method, exponential integrator and exponential Rosenbrock scheme are used for time discretisation. In contract to the current literature in the field for SPDE driven only by fBm, our linear operator is not necessary self-adjoint and optimal strong convergence rates have been achieved for SPDE driven only by fBm and SPDE driven by fBm and Poisson measure. The results examine how the convergence orders depend on the regularity of the noise and the initial data and reveal that the full discretization attains an optimal convergence rate of order $\mathcal{O}(h^2+\Delta t)$ for the exponential integrator and implicit schemes (linear operator $A$ self-adjoint for implicit). Numerical experiments are provided to illustrate our theoretical results for the case of SPDE driven with fBm noise.


title: An integer programming approach for solving a generalized version of the Grundy domination number

abstract: A sequence of vertices in a graph is called a legal dominating sequence if every vertex in the sequence dominates at least one vertex not dominated by those that precede it, and at the end all vertices of the graph are dominated. The Grundy domination number of a graph is the size of a largest legal dominating sequence. In this work, we introduce a generalized version of the Grundy domination problem. We explicitly calculate the corresponding parameter for paths and web graphs. We propose integer programming formulations for the new problem, find families of valid inequalities and perform extensive computational experiments to compare the formulations as well as to test these inequalities as cuts in a branch-and-cut framework. We also design and evaluate the performance of a heuristic for finding good initial lower and upper bounds and a tabu search that improves the initial lower bound. The test instances include randomly generated graphs, structured graphs, classical benchmark instances and two instances from a real application. Our approach is exact for graphs with 20-50 vertices and provides good solutions for graphs up to 10000 vertices.


title: Linear Response Theory and Optical Conductivity of Floquet Topological Insulators

abstract: Motivated by the quest for experimentally accessible dynamical probes of Floquet topological insulators, we formulate the linear response theory of a periodically driven system. We illustrate the applications of this formalism by giving general expressions for optical conductivity of Floquet systems, including its homodyne and heterodyne components and beyond. We obtain the Floquet optical conductivity of specific driven models, including two-dimensional Dirac material such as the surface of a topological insulator, graphene, and the Haldane model irradiated with circularly or linearly polarized laser, as well as semiconductor quantum well driven by an ac potential. We obtain approximate analytical expressions and perform numerically exact calculations of the Floquet optical conductivity in different scenarios of the occupation of the Floquet bands, in particular, the diagonal Floquet distribution and the distribution obtained after a quench. We comment on experimental signatures and detection of Floquet topological phases using optical probes.


title: On the occurrence of Hecke eigenvalues in sectors

abstract: Let $\pi$ be a non-self-dual unitary cuspidal automorphic representation of non-solvable polyhedral type for GL(2) over a number field. We show that $\pi$ has a positive upper Dirichlet density of Hecke eigenvalues in any sector whose angle is at least 2.63 radians.