title: The discovery of radio halos in the Frontier Fields clusters Abell S1063 and Abell 370

abstract: Massive merging galaxy clusters often host diffuse Mpc-scale radio synchrotron emission. This emission originates from relativistic electrons in the ionized intracluster medium (ICM). An important question is how these synchrotron emitting relativistic electrons are accelerated. Our aim is to search for diffuse emission in the Frontier Fields clusters Abell S1063 and Abell 370 and characterize its properties. While these clusters are very massive and well studied at some other wavelengths, no diffuse emission has been reported for these clusters so far. We obtained 325 MHz Giant Metrewave Radio Telescope (GMRT) and 1--4 GHz Jansky Very Large Array (VLA) observations of Abell S1063 and Abell 370. We complement these data with Chandra and XMM-Newton X-ray observations. In our sensitive images, we discover radio halos in both clusters. In Abell S1063, a giant radio halo is found with a size of $\sim 1.2$ Mpc. The integrated spectral index between 325 MHz and 1.5 GHz is $-0.94\pm0.08$ and it steepens to $-1.77 \pm 0.20$ between 1.5 and 3.0 GHz. This spectral steepening provides support for the turbulent re-acceleration model for radio halo formation. Abell 370 hosts a faint radio halo mostly centred on the southern part of this binary merging cluster, with a size of $\sim 500-700$ kpc. The spectral index between 325 MHz and 1.5 GHz is $-1.10\pm0.09$. Both radio halos follow the known scaling relation between the cluster mass proxy $Y_{500}$ and radio power, consistent with the idea that they are related to ongoing cluster merger events.


title: Icosahedral order in liquid and glassy phases of cyclohexane

abstract: We performed all-atom molecular dynamics simulations for bulk cyclohexane and analysed the short- and medium-range structures in supercooled and glassy states by using the Voronoi tessellation technique. From the analyses of both the potential energy of the system and the radial distribution function of molecules, cyclohexane was found to be vitrified as the temperature decreased. Furthermore, the icosahedral-like structures are dominant at all temperatures and grow in a supercooled liquid, whereas the face-centred cubic structures do not grow when the temperature decreases. It was also ascertained that the icosahedral-like structure is more dominant than the full-icosahedral one. The network of the distorted icosahedron spreads throughout the system at low temperatures. Our simulation demonstrates the stability of the icosahedral structure even in a non-spherical molecule such as cyclohexane.


title: Wasserstein Distributionally Robust Motion Control for Collision Avoidance Using Conditional Value-at-Risk

abstract: In this paper, a risk-aware motion control scheme is considered for mobile robots to avoid randomly moving obstacles when the true probability distribution of uncertainty is unknown. We propose a novel model predictive control (MPC) method for limiting the risk of unsafety even when the true distribution of the obstacles' movements deviates, within an ambiguity set, from the empirical distribution obtained using a limited amount of sample data. By choosing the ambiguity set as a statistical ball with its radius measured by the Wasserstein metric, we achieve a probabilistic guarantee of the out-of-sample risk, evaluated using new sample data generated independently of the training data. To resolve the infinite-dimensionality issue inherent in the distributionally robust MPC problem, we reformulate it as a finite-dimensional nonlinear program using modern distributionally robust optimization techniques based on the Kantorovich duality principle. To find a globally optimal solution in the case of affine dynamics and output equations, a spatial branch-and-bound algorithm is designed using McCormick relaxation. The performance of the proposed method is demonstrated and analyzed through simulation studies using a nonlinear car-like vehicle model and a linearized quadrotor model.


title: On flag-transitive 2-(v,k,2) designs

abstract: This paper is devoted to the classification of flag-transitive 2-(v,k,2) designs. We show that apart from two known symmetric 2-(16,6,2) designs, every flag-transitive subgroup G of the automorphism group of a nontrivial 2-(v,k,2) design is primitive of affine or almost simple type. Moreover, we classify the 2-(v,k,2) designs admitting a flag transitive almost simple group G with socle PSL(n,q) for some n \geq 3. Alongside this analysis, we give a construction for a flag-transitive 2-(v,k-1,k-2) design from a given flag-transitive 2-(v,k,1) design which induces a 2-transitive action on a line. Taking the design of points and lines of the projective space PG(n-1,3) as input to this construction yields a G-flag-transitive 2-(v,3,2) design where G has socle PSL(n,3) and v=(3^n-1)/2. Apart from these designs, our PSL-classification yields exactly one other example, namely the complement of the Fano plane.


title: A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems

abstract: The state inference problem and fault diagnosis/prediction problem are fundamental topics in many areas. In this paper, we consider discrete-event systems (DESs) modeled by finite-state automata (FSAs). There exist results for decentralized versions of the latter problem but there is almost no result for a decentralized version of the former problem. We propose a decentralized version of strong detectability called co-detectability which implies that once a system satisfies this property, for each generated infinite-length event sequence, at least one local observer can determine the current and subsequent states after a common observation time delay. We prove that the problem of verifying co-detectability of FSAs is coNP-hard. Moreover, we use a unified concurrent-composition method to give PSPACE verification algorithms for co-detectability, co-diagnosability, and co-predictability of FSAs, without any assumption or modifying the FSAs under consideration, where co-diagnosability is firstly studied by [Debouk & Lafortune & Teneketzis 2000], while co-predictability is firstly studied by [Kumar \& Takai 2010]. By our proposed unified method, one can see that in order to verify co-detectability, more technical difficulties will be met compared to verifying the other two properties, because in co-detectability, generated outputs are counted, but in the latter two properties, only occurrences of events are counted. For example, when one output was generated, any number of unobservable events could have occurred. The PSPACE-hardness of verifying co-diagnosability is already known in the literature. In this paper, we prove the PSPACE-hardness of verifying co-predictability.


title: Quantity vs. size in representation theory

abstract: In this note, we survey two instances in the representation theory of finite-dimensional algebras where the quantity of a type of structures is intimately related to the size of those same structures. More explicitly, we review the fact that (1) a finite-dimensional algebra admits only finitely many indecomposable modules up to isomorphism if and only if every indecomposable module is finite-dimensional; (2) the category of modules over a finite-dimensional algebra admits only finitely many torsion classes if and only if every torsion class is generated by a finite-dimensional module.


title: Cooperative Pursuit with Multi-Pursuer and One Faster Free-moving Evader

abstract: This paper addresses a multi-pursuer single-evader pursuit-evasion game where the free-moving evader moves faster than the pursuers. Most of the existing works impose constraints on the faster evader such as limited moving area and moving direction. When the faster evader is allowed to move freely without any constraint, the main issues are how to form an encirclement to trap the evader into the capture domain, how to balance between forming an encirclement and approaching the faster evader, and what conditions make the capture possible. In this paper, a distributed pursuit algorithm is proposed to enable pursuers to form an encirclement and approach the faster evader. An algorithm that balances between forming an encirclement and approaching the faster evader is proposed. Moreover, sufficient capture conditions are derived based on the initial spatial distribution and the speed ratios of the pursuers and the evader. Simulation and experimental results on ground robots validate the effectiveness and practicability of the proposed method.


title: Fine-grained Image Classification and Retrieval by Combining Visual and Locally Pooled Textual Features

abstract: Text contained in an image carries high-level semantics that can be exploited to achieve richer image understanding. In particular, the mere presence of text provides strong guiding content that should be employed to tackle a diversity of computer vision tasks such as image retrieval, fine-grained classification, and visual question answering. In this paper, we address the problem of fine-grained classification and image retrieval by leveraging textual information along with visual cues to comprehend the existing intrinsic relation between the two modalities. The novelty of the proposed model consists of the usage of a PHOC descriptor to construct a bag of textual words along with a Fisher Vector Encoding that captures the morphology of text. This approach provides a stronger multimodal representation for this task and as our experiments demonstrate, it achieves state-of-the-art results on two different tasks, fine-grained classification and image retrieval.


title: HumBug Zooniverse: a crowd-sourced acoustic mosquito dataset

abstract: Mosquitoes are the only known vector of malaria, which leads to hundreds of thousands of deaths each year. Understanding the number and location of potential mosquito vectors is of paramount importance to aid the reduction of malaria transmission cases. In recent years, deep learning has become widely used for bioacoustic classification tasks. In order to enable further research applications in this field, we release a new dataset of mosquito audio recordings. With over a thousand contributors, we obtained 195,434 labels of two second duration, of which approximately 10 percent signify mosquito events. We present an example use of the dataset, in which we train a convolutional neural network on log-Mel features, showcasing the information content of the labels. We hope this will become a vital resource for those researching all aspects of malaria, and add to the existing audio datasets for bioacoustic detection and signal processing.


title: Change Detection in Dynamic Attributed Networks

abstract: A network provides powerful means of representing complex relationships between entities by abstracting entities as vertices, and relationships as edges connecting vertices in a graph. Beyond the presence or absence of relationships, a network may contain additional information that can be attributed to the entities and their relationships. Attaching these additional attribute data to the corresponding vertices and edges yields an attributed graph. Moreover, in the majority of real-world applications, such as online social networks, financial networks and transactional networks, relationships between entities evolve over time. Change detection in dynamic attributed networks is an important problem in many areas, such as fraud detection, cyber intrusion detection and health care monitoring. It is a challenging problem because it involves a time sequence of attributed graphs, each of which is usually very large and can contain many attributes attached to the vertices and edges, resulting in a complex, high dimensional mathematical object. In this survey we provide an overview of some of the existing change detection methods that utilize attribute information. We categorize these methods based on the levels of structure in the graph that are exploited to detect changes. These levels are vertices, edges, subgraphs, communities and the overall graph. We focus our attention on the strengths and weaknesses of these methods, including performance and scalability. Finally we discuss some publicly available dynamic network datasets and give a brief overview of simulation models to generate synthetic dynamic attributed networks.


