title: Modification and the Performance Enhancement of Solar Biomass Dryer

abstract: Drying is an important agricultural process, particularly for crops, and shriveled products are used all over the world. The performance of drying green chili was also tested in this article, which created an alternate way of drying agricultural products. The goal of this study is to provide a solar biomass hybrid dryer with improved design, construction, and performance testing. During most hours of the trial, the temperature within the solar collector and dryer was sufficiently higher than the ambient temperature, according to the results obtained during the test period. The temperature of the ambient air at the collector intake ranged from 30 to 35 degrees Celsius. The temperature of the air at the collector's outlet ranged from 54 to 64 degrees Celsius, while the temperature of the drying chamber ranged from 51 to 60 degrees Celsius, making it suitable for drying green chili and a variety of other agricultural products. The collector was found to be 46.54 percent efficient. The findings revealed that the alteration of the collector, which produces turbulent air flow and improves chamber wall insulation, affects drying. Based on the results of this study, the created solar biomass hybrid drier is cost-effective for small-scale crop growers in rural areas of developing countries.


title: Accurately Modeling Biased Random Walks on Weighted Graphs Using $\textit{Node2vec+}$

abstract: Node embedding is a powerful approach for representing the structural role of each node in a graph. $\textit{Node2vec}$ is a widely used method for node embedding that works by exploring the local neighborhoods via biased random walks on the graph. However, $\textit{node2vec}$ does not consider edge weights when computing walk biases. This intrinsic limitation prevents $\textit{node2vec}$ from leveraging all the information in weighted graphs and, in turn, limits its application to many real-world networks that are weighted and dense. Here, we naturally extend $\textit{node2vec}$ to $\textit{node2vec+}$ in a way that accounts for edge weights when calculating walk biases, but which reduces to $\textit{node2vec}$ in the cases of unweighted graphs or unbiased walks. We empirically show that $\textit{node2vec+}$ is more robust to additive noise than $\textit{node2vec}$ in weighted graphs using two synthetic datasets. We also demonstrate that $\textit{node2vec+}$ significantly outperforms $\textit{node2vec}$ on a commonly benchmarked multi-label dataset (Wikipedia). Furthermore, we test $\textit{node2vec+}$ against GCN and GraphSAGE using various challenging gene classification tasks on two protein-protein interaction networks. Despite some clear advantages of GCN and GraphSAGE, they show comparable performance with $\textit{node2vec+}$. Finally, $\textit{node2vec+}$ can be used as a general approach for generating biased random walks, benefiting all existing methods built on top of $\textit{node2vec}$. $\textit{Node2vec+}$ is implemented as part of $\texttt{PecanPy}$, which is available at https://github.com/krishnanlab/PecanPy .


title: Estimation of Rain Attenuation of Earth-to-Satellite Link over Nepal for Ku & Ka Bands

abstract: Due to the extensive use of lower frequency bands & huge demand of large bandwidth in satellite communications, engineers need to use the higher frequency bands such as Ku to Ka bands. However, the rain attenuation is severe in these bands. Before installing an earth station, the estimation of the rain attenuation is a prerequisite task to know the required fade margin to ensure a certain availability of the network. In this paper, we estimate the rain attenuation for different regions of Nepal. The R-H and ITU models are used for rain rate and rain attenuation estimation, respectively. A significant temporal and spatial variation in rain attenuation is observed. Among three different regions of Nepal, namely Terai, Hilly, and Himalaya, while the maximum rain attenuation is found in Terai region, the minimum is in Himalaya. Jhapa of the Terai region experiences the highest attenuation and requires 80 dB and 24 dB fade margin for Ka and Ku bands, respectively. Solukhumbu of Himalaya region, on the other hand, is found to be the least rain attenuation affected site. The required fade margin for an earth station site in Solukhumbu for using Ku and Ka bands are 12 dB and 40 dB, respectively. The minimum attenuation, which is observed in November and December, is several times lower compared to the highest rain attenuation, observed in July. The minimum attenuation caused by the Ka band is higher than the maximum attenuation caused by the Ku band irrespective of the locations of the earth station sites.


title: Bootstrap Method in Harmonic Oscillator

abstract: Recently, an application of the numerical bootstrap method to quantum mechanics was proposed, and it successfully reproduces the eigenstates of various systems. However, it is unclear why this method works. In order to understand this question, we study the bootstrap method in harmonic oscillators. We find that the problem reduces to the Dirac's ladder operator problem and is exactly solvable analytically. Our result suggests that the bootstrap method may be regarded as a numerical version of the Dirac's approach and it may explain why it works in various systems.


title: Sextic tensor model in rank $3$ at next-to-leading order

abstract: We compute the four-loop beta functions of short and long-range multi scalar models with general sextic interactions and complex fields. We then specialize the beta functions to a $U(N)^3$ symmetry and study the renormalization group at next-to-leading order in $N$ and small $\epsilon$. In the short-range case, $\epsilon$ is the deviation from the critical dimension while it is the deviation from the critical scaling of the free propagator in the long-range case. This allows us to find the $1/N$ corrections to the rank-3 sextic tensor model of arXiv:1912.06641. In the short-range case, we still find a non-trivial real IR stable fixed point, with a diagonalizable stability matrix. All couplings, except for the so-called wheel coupling, have terms of order $\epsilon^0$ at leading and next-to-leading order, which makes this fixed point different from the other melonic fixed points found in quartic models. In the long-range case, the corrections to the fixed point are instead not perturbative in $\epsilon$ and hence unreliable; we thus find no precursor of the large-$N$ fixed point.


title: Talbot self-imaging and two-photon interference in ring-core fibers

abstract: Wave propagation on the surface of cylinders exhibits interferometric self imaging, much like the Talbot effect in the near-field diffraction at periodic gratings. We report the experimental observation of the cylindrical Talbot carpet in weakly-guiding ring-core fibers for classical light fields. We further show that the ring-core fiber acts as a high-order optical beamsplitter for single photons, whose output can be controlled by the relative phase between the input light fields. By also demonstrating high-quality two-photon interference between indistinguishable photons sent into the ring-core fiber, our findings open the door to applications in optical telecommunications as a compact beam multiplexer as well as in quantum information processing tasks as a scalable realization of a linear optical network.


title: Landau Discriminants

abstract: Scattering amplitudes in quantum field theories have intricate analytic properties as functions of the energies and momenta of the scattered particles. In perturbation theory, their singularities are governed by a set of nonlinear polynomial equations, known as Landau equations, for each individual Feynman diagram. The singularity locus of the associated Feynman integral is made precise with the notion of the Landau discriminant, which characterizes when the Landau equations admit a solution. In order to compute this discriminant, we present approaches from classical elimination theory, as well as a numerical algorithm based on homotopy continuation. These methods allow us to compute Landau discriminants of various Feynman diagrams up to 3 loops, which were previously out of reach. For instance, the Landau discriminant of the envelope diagram is a reducible surface of degree 45 in the three-dimensional space of kinematic invariants. We investigate geometric properties of the Landau discriminant, such as irreducibility, dimension and degree. In particular, we find simple examples in which the Landau discriminant has codimension greater than one. Furthermore, we describe a numerical procedure for determining which parts of the Landau discriminant lie in the physical regions. In order to study degenerate limits of Landau equations and bounds on the degree of the Landau discriminant, we introduce Landau polytopes and study their facet structure. Finally, we provide an efficient numerical algorithm for the computation of the number of master integrals based on the connection to algebraic statistics. The algorithms used in this work are implemented in the open-source Julia package Landau.jl available at https://mathrepo.mis.mpg.de/Landau/.


title: Weak Dual Pairs in Dirac-Jacobi Geometry

abstract: Adopting the omni-Lie algebroid approach to Dirac-Jacobi structures, we propose and investigate a notion of weak dual pairs in Dirac-Jacobi geometry. Their main motivating examples arise from the theory of multiplicative precontact structures on Lie groupoids. Among other properties of weak dual pairs, we prove two main results. 1) We show that the property of fitting in a weak dual pair defines an equivalence relation for Dirac-Jacobi manifolds. So, in particular, we get the existence of self-dual pairs and this immediately leads to an alternative proof of the normal form theorem around Dirac-Jacobi transversals. 2) We prove the characteristic leaf correspondence theorem for weak dual pairs paralleling and extending analogous results for symplectic and contact dual pairs. Moreover, the same ideas of this proof apply to get a presymplectic leaf correspondence for weak dual pairs in Dirac geometry (not yet present in literature).


title: Ultimate Phase Sensitivity in Surface Plasmon Resonance Sensors by Tuning Critical Coupling with Phase Change Materials

abstract: Plasmonic sensing is an established technology for real-time biomedical diagnostics and air-quality monitoring. While intensity and wavelength tracking are the most commonly used interrogation methods for Surface Plasmon Resonance (SPR), several works indicate the potential superiority of phase interrogation in detection sensitivity. Here, we theoretically and numerically establish the link between ultra-high sensitivities in phase interrogation SPR sensors and the critical coupling condition. However, reaching this condition requires a technically infeasible angstrom-level precision in the metal layer thickness. We propose a robust solution to overcome this limitation by coupling the SPR with a phase-change material (PCM) thin film. By exploiting the multilevel reconfigurable phase states of PCM, we theoretically demonstrate ultra-high phase sensitivities with a limit of detection as low as $10^{-10}$ refractive index unit (RIU). Such a PCM-assisted SPR sensor platform paves the way for unprecedented sensitivity sensors for the detection of trace amounts of low molecular weight species in biomedical sensing and environmental monitoring.


title: A Survey on Temporal Sentence Grounding in Videos

