title: Rerandomization in stratified randomized experiments

abstract: Stratification and rerandomization are two well-known methods used in randomized experiments for balancing the baseline covariates. Renowned scholars in experimental design have recommended combining these two methods; however, limited studies have addressed the statistical properties of this combination. This paper proposes two rerandomization methods to be used in stratified randomized experiments, based on the overall and stratum-specific Mahalanobis distances. The first method is applicable for nearly arbitrary numbers of strata, strata sizes, and stratum-specific proportions of the treated units. The second method, which is generally more efficient than the first method, is suitable for situations in which the number of strata is fixed with their sizes tending to infinity. Under the randomization inference framework, we obtain the asymptotic distributions of estimators used in these methods and the formulas of variance reduction when compared to stratified randomization. Our analysis does not require any modeling assumption regarding the potential outcomes. Moreover, we provide asymptotically conservative variance estimators and confidence intervals for the average treatment effect. The advantages of the proposed methods are exhibited through an extensive simulation study and a real-data example.


title: Multiplicity and Diversity: Analyzing the Optimal Solution Space of the Correlation Clustering Problem on Complete Signed Graphs

abstract: In order to study real-world systems, many applied works model them through signed graphs, i.e. graphs whose edges are labeled as either positive or negative. Such a graph is considered as structurally balanced when it can be partitioned into a number of modules, such that positive (resp. negative) edges are located inside (resp. in-between) the modules. When it is not the case, authors look for the closest partition to such balance, a problem called Correlation Clustering (CC). Due to the complexity of the CC problem, the standard approach is to find a single optimal partition and stick to it, even if other optimal or high scoring solutions possibly exist. In this work, we study the space of optimal solutions of the CC problem, on a collection of synthetic complete graphs. We show empirically that under certain conditions, there can be many optimal partitions of a signed graph. Some of these are very different and thus provide distinct perspectives on the system, as illustrated on a small real-world graph. This is an important result, as it implies that one may have to find several, if not all, optimal solutions of the CC problem, in order to properly study the considered system.


title: UmBERTo-MTSA @ AcCompl-It: Improving Complexity and Acceptability Prediction with Multi-task Learning on Self-Supervised Annotations

abstract: This work describes a self-supervised data augmentation approach used to improve learning models' performances when only a moderate amount of labeled data is available. Multiple copies of the original model are initially trained on the downstream task. Their predictions are then used to annotate a large set of unlabeled examples. Finally, multi-task training is performed on the parallel annotations of the resulting training set, and final scores are obtained by averaging annotator-specific head predictions. Neural language models are fine-tuned using this procedure in the context of the AcCompl-it shared task at EVALITA 2020, obtaining considerable improvements in prediction quality.


title: A p-adic Shimura-Maass operator on Mumford curves

abstract: We study a p-adic Shimura-Maass operator in the context of Mumford curves defined by C. Franc is his Ph.D. Thesis. We prove that this operator arises from a splitting of the Hodge filtration, thus answering a question in Franc. We also study the relation of this operator with generalized Heegner cycles, in the spirit of Bertolini-Darmon-Prasanna and Brooks.


title: Random Sampling Neural Network for Quantum Many-Body Problems

abstract: The eigenvalue problem of quantum many-body systems is a fundamental and challenging subject in condensed matter physics, since the dimension of the Hilbert space (and hence the required computational memory and time) grows exponentially as the system size increases. A few numerical methods have been developed for some specific systems, but may not be applicable in others. Here we propose a general numerical method, Random Sampling Neural Networks (RSNN), to utilize the pattern recognition technique for the random sampling matrix elements of an interacting many-body system via a self-supervised learning approach. Several exactly solvable 1D models, including Ising model with transverse field, Fermi-Hubbard model, and spin-$1/2$ $XXZ$ model, are used to test the applicability of RSNN. Pretty high accuracy of energy spectrum, magnetization and critical exponents etc. can be obtained within the strongly correlated regime or near the quantum phase transition point, even the corresponding RSNN models are trained in the weakly interacting regime. The required computation time scales linearly to the system size. Our results demonstrate that it is possible to combine the existing numerical methods for the training process and RSNN to explore quantum many-body problems in a much wider parameter regime, even for strongly correlated systems.


title: Continuity problem for singular BSDE with random terminal time

abstract: We study a class of nonlinear BSDEs with a superlinear driver process f adapted to a filtration F and over a random time interval [[0, S]] where S is a stopping time of F. The terminal condition $\xi$ is allowed to take the value +$\infty$, i.e., singular. Our goal is to show existence of solutions to the BSDE in this setting. We will do so by proving that the minimal supersolution to the BSDE is a solution, i.e., attains the terminal values with probability 1. We consider three types of terminal values: 1) Markovian: i.e., $\xi$ is of the form $\xi$ = g($\Xi$ S) where $\Xi$ is a continuous Markovian diffusion process and S is a hitting time of $\Xi$ and g is a deterministic function 2) terminal conditions of the form $\xi$ = $\infty$ $\times$ 1 {$\tau$ $\le$S} and 3) $\xi$ 2 = $\infty$ $\times$ 1 {$\tau$ >S} where $\tau$ is another stopping time. For general $\xi$ we prove the minimal supersolution is continuous at time S provided that F is left continuous at time S. We call a stopping time S solvable with respect to a given BSDE and filtration if the BSDE has a minimal supersolution with terminal value $\infty$ at terminal time S. The concept of solvability plays a key role in many of the arguments. Finally, we discuss implications of our results on the Markovian terminal conditions to solution of nonlinear elliptic PDE with singular boundary conditions.


title: Superradiance as single scattering embedded in an effective medium

abstract: We present an optical picture of linear-optics superradiance, based on a single scattering event embedded in a dispersive effective medium composed by the other atoms. This linear-dispersion theory is valid at low density and in the single-scattering regime, i.e., when the exciting field is largely detuned. The comparison with the coupled-dipole model shows a perfect agreement for the superradiant decay rate. Then we use two advantages of this approach. First we make a direct comparison with experimental data, without any free parameter, and show a good quantitative agreement. Second, we address the problem of moving atoms, which can be efficiently simulated by adding the Doppler broadening to the theory. In particular, we discuss how to recover superradiance at high temperature.


title: 5G satellite networks for IoT: offloading and backhauling

abstract: One of the main drivers of 5G cellular networks is provision of connectivity service for various Internet of Things (IoT) devices. Considering the potential volume of IoT devices at a global scale, the next leap is to integrate Non-Terrestrial Networks (NTN) into 5G terrestrial systems, thereby extend the coverage and complement the terrestrial service. This paper focuses on the use of Low-Earth Orbit (LEO) satellite constellations for two specific purposes: offloading and backhauling. The former allows offloading IoT traffic from a congested terrestrial network, usually in a very dense area. In the latter application, the constellation provides a multi-hop backhaul that connects a remote terrestrial gNB to the 5G core network. After providing an overview of the status of the 3GPP standardization process, we model and analyze the user data performance, specifically in the uplink access and the satellite multi-hop constellation path. The evaluation of the collisions, the delay and the Age of Information, and the comparison of the terrestrial and the satellite access networks provide useful insights to understand the potential of LEO constellations for offloading and backhauling of IoT traffic.


title: OpenKinoAI: An Open Source Framework for Intelligent Cinematography and Editing of Live Performances

abstract: OpenKinoAI is an open source framework for post-production of ultra high definition video which makes it possible to emulate professional multiclip editing techniques for the case of single camera recordings. OpenKinoAI includes tools for uploading raw video footage of live performances on a remote web server, detecting, tracking and recognizing the performers in the original material, reframing the raw video into a large choice of cinematographic rushes, editing the rushes into movies, and annotating rushes and movies for documentation purposes. OpenKinoAI is made available to promote research in multiclip video editing of ultra high definition video, and to allow performing artists and companies to use this research for archiving, documenting and sharing their work online in an innovative fashion.


title: Propagation of light in linear and quadratic GRIN media: The Bohm potential

abstract: It is shown that field propagation in linear and quadratic gradient-index (GRIN) media obeys the same rules of free propagation in the sense that a field propagating in free space has a (mathematical) form that may be {\it exported} to those particular GRIN media. The Bohm potential is introduced in order to explain the reason of such behavior: it changes the dynamics by modifying the original potential. The concrete cases of two different initials conditions for each potential are analyzed.


title: On the dynamics of extensions of free-abelian times free groups endomorphisms to the completion

abstract: We obtain conditions of uniform continuity for endomorphisms of free-abelian times free groups for the product metric defined by taking the prefix metric in each component and establish an equivalence between uniform continuity for this metric and the preservation of a coarse-median, which was recently introduced by Fioravanti. Considering the extension of an endomorphism to the completion we count the number of orbits for the action of the subgroup of fixed points (resp. periodic) points on the set of infinite fixed (resp. periodic) points. Finally, we study the dynamics of infinite points: for some endomorphisms, defined in a precise way, fitting a classification given by Delgado and Ventura, we prove that every infinite point is either periodic or wandering, which implies that the dynamics is asymptotically periodic. We also prove the latter for the case of automorphisms.


title: The entropy, from Clausius to functional inequalities

abstract: In this document we are interested in entropy. Entropy is multiple, the idea is to describe the definition proposed by the physicist Clausius. Indeed, Clausius exposes in 1865 the second principle of thermodynamics and also proposes the concept of entropy. Instead of simply defining a functional, central point for the development of the second principle, it will in fact define a concept sufficiently general to be used in many fields of mathematics.In these few pages, I wish to show the role played by entropy in the field of gradient flows and functional inequalities. Starting from the definition of Clausius in 1865, I will try to explain how fundamental functional inequalities like Sobolev inequality, key point in analysis, are natural inked with a particular entropy. This path allows me to give an overview of the use of gradient flows in finite or infinite dimension, of Bakry-Emery theory and more recently of Otto's calculus.


