title: High-energy gamma-photon polarization in nonlinear Breit-Wheeler pair production and gamma-polarimetry

abstract: The interaction of an unpolarized electron beam with a counterpropagating ultraintense linearly polarized laser pulse is investigated in the quantum radiation-dominated regime. We employ a semiclassical Monte Carlo method to describe spin-resolved electron dynamics, photon emissions and polarization, and pair production. Abundant high-energy linearly polarized gamma photons are generated intermediately during this interaction via nonlinear Compton scattering, with an average polarization degree of more than 50%, which further interacting with the laser fields produce electron-positron pairs due to nonlinear Breit-Wheeler process. The photon polarization is shown to significantly affect the pair yield by a factor beyond 10%. The considered signature of the photon polarization in the pair's yield can be experimentally identified in a prospective two-stage setup. Moreover, the signature can serve also for the polarimetry of high-energy high-flux gamma photons with a resolution well below 1% with currently achievable laser facilities.


title: MilliCar -- An ns-3 Module for mmWave NR V2X Networks

abstract: Vehicle-to-vehicle (V2V) communications have opened the way towards cooperative automated driving as a means to guarantee improved road safety and traffic efficiency. The use of the millimeter wave (mmWave) spectrum for V2V, in particular, holds great promise since the large bandwidth available offers the possibility of realizing high-data-rate connections. However, this potential is hindered by the significant path and penetration loss experienced at these frequencies. It then becomes fundamental to practically evaluate the feasibility of installing mmWave-based technologies in the vehicular scenario, in view of the strict latency and throughput requirements of future automotive applications. To do so, in this paper we present MilliCar, the first ns-3 module for V2V mmWave networks, which features a detailed implementation of the sidelink Physical (PHY) and Medium Access Control (MAC) layers based on the latest NR V2X specifications, the 3GPP standard for next-generation vehicular systems. Our module is open-source and enables researchers to compare possible design options and their relative performance through an end-to-end full-stack approach, thereby stimulating further research on this topic.


title: Low-Resource Knowledge-Grounded Dialogue Generation

abstract: Responding with knowledge has been recognized as an important capability for an intelligent conversational agent. Yet knowledge-grounded dialogues, as training data for learning such a response generation model, are difficult to obtain. Motivated by the challenge in practice, we consider knowledge-grounded dialogue generation under a natural assumption that only limited training examples are available. In such a low-resource setting, we devise a disentangled response decoder in order to isolate parameters that depend on knowledge-grounded dialogues from the entire generation model. By this means, the major part of the model can be learned from a large number of ungrounded dialogues and unstructured documents, while the remaining small parameters can be well fitted using the limited training examples. Evaluation results on two benchmarks indicate that with only 1/8 training data, our model can achieve the state-of-the-art performance and generalize well on out-of-domain knowledge.


title: A Model-Based Derivative-Free Approach to Black-Box Adversarial Examples: BOBYQA

abstract: We demonstrate that model-based derivative free optimisation algorithms can generate adversarial targeted misclassification of deep networks using fewer network queries than non-model-based methods. Specifically, we consider the black-box setting, and show that the number of networks queries is less impacted by making the task more challenging either through reducing the allowed $\ell^{\infty}$ perturbation energy or training the network with defences against adversarial misclassification. We illustrate this by contrasting the BOBYQA algorithm with the state-of-the-art model-free adversarial targeted misclassification approaches based on genetic, combinatorial, and direct-search algorithms. We observe that for high $\ell^{\infty}$ energy perturbations on networks, the aforementioned simpler model-free methods require the fewest queries. In contrast, the proposed BOBYQA based method achieves state-of-the-art results when the perturbation energy decreases, or if the network is trained against adversarial perturbations.


title: String graphs have the Erd\H{o}s-Hajnal property

abstract: A string graph is the intersection graph of curves in the plane. We prove that there exists an absolute constant $c>0$ such that if $G$ is a string graph on $n$ vertices, then $G$ contains either a clique or an independent set of size at least $n^{c}$.


title: Measurement of neutron-proton capture in the SNO+ water phase

abstract: The SNO+ experiment collected data as a low-threshold water Cherenkov detector from September 2017 to July 2019. Measurements of the 2.2-MeV $\gamma$ produced by neutron capture on hydrogen have been made using an Am-Be calibration source, for which a large fraction of emitted neutrons are produced simultaneously with a 4.4-MeV $\gamma$. Analysis of the delayed coincidence between the 4.4-MeV $\gamma$ and the 2.2-MeV capture $\gamma$ revealed a neutron detection efficiency that is centered around 50% and varies at the level of 1% across the inner region of the detector, which to our knowledge is the highest efficiency achieved among pure water Cherenkov detectors. In addition, the neutron capture time constant was measured and converted to a thermal neutron-proton capture cross section of $336.3^{+1.2}_{-1.5}$ mb.


title: Spiral waves: linear and nonlinear theory

abstract: Spiral waves are striking self-organized coherent structures that organize spatio-temporal dynamics in dissipative, spatially extended systems. In this paper, we provide a conceptual approach to various properties of spiral waves. Rather than studying existence in a specific equation, we study properties of spiral waves in general reaction-diffusion systems. We show that many features of spiral waves are robust and to some extent independent of the specific model analyzed. To accomplish this, we present a suitable analytic framework, spatial radial dynamics, that allows us to rigorously characterize features such as the shape of spiral waves and their eigenfunctions, properties of the linearization, and finite-size effects. We believe that our framework can also be used to study spiral waves further and help analyze bifurcations, as well as provide guidance and predictions for experiments and numerical simulations. From a technical point of view, we introduce non-standard function spaces for the well-posedness of the existence problem which allow us to understand properties of spiral waves using dynamical systems techniques, in particular exponential dichotomies. Using these pointwise methods, we are able to bring tools from the analysis of one-dimensional coherent structures such as fronts and pulses to bear on these inherently two-dimensional defects.


title: Disorder correction to the minimal conductance of a nodal-point semimetal

abstract: We consider the disorder-induced correction to the minimal conductance of an anisotropic two-dimensional Dirac node or a three-dimensional Weyl node. An analytical expression is derived for the correction $\delta G$ to the conductance of a finite-size sample by an arbitrary potential, without taking the disorder average, in second-order perturbation theory. Considering a generic model of a short-range disorder potential, this result is used to compute the probability distribution $P(\delta G)$, which is compared to the numerically exact distribution obtained using the scattering matrix approach. We show that $P(\delta G)$ is Gaussian when the sample has a large width-to-length ratio, and study how the expectation value, the standard deviation, and the probability of finding $\delta G < 0$ depend on the anisotropy of the dispersion.


title: A practical and efficient approach for Bayesian quantum state estimation

abstract: Bayesian inference is a powerful paradigm for quantum state tomography, treating uncertainty in meaningful and informative ways. Yet the numerical challenges associated with sampling from complex probability distributions hampers Bayesian tomography in practical settings. In this Article, we introduce an improved, self-contained approach for Bayesian quantum state estimation. Leveraging advances in machine learning and statistics, our formulation relies on highly efficient preconditioned Crank--Nicolson sampling and a pseudo-likelihood. We theoretically analyze the computational cost, and provide explicit examples of inference for both actual and simulated datasets, illustrating improved performance with respect to existing approaches.


title: Unitary matrices associated with Butson-Hadamard matrices

abstract: We give an example of a BH(5; 5) matrix M satisfying that the eigenvalues of the unitary matrix $\frac{1}{\sqrt5}M$ are all primitive 10-th roots of unity and such that $\frac{1}{5}M^3$ is not a BH(5; 5) matrix. This example gives a negative answer to a conjecture proposed by R. Egan and P. O. Cathain.


title: A-polynomials, Ptolemy equations and Dehn filling

abstract: The A-polynomial encodes hyperbolic geometric information on knots and related manifolds. Historically, it has been difficult to compute, and particularly difficult to determine A-polynomials of infinite families of knots. Here, we compute A-polynomials by starting with a triangulation of a manifold, then using symplectic properties of the Neumann-Zagier matrix encoding the gluings to change the basis of the computation. The result is a simplification of the defining equations. We apply this method to families of manifolds obtained by Dehn filling, and show that the defining equations of their A-polynomials are Ptolemy equations which, up to signs, are equations between cluster variables in the cluster algebra of the cusp torus.


title: Magnetic field configurations in neutron stars from MHD simulations

abstract: We have studied numerically the evolution of magnetic fields in barotropic neutron stars, by performing nonlinear magnetohydrodynamical simulations with the code PLUTO. For both initially predominantly poloidal and toroidal fields, with varying strengths, we find that the field settles down to a mixed poloidal-toroidal configuration, where the toroidal component contributes between 10% and 20% of the total magnetic energy. This is, however, not a strict equilibrium, as the instability leads to the development of turbulence, which in turn gives rise to an inverse helicity cascade, which determines the final 'twisted torus' setup. The final field configuration is thus dictated by the non-linear saturation of the instability and is not stationary. The average energy of the poloidal and toroidal components, however, is approximately stable in our simulations, and a complex multipolar structure emerges at the surface, while the magnetic field is dipolar at the exterior boundary, outside the star.


title: $\mathbf{A}_{\text {inf}}$ has uncountable Krull dimension

abstract: Let $\mathcal{O}_E$ be a complete discrete valuation ring and $R$ be a perfect ring in characteristic $p$, we also assume $R$ is a complete valuation ring whose valuation group is of rank one and non-discrete, we prove the Krull dimension of the ring $W_{\mathcal{O}_E}(R)$ of $\mathcal{O}_E$-Witt vectors over $R$ is at least the cardinality of the continuum.


title: Invariant Einstein metrics on SU(N) and complex Stiefel manifolds