title: NODIS: Neural Ordinary Differential Scene Understanding

abstract: Semantic image understanding is a challenging topic in computer vision. It requires to detect all objects in an image, but also to identify all the relations between them. Detected objects, their labels and the discovered relations can be used to construct a scene graph which provides an abstract semantic interpretation of an image. In previous works, relations were identified by solving an assignment problem formulated as Mixed-Integer Linear Programs. In this work, we interpret that formulation as Ordinary Differential Equation (ODE). The proposed architecture performs scene graph inference by solving a neural variant of an ODE by end-to-end learning. It achieves state-of-the-art results on all three benchmark tasks: scene graph generation (SGGen), classification (SGCls) and visual relationship detection (PredCls) on Visual Genome benchmark.


title: On a class of Lebesgue-Ljunggren-Nagell type equations

abstract: Given odd, coprime integers $a$, $b$ ($a>0$), we consider the Diophantine equation $ax^2+b^{2l}=4y^n$, $x, y\in\Bbb Z$, $l \in \Bbb N$, $n$ odd prime, $\gcd(x,y)=1$. We completely solve the above Diophantine equation for $a\in\{7,11,19,43,67,163\}$, and $b$ a power of an odd prime, under the conditions $2^{n-1}b^l\not\equiv \pm 1(\mod a)$ and $\gcd(n,b)=1$. For other square-free integers $a>3$ and $b$ a power of an odd prime, we prove that the above Diophantine equation has no solutions for all integers $x$, $y$ with ($\gcd(x,y)=1$), $l\in\mathbb{N}$ and all odd primes $n>3$, satisfying $2^{n-1}b^l\not\equiv \pm 1(\mod a)$, $\gcd(n,b)=1$, and $\gcd(n,h(-a))=1$, where $h(-a)$ denotes the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-a})$.


title: Invariance principle for a Potts interface along a wall

abstract: We consider nearest-neighbor two-dimensional Potts models, with boundary conditions leading to the presence of an interface along the bottom wall of the box. We show that, after a suitable diffusive scaling, the interface weakly converges to the standard Brownian excursion.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: The propagating mechanism of Chapman-Jouguet deflagration

abstract: The deflagration-to-detonation transition (DDT) process is of great importance to both combustion theory and industry safety. In this study, the propagating mechanism of Chapman-Jouguet (C-J) deflagration is studied. Firstly, three models are put forth to decouple the C-J detonation front. These three models are (a) to introduce an expansion parameter into the one-dimensional energy equation, (b) to increase the activation energy of the chemical reaction model and (c) to decouple the shock wave from the flame front by artificial method. The C-J deflagration is obtained after the C-J detonation is decoupled by one-dimensional numerical simulations with different models, chemical reaction kinetics and numerical schemes. Secondly, the propagating mechanism of C-J deflagration is discussed. For the C-J deflagration with a propagating velocity of about 1/2 C-J detonation, the static temperature behind the leading shock wave is too low to ignite the combustion. But, the total temperature of the flow induced by the leading shock wave is high enough to ignite the mixture. The induced flow is slowed down by the rarefaction waves form the wall and its static temperature increases. The flame and the leading shock wave propagate with almost the same velocity and the double-discontinuity structure of the flow field keeps stable. The propagating velocity equals to the sound speed of the combustion products, which is about 1/2 C-J detonation velocity.


title: Bi-Lipschitz contact invariance of rank

abstract: In this note we show that the rank of a smooth map is a bi-Lipschitz contact invariant. As a consequence, the first Boardman symbol and its length are bi-Lipschitz contact invariants. We also give a counterexample showing that Boardman symbol of a smooth map is not a bi-Lipschitz right invariant.


title: Diurnal Self-Aggregation

abstract: Convective self-aggregation is a modelling paradigm for thunderstorm organisation over a constant-temperature tropical sea surface. This setup can give rise to cloud clusters over timescales of weeks. In reality, sea surface temperatures do oscillate diurnally, affecting the atmospheric state. Over land, surface temperatures vary more strongly, and rain rate is significantly influenced. Here, we carry out a substantial suite of cloud-resolving numerical experiments, and find that even weak surface temperature oscillations enable qualitatively different dynamics to emerge: the spatial distribution of rainfall is only homogeneous during the first day. Already on the second day, the rain field is firmly structured. In later days, the clustering becomes stronger and alternates from day-to-day. We show that these features are robust to changes in resolution, domain size, and surface temperature, but can be removed by a reduction of the amplitude of oscillation, suggesting a transition to a clustered state. Maximal clustering occurs at a scale of $\mathbf{l_{max}\approx 180\;km}$, a scale we relate to the emergence of mesoscale convective systems. At $\mathbf{l_{max}}$ rainfall is strongly enhanced and far exceeds the rainfall expected at random. We explain the transition to clustering using simple conceptual modelling. Our results may help clarify how continental extremes build up and how cloud clustering over the tropical ocean could emerge much faster than through conventional self-aggregation alone.


title: Gravitational Waves from first-order phase transition and domain wall

abstract: In many particle physics models, domain wall can form during the phase transition process after discrete symmetry breaking. We study the scenario within a complex singlet extended Standard Model framework, where a strongly first order phase transition can occur depending on the hidden scalar mass and the mixing between the extra heavy Higgs and the SM Higgs mass. The gravitational wave spectrum is of a typical two-peak shape, the amplitude and the peak from the strongly first order phase transition is able to be probed by the future space-based interferometers, and the one locates around the peak from the domain wall decay is far beyond the capability of the current PTA, and future SKA.


title: Hahn-Banach for metric functionals and horofunctions

abstract: It is observed that a natural analog of the Hahn-Banach theorem is valid for metric functionals but fails for horofunctions. Several statements of the existence of invariant metric functionals for individual isometries and 1-Lipschitz maps are proved. Various other definitions, examples and facts are pointed out related to this topic. In particular it is shown that the metric (horofunction) boundary of every infinite Cayley graphs contains at least two points.


title: Nonstandard Cayley automatic representations of fundamental groups

abstract: We construct a new family of Cayley automatic representations of semidirect products $\mathbb{Z}^n \rtimes_A \mathbb{Z}$ for which none of the projections of the normal subgroup $\mathbb{Z}^n$ onto each of its cyclic components is finite automaton recognizable. For $n=2$ we describe a family of matrices from $\mathrm{GL}(2,\mathbb{Z})$ corresponding to these representations. We are motivated by a problem of characterization of all possible Cayley automatic representations of these groups.


title: Low-entangled UHMWPE melt: analytical model and computer simulations

abstract: In this work we developed a theoretical model to describe the polymerization of very long macromolecules with simultaneous precipitation. As a reference system for our model we consider UHMWPE polymerization process, via homogeneous catalysis and with molecular weight above $10^6$ monomers. We derived time dependency of the entanglement length in the system, and assessed how polymerization rate and fraction of initiators affects this dependency. We show that decrease of the fraction of initiators leads to increase of the average entanglement length in the melt after complete polymerization. The results are supported by computer simulations and in principle could be applied to the wide set of polymerized materials, both crystallized and amorphous.


title: Finite Element Approximation and Analysis of Viscoelastic Scalar Wave Propagation with Internal Variable Formulations