title: On the variational interpretation of local logarithmic Sobolev inequalities

abstract: The celebrated Otto calculus has established itself as a powerful tool for proving quantitative energy dissipation estimates and provides with an elegant geometric interpretation of certain functional inequalities such as the Logarithmic Sobolev inequality. However, the \emph{local} versions of such inequalities, which can be proven by means of Bakry-Emery-Ledoux $\Gamma$-calculus, has not yet been given an interpretation in terms of this Riemannian formalism. In this short note we close this gap by explaining how Otto calculus applied to the Schr{\"o}dinger problem yields a variations interpretation of the local logarithmic Sobolev inequalities, that could possibly unlock novel class of local inequalities.


title: Dynamic Embeddings for Interaction Prediction

abstract: In recommender systems (RSs), predicting the next item that a user interacts with is critical for user retention. While the last decade has seen an explosion of RSs aimed at identifying relevant items that match user preferences, there is still a range of aspects that could be considered to further improve their performance. For example, often RSs are centered around the user, who is modeled using her recent sequence of activities. Recent studies, however, have shown the effectiveness of modeling the mutual interactions between users and items using separate user and item embeddings. Building on the success of these studies, we propose a novel method called DeePRed that addresses some of their limitations. In particular, we avoid recursive and costly interactions between consecutive short-term embeddings by using long-term (stationary) embeddings as a proxy. This enable us to train DeePRed using simple mini-batches without the overhead of specialized mini-batches proposed in previous studies. Moreover, DeePRed's effectiveness comes from the aforementioned design and a multi-way attention mechanism that inspects user-item compatibility. Experiments show that DeePRed outperforms the best state-of-the-art approach by at least 14% on next item prediction task, while gaining more than an order of magnitude speedup over the best performing baselines. Although this study is mainly concerned with temporal interaction networks, we also show the power and flexibility of DeePRed by adapting it to the case of static interaction networks, substituting the short- and long-term aspects with local and global ones.


title: Pixel precise unsupervised detection of viral particle proliferation in cellular imaging data

abstract: Cellular and molecular imaging techniques and models have been developed to characterize single stages of viral proliferation after focal infection of cells in vitro. The fast and automatic classification of cell imaging data may prove helpful prior to any further comparison of representative experimental data to mathematical models of viral propagation in host cells. Here, we use computer generated images drawn from a reproduction of an imaging model from a previously published study of experimentally obtained cell imaging data representing progressive viral particle proliferation in host cell monolayers. Inspired by experimental time-based imaging data, here in this study viral particle increase in time is simulated by a one-by-one increase, across images, in black or gray single pixels representing dead or partially infected cells, and hypothetical remission by a one-by-one increase in white pixels coding for living cells in the original image model. The image simulations are submitted to unsupervised learning by a Self-Organizing Map (SOM) and the Quantization Error in the SOM output (SOM-QE) is used for automatic classification of the image simulations as a function of the represented extent of viral particle proliferation or cell recovery. Unsupervised classification by SOM-QE of 160 model images, each with more than three million pixels, is shown to provide a statistically reliable, pixel precise, and fast classification model that outperforms human computer-assisted image classification by RGB image mean computation. The automatic classification procedure proposed here provides a powerful approach to understand finely tuned mechanisms in the infection and proliferation of virus in cell lines in vitro or other cells.


title: First cold test of a crab cavity at the GERSEMI cryostat for the HL-LHC project

abstract: We tested the prototype DQW cavity in GERSEMI vertical test stand in FREIA. The performance met the specification, and our experimental procedure and infrastructure are qualified for testing crab cavities in the HL-LHC project. This was the critical milestone in the project and it also opens a new opportunity for testing superconducting cavities in FREIA.


title: CHIANTI -- an atomic database for emission lines -- Paper XVI: Version 10, further extensions

abstract: We present version 10 of the CHIANTI package. In this release, we provide updated atomic models for several helium-like ions and for all the ions of the beryllium, carbon and magnesium isoelectronic sequences that are abundant in astrophysical plasmas. We include rates from large-scale atomic structure and scattering calculations that are in many cases a significant improvement over the previous version, especially for the Be-like sequence, which has useful line diagnostics to measure the electron density and temperature. We have also added new ions and updated several of them with new atomic rates and line identifications. Also, we have added several improvements to the IDL software, to speed up the calculations and to estimate the suppression of dielectronic recombination.


title: Functional Connectome Fingerprint Gradients in Young Adults

abstract: The assessment of brain fingerprints has emerged in the recent years as an important tool to study individual differences and to infer quality of neuroimaging datasets. Studies so far have mainly focused on connectivity fingerprints between different brain scans of the same individual. Here, we extend the concept of brain connectivity fingerprints beyond test/retest and assess fingerprint gradients in young adults by developing an extension of the differential identifiability framework. To do so, we look at the similarity between not only the multiple scans of an individual (subject fingerprint), but also between the scans of monozygotic and dizygotic twins (twin fingerprint). We have carried out this analysis on the 8 fMRI conditions present in the Human Connectome Project -- Young Adult dataset, which we processed into functional connectomes (FCs) and timeseries parcellated according to the Schaefer Atlas scheme, which has multiple levels of resolution. Our differential identifiability results show that the fingerprint gradients based on genetic and environmental similarities are indeed present when comparing FCs for all parcellations and fMRI conditions. Importantly, only when assessing optimally reconstructed FCs, we fully uncover fingerprints present in higher resolution atlases. We also study the effect of scanning length on subject fingerprint of resting-state FCs to analyze the effect of scanning length and parcellation. In the pursuit of open science, we have also made available the processed and parcellated FCs and timeseries for all conditions for ~1200 subjects part of the HCP-YA dataset to the scientific community.


title: Complete Dynamical Evaluation of the Characteristic Polynomial of Binary Quantum Graphs

abstract: We evaluate the variance of coefficients of the characteristic polynomial for binary quantum graphs using a dynamical approach. This is the first example where a spectral statistic can be evaluated in terms of periodic orbits for a system with chaotic classical dynamics without taking the semiclassical limit, which here is the limit of large graphs. The variance depends on the sizes of particular sets of primitive pseudo orbits (sets of distinct primitive periodic orbits): the set of primitive pseudo orbits without self-intersections and the sets of primitive pseudo orbits with a fixed number of self-intersections, all of which consist of two arcs of the pseudo orbit crossing at a single vertex. To show other pseudo orbits do not contribute we give two arguments. The first is based on a reduction of the variance formula from a sum over pairs of primitive pseudo orbits to a sum over pseudo orbits where no bonds are repeated. The second employs a parity argument for the Lyndon decomposition of words. For families of binary graphs, in the semiclassical limit, we show the pseudo orbit formula approaches a universal constant independent of the coefficient of the polynomial. This is obtained by counting the total number of primitive pseudo orbits of a given length.


title: Mode changing, subpulse drifting and nulling in four component conal pulsar PSR J2321+6024

abstract: In this study, we report on a detailed single pulse polarimetric analysis of the radio emission from the pulsar J2321+6024 (B2319+60) observed with the Giant Metrewave Radio Telescope, over wide frequencies ranging between 300 to 500 MHz and widely separated observing sessions. The pulsar profile shows the presence of four distinct conal components and belongs to a small group of pulsars classified as a conal quadrupole profile type. The single pulse sequence reveals the presence of three distinct emission modes, A, B, and ABN showing subpulse drifting. Besides, there were sequences when the pulsar did not show any drifting behaviour suggesting the possibility of a new emission state, which we have termed as mode C. The evolution of the mode changing behavior was seen during the different observing sessions with different abundance as well as the average duration of the modes seen on each date. The drifting periodicities were 7.8$\pm$0.3 $P$, 4.3$\pm$0.4 $P$, and 3.1$\pm$0.2 $P$ in the modes A, B and ABN respectively, and showed large phase variations within the mode profile. The pulsar also showed the presence of orthogonal polarization modes, particularly in the leading and trailing components, which has different characteristics for the stronger and weaker pulses. However, no correlation was found between the emission modes and their polarization behavior, with the estimated emission heights remaining roughly constant throughout. We have used the Partially Screened Gap model to understand the connection between drifting, mode changing, and nulling.


title: Color for the perceptual organization of the pictorial plane: Victor Vasarely's legacy to Gestalt Psychology

abstract: Victor Vasarely (1906-1997)and his important legacy to the study of human perception are brought to the forefront and discussed. A large part of his impressive work conveys the appearance of striking three-dimensional shapes and structures in a large-scale pictorial plane. Current perception science explains such effects by invoking brain mechanisms for the processing of monocular (2D) depth cues. Here in this study, we illustrate and explain local effects of 2D color and contrast cues on the perceptual organization in terms of figure-ground assignments, i.e. which local surfaces are likely to be seen as nearer or bigger in the image plane. Paired configurations are embedded in a larger, structurally ambivalent pictorial context inspired by some of Vasarelys creations. The figure-ground effects the configurations produce reveal a significant correlation between perceptual solutions for nearer and bigger when other monocular depth cues are not provided. In consistency with previous findings on similar, albeit simpler visual displays, a specific color may compete with luminance contrast to resolve the planar ambiguity of a complex pattern context at a critical point in the hierarchical resolution of figure-ground uncertainty. The potential role of color temperature in this process is brought forward here. Vasarely intuitively understood and successfully exploited the subtle context effects accounted for in this paper, well before empirical investigation had set out to study and explain them in terms of information processing by the visual brain.


title: Cyclic quadrilaterals and smooth Jordan curves

abstract: For every smooth Jordan curve $\gamma$ and cyclic quadrilateral $Q$ in the Euclidean plane, we show that there exists an orientation-preserving similarity taking the vertices of $Q$ to $\gamma$. The proof relies on the theorem of Polterovich and Viterbo that an embedded Lagrangian torus in $\mathbb{C}^2$ has minimum Maslov number 2.


title: A Variational Infinite Mixture for Probabilistic Inverse Dynamics Learning

abstract: Probabilistic regression techniques in control and robotics applications have to fulfill different criteria of data-driven adaptability, computational efficiency, scalability to high dimensions, and the capacity to deal with different modalities in the data. Classical regressors usually fulfill only a subset of these properties. In this work, we extend seminal work on Bayesian nonparametric mixtures and derive an efficient variational Bayes inference technique for infinite mixtures of probabilistic local polynomial models with well-calibrated certainty quantification. We highlight the model's power in combining data-driven complexity adaptation, fast prediction and the ability to deal with discontinuous functions and heteroscedastic noise. We benchmark this technique on a range of large real inverse dynamics datasets, showing that the infinite mixture formulation is competitive with classical Local Learning methods and regularizes model complexity by adapting the number of components based on data and without relying on heuristics. Moreover, to showcase the practicality of the approach, we use the learned models for online inverse dynamics control of a Barrett-WAM manipulator, significantly improving the trajectory tracking performance.


title: SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices

abstract: With the proliferation of Android malware, the demand for an effective and efficient malware detection system is on the rise. The existing device-end learning based solutions tend to extract limited syntax features (e.g., permissions and API calls) to meet a certain time constraint of mobile devices. However, syntax features lack the semantics which can represent the potential malicious behaviors and further result in more robust model with high accuracy for malware detection. In this paper, we propose an efficient Android malware detection system, named SeqMobile, which adopts behavior-based sequence features and leverages customized deep neural networks on mobile devices instead of the server. Different from the traditional sequence-based approaches on server, to meet the performance demand, SeqMobile accepts three effective performance optimization methods to reduce the time cost. To evaluate the effectiveness and efficiency of our system, we conduct experiments from the following aspects 1) the detection accuracy of different recurrent neural networks; 2) the feature extraction performance on different mobile devices, 3) the detection accuracy and prediction time cost of different sequence lengths. The results unveil that SeqMobile can effectively detect malware with high accuracy. Moreover, our performance optimization methods have proven to improve the performance of training and prediction by at least twofold. Additionally, to discover the potential performance optimization from the SOTA TensorFlow model optimization toolkit for our approach, we also provide an evaluation on the toolkit, which can serve as a guidance for other systems leveraging on sequence-based learning approach. Overall, we conclude that our sequence-based approach, together with our performance optimization methods, enable us to detect malware under the performance demands of mobile devices.