abstract: We study existence of invariant Einstein metrics on complex Stiefel manifolds $G/K = \SU(\ell+m+n)/\SU(n) $ and the special unitary groups $G = \SU(\ell+m+n)$. We decompose the Lie algebra $\frak g$ of $G$ and the tangent space $\frak p$ of $G/K$, by using the generalized flag manifolds $G/H = \SU(\ell+m+n)/\s(\U(\ell)\times\U(m)\times\U(n))$. We parametrize scalar products on the 2-dimensional center of the Lie algebra of $H$, and we consider $G$-invariant and left invariant metrics determined by $\Ad(\s(\U(\ell)\times\U(m)\times\U(n))$-invariant scalar products on $\frak g$ and $\frak p$ respectively. Then we compute their Ricci tensor for such metrics. We prove existence of $\Ad(\s(\U(1)\times\U(2)\times\U(2))$-invariant Einstein metrics on $V_3\bb{C}^{5}=\SU(5)/\SU(2)$, $\Ad(\s(\U(2)\times\U(2)\times\U(2))$-invariant Einstein metrics on $V_4\bb{C}^{6}=\SU(6)/\SU(2)$, and $\Ad(\s(\U(m)\times\U(m)\times\U(n))$-invariant Einstein metrics on $V_{2m}\bb{C}^{2m+n}=\SU(2m+n)/\SU(n)$. We also prove existence of $\Ad(\s(\U(1)\times\U(2)\times\U(2))$-invariant Einstein metrics on the compact Lie group $\SU(5)$, which are not naturally reductive. The Lie group $\SU(5)$ is the special unitary group of smallest rank known for the moment, admitting non naturally reductive Einstein metrics. Finally, we show that the compact Lie group $\SU(4+n)$ admits two non naturally reductive $\Ad(\s(\U(2)\times\U(2)\times\U(n)))$-invariant Einstein metrics for $ 2 \leq n \leq 25$, and four non naturally reductive Einstein metrics for $n\ge 26$. This extends previous results of K.~ Mori about non naturally reductive Einstein metrics on $\SU(4+n)$ ($n \geq 2$).


title: Non-Abelian Dirac node braiding and near-degeneracy of correlated phases at odd integer filling in magic angle twisted bilayer graphene

abstract: We use the DMRG to study the correlated electron states favored by the Coulomb interaction projected onto the narrow bands of twisted bilayer graphene within a spinless one-valley model. The Hilbert space of the narrow bands is constructed from a pair of hybrid Wannier states with opposite Chern numbers. Depending on the parameters in the BM model, the DMRG in this basis determines the ground state at one particle per unit cell to be either QAH state or a state with no Hall effect which is nearly a product state. Based on this form, we then apply the variational method to study their competition, thus identifying three states: the QAH, a gapless $C_2T$ symmetric nematic, and a gapped $C_2T$ symmetric stripe. All three states are nearly degenerate at the realistic parameters of the BM model. The single particle spectrum of the nematic contains either a quadratic node or two close Dirac nodes near $\Gamma$. Motivated by the Landau level degeneracy found in this state, we propose it to be the state observed at the charge neutrality point once spin and valley degeneracies are restored. The optimal period for the $C_2T$ stripe state is found to be $2$ unit cells. In addition, using the fact that the topological charge of the nodes in the $C_2T$ nematic phase is no longer described simply by their winding numbers once the translation symmetry is broken, but rather by certain elements of a non-Abelian group that was recently pointed out, we identify the mechanism of the gap opening within the $C_2T$ stripe state. Although the nodes at the Fermi energy are locally stable, they can be annihilated after braiding with other nodes connecting them to adjacent (folded) bands. Therefore, if the translation symmetry is broken, the gap at one particle per unit cell can open even if the system preserves the $C_2T$ and valley $U(1)$ symmetries, and the gap to remote bands remains open.


title: Multilingual Twitter Corpus and Baselines for Evaluating Demographic Bias in Hate Speech Recognition

abstract: Existing research on fairness evaluation of document classification models mainly uses synthetic monolingual data without ground truth for author demographic attributes. In this work, we assemble and publish a multilingual Twitter corpus for the task of hate speech detection with inferred four author demographic factors: age, country, gender and race/ethnicity. The corpus covers five languages: English, Italian, Polish, Portuguese and Spanish. We evaluate the inferred demographic labels with a crowdsourcing platform, Figure Eight. To examine factors that can cause biases, we take an empirical analysis of demographic predictability on the English corpus. We measure the performance of four popular document classifiers and evaluate the fairness and bias of the baseline classifiers on the author-level demographic attributes.


title: Group Membership Verification with Privacy: Sparse or Dense?

abstract: Group membership verification checks if a biometric trait corresponds to one member of a group without revealing the identity of that member. Recent contributions provide privacy for group membership protocols through the joint use of two mechanisms: quantizing templates into discrete embeddings and aggregating several templates into one group representation. However, this scheme has one drawback: the data structure representing the group has a limited size and cannot recognize noisy queries when many templates are aggregated. Moreover, the sparsity of the embeddings seemingly plays a crucial role on the performance verification. This paper proposes a mathematical model for group membership verification allowing to reveal the impact of sparsity on both security, compactness, and verification performances. This model bridges the gap towards a Bloom filter robust to noisy queries. It shows that a dense solution is more competitive unless the queries are almost noiseless.


title: Joint Learning of Assignment and Representation for Biometric Group Membership

abstract: This paper proposes a framework for group membership protocols preventing the curious but honest server from reconstructing the enrolled biometric signatures and inferring the identity of querying clients. This framework learns the embedding parameters, group representations and assignments simultaneously. Experiments show the trade-off between security/privacy and verification/identification performances.


title: Revisiting the 2PN pericentre precession in view of possible future measurements of it

abstract: At the second post-Newtonian (2PN) order, the secular pericentre precession $\dot\omega^\mathrm{2PN}$ of either a full two-body system made of well detached non-rotating monopole masses of comparable size and a restricted two-body system composed of a point particle orbiting a fixed central mass have been analytically computed so far with a variety of approaches. We offer our contribution by analytically computing $\dot\omega^\mathrm{2PN}$ in a perturbative way with the method of variation of elliptical elements by explicitly calculating both the direct contribution due to the 2PN acceleration ${\boldsymbol A}^\mathrm{2PN}$, and also an indirect part arising from the self-interaction of the 1PN acceleration ${\boldsymbol A}^\mathrm{1PN}$ in the orbital average accounting for the instantaneous shifts induced by ${\boldsymbol A}^\mathrm{1PN}$ itself. Explicit formulas are straightforwardly obtained for both the point particle and full two-body cases without recurring to simplifying assumptions on the eccentricity $e$. Two different numerical integrations of the equations of motion confirm our analytical results for both the direct and indirect precessions. The values of the resulting effects for Mercury and some binary pulsars are confronted with the present-day level of experimental accuracies in measuring/constraining their pericentre precessions. The supermassive binary black hole in the BL Lac object OJ 287 is considered as well. A comparison with some of the results appeared in the literature is made.


title: The Early Phase of Neural Network Training

abstract: Recent studies have shown that many important aspects of neural network learning take place within the very earliest iterations or epochs of training. For example, sparse, trainable sub-networks emerge (Frankle et al., 2019), gradient descent moves into a small subspace (Gur-Ari et al., 2018), and the network undergoes a critical period (Achille et al., 2019). Here, we examine the changes that deep neural networks undergo during this early phase of training. We perform extensive measurements of the network state during these early iterations of training and leverage the framework of Frankle et al. (2019) to quantitatively probe the weight distribution and its reliance on various aspects of the dataset. We find that, within this framework, deep networks are not robust to reinitializing with random weights while maintaining signs, and that weight distributions are highly non-independent even after only a few hundred iterations. Despite this behavior, pre-training with blurred inputs or an auxiliary self-supervised task can approximate the changes in supervised networks, suggesting that these changes are not inherently label-dependent, though labels significantly accelerate this process. Together, these results help to elucidate the network changes occurring during this pivotal initial period of learning.


title: Dynamical excitation of maxon and roton modes in a Rydberg-Dressed Bose-Einstein Condensate

abstract: We investigate the dynamics of a three-dimensional Bose-Einstein condensate of ultracold atomic gases with a soft-core shape long-range interaction, which is induced by laser dressing the atoms to a highly excited Rydberg state. For a homogeneous condensate, the long-range interaction drastically alters the dispersion relation of the excitation, supporting both roton and maxon modes. Rotons are typically responsible for the creation of supersolids, while maxons are normally dynamically unstable in BECs with dipolar interactions. We show that maxon modes in the Rydberg-dressed condensate, on the contrary, are dynamically stable. We find that the maxon modes can be excited through an interaction quench, i.e. turning on the soft-core interaction instantaneously. The emergence of the maxon modes is accompanied by oscillations at high frequencies in the quantum depletion, while rotons lead to much slower oscillations. The dynamically stable excitation of the roton and maxon modes leads to persistent oscillations in the quantum depletion. Through a self-consistent Bogoliubov approach, we identify the dependence of the maxon mode on the soft-core interaction. Our study shows that maxon and roton modes can be excited dynamically and simultaneously by quenching Rydberg-dressed long-range interactions. This is relevant to current studies in creating and probing exotic states of matter with ultracold atomic gases.


title: All lines on a smooth cubic surface in terms of three skew lines

abstract: Jordan showed that the incidence variety of a smooth cubic surface containing 27 lines has solvable Galois group over the incidence variety of a smooth cubic surface containing 3 skew lines. As noted by Harris, it follows that for any smooth cubic surface, there exist formulas for all 27 lines in terms of any 3 skew lines. In response to a question of Farb, we compute these formulas explicitly. We also discuss how these formulas relate to Schl\"afli's count of lines on real smooth cubic surfaces.


title: Distinguishing multicellular life on exoplanets by testing Earth as an exoplanet

abstract: Can multicellular life be distinguished from single cellular life on an exoplanet? We hypothesize that abundant upright photosynthetic multicellular life (trees) will cast shadows at high sun angles that will distinguish them from single cellular life and test this using Earth as an exoplanet. We first test the concept using Unmanned Arial Vehicles (UAVs) at a replica moon landing site near Flagstaff, Arizona and show trees have both a distinctive reflectance signature (red edge) and geometric signature (shadows at high sun angles) that can distinguish them from replica moon craters. Next, we calculate reflectance signatures for Earth at several phase angles with POLDER (Polarization and Directionality of Earth's reflectance) satellite directional reflectance measurements and then reduce Earth to a single pixel. We compare Earth to other planetary bodies (Mars, the Moon, Venus, and Uranus) and hypothesize that Earths directional reflectance will be between strongly backscattering rocky bodies with no weathering (like Mars and the Moon) and cloudy bodies with more isotropic scattering (like Venus and Uranus). Our modelling results put Earth in line with strongly backscattering Mars, while our empirical results put Earth in line with more isotropic scattering Venus. We identify potential weaknesses in both the modeled and empirical results and suggest additional steps to determine whether this technique could distinguish upright multicellular life on exoplanets.


title: Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems

abstract: We investigate the stabilizability of discrete-time linear switched systems, when the sole control action of the controller is the switching signal, and when the controller has access to the state of the system in real time. Despite their apparent simplicity, determining if such systems are stabilizable appears to be a very challenging problem, and basic examples have been known for long, for which the stabilizability question is open. We provide new results allowing us to bound the so-called stabilizability radius, which characterizes the stabilizability property of discrete-time linear switched systems. These results allow us to compute significantly improved explicit lower bounds on the stabilizability radius for the above-mentioned examples. As a by-product, we exhibit a discontinuity property for this problem, which brings theoretical understanding of its complexity.


title: Extrasolar enigmas: from disintegrating exoplanets to exoasteroids

abstract: Thousands of transiting exoplanets have been discovered to date, thanks in great part to the {\em Kepler} space mission. As in all populations, and certainly in the case of exoplanets, one finds unique objects with distinct characteristics. Here we will describe the properties and behaviour of a small group of `disintegrating' exoplanets discovered over the last few years (KIC 12557548b, K2-22b, and others). They evaporate, lose mass unraveling their naked cores, produce spectacular dusty comet-like tails, and feature highly variable asymmetric transits. Apart from these exoplanets, there is observational evidence for even smaller `exo-'objects orbiting other stars: exoasteroids and exocomets. Most probably, such objects are also behind the mystery of Boyajian's star. Ongoing and upcoming space missions such as {\em TESS} and PLATO will hopefully discover more objects of this kind, and a new era of the exploration of small extrasolar systems bodies will be upon us.


title: A Hardware Architecture for Reconfigurable Intelligent Surfaces with Minimal Active Elements for Explicit Channel Estimation

abstract: Intelligent surfaces comprising of cost effective, nearly passive, and reconfigurable unit elements are lately gaining increasing interest due to their potential in enabling fully programmable wireless environments. They are envisioned to offer environmental intelligence for diverse communication objectives, when coated on various objects of the deployment area of interest. To achieve this overarching goal, the channels where the Reconfigurable Intelligent Surfaces (RISs) are involved need to be in principle estimated. However, this is a challenging task with the currently available hardware RIS architectures requiring lengthy training periods among the network nodes utilizing RIS-assisted wireless communication. In this paper, we present a novel RIS architecture comprising of any number of passive reflecting elements, a simple controller for their adjustable configuration, and a single Radio Frequency (RF) chain for baseband measurements. Capitalizing on this architecture and assuming sparse wireless channels in the beamspace domain, we present an alternating optimization approach for explicit estimation of the channel gains at the RIS elements attached to the single RF chain. Representative simulation results demonstrate the channel estimation accuracy and achievable end-to-end performance for various training lengths and numbers of reflecting unit elements.


title: Population Dynamics in a Changing Environment: Random versus Periodic Switching

abstract: Environmental changes greatly influence the evolution of populations. Here, we study the dynamics of a population of two strains, one growing slightly faster than the other, competing for resources in a time-varying binary environment modeled by a carrying capacity switching either randomly or periodically between states of abundance and scarcity. The population dynamics is characterized by demographic noise (birth and death events) coupled to a varying environment. We elucidate the similarities and differences of the evolution subject to a stochastically- and periodically-varying environment. Importantly, the population size distribution is generally found to be broader under intermediate and fast random switching than under periodic variations, which results in markedly different asymptotic behaviors between the fixation probability of random and periodic switching. We also determine the detailed conditions under which the fixation probability of the slow strain is maximal.

categories: q-bio.PE cond-mat.stat-mech nlin.AO physics.bio-ph


title: Symbolic Learning and Reasoning with Noisy Data for Probabilistic Anchoring

abstract: Robotic agents should be able to learn from sub-symbolic sensor data, and at the same time, be able to reason about objects and communicate with humans on a symbolic level. This raises the question of how to overcome the gap between symbolic and sub-symbolic artificial intelligence. We propose a semantic world modeling approach based on bottom-up object anchoring using an object-centered representation of the world. Perceptual anchoring processes continuous perceptual sensor data and maintains a correspondence to a symbolic representation. We extend the definitions of anchoring to handle multi-modal probability distributions and we couple the resulting symbol anchoring system to a probabilistic logic reasoner for performing inference. Furthermore, we use statistical relational learning to enable the anchoring framework to learn symbolic knowledge in the form of a set of probabilistic logic rules of the world from noisy and sub-symbolic sensor input. The resulting framework, which combines perceptual anchoring and statistical relational learning, is able to maintain a semantic world model of all the objects that have been perceived over time, while still exploiting the expressiveness of logical rules to reason about the state of objects which are not directly observed through sensory input data. To validate our approach we demonstrate, on the one hand, the ability of our system to perform probabilistic reasoning over multi-modal probability distributions, and on the other hand, the learning of probabilistic logical rules from anchored objects produced by perceptual observations. The learned logical rules are, subsequently, used to assess our proposed probabilistic anchoring procedure. We demonstrate our system in a setting involving object interactions where object occlusions arise and where probabilistic inference is needed to correctly anchor objects.


title: Carrying an arbitrarily large amount of information using a single quantum particle

abstract: Theoretically speaking, a photon can travel arbitrarily long before it enters into a detector, resulting a click. How much information can a photon carry? We study a bipartite asymmetric "two-way signaling" protocol as an extension of that proposed by Del Santo and Daki\'{c}. Suppose that Alice and Bob are distant from each other and each of them has an $n$-bit string. They are tasked to exchange the information of their local n-bit strings with each other, using only a single photon during the communication. It has been shown that the superposition of different spatial locations in a Mach-Zehnder (MZ) interferometer enables bipartite local encodings. We show that, after the travel of a photon through a cascade of $n$-level MZ interferometers in our protocol, the one of Alice or Bob whose detector clicks can access the other's full information of $n$-bit string, while the other can gain one-bit of information. That is, the wave-particle duality makes two-way signaling possible, and a single photon can carry arbitrarily large (but finite) information.


title: Discriminative Adversarial Search for Abstractive Summarization

abstract: We introduce a novel approach for sequence decoding, Discriminative Adversarial Search (DAS), which has the desirable properties of alleviating the effects of exposure bias without requiring external metrics. Inspired by Generative Adversarial Networks (GANs), wherein a discriminator is used to improve the generator, our method differs from GANs in that the generator parameters are not updated at training time and the discriminator is only used to drive sequence generation at inference time. We investigate the effectiveness of the proposed approach on the task of Abstractive Summarization: the results obtained show that a naive application of DAS improves over the state-of-the-art methods, with further gains obtained via discriminator retraining. Moreover, we show how DAS can be effective for cross-domain adaptation. Finally, all results reported are obtained without additional rule-based filtering strategies, commonly used by the best performing systems available: this indicates that DAS can effectively be deployed without relying on post-hoc modifications of the generated outputs.


title: The Two Regimes of Deep Network Training

abstract: Learning rate schedule has a major impact on the performance of deep learning models. Still, the choice of a schedule is often heuristical. We aim to develop a precise understanding of the effects of different learning rate schedules and the appropriate way to select them. To this end, we isolate two distinct phases of training, the first, which we refer to as the "large-step" regime, exhibits a rather poor performance from an optimization point of view but is the primary contributor to model generalization; the latter, "small-step" regime exhibits much more "convex-like" optimization behavior but used in isolation produces models that generalize poorly. We find that by treating these regimes separately-and em specializing our training algorithm to each one of them, we can significantly simplify learning rate schedules.


title: Crumples as a generic stress-focusing instability in confined sheets

abstract: Thin elastic solids are easily deformed into a myriad of three-dimensional shapes, which may contain sharp localized structures as in a crumpled candy wrapper, or have smooth and diffuse features like the undulating edge of a flower. Anticipating and controlling these morphologies is crucial to a variety of applications involving textiles, synthetic skins, and inflatable structures. Here we show that a "wrinkle-to-crumple" transition, previously observed in specific settings, is a ubiquitous response for confined sheets. This unified picture is borne out of a suite of model experiments on polymer films confined to liquid interfaces with spherical, hyperbolic, and cylindrical geometries, which are complemented by experiments on macroscopic membranes inflated with gas. We use measurements across this wide range of geometries, boundary conditions, and lengthscales to quantify several robust morphological features of the crumpled phase, and we build an empirical phase diagram for crumple formation that disentangles the competing effects of curvature and compression. Our results suggest that crumples are a generic microstructure that emerge at large curvatures due to a competition of elastic and substrate energies.


title: Contrastive Similarity Matching for Supervised Learning

abstract: We propose a novel biologically-plausible solution to the credit assignment problem motivated by observations in the ventral visual pathway and trained deep neural networks. In both, representations of objects in the same category become progressively more similar, while objects belonging to different categories become less similar. We use this observation to motivate a layer-specific learning goal in a deep network: each layer aims to learn a representational similarity matrix that interpolates between previous and later layers. We formulate this idea using a contrastive similarity matching objective function and derive from it deep neural networks with feedforward, lateral, and feedback connections, and neurons that exhibit biologically-plausible Hebbian and anti-Hebbian plasticity. Contrastive similarity matching can be interpreted as an energy-based learning algorithm, but with significant differences from others in how a contrastive function is constructed.


title: The effect of internal gravity waves on cloud evolution in sub-stellar atmospheres

abstract: Sub-stellar objects exhibit photometric variability, which is believed to be caused by a number of processes, such as magnetically-driven spots or inhomogeneous cloud coverage. Recent models have shown that turbulent flows and waves, including internal gravity waves, may play an important role in cloud evolution. The aim of this paper is to investigate the effect of IGW on dust nucleation and dust growth, and whether observations of the resulting cloud structures could be used to recover atmospheric density information. For a simplified atmosphere in two dimensions, we numerically solved the governing fluid equations to simulate the effect on dust nucleation and mantle growth as a result of the passage of an IGW. Furthermore, we derived an expression that relates the properties of the wave-induced cloud structures to observable parameters in order to deduce the atmospheric density. Numerical simulations show that the $\rho, p, T$ variations caused by gravity waves lead to an increase of the nucleation rate by up to a factor 20, and an increase of the mantle growth rate by up to a factor 1.6, compared to their equilibrium values. An exploration of the wider parameter space shows that in absolute terms, the increase in nucleation due to IGW is stronger in cooler (T dwarfs) and TiO2-rich sub-stellar atmospheres. The relative increase, however, is greater in warmer (L dwarf) and TiO2-poor atmospheres due to conditions less suited for efficient nucleation at equilibrium. These variations lead to banded areas in which dust formation is much more pronounced, similar to the cloud structures observed on Earth. We show that IGW in the atmosphere of sub-stellar objects can produce banded clouds structures similar to that observed on Earth. We propose a method with which potential observations of banded clouds could be used to estimate the atmospheric density of sub-stellar objects.


title: From spherical chicken to the tipping points of a complex network

abstract: The outbreak of epidemics, the emergence of the financial crisis, the collapse of ecosystem, and the explosive spreading of rumors, we face many challenges in today's world. These real-world problems can be abstracted into a sequential break down of a complex system in an increasingly stressful environment. Because both the system and the environment require a large number of parameters to describe, the break down conditions has been difficult to estimate. We use a highly symmetric system to gauge a complex environment, which enables us to propose a scalar benchmark to describe the environment. This allows us to prove that all the tipping points of a complex network fall between the maximum k-core and maximum eigenvalue of the network.


title: Sketchformer: Transformer-based Representation for Sketched Structure

abstract: Sketchformer is a novel transformer-based representation for encoding free-hand sketches input in a vector form, i.e. as a sequence of strokes. Sketchformer effectively addresses multiple tasks: sketch classification, sketch based image retrieval (SBIR), and the reconstruction and interpolation of sketches. We report several variants exploring continuous and tokenized input representations, and contrast their performance. Our learned embedding, driven by a dictionary learning tokenization scheme, yields state of the art performance in classification and image retrieval tasks, when compared against baseline representations driven by LSTM sequence to sequence architectures: SketchRNN and derivatives. We show that sketch reconstruction and interpolation are improved significantly by the Sketchformer embedding for complex sketches with longer stroke sequences.


title: Spectral Theory of the Thermal Hamiltonian: 1D Case

abstract: In 1964 J. M. Luttinger introduced a model for the quantum thermal transport. In this paper we study the spectral theory of the Hamiltonian operator associated to the Luttinger's model, with a special focus at the one-dimensional case. It is shown that the (so called) thermal Hamiltonian has a one-parameter family of self-adjoint extensions and the spectrum, the time-propagator group and the Green function are explicitly computed. Moreover, the scattering by convolution-type potentials is analyzed. Finally, also the associated classical problem is completely solved, thus providing a comparison between classical and quantum behavior. This article aims to be a first contribution in the construction of a complete theory for the thermal Hamiltonian.


title: Hydrogenic entanglement

abstract: Is there any entanglement in the simplest ubiquitous bound system? We study the solutions to the time-independent Schr\"odinger equation for a Hydrogenic system and devise two entanglement tests for free and localised states. For free Hydrogenic systems, we compute the Schmidt basis diagonalisation for general energy eigenstates, and for a Hydrogenic system localised to a three-dimensional Gaussian wavepacket, we demonstrate that measuring its second moments is sufficient for detecting entanglement. Our results apply to any system that exhibits Hydrogenic structure.


title: On the Sample Complexity of Adversarial Multi-Source PAC Learning

abstract: We study the problem of learning from multiple untrusted data sources, a scenario of increasing practical relevance given the recent emergence of crowdsourcing and collaborative learning paradigms. Specifically, we analyze the situation in which a learning system obtains datasets from multiple sources, some of which might be biased or even adversarially perturbed. It is known that in the single-source case, an adversary with the power to corrupt a fixed fraction of the training data can prevent PAC-learnability, that is, even in the limit of infinitely much training data, no learning system can approach the optimal test error. In this work we show that, surprisingly, the same is not true in the multi-source setting, where the adversary can arbitrarily corrupt a fixed fraction of the data sources. Our main results are a generalization bound that provides finite-sample guarantees for this learning setting, as well as corresponding lower bounds. Besides establishing PAC-learnability our results also show that in a cooperative learning setting sharing data with other parties has provable benefits, even if some participants are malicious.


title: Predictive intraday correlations in stable and volatile market environments: Evidence from deep learning

abstract: Standard methods and theories in finance can be ill-equipped to capture highly non-linear interactions in financial prediction problems based on large-scale datasets, with deep learning offering a way to gain insights into correlations in markets as complex systems. In this paper, we apply deep learning to econometrically constructed gradients to learn and exploit lagged correlations among S&P 500 stocks to compare model behaviour in stable and volatile market environments, and under the exclusion of target stock information for predictions. In order to measure the effect of time horizons, we predict intraday and daily stock price movements in varying interval lengths and gauge the complexity of the problem at hand with a modification of our model architecture. Our findings show that accuracies, while remaining significant and demonstrating the exploitability of lagged correlations in stock markets, decrease with shorter prediction horizons. We discuss implications for modern finance theory and our work's applicability as an investigative tool for portfolio managers. Lastly, we show that our model's performance is consistent in volatile markets by exposing it to the environment of the recent financial crisis of 2007/2008.


title: A Novel Decomposition Solution Approach for the Restoration Problem in Distribution Networks

abstract: The distribution network restoration problem is by nature a mixed integer and non-linear optimization problem due to the switching decisions and Optimal Power Flow (OPF) constraints, respectively. The link between these two parts involves logical implications modelled through big-M coefficients. The presence of these coefficients makes the relaxation of the mixed-integer problem using branch-and-bound method very poor in terms of computation burden. Moreover, this link inhibits the use of classical Benders algorithm in decomposing the problem because the resulting cuts will still depend on the big-M coefficients. In this paper, a novel decomposition approach is proposed for the restoration problem named Modified Combinatorial Benders (MCB). In this regard, the reconfiguration problem and the OPF problem are decomposed into master and sub problems, which are solved through successive iterations. In the case of a large outage area, the numerical results show that the MCB provides, within a short time (after a few iterations), a restoration solution with a quality that is close to the proven optimality when it can be exhibited.


title: Achievable Information Rates for Probabilistic Amplitude Shaping: An Alternative Approach via Random Sign-Coding Arguments

abstract: Probabilistic amplitude shaping (PAS) is a coded modulation strategy in which constellation shaping and channel coding are combined. PAS has attracted considerable attention in both wireless and optical communications. Achievable information rates (AIRs) of PAS have been investigated in the literature using Gallager's error exponent approach. In particular, it has been shown that PAS achieves the capacity of the additive white Gaussian noise channel (B\"ocherer, 2018). In this work, we revisit the capacity-achieving property of PAS and derive AIRs using weak typicality. Our objective is to provide alternative proofs based on random sign-coding arguments that are as constructive as possible. Accordingly, in our proofs, only some signs of the channel inputs are drawn from a random code, while the remaining signs and amplitudes are produced constructively. We consider both symbol-metric and bit-metric decoding.


title: Maximum information states for coherent scattering measurements

abstract: The use of coherent light for precision measurements has been a key driving force for numerous research directions, ranging from biomedical optics to semiconductor manufacturing. Recent work demonstrates that the precision of such measurements can be significantly improved by tailoring the spatial profile of light fields used for estimating an observable system parameter. These advances naturally raise the intriguing question of which states of light can provide the ultimate measurement precision. Here, we introduce a general approach to determine the optimal coherent states of light for estimating any given parameter, regardless of the complexity of the system. Our analysis reveals that the light fields delivering the ultimate measurement precision are eigenstates of a Hermitian operator which quantifies the Fisher information based on the system's scattering matrix. To illustrate this concept, we experimentally show that these maximum information states can probe the phase or the position of an object that is hidden by a disordered medium with a precision improved by an order of magnitude as compared to unoptimized states. Our results enable optimally precise measurements in arbitrarily complex systems, thus establishing a new benchmark for metrology and imaging applications.


title: Semi-Supervised Neural Architecture Search

abstract: Neural architecture search (NAS) relies on a good controller to generate better architectures or predict the accuracy of given architectures. However, training the controller requires both abundant and high-quality pairs of architectures and their accuracy, while it is costly to evaluate an architecture and obtain its accuracy. In this paper, we propose SemiNAS, a semi-supervised NAS approach that leverages numerous unlabeled architectures (without evaluation and thus nearly no cost). Specifically, SemiNAS 1) trains an initial accuracy predictor with a small set of architecture-accuracy data pairs; 2) uses the trained accuracy predictor to predict the accuracy of large amount of architectures (without evaluation); and 3) adds the generated data pairs to the original data to further improve the predictor. The trained accuracy predictor can be applied to various NAS algorithms by predicting the accuracy of candidate architectures for them. SemiNAS has two advantages: 1) It reduces the computational cost under the same accuracy guarantee. On NASBench-101 benchmark dataset, it achieves comparable accuracy with gradient-based method while using only 1/7 architecture-accuracy pairs. 2) It achieves higher accuracy under the same computational cost. It achieves 94.02% test accuracy on NASBench-101, outperforming all the baselines when using the same number of architectures. On ImageNet, it achieves 23.5% top-1 error rate (under 600M FLOPS constraint) using 4 GPU-days for search. We further apply it to LJSpeech text to speech task and it achieves 97% intelligibility rate in the low-resource setting and 15% test error rate in the robustness setting, with 9%, 7% improvements over the baseline respectively.


title: Spatial-Temporal Moving Target Defense: A Markov Stackelberg Game Model

abstract: Moving target defense has emerged as a critical paradigm of protecting a vulnerable system against persistent and stealthy attacks. To protect a system, a defender proactively changes the system configurations to limit the exposure of security vulnerabilities to potential attackers. In doing so, the defender creates asymmetric uncertainty and complexity for the attackers, making it much harder for them to compromise the system. In practice, the defender incurs a switching cost for each migration of the system configurations. The switching cost usually depends on both the current configuration and the following configuration. Besides, different system configurations typically require a different amount of time for an attacker to exploit and attack. Therefore, a defender must simultaneously decide both the optimal sequences of system configurations and the optimal timing for switching. In this paper, we propose a Markov Stackelberg Game framework to precisely characterize the defender's spatial and temporal decision-making in the face of advanced attackers. We introduce a relative value iteration algorithm that computes the defender's optimal moving target defense strategies. Empirical evaluation on real-world problems demonstrates the advantages of the Markov Stackelberg game model for spatial-temporal moving target defense.


title: Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz

abstract: The Gibbons-Hawking ansatz provides a large family of circle-invariant hyperkaehler 4-manifolds, and thus Calabi-Yau 2-folds. In this setting, we prove versions of the Thomas conjecture on existence of special Lagrangian representatives of Hamiltonian isotopy classes of Lagrangians, and the Thomas-Yau conjecture on long-time existence of the Lagrangian mean curvature flow. We also make observations concerning closed geodesics, curve shortening flow and minimal surfaces.


title: Suppressing Uncertainties for Large-Scale Facial Expression Recognition

abstract: Annotating a qualitative large-scale facial expression dataset is extremely difficult due to the uncertainties caused by ambiguous facial expressions, low-quality facial images, and the subjectiveness of annotators. These uncertainties lead to a key challenge of large-scale Facial Expression Recognition (FER) in deep learning era. To address this problem, this paper proposes a simple yet efficient Self-Cure Network (SCN) which suppresses the uncertainties efficiently and prevents deep networks from over-fitting uncertain facial images. Specifically, SCN suppresses the uncertainty from two different aspects: 1) a self-attention mechanism over mini-batch to weight each training sample with a ranking regularization, and 2) a careful relabeling mechanism to modify the labels of these samples in the lowest-ranked group. Experiments on synthetic FER datasets and our collected WebEmotion dataset validate the effectiveness of our method. Results on public benchmarks demonstrate that our SCN outperforms current state-of-the-art methods with \textbf{88.14}\% on RAF-DB, \textbf{60.23}\% on AffectNet, and \textbf{89.35}\% on FERPlus. The code will be available at \href{https://github.com/kaiwang960112/Self-Cure-Network}{https://github.com/kaiwang960112/Self-Cure-Network}.


title: Optimal Load Restoration in Active Distribution Networks Complying with Starting Transients of Induction Motors

abstract: Large horsepower induction motors play a critical role as industrial drives in production facilities. The operational safety of distribution networks during the starting transients of these motor loads is a critical concern for the operators. In this paper, an analytical and convex optimization model is derived representing the starting transients of the induction motor in a semi-static fashion. This model is used to find the optimal energization sequence of different loads (static and motor loads) following an outage in a distribution network. The optimization problem includes the optimal control of the converter-based DGs and autotransformers that are used for the induction motor starting. These models together with the semi-static model of the induction motor are integrated into a relaxed power flow formulation resulting in a Mixed-Integer Second Order Cone Programming (SOCP) problem. This formulation represents the transient operational limits that are imposed by different protection devices both in the motor side and network side. The functionality of the proposed optimization problem is evaluated in the case of a large-scale test study and under different simulation scenarios. The feasibility and accuracy of the optimization results are validated using I) off-line time-domain simulations, and II) a Power Hardware-In-the-Loop experiment.