abstract: We consider linear scalar wave equations with a hereditary integral term of the kind used to model viscoelastic solids. The kernel in this Volterra integral is a sum of decaying exponentials (The so-called Maxwell, or Zener model) and this allows the introduction of one of two types of families of internal variables, each of which evolve according to an ordinary differential equation (ODE). There is one such ODE for each decaying exponential, and the introduction of these ODEs means that the Volterra integral can be removed from the governing equation. The two types of internal variable are distinguished by whether the unknown appears in the Volterra integral, or whether its time derivative appears; we call the resulting problems the displacement and velocity forms. We define fully discrete formulations for each of these forms by using continuous Galerkin finite element approximations in space and an implicit `Crank-Nicolson' type of finite difference method in time. We prove stability and a priori bounds, and (using the FEniCS environment, https://fenicsproject.org/) give some numerical results. These bounds do not require Gr\"onwall's inequality and so can be regarded to be of high quality, allowing confidence in long time integration without an a priori exponential build up of error. As far as we are aware this is the first time that these two formulations have been described together with accompanying proofs of such high quality stability and error bounds. The extension of the results to vector-valued viscoelasticity problems is straightforward and summarised at the end. The numerical results are reproducible by acquiring the python sources from https://github.com/Yongseok7717, or by running a custom built docker container (instructions are given).


title: Collective magnetic dynamics in artificial spin ice probed by AC susceptibility

abstract: We report on the study of the thermal dynamics of square artificial spin ice, probed by means of temperature and frequency dependent AC susceptibility. Pronounced influence of the inter-island coupling strength was found on the frequency response of the samples. Through the subsequent analysis of the frequency- and coupling-dependent freezing temperatures, we discuss the phenomenological parameters obtained in the framework of Vogel-Fulcher-Tammann law in terms of the samples microscopic features. The high sensitivity and robust signal to noise ratio of AC susceptibility validates the latter as a promising and simple experimental technique for resolving the dynamics and temperature driven dynamics crossovers for the case of artificial spin ice.


title: Deciding contractibility of a non-simple curve on the boundary of a 3-manifold: A computational Loop Theorem

abstract: We present an algorithm for the following problem. Given a triangulated 3-manifold M and a (possibly non-simple) closed curve on the boundary of M, decide whether this curve is contractible in M. Our algorithm runs in space polynomial in the size of the input, and (thus) in exponential time. This is the first algorithm that is specifically designed for this problem; it considerably improves upon the existing bounds implicit in the literature for the more general problem of contractibility of closed curves in a 3-manifold. The proof of the correctness of the algorithm relies on methods of 3-manifold topology and in particular on those used in the proof of the Loop Theorem. As a byproduct, we obtain an algorithmic version of the Loop Theorem that runs in polynomial space, and (thus) in exponential time.


title: Invariable generation and wreath products

abstract: Invariable generation is a topic that has predominantly been studied for finite groups. In 2014, Kantor, Lubotzky, and Shalev produced extensive tools for investigating invariable generation for infinite groups. Since their paper, various authors have investigated the property for particular infinite groups or families of infinite groups. A group is invariably generated by a subset $S$ if replacing each element of $S$ with any of its conjugates still results in a generating set for $G$. In this paper we investigate how this property behaves with respect to wreath products. Our main work is to deal with the case where the base of $G\wr_X H$ is not invariably generated. We see both positive and negative results here depending on $H$ and its action on $X$.


title: Implementation of a general single-qubit positive operator-valued measure on a circuit-based quantum computer

abstract: We derive a deterministic protocol to implement a general single-qubit POVM on near-term circuit-based quantum computers. The protocol has a modular structure, such that an $n$-element POVM is implemented as a sequence of $(n-1)$ circuit modules. Each module performs a $2$-element POVM. Two variations of the protocol are suggested, one optimal in terms of number of ancilla qubits, the other optimal in terms of number of qubit gate operations and quantum circuit depth. We use the protocol to implement $2$- and $3$-element POVMs on two publicly available quantum computing devices. The results we obtain suggest that implementing non-trivial POVMs could be within the reach of the current noisy quantum computing devices.


title: Heavy neutral leptons at ANUBIS

abstract: Recently Bauer $\textit{et al.}$ arXiv:1909.13022 proposed ANUBIS, an auxiliary detector to be installed in one of the shafts above the ATLAS or CMS interaction point, as a tool to search for long-lived particles. Here, we study the sensitivity of this proposal for long-lived heavy neutral leptons (HNLs) in both minimal and extended scenarios. We start with the minimal HNL model where both production and decay of the HNLs are mediated by active-sterile neutrino mixing, before studying the case of right-handed neutrinos in a left-right symmetric model. We then consider a $U(1)_{B-L}$ extension of the SM. In this model HNLs are produced from the decays of the mostly SM-like Higgs boson, via mixing in the scalar sector of the theory. In all cases, we find that ANUBIS has sensitivity reach comparable to the proposed MATHUSLA detector. For the minimal HNL scenario, the contributions from $W$'s decaying to HNLs are more important at ANUBIS than at MATHUSLA, extending the sensitivity to slightly larger HNL masses at ANUBIS.


title: Self-bound supersolid stripe phase in binary Bose-Einstein condensates

abstract: Supersolidity - a coexistence of superfluidity and crystalline or amorphous density variations - has been vividly debated ever since its conjecture. While the initial focus was on helium-4, recent experiments uncovered supersolidity in ultra-cold dipolar quantum gases. Here, we propose a new self-bound supersolid phase in a binary mixture of Bose gases with short-range interactions, making use of the non-trivial properties of spin-orbit coupling. We find that a first-order phase transition from a self-bound supersolid stripe phase to a zero-minimum droplet state of the Bose gas occurs as a function of the Rabi coupling strength. These phases are characterized using the momentum distribution, the transverse spin polarization and the superfluid fraction. The critical point of the transition is estimated in an analytical framework. The predicted density-modulated supersolid stripe and zero-minimum droplet phase should be experimentally observable in a binary mixture of $^{39}$K with spin-orbit coupling.


title: Asymptotic Performance Analysis of Non-Bayesian Quickest Change Detection with an Energy Harvesting Sensor

abstract: In this paper, we consider a non-Bayesian sequential change detection based on the Cumulative Sum (CUSUM) algorithm employed by an energy harvesting sensor where the distributions before and after the change are assumed to be known. In a slotted discrete-time model, the sensor, exclusively powered by randomly available harvested energy, obtains a sample and computes the log-likelihood ratio of the two distributions if it has enough energy to sense and process a sample. If it does not have enough energy in a given slot, it waits until it harvests enough energy to perform the task in a future time slot. We derive asymptotic expressions for the expected detection delay (when a change actually occurs), and the asymptotic tail distribution of the run-length to a false alarm (when a change never happens). We show that when the average harvested energy ($\bar H$) is greater than or equal to the energy required to sense and process a sample ($E_s$), standard existing asymptotic results for the CUSUM test apply since the energy storage level at the sensor is greater than $E_s$ after a sufficiently long time. However, when the $\bar H < E_s$, the energy storage level can be modelled by a positive Harris recurrent Markov chain with a unique stationary distribution. Using asymptotic results from Markov random walk theory and associated nonlinear Markov renewal theory, we establish asymptotic expressions for the expected detection delay and asymptotic exponentiality of the tail distribution of the run-length to a false alarm in this non-trivial case. Numerical results are provided to support the theoretical results.


title: Deep Image Compression using Decoder Side Information

abstract: We present a Deep Image Compression neural network that relies on side information, which is only available to the decoder. We base our algorithm on the assumption that the image available to the encoder and the image available to the decoder are correlated, and we let the network learn these correlations in the training phase. Then, at run time, the encoder side encodes the input image without knowing anything about the decoder side image and sends it to the decoder. The decoder then uses the encoded input image and the side information image to reconstruct the original image. This problem is known as Distributed Source Coding in Information Theory, and we discuss several use cases for this technology. We compare our algorithm to several image compression algorithms and show that adding decoder-only side information does indeed improve results. Our code is publicly available at https://github.com/ayziksha/DSIN.


title: Learning Overlapping Representations for the Estimation of Individualized Treatment Effects

abstract: The choice of making an intervention depends on its potential benefit or harm in comparison to alternatives. Estimating the likely outcome of alternatives from observational data is a challenging problem as all outcomes are never observed, and selection bias precludes the direct comparison of differently intervened groups. Despite their empirical success, we show that algorithms that learn domain-invariant representations of inputs (on which to make predictions) are often inappropriate, and develop generalization bounds that demonstrate the dependence on domain overlap and highlight the need for invertible latent maps. Based on these results, we develop a deep kernel regression algorithm and posterior regularization framework that substantially outperforms the state-of-the-art on a variety of benchmarks data sets.


title: Impact of Realistic Propagation Conditions on Reciprocity-Based Secret-Key Capacity

abstract: Secret-key generation exploiting the channel reciprocity between two legitimate parties is an interesting alternative solution to cryptographic primitives for key distribution in wireless systems as it does not rely on an access infrastructure and provides information-theoretic security. The large majority of works in the literature generally assumes that the eavesdropper gets no side information about the key from her observations provided that (i) it is spaced more than a wavelength away from a legitimate party and (ii) the channel is rich enough in scattering. In this paper, we show that this condition is not always verified in practice and we analyze the secret-key capacity under realistic propagation conditions.


title: Adaptive Gradient Sparsification for Efficient Federated Learning: An Online Learning Approach

abstract: Federated learning (FL) is an emerging technique for training machine learning models using geographically dispersed data collected by local entities. It includes local computation and synchronization steps. To reduce the communication overhead and improve the overall efficiency of FL, gradient sparsification (GS) can be applied, where instead of the full gradient, only a small subset of important elements of the gradient is communicated. Existing work on GS uses a fixed degree of gradient sparsity for i.i.d.-distributed data within a datacenter. In this paper, we consider adaptive degree of sparsity and non-i.i.d. local datasets. We first present a fairness-aware GS method which ensures that different clients provide a similar amount of updates. Then, with the goal of minimizing the overall training time, we propose a novel online learning formulation and algorithm for automatically determining the near-optimal communication and computation trade-off that is controlled by the degree of gradient sparsity. The online learning algorithm uses an estimated sign of the derivative of the objective function, which gives a regret bound that is asymptotically equal to the case where exact derivative is available. Experiments with real datasets confirm the benefits of our proposed approaches, showing up to $40\%$ improvement in model accuracy for a finite training time.


title: On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds

abstract: Data exchange heavily relies on the notion of incomplete database instances. Several semantics for such instances have been proposed and include open (OWA), closed (CWA), and open-closed (OCWA) world. For all these semantics important questions are: whether one incomplete instance semantically implies another; when two are semantically equivalent; and whether a smaller or smallest semantically equivalent instance exists. For OWA and CWA these questions are fully answered. For several variants of OCWA, however, they remain open. In this work we adress these questions for Closed Powerset semantics and the OCWA semantics of Libkin and Sirangelo, 2011. We define a new OCWA semantics, called OCWA*, in terms of homomorphic covers that subsumes both semantics, and characterize semantic implication and equivalence in terms of such covers. This characterization yields a guess-and-check algorithm to decide equivalence, and shows that the problem is NP-complete. For the minimization problem we show that for several common notions of minimality there is in general no unique minimal equivalent instance for Closed Powerset semantics, and consequently not for the more expressive OCWA* either. However, for Closed Powerset semantics we show that one can find, for any incomplete database, a unique finite set of its subinstances which are subinstances (up to renaming of nulls) of all instances semantically equivalent to the original incomplete one. We study properties of this set, and extend the analysis to OCWA*.


title: Deep Audio-Visual Learning: A Survey

abstract: Audio-visual learning, aimed at exploiting the relationship between audio and visual modalities, has drawn considerable attention since deep learning started to be used successfully. Researchers tend to leverage these two modalities either to improve the performance of previously considered single-modality tasks or to address new challenging problems. In this paper, we provide a comprehensive survey of recent audio-visual learning development. We divide the current audio-visual learning tasks into four different subfields: audio-visual separation and localization, audio-visual correspondence learning, audio-visual generation, and audio-visual representation learning. State-of-the-art methods as well as the remaining challenges of each subfield are further discussed. Finally, we summarize the commonly used datasets and performance metrics.


title: Global Chemistry and Thermal Structure Models for the Hot Jupiter WASP-43b and Predictions for JWST

abstract: The James Webb Space Telescope (JWST) is expected to revolutionize the field of exoplanets. The broad wavelength coverage and the high sensitivity of its instruments will allow characterization of exoplanetary atmospheres with unprecedented precision. Following the Call for the Cycle 1 Early Release Science Program, the Transiting Exoplanet Community was awarded time to observe several targets, including WASP-43b. The atmosphere of this hot Jupiter has been intensively observed but still harbors some mysteries, especially concerning the day-night temperature gradient, the efficiency of the atmospheric circulation, and the presence of nightside clouds. We will constrain these properties by observing a full orbit of the planet and extracting its spectroscopic phase curve in the 5--12 $\mu$m range with JWST/MIRI. To prepare for these observations, we performed an extensive modeling work with various codes: radiative transfer, chemical kinetics, cloud microphysics, global circulation models, JWST simulators, and spectral retrieval. Our JWST simulations show that we should achieve a precision of 210 ppm per 0.1 $\mu$m spectral bin on average, which will allow us to measure the variations of the spectrum in longitude and measure the night-side emission spectrum for the first time. If the atmosphere of WASP-43b is clear, our observations will permit us to determine if its atmosphere has an equilibrium or disequilibrium chemical composition, providing eventually the first conclusive evidence of chemical quenching in a hot Jupiter atmosphere. If the atmosphere is cloudy, a careful retrieval analysis will allow us to identify the cloud composition.


title: Simulation computation in grammar-compressed graphs

abstract: Like [1], we present an algorithm to compute the simulation of a query pattern in a graph of labeled nodes and unlabeled edges. However, our algorithm works on a compressed graph grammar, instead of on the original graph. The speed-up of our algorithm compared to the algorithm in [1] grows with the size of the graph and with the compression strength.


title: Adversarial Disentanglement with Grouped Observations

abstract: We consider the disentanglement of the representations of the relevant attributes of the data (content) from all other factors of variations (style) using Variational Autoencoders. Some recent works addressed this problem by utilizing grouped observations, where the content attributes are assumed to be common within each group, while there is no any supervised information on the style factors. In many cases, however, these methods fail to prevent the models from using the style variables to encode content related features as well. This work supplements these algorithms with a method that eliminates the content information in the style representations. For that purpose the training objective is augmented to minimize an appropriately defined mutual information term in an adversarial way. Experimental results and comparisons on image datasets show that the resulting method can efficiently separate the content and style related attributes and generalizes to unseen data.


title: Towards early-type eclipsing binaries as extragalactic milestones: II. NLTE spectral analysis and stellar parameters of the detached O-type system OGLE-LMC-ECL-06782 in the LMC

abstract: We combine the NLTE spectral analysis of the detached O-type eclipsing binary OGLE-LMC-ECL-06782 with the analysis of the radial velocity curve and light curve to measure an independent distance to the LMC. In our spectral analysis we study composite spectra of the system at quadrature and use the information from radial velocity and light curve about stellar gravities, radii and component flux ratio to derive effective temperature, reddening, extinction and intrinsic surface brightness. We obtain a distance modulus to the LMC of m - M = 18.53 +/- 0.04 mag. This value is 0.05 mag larger than the precision distance obtained recently from the analysis of a large sample of detached, long period late spectral type eclipsing binaries but agrees within the margin of the uncertainties. We also determine the surface brightnesses of the system components and find good agreement with the published surface brightness color relationship. A comparison of the observed stellar parameters with the prediction of stellar evolution based on the MESA stellar evolution code shows reasonable agreement, but requires a reduction of the internal angular momentum transport to match the observed rotational velocities.


title: Scoring Predictions at Extreme Quantiles

abstract: Prediction of quantiles at extreme tails is of interest in numerous applications. Extreme value modelling provides various competing predictors for this point prediction problem. A common method of assessment of a set of competing predictors is to evaluate their predictive performance in a given situation. However, due to the extreme nature of this inference problem, it can be possible that the predicted quantiles are not seen in the historical records, particularly when the sample size is small. This situation poses a problem to the validation of the prediction with its realisation. In this article, we propose two non-parametric scoring approaches to assess extreme quantile prediction mechanisms. The proposed assessment methods are based on predicting a sequence of equally extreme quantiles on different parts of the data. We then use the quantile scoring function to evaluate the competing predictors. The performance of the scoring methods is compared with the conventional scoring method and the superiority of the former methods are demonstrated in a simulation study. The methods are then applied to reanalyse cyber Netflow data from Los Alamos National Laboratory and daily precipitation data at a station in California available from Global Historical Climatology Network.


title: The Number of Zeros of Quadratic Forms with Two Terms

abstract: In this paper, we will interest in finding the number of zeros of the quadratic forms over finite fields. We will apply the tool for finding the number of rational points of supersingular curves in [6]. We will give some more tools for Artin-Schreier curves related with quadratic form. We will especially interest in the (supersingular) Artin-Schreier curve $y^q-y=x^{q^b+1}-x^{q^a+1}$.


title: Assessment of Sea-Level Rise Impacts on Salt-Wedge Intrusion in Idealized and Neretva River Estuary

abstract: Understanding the response of estuaries to sea-level rise is crucial in developing a suitable mitigation and climate change adaptation strategy. This study investigates the impacts of rising sea levels on salinity intrusion in salt-wedge estuaries. The sea-level rise impacts are assessed in idealized estuaries using simple expressions derived from a two-layer hydraulic theory, and in the Neretva River Estuary in Croatia using a two-layer time-dependent model. The assessment is based on three indicators - the salt-wedge intrusion length, the seawater volume, and the river inflows needed to restore the baseline intrusion. The potential SLR was found to increase all three considered indicators. Theoretical analysis in idealized estuaries suggests that shallower estuaries are more sensitive to SLR. Numerical results for the Neretva River Estuary showed that SLR may increase salt-wedge intrusion length, volume, and corrective river inflow. However, the results are highly non-linear because of the channel geometry, especially for lower river inflows. A theoretical assessment of channel bed slope impacts on limiting a potential intrusion is therefore additionally discussed. This findings emphasize the need to use several different indicators when assessing SLR impacts.


title: Self-reciprocal and self-conjugate-reciprocal irreducible factors of $x^n-\lambda$ and their applications

abstract: In this paper, we present some necessary and sufficient conditions under which an irreducible polynomial is self-reciprocal (SR) or self-conjugate-reciprocal (SCR). By these characterizations, we obtain some enumeration formulas of SR and SCR irreducible factors of $x^n-\lambda$, $\lambda\in \Bbb F_q^*$, over $\Bbb F_q$, which are just open questions posed by Boripan {\em et al} (2019). We also count the numbers of Euclidean and Hermitian LCD constacyclic codes and show some well-known results on Euclidean and Hermitian self-dual constacyclic codes in a simple and direct way.


title: Critical Sets of PL and Discrete Morse Theory: a Correspondence

abstract: Piecewise-linear (PL) Morse theory and discrete Morse theory are used in shape analysis tasks to investigate the topological features of discretized spaces. In spite of their common origin in smooth Morse theory, various notions of critical points have been given in the literature for the discrete setting, making a clear understanding of the relationships occurring between them not obvious. This paper aims at providing equivalence results about critical points of the two discretized Morse theories. First of all, we prove the equivalence of the existing notions of PL critical points. Next, under an optimality condition called relative perfectness, we show a dimension agnostic correspondence between the set of PL critical points and that of discrete critical simplices of the combinatorial approach. Finally, we show how a relatively perfect discrete gradient vector field can be algorithmically built up to dimension 3. This way, we guarantee a formal and operative connection between critical sets in the PL and discrete theories.


title: Experimental characterisation of unsharp qubit observables and sequential measurement incompatibility via quantum random access codes

abstract: Unsharp measurements are increasingly important for foundational insights in quantum theory and quantum information applications. Here, we report an experimental implementation of unsharp qubit measurements in a sequential communication protocol, based on a quantum random access code. The protocol involves three parties; the first party prepares a qubit system, the second party performs operations which return both a classical and quantum outcome, and the latter is measured by the third party. We demonstrate a nearly-optimal sequential quantum random access code that outperforms both the best possible classical protocol and any quantum protocol which utilises only projective measurements. Furthermore, while only assuming that the involved devices operate on qubits and that detected events constitute a fair sample, we demonstrate the noise-robust characterisation of unsharp measurements based on the sequential quantum random access code. We apply this characterisation towards quantifying the degree of incompatibility of two sequential pairs of quantum measurements.


title: Cram\'er-Rao Lower Bounds Arising from Generalized Csisz\'ar Divergences

abstract: We study the geometry of probability distributions with respect to a generalized family of Csisz\'ar $f$-divergences. A member of this family is the relative $\alpha$-entropy which is also a R\'enyi analog of relative entropy in information theory and known as logarithmic or projective power divergence in statistics. We apply Eguchi's theory to derive the Fisher information metric and the dual affine connections arising from these generalized divergence functions. This enables us to arrive at a more widely applicable version of the Cram\'{e}r-Rao inequality, which provides a lower bound for the variance of an estimator for an escort of the underlying parametric probability distribution. We then extend the Amari-Nagaoka's dually flat structure of the exponential and mixer models to other distributions with respect to the aforementioned generalized metric. We show that these formulations lead us to find unbiased and efficient estimators for the escort model. Finally, we compare our work with prior results on generalized Cram\'er-Rao inequalities that were derived from non-information-geometric frameworks.

categories: cs.IT eess.SP math.IT math.ST stat.ML stat.TH


title: Indications for extra scalars at LHC? -- BSM physics at future $e^+e^-$ colliders

abstract: This paper intends to collect available data on searches for scalar resonances at LHC. It is suggested that, in the absence of SUSY, the most compelling picture is the composite framework, with the idea that the lightest particles are composite scalars of the pseudo-Nambu-Goldstone type, emerging from a broken symmetry at a higher scale, the h(125) boson being one of them. Searches in two-photons, Z-photon, ZZ into 4 leptons, top, h and W pairs are reviewed. A recent search based on lepton tagging from a spectator W/Z is also discussed. Aside from the already well-known scalar observed by CMS and LEP2 at 96 GeV, I discuss the evidence and the interpretation for a possible resonance observed in ZZ around 700 GeV by CMS and ATLAS and some evidence for a CP-odd scalar at ~400 GeV. Future searches at HL-LHC and at $e^+e^-$ colliders are briefly sketched.


title: Azimuthal decomposition study of a realistic laser profile for efficient modeling of Laser WakeField Acceleration

abstract: The advent of ultra short high intensity lasers has paved the way to new and promising, yet challenging, areas of research in the laser-plasma interaction physics. The success of constructing petawatt femtosecond lasers, for instance the Apollon laser in France, will help understanding and designing future particle accelerators and next generation of light sources. Achieving this goal intrinsically relies on the combination between experiments and massively parallel simulations. So far, Particle-In-Cell (PIC) codes have been the ultimate tool to accurately describe the laser-plasma interaction especially in the field of Laser WakeField Acceleration (LWFA) . Nevertheless, the numerical modelling of laser plasma accelerators in 3D can be a very challenging task. This is due to the large dispersity between the scales involved in this process. In order to make such simulations feasible with a significant speed up, we need to use reduced numerical models which simplify the problem while retaining a high fidelity. Among these models, Fourier field decomposition in azimuthal modes for the cylindrical geometry is a promising reduced model especially for physical problems that have close to cylindrical symmetry which is the case in LWFA. This geometry has been implemented in the open-source code Smilei in Finite Difference Time Domain (FDTD) discretization scheme for the Maxwell solver. In this paper we will study the case of a realistic laser measurement from Apollon facility, the ability of this method to describe it correctly and the determination of the necessary number of modes for this purpose. We will also show the importance of higher modes inclusion in the case of realistic laser profiles to insure fidelity in simulation.


title: Decoherence dynamics of entangled quantum states in the $XXX$ central spin model

abstract: Maintaining coherence of a qubit is of vital importance for realizing a large-scale quantum computer in practice. In this work, we study the central spin decoherence problem in the $XXX$ central spin model (CSM) and focus on the quantum states with different initial entanglement, namely intra-bath entanglement or system-bath entanglement. We analytically obtain their evolutions of fidelity, entanglement, and quantum coherence. When the initial bath spins constitute an $N$-particle entangled state (the Greenberger-Horne-Zeilinger-bath or the $W$-bath), the leading amplitudes of their fidelity evolutions both scale as $\mathcal O(1/N)$, which is the same as the case of a fully polarized bath. However, when the central spin is maximally entangled with one of the bath spins, the amplitude scaling of its fidelity evolution declines from $\mathcal O(1/N)$ to $\mathcal O(1/N^2)$. That implies appropriate initial system-bath entanglement is contributive to suppress central spin decoherence. In addition, with the help of system-bath entanglement, we realize quantum coherence-enhanced dynamics for the central spin where the consumption of bath entanglement is shown to play a central role.


title: Big Bounce Baryogenesis

abstract: We explore the possibility of an Ekpyrotic contraction phase harbouring a mechanism for Baryogenesis. A Chern-Simons coupling between the fast-rolling Ekpyrotic scalar and the Standard Model Hypercharge gauge field enables the generation of a non-zero helicity during the contraction phase. The baryon number subsequently produced at the Electroweak Phase Transition is consistent with observation for a range of couplings and bounce scales. Simultaneously, the gauge field production during the contraction provides the seeds for galactic magnetic fields and sources gravitational waves, which may provide additional avenues for observational confirmation.


title: Frobenius and spherical codomains and neighbourhoods

abstract: Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author.


title: Learned Multi-View Texture Super-Resolution

abstract: We present a super-resolution method capable of creating a high-resolution texture map for a virtual 3D object from a set of lower-resolution images of that object. Our architecture unifies the concepts of (i) multi-view super-resolution based on the redundancy of overlapping views and (ii) single-view super-resolution based on a learned prior of high-resolution (HR) image structure. The principle of multi-view super-resolution is to invert the image formation process and recover the latent HR texture from multiple lower-resolution projections. We map that inverse problem into a block of suitably designed neural network layers, and combine it with a standard encoder-decoder network for learned single-image super-resolution. Wiring the image formation model into the network avoids having to learn perspective mapping from textures to images, and elegantly handles a varying number of input views. Experiments demonstrate that the combination of multi-view observations and learned prior yields improved texture maps.


title: Neural Architecture Search for Deep Image Prior

abstract: We present a neural architecture search (NAS) technique to enhance the performance of unsupervised image de-noising, in-painting and super-resolution under the recently proposed Deep Image Prior (DIP). We show that evolutionary search can automatically optimize the encoder-decoder (E-D) structure and meta-parameters of the DIP network, which serves as a content-specific prior to regularize these single image restoration tasks. Our binary representation encodes the design space for an asymmetric E-D network that typically converges to yield a content-specific DIP within 10-20 generations using a population size of 500. The optimized architectures consistently improve upon the visual quality of classical DIP for a diverse range of photographic and artistic content.


title: The wisdom of the few: Predicting collective success from individual behavior

abstract: Can we predict top-performing products, services, or businesses by only monitoring the behavior of a small set of individuals? Although most previous studies focused on the predictive power of "hub" individuals with many social contacts, which sources of customer behavioral data are needed to address this question remains unclear, mostly due to the scarcity of available datasets that simultaneously capture individuals' purchasing patterns and social interactions. Here, we address this question in a unique, large-scale dataset that combines individuals' credit-card purchasing history with their social and mobility traits across an entire nation. Surprisingly, we find that the purchasing history alone enables the detection of small sets of ``discoverers" whose early purchases offer reliable success predictions for the brick-and-mortar stores they visit. In contrast with the assumptions by most existing studies on word-of-mouth processes, the hubs selected by social network centrality are not consistently predictive of success. Our findings show that companies and organizations with access to large-scale purchasing data can detect the discoverers and leverage their behavior to anticipate market trends, without the need for social network data.


title: Concluding Remarks at the Multifrequency Behaviour of High Energy Cosmic Sources -- XIII Workshop -- II

abstract: I summarise the concluding remarks I gave at the Multifrequency Behaviour of High Energy Cosmic Sources - XIII Workshop. That was not a summary talk and was meant to be provocative. I first give what I think the main message of the workshop was, then provide some (biased) highlights, touch upon the upcoming new facilities and the issues of "quantity vs. quality" and productivity in astronomy, and finally conclude with a look to the future. Astronomers who did not attend the workshop might still find the first two topics appealing and the last two thought-provoking.


title: NR-U and WiGig Coexistence in 60 GHz Bands

abstract: In December 2019, the 3GPP defined the road-map for Release-17, which includes new features on the operation of New Radio (NR) in millimeter-wave bands with highly directional communications systems, i.e., up to 52.6 GHz. In this paper, a system-level simulation based study on the coexistence of NR-based access to unlicensed spectrum (NR-U) and an IEEE technology, i.e., 802.11ad Wireless Gigabit (WiGig), at 60 GHz bands is conducted. For NR-U, an extension of NR Release-15 based model is used such that the 60 GHz regulatory requirements are satisfied. First, the design and capabilities of the developed open source ns-3 based simulator are presented and then end-to-end performance results of coexistence with different channel access mechanisms for NR-U in a 3GPP indoor scenario are discussed. It is shown that NR-U with Listen-Before-Talk channel access mechanism does not have any adverse impact on WiGig performance in terms of throughput and latency, which demonstrates that NR-U design fulfills the fairness coexistence objective, i.e., NR-U and WiGig coexistence is proven to be feasible.


title: Age-of-Information Dependent Random Access for Massive IoT Networks

abstract: As the most well-known application of the Internet of Things (IoT), remote monitoring is now pervasive. In these monitoring applications, information usually has a higher value when it is fresher. A new metric, termed the age of information (AoI), has recently been proposed to quantify the information freshness in various IoT applications. This paper concentrates on the design and analysis of age-oriented random access for massive IoT networks. Specifically, we devise a new stationary threshold-based age-dependent random access (ADRA) protocol, in which each IoT device accesses the channel with a certain probability only when its instantaneous AoI exceeds a predetermined threshold. We manage to evaluate the average AoI of the proposed ADRA protocol mathematically by decoupling the tangled AoI evolution of multiple IoT devices and modeling the decoupled AoI evolution of each device as a Discrete-Time Markov Chain. Simulation results validate our theoretical analysis and affirm the superior age performance of the proposed ADRA protocol over the state-of-the-art age-oriented random access schemes.


title: On generalized Holmgren's principle to the Lam\'e operator with applications to inverse elastic problems

abstract: Consider the Lam\'e operator $\mathcal{L}(\mathbf{ u} ) :=\mu \Delta \mathbf{u}+(\lambda+\mu) \nabla(\nabla \cdot \mathbf{ u} )$ that arises in the theory of linear elasticity. This paper studies the geometric properties of the (generalized) Lam\'e eigenfunction $\mathbf{u}$, namely $-\mathcal{L}(\mathbf{ u} )=\kappa \mathbf{ u}$ with $\kappa\in\mathbb{R}_+$ and $\mathbf{ u}\in L^2(\Omega)^2$, $\Omega\subset\mathbb{R}^2$. We introduce the so-called homogeneous line segments of $\mathbf{u}$ in $\Omega$, on which $\mathbf{u}$, its traction or their combination via an impedance parameter is vanishing. We give a comprehensive study on characterizing the presence of one or two such line segments and its implication to the uniqueness of $\mathbf{u}$. The results can be regarded as generalizing the classical Holmgren's uniqueness principle for the Lam\'e operator in two aspects. We establish the results by analyzing the development of analytic microlocal singularities of $\mathbf{u}$ with the presence of the aforesaid line segments. Finally, we apply the results to the inverse elastic problems in establishing two novel unique identifiability results. It is shown that a generalized impedance obstacle as well as its boundary impedance can be determined by using at most four far-field patterns. Unique determination by a minimal number of far-field patterns is a longstanding problem in inverse elastic scattering theory.


title: Towards detection and classification of microscopic foraminifera using transfer learning

abstract: Foraminifera are single-celled marine organisms, which may have a planktic or benthic lifestyle. During their life cycle they construct shells consisting of one or more chambers, and these shells remain as fossils in marine sediments. Classifying and counting these fossils have become an important tool in e.g. oceanography and climatology. Currently the process of identifying and counting microfossils is performed manually using a microscope and is very time consuming. Developing methods to automate this process is therefore considered important across a range of research fields. The first steps towards developing a deep learning model that can detect and classify microscopic foraminifera are proposed. The proposed model is based on a VGG16 model that has been pretrained on the ImageNet dataset, and adapted to the foraminifera task using transfer learning. Additionally, a novel image dataset consisting of microscopic foraminifera and sediments from the Barents Sea region is introduced.


title: Numerical methods for mean-field stochastic differential equations with jumps

abstract: In this paper, we are devoted to the numerical methods for mean-field stochastic differential equations with jumps (MSDEJs). First by using the mean-field It\^o formula [Sun, Yang and Zhao, Numer. Math. Theor. Meth. Appl., 10 (2017), pp.~798--828], we develop the It\^o formula and construct the It\^o-Taylor expansion for MSDEJs. Then based on the It\^o-Taylor expansion, we propose the strong order $\gamma$ and the weak order $\eta$ It\^o-Taylor schemes for MSDEJs. %We theoretically prove The strong and weak convergence rates $\gamma$ and $\eta$ of the strong and weak It\^o-Taylor schemes are theoretically proved, respectively. Finally some numerical tests are also presented to verify our theoretical conclusions.


title: Measurement of the muon flux for the SHiP experiment

abstract: The SHiP experiment will search for very weakly interacting particles beyond the Standard Model which are produced in a 400 \GeV/$c$ proton beam dump at the CERN SPS. About $10^{11}$ muons per spill will be produced in the dump. To design the experiment such that the muon-induced background is minimized, a precise knowledge of the muon spectrum is required. To validate the muon flux generated by our Pythia and GEANT4 based Monte Carlo simulation (FairShip), we have measured the muon flux emanating from a SHiP-like target at the SPS. This target, consisting of 13 interaction lengths of slabs of molybdenum and tungsten, followed by a 2.4 m iron hadron absorber was placed in the H4 400~\GeV/$c$ proton beam line. To identify muons and to measure the momentum spectrum, a spectrometer instrumented with drift tubes and a muon tagger were used. During a three-week period a dataset for analysis corresponding to $(3.27\pm0.07)~\times~10^{11}$ protons on target was recorded. This amounts to approximatively 1\% of a SHiP spill.


title: Parametric oscillations in a dissipative bosonic Josephson junction

abstract: We study the dynamics of a nonlinear dissipative bosonic Josephson junction (BJJ) with a time-dependent sinusoidal perturbation in interaction term. We demonstrate parametric resonance where the system undergoes sustained periodic oscillations even in the presence of dissipation. This happens when the frequency of the perturbation is close to twice the frequency of the unperturbed Josephson oscillations and the strength of perturbation exceeds a critical threshold. We have formulated the threshold conditions for parametric oscillations. To explore the nature of the oscillations, we carry out a multiple time scale analysis of the stability boundaries in terms of the V-shaped Arnold's tongue in the parameter space. Full numerical simulations have been performed for the zero-, running- and $\pi$-phase modes of nonlinear Josephson effect. Our results demonstrate that in $\pi$-phase mode, the system is capable of making a transition from regular parametric to chaotic parametric oscillations as one crosses the stability boundary. Also, the phase difference undergoes phase slip before executing sustained parametric oscillations.


title: Distributed Learning in the Non-Convex World: From Batch to Streaming Data, and Beyond

abstract: Distributed learning has become a critical enabler of the massively connected world envisioned by many. This article discusses four key elements of scalable distributed processing and real-time intelligence --- problems, data, communication and computation. Our aim is to provide a fresh and unique perspective about how these elements should work together in an effective and coherent manner. In particular, we {provide a selective review} about the recent techniques developed for optimizing non-convex models (i.e., problem classes), processing batch and streaming data (i.e., data types), over the networks in a distributed manner (i.e., communication and computation paradigm). We describe the intuitions and connections behind a core set of popular distributed algorithms, emphasizing how to trade off between computation and communication costs. Practical issues and future research directions will also be discussed.


title: What's Live? Understanding Distributed Consensus

abstract: Distributed consensus algorithms such as Paxos have been studied extensively. They all use the same definition of safety. Liveness is especially important in practice despite well-known theoretical impossibility results. However, many different liveness properties and assumptions have been stated, and there are no systematic comparisons for better understanding of these properties. This paper systematically studies and compares different liveness properties stated for over 30 prominent consensus algorithms and variants. We introduce a precise high-level language and formally specify these properties in the language. We then create a hierarchy of liveness properties combining two hierarchies of the assumptions used and a hierarchy of the assertions made, and compare the strengths and weaknesses of algorithms that ensure these properties. Our formal specifications and systematic comparisons led to the discovery of a range of problems in various stated liveness properties, from too weak assumptions for which no liveness assertions can hold, to too strong assumptions making it trivial to achieve the assertions. We also developed TLA+ specifications of these liveness properties, and we use model checking of execution steps to illustrate liveness patterns for Paxos.


title: Theory status and implications of $R_K^{(\ast)}$

abstract: The LHCb and Belle collaborations have reported on some anomalies in $b \to s$ transitions, with discrepancies with the Standard Model predictions in some angular observables and branching ratios and intriguing hints for lepton universality violation. We will review the current situation and explore the proposed New Physics explanations for these tensions. We will also discuss the possible connection of the $b \to s$ anomalies to other central problems in physics, such as the dark matter of the Universe, the origin of neutrino masses or the strong CP problem.


title: Massively parallel finite difference elasticity using block-structured adaptive mesh refinement with a geometric multigrid solver

abstract: Computationally solving the equations of elasticity is a key component in many materials science and mechanics simulations. Phenomena such as deformation-induced microstructure evolution, microfracture, and microvoid nucleation are examples of applications for which accurate stress and strain fields are required. A characteristic feature of these simulations is that the problem domain is simple (typically a rectilinear representative volume element (RVE)), but the evolution of internal topological features is extremely complex. Traditionally, the finite element method (FEM) is used for elasticity calculations; FEM is nearly ubiquituous due to (1) its ability to handle meshes of complex geometry using isoparametric elements, and (2) the weak formulation which eschews the need for computation of second derivatives. However, variable topology problems (e.g. microstructure evolution) require either remeshing, or adaptive mesh refinement (AMR) - both of which can cause extensive overhead and limited scaling. Block-structured AMR (BSAMR) is a method for adaptive mesh refinement that exhibits good scaling and is well-suited for many problems in materials science. Here, it is shown that the equations of elasticity can be efficiently solved using BSAMR using the finite difference method. The boundary operator method is used to treat different types of boundary conditions, and the "reflux-free" method is introduced to efficiently and easily treat the coarse-fine boundaries that arise in BSAMR. Examples are presented that demonstrate the use of this method in a variety of cases relevant to materials science: Eshelby inclusions, fracture, and microstructure evolution. Reasonable scaling is demonstrated up to $\sim$4000 processors with tens of millions of grid points, and good AMR efficiency is observed.


title: Macroscopic boundary effects in the one-dimensional extended Bose-Hubbard model

abstract: We study the effect of different open boundary conditions on the insulating ground states of the one-dimensional extended Bose-Hubbard model at and near unit filling. To this end, we employ the density matrix renormalization group method with system sizes up to 250 sites. To characterize the system, various order parameters and entanglement entropies are calculated. When opposite edge potentials are added to the two ends of the chain, the inversion symmetry is explicitly broken, and the regular bulk phases appear. On the other hand, simple open boundary conditions often exhibit non-degenerate ground states with a domain wall in the middle of the chain, which induces a sign-flip of an order parameter. Such a domain wall can lead to an algebraic behavior of the off-diagonals of the single particle density matrix. We show that this algebraic behavior adds only a finite contribution to the entanglement entropy, which does not diverge as the system size increases. Therefore, it is not an indication of a superfluid phase. We confirm this picture by analytical calculations based on an effective Hamiltonian for a domain wall.


title: Iterative Bayesian-based Localization Mechanism for Industry Verticals

abstract: We propose and evaluate an iterative localization mechanism employing Bayesian inference to estimate the position of a target using received signal strength measurements. The probability density functions of the target's coordinates are estimated through a Bayesian network. Herein, we consider an iterative procedure whereby our predictor (posterior distribution) is updated in a sequential order whenever new measurements are made available. The performance of the mechanism is assessed in terms of the respective root mean square error and kernel density estimation of the target coordinates. Our numerical results showed the proposed iterative mechanism achieves increasingly better estimation of the target node position each updating round of the Bayesian network with new input measurements.


title: Balance of the vorticity direction and the vorticity magnitude in 3D fractional Navier-Stokes equations

abstract: Fractional Navier-Stokes equations -- featuring a fractional Laplacian -- provide a `bridge' between the Euler equations (zero diffusion) and the Navier-Stokes equations (full diffusion). The problem of whether an initially smooth flow can spontaneously develop a singularity is a fundamental problem in mathematical physics, open for the full range of models -- from Euler to Navier-Stokes. The purpose of this work is to present a hybrid, geometric-analytic regularity criterion for solutions to the 3D fractional Navier-Stokes equations expressed as a balance -- in the average sense -- between the vorticity direction and the vorticity magnitude, key geometric and analytic descriptors of the flow, respectively.