title: Curious properties of latency distributions

abstract: Network latency distributions, their algebra, and use examples. This paper considers modeling of capacity-insensitive processes and distributed systems. It provides algebraic properties of the latency distribution algebra and Haskell code to implement the model.


title: Relations Between the Strong Global Dimension, Complexes of Fized Size and Derived Category

abstract: Let $\mathbb{Z}$ be the integer numbers, $\mathbb{K}$ an algebraically closed field, $\Lambda$ a finite dimensional $\mathbb{K}$-algebra, mod$\Lambda$ the category of finitely generated right modules, proj$\Lambda$ the full subcategory of mod$\Lambda$ consisting of all projective $\Lambda$-modules, and $C_n(proj\Lambda)$ the bounded complexes of projective $\Lambda$-modules of fixed size for any integer $n\geq2$. We find an algorithm to calculate the strong global dimension of $\Lambda$, when $\Lambda$ is a finite strong global dimension and derived discrete, using the Auslander-Reiten quivers of the categories $C_n(proj\Lambda)$. Also, we show the relation between the Auslander-Reiten quiver of the bounded derived category $D^b(\Lambda)$ and the Auslander-Reiten quiver of $C_{\eta+1}(proj\Lambda)$, where $\eta=s.gl.dim(\Lambda)$ (strong global dimension of $\Lambda$).


title: Curve neighborhoods of Schubert Varieties in the odd symplectic Grassmannian

abstract: Let $\mbox{IG}(k,2n+1)$ be the odd symplectic Grassmannian. It is a quasi-ho\-mo\-ge\-neous space with homogeneous-like behavior. A very limited description of curve neighborhoods of Schubert varieties in $\mbox{IG}(k,2n+1)$ was used by Mihalcea and the second named author to prove an (equivariant) quantum Chevalley rule. In this paper we give a full description of the irreducible components of curve neighborhoods in terms of the Hecke product of (appropriate) Weyl group elements, $k$-strict partitions, and BC-partitions. The latter set of partitions respect the Bruhat order with inclusions. Our approach follows the philosophy of Buch and Mihalcea's curve neighborhood calculations of Schubert varieties in the homogeneous cases.


title: Semiglobal oblique projection exponential dynamical observers for nonautonomous semilinear parabolic-like equations

abstract: The estimation of the full state of a nonautonomous semilinear parabolic equation is achieved by a Luenberger type dynamical observer. The estimation is derived from an output given by a finite number of average measurements of the state on small regions. The state estimate given by the observer converges exponentially to the real state, as time increases. The result is semiglobal in the sense that the error dynamics can be made stable for an arbitrary given initial condition, provided a large enough number of measurements, depending on the norm of the initial condition, is taken. The output injection operator is explicit and involves a suitable oblique projection. The results of numerical simulations are presented showing the exponential stability of the error dynamics.


title: AC-DC: Amplification Curve Diagnostics for Covid-19 Group Testing

abstract: The first part of the paper presents a review of the gold-standard testing protocol for Covid-19, real-time, reverse transcriptase PCR, and its properties and associated measurement data such as amplification curves that can guide the development of appropriate and accurate adaptive group testing protocols. The second part of the paper is concerned with examining various off-the-shelf group testing methods for Covid-19 and identifying their strengths and weaknesses for the application at hand. The third part of the paper contains a collection of new analytical results for adaptive semiquantitative group testing with probabilistic and combinatorial priors, including performance bounds, algorithmic solutions, and noisy testing protocols. The probabilistic setting is of special importance as it is designed to be simple to implement by nonexperts and handle heavy hitters. The worst-case paradigm extends and improves upon prior work on semiquantitative group testing with and without specialized PCR noise models.


title: Distance sensing emerging from second-order interference of thermal light

abstract: We introduce and describe a technique for distance sensing, based on second-order interferometry of thermal light. The method is based on measuring correlation between intensity fluctuations on two detectors, and provides estimates of the distances separating a remote mask from the source and the detector, even when such information cannot be retrieved by first-order intensity measurements. We show how the sensitivity to such distances is intimately connected to the degree of correlation of the measured interference pattern in different experimental scenarios and independently of the spectral properties of light. Remarkably, this protocol can be also used to measure the distance of remote reflective objects in the presence of turbulence. We demonstrate the emergence of new critical parameters which benchmark the degree of second-order correlation, describing the counterintuitive emergence of spatial second-order interference not only in the absence of (first-order) coherence at both detectors but also when first order interference is observed at one of the two detectors.


title: High-throughput screening of the thermoelastic properties of ultra-high temperature ceramics

abstract: Ultra-high temperature ceramics, UHTCs, are a group of materials with high technological interest because their use in extreme environments. However, their characterization at high temperatures represents the main obstacle for their fast development. Obstacles are found from a experimental point of view, where only few laboratories around the world have the resources to test these materials under extreme conditions, and also from a theoretical point of view, where actual methods are extremely expensive. Here, a new theoretical high-throughput framework for the prediction of the thermoelastic properties of materials is introduced. This approach can be systematically applied to any kind of crystalline material, drastically reducing the computational cost of previous methodologies. Elastic constants for UHTCs have been calculated at a wide range of temperatures with excellent agreement with experimentally reported values. Moreover, other mechanical properties such a bulk modulus, shear modulus or Poisson ration have been also explored. Other frameworks with similar computational cost have been used only for predicting isotropic or averaged properties, however this new approach opens the door to the calculation of anisotropic properties at a very low computational cost.


title: On-line force capability evaluation based on efficient polytope vertex search

abstract: Ellipsoid-based manipulability measures are often used to characterize the force/velocity task-space capabilities of robots. While computationally simple, this approach largely approximate and underestimate the true capabilities. Force/velocity polytopes appear to be a more appropriate representation to characterize robot's task-space capabilities. However, due to the computational complexity of the associated vertex search problem, the polytope approach is mostly restricted to offline use, e.g. as a tool aiding robot mechanical design, robot placement in work-space and offline trajectory planning. In this paper, a novel on-line polytope vertex search algorithm is proposed. It exploits the parallelotop geometry of actuator constraints. The proposed algorithm significantly reduces the complexity and computation time of the vertex search problem in comparison to commonly used algorithms. In order to highlight the on-line capability of the proposed algorithm and its potential for robot control, a challenging experiment with two collaborating Franka Emika Panda robots, carrying a load of 12 kilograms, is proposed. In this experiment, the load distribution is adapted on-line, as a function of the configuration dependant task-space force capability of each robot, in order to avoid, as much as possible, the saturation of their capacity.


title: Temporal Stochastic Softmax for 3D CNNs: An Application in Facial Expression Recognition

abstract: Training deep learning models for accurate spatiotemporal recognition of facial expressions in videos requires significant computational resources. For practical reasons, 3D Convolutional Neural Networks (3D CNNs) are usually trained with relatively short clips randomly extracted from videos. However, such uniform sampling is generally sub-optimal because equal importance is assigned to each temporal clip. In this paper, we present a strategy for efficient video-based training of 3D CNNs. It relies on softmax temporal pooling and a weighted sampling mechanism to select the most relevant training clips. The proposed softmax strategy provides several advantages: a reduced computational complexity due to efficient clip sampling, and an improved accuracy since temporal weighting focuses on more relevant clips during both training and inference. Experimental results obtained with the proposed method on several facial expression recognition benchmarks show the benefits of focusing on more informative clips in training videos. In particular, our approach improves performance and computational cost by reducing the impact of inaccurate trimming and coarse annotation of videos, and heterogeneous distribution of visual information across time.