title: DeepPlume: Very High Resolution Real-Time Air Quality Mapping

abstract: This paper presents an engine able to predict jointly the real-time concentration of the main pollutants harming people's health: nitrogen dioxyde (NO2), ozone (O3) and particulate matter (PM2.5 and PM10, which are respectively the particles whose size are below 2.5 um and 10 um). The engine covers a large part of the world and is fed with real-time official stations measures, atmospheric models' forecasts, land cover data, road networks and traffic estimates to produce predictions with a very high resolution in the range of a few dozens of meters. This resolution makes the engine adapted to very innovative applications like street-level air quality mapping or air quality adjusted routing. Plume Labs has deployed a similar prediction engine to build several products aiming at providing air quality data to individuals and businesses. For the sake of clarity and reproducibility, the engine presented here has been built specifically for this paper and differs quite significantly from the one used in Plume Labs' products. A major difference is in the data sources feeding the engine: in particular, this prediction engine does not include mobile sensors measurements.


title: In search for the social hysteresis -- the symmetrical threshold model with independence on Watts-Strogatz graphs

abstract: We study the homogeneous symmetrical threshold model with independence (noise) by pair approximation and Monte Carlo simulations on Watts-Strogatz graphs. The model is a modified version of the famous Granovetter's threshold model: with probability $p$ a voter acts independently, i.e. takes randomly one of two states +/-; with complementary probability $1-p$, a voter takes a given state, if sufficiently large fraction (above a given threshold r) of individuals in its neighborhood is in this state. We show that the character of the phase transition, induced by the noise parameter p, depends on the threshold r, as well as graph's parameters. For r=0.5 only continuous phase transitions are observed, whereas for r>0.5 also discontinuous phase transitions are possible. The hysteresis increases with the average degree <k> and the rewriting parameter beta. On the other hand, the dependence between the width of the hysteresis and the threshold $r$ is non-monotonic. The value of r, for which the maximum hysteresis is observed, overlaps pretty well the size of the majority used for the descriptive norms in order to manipulate people within social experiments. We put results obtained within this paper in a broader picture and discuss them in the context of two other models of binary opinions, namely the majority-vote and the q-voter model.


