title: Efficient Constant-Factor Approximate Enumeration of Minimal Subsets for Monotone Properties with Weight Constraints

abstract: A property $\Pi$ on a finite set $U$ is \emph{monotone} if for every $X \subseteq U$ satisfying $\Pi$, every superset $Y \subseteq U$ of $X$ also satisfies $\Pi$. Many combinatorial properties can be seen as monotone properties. The problem of finding a minimum subset of $U$ satisfying $\Pi$ is a central problem in combinatorial optimization. Although many approximate/exact algorithms have been developed to solve this kind of problem on numerous properties, a solution obtained by these algorithms is often unsuitable for real-world applications due to the difficulty of building accurate mathematical models on real-world problems. A promising approach to overcome this difficulty is to \emph{enumerate} multiple small solutions rather than to \emph{find} a single small solution. To this end, given a weight function $w: U \to \mathbb N$ and an integer $k$, we devise algorithms that \emph{approximately} enumerate all minimal subsets of $U$ with weight at most $k$ satisfying $\Pi$ for various monotone properties $\Pi$, where "approximate enumeration" means that algorithms output all minimal subsets satisfying $\Pi$ whose weight at most $k$ and may output some minimal subsets satisfying $\Pi$ whose weight exceeds $k$ but is at most $ck$ for some constant $c \ge 1$. These algorithms allow us to efficiently enumerate minimal vertex covers, minimal dominating sets in bounded degree graphs, minimal feedback vertex sets, minimal hitting sets in bounded rank hypergraphs, etc., of weight at most $k$ with constant approximation factors.


title: Fused Deep Convolutional Neural Network for Precision Diagnosis of COVID-19 Using Chest X-Ray Images

abstract: With a Coronavirus disease (COVID-19) case count exceeding 10 million worldwide, there is an increased need for a diagnostic capability. The main variables in increasing diagnostic capability are reduced cost, turnaround or diagnosis time, and upfront equipment cost and accessibility. Two candidates for machine learning COVID-19 diagnosis are Computed Tomography (CT) scans and plain chest X-rays. While CT scans score higher in sensitivity, they have a higher cost, maintenance requirement, and turnaround time as compared to plain chest X-rays. The use of portable chest X-radiograph (CXR) is recommended by the American College of Radiology (ACR) since using CT places a massive burden on radiology services. Therefore, X-ray imagery paired with machine learning techniques is proposed a first-line triage tool for COVID-19 diagnostics. In this paper we propose a computer-aided diagnosis (CAD) to accurately classify chest X-ray scans of COVID-19 and normal subjects by fine-tuning several neural networks (ResNet18, ResNet50, DenseNet201) pre-trained on the ImageNet dataset. These neural networks are fused in a parallel architecture and the voting criteria are applied in the final classification decision between the candidate object classes where the output of each neural network is representing a single vote. Several experiments are conducted on the weakly labeled COVID-19-CT-CXR dataset consisting of 263 COVID-19 CXR images extracted from PubMed Central Open Access subsets combined with 25 normal classification CXR images. These experiments show an optimistic result and a capability of the proposed model to outperforming many state-of-the-art algorithms on several measures. Using k-fold cross-validation and a bagging classifier ensemble, we achieve an accuracy of 99.7% and a sensitivity of 100%.


title: Weakly measured while loops: peeking at quantum states

abstract: A while loop tests a termination condition on every iteration. On a quantum computer, such measurements perturb the evolution of the algorithm. We define a while loop primitive using weak measurements, offering a trade-off between the perturbation caused and the amount of information gained per iteration. This trade-off is adjusted with a parameter set by the programmer. We provide sufficient conditions that let us determine, with arbitrarily high probability, a worst-case estimate of the number of iterations the loop will run for. As an example, we solve Grover's search problem using a while loop and prove the quadratic quantum speed-up is maintained.


title: A theory of ordering of elongated and curved proteins on membranes driven by density and curvature

abstract: Cell membranes interact with a myriad of curvature-active proteins that control membrane morphology and are responsible for mechanosensation and mechanotransduction. Some of these proteins, such as those containing BAR domains, are curved and elongated, and hence may adopt different states of orientational order, from isotropic to maximize entropy to nematic as a result of crowding or to adapt to the curvature of the underlying membrane. Here, extending the work of [Nascimento et. al, Phys. Rev. E, 2017, 96, 022704], we develop a mean-field density functional theory to predict the orientational order and evaluate the free-energy of ensembles of elongated and curved objects on curved membranes. This theory depends on the microscopic properties of the particles and explains how a density-dependent isotropic-to-nematic transition is modified by anisotropic curvature. We also examine the coexistence of isotropic and nematic phases. This theory lays the ground to understand the interplay between membrane reshaping by BAR proteins and molecular order, examined in [Le Roux et. al, Submitted, 2020].


title: Lorentz meets Lipschitz

abstract: We show that maximal causal curves for a Lipschitz continuous Lorentzian metric admit a $\mathcal{C}^{1,1}$-parametrization and that they solve the geodesic equation in the sense of Filippov in this parametrization. Our proof shows that maximal causal curves are either everywhere lightlike or everywhere timelike. Furthermore, the proof demonstrates that maximal causal curves for an $\alpha$-H\"older continuous Lorentzian metric admit a $\mathcal{C}^{1,\frac{\alpha}{4}}$-parametrization.


title: Search and Rescue with Airborne Optical Sectioning

abstract: We show that automated person detection under occlusion conditions can be significantly improved by combining multi-perspective images before classification. Here, we employed image integration by Airborne Optical Sectioning (AOS)---a synthetic aperture imaging technique that uses camera drones to capture unstructured thermal light fields---to achieve this with a precision/recall of 96/93%. Finding lost or injured people in dense forests is not generally feasible with thermal recordings, but becomes practical with use of AOS integral images. Our findings lay the foundation for effective future search and rescue technologies that can be applied in combination with autonomous or manned aircraft. They can also be beneficial for other fields that currently suffer from inaccurate classification of partially occluded people, animals, or objects.


title: Discovering supernova-produced dark matter with directional detectors

abstract: Supernovae can produce vast fluxes of new particles with masses on the MeV scale, a mass scale of interest for models of light dark matter. When these new particles become diffusively trapped within the supernova, the escaping flux will emerge semirelativistic with an order-one spread in velocities. As a result, overlapping emissions from Galactic supernovae will produce an overall flux of these particles at Earth that is approximately constant in time. However, this flux is highly anisotropic and is steeply peaked towards the Galactic center. This is in contrast with the cosmological abundance of a WIMP-like dark matter which, due to the rotation of the Galaxy, appears to come from the direction of the Cygnus constellation. In this paper, we demonstrate the need for a directional detector to efficiently discriminate between a signal from a cold cosmological abundance of GeV-scale WIMPs and a signal from a hot population of supernova-produced MeV-scale dark matter.


title: Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case

abstract: Learning is usually performed by observing real robot executions. Physics-based simulators are a good alternative for providing highly valuable information while avoiding costly and potentially destructive robot executions. We present a novel approach for learning the probabilities of symbolic robot action outcomes. This is done leveraging different environments, such as physics-based simulators, in execution time. To this end, we propose MENID (Multiple Environment Noise Indeterministic Deictic) rules, a novel representation able to cope with the inherent uncertainties present in robotic tasks. MENID rules explicitly represent each possible outcomes of an action, keep memory of the source of the experience, and maintain the probability of success of each outcome. We also introduce an algorithm to distribute actions among environments, based on previous experiences and expected gain. Before using physics-based simulations, we propose a methodology for evaluating different simulation settings and determining the least time-consuming model that could be used while still producing coherent results. We demonstrate the validity of the approach in a dismantling use case, using a simulation with reduced quality as simulated system, and a simulation with full resolution where we add noise to the trajectories and some physical parameters as a representation of the real system.


title: Comments on old and recent experiments of "stickiness" of a soft solid to a rough hard surface

abstract: The old asperity model of Fuller and Tabor had demonstrated almost 50 years ago surprisingly good correlation with respect to quite a few experiments on the pull-off decay due to roughness of rubber spheres against roughened Perspex plates. We revisit here some features of the Fuller and Tabor model in view of the more recent theories and experiments, finding good correlation can be obtained only at intermediate resolutions, as perhaps in stylus profilometers. In general we confirm the predictions of the Persson & Tosatti and Bearing Area Model of Ciavarella, as stickiness depends largely on the long wavelength content of roughness, and not the fine features. Therefore, multi-instruments measurements should hopefully not be needed.


title: On More General Distributions of Random Binning for Slepian-Wolf Encoding

abstract: Traditionally, ensembles of Slepian-Wolf (SW) codes are defined such that every bin of each $n$-vector of each source is randomly drawn under the uniform distribution across the sets $\{0,1,\ldots,2^{nR_X}-1\}$ and $\{0,1,\ldots,2^{nR_Y}-1\}$, where $R_X$ and $R_Y$ are the coding rates of the two sources, $X$ and $Y$, respectively. In a few more recent works, where only one source, say, $X$, is compressed and the other one, $Y$, serves as side information available at the decoder, the scope is extended to variable-rate S-W (VRSW) codes, where the rate is allowed to depend on the type class of the source string, but still, the random-binning distribution is assumed uniform within the corresponding, type-dependent, bin index set. In this expository work, we investigate the role of the uniformity of the random binning distribution from the perspective of the trade-off between the reliability (defined in terms of the error exponent) and the compression performance (measured from the viewpoint of the source coding exponent). To this end, we study a much wider class of random-binning distributions, which includes the ensemble of VRSW codes as a special case, but it also goes considerably beyond. We first show that, with the exception of some pathological cases, the smaller ensemble, of VRSW codes, is as good as the larger ensemble in terms the trade-off between the error exponent and the source coding exponent. Notwithstanding this finding, the wider class of ensembles proposed is motivated in two ways. The first is that it outperforms VRSW codes in the above-mentioned pathological cases, and the second is that it allows robustness: in the event of a system failure that causes unavailability of the compressed bit-stream from one of the sources, it still allows reconstruction of the other source within some controllable distortion.