abstract: Temporal sentence grounding in videos(TSGV), which aims to localize one target segment from an untrimmed video with respect to a given sentence query, has drawn increasing attentions in the research community over the past few years. Different from the task of temporal action localization, TSGV is more flexible since it can locate complicated activities via natural languages, without restrictions from predefined action categories. Meanwhile, TSGV is more challenging since it requires both textual and visual understanding for semantic alignment between two modalities(i.e., text and video). In this survey, we give a comprehensive overview for TSGV, which i) summarizes the taxonomy of existing methods, ii) provides a detailed description of the evaluation protocols(i.e., datasets and metrics) to be used in TSGV, and iii) in-depth discusses potential problems of current benchmarking designs and research directions for further investigations. To the best of our knowledge, this is the first systematic survey on temporal sentence grounding. More specifically, we first discuss existing TSGV approaches by grouping them into four categories, i.e., two-stage methods, end-to-end methods, reinforcement learning-based methods, and weakly supervised methods. Then we present the benchmark datasets and evaluation metrics to assess current research progress. Finally, we discuss some limitations in TSGV through pointing out potential problems improperly resolved in the current evaluation protocols, which may push forwards more cutting edge research in TSGV. Besides, we also share our insights on several promising directions, including three typical tasks with new and practical settings based on TSGV.


title: Locating Language-Specific Information in Contextualized Embeddings

abstract: Multilingual pretrained language models (MPLMs) exhibit multilinguality and are well suited for transfer across languages. Most MPLMs are trained in an unsupervised fashion and the relationship between their objective and multilinguality is unclear. More specifically, the question whether MPLM representations are language-agnostic or they simply interleave well with learned task prediction heads arises. In this work, we locate language-specific information in MPLMs and identify its dimensionality and the layers where this information occurs. We show that language-specific information is scattered across many dimensions, which can be projected into a linear subspace. Our study contributes to a better understanding of MPLM representations, going beyond treating them as unanalyzable blobs of information.


title: Ground States of Heisenberg Spin Clusters from Projected Hartree-Fock Theory

abstract: We apply Projected Hartree-Fock theory (PHF) for approximating ground states of Heisenberg spin clusters. Spin-rotational, point-group and complex-conjugation symmetry are variationally restored from a broken-symmetry mean-field reference, where the latter corresponds to a product of local spin states. A fermionic formulation of the Heisenberg model furnishes a conceptual connection to PHF applications in quantum chemistry and detailed equations for a self-consistent field optimization of the reference state are provided. Different PHF variants are benchmarked for ground-state energies and spin-pair correlation functions of antiferromagnetic spin rings and three different polyhedra, with various values of the local spin-quantum number s. The low computational cost and the compact wave-function representation make PHF a promising complement to existing approaches for ground states of molecular spin clusters, particularly for large s and moderately large N. The present work may also motivate future explorations of more accurate post-PHF methods for Heisenberg spin clusters.


title: Vertex Fault-Tolerant Emulators