title: On Pisier's inequality for UMD targets

abstract: We prove an extension of Pisier's inequality (1986) with a dimension independent constant for vector valued functions whose target spaces satisfy a relaxation of the UMD property.


title: Chiral Magnetic Effects in Nuclear Collisions

abstract: The interplay of quantum anomalies with strong magnetic field and vorticity in chiral systems could lead to novel transport phenomena, such as the chiral magnetic effect (CME), the chiral magnetic wave (CMW) and the chiral vortical effect (CVE). In high-energy nuclear collisions, these chiral effects may survive the expansion of a quark-gluon plasma fireball and be detected in experiments. The experimental searches for the CME, the CMW and the CVE, have aroused extensive interest over the past couple of decades. The main goal of this article is to review latest experimental progress in search for these novel chiral transport phenomena at Relativistic Heavy Ion Collider at BNL and the Large Hadron Collider at CERN. Future programs to help reduce uncertainties and facilitate the interpretation of the data are also discussed.


title: Is the Boltzmann equation reversible? A large deviation perspective on the irreversibility paradox

abstract: We consider the kinetic theory of dilute gases in the Boltzmann--Grad limit. We propose a new perspective based on a large deviation estimate for the probability of the empirical distribution dynamics. Assuming Boltzmann molecular chaos hypothesis (Stosszahlansatz), we derive a large deviation rate function, or action, that describes the stochastic process for the empirical distribution. The quasipotential for this action is the negative of the entropy, as should be expected. While the Boltzmann equation appears as the most probable evolution, corresponding to a law of large numbers, the action describes a genuine reversible stochastic process for the empirical distribution, in agreement with the microscopic reversibility. As a consequence, this large deviation perspective gives the expected meaning to the Boltzmann equation and explains its irreversibility as the natural consequence of limiting the physical description to the most probable evolution. More interestingly, it also quantifies the probability of any dynamical evolution departing from solutions of the Boltzmann equation. This picture is fully compatible with the heuristic classical view of irreversibility, but makes it much more precise in various ways. We also explain that this large deviation action provides a natural gradient structure for the Boltzmann equation.