title: On a new generating functions for the Fox-Wright functions and theirs applications

abstract: The main focus of the present paper is to investigate several generating functions for a certain classes of functions associated to the Fox-Wright functions. In particular, certain generating functions for a class of function involving the Fox-Wright functions will be expressed in terms of the H-function of two variables are investigated. As applications, some generating functions associated to the generalized Mathieu type power series and the extended Hurwitz-Lerch zeta function are established. Furthermore, some new double series identity are considered. A conjecture about the finite Laplace transform of a class of function associated to the Fox's H-function is made.


title: A machine learning approach to investigate regulatory control circuits in bacterial metabolic pathways

abstract: In this work, a machine learning approach for identifying the multi-omics metabolic regulatory control circuits inside the pathways is described. Therefore, the identification of bacterial metabolic pathways that are more regulated than others in term of their multi-omics follows from the analysis of these circuits . This is a consequence of the alternation of the omic values of codon usage and protein abundance along with the circuits. In this work, the E.Coli's Glycolysis and its multi-omic circuit features are shown as an example.


title: Predictive Physics of Inflation and Grand Unification for and from the CMB observations

abstract: This White Paper for the CNRS IN2P3 Prospective 2020 focuses on realistic and timely situations of inflation in connection with the CMB, gravitational and particle physics, adding inter-disciplinarity and unification values within a strongly predictive physical approach. The formulation of inflation in the Ginsburg-Landau approach developed by de Vega and Sanchez [1] and by Boyanovsky, de Vega, Sanchez and Destri [2]-[4] clarifies and places inflation in the setting of the effective field theories of particle physics. In addition, it sets up a clean way to directly confront the inflationary predictions with the available and forthcoming CMB data and select a definitive model. All CMB + LSS data until now show how powerful is the Ginsburg-Landau effective theory of inflation in predicting observables in agreement with observations including the inflation energy scale and the inflaton potential, and which has much more to provide in the future. It paves the way to discoveries, new learning and understanding.