title: Lightweight Detection of a Small Number of Large Errors in a Quantum Circuit

abstract: Suppose we want to implement a unitary $U$, for instance a circuit for some quantum algorithm. Suppose our actual implementation is a unitary $\tilde{U}$, which we can only apply as a black-box. In general it is an exponentially-hard task to decide whether $\tilde{U}$ equals the intended $U$, or is significantly different in a worst-case norm. In this paper we consider two special cases where relatively efficient and lightweight procedures exist for this task. First, we give an efficient procedure under the assumption that $U$ and $\tilde{U}$ (both of which we can now apply as a black-box) are either equal, or differ significantly in only one $k$-qubit gate, where $k=O(1)$ (the $k$ qubits need not be contiguous). Second, we give an even more lightweight procedure under the assumption that $U$ and $\tilde{U}$ are Clifford circuits which are either equal, or different in arbitrary ways (the specification of $U$ is now classically given while $\tilde{U}$ can still only be applied as a black-box). Both procedures only need to run $\tilde{U}$ a constant number of times to detect a constant error in a worst-case norm. We note that the Clifford result also follows from earlier work of Flammia and Liu, and da Silva, Landon-Cardinal, and Poulin. In the Clifford case, our error-detection procedure also allows us efficiently to learn (and hence correct) $\tilde{U}$ if we have a small list of possible errors that could have happened to $U$; for example if we know that only $O(1)$ of the gates of $\tilde{U}$ are wrong, this list will be polynomially small and we can test each possible erroneous version of $U$ for equality with $\tilde{U}$.


title: On the spatiotemporal behavior in biology-mimicking computing systems

abstract: The payload performance of conventional computing systems, from single processors to supercomputers, reached its limits the nature enables. Both the growing demand to cope with "big data" (based on, or assisted by, artificial intelligence) and the interest in understanding the operation of our brain more completely, stimulated the efforts to build biology-mimicking computing systems from inexpensive conventional components and build different ("neuromorphic") computing systems. On one side, those systems require an unusually large number of processors, which introduces performance limitations and nonlinear scaling. On the other side, the neuronal operation drastically differs from the conventional workloads. The conventional computing (including both its mathematical background and physical implementation) is based on assuming instant interaction, while the biological neuronal systems have a "spatiotemporal" behavior. This difference alone makes imitating biological behavior in technical implementation hard. Besides, the recent issues in computing called the attention to that the temporal behavior is a general feature of computing systems, too. Some of their effects in both biological and technical systems were already noticed. Nevertheless, handling of those issues is incomplete/improper. Introducing temporal logic, based on the Minkowski transform, gives quantitative insight into the operation of both kinds of computing systems, furthermore provides a natural explanation of decades-old empirical phenomena. Without considering their temporal behavior correctly, neither effective implementation nor a true imitation of biological neural systems are possible.


title: Physics-Informed Neural Networks for Securing Water Distribution Systems

abstract: Physics-informed neural networks (PINNs) is an emerging category of neural networks which can be trained to solve supervised learning tasks while taking into consideration given laws of physics described by general nonlinear partial differential equations. PINNs demonstrate promising characteristics such as performance and accuracy using minimal amount of data for training, utilized to accurately represent the physical properties of a system's dynamic environment. In this work, we employ the emerging paradigm of PINNs to demonstrate their potential in enhancing the security of intelligent cyberphysical systems. In particular, we present a proof-of-concept scenario using the use case of water distribution networks, which involves an attack on a controller in charge of regulating a liquid pump through liquid flow sensor measurements. PINNs are used to mitigate the effects of the attack while demonstrating the applicability and challenges of the approach.


title: A stability theory beyond the co-rotational setting for critical Wave Maps blow up

abstract: We exhibit non-equivariant perturbations of the blowup solutions constructed in \cite{KST} for energy critical wave maps into $\mathbb{S}^2$. Our admissible class of perturbations is an open set in some sufficiently smooth topology and vanishes near the light cone. We show that the blowup solutions from \cite{KST} are rigid under such perturbations, including the space-time location of blowup. As blowup is approached, the dynamics agree with the classification obtained in \cite{DJKM}, and all six symmetry parameters converge to limiting values. Compared to the previous work \cite{KMiao} in which the rigidity of the blowup solutions from \cite{KST} under equivariant perturbations was proved, the class of perturbations considered in the present work does not impose any symmetry restrictions. Separation of variables and decomposing into angular Fourier modes leads to an infinite system of coupled nonlinear equations, which we solve for small admissible data. The nonlinear analysis is based on the distorted Fourier transform, associated with an infinite family of Bessel type Schr\"odinger operators on the half-line indexed by the angular momentum~$n$. A semi-classical WKB-type spectral analysis relative to the parameter $\hbar=\frac{1}{n+1}$ for large $|n|$ allows us to effectively determine the distorted Fourier basis for the entire infinite family. Our linear analysis is based on the global Liouville-Green transform as in the earlier works \cite{CSST, CDST}.


title: Delay Optimization of Combinational Logic by And-Or Path Restructuring

abstract: We propose a dynamic programming algorithm that constructs delay-optimized circuits for alternating And-Or paths with prescribed input arrival times. Our algorithm fulfills best-known approximation guarantees and empirically outperforms earlier methods by exploring a significantly larger portion of the solution space. Our algorithm is the core of a new timing optimization framework that replaces critical paths of arbitrary length by logically equivalent realizations with less delay. Our framework allows revising early decisions on the logical structure of the netlist in a late step of an industrial physical design flow. Experiments demonstrate the effectiveness of our tool on 7nm real-world instances.


title: IDA: Improved Data Augmentation Applied to Salient Object Detection

abstract: In this paper, we present an Improved Data Augmentation (IDA) technique focused on Salient Object Detection (SOD). Standard data augmentation techniques proposed in the literature, such as image cropping, rotation, flipping, and resizing, only generate variations of the existing examples, providing a limited generalization. Our method combines image inpainting, affine transformations, and the linear combination of different generated background images with salient objects extracted from labeled data. Our proposed technique enables more precise control of the object's position and size while preserving background information. The background choice is based on an inter-image optimization, while object size follows a uniform random distribution within a specified interval, and the object position is intra-image optimal. We show that our method improves the segmentation quality when used for training state-of-the-art neural networks on several famous datasets of the SOD field. Combining our method with others surpasses traditional techniques such as horizontal-flip in 0.52% for F-measure and 1.19% for Precision. We also provide an evaluation in 7 different SOD datasets, with 9 distinct evaluation metrics and an average ranking of the evaluated methods.


title: Zero subsums in vector spaces over finite fields

abstract: The Olson constant $\mathcal{O}L(\mathbb{F}_{p}^{d})$ represents the minimum positive integer $t$ with the property that every subset $A\subset \mathbb{F}_{p}^{d}$ of cardinality $t$ contains a nonempty subset with vanishing sum. The problem of estimating $\mathcal{O}L(\mathbb{F}_{p}^{d})$ is one of the oldest questions in additive combinatorics, with a long and interesting history even for the case $d=1$. In this paper, we prove that for any fixed $d \geq 2$ and $\epsilon > 0$, the Olson constant of $\mathbb{F}_{p}^{d}$ satisfies the inequality $$\mathcal{O}L(\mathbb{F}_{p}^{d}) \leq (d-1+\epsilon)p$$ for all sufficiently large primes $p$. This settles a conjecture of Hoi Nguyen and Van Vu.


title: Approximate Majority With Catalytic Inputs

abstract: Population protocols are a class of algorithms for modeling distributed computation in networks of finite-state agents communicating through pairwise interactions. Their suitability for analyzing numerous chemical processes has motivated the adaptation of the original population protocol framework to better model these chemical systems. In this paper, we further the study of two such adaptations in the context of solving approximate majority: persistent-state agents (or catalysts) and spontaneous state changes (or leaks). Based on models considered in recent protocols for populations with persistent-state agents, we assume a population with $n$ catalytic input agents and $m$ worker agents, and the goal of the worker agents is to compute some predicate over the states of the catalytic inputs. We call this model the Catalytic Input (CI) model. For $m = \Theta(n)$, we show that computing the exact majority of the input population with high probability requires at least $\Omega(n^2)$ total interactions, demonstrating a strong separation between the CI model and the standard population protocol model. On the other hand, we show that the simple third-state dynamics of Angluin et al. for approximate majority in the standard model can be naturally adapted to the CI model: we present such a constant-state protocol for the CI model that solves approximate majority in $O(n \log n)$ total steps w.h.p. when the input margin is $\Omega(\sqrt{n \log n})$. We then show the robustness of third-state dynamics protocols to the transient leaks events introduced by Alistarh et al. In both the original and CI models, these protocols successfully compute approximate majority with high probability in the presence of leaks occurring at each step with probability $\beta \leq O\left(\sqrt{n \log n}/n\right)$, exhibiting a resilience to leaks similar to that of Byzantine agents in previous works.


title: Forecasting time series with encoder-decoder neural networks

abstract: In this paper, we consider high-dimensional stationary processes where a new observation is generated from a compressed version of past observations. The specific evolution is modeled by an encoder-decoder structure. We estimate the evolution with an encoder-decoder neural network and give upper bounds for the expected forecast error under specific structural and sparsity assumptions. The results are shown separately for conditions either on the absolutely regular mixing coefficients or the functional dependence measure of the observed process. In a quantitative simulation we discuss the behavior of the network estimator under different model assumptions. We corroborate our theory by a real data example where we consider forecasting temperature data.


title: Synthetic Convolutional Features for Improved Semantic Segmentation

abstract: Recently, learning-based image synthesis has enabled to generate high-resolution images, either applying popular adversarial training or a powerful perceptual loss. However, it remains challenging to successfully leverage synthetic data for improving semantic segmentation with additional synthetic images. Therefore, we suggest to generate intermediate convolutional features and propose the first synthesis approach that is catered to such intermediate convolutional features. This allows us to generate new features from label masks and include them successfully into the training procedure in order to improve the performance of semantic segmentation. Experimental results and analysis on two challenging datasets Cityscapes and ADE20K show that our generated feature improves performance on segmentation tasks.