title: Confidence Sets and Hypothesis Testing in a Likelihood-Free Inference Setting

abstract: Parameter estimation, statistical tests and confidence sets are the cornerstones of classical statistics that allow scientists to make inferences about the underlying process that generated the observed data. A key question is whether one can still construct hypothesis tests and confidence sets with proper coverage and high power in a so-called likelihood-free inference (LFI) setting; that is, a setting where the likelihood is not explicitly known but one can forward-simulate observable data according to a stochastic model. In this paper, we present $\texttt{ACORE}$ (Approximate Computation via Odds Ratio Estimation), a frequentist approach to LFI that first formulates the classical likelihood ratio test (LRT) as a parametrized classification problem, and then uses the equivalence of tests and confidence sets to build confidence regions for parameters of interest. We also present a goodness-of-fit procedure for checking whether the constructed tests and confidence regions are valid. $\texttt{ACORE}$ is based on the key observation that the LRT statistic, the rejection probability of the test, and the coverage of the confidence set are conditional distribution functions which often vary smoothly as a function of the parameters of interest. Hence, instead of relying solely on samples simulated at fixed parameter settings (as is the convention in standard Monte Carlo solutions), one can leverage machine learning tools and data simulated in the neighborhood of a parameter to improve estimates of quantities of interest. We demonstrate the efficacy of $\texttt{ACORE}$ with both theoretical and empirical results. Our implementation is available on Github.