title: Quantum droplets of bosonic mixtures in a one-dimensional optical lattice

abstract: We demonstrate the existence of quantum droplets in two-component one-dimensional Bose-Hubbard chains. The droplets exist for any strength of repulsive intra-species interactions provided they are balanced by comparable attractive inter-species interactions. The ground-state phase diagram is presented and the different phases are characterized by examining the density profile and off-diagonal one- and two-body correlation functions. A rich variety of phases is found, including atomic superfluid gases, atomic superfluid droplets, pair superfluid droplets, pair superfluid gases and a Mott-insulator phase. A parameter region prone to be experimentally explored is identified, where the average population per site is lower than three atoms, thus avoiding three-body losses. Finally, the bipartite entanglement of the droplets is found to have a non-trivial dependence on the number of particles.


title: Berry curvature, semiclassical electron dynamics, and topological materials: Lecture notes for Introduction to Solid State Physics

abstract: Lecture notes used in a graduate-level Introduction to Solid State Physics course at Cornell University, to serve as a supplement to textbooks at the level of Ashcroft & Mermin.


title: Parametric Probabilistic Quantum Memory

abstract: Probabilistic Quantum Memory (PQM) is a data structure that computes the distance from a binary input to all binary patterns stored in superposition on the memory. This data structure allows the development of heuristics to speed up artificial neural networks architecture selection. In this work, we propose an improved parametric version of the PQM to perform pattern classification, and we also present a PQM quantum circuit suitable for Noisy Intermediate Scale Quantum (NISQ) computers. We present a classical evaluation of a parametric PQM network classifier on public benchmark datasets. We also perform experiments to verify the viability of PQM on a 5-qubit quantum computer.