abstract: A $k$-spanner of a graph $G$ is a sparse subgraph that preserves its shortest path distances up to a multiplicative stretch factor of $k$, and a $k$-emulator is similar but not required to be a subgraph of $G$. A classic theorem by Thorup and Zwick [JACM '05] shows that, despite the extra flexibility available to emulators, the size/stretch tradeoffs for spanners and emulators are equivalent. Our main result is that this equivalence in tradeoffs no longer holds in the commonly-studied setting of graphs with vertex failures. That is: we introduce a natural definition of vertex fault-tolerant emulators, and then we show a three-way tradeoff between size, stretch, and fault-tolerance for these emulators that polynomially surpasses the tradeoff known to be optimal for spanners. We complement our emulator upper bound with a lower bound construction that is essentially tight (within $\log n$ factors of the upper bound) when the stretch is $2k-1$ and $k$ is either a fixed odd integer or $2$. We also show constructions of fault-tolerant emulators with additive error, demonstrating that these also enjoy significantly improved tradeoffs over those available for fault-tolerant additive spanners.


title: Generating Dataset For Large-scale 3D Facial Emotion Recognition

abstract: The tremendous development in deep learning has led facial expression recognition (FER) to receive much attention in the past few years. Although 3D FER has an inherent edge over its 2D counterpart, work on 2D images has dominated the field. The main reason for the slow development of 3D FER is the unavailability of large training and large test datasets. Recognition accuracies have already saturated on existing 3D emotion recognition datasets due to their small gallery sizes. Unlike 2D photographs, 3D facial scans are not easy to collect, causing a bottleneck in the development of deep 3D FER networks and datasets. In this work, we propose a method for generating a large dataset of 3D faces with labeled emotions. We also develop a deep convolutional neural network(CNN) for 3D FER trained on 624,000 3D facial scans. The test data comprises 208,000 3D facial scans.


title: Eformer: Edge Enhancement based Transformer for Medical Image Denoising

abstract: In this work, we present Eformer - Edge enhancement based transformer, a novel architecture that builds an encoder-decoder network using transformer blocks for medical image denoising. Non-overlapping window-based self-attention is used in the transformer block that reduces computational requirements. This work further incorporates learnable Sobel-Feldman operators to enhance edges in the image and propose an effective way to concatenate them in the intermediate layers of our architecture. The experimental analysis is conducted by comparing deterministic learning and residual learning for the task of medical image denoising. To defend the effectiveness of our approach, our model is evaluated on the AAPM-Mayo Clinic Low-Dose CT Grand Challenge Dataset and achieves state-of-the-art performance, $i.e.$, 43.487 PSNR, 0.0067 RMSE, and 0.9861 SSIM. We believe that our work will encourage more research in transformer-based architectures for medical image denoising using residual learning.


title: Membership Inference Attacks Against Recommender Systems

abstract: Recently, recommender systems have achieved promising performances and become one of the most widely used web applications. However, recommender systems are often trained on highly sensitive user data, thus potential data leakage from recommender systems may lead to severe privacy problems. In this paper, we make the first attempt on quantifying the privacy leakage of recommender systems through the lens of membership inference. In contrast with traditional membership inference against machine learning classifiers, our attack faces two main differences. First, our attack is on the user-level but not on the data sample-level. Second, the adversary can only observe the ordered recommended items from a recommender system instead of prediction results in the form of posterior probabilities. To address the above challenges, we propose a novel method by representing users from relevant items. Moreover, a shadow recommender is established to derive the labeled training data for training the attack model. Extensive experimental results show that our attack framework achieves a strong performance. In addition, we design a defense mechanism to effectively mitigate the membership inference threat of recommender systems.


title: Rotation Averaging in a Split Second: A Primal-Dual Method and a Closed-Form for Cycle Graphs

abstract: A cornerstone of geometric reconstruction, rotation averaging seeks the set of absolute rotations that optimally explains a set of measured relative orientations between them. In spite of being an integral part of bundle adjustment and structure-from-motion, averaging rotations is both a non-convex and high-dimensional optimization problem. In this paper, we address it from a maximum likelihood estimation standpoint and make a twofold contribution. Firstly, we set forth a novel initialization-free primal-dual method which we show empirically to converge to the global optimum. Further, we derive what is to our knowledge, the first optimal closed-form solution for rotation averaging in cycle graphs and contextualize this result within spectral graph theory. Our proposed methods achieve a significant gain both in precision and performance.


title: A New Estimator for Phase Statistics

abstract: We introduce a novel statistic to probe the statistics of phases of Fourier modes in two-dimensions (2D) for weak lensing convergence field $\kappa$. This statistic contains completely independent information compared to that contained in observed power spectrum. We compare our results against state-of-the-art numerical simulations as a function of source redshift and find good agreement with theoretical predictions. We show that our estimator can achieve better signal-to-noise compared to the commonly employed statistics known as the line correlation function (LCF). Being a two-point statistics, our estimator is also easy to implement in the presence of complicated noise and mask, and can also be generalised to higher-order. While applying this estimator for the study of lensed CMB maps, we show that it is important to include post-Born corrections in the study of statistics of phase.


title: Raising context awareness in motion forecasting

abstract: Learning-based trajectory prediction models have encountered great success, with the promise of leveraging contextual information in addition to motion history. Yet, we find that state-of-the-art forecasting methods tend to overly rely on the agent's current dynamics, failing to exploit the semantic contextual cues provided at its input. To alleviate this issue, we introduce CAB, a motion forecasting model equipped with a training procedure designed to promote the use of semantic contextual information. We also introduce two novel metrics - dispersion and convergence-to-range - to measure the temporal consistency of successive forecasts, which we found missing in standard metrics. Our method is evaluated on the widely adopted nuScenes Prediction benchmark as well as on a subset of the most difficult examples from this benchmark. The code is available at github.com/valeoai/CAB


title: A Machine Learning Framework for Automatic Prediction of Human Semen Motility

abstract: In this paper, human semen samples from the visem dataset collected by the Simula Research Laboratory are automatically assessed with machine learning methods for their quality in respect to sperm motility. Several regression models are trained to automatically predict the percentage (0 to 100) of progressive, non-progressive, and immotile spermatozoa in a given sample. The video samples are adopted for three different feature extraction methods, in particular custom movement statistics, displacement features, and motility specific statistics have been utilised. Furthermore, four machine learning models, including linear Support Vector Regressor (SVR), Multilayer Perceptron (MLP), Convolutional Neural Network (CNN), and Recurrent Neural Network (RNN), have been trained on the extracted features for the task of automatic motility prediction. Best results for predicting motility are achieved by using the Crocker-Grier algorithm to track sperm cells in an unsupervised way and extracting individual mean squared displacement features for each detected track. These features are then aggregated into a histogram representation applying a Bag-of-Words approach. Finally, a linear SVR is trained on this feature representation. Compared to the best submission of the Medico Multimedia for Medicine challenge, which used the same dataset and splits, the Mean Absolute Error (MAE) could be reduced from 8.83 to 7.31. For the sake of reproducibility, we provide the source code for our experiments on GitHub.


title: Addressable quantum gates

abstract: We extend the circuit model of quantum computation so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipulated and put into superpositions. This aims at capturing indefinite causal orders and making their geometrical layout explicit: we express the quantum switch and the polarizing beam-splitter within the model. In this context, our main contribution is a full characterization of the anonymity constraints. Indeed, the names used as addresses should not matter beyond the wiring they describe, i.e. quantum evolutions should commute with "renamings". We show that these quantum evolutions can still act non-trivially upon the names. We specify the structure of "nameblind" matrices.


title: Frame by frame completion probability of an NFL pass

abstract: American football is an increasingly popular sport, with a growing audience in many countries in the world. The most watched American football league in the world is the United States' National Football League (NFL), where every offensive play can be either a run or a pass, and in this work we focus on passes. Many factors can affect the probability of pass completion, such as receiver separation from the nearest defender, distance from receiver to passer, offense formation, among many others. When predicting the completion probability of a pass, it is essential to know who the target of the pass is. By using distance measures between players and the ball, it is possible to calculate empirical probabilities and predict very accurately who the target will be. The big question is: how likely is it for a pass to be completed in an NFL match while the ball is in the air? We developed a machine learning algorithm to answer this based on several predictors. Using data from the 2018 NFL season, we obtained conditional and marginal predictions for pass completion probability based on a random forest model. This is based on a two-stage procedure: first, we calculate the probability of each offensive player being the pass target, then, conditional on the target, we predict completion probability based on the random forest model. Finally, the general completion probability can be calculated using the law of total probability. We present animations for selected plays and show the pass completion probability evolution.


title: Semi-Supervised Visual Representation Learning for Fashion Compatibility

abstract: We consider the problem of complementary fashion prediction. Existing approaches focus on learning an embedding space where fashion items from different categories that are visually compatible are closer to each other. However, creating such labeled outfits is intensive and also not feasible to generate all possible outfit combinations, especially with large fashion catalogs. In this work, we propose a semi-supervised learning approach where we leverage large unlabeled fashion corpus to create pseudo-positive and pseudo-negative outfits on the fly during training. For each labeled outfit in a training batch, we obtain a pseudo-outfit by matching each item in the labeled outfit with unlabeled items. Additionally, we introduce consistency regularization to ensure that representation of the original images and their transformations are consistent to implicitly incorporate colour and other important attributes through self-supervision. We conduct extensive experiments on Polyvore, Polyvore-D and our newly created large-scale Fashion Outfits datasets, and show that our approach with only a fraction of labeled examples performs on-par with completely supervised methods.


title: Northlight: Declarative and Optimized Analysis of Atmospheric Datasets in SparkSQL

abstract: Performing data-intensive analytics is an essential part of modern Earth science. As such, research in atmospheric physics and meteorology frequently requires the processing of very large observational and/or modeled datasets. Typically, these datasets (a) have high dimensionality, i.e. contain various measurements per spatiotemporal point, (b) are extremely large, containing observations over a long time period. Additionally, (c) the analytical tasks being performed on these datasets are structurally complex. Over the years, the binary format NetCDF has been established as a de-facto standard in distributing and exchanging such multi-dimensional datasets in the Earth science community -- along with tools and APIs to visualize, process, and generate them. Unfortunately, these access methods typically lack either (1) an easy-to-use but rich query interface or (2) an automatic optimization pipeline tailored towards the specialities of these datasets. As such, researchers from the field of Earth sciences (which are typically not computer scientists) unnecessarily struggle in efficiently working with these datasets on a daily basis. Consequently, in this work, we aim at resolving the aforementioned issues. Instead of proposing yet another specialized tool and interface to work with atmospheric datasets, we integrate sophisticated NetCDF processing capabilities into the established SparkSQL dataflow engine -- resulting in our system Northlight. In contrast to comparable systems, Northlight introduces a set of fully automatic optimizations specifically tailored towards NetCDF processing. We experimentally show that Northlight scales gracefully with the selectivity of the analysis tasks and outperforms the comparable state-of-the-art pipeline by up to a factor of 6x.


title: Infrared to terahertz optical conductivity of $n$-type and $p$-type monolayer MoS$_2$ in the presence of Rashba spin-orbit coupling

abstract: We investigate the effect of Rashba spin-orbit coupling (SOC) on the optoelectronic properties of n- and p-type monolayer MoS2. The optical conductivity is calculated within the Kubo formalism. We find that the spin-flip transitions enabled by the Rashba SOC result in a wide absorption window in the optical spectrum. Furthermore, we evaluate the effects of the polarization direction of the radiation, temperature, carrier density, and the strength of the Rashba spin-orbit parameter on the optical conductivity. We find that the position, width, and shape of the absorption peak or absorption window can be tuned by varying these parameters. This study shows that monolayer MoS2 can be a promising tunable optical and optoelectronic material that is active in the infrared to terahertz spectral range.


title: Rotating Black Holes in Horndeski Gravity: Thermodynamic and Gravitational Lensing

abstract: The lack of rotating black holes, typically found in nature, hinders testing modified gravity from astrophysical observations. We present the axially symmetric counterpart of an existing spherical hairy black hole in Horndeski gravity having an additional deviation parameter $Q$, which encompasses the Kerr black hole as a particular case ($Q=0$). We investigate the effect of Horndeski parameter $Q$ on the rotating black holes' geometry and analytically deduce the gravitational deflection angle of light in the weak-field limit. For the S2 source star, the deflection angle for the Sgr A* model of the rotating Horndeski gravity black hole for both prograde and retrograde photons is larger than the Kerr black hole values. We show how parameter $Q$ could be constrained by astrophysical implications of the lensing of this object. The thermodynamic quantities, Komar mass, and Komar angular momentum gets corrected by the parameter $Q$, but the Smarr relation $M_{\text{eff}}=2ST+2\Omega J_{\text{eff}}$ still holds at the event horizon.


title: Multi-headed symmetrical superpositions of coherent states

abstract: Based on N different coherent states with equal weights and phase-space rotation symmetry, we introduce N-headed incoherent superposition states (NHICSSs) and N-headed coherent superposition states (NHCSSs). These N coherent states are associated with N-order roots of the same complex number. We study and compare properties of NHICSSs and NHCSSs, including average photon number, Mandel Q parameter, quadrature squeezing, Fock matrix elements and Wigner function. Among all these states, only 2HCSS (i.e., Schrodinger cat state) presents quadrature-squeezing effect. Our theoretical results can be used as a reference for researchers in this field.


title: Evolutionary Self-Replication as a Mechanism for Producing Artificial Intelligence

abstract: Can reproduction alone in the context of survival produce intelligence in our machines? In this work, self-replication is explored as a mechanism for the emergence of intelligent behavior in modern learning environments. By focusing purely on survival, while undergoing natural selection, evolved organisms are shown to produce meaningful, complex, and intelligent behavior, demonstrating creative solutions to challenging problems without any notion of reward or objectives. Atari and robotic learning environments are re-defined in terms of natural selection, and the behavior which emerged in self-replicating organisms during these experiments is described in detail.


title: Quantum probes for the characterization of nonlinear media

abstract: Active optical media leading to interaction Hamiltonians of the form $ H = \tilde{\lambda}\, (a + a^{\dagger})^{\zeta}$ represent a crucial resource for quantum optical technology. In this paper, we address the characterization of those nonlinear media using quantum probes, as opposed to semiclassical ones. In particular, we investigate how squeezed probes may improve individual and joint estimation of the nonlinear coupling $\tilde{\lambda}$ and of the nonlinearity order $\zeta$. Upon using tools from quantum estimation, we show that: i) the two parameters are compatible, i.e. the may be jointly estimated without additional quantum noise; ii) the use of squeezed probes improves precision at fixed overall energy of the probe; iii) for low energy probes, squeezed vacuum represent the most convenient choice, whereas for increasing energy an optimal squeezing fraction may be determined; iv) using optimized quantum probes, the scaling of the corresponding precision with energy improves, both for individual and joint estimation of the two parameters, compared to semiclassical coherent probes. We conclude that quantum probes represent a resource to enhance precision in the characterization of nonlinear media, and foresee potential applications with current technology.


title: FOMO: Topics versus documents in legal eDiscovery

abstract: In the United States, the parties to a lawsuit are required to search through their electronically stored information to find documents that are relevant to the specific case and produce them to their opposing party. Negotiations over the scope of these searches often reflect a fear that something will be missed (Fear of Missing Out: FOMO). A Recall level of 80%, for example, means that 20% of the relevant documents will be left unproduced. This paper makes the argument that eDiscovery is the process of identifying responsive information, not identifying documents. Documents are the carriers of the information; they are not the direct targets of the process. A given document may contain one or more topics or factoids and a factoid may appear in more than one document. The coupon collector's problem, Heaps law, and other analyses provide ways to model the problem of finding information from among documents. In eDiscovery, however, the parties do not know how many factoids there might be in a collection or their probabilities. This paper describes a simple model that estimates the confidence that a fact will be omitted from the produced set (the identified set), while being contained in the missed set. Two data sets are then analyzed, a small set involving microaggressions and larger set involving classification of web pages. Both show that it is possible to discover at least one example of each available topic within a relatively small number of documents, meaning the further effort will not return additional novel information. The smaller data set is also used to investigate whether the non-random order of searching for responsive documents commonly used in eDiscovery (called continuous active learning) affects the distribution of topics-it does not.


title: Urdu text in natural scene images: a new dataset and preliminary text detection

abstract: Text detection in natural scene images for content analysis is an interesting task. The research community has seen some great developments for English/Mandarin text detection. However, Urdu text extraction in natural scene images is a task not well addressed. In this work, firstly, a new dataset is introduced for Urdu text in natural scene images. The dataset comprises of 500 standalone images acquired from real scenes. Secondly, the channel enhanced Maximally Stable Extremal Region (MSER) method is applied to extract Urdu text regions as candidates in an image. Two-stage filtering mechanism is applied to eliminate non-candidate regions. In the first stage, text and noise are classified based on their geometric properties. In the second stage, a support vector machine classifier is trained to discard non-text candidate regions. After this, text candidate regions are linked using centroid-based vertical and horizontal distances. Text lines are further analyzed by a different classifier based on HOG features to remove non-text regions. Extensive experimentation is performed on the locally developed dataset to evaluate the performance. The experimental results show good performance on test set images. The dataset will be made available for research use. To the best of our knowledge, the work is the first of its kind for the Urdu language and would provide a good dataset for free research use and serve as a baseline performance on the task of Urdu text extraction.