title: Closing the convergence gap of SGD without replacement

abstract: Stochastic gradient descent without replacement sampling is widely used in practice for model training. However, the vast majority of SGD analyses assumes data is sampled with replacement, and when the function minimized is strongly convex, an $\mathcal{O}\left(\frac{1}{T}\right)$ rate can be established when SGD is run for $T$ iterations. A recent line of breakthrough works on SGD without replacement (SGDo) established an $\mathcal{O}\left(\frac{n}{T^2}\right)$ convergence rate when the function minimized is strongly convex and is a sum of $n$ smooth functions, and an $\mathcal{O}\left(\frac{1}{T^2}+\frac{n^3}{T^3}\right)$ rate for sums of quadratics. On the other hand, the tightest known lower bound postulates an $\Omega\left(\frac{1}{T^2}+\frac{n^2}{T^3}\right)$ rate, leaving open the possibility of better SGDo convergence rates in the general case. In this paper, we close this gap and show that SGD without replacement achieves a rate of $\mathcal{O}\left(\frac{1}{T^2}+\frac{n^2}{T^3}\right)$ when the sum of the functions is a quadratic, and offer a new lower bound of $\Omega\left(\frac{n}{T^2}\right)$ for strongly convex functions that are sums of smooth functions.


title: BLAST: Bridging Length/time scales via Atomistic Simulation Toolkit

abstract: The ever-increasing power of supercomputers coupled with highly scalable simulation codes have made molecular dynamics an indispensable tool in applications ranging from predictive modeling of materials to computational design and discovery of new materials for a broad range of applications. Multi-fidelity scale bridging between the various flavors of molecular dynamics i.e. ab-initio, classical and coarse-grained models has remained a long-standing challenge. Here, we introduce our framework BLAST (Bridging Length/time scales via Atomistic Simulation Toolkit) that leverages machine learning principles to address this challenge. BLAST is a multi-fidelity scale bridging framework that provide users with the capabilities to train and develop their own classical atomistic and coarse-grained interatomic potentials (force fields) for molecular simulations. BLAST is designed to address several long-standing problems in the molecular simulations community, such as unintended misuse of existing force fields due to knowledge gap between developers and users, bottlenecks in traditional force field development approaches, and other issues relating to the accuracy, efficiency, and transferability of force fields. Here, we discuss several important aspects in force field development and highlight features in BLAST that enable its functionalities and ease of use.


title: Propagation of Gravitational Waves in Chern-Simons Axion $F(R)$ Gravity

abstract: In this paper we shall study the evolution of cosmological gravitational waves in the context of Chern-Simons axion $F(R)$ gravity. In the case of Chern-Simons axion $F(R)$ gravity there exist spin-0, spin-2 and spin-1 modes. As we demonstrate, from all the gravitational waves modes of the Chern-Simons axion $F(R)$ gravity, only the two tensor modes are affected, while the spin-0 and spin-1 modes are not affected at all. With regard to the two tensor modes, we show that these modes propagate in a non-equivalent way, so the resulting tensor modes are chiral. Notably, with regard to the propagation of the spin-2 graviton modes, the structure of the dispersion relations becomes more complicated in comparison with the Einstein gravity with the Chern-Simons axion, but the resulting qualitative features of the propagating modes are not changed. With regard to the spin-0 and spin-1 modes, the Chern-Simons axion $F(R)$ gravity contains two spin-0 modes and no vector spin-1 mode at all. We also find that for the very high energy mode, both the group velocity and the phase velocity are proportional to the inverse of the square root of the wave number, and therefore the velocities become smaller for larger wave numbers or even vanish in the limit that the wave number goes to infinity.


title: Analytical formulation of high-power Yb-doped double-cladding fiber laser

abstract: Here a detailed formalism to achieve an analytical solution of a lossy high power Yb-doped silica fiber laser is introduced. The solutions for the lossless fiber laser is initially attained in detail. Next, the solution for the lossy fiber laser is obtained based on the lossless fiber laser solution. To examine the solutions for both lossless and lossy fiber laser two sets of values are compared with the exact numerical solutions and the results are in a good agreement. Furthermore, steps and procedures for achieving the final solutions are explained clearly and precisely.


title: An Outer-approximation Guided Optimization Approach for Constrained Neural Network Inverse Problems

abstract: This paper discusses an outer-approximation guided optimization method for constrained neural network inverse problems with rectified linear units. The constrained neural network inverse problems refer to an optimization problem to find the best set of input values of a given trained neural network in order to produce a predefined desired output in presence of constraints on input values. This paper analyzes the characteristics of optimal solutions of neural network inverse problems with rectified activation units and proposes an outer-approximation algorithm by exploiting their characteristics. The proposed outer-approximation guided optimization comprises primal and dual phases. The primal phase incorporates neighbor curvatures with neighbor outer-approximations to expedite the process. The dual phase identifies and utilizes the structure of local convex regions to improve the convergence to a local optimal solution. At last, computation experiments demonstrate the superiority of the proposed algorithm compared to a projected gradient method.


title: Delineation and Analysis of Seismocardiographic Systole and Diastole Profiles

abstract: Precise estimation of fiducial points of a seismocardiogram (SCG) signal is a challenging problem for its clinical usage. Delineation techniques proposed in the existing literature do not estimate all the clinically significant points of an SCG signal, simultaneously. The aim of this research work is to propose a delineation framework to identify IM, AO, IC, AC, pAC and MO fiducial points with the help of a PPG signal. The proposed delineation method processes a wavelet-based scalographic PPG and an envelope construction scheme is proposed to estimate the prominent peaks of the PPG signal. A set of amplitude histogram based decision rules is developed for estimation of SCG diastole phases, namely AC, pAC and MO. Subsequently, the systolic phases, IM, AO and IC are detected by applying diastole masking on SCG and decision rules. Experimental results on real-time SCG signals acquired from our designed data acquisition-circuitry and their analysis show the effectiveness of the proposed scheme. Additionally, these estimated parameters are analyzed to show the discrimination between normal breathing and breathlessness conditions.


title: Treatment of disorder effects in X-ray absorption spectra beyond the conventional approach

abstract: The contribution of static and thermal disorder is one of the largest challenges for the accurate determination of the atomic structure from the extended X-ray absorption fine structure (EXAFS). Although there are a number of generally accepted approaches to solve this problem, which are widely used in the EXAFS data analysis, they often provide less accurate results when applied to outer coordination shells around the absorbing atom. In this case, the advanced techniques based on the molecular dynamics and reverse Monte Carlo simulations are known to be more appropriate: their strengths and weaknesses are reviewed here.


title: Surface jets and internal mixing during the coalescence of impacting and sessile droplets

abstract: The internal dynamics during the coalescence of a sessile droplet and a subsequently deposited impacting droplet, with either identical or distinct surface tension, is studied experimentally in the regime where surface tension is dominant. Two color high-speed cameras are used to capture the rapid internal flows and associated mixing from both side and bottom views simultaneously by adding an inert dye to the impacting droplet. Given sufficient lateral separation between droplets of identical surface tension, a robust surface jet is identified on top of the coalesced droplet. Image processing shows this jet is the result of a surface flow caused by the impact inertia and an immobile contact line. By introducing surface tension differences between the coalescing droplets, the surface jet can be either enhanced or suppressed via a Marangoni flow. The influence of the initial droplet configuration and relative surface tension on the long-term dynamics and mixing efficiency, plus the implications for emerging applications such as reactive inkjet printing, are also considered.


title: Recent progress in high pressure X-ray absorption spectroscopy studies at the ODE beamline

abstract: High pressure energy-dispersive X-ray absorption spectroscopy is a valuable structural technique, especially, when combined with a nano-polycrystalline diamond anvil cell. Here we present recent results obtained using the dispersive setup of the ODE beamline at SOLEIL synchrotron. The effect of pressure and temperature on the X-ray induced photoreduction is discussed on the example of nanocrystalline CuO. The possibility to follow local environment changes during pressure-induced phase transitions is demonstrated for alpha-MoO3 based on the reverse Monte Carlo simulations.


title: A Modified Spheromak Model Suitable for Coronal Mass Ejection Simulations

abstract: Coronal Mass Ejections (CMEs) are one of the primary drivers of extreme space weather. They are large eruptions of mass and magnetic field from the solar corona and can travel the distance between Sun and Earth in half a day to a few days. Predictions of CMEs at 1 Astronomical Unit (AU), in terms of both its arrival time and magnetic field configuration, are very important for predicting space weather. Magnetohydrodynamic (MHD) modeling of CMEs, using flux-rope-based models is a promising tool for achieving this goal. In this study, we present one such model for CME simulations, based on spheromak magnetic field configuration. We have modified the spheromak solution to allow for independent input of poloidal and toroidal fluxes. The motivation for this is a possibility to estimate these fluxes from solar magnetograms and extreme ultraviolet (EUV) data from a number of different approaches. We estimate the poloidal flux of CME using post eruption arcades (PEAs) and toroidal flux from the coronal dimming. In this modified spheromak, we also have an option to control the helicity sign of flux ropes, which can be derived from the solar disk magnetograms using the magnetic tongue approach. We demonstate the applicability of this model by simulating the 12 July 2012 CME in the solar corona.


title: Lagrangian Decomposition for Neural Network Verification

abstract: A fundamental component of neural network verification is the computation of bounds on the values their outputs can take. Previous methods have either used off-the-shelf solvers, discarding the problem structure, or relaxed the problem even further, making the bounds unnecessarily loose. We propose a novel approach based on Lagrangian Decomposition. Our formulation admits an efficient supergradient ascent algorithm, as well as an improved proximal algorithm. Both the algorithms offer three advantages: (i) they yield bounds that are provably at least as tight as previous dual algorithms relying on Lagrangian relaxations; (ii) they are based on operations analogous to forward/backward pass of neural networks layers and are therefore easily parallelizable, amenable to GPU implementation and able to take advantage of the convolutional structure of problems; and (iii) they allow for anytime stopping while still providing valid bounds. Empirically, we show that we obtain bounds comparable with off-the-shelf solvers in a fraction of their running time, and obtain tighter bounds in the same time as previous dual algorithms. This results in an overall speed-up when employing the bounds for formal verification. Code for our algorithms is available at https://github.com/oval-group/decomposition-plnn-bounds.