title: Thermodynamic Properties of Improved Deformed Exponential-type Potential (IDEP) for some Diatomic Molecules

abstract: Within the framework of non-relativistic quantum mechanics, the ro-vibrational energy spectra of the improved deformed exponential-type potential model are obtained using the Greene-Aldrich approximation scheme and an appropriate coordinate transformation. With the help of the energy spectra, analytical expressions of the vibrational partition function and other thermodynamic functions are derived by employing the Poisson summation formula. These thermodynamic functions are studied for the electronic states of hydrogen dimer, carbon monoxide, nitrogen dimer and lithium hydride diatomic molecules, as they vary with temperature and upper bound vibration quantum number.


title: Low-Rank Parity-Check Codes over the Ring of Integers Modulo a Prime Power

abstract: We define and analyze low-rank parity-check (LRPC) codes over extension rings of the finite chain ring $\mathbb{Z}_{p^r}$, where $p$ is a prime and $r$ is a positive integer. LRPC codes have originally been proposed by Gaborit et al.(2013) over finite fields for cryptographic applications. The adaption to finite rings is inspired by a recent paper by Kamche et al. (2019), which constructed Gabidulin codes over finite principle ideal rings with applications to space-time codes and network coding. We give a decoding algorithm based on simple linear-algebraic operations. Further, we derive an upper bound on the failure probability of the decoder. The upper bound is valid for errors whose rank is equal to the free rank.