title: On the limitations of probabilistic claims about the probative value of mixed DNA profile evidence

abstract: The likelihood ratio (LR) is a commonly used measure for determining the strength of forensic match evidence. When a forensic expert determines a high LR for DNA found at a crime scene matching the DNA profile of a suspect they typically report that 'this provides strong support for the prosecution hypothesis that the DNA comes from the suspect'. However, even with a high LR, the evidence might not support the prosecution hypothesis if the defence hypothesis used to determine the LR is not the negation of the prosecution hypothesis (such as when the alternative is 'DNA comes from a person unrelated to the defendant' instead of 'DNA does not come from the suspect'). For DNA mixture profiles, especially low template DNA (LTDNA), the value of a high LR for a 'match' - typically computed from probabilistic genotyping software - can be especially questionable. But this is not just because of the use of non-exhaustive hypotheses in such cases. In contrast to single profile DNA 'matches', where the only residual uncertainty is whether a person other than the suspect has the same matching DNA profile, it is possible for all the genotypes of the suspect's DNA profile to appear at each locus of a DNA mixture, even though none of the contributors has that DNA profile. In fact, in the absence of other evidence, we show it is possible to have a very high LR for the hypothesis 'suspect is included in the mixture' even though the posterior probability that the suspect is included is very low. Yet, in such cases a forensic expert will generally still report a high LR as 'strong support for the suspect being a contributor'. Our observations suggest that, in certain circumstances, the use of the LR may have led lawyers and jurors into grossly overestimating the probative value of a LTDNA mixed profile 'match'


title: Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation

abstract: Sumterms are introduced as syntactic entities, and sumtuples are introduced as semantic entities. Equipped with these concepts a new description is obtained of the notion of a sum as (the name for) a role which can be played by a number. Sumterm splitting operators are introduced and it is argued that without further precautions the presence of these operators gives rise to instance of the so-called sum splitting paradox. A survey of solutions to the sum splitting paradox is given.


title: Oblate Schwarzschild approximation for polarized radiation from rapidly rotating neutron stars

abstract: We have developed a complete theory for the calculation of the observed Stokes parameters for radiation emitted from the surface of a rapidly rotating neutron star (NS) using the oblate Schwarzschild approximation. We accounted for the rotation of the polarization plane due to relativistic effects along the path from the stellar surface to the observer. The results were shown to agree with those obtained by performing full numerical general relativistic ray-tracing with the \textsc{arcmancer} code. We showed that the obtained polarization angle (PA) profiles may differ substantially from those derived for a spherical star. We demonstrated that assuming incorrect shape for the star can lead to biased constraints for NS parameters when fitting the polarization data. Using a simplified model, we also made a rough estimate of how accurately the geometrical parameters of an accreting NS can be determined using the X-ray polarization measurements of upcoming polarimeters like the Imaging X-ray Polarimeter Explorer (IXPE) or the enhanced X-ray Timing and Polarimetry (eXTP) mission.


title: A note on optimal designs for estimating the slope of a polynomial regression

abstract: In this note we consider the optimal design problem for estimating the slope of a polynomial regression with no intercept at a given point, say z. In contrast to previous work, which considers symmetric design spaces we investigate the model on the interval $[0, a]$ and characterize those values of $z$, where an explicit solution of the optimal design is possible.


title: Abrupt transition due to non-local cascade propagation in multiplex systems

abstract: Multilayer systems are coupled networks characterized by different contexts (layers) of interaction and have gained much attention recently due to their suitability to describe a broad spectrum of empirical complex systems. They are very fragile to percolation and first-neighbor failure propagation, but little is known about how they respond to non-local disruptions, as it occurs in failures induced by flow redistribution, for example. Acknowledging that many socio-technical and biological systems sustain a flow of some physical quantity, such as energy or information, across the their components, it becomes crucial to understand when the flow redistribution can cause global cascades of failures in order to design robust systems,to increase their resilience or to learn how to efficiently dismantle them. In this paper we study the impact that different multiplex topological features have on the robustness of the system when subjected to non-local cascade propagation. We first numerically demonstrate that this dynamics has a critical value at which a small initial perturbation effectively dismantles the entire network, and that the transition appears abruptly. Then we identify that the excess of flow caused by a failure is, in general, more homogeneously distributed the networks in which the average distance between nodes is small.Using this information we find that aggregated versions of multiplex networks tend to overestimate robustness, even though to make the system more robust can be achieved by increasing the number of layers. Our predictions are confirmed by simulated cascading failures in areal multilayer system.


title: PMVOS: Pixel-Level Matching-Based Video Object Segmentation

abstract: Semi-supervised video object segmentation (VOS) aims to segment arbitrary target objects in video when the ground truth segmentation mask of the initial frame is provided. Due to this limitation of using prior knowledge about the target object, feature matching, which compares template features representing the target object with input features, is an essential step. Recently, pixel-level matching (PM), which matches every pixel in template features and input features, has been widely used for feature matching because of its high performance. However, despite its effectiveness, the information used to build the template features is limited to the initial and previous frames. We address this issue by proposing a novel method-PM-based video object segmentation (PMVOS)-that constructs strong template features containing the information of all past frames. Furthermore, we apply self-attention to the similarity maps generated from PM to capture global dependencies. On the DAVIS 2016 validation set, we achieve new state-of-the-art performance among real-time methods (> 30 fps), with a J&F score of 85.6%. Performance on the DAVIS 2017 and YouTube-VOS validation sets is also impressive, with J&F scores of 74.0% and 68.2%, respectively.


title: Counterfactual Explanation and Causal Inference in Service of Robustness in Robot Control

abstract: We propose an architecture for training generative models of counterfactual conditionals of the form, 'can we modify event A to cause B instead of C?', motivated by applications in robot control. Using an 'adversarial training' paradigm, an image-based deep neural network model is trained to produce small and realistic modifications to an original image in order to cause user-defined effects. These modifications can be used in the design process of image-based robust control - to determine the ability of the controller to return to a working regime by modifications in the input space, rather than by adaptation. In contrast to conventional control design approaches, where robustness is quantified in terms of the ability to reject noise, we explore the space of counterfactuals that might cause a certain requirement to be violated, thus proposing an alternative model that might be more expressive in certain robotics applications. So, we propose the generation of counterfactuals as an approach to explanation of black-box models and the envisioning of potential movement paths in autonomous robotic control. Firstly, we demonstrate this approach in a set of classification tasks, using the well known MNIST and CelebFaces Attributes datasets. Then, addressing multi-dimensional regression, we demonstrate our approach in a reaching task with a physical robot, and in a navigation task with a robot in a digital twin simulation.


title: Mapping the H$_{2}$D$^{+}$ and N$_{2}$H$^{+}$ emission towards prestellar cores. Testing dynamical models of the collapse using gas tracers

abstract: The study of prestellar cores is critical as they set the initial conditions in star formation and determine the final mass of the stellar object. To date, several hypotheses are describing their gravitational collapse. We perform detailed line analysis and modelling of H$_{2}$D$^{+}$ 110 -111 and N$_{2}$H$^{+}$ 4-3 emission at 372 GHz, using 2'x2' maps (JCMT). Our goal is to test the most prominent dynamical models by comparing the modelled gas kinematics and spatial distribution (H$_{2}$D$^{+}$ and N$_{2}$H$^{+}$) with observations towards four prestellar (L1544, L183, L694-2, L1517B) and one protostellar core (L1521f). We perform a detailed non-LTE radiative transfer modelling using RATRAN, where we compare the predicted spatial distribution and line profiles of H$_{2}$D$^{+}$ and N$_{2}$H$^{+}$ with observations towards all cores. To do so, we adopt the physical structure for each core predicted by three different dynamical models taken from literature: Quasi-Equilibrium Bonnor-Ebert Sphere (QE-BES), Singular Isothermal Sphere (SIS), and Larson-Penston (LP) flow. Our analysis provides an updated picture of the physical structure of prestellar cores. We find that the SIS model can be clearly excluded in explaining the gas emission towards the cores, but a larger sample is required to differentiate clearly between the LP flow, the QE-BES and the static models. All models of collapse underestimate the intensity of the gas emission by up to several factors towards the only protostellar core in our sample, indicating that different dynamics take place in different evolutionary core stages. If the LP model is confirmed towards a larger sample of prestellar cores, it would indicate that they may form by compression or accretion of gas from larger scales. If the QE-BES model is confirmed, it means that quasi hydrostatic cores can exist within turbulent ISM.


title: Benchmark of medium-induced radiative energy loss model for heavy-ion collisions

abstract: We report on a benchmark calculation of the in-medium radiative energy loss of low-virtuality jet partons within the EPOS3-Jet framework. The radiative energy loss is based on an extension of the Gunion-Bertsch matrix element for a massive projectile and a massive radiated gluon. On top of that, the coherence (LPM effect) is implemented by assigning a formation phase to the trial radiated gluons in a fashion similar to the approach in JHEP 07 (2011), 118, by Zapp, Stachel and Wiedemann. In a calculation with a simplified radiation kernel, we reproduce the radiation spectrum reported in the approach above. The radiation spectrum produces the LPM behaviour $dI/d\omega\propto\omega^{-1/2}$ up to an energy $\omega=\omega_c$, when the formation length of radiated gluons becomes comparable to the size of the medium. Beyond $\omega_c$, the radiation spectrum shows a characteristic suppression due to a smaller probability for a gluon to be formed in-medium. Next, we embed the radiative energy loss of low-virtuality jet partons into a more realistic "parton gun" calculation, where a stream of hard partons at high initial energy $E_\text{ini}=100$ GeV and initial virtuality $Q^2=E^2$ passes through a box of QGP medium with a constant temperature. At the end of the box evolution, the partons are hadronized using Pythia 8, and the jets are reconstructed with the FASTJET package. We find that the full jet energy loss in such scenario approaches a ballpark value reported by the ALICE collaboration. However, the calculation uses a somewhat larger value of the coupling constant $\alpha_s$ to compensate for the missing collisional energy loss of the low-virtuality jet partons.