title: Clustering and Classification with Non-Existence Attributes: A Sentenced Discrepancy Measure Based Technique

abstract: For some or all of the data instances a number of independent-world clustering issues suffer from incomplete data characterization due to losing or absent attributes. Typical clustering approaches cannot be applied directly to such data unless pre-processing by techniques like imputation or marginalization. We have overcome this drawback by utilizing a Sentenced Discrepancy Measure which we refer to as the Attribute Weighted Penalty based Discrepancy (AWPD). Using the AWPD measure, we modified the K-MEANS++ and Scalable K-MEANS++ for clustering algorithm and k Nearest Neighbor (kNN) for classification so as to make them directly applicable to datasets with non-existence attributes. We have presented a detailed theoretical analysis which shows that the new AWPD based K-MEANS++, Scalable K-MEANS++ and kNN algorithm merge into a local prime among the number of iterations is finite. We have reported in depth experiments on numerous benchmark datasets for various forms of Non-Existence showing that the projected clustering and classification techniques usually show better results in comparison to some of the renowned imputation methods that are generally used to process such insufficient data. This technique is designed to trace invaluable data to: directly apply our method on the datasets which have Non-Existence attributes and establish a method for detecting unstructured Non-Existence attributes with the best accuracy rate and minimum cost.


title: Modified Cox regression with current status data

abstract: In survival analysis, the lifetime under study is not always observed. In certain applications, for some individuals, the value of the lifetime is only known to be smaller or larger than some random duration. This framework represent an extension of standard situations where the lifetime is only left or only right randomly censored. We consider the case where the independent observation units include also some covariates, and we propose two semiparametric regression models. The new models extend the standard Cox proportional hazard model to the situation of a more complex censoring mechanism. However, like in Cox's model, in both models the nonparametric baseline hazard function still could be expressed as an explicit functional of the distribution of the observations. This allows to define the estimator of the finite-dimensional parameters as the maximum of a likelihood-type criterion which is an explicit function of the data. Given an estimate of the finite-dimensional parameter, the estimation of the baseline cumulative hazard function is straightforward.


title: Neural Message Passing on High Order Paths

abstract: Graph neural network have achieved impressive results in predicting molecular properties, but they do not directly account for local and hidden structures in the graph such as functional groups and molecular geometry. At each propagation step, GNNs aggregate only over first order neighbours, ignoring important information contained in subsequent neighbours as well as the relationships between those higher order connections. In this work, we generalize graph neural nets to pass messages and aggregate across higher order paths. This allows for information to propagate over various levels and substructures of the graph. We demonstrate our model on a few tasks in molecular property prediction.


title: Ab initio molecular dynamics simulations of negative thermal expansion in ScF3: the effect of the supercell size

abstract: Scandium fluoride (ScF3) belongs to a class of negative thermal expansion (NTE) materials. It shows a strong lattice contraction up to about 1000 K switching to expansion at higher temperatures. Here the NTE effect in ScF3 is studied in the temperature range from 300 K to 1600 K using ab initio molecular dynamics (AIMD) simulations in the isothermal-isobaric (NpT) ensemble. The temperature dependence of the lattice constant, inter-atomic Sc-F-Sc bond angle distributions and the Sc-F and Sc-Sc radial distribution functions is obtained as a function of supercell size from 2a x 2a x 2a to 5a x 5a x 5a where a is the lattice parameter of ScF3. A comparison with the experimental Sc K-edge EXAFS data at 600 K is used to validate the accuracy of the AIMD simulations. Our results suggest that the AIMD calculations are able to reproduce qualitatively the NTE effect in ScF3, however a supercell size larger than 2a x 2a x 2a should be used to account accurately for dynamic disorder. The origin of the NTE in ScF3 is explained by the interplay between expansion and rotation of ScF6 octahedra.


title: Estimating Economic Models with Testable Assumptions: Theory and Applications

abstract: This paper studies the identification, estimation, and hypothesis testing problem in complete and incomplete economic models with testable assumptions. Testable assumptions ($A$) give strong and interpretable empirical content to the models but they also carry the possibility that some distribution of observed outcomes may reject these assumptions. A natural way to avoid this is to find a set of relaxed assumptions ($\tilde{A}$) that cannot be rejected by any distribution of observed outcome and the identified set of the parameter of interest is not changed when the original assumption is not rejected. The main contribution of this paper is to characterize the properties of such a relaxed assumption $\tilde{A}$ using a generalized definition of refutability and confirmability. I also propose a general method to construct such $\tilde{A}$. A general estimation and inference procedure is proposed and can be applied to most incomplete economic models. I apply my methodology to the instrument monotonicity assumption in Local Average Treatment Effect (LATE) estimation and to the sector selection assumption in a binary outcome Roy model of employment sector choice. In the LATE application, I use my general method to construct a set of relaxed assumptions $\tilde{A}$ that can never be rejected, and the identified set of LATE is the same as imposing $A$ when $A$ is not rejected. LATE is point identified under my extension $\tilde{A}$ in the LATE application. In the binary outcome Roy model, I use my method of incomplete models to relax Roy's sector selection assumption and characterize the identified set of the binary potential outcome as a polyhedron.


title: Resources for Turkish Dependency Parsing: Introducing the BOUN Treebank and the BoAT Annotation Tool

abstract: In this paper, we introduce the resources that we developed for Turkish dependency parsing, which include a novel manually annotated treebank (BOUN Treebank), along with the guidelines we adopted, and a new annotation tool (BoAT). The manual annotation process we employed was shaped and implemented by a team of four linguists and five Natural Language Processing (NLP) specialists. Decisions regarding the annotation of the BOUN Treebank were made in line with the Universal Dependencies (UD) framework as well as our recent efforts for unifying the Turkish UD treebanks through manual re-annotation. To the best of our knowledge, BOUN Treebank is the largest Turkish treebank. It contains a total of 9,761 sentences from various topics including biographical texts, national newspapers, instructional texts, popular culture articles, and essays. In addition, we report the parsing results of a state-of-the-art dependency parser obtained over the BOUN Treebank as well as two other treebanks in Turkish. Our results demonstrate that the unification of the Turkish annotation scheme and the introduction of a more comprehensive treebank lead to improved performance with regard to dependency parsing.


title: Algebraic links in lens spaces

abstract: The lens space $L_{p,q}$ is the orbit space of a $\mathbb{Z}_{p}$-action on the three sphere. We investigate polynomials of two complex variables that are invariant under this action, and thus define links in $L_{p,q}$. We study properties of these links, and their relationship with the classical algebraic links. We prove that all algebraic links in lens spaces are fibered, and obtain results about their Seifert genus. We find some examples of algebraic knots in lens spaces, whose lift in the $3$-sphere is a torus link.


title: Active and finite-size particles in decaying quantum turbulence at low temperature

abstract: The evolution of a turbulent tangle of quantum vortices in presence of finite-size active particles is studied by means of numerical simulations of the Gross-Pitaevskii equation. Particles are modeled as potentials depleting the superfluid and described with classical degrees of freedom following a Newtonian dynamics. It is shown that particles do not modify the building-up and the decay of the superfluid Kolmogorov turbulent regime. It is observed that almost the totality of particles remains trapped inside quantum vortices, although they are occasionally detached and recaptured. The statistics of this process are presented and discussed. The particle Lagrangian dynamics is also studied. At large time scales, the velocity spectrum of particles is reminiscent of a classical Lagrangian turbulent behavior. At time-scales faster than the turnover time associated to the mean inter-vortex distance, the particle motion is dominated by oscillations due to Magnus effect. For light particles a non-classical scaling of the spectrum arises. The particle velocity and acceleration probability distribution functions are then studied. The decorrelation time of the particle acceleration is found to be shorter than in classical fluids, and related to the Magnus force experienced by the trapped particles.


title: Origin of pressure-induced insulator-to-metal transition in the van der Waals compound FePS3 from first-principles calculations

abstract: Pressure-induced insulator-to-metal transition (IMT) has been studied in the van der Waals compound iron thiophosphate (FePS3) using first-principles calculations within the periodic linear combination of atomic orbitals method with hybrid Hartree-Fock-DFT B3LYP functional. Our calculations reproduce correctly the IMT at ~15 GPa, which is accompanied by a reduction of the unit cell volume and of the vdW gap. We found from the detailed analysis of the projected density of states that the 3p states of phosphorus atoms contribute significantly at the bottom of the conduction band. As a result, the collapse of the band gap occurs due to changes in the electronic structure of FePS3 induced by relative displacements of phosphorus or sulfur atoms along the c-axis direction under pressure.


title: Boosting rare benthic macroinvertebrates taxa identification with one-class classification

abstract: Insect monitoring is crucial for understanding the consequences of rapid ecological changes, but taxa identification currently requires tedious manual expert work and cannot be scaled-up efficiently. Deep convolutional neural networks (CNNs), provide a viable way to significantly increase the biomonitoring volumes. However, taxa abundances are typically very imbalanced and the amounts of training images for the rarest classes are simply too low for deep CNNs. As a result, the samples from the rare classes are often completely missed, while detecting them has biological importance. In this paper, we propose combining the trained deep CNN with one-class classifiers to improve the rare species identification. One-class classification models are traditionally trained with much fewer samples and they can provide a mechanism to indicate samples potentially belonging to the rare classes for human inspection. Our experiments confirm that the proposed approach may indeed support moving towards partial automation of the taxa identification task.


title: Dual Mirror Descent for Online Allocation Problems