title: Exploiting problem structure in derivative free optimization

abstract: A structured version of derivative-free random pattern search optimization algorithms is introduced which is able to exploit coordinate partially separable structure (typically associated with sparsity) often present in unconstrained and bound-constrained optimization problems. This technique improves performance by orders of magnitude and makes it possible to solve large problems that otherwise are totally intractable by other derivative-free methods. A library of interpolation-based modelling tools is also described, which can be associated to the structured or unstructured versions of the initial pattern search algorithm. The use of the library further enhances performance, especially when associated with structure. The significant gains in performance associated with these two techniques are illustrated using a new freely-available release of the BFO (Brute Force Optimizer) package firstly introduced in [Porcelli,Toint, ACM TOMS, 2017], which incorporates them. An interesting conclusion of the numerical results presented is that providing global structural information on a problem can result in significantly less evaluations of the objective function than attempting to building local Taylor-like models.


title: A Bayesian Monte-Carlo Uncertainty Model for Assessment of Shear Stress Entropy

abstract: The entropy models have been recently adopted in many studies to evaluate the distribution of the shear stress in circular channels. However, the uncertainty in their predictions and their reliability remains an open question. We present a novel method to evaluate the uncertainty of four popular entropy models, including Shannon, Shannon-Power Low (PL), Tsallis, and Renyi, in shear stress estimation in circular channels. The Bayesian Monte-Carlo (BMC) uncertainty method is simplified considering a 95% Confidence Bound (CB). We developed a new statistic index called as FREEopt-based OCB (FOCB) using the statistical indices Forecasting Range of Error Estimation (FREE) and the percentage of observed data in the CB (Nin), which integrates their combined effect. The Shannon and Shannon PL entropies had close values of the FOCB equal to 8.781 and 9.808, respectively, had the highest certainty in the calculation of shear stress values in circular channels followed by traditional uniform flow shear stress and Tsallis models with close values of 14.491 and 14.895, respectively. However, Renyi entropy with much higher values of FOCB equal to 57.726 has less certainty in the estimation of shear stress than other models. Using the presented results in this study, the amount of confidence in entropy methods in the calculation of shear stress to design and implement different types of open channels and their stability is determined.


title: Improving Semantic Analysis on Point Clouds via Auxiliary Supervision of Local Geometric Priors

abstract: Existing deep learning algorithms for point cloud analysis mainly concern discovering semantic patterns from global configuration of local geometries in a supervised learning manner. However, very few explore geometric properties revealing local surface manifolds embedded in 3D Euclidean space to discriminate semantic classes or object parts as additional supervision signals. This paper is the first attempt to propose a unique multi-task geometric learning network to improve semantic analysis by auxiliary geometric learning with local shape properties, which can be either generated via physical computation from point clouds themselves as self-supervision signals or provided as privileged information. Owing to explicitly encoding local shape manifolds in favor of semantic analysis, the proposed geometric self-supervised and privileged learning algorithms can achieve superior performance to their backbone baselines and other state-of-the-art methods, which are verified in the experiments on the popular benchmarks.


title: Grand Unified origin of gauge interactions and families replication in the Standard Model

abstract: Tremendous phenomenological success of the Standard Model (SM) suggests that its flavor structure and gauge interactions may not be arbitrary but should have a fundamental first-principle explanation. In this work, we explore how the basic distinctive properties of the SM dynamically emerge from a unified New Physics framework tying together both flavour physics and Grand Unified Theory (GUT) concepts. This framework is suggested by a novel anomaly-free supersymmetric chiral $\mathrm{E}_6 \times \mathrm{SU}_F(2) \times \mathrm{U}_F(1)$ GUT containing the SM. Among the most appealing emergent properties of this theory is the Higgs-matter unification with a highly-constrained massless chiral sector featuring two universal Yukawa couplings close to the GUT scale. At the electroweak scale, the minimal SM-like effective field theory limit of this GUT represents a specific flavored three-Higgs doublet model consistent with the observed large hierarchies in the quark mass spectra and mixing already at tree level.


title: Optimal identification of cavities in the Generalized Plane Stress problem in linear elasticity

abstract: For the Generalized Plane Stress (GPS) problem in linear elasticity, we obtain an optimal stability estimate of logarithmic type for the inverse problem of determining smooth cavities inside a thin isotropic cylinder {}from a single boundary measurement of traction and displacement. The result is obtained by reformulating the GPS problem as a Kirchhoff-Love plate-like problem in terms of the Airy's function, and by using the strong unique continuation at the boundary for a Kirchhoff-Love plate operator under homogeneous Dirichlet conditions, which has been recently obtained in \cite{l:arv}.