title: Invertible Frowns: Video-to-Video Facial Emotion Translation

abstract: We present Wav2Lip-Emotion, a video-to-video translation architecture that modifies facial expressions of emotion in videos of speakers. Previous work modifies emotion in images, uses a single image to produce a video with animated emotion, or puppets facial expressions in videos with landmarks from a reference video. However, many use cases such as modifying an actor's performance in post-production, coaching individuals to be more animated speakers, or touching up emotion in a teleconference require a video-to-video translation approach. We explore a method to maintain speakers' lip movements, identity, and pose while translating their expressed emotion. Our approach extends an existing multi-modal lip synchronization architecture to modify the speaker's emotion using L1 reconstruction and pre-trained emotion objectives. We also propose a novel automated emotion evaluation approach and corroborate it with a user study. These find that we succeed in modifying emotion while maintaining lip synchronization. Visual quality is somewhat diminished, with a trade off between greater emotion modification and visual quality between model variants. Nevertheless, we demonstrate (1) that facial expressions of emotion can be modified with nothing other than L1 reconstruction and pre-trained emotion objectives and (2) that our automated emotion evaluation approach aligns with human judgements.


title: Toward Practical Quantum Embedding Simulation of Realistic Chemical Systems on Near-term Quantum Computers

abstract: Quantum computing has recently exhibited great potentials in predicting chemical properties for various applications in drug discovery, material design, and catalyst optimization. Progress has been made in simulating small molecules, such as LiH and hydrogen chains of up to 12 qubits, by using quantum algorithms such as variational quantum eigensolver (VQE). Yet, originating from limitations of the size and the fidelity of near-term quantum hardware, how to accurately simulate large realistic molecules remains a challenge. Here, integrating an adaptive energy sorting strategy and a classical computational method, the density matrix embedding theory, which effectively finds a shallower quantum circuit and reduces the problem size, respectively, we show a means to circumvent the limitations and demonstrate the potential toward solving real chemical problems. We numerically test the method for the hydrogenation reaction of C6H8 and the equilibrium geometry of the C18 molecule, with basis sets up to cc-pVDZ (at most 144 qubits). The simulation results show accuracies comparable to those of advanced quantum chemistry methods such as coupled-cluster or even full configuration interaction, while the number of qubits required is reduced by an order of magnitude (from 144 qubits to 16 qubits for the C18 molecule) compared to conventional VQE. Our work implies the possibility of solving industrial chemical problems on near-term quantum devices.


title: Associative Memories via Predictive Coding

abstract: Associative memories in the brain receive and store patterns of activity registered by the sensory neurons, and are able to retrieve them when necessary. Due to their importance in human intelligence, computational models of associative memories have been developed for several decades now. They include autoassociative memories, which allow for storing data points and retrieving a stored data point $s$ when provided with a noisy or partial variant of $s$, and heteroassociative memories, able to store and recall multi-modal data. In this paper, we present a novel neural model for realizing associative memories, based on a hierarchical generative network that receives external stimuli via sensory neurons. This model is trained using predictive coding, an error-based learning algorithm inspired by information processing in the cortex. To test the capabilities of this model, we perform multiple retrieval experiments from both corrupted and incomplete data points. In an extensive comparison, we show that this new model outperforms in retrieval accuracy and robustness popular associative memory models, such as autoencoders trained via backpropagation, and modern Hopfield networks. In particular, in completing partial data points, our model achieves remarkable results on natural image datasets, such as ImageNet, with a surprisingly high accuracy, even when only a tiny fraction of pixels of the original images is presented. Furthermore, we show that this method is able to handle multi-modal data, retrieving images from descriptions, and vice versa. We conclude by discussing the possible impact of this work in the neuroscience community, by showing that our model provides a plausible framework to study learning and retrieval of memories in the brain, as it closely mimics the behavior of the hippocampus as a memory index and generative model.


title: Dialectica Logical Principles

abstract: G\"odel's Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the double negation interpretation to obtain the consistency of Peano arithmetic. In recent years, proof theoretic transformations (so-called proof interpretations) that are based on G\"odel's Dialectica interpretation have been used systematically to extract new content from proofs and so the interpretation has found relevant applications in several areas of mathematics and computer science. Following our previous work on G\"odel fibrations, we present a (hyper)doctrine characterisation of the Dialectica which corresponds exactly to the logical description of the interpretation. To show that we derive in the category theory the soundness of the interpretation of the implication connective, as expounded on by Spector and Troelstra. This requires extra logical principles, going beyond intuitionistic logic, Markov's Principle (MP) and the Independence of Premise (IP) principle, as well as some choice. We show how these principles are satisfied in the categorical setting, establishing a tight (internal language) correspondence between the logical system and the categorical framework. This tight correspondence should come handy not only when discussing the applications of the Dialectica already known, like its use to extract computational content from (some) classical theorems (proof mining), its use to help to model specific abstract machines, etc. but also to help devise new applications.


title: Sigmoids behaving badly: why they usually cannot predict the future as well as they seem to promise

abstract: Sigmoids (AKA s-curves or logistic curves) are commonly used in a diverse spectrum of disciplines as models for time-varying phenomena showing initial acceleration followed by slowing: technology diffusion, cumulative cases of an epidemic, population growth towards a carrying capacity, etc. Existing work demonstrates that retrospective fit of data is often impressive. We show that in time series data, the future fit tends to be poor unless the data covers the entire range from before to after the inflection point. We discuss the theoretical reasons for this: the growth data provides little information about the damping term (and vice-versa). As a consequence, forecasting with sigmoids tends to be very unreliable. We suggest some practical approaches to improving the viability of forecasting sigmoid models.


title: Efficient Uncertainty Quantification and Sensitivity Analysis in Epidemic Modelling using Polynomial Chaos

abstract: In the political decision process and control of COVID-19 (and other epidemic diseases), mathematical models play an important role. It is crucial to understand and quantify the uncertainty in models and their predictions in order to take the right decisions and trustfully communicate results and limitations. We propose to do uncertainty quantification in SIR-type models using the efficient framework of generalized Polynomial Chaos. Through two particular case studies based on Danish data for the spread of Covid-19 we demonstrate the applicability of the technique. The test cases are related to peak time estimation and superspeading and illustrate how very few model evaluations can provide insightful statistics.


title: NMR of $^{31}$P Nuclear Spin Singlet States in Organic Diphosphates

abstract: $^{31}$P NMR and MRI are commonly used to study organophosphates that are central to cellular energy metabolism. In some molecules of interest, such as adenosine diphosphate (ADP) and nicotinamide adenine dinucleotide (NAD), pairs of coupled $^{31}$P nuclei in the diphosphate moiety should enable the creation of nuclear spin singlet states, which may be long-lived and can be selectively detected via quantum filters. Here, we show that $^{31}$P singlet states can be created on ADP and NAD, but their lifetimes are shorter than T$_{1}$ and are strongly sensitive to pH. Nevertheless, the singlet states were used with a quantum filter to successfully isolate the $^{31}$P NMR spectra of those molecules from the adenosine triphosphate (ATP) background signal.


title: Automatic Error Type Annotation for Arabic

abstract: We present ARETA, an automatic error type annotation system for Modern Standard Arabic. We design ARETA to address Arabic's morphological richness and orthographic ambiguity. We base our error taxonomy on the Arabic Learner Corpus (ALC) Error Tagset with some modifications. ARETA achieves a performance of 85.8% (micro average F1 score) on a manually annotated blind test portion of ALC. We also demonstrate ARETA's usability by applying it to a number of submissions from the QALB 2014 shared task for Arabic grammatical error correction. The resulting analyses give helpful insights on the strengths and weaknesses of different submissions, which is more useful than the opaque M2 scoring metrics used in the shared task. ARETA employs a large Arabic morphological analyzer, but is completely unsupervised otherwise. We make ARETA publicly available.


title: Metro stations as crowd-shipping catalysts: an empirical and computational study

abstract: Crowd-shipping is a promising shared mobility service that involves the delivery of goods using non-professional shippers. This service is mainly intended to reduce congestion and pollution in city centers but, as some authors observe, in most crowd-shipping initiatives the crowd rely on private motorized vehicles and hence the environmental benefits could be small, if not negative. Conversely, a crowd-shipping service relying on public transport should maximize the environmental benefits. Motivated by this observation, in this study we assess the potentials of crowd-shipping based on metro commuters in the city of Brescia, Italy. Our contribution is twofold. First, we analyze the results of a survey conducted among metro users to assess their willingness to act as crowd-shippers. The main result is that most young commuters and retirees are willing to be crowd-shippers even for a null reward. Second, we assess the potential economic impact of using metro-based crowd-shipping coupled with a traditional home delivery service. To this end, we formulate a variant of the VRP model where the customers closest to the metro stations may be served either by a conventional vehicle or by a crowd-shipper. The model is implemented using Python with Gurobi solver. A computational study based on the Brescia case is performed to get insights on the economic advantages that a metro-based crowd delivery option may have for a retailing company.


title: Terahertz phase slips in striped La$_{2-x}$Ba$_x$CuO$_4$

abstract: Interlayer transport in high-$T_C$ cuprates is mediated by superconducting tunneling across the CuO$_2$ planes. For this reason, the terahertz frequency optical response is dominated by one or more Josephson plasma resonances and becomes highly nonlinear at fields for which the tunneling supercurrents approach their critical value, $I_C$. These large terahertz nonlinearities are in fact a hallmark of superconducting transport. Surprisingly, however, they have been documented in La$_{2-x}$Ba$_x$CuO$_4$ also above $T_C$ for doping values near $x=1/8$, and interpreted as an indication of superfluidity in the stripe phase. Here, Electric Field Induced Second Harmonic (EFISH) is used to study the dynamics of time-dependent interlayer voltages when La$_{2-x}$Ba$_x$CuO$_4$ is driven with large-amplitude terahertz pulses, in search of other characteristic signatures of Josephson tunnelling in the normal state. We show that this method is sensitive to the voltage anomalies associated with 2$\pi$ Josephson phase slips, which near $x=1/8$ are observed both below and above $T_C$. These results document a new regime of nonlinear transport that shares features of fluctuating stripes and superconducting phase dynamics.