title: VFH+ based shared control for remotely operated mobile robots

abstract: This paper addresses the problem of safe and efficient navigation in remotely controlled robots operating in hazardous and unstructured environments; or conducting other remote robotic tasks. A shared control method is presented which blends the commands from a VFH+ obstacle avoidance navigation module with the teleoperation commands provided by an operator via a joypad. The presented approach offers several advantages such as flexibility allowing for a straightforward adaptation of the controller's behaviour and easy integration with variable autonomy systems; as well as the ability to cope with dynamic environments. The advantages of the presented controller are demonstrated by an experimental evaluation in a disaster response scenario. More specifically, presented evidence show a clear performance increase in terms of safety and task completion time compared to a pure teleoperation approach, as well as an ability to cope with previously unobserved obstacles.


title: Coronal mass ejections observed by heliospheric imagers at 0.2 and 1 au: the events on April 1 and 2, 2019

abstract: Context. We study two coronal mass ejections (CMEs) observed between April 1-2, 2019 by both the inner Wide-Field Imager for Parker Solar Probe (WISPR-I) and the inner heliospheric imager (HI-1) on board STEREO-A. This is the first study of CME observations from two viewpoints in similar directions but at considerably different solar distances. Aims. Our objective is to understand how the PSP observations affect the CME kinematics, especially due to its proximity to the Sun. Methods. We estimate the CME positions, speeds, accelerations, propagation directions and longitudinal deflections using imaging observations from two spacecraft, and a set of analytical expressions that consider the CME as a point structure and take into account the rapid change in spacecraft position. Results. We find that both CMEs are slow ($< 400\ km\ s^{-1}$), propagating eastward of the Sun-Earth line. The second CME seems to accelerate between $\sim 0.1$ to $\sim 0.2\ au$ and deflect westward with an angular speed consistent with the solar rotation speed. We find some discrepancies in the CME solar distance (up to $0.05\ au$, particularly for CME \#1), latitude (up to $\sim10^{\circ}$) and longitude (up to $24^{\circ}$) when comparing results from different fit cases (different observations or set of free parameters). Conclusions. Discrepancies in longitude are likely due to the feature tracked visually rather than instrumental biases or fit assumptions. For similar reasons, the CME \#1 solar distance, as derived from WISPR-I observations, is larger than the HI-1 result, regardless of the fit parameters considered. Error estimates for CME kinematics do not show any clear trend associated to the observing instrument. The source region location and the lack of any clear in situ counterparts (both at near-Earth and at PSP) support our estimate of the propagation direction for both events.


title: Simplified Josephson-junction fabrication process for reproducibly high-performance superconducting qubits

abstract: We introduce a simplified fabrication technique for Josephson junctions and demonstrate superconducting Xmon qubits with $T_1$ relaxation times averaging above 50$~\mu$s ($Q>$1.5$\times$ 10$^6$). Current shadow-evaporation techniques for aluminum-based Josephson junctions require a separate lithography step to deposit a patch that makes a galvanic, superconducting connection between the junction electrodes and the circuit wiring layer. The patch connection eliminates parasitic junctions, which otherwise contribute significantly to dielectric loss. In our patch-integrated cross-type (PICT) junction technique, we use one lithography step and one vacuum cycle to evaporate both the junction electrodes and the patch. In a study of more than 3600 junctions, we show an average resistance variation of 3.7$\%$ on a wafer that contains forty 0.5$\times$0.5-cm$^2$ chips, with junction areas ranging between 0.01 and 0.16 $\mu$m$^2$. The average on-chip spread in resistance is 2.7$\%$, with 20 chips varying between 1.4 and 2$\%$. For the junction sizes used for transmon qubits, we deduce a wafer-level transition-frequency variation of 1.7-2.5$\%$. We show that 60-70$\%$ of this variation is attributed to junction-area fluctuations, while the rest is caused by tunnel-junction inhomogeneity. Such high frequency predictability is a requirement for scaling-up the number of qubits in a quantum computer.


title: Uses and Abuses of the Cross-Entropy Loss: Case Studies in Modern Deep Learning

abstract: Modern deep learning is primarily an experimental science, in which empirical advances occasionally come at the expense of probabilistic rigor. Here we focus on one such example; namely the use of the categorical cross-entropy loss to model data that is not strictly categorical, but rather takes values on the simplex. This practice is standard in neural network architectures with label smoothing and actor-mimic reinforcement learning, amongst others. Drawing on the recently discovered continuous-categorical distribution, we propose probabilistically-inspired alternatives to these models, providing an approach that is more principled and theoretically appealing. Through careful experimentation, including an ablation study, we identify the potential for outperformance in these models, thereby highlighting the importance of a proper probabilistic treatment, as well as illustrating some of the failure modes thereof.


title: Action quantum speed limits

abstract: We introduce action quantum speed limits (QSLs) as a family of bounds on the minimal time to connect two states that, unlike the usual geometric approach, crucially depend on how the path is traversed, i.e. on the instantaneous speed. The two approaches provide consistent bounds when the instantaneous speed is optimized along a fixed path and we demonstrate this explicitly for the case of a thermalizing qubit employing techniques from optimal control theory. In addition, we critically analyze the interpretation of QSLs based on different choices of metric establishing that, in general, these open system QSL times provide an indication of optimality with respect to the geodesic path, rather than necessarily being indicative of an achievable minimal time.


title: On the State of Social Media Data for Mental Health Research

abstract: Data-driven methods for mental health treatment and surveillance have become a major focus in computational science research in the last decade. However, progress in the domain, in terms of both medical understanding and system performance, remains bounded by the availability of adequate data. Prior systematic reviews have not necessarily made it possible to measure the degree to which data-related challenges have affected research progress. In this paper, we offer an analysis specifically on the state of social media data that exists for conducting mental health research. We do so by introducing an open-source directory of mental health datasets, annotated using a standardized schema to facilitate meta-analysis.


title: Testability of relations between permutations

abstract: We initiate the study of property testing problems concerning relations between permutations. In such problems, the input is a tuple $(\sigma_1,\dotsc,\sigma_d)$ of permutations on $\{1,\dotsc,n\}$, and one wishes to determine whether this tuple satisfies a certain system of relations $E$, or is far from every tuple that satisfies $E$. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that $E$ is testable. For example, when $d=2$ and $E$ consists of the single relation $\mathsf{XY=YX}$, this corresponds to testing whether $\sigma_1\sigma_2=\sigma_2\sigma_1$, where $\sigma_1\sigma_2$ and $\sigma_2\sigma_1$ denote composition of permutations. We define a collection of graphs, naturally associated with the system $E$, that encodes all the information relevant to the testability of $E$. We then prove two theorems that provide criteria for testability and non-testability in terms of expansion properties of these graphs. By virtue of a deep connection with group theory, both theorems are applicable to wide classes of systems of relations. In addition, we formulate the well-studied group-theoretic notion of stability in permutations as a special case of the testability notion above, interpret all previous works on stability as testability results, survey previous results on stability from a computational perspective, and describe many directions for future research on stability and testability.


title: Improving the Approximation Ratio for Capacitated Vehicle Routing

abstract: We devise a new approximation algorithm for capacitated vehicle routing. Our algorithm yields a better approximation ratio for general capacitated vehicle routing as well as for the unit-demand case and the splittable variant. Our results hold in arbitrary metric spaces. This is the first improvement upon the classical tour partitioning algorithm by Haimovich and Rinnooy Kan and Altinkemer and Gavish.


title: Robust preconditioners for perturbed saddle-point problems and conservative discretizations of Biot's equations utilizing total pressure

abstract: We develop robust solvers for a class of perturbed saddle-point problems arising in the study of a second-order elliptic equation in mixed form (in terms of flux and potential), and of the four-field formulation of Biot's consolidation problem for linear poroelasticity (using displacement, filtration flux, total pressure and fluid pressure). The stability of the continuous variational mixed problems, which hinges upon using adequately weighted spaces, is addressed in detail; and the efficacy of the proposed preconditioners, as well as their robustness with respect to relevant material properties, is demonstrated through several numerical experiments.


title: A $p$-adic adjoint $L$-function and the ramification locus of the Hilbert modular eigenvariety

abstract: Let $F$ be a totally real field and $\mathscr{E}$ the middle-degree eigenvariety for Hilbert modular forms over $F$, constructed by Bergdall--Hansen. We study the ramification locus of $\mathscr{E}$ in relation to the $p$-adic properties of adjoint $L$-values. The connection between the two is made via an analytic twisted Poincar\'e pairing over affinoid weights, which interpolates the classical twisted Poincar\'e pairing for Hilbert modular forms, itself known to be related to adjoint $L$-values by works of Ghate and Dimitrov. The overall strategy connecting the pairings to ramification is based on the theory of $L$-ideals, which was used by Bella\"iche and Kim in the case where $F = \mathbb{Q}$.


title: Quantum tunneling dynamics in a complex-valued Sachdev-Ye-Kitaev model quench-coupled to a cool bath

abstract: The Sachdev-Ye-Kitaev (SYK) model describes interacting fermionic zero modes in zero spatial dimensions, e.g. quantum dot, with interactions strong enough to completely washout quasiparticle excitations in the infrared. In this paper, we consider the complex-valued SYK model at initial temperature $T$ and chemical potential $\mu$ coupled to a large reservoir by a quench at time $t=0$. The reservoir is kept at zero temperature and charge neutrality. We find that the dynamics of the discharging process of the SYK quantum dot reveals a distinctive characteristic of the SYK non-Fermi liquid (nFl) state. In particular, we focus on the tunneling current induced by the quench. We show that the temperature dependent contribution to the current's half-life scales linearly in $T$ at low temperatures for the SYK nFl state, while for the Fermi liquid it scales as $T^2$.


title: Observation of forward neutron multiplicity dependence of dimuon acoplanarity in ultraperipheral Pb-Pb collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: The first measurement of the dependence of $\gamma\gamma$ $\to$ $\mu^{+}\mu^{-}$ production on the multiplicity of neutrons emitted very close to the beam direction in ultraperipheral heavy ion collisions is reported. Data for lead-lead interactions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV, with an integrated luminosity of approximately 1.5 nb$^{-1}$, were collected using the CMS detector at the LHC. The azimuthal correlations between the two muons in the invariant mass region 8 $\lt$ $m_{\mu\mu}$ $\lt$ 60 GeV are extracted for events including 0, 1, or at least 2 neutrons detected in the forward pseudorapidity range $|\eta|$ $\gt$ 8.3. The back-to-back correlation structure from leading-order photon-photon scattering is found to be significantly broader for events with a larger number of emitted neutrons from each nucleus, corresponding to interactions with a smaller impact parameter. This observation provides a data-driven demonstration that the average transverse momentum of photons emitted from relativistic heavy ions has an impact parameter dependence. These results provide new constraints on models of photon-induced interactions in ultraperipheral collisions. They also provide a baseline to search for possible final-state effects on lepton pairs caused by traversing a quark-gluon plasma produced in hadronic heavy ion collisions.


title: Shock-multicloud interactions in galactic outflows -- II. Radiative fractal clouds and cold gas thermodynamics

abstract: Galactic winds are crucial to the cosmic cycle of matter, transporting material out of the dense regions of galaxies. Observations show the coexistence of different temperature phases in such winds, which is not easy to explain. We present a set of 3D shock-multicloud simulations that account for radiative heating and cooling at temperatures between $10^2\,\rm K$ and $10^7\,\rm K$. The interplay between shock heating, dynamical instabilities, turbulence, and radiative heating and cooling creates a complex multi-phase flow with a rain-like morphology. Cloud gas fragments and is continuously eroded, becoming efficiently mixed and mass loaded. The resulting warm mixed gas then cools down and precipitates into new dense cloudlets, which repeat the process. Thus, radiative cooling is able to sustain fast-moving dense gas by aiding condensation of gas from warm clouds and the hot wind. In the ensuing outflow, hot gas with temperatures $\gtrsim 10^6\,\rm K$ outruns the warm and cold phases, which reach thermal equilibrium near $\approx 10^4\,\rm K$ and $\approx 10^2\,\rm K$, respectively. Although the volume filling factor of hot gas is higher in the outflow, most of the mass is concentrated in dense gas cloudlets and filaments with these temperatures. More porous multicloud layers result in more vertically extended outflows, and dense gas is more efficiently produced in more compact layers. The cold phase is not accelerated by ram-pressure, but, instead, precipitates from warm and mixed gas out of thermal equilibrium. This cycle can explain the presence of high-velocity H\,{\sc i} gas with $N_{\rm H\,{\scriptstyle I}}=10^{19-21}\,\rm cm^{-2}$ and $\Delta v_{{\rm FWHM}}\lesssim37\,\rm km\,s^{-1}$ in the Galactic centre outflow.


title: Spectroscopic orbit determination of the long-periodic binary system $\theta$ Cep

abstract: In 2015 a radial velocity monitoring campaign was started in order to redetermine and/or constrain the orbital solutions of spectroscopic binary systems. The observations were carried out at the University Observatory Jena with the \'Echelle spectrograph FLECHAS. The results from the main part of our target sample are already published. For the final target of this campaign, $\theta$ Cep, we can now present an orbital solution based on a homogeneously covered radial velocity curve. The period of this single-lined spectroscopic binary turns out to be significantly larger and the orbit is much more eccentric compared to the given values in the 9th Catalogue of Spectroscopic Binary Orbits.


title: Dark-modes excitation in coupled nano Fabry-Perot structure induced by symmetry breaking

abstract: Absorbing metamaterials have attracted a widespread interest but suffer from the metallic ohmic losses that limits their Q-factor to values around 10. In this paper, we report the engineering and experimental characterization of a high Q dark-mode in a metasurface resulting from the coupling of several individual nano-Fabry-Perot structures supporting low-contrast resonances. The resulting resonance has a Q-factor above 20 and a nearly total absorption. Moreover, we also demonstrate that several dark-mode resonances can be excited simultaneously, by exploiting the coupling of various pairs of nano Fabry-Perot resonators within the same subwavelength period. Finally, the resonance's Q-factor depends monotonously on the thickness of the metasurface and can reach values up to 85.


title: Classification of Polarimetric SAR Images Using Compact Convolutional Neural Networks

abstract: Classification of polarimetric synthetic aperture radar (PolSAR) images is an active research area with a major role in environmental applications. The traditional Machine Learning (ML) methods proposed in this domain generally focus on utilizing highly discriminative features to improve the classification performance, but this task is complicated by the well-known "curse of dimensionality" phenomena. Other approaches based on deep Convolutional Neural Networks (CNNs) have certain limitations and drawbacks, such as high computational complexity, an unfeasibly large training set with ground-truth labels, and special hardware requirements. In this work, to address the limitations of traditional ML and deep CNN based methods, a novel and systematic classification framework is proposed for the classification of PolSAR images, based on a compact and adaptive implementation of CNNs using a sliding-window classification approach. The proposed approach has three advantages. First, there is no requirement for an extensive feature extraction process. Second, it is computationally efficient due to utilized compact configurations. In particular, the proposed compact and adaptive CNN model is designed to achieve the maximum classification accuracy with minimum training and computational complexity. This is of considerable importance considering the high costs involved in labelling in PolSAR classification. Finally, the proposed approach can perform classification using smaller window sizes than deep CNNs. Experimental evaluations have been performed over the most commonly-used four benchmark PolSAR images: AIRSAR L-Band and RADARSAT-2 C-Band data of San Francisco Bay and Flevoland areas. Accordingly, the best obtained overall accuracies range between 92.33 - 99.39% for these benchmark study sites.


title: Encoding large scale cosmological structure with Generative Adversarial Networks

abstract: Recently a type of neural networks called Generative Adversarial Networks (GANs) has been proposed as a solution for fast generation of simulation-like datasets, in an attempt to bypass heavy computations and expensive cosmological simulations to run in terms of time and computing power. In the present work, we build and train a GAN to look further into the strengths and limitations of such an approach. We then propose a novel method in which we make use of a trained GAN to construct a simple autoencoder (AE) as a first step towards building a predictive model. Both the GAN and AE are trained on images issued from two types of N-body simulations, namely 2D and 3D simulations. We find that the GAN successfully generates new images that are statistically consistent with the images it was trained on. We then show that the AE manages to efficiently extract information from simulation images, satisfyingly inferring the latent encoding of the GAN to generate an image with similar large scale structures.


title: High Dimensional Gaussian Graphical Regression Models with Covariates

abstract: Though Gaussian graphical models have been widely used in many scientific fields, relatively limited progress has been made to link graph structures to external covariates. We propose a Gaussian graphical regression model, which regresses both the mean and the precision matrix of a Gaussian graphical model on covariates. In the context of co-expression quantitative trait locus (QTL) studies, our method can determine how genetic variants and clinical conditions modulate the subject-level network structures, and recover both the population-level and subject-level gene networks. Our framework encourages sparsity of covariate effects on both the mean and the precision matrix. In particular for the precision matrix, we stipulate simultaneous sparsity, i.e., group sparsity and element-wise sparsity, on effective covariates and their effects on network edges, respectively. We establish variable selection consistency first under the case with known mean parameters and then a more challenging case with unknown means depending on external covariates, and establish in both cases the $\ell_2$ convergence rates and the selection consistency of the estimated precision parameters. The utility and efficacy of our proposed method is demonstrated through simulation studies and an application to a co-expression QTL study with brain cancer patients.


title: Regularity and energy transfer for a nonlinear beam equation

abstract: In this paper we study some key effects of a discontinuous forcing term in a fourth order wave equation on a bounded domain, modeling the adhesion of an elastic beam with a substrate through an elastic-breakable interaction. By using a spectral decomposition method we show that the main effects induced by the nonlinearity at the transition from attached to detached states can be traced in a loss of regularity of the solution and in a migration of the total energy through the scales.


title: Equivariant Mapping Class Group and Orbit Braid Group

abstract: Motivated by the work of Birman about the relationship between mapping class groups and braid groups, we discuss the relationship between the orbit braid group and the equivariant mapping class group on the closed surface $M$ with a free and proper group action in this article. Our construction is based on the exact sequence given by the fibration $\mathcal{F}_{0}^{G}M \rightarrow F(M/G,n)$. The conclusion is closely connected with the braid group of the quotient space. Comparing with the situation without the group action, there is a big difference when the quotient space is $\mathbb{T}^{2}$.


title: Game Semantics: Easy as Pi

abstract: Game semantics has proven to be a robust method to give compositional semantics for a variety of higher-order programming languages. However, due to the complexity of most game models, game semantics has remained unapproachable for non-experts. In this paper, we aim at making game semantics more accessible by viewing it as a syntactic translation into a session typed pi-calculus, referred to as metalanguage, followed by a semantics interpretation of the metalanguage into a particular game model. The syntactic translation can be defined for a wide range of programming languages without knowledge of the particular game model used. Simple reasoning on the model (soundness, and adequacy) can be done at the level of the metalanguage, escaping tedious technical proofs usually found in game semantics. We call this methodology programming game semantics. We design a metalanguage (PiDiLL) inspired from Differential Linear Logic (DiLL), which is concise but expressive enough to support features required by concurrent game semantics. We then demonstrate our methodology by yielding the first causal, non-angelic and interactive game model of CML, a higher-order call-by-value language with shared memory concurrency. We translate CML into PiDiLL and show that the translation is adequate. We give a causal and non-angelic game semantics model using event structures, which supports a simple semantics interpretation of PiDiLL. Combining both of these results, we obtain the first interactive model of a concurrent language of this expressivity which is adequate with respect to the standard weak bisimulation, and fully abstract for the contextual equivalence on second-order terms. We have implemented a prototype which can explore the generated causal object from a subset of OCaml.


title: Towards Preemptive Detection of Depression and Anxiety in Twitter

abstract: Depression and anxiety are psychiatric disorders that are observed in many areas of everyday life. For example, these disorders manifest themselves somewhat frequently in texts written by nondiagnosed users in social media. However, detecting users with these conditions is not a straightforward task as they may not explicitly talk about their mental state, and if they do, contextual cues such as immediacy must be taken into account. When available, linguistic flags pointing to probable anxiety or depression could be used by medical experts to write better guidelines and treatments. In this paper, we develop a dataset designed to foster research in depression and anxiety detection in Twitter, framing the detection task as a binary tweet classification problem. We then apply state-of-the-art classification models to this dataset, providing a competitive set of baselines alongside qualitative error analysis. Our results show that language models perform reasonably well, and better than more traditional baselines. Nonetheless, there is clear room for improvement, particularly with unbalanced training sets and in cases where seemingly obvious linguistic cues (keywords) are used counter-intuitively.


title: Rydberg States of H$_3$ and HeH as Potential Coolants for Primordial Star Formation

abstract: Current theory and measurements establish the age of the universe as ca. 13.8 billion years. For the first several hundred million years of its existence, it was a dark, opaque void. After that, the hydrogen atoms comprising most of the "ordinary" matter began to condense and ionize, eventually forming the first stars that would illuminate the sky. Details of how these "primordial" stars formed have been widely debated, but remain elusive. A central issue in this process is the mechanism by which the primordial gas (mainly hydrogen and helium atoms) collected via the action of dark matter cools and further accretes to fusion densities. Current models invoke collisional excitation of H$_2$ molecular rotations and subsequent radiative rotational transitions allowed by the weak molecular quadrupole moment. In this article, we review the salient considerations, and present some new ideas, bases on recent spectroscopic observations of neutral H$_3$ Rydberg electronic state emission in the mid-infrared.


title: Slow quench dynamics in classical systems: kinetic Ising model and zero-range process

abstract: While a large number of studies have focused on the nonequilibrium dynamics of a system when it is quenched instantaneously from a disordered phase to an ordered phase, such dynamics have been relatively less explored when the quench occurs at a finite rate. Here we study the slow quench dynamics in two paradigmatic models of classical statistical mechanics, {viz.}, one-dimensional kinetic Ising model and mean-field zero-range process, when the system is annealed slowly to the critical point. Starting from the time evolution equations for the spin-spin correlation function in the Ising model and the mass distribution in the zero-range process, we derive the Kibble-Zurek scaling laws. We then test a recent proposal that critical coarsening which is ignored in the Kibble-Zurek argument plays a role in the nonequilibrium dynamics close to the critical point. We find that the defect density in the Ising model and a scaled mass distribution in the zero-range process decay linearly to the respective value at the critical point with the time remaining until the end of the quench provided the final quench point is approached sufficiently fast, and sublinearly otherwise. As the linear scaling for the approach to the critical point also holds when a system following an instantaneous quench is allowed to coarsen for a finite time interval, we conclude that critical coarsening captures the scaling behavior in the vicinity of the critical point if the annealing is not too slow.


title: On double cosets of groups $GL(n)$ with respect to subgroups of block strictly triangular matrices

abstract: We parametrize the space of double cosets of the group $GL(n,\Bbbk)$ with respect to two subgroups $T_-$, $T_+$ of block strictly triangular matrices. In Addendum, we consider the quasi-regular representation of $GL(n,\Bbb{C})$ in $L^2$ on $T_- \ GL(n,\Bbb{C})$, observe that it admits an additional group of symmetries, find the joint spectrum, and observe that it is multiplicity free.


title: Observation of quasi-coherent density fluctuation in scrape-off layer enhancing boundary transport in high-betaN hybrid plasmas on DIII-D

abstract: We report the observation of a quasi-coherent density fluctuation (QCF) by the Doppler backscattering system in the scrape-off layer (SOL) region of the DIII-D tokamak. This QCF is observed in high-power, high-performance hybrid plasmas with near double-null divertor (DND) shape during the electron cyclotron heating period. This mode is correlated with a steepened SOL density profile and leads to significantly elevated particle and heat fluxes between ELMs. The SOL QCF is a long-wavelength ion-scale fluctuation and propagates in the ion diamagnetic direction in the plasma frame. Its radial expanse is about 1.5-2 cm, well beyond the typical width of heat flux on DIII-D. Also, the SOL QCF does not show any clear dependence on the effective SOL collisionality and thus may raise issues on the control of plasma-material interactions in low collisionality plasmas in which the blob-induced transport is reduced. A linear simulation using BOUT++ with a 5-field reduced model is performed and compared with experimental observations. In simulation results, an interchange-like density perturbation can be driven by the SOL density gradient, and its peak location and the radial width of the density perturbation are in agreement with the experimental observations.


title: Perception Improvement for Free: Exploring Imperceptible Black-box Adversarial Attacks on Image Classification

abstract: Deep neural networks are vulnerable to adversarial attacks. White-box adversarial attacks can fool neural networks with small adversarial perturbations, especially for large size images. However, keeping successful adversarial perturbations imperceptible is especially challenging for transfer-based black-box adversarial attacks. Often such adversarial examples can be easily spotted due to their unpleasantly poor visual qualities, which compromises the threat of adversarial attacks in practice. In this study, to improve the image quality of black-box adversarial examples perceptually, we propose structure-aware adversarial attacks by generating adversarial images based on psychological perceptual models. Specifically, we allow higher perturbations on perceptually insignificant regions, while assigning lower or no perturbation on visually sensitive regions. In addition to the proposed spatial-constrained adversarial perturbations, we also propose a novel structure-aware frequency adversarial attack method in the discrete cosine transform (DCT) domain. Since the proposed attacks are independent of the gradient estimation, they can be directly incorporated with existing gradient-based attacks. Experimental results show that, with the comparable attack success rate (ASR), the proposed methods can produce adversarial examples with considerably improved visual quality for free. With the comparable perceptual quality, the proposed approaches achieve higher attack success rates: particularly for the frequency structure-aware attacks, the average ASR improves more than 10% over the baseline attacks.


title: On social networks that support learning

abstract: It is well understood that the structure of a social network is critical to whether or not agents can aggregate information correctly. In this paper, we study social networks that support information aggregation when rational agents act sequentially and irrevocably. Whether or not information is aggregated depends, inter alia, on the order in which agents decide. Thus, to decouple the order and the topology, our model studies a random arrival order. Unlike the case of a fixed arrival order, in our model, the decision of an agent is unlikely to be affected by those who are far from him in the network. This observation allows us to identify a local learning requirement, a natural condition on the agent's neighborhood that guarantees that this agent makes the correct decision (with high probability) no matter how well other agents perform. Roughly speaking, the agent should belong to a multitude of mutually exclusive social circles. We illustrate the power of the local learning requirement by constructing a family of social networks that guarantee information aggregation despite that no agent is a social hub (in other words, there are no opinion leaders). Although the common wisdom of the social learning literature suggests that information aggregation is very fragile, another application of the local learning requirement demonstrates the existence of networks where learning prevails even if a substantial fraction of the agents are not involved in the learning process. On a technical level, the networks we construct rely on the theory of expander graphs, i.e., highly connected sparse graphs with a wide range of applications from pure mathematics to error-correcting codes.


title: Spin Susceptibility Above the Superfluid Onset in Ultracold Fermi Gases

abstract: Ultracold atomic Fermi gases can be tuned to interact strongly, where they display spectroscopic signatures above the superfluid transition reminiscent of the pseudogap in cuprates. However, the extent of the analogy can be questioned, since thermodynamic quantities in the low temperature spin-imbalanced normal state can be described successfully using Fermi liquid theory. Here we present spin susceptibility measurements across the interaction strength-temperature phase diagram using a novel radiofrequency technique with ultracold $^6\textrm{Li}$ gases. For all significant interaction strengths and at all temperatures we find the spin susceptibility is reduced compared with the equivalent value for a non-interacting Fermi gas, with the low temperature results consistent with previous studies. However, our measurements extend to higher temperatures, where we find that the reduction persists consistently with a mean-field scenario. At unitarity, we can use the local density approximation to extract the spin susceptibility for the uniform gas, which is well described by mean-field models at temperatures from the superfluid transition to the Fermi temperature.


title: Medical Knowledge-enriched Textual Entailment Framework

abstract: One of the cardinal tasks in achieving robust medical question answering systems is textual entailment. The existing approaches make use of an ensemble of pre-trained language models or data augmentation, often to clock higher numbers on the validation metrics. However, two major shortcomings impede higher success in identifying entailment: (1) understanding the focus/intent of the question and (2) ability to utilize the real-world background knowledge to capture the context beyond the sentence. In this paper, we present a novel Medical Knowledge-Enriched Textual Entailment framework that allows the model to acquire a semantic and global representation of the input medical text with the help of a relevant domain-specific knowledge graph. We evaluate our framework on the benchmark MEDIQA-RQE dataset and manifest that the use of knowledge enriched dual-encoding mechanism help in achieving an absolute improvement of 8.27% over SOTA language models. We have made the source code available here.


title: Group testing and local search: is there a computational-statistical gap?

abstract: In this work we study the fundamental limits of approximate recovery in the context of group testing. One of the most well-known, theoretically optimal, and easy to implement testing procedures is the non-adaptive Bernoulli group testing problem, where all tests are conducted in parallel, and each item is chosen to be part of any certain test independently with some fixed probability. In this setting, there is an observed gap between the number of tests above which recovery is information theoretically (IT) possible, and the number of tests required by the currently best known efficient algorithms to succeed. Often times such gaps are explained by a phase transition in the landscape of the solution space of the problem (an Overlap Gap Property phase transition). In this paper we seek to understand whether such a phenomenon takes place for Bernoulli group testing as well. Our main contributions are the following: (1) We provide first moment evidence that, perhaps surprisingly, such a phase transition does not take place throughout the regime for which recovery is IT possible. This fact suggests that the model is in fact amenable to local search algorithms ; (2) we prove the complete absence of "bad" local minima for a part of the "hard" regime, a fact which implies an improvement over known theoretical results on the performance of efficient algorithms for approximate recovery without false-negatives, and finally (3) we present extensive simulations that strongly suggest that a very simple local algorithm known as Glauber Dynamics does indeed succeed, and can be used to efficiently implement the well-known (theoretically optimal) Smallest Satisfying Set (SSS) estimator.


title: Search for dark matter in association with an energetic photon in pp collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search for dark matter is conducted in final states containing a photon and missing transverse momentum in proton$-$proton collisions at $\sqrt{s}$ = 13 TeV. The data, collected during 2015$-$2018 by the ATLAS experiment at the CERN LHC, correspond to an integrated luminosity of 139 fb$^{-1}$. No deviations from the predictions of the Standard Model are observed and 95% confidence-level upper limits between 2.45 fb and 0.5 fb are set on the visible cross section for contributions from physics beyond the Standard Model, in different ranges of the missing transverse momentum. The results are interpreted as 95% confidence-level limits in models where weakly interacting dark-matter candidates are pair-produced via an s-channel axial-vector or vector mediator. Dark-matter candidates with masses up to 415 (580) GeV are excluded for axial-vector (vector) mediators, while the maximum excluded mass of the mediator is 1460 (1470) GeV. In addition, the results are expressed in terms of 95% confidence-level limits on the parameters of a model with an axion-like particle produced in association with a photon, and are used to constrain the coupling $g_{aZ\gamma}$ of an axion-like particle to the electroweak gauge bosons.


title: ATCN: Resource-Efficient Processing of Time Series on Edge

abstract: This paper presents a scalable deep learning model called Agile Temporal Convolutional Network (ATCN) for high-accurate fast classification and time series prediction in resource-constrained embedded systems. ATCN is a family of compact networks with formalized hyperparameters that enable application-specific adjustments to be made to the model architecture. It is primarily designed for embedded edge devices with very limited performance and memory, such as wearable biomedical devices and real-time reliability monitoring systems. ATCN makes fundamental improvements over the mainstream temporal convolutional neural networks, including residual connections to increase the network depth and accuracy, and the incorporation of separable depth-wise convolution to reduce the computational complexity of the model. As part of the present work, two ATCN families, namely T0, and T1 are also presented and evaluated on different ranges of embedded processors - Cortex-M7 and Cortex-A57 processor. An evaluation of the ATCN models against the best-in-class InceptionTime and MiniRocket shows that ATCN almost maintains accuracy while improving the execution time on a broad range of embedded and cyber-physical applications with demand for real-time processing on the embedded edge. At the same time, in contrast to existing solutions, ATCN is the first time-series classifier based on deep learning that can be run bare-metal on embedded microcontrollers (Cortex-M7) with limited computational performance and memory capacity while delivering state-of-the-art accuracy.


title: Reflectionless canonical systems, I. Arov gauge and right limits

abstract: In spectral theory, $j$-monotonic families of $2\times 2$ matrix functions appear as transfer matrices of many one-dimensional operators. We present a general theory of such families, in the perspective of canonical systems in Arov gauge. This system resembles a continuum version of the Schur algorithm, and allows to restore an arbitrary Schur function along the flow of associated boundary values at infinity. In addition to results in Arov gauge, this provides a gauge-independent perspective on the Krein-de Branges formula and the reflectionless property of right limits on the absolutely continuous spectrum. This work has applications to inverse spectral problems which have better behavior with respect to a normalization at an internal point of the resolvent domain.


title: Solvability of a class of singular fourth order equations of Monge-Amp\`ere type

abstract: We study the solvability of the second boundary value problem for a class of highly singular fourth order equations of Monge-Amp\`ere type. They arise in the approximation of convex functionals subject to a convexity constraint using Abreu type equations. Both the Legendre transform and partial Legendre transform are used in our analysis. In two dimensions, we establish global solutions to the second boundary value problem for highly singular Abreu equations where the right hand sides are of $q$-Laplacian type for all $q>1$. We show that minimizers of variational problems with a convexity constraint in two dimensions that arise from the Rochet-Chon\'e model in the monopolist's problem in economics with $q$-power cost can be approximated in the uniform norm by solutions of the Abreu equation for a full range of $q$.


title: Search for heavy neutral leptons in $W^+\to\mu^{+}\mu^{\pm}\text{jet}$ decays

abstract: A search is performed for heavy neutrinos in the decay of a $W$ boson into two muons and a jet. The data set corresponds to an integrated luminosity of approximately $3.0 \text{ fb}^{-1}$ of proton-proton collision data at centre-of-mass energies of 7 and $8 \text{ TeV}$ collected with the LHCb experiment. Both same-sign and opposite-sign muons in the final state are considered. Data are found to be consistent with the expected background. Upper limits on the coupling of a heavy neutrino with the Standard Model neutrino are set at $95\%$ confidence level in the heavy-neutrino mass range from 5 to $50 \text{ GeV}/c^2$. These are of the order of $10^{-3}$ for lepton-number-conserving decays and of the order of $10^{-4}$ for lepton-number-violating heavy-neutrino decays.


title: Brane inflation driven by an arctan potential: CMB constraints and Reheating

abstract: We investigate the early universe evolution in the context of brane inflation driven by a supergravity-inspired $\arctan$ potential. We performed a slow-roll and a semi-analytical reheating analyses and obtained constraints on the inflationary parameters in agreement with Planck 2018 data. We also employed a Markov Chain Monte Carlo analysis to perform a parameter estimation of the cosmological parameters, obtaining results in good agreement with the currently available cosmic microwave background and baryon acoustic oscillation data. This work establishes the general theoretical predictions of the $\arctan$ model, with the results of the statistical analysis corroborating its observational viability.


title: A Search for Technosignatures Around 31 Sun-like Stars with the Green Bank Telescope at 1.15-1.73 GHz

abstract: We conducted a search for technosignatures in April of 2018 and 2019 with the L-band receiver (1.15-1.73 GHz) of the 100 m diameter Green Bank Telescope. These observations focused on regions surrounding 31 Sun-like stars near the plane of the Galaxy. We present the results of our search for narrowband signals in this data set as well as improvements to our data processing pipeline. Specifically, we applied an improved candidate signal detection procedure that relies on the topographic prominence of the signal power, which nearly doubles the signal detection count of some previously analyzed data sets. We also improved the direction-of-origin filters that remove most radio frequency interference (RFI) to ensure that they uniquely link signals observed in separate scans. We performed a preliminary signal injection and recovery analysis to test the performance of our pipeline. We found that our pipeline recovers 93% of the injected signals over the usable frequency range of the receiver and 98% if we exclude regions with dense RFI. In this analysis, 99.73% of the recovered signals were correctly classified as technosignature candidates. Our improved data processing pipeline classified over 99.84% of the ~26 million signals detected in our data as RFI. Of the remaining candidates, 4539 were detected outside of known RFI frequency regions. The remaining candidates were visually inspected and verified to be of anthropogenic nature. Our search compares favorably to other recent searches in terms of end-to-end sensitivity, frequency drift rate coverage, and signal detection count per unit bandwidth per unit integration time.


title: Reflectionless canonical systems, II. Almost periodicity and character-automorphic Fourier transforms

abstract: We develop a comprehensive theory of reflectionless canonical systems with an arbitrary Dirichlet-regular Widom spectrum with the Direct Cauchy Theorem property. This generalizes, to an infinite gap setting, the constructions of finite gap quasiperiodic (algebro-geometric) solutions of stationary integrable hierarchies. Instead of theta functions on a compact Riemann surface, the construction is based on reproducing kernels of character-automorphic Hardy spaces in Widom domains with respect to Martin measure. We also construct unitary character-automorphic Fourier transforms which generalize the Paley-Wiener theorem. Finally, we find the correct notion of almost periodicity which holds for canonical system parameters in Arov gauge, and we prove generically optimal results for almost periodicity for Potapov-de Branges gauge, and Dirac operators.


title: Deep Neural Mobile Networking

abstract: The next generation of mobile networks is set to become increasingly complex, as these struggle to accommodate tremendous data traffic demands generated by ever-more connected devices that have diverse performance requirements in terms of throughput, latency, and reliability. This makes monitoring and managing the multitude of network elements intractable with existing tools and impractical for traditional machine learning algorithms that rely on hand-crafted feature engineering. In this context, embedding machine intelligence into mobile networks becomes necessary, as this enables systematic mining of valuable information from mobile big data and automatically uncovering correlations that would otherwise have been too difficult to extract by human experts. In particular, deep learning based solutions can automatically extract features from raw data, without human expertise. The performance of artificial intelligence (AI) has achieved in other domains draws unprecedented interest from both academia and industry in employing deep learning approaches to address technical challenges in mobile networks. This thesis attacks important problems in the mobile networking area from various perspectives by harnessing recent advances in deep neural networks.


title: Towards Interpretable Natural Language Understanding with Explanations as Latent Variables

abstract: Recently generating natural language explanations has shown very promising results in not only offering interpretable explanations but also providing additional information and supervision for prediction. However, existing approaches usually require a large set of human annotated explanations for training while collecting a large set of explanations is not only time consuming but also expensive. In this paper, we develop a general framework for interpretable natural language understanding that requires only a small set of human annotated explanations for training. Our framework treats natural language explanations as latent variables that model the underlying reasoning process of a neural model. We develop a variational EM framework for optimization where an explanation generation module and an explanation-augmented prediction module are alternatively optimized and mutually enhance each other. Moreover, we further propose an explanation-based self-training method under this framework for semi-supervised learning. It alternates between assigning pseudo-labels to unlabeled data and generating new explanations to iteratively improve each other. Experiments on two natural language understanding tasks demonstrate that our framework can not only make effective predictions in both supervised and semi-supervised settings, but also generate good natural language explanation.


title: Angular distributions in Monte Carlo event generation of weak single-pion production

abstract: One of the substantial sources of systematic errors in neutrino oscillation experiments that utilize neutrinos from accelerator sources stems from a lack of precision in modeling single-pion production (SPP). Oscillation analyses rely on Monte Carlo event generators (MC), providing theoretical predictions of neutrino interactions on nuclear targets. Pions produced in these processes provide a significant fraction of oscillation signal and background on both elementary scattering and detector simulation levels. Thus, it is of critical importance to develop techniques that will allow us to accommodate state-of-the-art theoretical models describing SPP into MCs. In this work, we investigate various algorithms to implement single-pion production models in Monte Carlo event generators. Based on comparison studies, we propose a novel implementation strategy that combines satisfactory efficiency with high precision in reproducing details of theoretical models predictions, including pion angular distributions. The proposed implementation is model-independent, thereby providing a framework that can include any model for SPP. We have tested the new algorithm with the Ghent Low Energy Model for single-pion production implemented in the NuWro Monte Carlo event generator.


title: Identification and Mitigation of a Vibrational Telescope Systematic with Application to Spitzer

abstract: We observed Proxima Centauri with the Spitzer Space Telescope InfraRed Array Camera (IRAC) five times in 2016 and 2017 to search for transits of Proxima Centauri b. Following standard analysis procedures, we found three asymmetric, transit-like events that are now understood to be vibrational systematics. This systematic is correlated with the width of the point-response function (PRF), which we measure with rotated and non-rotated Gaussian fits with respect to the detecor array. We show that the systematic can be removed with a novel application of an adaptive elliptical-aperture photometry technique, and compare the performance of this technique with fixed and variable circular-aperture photometry, using both BiLinearly Interpolated Subpixel Sensitivity (BLISS) maps and non-binned Pixel-Level Decorrelation (PLD). With BLISS maps, elliptical photometry results in a lower standard deviation of normalized residuals, and reduced or similar correlated noise when compared to circular apertures. PLD prefers variable, circular apertures, but generally results in more correlated noise than BLISS. This vibrational effect is likely present in other telescopes and Spitzer observations, where correction could improve results. Our elliptical apertures can be applied to any photometry observations, and may be even more effective when applied to more circular PRFs than Spitzer's.


title: Evidence of the Zakharov-Kolmogorov spectrum in numerical simulations of inertial wave turbulence

abstract: Rotating turbulence is commonly known for being dominated by geostrophic vortices that are invariant along the rotation axis and undergo inverse cascade. Yet, it has recently been shown to sustain fully three-dimensional states with a downscale energy cascade. In this letter, we investigate the statistical properties of three-dimensional rotating turbulence by the means of direct numerical simulations in a triply periodic box where geostrophic vortices are specifically damped. The resulting turbulent flow is an inertial wave turbulence that verifies the Zakharov-Kolmogorov spectrum derived analytically by Galtier (Phys. Rev. E, 68, 2003), thus offering numerical proof of the relevance of wave turbulence theory for three-dimensional, anisotropic waves. Lastly, we show that the same forcing leads to either geostrophic or wave turbulence depending on the initial condition. Our results thus bring further evidence for bi-stability in rotating turbulent flows.


title: Certain Invariant Spaces of Bounded Measurable Functions on a Sphere

abstract: In their 1976 paper, Nagel and Rudin characterize the closed unitarily and M\"obius invariant spaces of continuous and $L^p$-functions on a sphere, for $1\leq p<\infty$. In this paper we provide an analogous characterization for the weak*-closed unitarily and M\"obius invariant spaces of $L^\infty$-functions on a sphere. We also investigate the weak*-closed unitarily and M\"obius invariant algebras of $L^\infty$-functions on a sphere.


title: Rigidity theorems by the logarithmic capacity

abstract: In light of the Suita conjecture, we explore various rigidity phenomena concerning the Bergman kernel, logarithmic capacity, Green's function, and Euclidean distance and volume.


title: Control Protocol Design and Analysis for Unmanned Aircraft System Traffic Management

abstract: Due to the rapid development technologies for small unmanned aircraft systems (sUAS), the supply and demand market for sUAS is expanding globally. With the great number of sUAS ready to fly in civilian airspace, an sUAS aircraft traffic management system that can guarantee the safe and efficient operation of sUAS is still at absence. In this paper, we propose a control protocol design and analysis method for sUAS traffic management (UTM) which can safely manage a large number of sUAS. The benefits of our approach are two folds: at the top level, the effort for monitoring sUAS traffic (authorities) and control/planning for each sUAS (operator/pilot) are both greatly reduced under our framework; and at the low level, the behavior of individual sUAS is guaranteed to follow the restrictions. Mathematical proofs and numerical simulations are presented to demonstrate the proposed method.


title: Coordinated Aerial-Ground Robot Exploration via Monte-Carlo View Quality Rendering

abstract: We present a framework for a ground-aerial robotic team to explore large, unstructured, and unknown environments. In such exploration problems, the effectiveness of existing exploration-boosting heuristics often scales poorly with the environments' size and complexity. This work proposes a novel framework combining incremental frontier distribution, goal selection with Monte-Carlo view quality rendering, and an automatic-differentiable information gain measure to improve exploration efficiency. Simulated with multiple complex environments, we demonstrate that the proposed method effectively utilizes collaborative aerial and ground robots, consistently guides agents to informative viewpoints, improves exploration paths' information gain, and reduces planning time.


title: Topology of Frame Field Design for Hex Meshing

abstract: In the past decade frame fields have emerged as a promising approach for generating hexahedral meshes for CFD and CAE applications. One important problem asks for construction of a boundary-aligned frame field with prescribed singularity constraints over a volume that corresponds to a valid hexahedral mesh. We give a necessary and sufficient condition in terms of solutions to a system of monomial equations with variables in the binary octahedral group when a boundary frame field and singularity graph have been fixed. This is phrased with respect to general $CW$-decompositions of the volume, which allows some flexibility in simplifying these systems. Along the way we look at frame field design from an algebraic topological perspective, proving various results, some known, some new.


title: Qualities, challenges and future of genetic algorithms: a literature review

abstract: Genetic algorithms, computer programs that simulate natural evolution, are increasingly applied across many disciplines. They have been used to solve various optimisation problems from neural network architecture search to strategic games, and to model phenomena of adaptation and learning. Expertise on the qualities and drawbacks of this technique is largely scattered across the literature or former, motivating an compilation of this knowledge at the light of the most recent developments of the field. In this review, we present genetic algorithms, their qualities, limitations and challenges, as well as some future development perspectives. Genetic algorithms are capable of exploring large and complex spaces of possible solutions, to quickly locate promising elements, and provide an adequate modelling tool to describe evolutionary systems, from games to economies. They however suffer from high computation costs, difficult parameter configuration, and crucial representation of the solutions. Recent developments such as GPU, parallel and quantum computing, conception of powerful parameter control methods, and novel approaches in representation strategies, may be keys to overcome those limitations. This compiling review aims at informing practitioners and newcomers in the field alike in their genetic algorithm research, and at outlining promising avenues for future research. It highlights the potential for interdisciplinary research associating genetic algorithms to pulse original discoveries in social sciences, open ended evolution, artificial life and AI.


title: Spontaneous symmetry breaking in Quantum Finance

abstract: We analyze the phenomena of spontaneous symmetry breaking in Quantum Finance by using as a starting point the Black-Scholes (BS) and the Merton-Garman (MG) equations expressed in the Hamiltonian form. In this scenario the martingale condition (state) corresponds to the vacuum state which becomes degenerate when the symmetry of the system is spontaneously broken. We then analyze the broken symmetries of the system and we interpret from the perspective of Financial markets the possible appearance of the Nambu-Goldstone bosons.


title: A review of neural network algorithms and their applications in supercritical extraction

abstract: Neural network realizes multi-parameter optimization and control by simulating certain mechanisms of the human brain. It can be used in many fields such as signal processing, intelligent driving, optimal combination, vehicle abnormality detection, and chemical process optimization control. Supercritical extraction is a new type of high-efficiency chemical separation process, which is mainly used in the separation and purification of natural substances. There are many influencing factors. The neural network model can quickly optimize the process parameters and predict the experimental results under different process conditions. It is helpful to understand the inner law of the experiment and determine the optimal experimental conditions. This paper briefly describes the basic concepts and research progress of neural networks and supercritical extraction, and summarizes the application of neural network algorithms in supercritical extraction, aiming to provide reference for the development and innovation of industry technology.