title: Terahertz Magnetospectroscopy of Cyclotron Resonances from Topological Surface States in Thick Films of Cd$_x$Hg$_{1-x}$Te

abstract: We present studies of the cyclotron resonance (CR) in thick Cd$_x$Hg$_{1-x}$Te films with different cadmium concentrations corresponding to inverted and normal band order, as well as to an almost linear energy dispersion. Our results demonstrate that formation of two-dimensional topological surface states requires sharp interfaces between layers with inverted and normal band order, in which case the corresponding CR is clearly observed for the out-of-plane orientation of magnetic field, but does not show up for an in-plane orientation. By contrast, all samples having more conventional technological design with smooth interfaces (i.e., containing regions of Cd$_x$Hg$_{1-x}$Te with gradually changing Cd content $x$) show equally pronounced CR in both in-plane and out-of-plane magnetic field revealing that CR is excited in three-dimensional states. Modeling of the surface states for different film designs supports our main observations. In all samples, we observe additional broad helicity-independent resonances which are attributed to photo-ionization and magnetic freeze-out of impurity states.


title: External and internal wave functions: de Broglie's double-solution theory?

abstract: We propose an interpretative framework for quantum mechanics corresponding to the specifications of Louis de Broglie's double-solution theory. The principle is to decompose the evolution of a quantum system into two wave functions: an external wave function corresponding to the evolution of its center of mass and an internal wave function corresponding to the evolution of its internal variables in the center-of-mass system. Mathematical decomposition is only possible in certain cases because there are many interactions linking these two parts. In addition, these two wave functions will have different meanings and interpretations. The external wave function "pilots" the center of mass of the quantum system: it corresponds to the Broglie pilot wave. When the Planck constant tends to zero, it results mathematically from the convergence of the square of the module and the phase of the external wave function to a density and a classical action verifying the Hamilton-Jacobi statistical equations. This interpretation explains all the measurement results, namely those yielded by interference, spin measurement (Stern and Gerlach) and non-locality (EPR-B) experiments. For the internal wave function, several interpretations are possible : the one of the pilot wave can be applied in cascade to the internal wave function. However, the interpretation proposed by Erwin Schr{\"o}dinger at the Solvay Congress in 1927 and restricted to the internal wave function is also possible. For Schr{\"o}dinger, the particles are extended and the square of the module of the (internal) wave function of an electron corresponds to the density of its charge in space. We present many arguments in favour of this interpretation, which like the pilot wave interpretation is realistic and deterministic. Finally, we will see that this double interpretation serves as a frame of reference by which to better understand the debates on the interpretation of quantum mechanics and to review the relationships between gravity and quantum mechanics.


title: Testing with Jupyter notebooks: NoteBook VALidation (nbval) plug-in for pytest

abstract: The Notebook validation tool nbval allows to load and execute Python code from a Jupyter notebook file. While computing outputs from the cells in the notebook, these outputs are compared with the outputs saved in the notebook file, treating each cell as a test. Deviations are reported as test failures, with various configuration options available to control the behaviour. Application use cases include the validation of notebook-based documentation, tutorials and textbooks, as well as the use of notebooks as additional unit, integration and system tests for the libraries that are used in the notebook. Nbval is implemented as a plugin for the pytest testing software.


title: Detecting depression in dyadic conversations with multimodal narratives and visualizations

abstract: Conversations contain a wide spectrum of multimodal information that gives us hints about the emotions and moods of the speaker. In this paper, we developed a system that supports humans to analyze conversations. Our main contribution is the identification of appropriate multimodal features and the integration of such features into verbatim conversation transcripts. We demonstrate the ability of our system to take in a wide range of multimodal information and automatically generated a prediction score for the depression state of the individual. Our experiments showed that this approach yielded better performance than the baseline model. Furthermore, the multimodal narrative approach makes it easy to integrate learnings from other disciplines, such as conversational analysis and psychology. Lastly, this interdisciplinary and automated approach is a step towards emulating how practitioners record the course of treatment as well as emulating how conversational analysts have been analyzing conversations by hand.


title: An Index Coding Approach to Caching with Uncoded Cache Placement

abstract: Caching is an efficient way to reduce network traffic congestion during peak hours, by storing some content at the user's local cache memory, even without knowledge of user's later demands. Maddah-Ali and Niesen proposed a two-phase (placement phase and delivery phase) coded caching strategy for broadcast channels with cache-aided users. This paper investigates the same model under the constraint that content is placed uncoded within the caches, that is, when bits of the files are simply copied within the caches. When the cache contents are uncoded and the users' demands are revealed, the caching problem can be connected to an index coding problem. This paper focuses on deriving fundamental performance limits for the caching problem by using tools for the index coding problem that were either known or are newly developed in this work. First, a converse bound for the caching problem under the constraint of uncoded cache placement is proposed based on the "acyclic index coding converse bound". This converse bound is proved to be achievable by the Maddah-Ali and Niesen's scheme when the number of files is not less than the number of users, and by a newly derived index coding achievable scheme otherwise. The proposed index coding achievable scheme is based on distributed source coding and strictly improves on the widely used "composite (index) coding" achievable bound and its improvements, and is of independent interest. An important consequence of the findings of this paper is that advancements on the coded caching problem posed by Maddah-Ali and Niesen are thus only possible by considering strategies with coded placement phase. A recent work by Yu et al. has however shown that coded cache placement can at most half the network load compared to the results presented in this paper.


title: A note on the kinematic model of the planar Purcell's swimmer

abstract: The kinematic model for the planar Purcell's swimmer - a low Reynolds number microswimmer is derived and used extensively in the literature. We revisit the derivation and give the explicit expression of the local form of the connection form in this note.


title: Generic Decoding in the Sum-Rank Metric

abstract: We propose the first non-trivial generic decoding algorithm for codes in the sum-rank metric. The new method combines ideas of well-known generic decoders in the Hamming and rank metric. For the same code parameters and number of errors, the new generic decoder has a larger expected complexity than the known generic decoders for the Hamming metric and smaller than the known rank-metric decoders. Furthermore, we give a formal hardness reduction, providing evidence that generic sum-rank decoding is computationally hard. As a by-product of the above, we solve some fundamental coding problems in the sum-rank metric: we give an algorithm to compute the exact size of a sphere of a given sum-rank radius, and also give an upper bound as a closed formula; and we study erasure decoding with respect to two different notions of support.


title: Review and Prospect: Deep Learning in Nuclear Magnetic Resonance Spectroscopy

abstract: Since the concept of Deep Learning (DL) was formally proposed in 2006, it had a major impact on academic research and industry. Nowadays, DL provides an unprecedented way to analyze and process data with demonstrated great results in computer vision, medical imaging, natural language processing, etc. In this Minireview, we summarize applications of DL in Nuclear Magnetic Resonance (NMR) spectroscopy and outline a perspective for DL as entirely new approaches that are likely to transform NMR spectroscopy into a much more efficient and powerful technique in chemistry and life science.

categories: physics.med-ph cs.LG eess.IV physics.bio-ph


title: Discrete-Time Quantum Walks on Oriented Graphs

abstract: The interest in quantum walks has been steadily increasing during the last two decades. It is still worth to present new forms of quantum walks that might find practical applications and new physical behaviors. In this work, we define discrete-time quantum walks on arbitrary oriented graphs by partitioning a graph into tessellations, which is a collection of disjoint cliques that cover the vertex set. By using the adjacency matrices associated with the tessellations, we define local unitary operators, whose product is the evolution operator of our quantum walk model. We introduce a parameter, called alpha, that quantifies the amount of orientation. We show that the parameter alpha can be tuned in order to increase the amount of quantum walk-based transport on oriented graphs.


title: Adaptive Expansion Bayesian Optimization for Unbounded Global Optimization

abstract: Bayesian optimization is normally performed within fixed variable bounds. In cases like hyperparameter tuning for machine learning algorithms, setting the variable bounds is not trivial. It is hard to guarantee that any fixed bounds will include the true global optimum. We propose a Bayesian optimization approach that only needs to specify an initial search space that does not necessarily include the global optimum, and expands the search space when necessary. However, over-exploration may occur during the search space expansion. Our method can adaptively balance exploration and exploitation in an expanding space. Results on a range of synthetic test functions and an MLP hyperparameter optimization task show that the proposed method out-performs or at least as good as the current state-of-the-art methods.


title: Variational system identification of the partial differential equations governing microstructure evolution in materials: Inference over sparse and spatially unrelated data

abstract: Pattern formation is a widely observed phenomenon in diverse fields including materials physics, developmental biology and ecology, among many others. The physics underlying the patterns is specific to the mechanisms, and is encoded by partial differential equations (PDEs). With the aim of discovering hidden physics, we have previously presented a variational approach to identifying such systems of PDEs in the face of noisy data at varying fidelities (Computer Methods in Applied Mechanics and Engineering, 353:201-216, 2019). Here, we extend our variational system identification methods to address the challenges presented by image data on microstructures in materials physics. PDEs are formally posed as initial and boundary value problems over combinations of time intervals and spatial domains whose evolution is either fixed or can be tracked. However, the vast majority of microscopy techniques for evolving microstructure in a given material system deliver micrographs of pattern evolution over domains that bear no relation with each other at different time instants. The temporal resolution can rarely capture the fastest time scales that dominate the early dynamics, and noise abounds. Furthermore, data for evolution of the same phenomenon in a material system may well be obtained from different physical specimens. Against this backdrop of spatially unrelated, sparse and multi-source data, we exploit the variational framework to make judicious choices of weighting functions and identify PDE operators from the dynamics. A consistency condition arises for parsimonious inference of a minimal set of the spatial operators at steady state. It is complemented by a confirmation test that provides a sharp condition for acceptance of the inferred operators. The entire framework is demonstrated on synthetic data that reflect the characteristics of the experimental material microscopy images.