title: Principal Components of the Meaning

abstract: In this paper we argue that (lexical) meaning in science can be represented in a 13 dimension Meaning Space. This space is constructed using principal component analysis (singular decomposition) on the matrix of word category relative information gains, where the categories are those used by the Web of Science, and the words are taken from a reduced word set from texts in the Web of Science. We show that this reduced word set plausibly represents all texts in the corpus, so that the principal component analysis has some objective meaning with respect to the corpus. We argue that 13 dimensions is adequate to describe the meaning of scientific texts, and hypothesise about the qualitative meaning of the principal components.


title: On quasisymmetric plasma equilibria sustained by small force

abstract: We construct smooth, non-symmetric plasma equilibria which possess closed, nested flux surfaces and solve the magnetohydrostatic (steady three-dimensional incompressible Euler) equations with a small force. The solutions are also `nearly' quasisymmetric. The primary idea is, given a desired quasisymmetry direction $\xi$, to change the smooth structure on space so that the vector field $\xi$ is Killing for the new metric and construct $\xi$--symmetric solutions of the magnetohydrostatic equations on that background by solving a generalized Grad-Shafranov equation. If $\xi$ is close to a symmetry of Euclidean space, then these are solutions on flat space up to a small forcing.

categories: math.AP math-ph math.MP physics.flu-dyn physics.plasm-ph


title: Evidence for complex fixed points in pandemic data

abstract: Epidemic data show the existence of a region of quasi-linear growth (strolling period) of infected cases extending in between waves. We demonstrate that this constitutes evidence for the existence of near time-scale invariance that is neatly encoded via complex fixed points in the epidemic Renormalisation Group approach. As a result we achieve a deeper understanding of multiple wave dynamics and its inter-wave strolling regime. Our results are tested and calibrated against the COVID-19 pandemic data. Because of the simplicity of our approach that is organised around symmetry principles our discovery amounts to a paradigm shift in the way epidemiological data are mathematically modelled.


title: Design and study of a coronavirus-shaped metamaterial sensor stimulated by electromagnetic waves for rapid diagnosis of covid-19

abstract: We propose a new technique of utilizing metamaterials-based sensor for rapid diagnosis of covid-19 through electromagnetic-stimulated analysis of the blood drawn from the patient. The sensor was inspired by a coronavirus in plane-shaped design with presume that its circular structure might produce a broader interaction of the electromagnetic waves with the blood sample. The sensor was designed numerically and tested experimentally by evaluating variations in the reflection coefficient (S11) and transmission coefficient (S21) of the waves at resonant frequency. Results of covid-19 relevant blood sample showed a pronounced shift in the main resonant frequency of about 740 MHz compared to that of the control blood sample. We believe that with the help of the proposed sensor a significant breakthrough can be achieved for rapid diagnosis of covid-19 within few seconds.


title: Efficient qubit measurement with a nonreciprocal microwave amplifier

abstract: The act of observing a quantum object fundamentally perturbs its state, resulting in a random walk toward an eigenstate of the measurement operator. Ideally, the measurement is responsible for all dephasing of the quantum state. In practice, imperfections in the measurement apparatus limit or corrupt the flow of information required for quantum feedback protocols, an effect quantified by the measurement efficiency. Here we demonstrate the efficient measurement of a superconducting qubit using a nonreciprocal parametric amplifier to directly monitor the microwave field of a readout cavity. By mitigating the losses between the cavity and the amplifier we achieve a measurement efficiency of $72\%$. The directionality of the amplifier protects the readout cavity and qubit from excess backaction caused by amplified vacuum fluctuations. In addition to providing tools for further improving the fidelity of strong projective measurement, this work creates a testbed for the experimental study of ideal weak measurements, and it opens the way towards quantum feedback protocols based on weak measurement such as state stabilization or error correction.


title: Classification and Region Analysis of COVID-19 Infection using Lung CT Images and Deep Convolutional Neural Networks

abstract: COVID-19 is a global health problem. Consequently, early detection and analysis of the infection patterns are crucial for controlling infection spread as well as devising a treatment plan. This work proposes a two-stage deep Convolutional Neural Networks (CNNs) based framework for delineation of COVID-19 infected regions in Lung CT images. In the first stage, initially, COVID-19 specific CT image features are enhanced using a two-level discrete wavelet transformation. These enhanced CT images are then classified using the proposed custom-made deep CoV-CTNet. In the second stage, the CT images classified as infectious images are provided to the segmentation models for the identification and analysis of COVID-19 infectious regions. In this regard, we propose a novel semantic segmentation model CoV-RASeg, which systematically uses average and max pooling operations in the encoder and decoder blocks. This systematic utilization of max and average pooling operations helps the proposed CoV-RASeg in simultaneously learning both the boundaries and region homogeneity. Moreover, the idea of attention is incorporated to deal with mildly infected regions. The proposed two-stage framework is evaluated on a standard Lung CT image dataset, and its performance is compared with the existing deep CNN models. The performance of the proposed CoV-CTNet is evaluated using Mathew Correlation Coefficient (MCC) measure (0.98) and that of proposed CoV-RASeg using Dice Similarity (DS) score (0.95). The promising results on an unseen test set suggest that the proposed framework has the potential to help the radiologists in the identification and analysis of COVID-19 infected regions.


title: Odd diagrams, Bruhat order, and pattern avoidance

abstract: The odd diagram of a permutation is a subset of the classical diagram with additional parity conditions. In this paper, we study classes of permutations with the same odd diagram, which we call odd diagram classes. First, we prove a conjecture relating odd diagram classes and 213- and 312-avoiding permutations. Secondly, we show that each odd diagram class is a Bruhat interval. Instrumental to our proofs is an explicit description of the Bruhat edges that link permutations in a class.


title: ACSS-q: Algorithmic complexity for short strings via quantum accelerated approach

abstract: In this research we present a quantum circuit for estimating algorithmic complexity using the coding theorem method. This accelerates inferring algorithmic structure in data for discovering causal generative models. The computation model is restricted in time and space resources to make it computable in approximating the target metrics. The quantum circuit design based on our earlier work that allows executing a superposition of automata is presented. As a use-case, an application framework for protein-protein interaction ontology based on algorithmic complexity is proposed. Using small-scale quantum computers, this has the potential to enhance the results of classical block decomposition method towards bridging the causal gap in entropy based methods.


title: A construction of set theory

abstract: We begin with a context more general than set theory. The basic ingredients are essentially the object and functor primitives of category theory, and the logic is weak, requiring neither the Law of Excluded Middle nor quantification. Inside this we find "relaxed" set theory, which is much easier to use with full precision than traditional axiomatic theories. There is also an implementation of the Zermillo-Fraenkel-Choice axioms that is maximal in the sense that any other implementation uniquely embeds in it.


title: Review of Machine-Learning Methods for RNA Secondary Structure Prediction

abstract: Secondary structure plays an important role in determining the function of non-coding RNAs. Hence, identifying RNA secondary structures is of great value to research. Computational prediction is a mainstream approach for predicting RNA secondary structure. Unfortunately, even though new methods have been proposed over the past 40 years, the performance of computational prediction methods has stagnated in the last decade. Recently, with the increasing availability of RNA structure data, new methods based on machine-learning technologies, especially deep learning, have alleviated the issue. In this review, we provide a comprehensive overview of RNA secondary structure prediction methods based on machine-learning technologies and a tabularized summary of the most important methods in this field. The current pending issues in the field of RNA secondary structure prediction and future trends are also discussed.


title: PANDA: Predicting the change in proteins binding affinity upon mutations using sequence information

abstract: Accurately determining a change in protein binding affinity upon mutations is important for the discovery and design of novel therapeutics and to assist mutagenesis studies. Determination of change in binding affinity upon mutations requires sophisticated, expensive, and time-consuming wet-lab experiments that can be aided with computational methods. Most of the computational prediction techniques require protein structures that limit their applicability to protein complexes with known structures. In this work, we explore the sequence-based prediction of change in protein binding affinity upon mutation. We have used protein sequence information instead of protein structures along with machine learning techniques to accurately predict the change in protein binding affinity upon mutation. Our proposed sequence-based novel change in protein binding affinity predictor called PANDA gives better accuracy than existing methods over the same validation set as well as on an external independent test dataset. On an external test dataset, our proposed method gives a maximum Pearson correlation coefficient of 0.52 in comparison to the state-of-the-art existing protein structure-based method called MutaBind which gives a maximum Pearson correlation coefficient of 0.59. Our proposed protein sequence-based method, to predict a change in binding affinity upon mutations, has wide applicability and comparable performance in comparison to existing protein structure-based methods. A cloud-based webserver implementation of PANDA and its python code is available at https://sites.google.com/view/wajidarshad/software and https://github.com/wajidarshad/panda.


title: Ultraintense, ultrashort pulse x-ray scattering in small molecules

abstract: We examine x-ray scattering from an isolated organic molecule from the linear to nonlinear absorptiveregime. In the nonlinear regime, we explore the importance of both the elastic and inelastic channelsand observe the onset of nonlinear behavior as a function of pulse duration and energy. In the linearregime, we test the sensitivity of the scattering signal to molecular bonding and electronic correlationvia calculations using the independent atom model (IAM), Hartree-Fock (HF) and density functionaltheory (DFT). Finally, we describe how coherent x-ray scattering can be used to directly visualizefemtosecond charge transfer and dissociation within a single molecule undergoing x-ray multiphotonabsorption.


title: On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency

abstract: Modeling of real-world systems with Petri nets allows to benefit from their generic concepts of parallelism, synchronisation and conflict, and obtain a concise yet expressive system representation. Algorithms for synthesis of a net from a sequential specification enable the well-developed theory of Petri nets to be applied for the system analysis through a net model. The problem of $\tau$-synthesis consists in deciding whether a given directed labeled graph $A$ is isomorphic to the reachability graph of a Boolean Petri net $N$ of type $\tau$. In case of a positive decision, $N$ should be constructed. For many Boolean types of nets, the problem is NP-complete. This paper deals with a special variant of $\tau$-synthesis that imposes restrictions for the target net $N$: we investigate dependency $d$-restricted tau-synthesis (DR$\tau$S) where each place of $N$ can influence and be influenced by at most d transitions. For a type $\tau$, if tau-synthesis is NP-complete then DR$\tau$S is also NP-complete. In this paper, we show that DR$\tau$S parameterized by $d$ is in XP. Furthermore, we prove that it is W[2]-hard, for many Boolean types that allow unconditional interactions set and reset.


title: Economy Versus Disease Spread: Reopening Mechanisms for COVID 19

abstract: We study mechanisms for reopening economic activities that explore the trade off between containing the spread of COVID-19 and maximizing economic impact. This is of current importance as many organizations, cities, and states are formulating reopening strategies. Our mechanisms, referred to as group scheduling, are based on partitioning the population into groups and scheduling each group on appropriate days with possible gaps (when all are quarantined). Each group interacts with no other group and, importantly, any person who is symptomatic in a group is quarantined. Specifically, our mechanisms are characterized by three parameters $(g,d,t)$, where $g$ is the number of groups, $d$ is the number of days a group is continuously scheduled, and $t$ is the gap between cycles. We show that our mechanisms effectively trade off economic activity for more effective control of the COVID-19 virus. In particular, we show that the $(2,5,0)$ mechanism, which partitions the population into two groups that alternatively work for five days each, flat lines the number of COVID-19 cases quite effectively, while still maintaining economic activity at 70% of pre-COVID-19 level. We also study mechanisms such as $(2,3,2)$ and $(3,3,0)$ that achieve a somewhat lower economic output (about 50%) at the cost of more aggressive control of the virus; these could be applicable in situations when the disease spread is more rampant in the population. We demonstrate the efficacy of our mechanisms by theoretical analysis and extensive experimental simulations on various epidemiological models. Our mechanisms prove beneficial just by regulating human interactions. Moreover, our results show that if the disease transmission (reproductive) rate is made lower by following social distancing, mask wearing, and other public health guidelines, it can further increase the efficacy of our mechanisms.


title: Novel Technosignatures

abstract: Technosignatures can represent a sign of technology that may infer the existence of intelligent life elsewhere in the universe. This had usually meant searches for extraterrestrial intelligence using narrow-band radio signals or pulsed lasers. Back in 1960 Freeman Dyson put forward the idea that advanced civilizations may construct large structures in order to capture, for use, the energy of their local star, leading to an object with an unusual infrared signature. Later it was noted that other objects may represent the signature of very advanced instrumentalities, such as interstellar vehicles, beaming stations for propulsion, unusual beacons not using radio or laser radiation but emission of gamma rays, neutrinos or gravitational radiation. Signs may be unintentional or may be directed. Among directed and undirected signs we present some models for signaling and by-product radiation that might be produced by extremely advanced societies not usually considered in the search for extraterrestrial intelligence.


title: Constraints on the abundance of $0.01\,c$ stellar engines in the Milky Way

abstract: Stellar engines are hypothesized megastructures that extract energy from the host star, typically with the purpose of generating thrust and accelerating the stellar system. We explore the maximum potential speeds that could be realizable by stellar engines, and determine that speeds up to $\sim 0.1\,c$ might perhaps be attainable under optimal conditions. In contrast, natural astrophysical phenomena in the Milky Way are very unlikely to produce such speeds. Hence, astrometric surveys of hypervelocity stars may be utilized to conduct commensal searches for high-speed stellar engines in the Milky Way. It may be possible to derive bounds on their abundance, but this requires certain assumptions regarding the spatiotemporal distribution of such engines, which are not guaranteed to be valid.


title: A parallel algorithm for solving linear parabolic evolution equations

abstract: We present an algorithm for the solution of a simultaneous space-time discretization of linear parabolic evolution equations with a symmetric differential operator in space. Building on earlier work, we recast this discretization into a Schur-complement equation whose solution is a quasi-optimal approximation to the weak solution of the equation at hand. Choosing a tensor-product discretization, we arrive at a remarkably simple linear system. Using wavelets in time and standard finite elements in space, we solve the resulting system in linear complexity on a single processor, and in polylogarithmic complexity when parallelized in both space and time. We complement these theoretical findings with large-scale parallel computations showing the effectiveness of the method.


title: Multi-modal Experts Network for Autonomous Driving

abstract: End-to-end learning from sensory data has shown promising results in autonomous driving. While employing many sensors enhances world perception and should lead to more robust and reliable behavior of autonomous vehicles, it is challenging to train and deploy such network and at least two problems are encountered in the considered setting. The first one is the increase of computational complexity with the number of sensing devices. The other is the phenomena of network overfitting to the simplest and most informative input. We address both challenges with a novel, carefully tailored multi-modal experts network architecture and propose a multi-stage training procedure. The network contains a gating mechanism, which selects the most relevant input at each inference time step using a mixed discrete-continuous policy. We demonstrate the plausibility of the proposed approach on our 1/6 scale truck equipped with three cameras and one LiDAR.


title: Slow decay processes of electrostatically trapped Rydberg NO molecules

abstract: Nitric oxide (NO) molecules initially traveling at 795 m/s in pulsed supersonic beams have been photoexcited to long-lived hydrogenic Rydberg-Stark states, decelerated and electrostatically trapped in a cryogenically cooled, chip-based transmission-line Rydberg-Stark decelerator. The decelerated and trapped molecules were detected $in$ $situ$ by pulsed electric field ionization. The operation of the decelerator was validated by comparison of the experimental data with the results of numerical calculations of particle trajectories. Studies of the decay of the trapped molecules on timescales up to 1 ms provide new insights into the lifetimes of, and effects of blackbody radiation on, Rydberg states of NO.


title: Cosmology with relativistically varying physical constants

abstract: We have shown that the varying physical constant model is consistent with the recently published variational approach wherein Einstein equations are modified to include the variation of the speed of light c, gravitational constant G and cosmological constant {\Lambda} using the Einstein-Hilbert action. The general constraint resulting from satisfying the local conservation laws and contracted Bianchi identities provides the freedom to choose the form of the variation of the constants as well as how their variations are related. When we choose dG/Gdt=3dc/cdt, c=c_0.exp[(a^{\alpha}-1)], G=G_0.exp[3(a^{\alpha}-1)] and {\Lambda}={\Lambda}_0.exp[(a^(-{\alpha})-1)], where a is the scale factor and {\alpha}=1.8, we are able to show that the resulting model: (a) fits the supernovae 1a observational data marginally better than the {\Lambda}CDM model; (b) determines the first peak in the power spectrum of the cosmic microwave background temperature anisotropies at multipole value of l=217.3; (c) calculates the age of the universe as 14.1 Gyr; and (d) finds the BAO acoustic scale to be 145.2 Mpc. These numbers are within less than 3% of the values derived using the {\Lambda}CDM model. Surprisingly we find that the dark-energy density is negative in a universe that has significant negative curvature and whose expansion is accelerating at a faster rate than predicted by the {\Lambda}CDM model.


title: Defying the Gibbs Phase Rule: Evidence for an Entropy-Driven Quintuple Point in Colloid-Polymer Mixtures

abstract: Using a minimal algebraic model for the thermodynamics of binary rod--polymer mixtures, we provide evidence for a quintuple phase equilibrium; an observation that seems to be at odds with the Gibbs phase rule for two-component systems. Our model is based on equations of state for the relevant liquid crystal phases that are in quantitative agreement with computer simulations. We argue that the appearance of a quintuple equilibrium, involving an isotropic fluid, a nematic and smectic liquid crystal, and two solid phases can be reconciled with a generalized Gibbs phase rule in which the two intrinsic length scales of the athermal colloid--polymer mixture act as additional field variables.


title: HTMRL: Biologically Plausible Reinforcement Learning with Hierarchical Temporal Memory

abstract: Building Reinforcement Learning (RL) algorithms which are able to adapt to continuously evolving tasks is an open research challenge. One technology that is known to inherently handle such non-stationary input patterns well is Hierarchical Temporal Memory (HTM), a general and biologically plausible computational model for the human neocortex. As the RL paradigm is inspired by human learning, HTM is a natural framework for an RL algorithm supporting non-stationary environments. In this paper, we present HTMRL, the first strictly HTM-based RL algorithm. We empirically and statistically show that HTMRL scales to many states and actions, and demonstrate that HTM's ability for adapting to changing patterns extends to RL. Specifically, HTMRL performs well on a 10-armed bandit after 750 steps, but only needs a third of that to adapt to the bandit suddenly shuffling its arms. HTMRL is the first iteration of a novel RL approach, with the potential of extending to a capable algorithm for Meta-RL.


title: TOI-481 b & TOI-892 b: Two long period hot Jupiters from the Transiting Exoplanet Survey Satellite

abstract: We present the discovery of two new 10-day period giant planets from the Transiting Exoplanet Survey Satellite ($TESS$) mission, whose masses were precisely determined using a wide diversity of ground-based facilities. TOI-481 b and TOI-892 b have similar radii ($0.99\pm0.01$ $\rm R_{J}$ and $1.07\pm0.02$ $\rm R_{J}$, respectively), and orbital periods (10.3311 days and 10.6266 days, respectively), but significantly different masses ($1.53\pm0.03$ $\rm M_{J}$ versus $0.95\pm0.07$ $\rm M_{J}$, respectively). Both planets orbit metal-rich stars ([Fe/H]= $+0.26\pm 0.05$ dex and [Fe/H] = $+0.24 \pm 0.05$ dex, for TOI-481 and TOI-892, respectively) but at different evolutionary stages. TOI-481 is a $\rm M_{\star}$ = $1.14\pm0.02$ $\rm M_{\odot}$, $\rm R_{\star}$ = $1.66\pm0.02$ $\rm R_{\odot}$ G-type star ($T_{\rm eff}$ = $5735 \pm 72$ K), that with an age of 6.7 Gyr, is in the turn-off point of the main sequence. TOI-892, on the other hand, is a F-type dwarf star ($T_{\rm eff}$ = $6261 \pm 80$ K), which has a mass of $\rm M_{\star}$ = $1.28\pm0.03$ $\rm M_{\odot}$, and a radius of $\rm R_{\star}$ = $1.39\pm0.02$ $\rm R_{\odot}$. TOI-481 b and TOI-892 b join the scarcely populated region of transiting gas giants with orbital periods longer than 10 days, which is important to constrain theories of the formation and structure of hot Jupiters.


title: Anomalous thermopower oscillations in graphene-InAs nanowire vertical heterostructures

abstract: Thermoelectric measurements have the potential to uncover the density of states of low-dimensional materials. Here, we present the anomalous thermoelectric behaviour of mono-layer graphene-nanowire (NW) heterostructures, showing large oscillations as a function of doping concentration. Our devices consist of InAs NW and graphene vertical heterostructures, which are electrically isolated by thin ($\sim$ 10nm) hexagonal boron nitride (hBN) layers. In contrast to conventional thermoelectric measurements, where a heater is placed on one side of a sample, we use the InAs NW (diameter $\sim 50$ nm) as a local heater placed in the middle of the graphene channel. We measure the thermoelectric voltage induced in graphene due to Joule heating in the NW as a function of temperature (1.5K - 50K) and carrier concentration. The thermoelectric voltage in bilayer graphene (BLG)- NW heterostructures shows sign change around the Dirac point, as predicted by Mott's formula. In contrast, the thermoelectric voltage measured across monolayer graphene (MLG)-NW heterostructures shows anomalous large-amplitude oscillations around the Dirac point, not seen in the Mott response derived from the electrical conductivity measured on the same device. The anomalous oscillations are a signature of the modified density of states in MLG by the electrostatic potential of the NW, which is much weaker in the NW-BLG devices. Thermal calculations of the heterostructure stack show that the temperature gradient is dominant in the graphene region underneath the NW, and thus sensitive to the modified density of states resulting in anomalous oscillations in the thermoelectric voltage. Furthermore, with the application of a magnetic field, we detect modifications in the density of states due to the formation of Landau levels in both MLG and BLG.


title: An Independence Test Based on Recurrence Rates. An empirical study and applications to real data

abstract: In this paper we propose several variants to perform the independence test between two random elements based on recurrence rates. We will show how to calculate the test statistic in each one of these cases. From simulations we obtain that in high dimension, our test clearly outperforms, in almost all cases, the other widely used competitors. The test was performed on two data sets including small and large sample sizes and we show that in both ases the application of the test allows us to obtain interesting conclusions.


title: Coherence resonance in neuronal populations: mean-field versus network model

abstract: The counter-intuitive phenomenon of coherence resonance describes a non-monotonic behavior of the regularity of noise-induced oscillations in the excitable regime, leading to an optimal response in terms of regularity of the excited oscillations for an intermediate noise intensity. We study this phenomenon in populations of FitzHugh-Nagumo (FHN) neurons with different coupling architectures. For networks of FHN systems in excitable regime, coherence resonance has been previously analyzed numerically. Here we focus on an analytical approach studying the mean-field limits of the locally and globally coupled populations. The mean-field limit refers to the averaged behavior of a complex network as the number of elements goes to infinity. We derive a mean-field limit approximating the locally coupled FHN network with low noise intensities. Further, we apply mean-field approach to the globally coupled FHN network. We compare the results of the mean-field and network frameworks for coherence resonance and find a good agreement in the globally coupled case, where the correspondence between the two approaches is sufficiently good to capture the emergence of anticoherence resonance. Finally, we study the effects of the coupling strength and noise intensity on coherence resonance for both the network and the mean-field model.


title: New equations of state constrained by nuclear physics, observations, and QCD calculations of high-density nuclear matter

abstract: We present new equations of state for applications in core-collapse supernova and neutron star merger simulations. We start by introducing an effective mass parametrization that is fit to recent microscopic calculations up to twice saturation density. This is important to capture the predicted thermal effects, which have been shown to determine the proto-neutron star contraction in supernova simulations. The parameter range of the energy-density functional underlying the equation of state is constrained by chiral effective field theory results at nuclear densities as well as by functional renormalization group computations at high densities based on QCD. We further implement observational constraints from measurements of heavy neutron stars, the gravitational wave signal of GW170817, and from the recent NICER results. Finally, we study the resulting allowed ranges for the equation of state and for properties of neutron stars, including the predicted ranges for the neutron star radius and maximum mass.


title: BNAS-v2: Memory-efficient and Performance-collapse-prevented Broad Neural Architecture Search

abstract: In this paper, we propose BNAS-v2 to further improve the efficiency of NAS, embodying both superiorities of BCNN simultaneously. To mitigate the unfair training issue of BNAS, we employ continuous relaxation strategy to make each edge of cell in BCNN relevant to all candidate operations for over-parameterized BCNN construction. Moreover, the continuous relaxation strategy relaxes the choice of a candidate operation as a softmax over all predefined operations. Consequently, BNAS-v2 employs the gradient-based optimization algorithm to simultaneously update every possible path of over-parameterized BCNN, rather than the single sampled one as BNAS. However, continuous relaxation leads to another issue named performance collapse, in which those weight-free operations are prone to be selected by the search strategy. For this consequent issue, two solutions are given: 1) we propose Confident Learning Rate (CLR) that considers the confidence of gradient for architecture weights update, increasing with the training time of over-parameterized BCNN; 2) we introduce the combination of partial channel connections and edge normalization that also can improve the memory efficiency further. Moreover, we denote differentiable BNAS (i.e. BNAS with continuous relaxation) as BNAS-D, BNAS-D with CLR as BNAS-v2-CLR, and partial-connected BNAS-D as BNAS-v2-PC. Experimental results on CIFAR-10 and ImageNet show that 1) BNAS-v2 delivers state-of-the-art search efficiency on both CIFAR-10 (0.05 GPU days that is 4x faster than BNAS) and ImageNet (0.19 GPU days); and 2) the proposed CLR is effective to alleviate the performance collapse issue in both BNAS-D and vanilla differentiable NAS framework.


title: Isobaric analog state energy in deformed nuclei: a toy model

abstract: A formula to evaluate the effects of a general deformation on the Coulomb direct contribution to the energy of the Isobaric Analog State (IAS) is presented and studied via a simple yet physical model. The toy model gives a reasonable account of microscopic deformed Hartree-Fock-Bogolyubov (HFB) calculations in a test case, and provides a guidance when predicting unknown IAS energies. Thus, deformed HFB calculations, to predict the IAS energies, are performed for several neutron-deficient medium-mass and heavy nuclei which are now planned to be studied experimentally.


title: Delooping Level of Nakayama algebras

abstract: We give another proof of the recent result of Ringel, which asserts equality between the finitistic dimension and delooping level of Nakayama algebras. The main tool is syzygy filtration method introduced in \cite{sen2019}. In particular, we give characterization of the finitistic dimension one Nakayama algebras.


title: Large Deviations Approach to Random Recurrent Neuronal Networks: Parameter Inference and Fluctuation-Induced Transitions

abstract: We here unify the field theoretical approach to neuronal networks with large deviations theory. For a prototypical random recurrent network model with continuous-valued units, we show that the effective action is identical to the rate function and derive the latter using field theory. This rate function takes the form of a Kullback-Leibler divergence which enables data-driven inference of model parameters and calculation of fluctuations beyond mean-field theory. Lastly, we expose a regime with fluctuation-induced transitions between mean-field solutions.


title: Asymptotic profile of solutions to the heat equation on thin plate with boundary heating

abstract: In this section, we consider the heat equation on a plate with thickness h > 0 being heated by a heat source on upper and lower faces of the plate. We obtain an asymptotic profile of the solution as the thickness h > 0 approaches to zero.


title: AdderSR: Towards Energy Efficient Image Super-Resolution

abstract: This paper studies the single image super-resolution problem using adder neural networks (AdderNet). Compared with convolutional neural networks, AdderNet utilizing additions to calculate the output features thus avoid massive energy consumptions of conventional multiplications. However, it is very hard to directly inherit the existing success of AdderNet on large-scale image classification to the image super-resolution task due to the different calculation paradigm. Specifically, the adder operation cannot easily learn the identity mapping, which is essential for image processing tasks. In addition, the functionality of high-pass filters cannot be ensured by AdderNet. To this end, we thoroughly analyze the relationship between an adder operation and the identity mapping and insert shortcuts to enhance the performance of SR models using adder networks. Then, we develop a learnable power activation for adjusting the feature distribution and refining details. Experiments conducted on several benchmark models and datasets demonstrate that, our image super-resolution models using AdderNet can achieve comparable performance and visual quality to that of their CNN baselines with an about 2$\times$ reduction on the energy consumption.


title: Non-equilibrium molecular dynamics and continuum modelling of transient freezing of atomistic solids

abstract: In this work we investigate the transient solidification of a Lennard-Jones liquid using non-equilibrium molecular dynamics simulations and continuum heat transfer theory. The simulations are performed in slab-shaped boxes, where a cold thermostat placed at the centre of the box drives the solidification of the liquid. Two well-defined solid fronts propagate outwards from the centre towards the ends of the box until solidification is completed. A continuum phase change model that accounts for the difference between the solid and the liquid densities is formulated to describe the evolution of the temperature and the position of the solidification front. Simulation results for a small and a large nanoscale system, of sizes $30.27$\,nm and $60.54$\,nm, are compared with the predictions of the theoretical model. Following a transient period of $\sim$20-40 ps and a displacement of the solidification front of 1-2.5 nm we find that the simulations and the continuum theory show good agreement. We use this fact to combine the simulation and theoretical approaches to design a simple procedure to calculate the latent heat of the material. We also perform simulations of the homogeneous freezing process, i.e. in the absence of a temperature gradient and at constant temperature, by quenching the liquid at supercooled temperatures. We demonstrate that the solidification rate of homogenous freezing is much faster than the one obtained under a thermal gradient for systems of the same size subject to the same thermostat temperature. Our study and conclusions should be of general interest to a wide range of atomistic solids.


title: Evidence of Cosmic-Ray Excess from Local Giant Molecular Clouds

abstract: We report the analysis of the Fermi-Large Area Telescope data from six nearby giant molecular clouds (MCs) belonging to the Gould Belt and the Aquila Rift regions. The high statistical {\gamma}-ray spectra above 3 GeV well described by power laws make it possible to derive precise estimates of the cosmic-ray (CR) distribution in the MCs. The comparison of {\gamma}-ray spectra of Taurus, Orion A, and Orion B clouds with the model expected from Alpha Magnetic Spectrometer (AMS-02) CR measurements confirms these clouds as passive clouds, immersed in an AMS-02-like CR spectrum. A similar comparison of Aquila Rift, Rho Oph, and Cepheus spectra yields significant deviation in both spectral indices and absolute fluxes, which can imply an additional acceleration of CRs throughout the entire clouds. Besides, the theoretical modeling of the excess {\gamma}-ray spectrum of these clouds, assuming {\pi}0-decay interaction of CRs in the cloud, gives a considerable amount of an enhanced CR energy density and it shows a significant deviation in spectral shapes compared to the average AMS-02 CR spectrum between 30 GeV and 10 TeV. We suggest that this variation in the CR spectrum of Cepheus could be accounted for by an efficient acceleration in the shocks of winds of OB associations, while in Rho Oph, similar acceleration can be provided by multiple T-Tauri stars populated in the whole cloud. In the case of Aquila Rift, the excess in absolute CR flux could be related to an additional acceleration of CRs by supernova remnants or propagation effects in the cloud.


title: Affine-invariant contracting-point methods for Convex Optimization

abstract: In this paper, we develop new affine-invariant algorithms for solving composite convex minimization problems with bounded domain. We present a general framework of Contracting-Point methods, which solve at each iteration an auxiliary subproblem restricting the smooth part of the objective function onto contraction of the initial domain. This framework provides us with a systematic way for developing optimization methods of different order, endowed with the global complexity bounds. We show that using an appropriate affine-invariant smoothness condition, it is possible to implement one iteration of the Contracting-Point method by one step of the pure tensor method of degree $p \geq 1$. The resulting global rate of convergence in functional residual is then ${\cal O}(1 / k^p)$, where $k$ is the iteration counter. It is important that all constants in our bounds are affine-invariant. For $p = 1$, our scheme recovers well-known Frank-Wolfe algorithm, providing it with a new interpretation by a general perspective of tensor methods. Finally, within our framework, we present efficient implementation and total complexity analysis of the inexact second-order scheme $(p = 2)$, called Contracting Newton method. It can be seen as a proper implementation of the trust-region idea. Preliminary numerical results confirm its good practical performance both in the number of iterations, and in computational time.


title: Remarks on relativistic scalar models with chemical potential

abstract: We discuss selected aspects of classical relativistic scalar field theories with nonzero chemical potential. First, we offer a review of classical field theory at nonzero density within the Lagrangian formalism. The aspects covered include the question of equivalence of descriptions of finite-density states using a chemical potential or time-dependent field configurations, the choice of Hamiltonian whose minimization yields the finite-density equilibrium state, and the issue of breaking of Lorentz invariance. Second, we demonstrate how the low-energy effective field theory for Nambu-Goldstone (NG) modes arising from the spontaneous breakdown of global internal symmetries can be worked out explicitly by integrating out the heavy (Higgs) fields. This makes it possible to analyze the spectrum of NG modes and their interactions without having to deal with mixing of NG and Higgs fields, ubiquitous in the linear-sigma-model description of spontaneous symmetry breaking.


title: Modelling of liquid internal energy and heat capacity over a wide pressure-temperature range from first principles

abstract: Recently there have been significant theoretical advances in our understanding of liquids and dense supercritical fluids based on their ability to support high frequency transverse (shear) waves. Here, we have constructed a new computer model using these recent theoretical findings (the phonon theory of liquid thermodynamics), to model liquid internal energy across a wide pressure-temperature range. We have applied it to a number of real liquids in both the subcritical regime and the supercritical regime, in which the liquid state is demarcated by the Frenkel line. Our fitting to experimental data in a wide pressure-temperature range has allowed us to test the new theoretical model with hitherto unprecedented rigour. We have quantified the degree to which the prediction of internal energy and heat capacity is constrained by the different input parameters: The liquid relaxation time (initially obtained from the viscosity), the Debye wavenumber and the infinite-frequency shear modulus. The model is successfully applied to output the internal energy and heat capacity data for several different fluids (Ar, Ne, $N_2$, Kr) over a range of densities and temperatures. We find that the predicted heat capacities are extremely sensitive to the values used for the liquid relaxation time. If these are calculated directly from the viscosity data then, in some cases, changes within the margins of experimental error in the viscosity data can cause the heat capacity to exhibit a completely different trend as a function of temperature. Our code is computationally inexpensive, and it is available for other researchers to use.


title: Semi-device independent randomness from d-outcome continuous-variable detection

abstract: Recently, semi-device independent protocols have attracted increasing attention, guaranteeing security with few hypotheses and experimental simplicity. In this paper, we demonstrate a many-outcomes scheme with the binary phase-shift keying (BPSK) for a semi-device independent protocol based on the energy assumption. We show in theory that the number of certified random bits of the d-outcomes system outperforms the standard scheme (binary-outcomes). Furthermore, we compare the results of two well-known measurement schemes, homodyne and heterodyne detection. Lastly, taking into account the experimental imperfections, we discuss the experimental feasibility of the d-outcome design.


title: An Enhanced Convolutional Neural Network in Side-Channel Attacks and Its Visualization

abstract: In recent years, the convolutional neural networks (CNNs) have received a lot of interest in the side-channel community. The previous work has shown that CNNs have the potential of breaking the cryptographic algorithm protected with masking or desynchronization. Before, several CNN models have been exploited, reaching the same or even better level of performance compared to the traditional side-channel attack (SCA). In this paper, we investigate the architecture of Residual Network and build a new CNN model called attention network. To enhance the power of the attention network, we introduce an attention mechanism - Convolutional Block Attention Module (CBAM) and incorporate CBAM into the CNN architecture. CBAM points out the informative points of the input traces and makes the attention network focus on the relevant leakages of the measurements. It is able to improve the performance of the CNNs. Because the irrelevant points will introduce the extra noises and cause a worse performance of attacks. We compare our attention network with the one designed for the masking AES implementation called ASCAD network in this paper. We show that the attention network has a better performance than the ASCAD network. Finally, a new visualization method, named Class Gradient Visualization (CGV) is proposed to recognize which points of the input traces have a positive influence on the predicted result of the neural networks. In another aspect, it can explain why the attention network is superior to the ASCAD network. We validate the attention network through extensive experiments on four public datasets and demonstrate that the attention network is efficient in different AES implementations.


title: Image Captioning with Attention for Smart Local Tourism using EfficientNet

abstract: Smart systems have been massively developed to help humans in various tasks. Deep Learning technologies push even further in creating accurate assistant systems due to the explosion of data lakes. One of the smart system tasks is to disseminate users needed information. This is crucial in the tourism sector to promote local tourism destinations. In this research, we design a model of local tourism specific image captioning, which later will support the development of AI-powered systems that assist various users. The model is developed using a visual Attention mechanism and uses the state-of-the-art feature extractor architecture EfficientNet. A local tourism dataset is collected and is used in the research, along with two different kinds of captions. Captions that describe the image literally and captions that represent human logical responses when seeing the image. This is done to make the captioning model more humane when implemented in the assistance system. We compared the performance of two different models using EfficientNet architectures (B0 and B4) with other well known VGG16 and InceptionV3. The best BLEU scores we get are 73.39 and 24.51 for the training set and the validation set respectively, using EfficientNetB0. The captioning result using the developed model shows that the model can produce logical caption for local tourism-related images


title: Time-series Imputation and Prediction with Bi-Directional Generative Adversarial Networks

abstract: Multivariate time-series data are used in many classification and regression predictive tasks, and recurrent models have been widely used for such tasks. Most common recurrent models assume that time-series data elements are of equal length and the ordered observations are recorded at regular intervals. However, real-world time-series data have neither a similar length nor a same number of observations. They also have missing entries, which hinders the performance of predictive tasks. In this paper, we approach these issues by presenting a model for the combined task of imputing and predicting values for the irregularly observed and varying length time-series data with missing entries. Our proposed model (Bi-GAN) uses a bidirectional recurrent network in a generative adversarial setting. The generator is a bidirectional recurrent network that receives actual incomplete data and imputes the missing values. The discriminator attempts to discriminate between the actual and the imputed values in the output of the generator. Our model learns how to impute missing elements in-between (imputation) or outside of the input time steps (prediction), hence working as an effective any-time prediction tool for time-series data. Our method has three advantages to the state-of-the-art methods in the field: (a) single model can be used for both imputation and prediction tasks; (b) it can perform prediction task for time-series of varying length with missing data; (c) it does not require to know the observation and prediction time window during training which provides a flexible length of prediction window for both long-term and short-term predictions. We evaluate our model on two public datasets and on another large real-world electronic health records dataset to impute and predict body mass index (BMI) values in children and show its superior performance in both settings.


title: Pattern formation of correlated impurities subjected to an impurity-medium interaction pulse

abstract: We study the correlated dynamics of few interacting bosonic impurities immersed in a one-dimensional harmonically trapped bosonic environment. The mixture is exposed to a time-dependent impurity-medium interaction pulse moving it across the relevant phase separation boundary. For modulation frequencies smaller than the trapping one, the system successively transits through the miscible/immiscible phases according to the driving of the impurity-medium interactions. For strong modulations, and driving from the miscible to the immiscible regime, a significant fraction of the impurities is expelled to the edges of the bath. They exhibit a strong localization behavior and tend to equilibrate. Following the reverse driving protocol, the impurities perform a breathing motion while featuring a two-body clustering and the bath is split into two incoherent parts. Interestingly, in both driving scenarios, dark-bright solitons are nucleated in the absence of correlations. A localization of the impurities around the trap center for weak impurity-impurity repulsions is revealed, which subsequently disperse into the bath for increasing interactions.


title: Mass transfer from a fluid flowing through a porous media

abstract: A mathematical model is developed for the process of mass transfer from a fluid flowing through a packed column. Mass loss, whether by absorption or adsorption, may be significant. This is appropriate for example when removing contaminants from flue gases. With small mass loss the model reduces to a simpler form which is appropriate to describe the removal of contaminants/pollutants from liquids. A case study is carried out for the removal of CO2 from a gas mixture passing over activated carbon. Using the experimental parameter values it is shown, via non-dimensionalisation, that certain terms may be neglected from the governing equations, resulting in a form which may be solved analytically using a travelling wave substitution. From this all important quantities throughout the column may be described; concentration of gaseous materials, amount of material available for mass transfer, fluid velocity and pressure. Results are verified by comparison with experimental data for the breakthrough curve (the amount of carbon measured at the column outlet). The advantage of the analytical expression over a purely numerical solution is that it can easily be used to optimise the process. In the final section we demonstrate how the model may be further reduced when small amounts of contaminant are removed. The model is shown to exhibit better agreement than established models when compared to experimental data for the removal of amoxicillin and congo red dye from water.


title: Directed branch-width: A directed analogue of tree-width

abstract: We introduce a new digraph width measure called directed branch-width. To do this, we generalize a characterization of graph classes of bounded tree-width in terms of their line graphs to digraphs. Although we prove that underlying branch-width cannot be bounded in terms of our new measure, we show that directed branch-width is a natural generalization of its undirected counterpart and indeed the two invariants can be related via the operation of identifying pairs of sources or pairs of sinks. Leveraging these operations and the relationship to underlying tree-width allows us to extend a range of algorithmic results from directed graphs with bounded underlying treewidth to the larger class of digraphs having bounded directed branch-width.


title: On the First Fundamental Theorem for $\operatorname{GL}_2(K)$ and $\operatorname{SL}_2(K)$

abstract: The First Fundamental Theorem of Invariant Theory describes a minimal generating set of the invariant polynomial ring under the action of some group $G$. In this note we give an elementary and direct proof for the $\operatorname{GL}_2(K)$ and $\operatorname{SL}_2(K)$ for any infinite field $K$. Our proof can be generalized to $\operatorname{GL}_m(K)$ and $\operatorname{SL}_m(K)$ for $m>2$. Moreover, we present a family of counter-examples to the statements of the First Fundamental Theorems for all finite fields and $m=2$.


title: Deviation bound for non-causal machine learning

abstract: Concentration inequalities are widely used for analyzing machine learning algorithms. However, current concentration inequalities cannot be applied to some of the most popular deep neural networks, notably in natural language processing. This is mostly due to the non-causal nature of such involved data, in the sense that each data point depends on other neighbor data points. In this paper, a framework for modeling non-causal random fields is provided and a Hoeffding-type concentration inequality is obtained for this framework. The proof of this result relies on a local approximation of the non-causal random field by a function of a finite number of i.i.d. random variables.


title: Learning Unseen Emotions from Gestures via Semantically-Conditioned Zero-Shot Perception with Adversarial Autoencoders

abstract: We present a novel generalized zero-shot algorithm to recognize perceived emotions from gestures. Our task is to map gestures to novel emotion categories not encountered in training. We introduce an adversarial, autoencoder-based representation learning that correlates 3D motion-captured gesture sequence with the vectorized representation of the natural-language perceived emotion terms using word2vec embeddings. The language-semantic embedding provides a representation of the emotion label space, and we leverage this underlying distribution to map the gesture-sequences to the appropriate categorical emotion labels. We train our method using a combination of gestures annotated with known emotion terms and gestures not annotated with any emotions. We evaluate our method on the MPI Emotional Body Expressions Database (EBEDB) and obtain an accuracy of $58.43\%$. This improves the performance of current state-of-the-art algorithms for generalized zero-shot learning by $25$--$27\%$ on the absolute.


title: Bounded Model Checking for Hyperproperties

abstract: Hyperproperties are properties of systems that relate multiple computation traces, including security and concurrency properties. This paper introduces a bounded model checking (BMC) algorithm for hyperproperties expressed in HyperLTL, which - to the best of our knowledge - is the first such algorithm. Just as the classic BMC technique for LTL primarily aims at finding bugs, our approach also targets identifying counterexamples. BMC for LTL is reduced to SAT solving, because LTL describes a property via inspecting individual traces. HyperLTL allows explicit and simultaneous quantification over traces and describes properties that involves multiple traces and, hence, our BMC approach naturally reduces to QBF solving. We report on successful and efficient model checking, implemented in a tool called HyperQube, of a rich set of experiments on a variety of case studies, including security, concurrent data structures, path planning for robots, and testing.


title: Hidden order and multipolar exchange striction in a correlated f-electron system

abstract: The nature of order in low-temperature phases of some materials is not directly seen by experiment. Such "hidden orders" (HO) may inspire decades of research to identify the mechanism underlying those exotic states of matter. In insulators, HO phases originate in degenerate many-electron states on localized f or d shells that may harbor high-rank multipole moments. Coupled by inter-site exchange, those moments form a vast space of competing order parameters. Here, we show how the ground state order and magnetic excitations of a prototypical HO system, neptunium dioxide NpO$_2$, can be fully described by a low-energy Hamiltonian derived by a many-body ab initio force-theorem method. Superexchange interactions between the lowest crystal-field quadruplet of Np$^{4+}$ ions induce a primary non-collinear order of time-odd rank-5 (triakontadipolar) moments with a secondary quadrupole order preserving the cubic symmetry of NpO$_2$. Our study also reveals an unconventional multipolar exchange-striction mechanism behind the anomalous volume contraction of the NpO$_2$ HO phase.


title: Optimizing Speech Emotion Recognition using Manta-Ray Based Feature Selection

abstract: Emotion recognition from audio signals has been regarded as a challenging task in signal processing as it can be considered as a collection of static and dynamic classification tasks. Recognition of emotions from speech data has been heavily relied upon end-to-end feature extraction and classification using machine learning models, though the absence of feature selection and optimization have restrained the performance of these methods. Recent studies have shown that Mel Frequency Cepstral Coefficients (MFCC) have been emerged as one of the most relied feature extraction methods, though it circumscribes the accuracy of classification with a very small feature dimension. In this paper, we propose that the concatenation of features, extracted by using different existing feature extraction methods can not only boost the classification accuracy but also expands the possibility of efficient feature selection. We have used Linear Predictive Coding (LPC) apart from the MFCC feature extraction method, before feature merging. Besides, we have performed a novel application of Manta Ray optimization in speech emotion recognition tasks that resulted in a state-of-the-art result in this field. We have evaluated the performance of our model using SAVEE and Emo-DB, two publicly available datasets. Our proposed method outperformed all the existing methods in speech emotion analysis and resulted in a decent result in these two datasets with a classification accuracy of 97.06% and 97.68% respectively.


title: Density Fluctuations across the Superfluid-Supersolid Phase Transition in a Dipolar Quantum Gas

abstract: Phase transitions share the universal feature of enhanced fluctuations near the transition point. Here we show that density fluctuations reveal how a Bose-Einstein condensate of dipolar atoms spontaneously breaks its translation symmetry and enters the supersolid state of matter -- a phase that combines superfluidity with crystalline order. We report on the first direct in situ measurement of density fluctuations across the superfluid-supersolid phase transition. This allows us to introduce a general and straightforward way to extract the static structure factor, estimate the spectrum of elementary excitations and image the dominant fluctuation patterns. We observe a strong response in the static structure factor and infer a distinct roton minimum in the dispersion relation. Furthermore, we show that the characteristic fluctuations correspond to elementary excitations such as the roton modes, which have been theoretically predicted to be dominant at the quantum critical point, and that the supersolid state supports both superfluid as well as crystal phonons.


title: High-accuracy calculation of the deuteron charge and quadrupole form factors in chiral effective field theory

abstract: We present a comprehensive analysis of the deuteron charge and quadrupole form factors based on the latest two-nucleon potentials and charge density operators derived in chiral effective field theory. The single- and two-nucleon contributions to the charge density are expressed in terms of the proton and neutron form factors, for which the most up-to-date empirical parametrizations are employed. By adjusting the fifth-order short-range terms in the two-nucleon charge density operator to reproduce the world data on the momentum-transfer dependence of the deuteron charge and quadrupole form factors, we predict the values of the structure radius and the quadrupole moment of the deuteron: $r_{\rm str}=1.9729\substack{+0.0015\\ -0.0012}\ \text{fm},\ Q_d=0.2854\substack{+0.0038\\ -0.0017}\ \text{fm}^2. $ A comprehensive and systematic analysis of various sources of uncertainty in our predictions is performed. Following the strategy advocated in our recent publication Phys. Rev. Lett. 124, 082501 (2020), we employ the extracted structure radius together with the accurate atomic data for the deuteron-proton mean-square charge radii difference to update the determination of the neutron charge radius, for which we find: $r_n^2=-0.105\substack{+0.005\\ -0.006} \, \text{fm}^2$. Given the observed rapid convergence of the deuteron form factors in the momentum-transfer range of $Q \simeq 1-2.5$ fm$^{-1}$, we argue that this intermediate-energy domain is particularly sensitive to the details of the nucleon form factors and can be used to test different parametrizations.