title: Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design

abstract: Many robot control scenarios involve assessing system robustness against a task specification. If either the controller or environment are composed of "black-box" components with unknown dynamics, we cannot rely on formal verification to assess our system. Assessing robustness via exhaustive testing is also often infeasible if the space of environments is large compared to experiment cost. Given limited budget, we provide a method to choose experiment inputs which give greatest insight into system performance against a given specification across the domain. By combining smooth robustness metrics for signal temporal logic with techniques from adaptive experiment design, our method chooses the most informative experimental inputs by incrementally constructing a surrogate model of the specification robustness. This model then chooses the next experiment to be in an area where there is either high prediction error or uncertainty. Our experiments show how this adaptive experimental design technique results in sample-efficient descriptions of system robustness. Further, we show how to use the model built via the experiment design process to assess the behaviour of a data-driven control system under domain shift.


title: A constant of motion for ideal grain growth in three dimensions

abstract: Most metallic and ceramic materials are comprised of a space-filling collection of crystalline grains separated by grain boundaries. While this grain structure has been studied for more than a century, there few rigorous results regarding its global properties available in the literature. We present a new, rigorous result for three-dimensional grain structures that relates the integral of the Gaussian curvature over the grain boundaries to the numbers of grains and quadruple junctions. The result is numerically verified for a grain structure consisting of periodic truncated octahedra.


title: Oxygen vacancy-induced anomalous Hall effect in a nominally non-magnetic oxide

abstract: The anomalous Hall effect, a hallmark of broken time-reversal symmetry and spin-orbit coupling, is frequently observed in magnetically polarized systems. Its realization in non-magnetic systems, however, remains elusive. Here, we report on the observation of anomalous Hall effect in nominally non-magnetic KTaO3. Anomalous Hall effect emerges in reduced KTaO3 and shows an extrinsic to intrinsic crossover. A paramagnetic behavior is observed in reduced samples using first principles calculations and quantitative magnetometry. The observed anomalous Hall effect follows the oxygen vacancy-induced magnetization response, suggesting that the localized magnetic moments of the oxygen vacancies scatter conduction electrons asymmetrically and give rise to anomalous Hall effect. The anomalous Hall conductivity becomes insensitive to scattering rate in the low temperature limit (T<5 K), implying that the Berry curvature of the electrons on the Fermi surface controls the anomalous Hall effect. Our observations describe a detailed picture of many-body interactions, triggering anomalous Hall effect in a non-magnetic system.


title: Deep Learning based Model-free Robust Load Restoration to Enhance Bulk System Resilience with Wind Power Penetration

abstract: This paper proposes a new deep learning (DL) based model-free robust method for bulk system on-line load restoration with high penetration of wind power. Inspired by the iterative calculation of the two-stage robust load restoration model, the deep neural network (DNN) and deep convolutional neural network (CNN) are respectively designed to find the worst-case system condition of a load pickup decision and evaluate the corresponding security. In order to find the optimal result within a limited number of checks, a load pickup checklist generation (LPCG) algorithm is developed to ensure the optimality. Then, the fast robust load restoration strategy acquisition is achieved based on the designed one-line strategy generation (OSG) algorithm. The proposed method finds the optimal result in a model-free way, holds the robustness to handle uncertainties, and provides real-time computation. It can completely replace conventional robust optimization and supports on-line robust load restoration which better satisfies the changeable restoration process. The effectiveness of the proposed method is validated using the IEEE 30-bus system and the IEEE 118-bus system, showing high computational efficiency and considerable accuracy.


title: Field Study in Deploying Restless Multi-Armed Bandits: Assisting Non-Profits in Improving Maternal and Child Health

abstract: The widespread availability of cell phones has enabled non-profits to deliver critical health information to their beneficiaries in a timely manner. This paper describes our work to assist non-profits that employ automated messaging programs to deliver timely preventive care information to beneficiaries (new and expecting mothers) during pregnancy and after delivery. Unfortunately, a key challenge in such information delivery programs is that a significant fraction of beneficiaries drop out of the program. Yet, non-profits often have limited health-worker resources (time) to place crucial service calls for live interaction with beneficiaries to prevent such engagement drops. To assist non-profits in optimizing this limited resource, we developed a Restless Multi-Armed Bandits (RMABs) system. One key technical contribution in this system is a novel clustering method of offline historical data to infer unknown RMAB parameters. Our second major contribution is evaluation of our RMAB system in collaboration with an NGO, via a real-world service quality improvement study. The study compared strategies for optimizing service calls to 23003 participants over a period of 7 weeks to reduce engagement drops. We show that the RMAB group provides statistically significant improvement over other comparison groups, reducing ~ 30% engagement drops. To the best of our knowledge, this is the first study demonstrating the utility of RMABs in real world public health settings. We are transitioning our RMAB system to the NGO for real-world use.


title: Heavy-meson chiral Lagrangians, effective flavored couplings, SU(4) flavor breaking and their consequences

abstract: We review heavy quark flavor and spin symmetries, their exploitation in heavy meson effective theories and the flavored couplings of charmed and light mesons in the definition of their effective Lagrangians. We point out how nonperturbative continuum QCD approaches based on Dyson-Schwinger and Bethe-Salpeter equations can be used to calculate strong and leptonic decays of open-charm mesons and heavy quarkonia. The strong decay $D^*\to D\pi$ serves as a benchmark, as it is the only physical open-charm observable that can be related to the effective Lagrangian's couplings. Nonetheless, a quantitative comparison of $D^*D\pi$, $\rho DD$, $\rho D^*D$ and $\rho D^* D^*$ couplings for a range of off-shell momenta of the $\rho$-meson invalidates SU(4)$_F$ symmetry relations between these couplings. Thus, besides the breaking of flavor symmetry by mass terms in the Lagrangians, the flavor-symmetry breaching in couplings and their dependence on the $\rho$-meson virtuality cannot be ignored. We also take the opportunity to present new results for the effective $J/\psi DD$ and $J/\psi D^*D$ couplings. We conclude this contribution with a discussion on how the description of pseudoscalar and vector $D$, $D_s$, $B$ and $B_s$ meson properties can be drastically improved with a modest modification of the flavor-dependence in the Bethe-Salpeter equation.


title: Unimodular Cosmological models

abstract: It is claimed that in the unimodular gravity framework the observational fact of exponential expansion of the universe cannot be taken as evidence for the presence for a cosmological constant or similar quintessence.


title: Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks

abstract: Extracting spatial-temporal knowledge from data is useful in many applications. It is important that the obtained knowledge is human-interpretable and amenable to formal analysis. In this paper, we propose a method that trains neural networks to learn spatial-temporal properties in the form of weighted graph-based signal temporal logic (wGSTL) formulas. For learning wGSTL formulas, we introduce a flexible wGSTL formula structure in which the user's preference can be applied in the inferred wGSTL formulas. In the proposed framework, each neuron of the neural networks corresponds to a subformula in a flexible wGSTL formula structure. We initially train a neural network to learn the wGSTL operators and then train a second neural network to learn the parameters in a flexible wGSTL formula structure. We use a COVID-19 dataset and a rain prediction dataset to evaluate the performance of the proposed framework and algorithms. We compare the performance of the proposed framework with three baseline classification methods including K-nearest neighbors, decision trees, support vector machine, and artificial neural networks. The classification accuracy obtained by the proposed framework is comparable with the baseline classification methods.


title: Context-NER : Contextual Phrase Generation at Scale

abstract: Named Entity Recognition (NER) has seen significant progress in recent years, with numerous state-of-the-art (SOTA) models achieving high performance. However, very few studies have focused on the generation of entities' context. In this paper, we introduce CONTEXT-NER, a task that aims to generate the relevant context for entities in a sentence, where the context is a phrase describing the entity but not necessarily present in the sentence. To facilitate research in this task, we also present the EDGAR10-Q dataset, which consists of annual and quarterly reports from the top 1500 publicly traded companies. The dataset is the largest of its kind, containing 1M sentences, 2.8M entities, and an average of 35 tokens per sentence, making it a challenging dataset. We propose a baseline approach that combines a phrase generation algorithm with inferencing using a 220M language model, achieving a ROUGE-L score of 27% on the test split. Additionally, we perform a one-shot inference with ChatGPT, which obtains a 30% ROUGE-L, highlighting the difficulty of the dataset. We also evaluate models such as T5 and BART, which achieve a maximum ROUGE-L of 49% after supervised finetuning on EDGAR10-Q. We also find that T5-large, when pre-finetuned on EDGAR10-Q, achieve SOTA results on downstream finance tasks such as Headline, FPB, and FiQA SA, outperforming vanilla version by 10.81 points. To our surprise, this 66x smaller pre-finetuned model also surpasses the finance-specific LLM BloombergGPT-50B by 15 points. We hope that our dataset and generated artifacts will encourage further research in this direction, leading to the development of more sophisticated language models for financial text analysis


title: Non-hyperbolicity at large scales of a high-dimensional chaotic system

abstract: The dynamics of many important high-dimensional dynamical systems are both chaotic and complex, meaning that strong reducing hypotheses are required to understand the dynamics. The highly influential chaotic hypothesis of Gallavotti and Cohen states that the large-scale dynamics of high-dimensional systems are effectively uniformly hyperbolic, which implies many felicitous statistical properties. We obtain direct and reliable numerical evidence, contrary to the chaotic hypothesis, of the existence of non-hyperbolic large-scale dynamical structures in a mean-field coupled system. To do this we reduce the system to its thermodynamic limit, which we approximate numerically with a Chebyshev basis transfer operator discretisation. This enables us to obtain a high precision estimate of a homoclinic tangency, implying a failure of uniform hyperbolicity. Robust non-hyperbolic behaviour is expected under perturbation. As a result, the chaotic hypothesis should not be {\it a priori} assumed to hold in all systems, and a better understanding of the domain of its validity is required.