abstract: We consider online allocation problems with concave revenue functions and resource constraints, which are central problems in revenue management and online advertising. In these settings, requests arrive sequentially during a finite horizon and, for each request, a decision maker needs to choose an action that consumes a certain amount of resources and generates revenue. The revenue function and resource consumption of each request are drawn independently and at random from a probability distribution that is unknown to the decision maker. The objective is to maximize cumulative revenues subject to a constraint on the total consumption of resources. We design a general class of algorithms that achieve sub-linear expected regret compared to the hindsight optimal allocation. Our algorithms operate in the Lagrangian dual space: they maintain a dual multiplier for each resource that is updated using online mirror descent. By choosing the reference function accordingly, we recover dual sub-gradient descent and dual exponential weights algorithm. The resulting algorithms are simple, efficient, and shown to attain the optimal order of regret when the length of the horizon and the initial number of resources are scaled proportionally. We discuss applications to online bidding in repeated auctions with budget constraints and online proportional matching with high entropy.


title: Quadratic descent of hermitian forms (with an erratum)

abstract: Quadratic descent of hermitian and skew hermitian forms over division algebras with involution of the first kind in arbitrary characteristic is investigated and a criterion, in terms of systems of quadratic forms, is obtained. A refined result is also obtained for hermitian (resp. skew hermitian) forms over a quaternion algebra with symplectic (resp. orthogonal) involution.


title: Universal visibility patterns of unimodal maps

abstract: We explore the order in chaos by studying the geometric structure of time series that can be deduced from a visibility mapping. This visibility mapping associates to each point $(t,x(t))$ of the time series to its horizontal visibility basin, i.e. the number of points of the time series that can be seen horizontally from each respective point. We apply this study to the class of unimodal maps that give rise to equivalent bifurcation diagrams. We use the classical logistic map to illustrate the main results of this paper: there are visibility patterns in each cascade of the bifurcation diagram, converging at the onset of chaos. The visibility pattern of a periodic time series is generated from elementary blocks of visibility in a recursive way. This rule of recurrence applies to all periodic-doubling cascades. Within a particular window, as the growth parameter $r$ varies and each period doubles, these blocks are recurrently embedded forming the visibility pattern for each period. In the limit, at the onset of chaos, an infinite pattern of visibility appears containing all visibility patterns of the periodic time series of the cascade. We have seen that these visibility patterns have specific properties: (i) the size of the elementary blocks depends on the period of the time series, (ii) certain time series sharing the same periodicity can have different elementary blocks and, therefore, different visibility patterns, (iii) since the 2-period and 3-period windows are unique, the respective elementary blocks, $ \{2\} $ and $ \{2 \, 3\}$, are also unique and thus, their visibility patterns. We explore the visibility patterns of other low-periodic time series and also enumerate all elementary blocks of each of their periodic windows. All of these visibility patterns are reflected in the corresponding accumulation points at the onset of chaos, where periodicity is lost.


title: On the smoothness of lexicographic points on Hilbert schemes

abstract: We study the geometry of standard graded Hilbert schemes of polynomial rings and exterior algebras. Our investigation is motivated by a famous theorem of Reeves and Stillman for the Grothendieck Hilbert scheme, which states that the lexicographic point is smooth. By contrast, we show that, in standard graded Hilbert schemes of polynomial rings and exterior algebras, the lexicographic point can be singular, and it can lie in multiple irreducible components. We answer questions of Peeva-Stillman and of Maclagan-Smith.


title: Rough Path Theory to approximate Random Dynamical Systems

abstract: We consider the rough differential equation $dY=f(Y)d\bm \om$ where $\bm \om=(\omega,\bbomega)$ is a rough path defined by a Brownian motion $\omega$ on $\RR^m$. Under the usual regularity assumption on $f$, namely $f\in C^3_b (\RR^d, \RR^{d\times m})$, the rough differential equation has a unique solution that defines a random dynamical system $\phi_0$. On the other hand, we also consider an ordinary random differential equation $dY_\delta=f(Y_\delta)d\omega_\de$, where $\omega_\de$ is a random process with stationary increments and continuously differentiable paths that approximates $\omega$. The latter differential equation generates a random dynamical system $\phi_\delta$ as well. We show the convergence of the random dynamical system $\phi_\delta$ to $\phi_0$ for $\delta\to 0$ in H\"older norm.


title: Experimental realization of local-to-global noise transition in a two-qubit optical simulator

abstract: We demonstrate the transition from local to global noise in a two-qubit all-optical quantum simulator subject to classical random fluctuations. Qubits are encoded in the polarization degree of freedom of two entangled photons generated by parametric down-conversion (PDC) while the environment is implemented using their spatial degrees of freedom. The ability to manipulate with high accuracy the number of correlated pixels of a spatial-light-modulator and the spectral PDC width, allows us to control the transition from a scenario where the qubits are embedded in local environments to the situation where they are subject to the same global noise. We witness the transition by monitoring the decoherence of the two-qubit state.


title: Nonlocal elastic metasurfaces: enabling broadband wave control via intentional nonlocality

abstract: While elastic metasurfaces offer a remarkable and very effective approach to the subwalength control of stress waves, their use in practical applications is severely hindered by intrinsically narrow band performance. This work introduces the concept of intentional nonlocality as a fundamental mechanism to design passive elastic metasurfaces capable of an exceptionally broadband operating range. The nonlocal behavior is achieved by exploiting nonlocal forces, conceptually akin to long-range interactions in nonlocal material microstructures, between subsets of resonant unit cells forming the metasurface. These long-range forces are obtained via carefully crafted flexible elements whose specific geometry and local dynamics are designed to create remarkably complex transfer functions between multiple units. The resulting nonlocal coupling forces enable achieving phase gradient profiles that are function of the wavenumber of the incident wave.The identification of relevant design parameters and the assessment of their impact on performance are explored via a combination of semi-analytical and numerical models. The nonlocal metasurface concept is tested, both numerically and experimentally, by embedding a total-internal-reflection design in a thin plate waveguide. Results confirm the feasibility of the intentionally nonlocal design concept and its ability to achieve a fully passive and broadband wave control.


title: Adding salt to expand voltage window of humid ionic liquids

abstract: Humid hydrophobic ionic liquids, widely used as electrolytes, have narrowed electrochemical windows, because their water, absorbed on the electrode surface, gets involved in electrolysis. In this work, we performed molecular dynamics simulations to explore effects of adding Li-salt in humid ionic liquids on the water adsorbed on the electrode surface. Results reveal that most of water molecules are pushed away from both cathode and anode, by adding salt. The water remained on the electrode is almost bound with Li+, which has significantly lowered activity. The Li+-bonding and re-arrangement of the surface-adsorbed water both facilitate the inhibition of water electrolysis, and thus prevent the reduction of electrochemical windows of humid hydrophobic ionic liquids. This finding is testified by cyclic voltammetry measurements where salt-in-humid ionic liquids exhibit enhanced electrochemical windows. Our work provides the underlying mechanism and a simple but practical approach for protection of humid ionic liquids from performance degradation.


title: Distributed Frequency Emergency Control with Coordinated Edge Intelligence

abstract: Developing effective strategies to rapidly support grid frequency while minimizing loss in case of severe contingencies is an important requirement in power systems. While distributed responsive load demands are commonly adopted for frequency regulation, it is difficult to achieve both rapid response and global accuracy in a practical and cost-effective manner. In this paper, the cyber-physical design of an Internet-of-Things (IoT) enabled system, called Grid Sense, is presented. Grid Sense utilizes a large number of distributed appliances for frequency emergency support. It features a local power loss $\Delta P$ estimation approach for frequency emergency control based on coordinated edge intelligence. The specifically designed smart outlets of Grid Sense detect the frequency disturbance event locally using the parameters sent from the control center to estimate active power loss in the system and to make rapid and accurate switching decisions soon after a severe contingency. Based on a modified IEEE 24-bus system, numerical simulations and hardware experiments are conducted to demonstrate the frequency support performance of Grid Sense in the aspects of accuracy and speed. It is shown that Grid Sense equipped with its local $\Delta P$-estimation frequency control approach can accurately and rapidly prevent the drop of frequency after a major power loss.


title: Impact of chronic fetal hypoxia and inflammation on cardiac pacemaker cell development

abstract: Chronic fetal hypoxia and infection are examples of adverse conditions during complicated pregnancy, which impact cardiac myogenesis and increase the lifetime risk of heart disease. However, the effects that chronic hypoxic or inflammatory environments exert on cardiac pacemaker cells are poorly understood. Here, we review the current evidence and novel avenues of bench-to-bed research in this field of perinatal cardiogenesis as well as its translational significance for early detection of future risk for cardiovascular disease.


title: Cassiopeia A, Cygnus A, Taurus A, and Virgo A at ultra-low radio frequencies

abstract: The four persistent radio sources in the northern sky with the highest flux density at metre wavelengths are Cassiopeia A, Cygnus A, Taurus A, and Virgo A; collectively they are called the A-team. Their flux densities at ultra-low frequencies (<100 MHz) can reach several thousands of janskys, and they often contaminate observations of the low-frequency sky by interfering with image processing. Furthermore, these sources are foreground objects for all-sky observations hampering the study of faint signals, such as the cosmological 21 cm line from the epoch of reionisation. We aim to produce robust models for the surface brightness emission as a function of frequency for the A-team sources at ultra-low frequencies. These models are needed for the calibration and imaging of wide-area surveys of the sky with low-frequency interferometers. This requires obtaining images at an angular resolution better than 15 arcsec with a high dynamic range and good image fidelity. We observed the A-team with the Low Frequency Array (LOFAR) at frequencies between 30 MHz and 77 MHz using the Low Band Antenna (LBA) system. We reduced the datasets and obtained an image for each A-team source. The paper presents the best models to date for the sources Cassiopeia A, Cygnus A, Taurus A, and Virgo A between 30 MHz and 77 MHz. We were able to obtain the aimed resolution and dynamic range in all cases. Owing to its compactness and complexity, observations with the long baselines of the International LOFAR Telescope will be required to improve the source model for Cygnus A further.