categories: nlin.CD cs.NA math-ph math.DS math.MP math.NA


title: Online Monitoring of Spatio-Temporal Properties for Imprecise Signals

abstract: From biological systems to cyber-physical systems, monitoring the behavior of such dynamical systems often requires to reason about complex spatio-temporal properties of physical and/or computational entities that are dynamically interconnected and arranged in a particular spatial configuration. Spatio-Temporal Reach and Escape Logic (STREL) is a recent logic-based formal language designed to specify and to reason about spatio-temporal properties. STREL considers each system's entity as a node of a dynamic weighted graph representing their spatial arrangement. Each node generates a set of mixed-analog signals describing the evolution over time of computational and physical quantities characterising the node's behavior. While there are offline algorithms available for monitoring STREL specifications over logged simulation traces, here we investigate for the first time an online algorithm enabling the runtime verification during the system's execution or simulation. Our approach extends the original framework by considering imprecise signals and by enhancing the logics' semantics with the possibility to express partial guarantees about the conformance of the system's behavior with its specification. Finally, we demonstrate our approach in a real-world environmental monitoring case study.


title: Interface quality in GaSb/AlSb short period superlattices

abstract: Heterostructures including the members of the 6.1{\AA} semiconductor family (AlSb, GaSb, and InAs) are used in infrared optoelectronic devices as well as a variety of other applications. Short-period superlattices of these materials are also of interest for creating composite materials with designer infrared dielectric functions. The conditions needed to create sharp InAs/GaSb and InAs/AlSb interfaces are well known, but the AlSb/GaSb interface is much less well-understood. In this article, we test a variety of interventions designed to improve interface sharpness in AlSb/GaSb short-period superlattices. These interventions include substrate temperature, III:Sb flux ratio, and the use of a bismuth surfactant. Superlattices are characterized by high-resolution x-ray diffraction and infrared spectroscopy. We find that AlSb/GaSb short-period superlattices have a wide growth window over which sharp interfaces can be obtained.


title: The $n$-queens problem

abstract: The famous $n$-queens problem asks how many ways there are to place $n$ queens on an $n \times n$ chessboard so that no two queens can attack one another. The toroidal $n$-queens problem asks the same question where the board is considered on the surface of the torus and was asked by P\'{o}lya in 1918. Let $Q(n)$ denote the number of $n$-queens configurations on the classical board and $T(n)$ the number of toroidal $n$-queens configurations. P\'{o}lya showed that $T(n)>0$ if and only if $n \equiv 1,5 \mod 6$ and much more recently, in 2017, Luria showed that $T(n)\leq ((1+o(1))ne^{-3})^n$ and conjectured equality when $n \equiv 1,5 \mod 6$. Our main result is a proof of this conjecture, thus answering P\'{o}lya's question asymptotically. Furthermore, we also show that $Q(n)\geq((1+o(1))ne^{-3})^n$ for all $n$ sufficiently large, which was independently proved by Luria and Simkin. Combined with our main result and an upper bound of Luria, this completely settles a conjecture of Rivin, Vardi and Zimmmerman from 1994 regarding both $Q(n)$ and $T(n)$. Our proof combines a random greedy algorithm to count 'almost' configurations with a complex absorbing strategy that uses ideas from the recently developed methods of randomised algebraic construction and iterative absorption.


title: Study of $Z$ bosons produced in association with charm in the forward region

abstract: Events containing a $Z$ boson and a charm jet are studied for the first time in the forward region of proton-proton collisions. The data sample used corresponds to an integrated luminosity of $6 \, {\rm fb}^{-1}$ collected at a center-of-mass energy of 13 TeV with the LHCb detector. In events with a $Z$ boson and a jet, the fraction of charm jets is determined in intervals of $Z$-boson rapidity in the range $2.0 < y(Z) < 4.5$. A sizable enhancement is observed in the forward-most $y(Z)$ interval, which could be indicative of a valence-like intrinsic-charm component in the proton wave function.


title: Chiral states in coupled-lasers lattice by on-site complex potential

abstract: The ability to control the chirality of physical devices is of great scientific and technological importance, from investigations of topologically protected edge states in condensed matter systems to wavefront engineering, isolation, and unidirectional communication. When dealing with large networks of oscillators, the control over the chirality of the bulk states becomes significantly more complicated and requires complex apparatus for generating asymmetric coupling or artificial gauge fields. Here we present a new approach for precise control over the chirality of a triangular array of hundreds of symmetrically-coupled lasers, by introducing a weak non-Hermitian complex potential, requiring only local on-site control of loss and frequency. In the unperturbed network, lasing states with opposite chirality (staggered vortex and staggered anti-vortex) are equally probable. We show that by tuning the complex potential to an exceptional point, a nearly pure chiral lasing state is achieved. While our approach is applicable to any oscillators network, we demonstrate how the inherent non-linearity of the lasers effectively pulls the network to the exceptional point, making the chirality extremely resilient against noises and imperfections.


title: Exact expressions for $n$-point maximal $U(1)_Y$-violating integrated correlators in $SU(N)$ $\mathcal{N}=4$ SYM

abstract: The exact expressions for integrated maximal $U(1)_Y$ violating (MUV) $n$-point correlators in $SU(N)$ ${\mathcal N}=4$ supersymmetric Yang--Mills theory are determined. The analysis generalises previous results on the integrated correlator of four superconformal primaries and is based on supersymmetric localisation. The integrated correlators are functions of $N$ and $\tau=\theta/(2\pi)+4\pi i/g_{_{YM}}^2$, and are expressed as two-dimensional lattice sums that are modular forms with holomorphic and anti-holomorphic weights $(w,-w)$ where $w=n-4$. The correlators satisfy Laplace-difference equations that relate the $SU(N+1)$, $SU(N)$ and $SU(N-1)$ expressions and generalise the equations previously found in the $w=0$ case. The correlators can be expressed as infinite sums of Eisenstein modular forms of weight $(w,-w)$. For any fixed value of $N$ the perturbation expansion of this correlator is found to start at order $( g_{_{YM}}^2 N)^w$. The contributions of Yang--Mills instantons of charge $k>0$ are of the form $q^k\, f(g_{_{YM}})$, where $q=e^{2\pi i \tau}$ and $f(g_{_{YM}})= O(g_{_{YM}}^{-2w})$ when $g_{_{YM}}^2 \ll 1$. Anti-instanton contributions have charge $k<0$ and are of the form $\bar q^{|k|} \, \hat f(g_{_{YM}})$, where $\hat f(g_{_{YM}}) = O(g_{_{YM}}^{2w})$ when $g_{_{YM}}^2 \ll 1$. Properties of the large-$N$ expansion are in agreement with expectations based on the low energy expansion of flat-space type IIB superstring amplitudes. We also comment on the identification of $n$-point free-field MUV correlators with the integrands of $(n-4)$-loop perturbative contributions to the four-point correlator. In particular, we emphasise the important r\^ole of $SL(2, \mathbb{Z})$-covariance in the construction.


title: Mildly Flavoring domain walls in SU(N) SQCD: baryons and monopole superpotentials

abstract: We study supersymmetric domain walls of four dimensional $SU(N)$ SQCD with $N$ and $N+1$ flavors. In $4d$ we analyze the BPS differential equations numerically. In $3d$ we propose the $\mathcal{N}=1$ Chern-Simons-Matter gauge theories living on the walls. Compared with the previously studied regime of $F<N$ flavors, we encounter a couple of novelties: with $N$ flavors, there are solutions/vacua breaking the $U(1)$ baryonic symmetry; with $N+1$ flavors, our $3d$ proposal includes a linear monopole operator in the superpotential.


title: Roundness of the ample cone and existence of double Lagrangian fibrations on hyperkahler manifolds

abstract: Let $M$ be a hyperkahler manifold of maximal holonomy (that is, an IHS manifold), and let $K$ be its Kahler cone, which is an open, convex subset in the space $H^{1,1}(M, R)$ of real (1,1)-forms. This space is equipped with a canonical bilinear symmetric form of signature $(1,n)$ obtained as a restriction of the Bogomolov-Beauville-Fujiki form. The set of vectors of positive square in the space of signature $(1,n)$ is a disconnected union of two convex cones. The "positive cone" is the component which contains the Kahler cone. We say that the Kahler cone is "round" if it is equal to the positive cone. The manifolds with round Kahler cones have unique bimeromorphic model and correspond to Hausdorff points in the corresponding Teichmuller space. We prove thay any maximal holonomy hyperkahler manifold with $b_2 > 4$ has a deformation with round Kahler cone and the Picard lattice of signature (1,1), admitting two non-collinear integer isotropic classes. This is used to show that all known examples of hyperkahler manifolds admit a deformation with two transversal Lagrangian fibrations, and the Kobayashi metric vanishes unless the Picard rank is maximal.


title: Extended Kohler$^,$s Rule of Magnetoresistance

abstract: A notable phenomenon in topological semimetals is the violation of Kohler$^,$s rule, which dictates that the magnetoresistance $MR$ obeys a scaling behavior of $MR = f(H/\rho_0$), where $MR = [\rho_H-\rho_0]/\rho_0$ and $H$ is the magnetic field, with $\rho_H$ and $\rho_0$ being the resistivity at $H$ and zero field, respectively. Here we report a violation originating from thermally-induced change in the carrier density. We find that the magnetoresistance of the Weyl semimetal, TaP, follows an extended Kohler$^,$s rule $MR = f[H/(n_T\rho_0)]$, with $n_T$ describing the temperature dependence of the carrier density. We show that $n_T$ is associated with the Fermi level and the dispersion relation of the semimetal, providing a new way to reveal information on the electronic bandstructure. We offer a fundamental understanding of the violation and validity of Kohler$^,$s rule in terms of different temperature-responses of $n_T$. We apply our extended Kohler$^,$s rule to BaFe$_2$(As$_{1-x}$P$_x$)$_2$ to settle a long-standing debate on the scaling behavior of the normal-state magnetoresistance of a superconductor, namely, $MR$ ~ $tan^2\theta_H$, where $\theta_H$ is the Hall angle. We further validate the extended Kohler$^,$s rule and demonstrate its generality in a semiconductor, InSb, where the temperature-dependent carrier density can be reliably determined both theoretically and experimentally.


title: DisUnknown: Distilling Unknown Factors for Disentanglement Learning

abstract: Disentangling data into interpretable and independent factors is critical for controllable generation tasks. With the availability of labeled data, supervision can help enforce the separation of specific factors as expected. However, it is often expensive or even impossible to label every single factor to achieve fully-supervised disentanglement. In this paper, we adopt a general setting where all factors that are hard to label or identify are encapsulated as a single unknown factor. Under this setting, we propose a flexible weakly-supervised multi-factor disentanglement framework DisUnknown, which Distills Unknown factors for enabling multi-conditional generation regarding both labeled and unknown factors. Specifically, a two-stage training approach is adopted to first disentangle the unknown factor with an effective and robust training method, and then train the final generator with the proper disentanglement of all labeled factors utilizing the unknown distillation. To demonstrate the generalization capacity and scalability of our method, we evaluate it on multiple benchmark datasets qualitatively and quantitatively and further apply it to various real-world applications on complicated datasets.


title: Exotic fully-heavy $Q\bar QQ\bar Q$ tetraquark states in $\mathbf{8}_{[Q\bar{Q}]}\otimes \mathbf{8}_{[Q\bar{Q}]}$ color configuration

abstract: We have systematically calculated the mass spectra for S-wave and P-wave fully-charm $c\bar{c}c\bar{c}$ and fully-bottom $b\bar{b}b\bar{b}$ tetraquark states in the $\mathbf{8}_{[Q\bar{Q}]}\otimes \mathbf{8}_{[Q\bar{Q}]}$ color configuration, by using the moment QCD sum rule method. The masses for the fully-charm $c\bar cc\bar c$ tetraquark states are predicted about $6.3-6.5$ GeV for S-wave channels and $7.0-7.2$ GeV for P-wave channels. These results suggest the possibility that there are some $\mathbf{8}_{[c\bar{c}]}\otimes \mathbf{8}_{[c\bar{c}]}$ components in LHCb's di-$J/\psi$ structures. For the fully-bottom $b\bar{b}b\bar{b}$ system, their masses are calculated around 18.2 GeV for S-wave tetraquark states while 18.4-18.8 GeV for P-wave ones, which are below the $\eta_b\eta_b$ and $\Upsilon(1S)\Upsilon(1S)$ two-meson decay thresholds.


title: Van der Waals Anomaly

abstract: In inhomogeneous dielectric media the divergence of the electromagnetic stress is related to the gradients of \varepsilon and \mu, which is a consequence of Maxwell's equations. Investigating spherically symmetric media we show that this seemingly universal relationship is violated for electromagnetic vacuum forces such as the generalized van der Waals and Casimir forces. The stress needs to acquire an additional anomalous pressure. The anomaly is a result of renormalization, the need to subtract infinities in the stress for getting a finite, physical force. The anomalous pressure appears in the stress in media like dark energy appears in the energy-momentum tensor in general relativity. We propose and analyse an experiment to probe the van der Waals anomaly with ultracold atoms. The experiment may not only test an unusual phenomenon of quantum forces, but also an analogue of dark energy, shedding light where nothing is known empirically.


title: Fractionalization on the Surface: Is Type-II Terminated $1T$-TaS$_2$ Surface an Anomalously Realized Spin Liquid?

abstract: The type-II terminated $1T$-TaS$_2$ surface of a three-dimensional $1T$-TaS$_2$ bulk material realizes the effective spin-$1/2$ degree of freedom on each David star cluster with ${\mathcal{T}^2=-1}$ such that the time-reversal symmetry is realized anomalously, despite the fact that bulk three-dimensional $1T$-TaS$_2$ material has an even number of electrons per unit cell with ${\mathcal{T}^2=+1}$. This surface is effectively viewed as a spin-$1/2$ triangular lattice magnet, except with a fully gapped topological bulk. We further propose this surface termination realizes a spinon Fermi surface spin liquid with the surface fractionalization but with a nonexotic three-dimensional bulk. We analyze possible experimental consequences, especially the surface spectroscopic measurements, of the type-II terminated surface spin liquid.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con


title: The Effects of Human Aspects on the Requirements Engineering Process: A Systematic Literature Review

abstract: Requirements Engineering (RE) requires the collaboration of various roles in SE, such as requirements engineers, stakeholders and other developers, and it is thus a highly human dependent process in software engineering (SE). Identifying how human aspects such as personality, motivation, emotions, communication, gender, culture and geographic distribution might impact RE would assist us in better supporting successful RE. The main objective of this paper is to systematically review primary studies that have investigated the effects of various human aspects on RE. A systematic literature review (SLR) was conducted and identified 474 initial primary research studies. These were eventually filtered down to 74 relevant, high-quality primary studies. Among the studies, the effects of communication have been considered in many RE studies. Other human aspects such as personality, motivation and gender have mainly been investigated to date related to SE studies including RE as one phase. Findings show that studying more than one human aspect together is beneficial, as this reveals relationships between various human aspects and how they together impact the RE process. However, the majority of these studied combinations of human aspects are unique. From 56.8% of studies that identified the effects of human aspects on RE, 40.5% identified the positive impact, 30.9% negative, 26.2% identified both impacts whereas 2.3% mentioned that there was no impact. This implies that a variety of human aspects positively or negatively affects the RE process and a well-defined theoretical analysis on the effects of different human aspects on RE remains to be defined and practically evaluated. Findings of this SLR help researchers who are investigating the impact of various human aspects on RE by identifying well-studied research areas, and highlight new areas that should be focused on in future research.


title: Influence of Heliolatitudinal Anisotropy of Solar FUV/EUV Emissions on Lyman-alpha Helioglow: SOHO/SWAN Observations and WawHelioGlow Modeling

abstract: Observations of the Sun's surface suggest a nonuniform radiated flux as related to the presence of bright active regions and darker coronal holes. The variations of the FUV/EUV source radiation can be expected to affect the Lyman-alpha backscatter glow measured by spaceborne instruments. In particular, inferring the heliolatitudinal structure of the solar wind from helioglow variations in the sky can be quite challenging if the heliolatitudinal structure of the solar FUV/EUV radiation is not properly included in the modeling of the heliospheric glow. We present results of analysis of the heliolatitudinal structure of the solar Lyman-alpha radiation as inferred from comparison of SOHO/SWAN satellite observations of the helioglow intensity with modeling results obtained from the recently-developed WawHelioGlow model. We find that in addition to time-dependent heliolatitudinal anisotropy of the solar wind, also time-dependent heliolatitudinal variations of the intensity of the solar Lyman-alpha and photoionizing emissions must be taken into account to reproduce the observed helioglow modulation in the sky. We present a particular latitudinal and temporal dependence of the solar Lyman-alpha flux obtained as a result of our analysis. We analyze also differences between polar-equatorial anisotropies close to the solar surface and seen by an observer located far from the Sun. We discuss the implications of these findings for the interpretation of heliospheric-glow observations.


title: Towards a General-Purpose Dynamic Information Flow Policy

abstract: Noninterference offers a rigorous end-to-end guarantee for secure propagation of information. However, real-world systems almost always involve security requirements that change during program execution, making noninterference inapplicable. Prior works alleviate the limitation to some extent, but even for a veteran in information flow security, understanding the subtleties in the syntax and semantics of each policy is challenging, largely due to very different policy specification languages, and more fundamentally, semantic requirements of each policy. We take a top-down approach and present a novel information flow policy, called Dynamic Release, which allows information flow restrictions to downgrade and upgrade in arbitrary ways. Dynamic Release is formalized on a novel framework that, for the first time, allows us to compare and contrast various dynamic policies in the literature. We show that Dynamic Release generalizes declassification, erasure, delegation and revocation. Moreover, it is the only dynamic policy that is both applicable and correct on a benchmark of tests with dynamic policy.


title: Presque toute surface K3 contient une infinit\'e d'hypersurfaces Levi-plates lin\'eaires

abstract: We investigate the construction of real analytic Levi-flat hypersurfaces in K3 surfaces. By taking images of real hyperplanes, one can construct such hypersurfaces in two-dimensional complex tori. We show that "almost every" K3 surfaces contains infinitely many Levi-flat hypersurfaces of this type. The proof relies mainly on a recent construction of Koike and Uehara, ideas of Verbitsky on ergodic complex structures, as well as an argument due to Ghys in the context of the study of the topology of generic leaves. -- On s'int\'eresse \`a la construction d'hypersurfaces Levi-plates analytiques r\'elles dans les surfaces K3. On peut en construire dans les tores complexes de dimension 2 en prenant des images d'hyperplans r\'eels. On montre que "presque toute" surface K3 contient une infinit\'e d'hypersurfaces Levi-plates de ce type. La preuve repose principalement sur une construction r\'ecente due \`a Koike-Uehara, ainsi que sur les id\'ees de Verbitsky sur les structures complexes ergodiques et une adaptation d'un argument d\^u \`a Ghys dans le cadre de l'\'etude de la topologie des feuilles g\'en\'eriques.


title: MOFSimplify: Machine Learning Models with Extracted Stability Data of Three Thousand Metal-Organic Frameworks

abstract: We report a workflow and the output of a natural language processing (NLP)-based procedure to mine the extant metal-organic framework (MOF) literature describing structurally characterized MOFs and their solvent removal and thermal stabilities. We obtain over 2,000 solvent removal stability measures from text mining and 3,000 thermal decomposition temperatures from thermogravimetric analysis data. We assess the validity of our NLP methods and the accuracy of our extracted data by comparing to a hand-labeled subset. Machine learning (ML, i.e. artificial neural network) models trained on this data using graph- and pore-geometry-based representations enable prediction of stability on new MOFs with quantified uncertainty. Our web interface, MOFSimplify, provides users access to our curated data and enables them to harness that data for predictions on new MOFs. MOFSimplify also encourages community feedback on existing data and on ML model predictions for community-based active learning for improved MOF stability models.


title: An Economic Analysis on the Potential and Steady Growth of China: a Practice Based on the Dualistic System Economics in China

abstract: The existing theorization of development economics and transition economics is probably inadequate and perhaps even flawed to accurately explain and analyze a dual economic system such as that in China. China is a country in the transition of dual structure and system. The reform of its economic system has brought off a long period of transformation. The allocation of factors is subjected to the dualistic regulation of planning or administration and market due to the dualistic system, and thus the signal distortion will be a commonly seen existence. From the perspective of balanced and safe growth, the institutional distortions of population birth, population flow, land transaction and housing supply, with the changing of export, may cause great influences on the production demand, which includes the iterative contraction of consumption, the increase of export competitive cost, the widening of urban-rural income gap, the transferring of residents' income and the crowding out of consumption. In view of the worldwide shift from a conservative model with more income than expenditure to the debt-based model with more expenditure than income and the need for loose monetary policy, we must explore a basic model that includes variables of debt and land assets that affecting money supply and price changes, especially in China, where the current debt ratio is high and is likely to rise continuously. Based on such a logical framework of dualistic system economics and its analysis method, a preliminary calculation system is formed through the establishment of models.


title: A new, optimized Doppler optical probe for phase detection, bubble velocity and size measurements: investigation of a bubble column operated in the heterogeneous regime

abstract: A new measuring technique dedicated to bubble velocity and size measurements in complex bubbly flows such as those occurring in bubble columns is proposed. This sensor combines the phase detection capability of a conical optical fiber, with velocity measurements from the Doppler signal induced by an interface approaching the extremity of a single-mode fiber. The analysis of the probe functioning and of its response in controlled situations, have shown that the Doppler probe provides the translation velocity of bubbles projected along the probe axis. A reliable signal processing routine has been developed that exploits the Doppler signal arising at the gas-to-liquid transition: the resulting uncertainty on velocity is at most 14\%. Such a Doppler probe provides statistics on velocity and on size of gas inclusions, as well as local variables including void fraction, gas volumetric flux, number density and its flux. That sensor has been successfully exploited in an air-tap water bubble column 0.4m in diameter for global gas hold-up from 2.5 to 30\%. In the heterogeneous regime, the transverse profiles of the mean bubble velocity scaled by the value on the axis happen to be self-similar in the quasi fully developed region of the column. A fit is proposed for these profiles. In addition, on the axis, the standard deviation of bubble velocity scaled by the mean velocity increases with Vsg in the homogeneous regime, and it remains stable, close to 0.55, in the heterogeneous regime.


title: Four-Dimensional Chern-Simons and Gauged Sigma Models

abstract: In this paper we introduce a new method for generating gauged sigma models from four-dimensional Chern-Simons theory and give a unified action for a class of these models. We begin with a review of recent work by several authors on the classical generation of integrable sigma models from four dimensional Chern-Simons theory. This approach involves introducing classes of two-dimensional defects into the bulk on which the gauge field must satisfy certain boundary conditions. One finds integrable sigma models from four-dimensional Chern-Simons theory by substituting the solutions to its equations of motion back into the action. The integrability of these sigma models is guaranteed because the gauge field is gauge equivalent to the Lax connection of the sigma model. By considering a theory with two four-dimensional Chern-Simons fields coupled together on two-dimensional surfaces in the bulk we are able to introduce new classes of `gauged' defects. By solving the bulk equations of motion we find a unified action for a set of genus zero integrable gauged sigma models. The integrability of these models is guaranteed as the new coupling does not break the gauge equivalence of the gauge fields to their Lax connections. Finally, we consider a couple of examples in which we derive the gauged Wess-Zumino-Witten and nilpotent gauged Wess-Zumino-Witten models. This latter model is of note given one can find the conformal Toda models from it.


title: High carrier mobility in single-crystal PtSe2 grown by molecular beam epitaxy on ZnO(0001)

abstract: PtSe2 is attracting considerable attention as a high mobility two-dimensional material with envisionned applications in microelectronics, photodetection and spintronics. The growth of high quality PtSe2 on insulating substrates with wafer-scale uniformity is a prerequisite for electronic transport investigations and practical use in devices. Here, we report the growth of highly oriented few-layers PtSe2 on ZnO(0001) by molecular beam epitaxy. The crystalline structure of the films is characterized with electron and X-ray diffraction, atomic force microscopy and transmission electron microscopy. The comparison with PtSe2 layers grown on graphene, sapphire, mica, SiO2 and Pt(111) shows that among insulating substrates, ZnO(0001) yields films of superior structural quality. Hall measurements performed on epitaxial ZnO/PtSe2 with 5 monolayers of PtSe2 show a clear semiconducting behaviour and a high mobility in excess of 200 cm2V 1s-1 at room temperature and up to 447 cm2V-1s-1 at low temperature.


title: Aesthetics and neural network image representations

abstract: We analyze the spaces of images encoded by generative neural networks of the BigGAN architecture. We find that generic multiplicative perturbations of neural network parameters away from the photo-realistic point often lead to networks generating images which appear as "artistic renditions" of the corresponding objects. This demonstrates an emergence of aesthetic properties directly from the structure of the photo-realistic visual environment as encoded in its neural network parametrization. Moreover, modifying a deep semantic part of the neural network leads to the appearance of symbolic visual representations. None of the considered networks had any access to images of human-made art.


title: Competing multipolar orders in a face-centered cubic lattice: Application to the osmium double perovskites

abstract: In 5$d^2$ Mott insulators with strong spin-orbit coupling, the lowest pseudospin states form a non-Kramers doublet, which carries quadrupolar and octupolar moments. A family of double perovskites where magnetic ions form a face-centered cubic (fcc) lattice was suggested to unveil an octupolar order offering a rare example in $d$-orbital systems. The proposed order requires a ferromagnetic (FM) octupolar interaction, since the antiferromagnetic (AFM) Ising model is highly frustrated on the fcc lattice. A microscopic model was recently derived for various lattices: for an edge-sharing octahedra geometry, AFM Ising octupolar and bond-dependent quadrupolar interactions were found when only dominant inter- and intraorbital hopping integrals were taken into account. Here we investigate all possible intra- and interorbital exchange processes and report that interference of two intraorbital exchanges generates a FM octupolar interaction. Applying the strong-coupling expansion results together with tight-binding parameters obtained by density functional theory, we estimate the exchange interactions for the osmium double perovskites, Ba$_2$BOsO$_6$ (B=Mg,Cd, and Ca). Using classical Monte Carlo simulations, we find that these systems are close to the phase boundary between AFM type-I quadrupole and FM octupole orders. We also find that exchange processes beyond second-order perturbation theory including virtual processes via pseudospin-triplet states may stabilize an octupolar order.


title: Density Functional Equation of State and Its Application to the Phenomenology of Heavy-Ion Collisions

abstract: We present a mean-field model of the dense nuclear matter equation of state designed for use in computationally demanding hadronic transport simulations. Our approach, based on the relativistic Landau Fermi-liquid theory, allows us to construct a family of equations of state spanning a wide range of possible bulk properties of dense QCD matter. We implement the developed model in the hadronic transport code SMASH, and show that the resulting dynamic behavior reproduces theoretical expectations for the thermodynamic properties of the system based on the underlying equation of state. In particular, we show that pair distribution functions calculated from hadronic transport simulation data are consistent with theoretical expectations based on the second-order cumulant ratio, and can be used as a signature of crossing the phase diagram in the vicinity of a critical point. We additionally present a novel method that may enable a measurement of the speed of sound and its derivative with respect to the baryon number density in heavy-ion collisions. Application of our approach to available experimental data implies that the derivative of the speed of sound is non-monotonic in systems created in collisions at intermediate to low energies, which in turn may be connected to non-trivial features in the underlying equation of state.


title: Source-sink cooperation dynamics constrain institutional evolution in a group-structured society

abstract: Societies change through time, entailing changes in behaviors and institutions. We ask how social change occurs when behaviors and institutions are interdependent. We model a group-structured society in which the transmission of individual behavior occurs in parallel with the selection of group-level institutions. We consider a cooperative behavior that generates collective benefits for groups but does not spread between individuals on its own. Groups exhibit institutions that increase the diffusion of the behavior within the group, but also incur a group cost. Groups adopt institutions in proportion to their fitness. Finally, cooperative behavior may also spread globally. As expected, we find that cooperation and institutions are mutually reinforcing. But the model also generates behavioral source-sink dynamics when cooperation generated in institutional groups spreads to non-institutional groups, boosting their fitness. Consequently, the global diffusion of cooperation creates a pattern of institutional free-riding that limits the evolution of group-beneficial institutions. Our model suggests that, in a group-structured society, large-scale change in behavior and institutions (i.e. social change) can be best achieved when the two remain correlated, such as through the spread successful pilot programs.


title: Check-based generation of one-time tables using qutrits

abstract: One-time tables are a class of two-party correlations that can help achieve information-theoretically secure two-party (interactive) classical or quantum computation. In this work we propose a bipartite quantum protocol for generating a simple type of one-time tables (the correlation in the Popescu-Rohrlich nonlocal box) with partial security. We then show that by running many instances of the first protocol and performing checks on some of them, asymptotically information-theoretically secure generation of one-time tables can be achieved. The first protocol is adapted from a protocol for semi-honest quantum oblivious transfer, with some changes so that no entangled state needs to be prepared, and the communication involves only one qutrit in each direction. We show that some information tradeoffs in the first protocol are similar to that in the semi-honest oblivious transfer protocol. We also obtain two types of inequalities about guessing probabilities in some protocols for generating one-time tables, from a single type of inequality about guessing probabilities in semi-honest quantum oblivious transfer protocols.