title: Existence and regularity of solutions of a supersonic-sonic patch arising in axisymmetric relativistic transonic flow with general equation of state

abstract: In this article, we prove the existence and regularity of a smooth solution for a supersonic-sonic patch arising in a modified Frankl problem in the study of three-dimensional axisymmetric steady isentropic relativistic transonic flows over a symmetric airfoil. We consider a general convex equation of state which makes this problem complicated as well as interesting in the context of the general theory for transonic flows. Such type of patches appear in many transonic flows over an airfoil and flow near the nozzle throat. Here the main difficulty is the coupling of nonhomogeneous terms due to axisymmetry and the sonic degeneracy for the relativistic flow. However, using the well-received characteristic decompositions of angle variables and a partial hodograph transformation we prove the existence and regularity of solution in the partial hodograph plane first. Further, by using an inverse transformation we construct a smooth solution in the physical plane and discuss the uniform regularity of solution up to the associated sonic curve. Finally, we also discuss the uniform regularity of the sonic curve.


title: Flat band induced room temperature ferromagnetism in two dimensional systems

abstract: The remarkable and fascinating properties of two-dimensional materials have raised them to the rank of most promising candidates for technological applications. In particular, the possibility of long-range ferromagnetic order in 2D materials is generating a growing excitement. Here, we demonstrate that flat bands (FBs) may pave the way to room temperature ferromagnetism in 2D compounds. Indeed, the magnetic exchanges between localized spins are largely dominated by the FB-FB contribution. This contribution is ferromagnetic and scales linearly with the local coupling, thus leading to cross-over temperatures (ferromagnetic phase/ paramagnetic phase) higher by an order of magnitude than those currently reported in experiments. Cross-over temperatures as high as $600~ K$ could be reached in micrometer-sized FB systems.


title: Macaw: The Machine Learning Magnetometer Calibration Workflow

abstract: In Earth Systems Science, many complex data pipelines combine different data sources and apply data filtering and analysis steps. Typically, such data analysis processes are historically grown and implemented with many sequentially executed scripts. Scientific workflow management systems (SWMS) allow scientists to use their existing scripts and provide support for parallelization, reusability, monitoring, or failure handling. However, many scientists still rely on their sequentially called scripts and do not profit from the out-of-the-box advantages a SWMS can provide. In this work, we transform the data analysis processes of a Machine Learning-based approach to calibrate the platform magnetometers of non-dedicated satellites utilizing neural networks into a workflow called Macaw (MAgnetometer CAlibration Workflow). We provide details on the workflow and the steps needed to port these scripts to a scientific workflow. Our experimental evaluation compares the original sequential script executions on the original HPC cluster with our workflow implementation on a commodity cluster. Our results show that through porting, our implementation decreased the allocated CPU hours by 50.2% and the memory hours by 59.5%, leading to significantly less resource wastage. Further, through parallelizing single tasks, we reduced the runtime by 17.5%.


title: On the antimaximum principle for the $p$-Laplacian and its sublinear perturbations

abstract: We investigate qualitative properties of weak solutions of the Dirichlet problem for the equation $-\Delta_p u = \lambda m(x)|u|^{p-2}u + \eta a(x)|u|^{q-2}u + f(x)$ in a bounded domain $\Omega \subset \mathbb{R}^N$, where $q<p$. Under certain regularity and qualitative assumptions on the weights $m, a$ and the source function $f$, we identify ranges of parameters $\lambda$ and $\eta$ for which solutions satisfy maximum and antimaximum principles in weak and strong forms. Some of our results, especially on the validity of the antimaximum principle under low regularity assumptions, are new for the unperturbed problem with $\eta=0$, and among them there are results providing new information even in the linear case $p=2$. In particular, we show that for any $p>1$ solutions of the unperturbed problem satisfy the antimaximum principle in a right neighborhood of the first eigenvalue of the $p$-Laplacian provided $m,f \in L^\gamma(\Omega)$ with $\gamma>N$. For completeness, we also investigate the existence of solutions.


title: Plasma composition measurements in an active region from Solar Orbiter/SPICE and Hinode/EIS

abstract: A key goal of the Solar Orbiter mission is to connect elemental abundance measurements of the solar wind enveloping the spacecraft with EUV spectroscopic observations of their solar sources, but this is not an easy exercise. Observations from previous missions have revealed a highly complex picture of spatial and temporal variations of elemental abundances in the solar corona. We have used coordinated observations from Hinode and Solar Orbiter to attempt new abundance measurements with the SPICE (Spectral Imaging of the Coronal Environment) instrument, and benchmark them against standard analyses from EIS (EUV Imaging Spectrometer). We use observations of several solar features in AR 12781 taken from an Earth-facing view by EIS on 2020 November 10, and SPICE data obtained one week later on 2020 November 17; when the AR had rotated into the Solar Orbiter field-of-view. We identify a range of spectral lines that are useful for determining the transition region and low coronal temperature structure with SPICE, and demonstrate that SPICE measurements are able to differentiate between photospheric and coronal Mg/Ne abundances. The combination of SPICE and EIS is able to establish the atmospheric composition structure of a fan loop/outflow area at the active region edge. We also discuss the problem of resolving the degree of elemental fractionation with SPICE, which is more challenging without further constraints on the temperature structure, and comment on what that can tell us about the sources of the solar wind and solar energetic particles.


title: Heavy and Light Paths and Hamilton Cycles

abstract: Given a graph $G$, we denote by $f(G,u_0,k)$ the number of paths of length $k$ in $G$ starting from $u_0$. In graphs of maximum degree 3, with edge weights $i.i.d.$ with $exp(1)$, we provide a simple proof showing that (under the assumption that $f(G,u_0,k)=\omega(1)$) the expected weight of the heaviest path of length $k$ in $G$ starting from $u_0$ is at least \begin{align*} (1-o(1))\left(k+\frac{\log_2\left(f(G,u_0,k)\right)}{2}\right), \end{align*} and the expected weight of the lightest path of length $k$ in $G$ starting from $u_0$ is at most \begin{align*} (1+o(1))\left(k-\frac{\log_2\left(f(G,u_0,k)\right)}{2}\right). \end{align*} We demonstrate the immediate implication of this result for Hamilton paths and Hamilton cycles in random cubic graphs, where we show that typically there exist paths and cycles of such weight as well. Finally, we discuss the connection of this result to the question of a longest cycle in the giant component of supercritical $G(n,p)$.


title: Contrastive Language-Image Pre-Training with Knowledge Graphs

abstract: Recent years have witnessed the fast development of large-scale pre-training frameworks that can extract multi-modal representations in a unified form and achieve promising performances when transferred to downstream tasks. Nevertheless, existing approaches mainly focus on pre-training with simple image-text pairs, while neglecting the semantic connections between concepts from different modalities. In this paper, we propose a knowledge-based pre-training framework, dubbed Knowledge-CLIP, which injects semantic information into the widely used CLIP model. Through introducing knowledge-based objectives in the pre-training process and utilizing different types of knowledge graphs as training data, our model can semantically align the representations in vision and language with higher quality, and enhance the reasoning ability across scenarios and modalities. Extensive experiments on various vision-language downstream tasks demonstrate the effectiveness of Knowledge-CLIP compared with the original CLIP and competitive baselines.


title: Beyond Model Interpretability: On the Faithfulness and Adversarial Robustness of Contrastive Textual Explanations

abstract: Contrastive explanation methods go beyond transparency and address the contrastive aspect of explanations. Such explanations are emerging as an attractive option to provide actionable change to scenarios adversely impacted by classifiers' decisions. However, their extension to textual data is under-explored and there is little investigation on their vulnerabilities and limitations. This work motivates textual counterfactuals by laying the ground for a novel evaluation scheme inspired by the faithfulness of explanations. Accordingly, we extend the computation of three metrics, proximity,connectedness and stability, to textual data and we benchmark two successful contrastive methods, POLYJUICE and MiCE, on our suggested metrics. Experiments on sentiment analysis data show that the connectedness of counterfactuals to their original counterparts is not obvious in both models. More interestingly, the generated contrastive texts are more attainable with POLYJUICE which highlights the significance of latent representations in counterfactual search. Finally, we perform the first semantic adversarial attack on textual recourse methods. The results demonstrate the robustness of POLYJUICE and the role that latent input representations play in robustness and reliability.


title: Input-Output Pseudospectral Bounds for Transient Analysis of Networked and High-Order Systems

abstract: Motivated by a need to characterize transient behaviors in large network systems in terms of relevant signal norms and worst-case input scenarios, we propose a novel approach based on existing theory for matrix pseudospectra. We extend pseudospectral theorems, pertaining to matrix exponentials, to an input-output setting, where matrix exponentials are pre- and post-multiplied by input and output matrices. Analyzing the resulting transfer functions in the complex plane allows us to state new upper and lower bounds on system transients. These are useful for higher-order matrix differential equations, and specifically control of double-integrator networks such as vehicle formation problems. Therefore, we illustrate the theory's applicability to the problem of vehicle platooning and the question of string stability, and show how unfavorable transient behaviors can be discerned and quantified directly from the input-output pseudospectra.


title: The Role of User Reviews in App Updates: A Preliminary Investigation on App Release Notes

abstract: Release planning for mobile apps has recently become an area of active research. Prior research in this area concentrated on the analysis of release notes and on tracking user reviews to support app evolution with issue trackers. However, little is known about the impact of user reviews on the evolution of mobile apps. Our work explores the role of user reviews in app updates based on release notes. For this purpose, we collected user reviews and release notes of Spotify, the 'number one' app in the 'Music' category in Apple App Store, as the research data. Then, we manually removed non-informative parts of each release note, and manually determined the relevance of the app reviews with respect to the release notes. We did this by using Word2Vec calculation techniques based on the top 80 app release notes with the highest similarities. Our empirical results show that more than 60% of the matched reviews are actually irrelevant to the corresponding release notes. When zooming in at these relevant user reviews, we found that around half of them were posted before the new release and referred to requests, suggestions, and complaints. Whereas, the other half of the relevant user reviews were posted after updating the apps and concentrated more on bug reports and praise.


title: Quantitative study of the hardening in the Alpha Magnetic Spectrometer nuclei spectra at a few hundred GV

abstract: The most significant feature in the cosmic-ray (CR) nuclei spectra is the spectral hardening at a few hundred GV. It is important to know whether the hardening of different nuclei species is the same or not for constructing CR sources and propagation models. In this work, we collect the recently released AMS-02 CR nuclei spectra of primary species (proton, helium, carbon, oxygen, neon, magnesium, silicon, and iron), secondary species (lithium, beryllium, boron, and fluorine), and hybrid species (nitrogen, sodium, and aluminum) and study the break positions and the spectral index differences (less and greater than the break rigidity) of the spectral hardening quantitatively. The results show us that the CR nuclei spectral hardening at a few hundred GV has hybrid origins. In detail, the dominating factors of the spectral hardening for primary and secondary CR nuclei species are different: the former comes from the superposition of different kinds of CR sources, while the latter comes from the propagation process. Both of these factors influence all kinds of CR nuclei spectra, just with different weights.


title: A.I. Robustness: a Human-Centered Perspective on Technological Challenges and Opportunities

abstract: Despite the impressive performance of Artificial Intelligence (AI) systems, their robustness remains elusive and constitutes a key issue that impedes large-scale adoption. Robustness has been studied in many domains of AI, yet with different interpretations across domains and contexts. In this work, we systematically survey the recent progress to provide a reconciled terminology of concepts around AI robustness. We introduce three taxonomies to organize and describe the literature both from a fundamental and applied point of view: 1) robustness by methods and approaches in different phases of the machine learning pipeline; 2) robustness for specific model architectures, tasks, and systems; and in addition, 3) robustness assessment methodologies and insights, particularly the trade-offs with other trustworthiness properties. Finally, we identify and discuss research gaps and opportunities and give an outlook on the field. We highlight the central role of humans in evaluating and enhancing AI robustness, considering the necessary knowledge humans can provide, and discuss the need for better understanding practices and developing supportive tools in the future.


title: Contact process on a dynamical long range percolation

abstract: In this paper we introduce a contact process on a dynamical long range percolation (CPDLP) defined on a complete graph $(V,\mathcal{E})$. A dynamical long range percolation is a Feller process defined on the edge set $\mathcal{E}$, which assigns to each edge the state of being open or closed independently. The state of an edge $e$ is updated at rate $v_e$ and is open after the update with probability $p_e$ and closed otherwise. The contact process is then defined on top of this evolving random environment using only open edges for infection while recovery is independent of the background. First, we conclude that an upper invariant law exists and that the phase transitions of survival and non-triviality of the upper invariant coincide. We then formulate a comparison with a contact process with a specific infection kernel which acts as a lower bound. Thus, we obtain an upper bound for the critical infection rate. We also show that if the probability that an edge is open is low for all edges then the CPDLP enters an immunization phase, i.e. it will not survive regardless of the value of the infection rate. Furthermore, we show that on $V=\mathbb{Z}$ and under suitable conditions on the rates of the dynamical long range percolation the CPDLP will almost surely die out if the update speed converges to zero for any given infection rate $\lambda$.


title: Cross-modal Semantic Enhanced Interaction for Image-Sentence Retrieval

abstract: Image-sentence retrieval has attracted extensive research attention in multimedia and computer vision due to its promising application. The key issue lies in jointly learning the visual and textual representation to accurately estimate their similarity. To this end, the mainstream schema adopts an object-word based attention to calculate their relevance scores and refine their interactive representations with the attention features, which, however, neglects the context of the object representation on the inter-object relationship that matches the predicates in sentences. In this paper, we propose a Cross-modal Semantic Enhanced Interaction method, termed CMSEI for image-sentence retrieval, which correlates the intra- and inter-modal semantics between objects and words. In particular, we first design the intra-modal spatial and semantic graphs based reasoning to enhance the semantic representations of objects guided by the explicit relationships of the objects' spatial positions and their scene graph. Then the visual and textual semantic representations are refined jointly via the inter-modal interactive attention and the cross-modal alignment. To correlate the context of objects with the textual context, we further refine the visual semantic representation via the cross-level object-sentence and word-image based interactive attention. Experimental results on seven standard evaluation metrics show that the proposed CMSEI outperforms the state-of-the-art and the alternative approaches on MS-COCO and Flickr30K benchmarks.


title: Watch the Neighbors: A Unified K-Nearest Neighbor Contrastive Learning Framework for OOD Intent Discovery

abstract: Discovering out-of-domain (OOD) intent is important for developing new skills in task-oriented dialogue systems. The key challenges lie in how to transfer prior in-domain (IND) knowledge to OOD clustering, as well as jointly learn OOD representations and cluster assignments. Previous methods suffer from in-domain overfitting problem, and there is a natural gap between representation learning and clustering objectives. In this paper, we propose a unified K-nearest neighbor contrastive learning framework to discover OOD intents. Specifically, for IND pre-training stage, we propose a KCL objective to learn inter-class discriminative features, while maintaining intra-class diversity, which alleviates the in-domain overfitting problem. For OOD clustering stage, we propose a KCC method to form compact clusters by mining true hard negative samples, which bridges the gap between clustering and representation learning. Extensive experiments on three benchmark datasets show that our method achieves substantial improvements over the state-of-the-art methods.


title: Thermal and Reionisation History within a Large-Volume Semi-Analytic Galaxy Formation Simulation

abstract: We predict the 21-cm global signal and power spectra during the Epoch of Reionisation using the MERAXES semi-analytic galaxy formation and reionisation model, updated to include X-ray heating and thermal evolution of the intergalactic medium. Studying the formation and evolution of galaxies together with the reionisation of cosmic hydrogen using semi-analytic models (such as MERAXES) requires N-body simulations within large volumes and high mass resolutions. For this, we use a simulation of side-length $210~h^{-1}$ Mpc with $4320^3$ particles resolving dark matter haloes to masses of $5\times10^8~h^{-1}~M_\odot$. To reach the mass resolution of atomically cooled galaxies, thought to be the dominant population contributing to reionisation, at $z=20$ of $\sim 2\times10^7~h^{-1}~M_\odot$, we augment this simulation using the DARKFOREST Monte-Carlo merger tree algorithm (achieving an effective particle count of $\sim10^{12}$). Using this augmented simulation we explore the impact of mass resolution on the predicted reionisation history as well as the impact of X-ray heating on the 21-cm global signal and the 21-cm power spectra. We also explore the cosmic variance of 21-cm statistics within $70^{3}$ $h^{-3}$ Mpc$^3$ sub-volumes. We find that the midpoint of reionisation varies by $\Delta z\sim0.8$ and that the cosmic variance on the power spectrum is underestimated by a factor of $2-4$ at $k\sim 0.1-0.4$ Mpc$^{-1}$ due to the non-Gaussian nature of the 21-cm signal. To our knowledge, this work represents the first model of both reionisation and galaxy formation which resolves low-mass atomically cooled galaxies while simultaneously sampling sufficiently large scales necessary for exploring the effects of X-rays in the early Universe.


title: Forget Unlearning: Towards True Data-Deletion in Machine Learning

abstract: Unlearning algorithms aim to remove deleted data's influence from trained models at a cost lower than full retraining. However, prior guarantees of unlearning in literature are flawed and don't protect the privacy of deleted records. We show that when users delete their data as a function of published models, records in a database become interdependent. So, even retraining a fresh model after deletion of a record doesn't ensure its privacy. Secondly, unlearning algorithms that cache partial computations to speed up the processing can leak deleted information over a series of releases, violating the privacy of deleted records in the long run. To address these, we propose a sound deletion guarantee and show that the privacy of existing records is necessary for the privacy of deleted records. Under this notion, we propose an accurate, computationally efficient, and secure machine unlearning algorithm based on noisy gradient descent.


title: Characterization of the HD 108236 system with CHEOPS and TESS. Confirmation of a fifth transiting planet

abstract: The HD108236 system was first announced with the detection of four small planets based on TESS data. Shortly after, the transit of an additional planet with a period of 29.54d was serendipitously detected by CHEOPS. In this way, HD108236 (V=9.2) became one of the brightest stars known to host five small transiting planets (R$_p$<3R$_{\oplus}$). We characterize the planetary system by using all the data available from CHEOPS and TESS space missions. We use the flexible pointing capabilities of CHEOPS to follow up the transits of all the planets in the system, including the fifth transiting body. After updating the host star parameters by using the results from Gaia eDR3, we analyzed 16 and 43 transits observed by CHEOPS and TESS, respectively, to derive the planets physical and orbital parameters. We carried out a timing analysis of the transits of each of the planets of HD108236 to search for the presence of transit timing variations. We derived improved values for the radius and mass of the host star (R$_{\star}$=0.876$\pm$0.007 R$_{\odot}$ and M$_{\star}$=0.867$_{-0.046}^{+0.047}$ M$_{\odot}$). We confirm the presence of the fifth transiting planet f in a 29.54d orbit. Thus, the system consists of five planets of R$_b$=1.587$\pm$0.028, R$_c$=2.122$\pm$0.025, R$_d$=2.629$\pm$0.031, R$_e$=3.008$\pm$0.032, and R$_f$=1.89$\pm$0.04 [R$_{\oplus}$]. We refine the transit ephemeris for each planet and find no significant transit timing variations for planets c, d, and e. For planets b and f, instead, we measure significant deviations on their transit times (up to 22 and 28 min, respectively) with a non-negligible dispersion of 9.6 and 12.6 min in their time residuals. We confirm the presence of planet f and find no significant evidence for a potential transiting planet in a 10.9d orbital period, as previously suggested. Full abstract in the PDF file.


title: Rotating traversable wormholes in Einstein-Maxwell theory

abstract: It is well-known that traversable wormhole solutions to the Einstein equations require the existence of an exotic matter source violating the null energy condition. An apparent exception is the overcharged Kerr-Newman-NUT solution of the Einstein-Maxwell equations, which has all the properties of a geodesically complete, traversable wormhole spacetime. We show that the exotic matter sourcing this consists in two counter-rotating tensionless straight cosmic strings -- the Misner-Dirac strings -- which, as expected, violate the null energy condition. The wormhole possesses an ergoregion, but no superradiance. The geodesic motion in this spacetime is briefly discussed, and the absence of closed circular null geodesics is demonstrated.


title: A Category of Surface-Embedded Graphs

abstract: We introduce a categorical formalism for rewriting surface-embedded graphs. Such graphs can represent string diagrams in a non-symmetric setting where we guarantee that the wires do not intersect each other. The main technical novelty is a new formulation of double pushout rewriting on graphs which explicitly records the boundary of the rewrite. Using this boundary structure we can augment these graphs with a rotation system, allowing the surface topology to be incorporated.


title: Searching for Outbursts in the Ground-Based Photometry of 67P/Churyumov-Gerasimenko

abstract: 67P/Churyumov-Gerasimenko is a Jupiter-family comet that was the target of the Rosetta mission, the first mission to successfully orbit and land a probe on a comet. This mission was accompanied by a large ground-based observing campaign. We have developed a pipeline to calibrate and measure photometry of comet 67P during its 2016 perihelion passage, making use of all visible wavelength broadband imaging collected across a wide range of facilities. The pipeline calibrates the brightness of the comet to a common photometric system (Pan-STARRS 1) using background stars within the field allowing for compilation and comparison of multiple data sets. Results follow the predictions based on previous apparitions: 67P shows no obvious change in activity levels from orbit-to-orbit and coma colours remain constant throughout the apparition. We detected an outburst on 2015 August 22 of $\sim$0.14 mag. The brightness and estimated mass of this outburst puts it in line with the outbursts directly observed on the nucleus by Rosetta. An in situ outburst was observed at the same time as the one seen from the ground, however linking these two events directly remains challenging.


title: A sharp, structure preserving two-velocity model for two-phase flow

abstract: The numerical modelling of convection dominated high density ratio two-phase flow poses several challenges, amongst which is resolving the relatively thin shear layer at the interface. To this end we propose a sharp discretisation of the two-velocity model of the two-phase Navier-Stokes equations. This results in the ability to model the shear layer, rather than resolving it, by allowing for a velocity discontinuity in the direction(s) tangential to the interface. In a previous paper (Remmerswaal and Veldman (2022), arXiv:2209.14934) we have discussed the transport of mass and momentum, where the two fluids were not yet coupled. In this paper an implicit coupling of the two fluids is proposed, which imposes continuity of the velocity field in the interface normal direction. The coupling is included in the pressure Poisson problem, and is discretised using a multidimensional generalisation of the ghost fluid method. Furthermore, a discretisation of the diffusive forces is proposed, which leads to recovering the continuous one-velocity solution as the interface shear layer is resolved. The proposed two-velocity formulation is validated and compared to our one-velocity formulation, where we consider a multitude of two-phase flow problems. It is demonstrated that the proposed two-velocity model is able to consistently, and sharply, approximate solutions to the inviscid Euler equations, where velocity discontinuities appear analytically as well. Furthermore, the proposed two-velocity model is shown to accurately model the interface shear layer in viscous problems, and it is successfully applied to the simulation of breaking waves where the model was used to sharply capture free surface instabilities.


title: Mars: Modeling Context & State Representations with Contrastive Learning for End-to-End Task-Oriented Dialog

abstract: Traditional end-to-end task-oriented dialog systems first convert dialog context into belief state and action state before generating the system response. The system response performance is significantly affected by the quality of the belief state and action state. We first explore what dialog context representation is beneficial to improving the quality of the belief state and action state, which further enhances the generated response quality. To tackle our exploration, we propose Mars, an end-to-end task-oriented dialog system with two contrastive learning strategies to model the relationship between dialog context and belief/action state representations. Empirical results show dialog context representations, which are more different from semantic state representations, are more conducive to multi-turn task-oriented dialog. Moreover, our proposed Mars achieves state-of-the-art performance on the MultiWOZ 2.0, CamRest676, and CrossWOZ.


title: A Treatise On FST Lattice Based MMI Training

abstract: Maximum mutual information (MMI) has become one of the two de facto methods for sequence-level training of speech recognition acoustic models. This paper aims to isolate, identify and bring forward the implicit modelling decisions induced by the design implementation of standard finite state transducer (FST) lattice based MMI training framework. The paper particularly investigates the necessity to maintain a preselected numerator alignment and raises the importance of determinizing FST denominator lattices on the fly. The efficacy of employing on the fly FST lattice determinization is mathematically shown to guarantee discrimination at the hypothesis level and is empirically shown through training deep CNN models on a 18K hours Mandarin dataset and on a 2.8K hours English dataset. On assistant and dictation tasks, the approach achieves between 2.3-4.6% relative WER reduction (WERR) over the standard FST lattice based approach.


title: Holographic entanglement entropy probe on spontaneous symmetry breaking with vector order

abstract: We study holographic entanglement entropy in 5-dimensional charged black brane geometry obtained from Einstein-SU(2)Yang-Mills theory defined in asymptotically AdS space. This gravity system undergoes second order phase transition near its critical point affected by a spatial component of the Yang-Mills fields, which is normalizable mode of the solution. This is known as phase transition between isotropic and anisotropic phases. We get analytic solutions of holographic entanglement entropies by utilizing the solution of bulk spacetime geometry given in arXiv:1109.4592, where we consider subsystems defined on AdS boundary of which shapes are wide and thin slabs and a cylinder. It turns out that the entanglement entropies near the critical point shows scaling behavior such that for both of the slabs and cylinder, $\Delta_\varepsilon S\sim\left(1-\frac{T}{T_c}\right)^\beta$ and the critical exponent $\beta=1$, where $\Delta_\varepsilon S\equiv S^{iso}-S^{aniso}$, and $S^{iso}$ denotes the entanglement entropy in isotropic phase whereas $S^{aniso}$ denotes that in anisotropic phase. We suggest a quantity $O_{12}\equiv S_1-S_2$ as a new order parameter near the critical point, where $S_1$ is entanglement entropy when the slab is perpendicular to the direction of the vector order whereas $S_2$ is that when the slab is parallel to the vector order. $O_{12}=0$ in isotropic phase but in anisotropic phase, the order parameter becomes non-zero showing the same scaling behavior. Finally, we show that even near the critical point, the first law of entanglement entropy is hold. Especially, we find that the entanglement temperature for the cylinder is $\mathcal T_{cy}=\frac{c_{ent}}{a}$, where $c_{ent}=0.163004\pm0.000001$ and $a$ is the radius of the cylinder.


title: Preservation of the harmonic overtones in the violin family beyond Stradivari

abstract: Three hundred years ago, Antonio Stradivari enjoyed the golden period of the violin making in the human history. Luthiers and researchers endeavor to study his legendary legacy. Unfortunately, a consensus that the present progress has reached his level remains lacking. Most of the instruments suffer from low sounding power and enigmatic deficit of harmonic overtones. In fact, there is significant energy dissipation in the acoustic couplings in the violin family, completely unaware to luthiers and researchers. The current acoustic mechanism is inefficient in resonance of the wooden plates and hence is the low rate of mechanical energy conversion to the desired sound. We propose a new method for the amelioration of the acoustic couplings to enhance the preservation of the overtone components up to 161% of the pristine and to reduce the instrumental dissipation intensity up to 3.8 dB off (73% off). It results in the tremendously improved sound projection, the shorter reaction time, the longer reverberation time, and consequently the enrichment of the timbre complexity. Our physical method is applicable to the violin family of all sizes and ages, including the Stradivari, and extendable to all string instruments.


title: Rationalizing doping and electronic correlations in LaFe$_2$As$_2$

abstract: We compute the electronic properties of the normal state of uncollapsed LaFe$_2$As$_2$, taking into account local dynamical correlations by means of slave-spin mean-field+density-functional theory. Assuming the same local interaction strength used to model the whole electron- and hole-doped BaFe$_2$As$_2$ family, our calculations reproduce the experimental Sommerfeld specific heat coefficient, which is twice the value predicted by uncorrelated band theory. We find that LaFe$_2$As$_2$ has a reduced bare bandwidth and this solves the apparent paradox of its sizeable correlations despite its nominal valence d$^{6.5}$, which would imply extreme overdoping and uncorrelated behaviour in BaFe$_2$As$_2$. Our results yield a consistent picture of the whole 122 family and point at the importance of the correlation strength, rather than sheer doping, in the interpretation of the phase diagram of iron-based superconductors


title: Joint Multilingual Knowledge Graph Completion and Alignment

abstract: Knowledge graph (KG) alignment and completion are usually treated as two independent tasks. While recent work has leveraged entity and relation alignments from multiple KGs, such as alignments between multilingual KGs with common entities and relations, a deeper understanding of the ways in which multilingual KG completion (MKGC) can aid the creation of multilingual KG alignments (MKGA) is still limited. Motivated by the observation that structural inconsistencies -- the main challenge for MKGA models -- can be mitigated through KG completion methods, we propose a novel model for jointly completing and aligning knowledge graphs. The proposed model combines two components that jointly accomplish KG completion and alignment. These two components employ relation-aware graph neural networks that we propose to encode multi-hop neighborhood structures into entity and relation representations. Moreover, we also propose (i) a structural inconsistency reduction mechanism to incorporate information from the completion into the alignment component, and (ii) an alignment seed enlargement and triple transferring mechanism to enlarge alignment seeds and transfer triples during KGs alignment. Extensive experiments on a public multilingual benchmark show that our proposed model outperforms existing competitive baselines, obtaining new state-of-the-art results on both MKGC and MKGA tasks. We publicly release the implementation of our model at https://github.com/vinhsuhi/JMAC


title: RPoA: Redefined Proof of Activity

abstract: The consensus protocol is the core of a blockchain system which guarantees its secure and stable operation. Proof of Activity (PoA) is a consensus protocol that tries to address some of the issues pertinent to the most widely used protocols, such as Proof of Stake (PoS) and Proof of Work (PoW). However, it still needs to solve the issues regarding high energy consumption, significant resources required, high mining latency, and the need for private blockchains. In this paper, we propose Redefined Proof of Activity (RPoA), a new consensus protocol that builds on top of some of the best features of the existing protocols, such as PoW, PoS, and PoA, and values active service provided by users on the network. Our approach tries to address the issues above and falls in the service-based protocols category that gives mining credit to users as they serve on the network.


title: The irreducibility of the spaces of rational curves on del Pezzo manifolds

abstract: We prove the irreducibility of the spaces of rational curves on del Pezzo manifolds of Picard rank 1 and dimension at least 4 by analyzing the fibers of evaluation maps. As a corollary, we prove Geometric Manin's Conjecture in these cases.


title: Test of Transitivity in Quantum Field theory using Rindler spacetime

abstract: We consider a massless scalar field in Minkowski spacetime $\cal{M} $ in its vacuum state, and consider two Rindler wedges $R_1$ and $R_2$ in this space. $R_2$ is shifted to the right of $R_1$ by a distance $\Delta$. We therefore have $R_2\subset R_1 \subset \cal{M}$ with the symbol $\subset$ implying a quantum subsystem. We find the reduced state in $R_2$ using two independent ways: a) by evaluation of the reduced state from vacuum state in $\cal{M}$ which yields a thermal density matrix, b) by first evaluating the reduced state in $R_1$ from $\cal{M} $ yielding a thermal state in $R_1$, and subsequently evaluate the reduced state in $R_2$ in that order of sequence. In this article we attempt to address the question whether both these independent ways yield the same reduced state in $R_2$. To that end, we devise a method which involves cleaving the Rindler wedge $R_1$ into two domains such that they form a thermofield double. One of the domains aligns itself along the wedge $R_2$ while the other is a diamond shaped construction between the boundaries of $R_1$ and $R_2$. We conclude that both these independent methods yield two different answers, and discuss the possible implications of our result in the context of quantum states outside a non-extremal black hole formed by collapsing matter.


title: Experimental observation of spin-split energy dispersion in high-mobility single-layer graphene/WSe2 heterostructures

abstract: Proximity-induced spin-orbit coupling in graphene has led to the observation of intriguing phenomena like time-reversal invariant $\mathbb{Z}_2$ topological phase and spin-orbital filtering effects. An understanding of the effect of spin-orbit coupling on the band structure of graphene is essential if these exciting observations are to be transformed into real-world applications. In this research article, we report the experimental determination of the band structure of single-layer graphene (SLG) in the presence of strong proximity-induced spin-orbit coupling. We achieve this in high-mobility hBN-encapsulated SLG/WSe2 heterostructures through measurements of quantum oscillations. We observe clear spin-splitting of the graphene bands along with a substantial increase in the Fermi velocity. Using a theoretical model with realistic parameters to fit our experimental data, we uncover evidence of a band gap opening and band inversion in the SLG. Further, we establish that the deviation of the low-energy band structure from pristine SLG is determined primarily by the valley-Zeeman SOC and Rashba SOC, with the Kane-Mele SOC being inconsequential. Despite robust theoretical predictions and observations of band-splitting, a quantitative measure of the spin-splitting of the valence and the conduction bands and the consequent low-energy dispersion relation in SLG was missing -- our combined experimental and theoretical study fills this lacuna.


title: Event-based Stereo Depth Estimation from Ego-motion using Ray Density Fusion

abstract: Event cameras are bio-inspired sensors that mimic the human retina by responding to brightness changes in the scene. They generate asynchronous spike-based outputs at microsecond resolution, providing advantages over traditional cameras like high dynamic range, low motion blur and power efficiency. Most event-based stereo methods attempt to exploit the high temporal resolution of the camera and the simultaneity of events across cameras to establish matches and estimate depth. By contrast, this work investigates how to estimate depth from stereo event cameras without explicit data association by fusing back-projected ray densities, and demonstrates its effectiveness on head-mounted camera data, which is recorded in an egocentric fashion. Code and video are available at https://github.com/tub-rip/dvs_mcemvs


title: Variable-Pitch Power Regulation of Tethered-Wing Systems Based on Robust Gain-Scheduling H-infinity Control

abstract: In this paper, we deal with the power regulation of tethered-wing systems and demonstrate advantages of variable-pitch control in mitigating the dynamic mechanical loads and power fluctuations. The proposed scheme is based on a strategy that maximizes the energy capture during low-speed wind and prevents overloads during the high-speed wind. To realize this strategy, we use a tether reeling-speed controller to track the optimal generator speed during low-speed wind and a MIMO speed-force controller for power limitation during high-speed wind. The controllers are synthesized using H-infinity method and are based on a linear parameter varying (LPV) system that expresses the flexible dynamics of system as a function of the tether's length and force. Using this method, the controllers are made robust with respect to dynamic and parametric uncertainties and the wing's pitch angle activity is minimized during high-speed wind. We carry out extensive simulations to demonstrate the controllers' performance. These include the implementation of the scheme in a detailed 3-dimensional tethered-wing system simulator with a realistic turbulent wind field.


title: DE-CROP: Data-efficient Certified Robustness for Pretrained Classifiers

abstract: Certified defense using randomized smoothing is a popular technique to provide robustness guarantees for deep neural networks against l2 adversarial attacks. Existing works use this technique to provably secure a pretrained non-robust model by training a custom denoiser network on entire training data. However, access to the training set may be restricted to a handful of data samples due to constraints such as high transmission cost and the proprietary nature of the data. Thus, we formulate a novel problem of "how to certify the robustness of pretrained models using only a few training samples". We observe that training the custom denoiser directly using the existing techniques on limited samples yields poor certification. To overcome this, our proposed approach (DE-CROP) generates class-boundary and interpolated samples corresponding to each training sample, ensuring high diversity in the feature space of the pretrained classifier. We train the denoiser by maximizing the similarity between the denoised output of the generated sample and the original training sample in the classifier's logit space. We also perform distribution level matching using domain discriminator and maximum mean discrepancy that yields further benefit. In white box setup, we obtain significant improvements over the baseline on multiple benchmark datasets and also report similar performance under the challenging black box setup.


title: A modular quantum-classical framework for simulating chemical reaction pathways accurately

abstract: A lot of progress has been made in recent times for simulating accurately the ground state energy of small molecules and their potential energy surface, using quantum-classical hybrid computing architecture. While these single point energy calculations are a significant milestone for quantum chemistry simulation on quantum hardware, a similarly important application is to trace accurately the reaction pathway of various chemical transformations. Such computations require accurate determination of the equilibrium or lowest energy molecular geometry, either by computing energy gradients with respect to the molecule's nuclear coordinates or perturbative distortion of the molecular configuration. In this work, we present a modular quantum-classical hybrid framework, to accurately simulate chemical reaction pathway of various kinds of molecular reactions. We demonstrate our framework by accurately tracing the isomerization pathway for small organic molecules. This framework can now be readily applied to study other 'active' molecules from the pharma and chemical industries.


title: Simultaneous confidence intervals for an extended Koch-R\"ohmel design in three-arm non-inferiority trials

abstract: Three-arm `gold-standard' non-inferiority trials are recommended for indications where only unstable reference treatments are available and the use of a placebo group can be justified ethically. For such trials several study designs have been suggested that use the placebo group for testing 'assay sensitivity', i.e. the ability of the trial to replicate efficacy. Should the reference fail in the given trial, then non-inferiority could also be shown with an ineffective experimental treatment and hence becomes useless. In this paper we extend the so called Koch-R\"ohmel design where a proof of efficacy for the experimental treatment is required in order to qualify the non-inferiority test. While efficacy of the experimental treatment is an indication for assay sensitivity, it does not guarantee that the reference is sufficient efficient to let the non-inferiority claim be meaningful. It has therefore been suggested to adaptively test non-inferiority only if the reference demonstrates superiority to placebo and otherwise to test $\delta$-superiority of the experimental treatment over placebo, where $\delta$ is chosen in such a way that it provides proof of non-inferiority with regard to the reference's historical effect. In this paper we extend the previous work by complementing its adaptive test with compatible simultaneous confidence intervals. Confidence intervals are commonly used and suggested by regulatory guidelines for non-inferiority trials. We show how to adopt different approaches to simultaneous confidence intervals from the literature to the setting of three-arm non-inferiority trials and compare these methods in a simulation study. Finally we apply these methods to a real clinical trial example.


title: Fuzzy Hom-Lie Ideals of Hom-Lie Algebras

abstract: In this paper, we introduce the concept of fuzzy Hom-Lie subalgebras (ideals) of Hom-Lie algebras and we investigate some of their properties. We study the relationship between fuzzy Hom-Lie subalgebras (resp. ideals) and Hom-Lie subalgebras (resp. ideals). For a finite number of fuzzy Hom-Lie subalgebras, we construct a new fuzzy hom-Lie subalgebras on their direct sum. Finally, The properties of fuzzy Hom-Lie subalgebras and fuzzy Hom-Lie ideals under morphisms of Hom-Lie algebras are studied.


title: DiffuSeq: Sequence to Sequence Text Generation with Diffusion Models

abstract: Recently, diffusion models have emerged as a new paradigm for generative models. Despite the success in domains using continuous signals such as vision and audio, adapting diffusion models to natural language is under-explored due to the discrete nature of texts, especially for conditional generation. We tackle this challenge by proposing DiffuSeq: a diffusion model designed for sequence-to-sequence (Seq2Seq) text generation tasks. Upon extensive evaluation over a wide range of Seq2Seq tasks, we find DiffuSeq achieving comparable or even better performance than six established baselines, including a state-of-the-art model that is based on pre-trained language models. Apart from quality, an intriguing property of DiffuSeq is its high diversity during generation, which is desired in many Seq2Seq tasks. We further include a theoretical analysis revealing the connection between DiffuSeq and autoregressive/non-autoregressive models. Bringing together theoretical analysis and empirical evidence, we demonstrate the great potential of diffusion models in complex conditional language generation tasks. Code is available at \url{https://github.com/Shark-NLP/DiffuSeq}


title: RIO: Order-Preserving and CPU-Efficient Remote Storage Access

abstract: Modern NVMe SSDs and RDMA networks provide dramatically higher bandwidth and concurrency. Existing networked storage systems (e.g., NVMe over Fabrics) fail to fully exploit these new devices due to inefficient storage ordering guarantees. Severe synchronous execution for storage order in these systems stalls the CPU and I/O devices and lowers the CPU and I/O performance efficiency of the storage system. We present Rio, a new approach to the storage order of remote storage access. The key insight in Rio is that the layered design of the software stack, along with the concurrent and asynchronous network and storage devices, makes the storage stack conceptually similar to the CPU pipeline. Inspired by the CPU pipeline that executes out-of-order and commits in-order, Rio introduces the I/O pipeline that allows internal out-of-order and asynchronous execution for ordered write requests while offering intact external storage order to applications. Together with merging consecutive ordered requests, these design decisions make for write throughput and CPU efficiency close to that of orderless requests. We implement Rio in Linux NVMe over RDMA stack, and further build a file system named RioFS atop Rio. Evaluations show that Rio outperforms Linux NVMe over RDMA and a state-of-the-art storage stack named Horae by two orders of magnitude and 4.9 times on average in terms of throughput of ordered write requests, respectively. RioFS increases the throughput of RocksDB by 1.9 times and 1.5 times on average, against Ext4 and HoraeFS, respectively.


title: Grassmann tensor-network method for strong-coupling QCD

abstract: We present a tensor-network method for strong-coupling QCD with staggered quarks at nonzero chemical potential. After integrating out the gauge fields at infinite coupling, the partition function can be written as a full contraction of a tensor network consisting of coupled local numeric and Grassmann tensors. To evaluate the partition function and to compute observables, we develop a Grassmann higher-order tensor renormalization group method, specifically tailored for this model. We apply the method to the two-dimensional case and validate it by comparing results for the partition function, the chiral condensate and the baryon density with exact analytical expressions on small lattices up to volumes of $4\times4$. For larger two-dimensional volumes, we present tensor results for the chiral condensate as a function of the mass and volume, and observe that the chiral symmetry is not broken dynamically in two dimensions. Furthermore, our results for the number density as a function of the chemical potential hint at a first-order phase transition. Finally, we present some preliminary tensor results for three-dimensional strong-coupling QCD.


title: S$^3$-NeRF: Neural Reflectance Field from Shading and Shadow under a Single Viewpoint

abstract: In this paper, we address the "dual problem" of multi-view scene reconstruction in which we utilize single-view images captured under different point lights to learn a neural scene representation. Different from existing single-view methods which can only recover a 2.5D scene representation (i.e., a normal / depth map for the visible surface), our method learns a neural reflectance field to represent the 3D geometry and BRDFs of a scene. Instead of relying on multi-view photo-consistency, our method exploits two information-rich monocular cues, namely shading and shadow, to infer scene geometry. Experiments on multiple challenging datasets show that our method is capable of recovering 3D geometry, including both visible and invisible parts, of a scene from single-view images. Thanks to the neural reflectance field representation, our method is robust to depth discontinuities. It supports applications like novel-view synthesis and relighting. Our code and model can be found at https://ywq.github.io/s3nerf.


title: Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property

abstract: We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a $T$-invariant Borel probability measure, but we also consider much more general sets (for example, $\alpha$-Birkhoff regular sets and the irregular set appearing in multifractal analysis of ergodic averages of a continuous real-valued function). We show that many of these sets are Borel. In fact, all these sets are Borel when we assume that our space is compact. We provide examples of these sets being non-Borel, properly placed at the first level of the projective hierarchy (they are complete analytic or co-analytic). This proves that the compactness assumption is in some cases necessary to obtain Borelness. When these sets are Borel, we use the Borel hierarchy to measure their descriptive complexity. We show that the sets of interest are located at most at the third level of the hierarchy. We also use a modified version of the specification property to show that for many dynamical systems these sets are properly located at the third level. To demonstrate that the specification property is a sufficient, but not necessary condition for maximal descriptive complexity of a set of generic points, we provide an example of a compact minimal system with an invariant measure whose set of generic points is $\Pi^0_3$-complete.


title: Relative Dehn fuctions, hyperbolically embedded subgroups and combination theorems

abstract: Consider the following classes of pairs consisting of a group and a finite collection of subgroups: $\mathcal{C}= \left\{ (G,\mathcal H) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right\}$ and $ \mathcal{D}= \left\{ (G,\mathcal H) \mid \text{the relative Dehn function of $(G,\mathcal H)$ is well-defined} \right\}.$ Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that: $\bullet$ If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$. $\bullet$ If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$. $\bullet$ For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in\mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in\mathcal{H}$. That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.


title: Blow-ups and the quantum spectrum of surfaces

abstract: We investigate the behaviour of the spectrum of the quantum (or Dubrovin) connection of smooth projective surfaces under blow-ups. Our main result is that for small values of the parameters, the quantum spectrum of such a surface is asymptotically the union of the quantum spectrum of a minimal model of the surface and a finite number of additional points located "close to infinity", that correspond bijectively to the exceptional divisors. This proves a conjecture of Kontsevich in the surface case.


title: Configured Grant for Ultra-Reliable and Low-Latency Communications: Standardization and Beyond

abstract: Uplink configured Grant allocation has been introduced in 3rd Generation Partnership Project New Radio Release 15. This is beneficial in supporting Ultra-Reliable and Low Latency Communication for industrial communication, a key Fifth Generation mobile communication usage scenario. This scheduling mechanism enables a user with periodic traffic to transmits its data readily and bypasses the control signaling entailed to scheduling requests and scheduling grants and provides low latency access. To facilitate ultra-reliable communication, the scheduling mechanism can allow users to transmit consecutive redundant transmissions in a pre-defined period. However, if the traffic is semi-deterministic, the current standardized configured grant allocation is not equipped to emulate the traffic as the configured grant's period is pre-configured and fixed. This article describes the recent advancements in the standardization process in Release 15 and 16 for configured grant allocation and the prospective solutions to accommodate semi-deterministic traffic behavior for configured grant allocations.


title: Prediction for the synthesis cross sections of new moscovium isotopes in fusion-evaporation reactions

abstract: In the framework of the dinuclear system model, the synthesis mechanism of the superheavy nuclides with atomic number $Z=112, 114, 115$ in the reactions of projectiles $^{40,48}$Ca bombarding on targets $^{238}$U, $^{242}$Pu, and $^{243}$Am at a wide incident energies (excitation energy from 0-100 MeV) have been investigated systematically. Based on the available experimental excitation functions, the dependence of calculated synthesis cross sections on collision orientations has been studied thoroughly. The TKEs of these collisions with the fixed collision orientation show its orientation dependence which can be used to predict the tendency of kinetic energy diffusion. The TKEs are dependent on incident energies which have been discussed. The method of Coulomb barrier distribution function has been applied in our calculations which could treat all of the collision orientations from the tip-tip to side-side approximately. The calculations of excitation functions of $^{48}$Ca + $^{238}$U, $^{48}$Ca + $^{242}$Pu, and $^{48}$Ca + $^{243}$Am have a nice agreement with the available experimental data. The isospin effect of projectiles on production cross sections of moscovium isotopes and the influence of entrance channel effect on the synthesis cross sections of superheavy nuclei have been discussed. The synthesis cross section of new moscovium isotopes $^{278-286}$Mc have been predicted as large as hundreds pb, in the fusion-evaporation reactions of $^{35,37}$Cl + $^{248}$Cf, $^{38,40}$Ar + $^{247}$Bk, $^{39,41}$K + $^{247}$Cm, $^{40,42,44,46}$Ca + $^{238}$Am, $^{45}$Sc + $^{242}$Pu, and $^{46,48,50}$Ti + $^{243}$Np, $^{51}$V + $^{238}$U at the excitation energy interval of 0-100 MeV.


title: Meta-Learning via Classifier(-free) Diffusion Guidance

abstract: We introduce meta-learning algorithms that perform zero-shot weight-space adaptation of neural network models to unseen tasks. Our methods repurpose the popular generative image synthesis techniques of natural language guidance and diffusion models to generate neural network weights adapted for tasks. We first train an unconditional generative hypernetwork model to produce neural network weights; then we train a second "guidance" model that, given a natural language task description, traverses the hypernetwork latent space to find high-performance task-adapted weights in a zero-shot manner. We explore two alternative approaches for latent space guidance: "HyperCLIP"-based classifier guidance and a conditional Hypernetwork Latent Diffusion Model ("HyperLDM"), which we show to benefit from the classifier-free guidance technique common in image generation. Finally, we demonstrate that our approaches outperform existing multi-task and meta-learning methods in a series of zero-shot learning experiments on our Meta-VQA dataset.


title: The representation ring of $\mathrm{SL}_2(\mathbb{F}_p)$ and stable modular plethysms of its natural module in characteristic $p$

abstract: Let $p$ be an odd prime and let $k$ be a field of characteristic $p$. We provide a practical algebraic description of the representation ring of $k\mathrm{SL}_2(\mathbb{F}_p)$ modulo projectives. We then investigate a family of modular plethysms of the natural $k\mathrm{SL}_2(\mathbb{F}_p)$-module $E$ of the form $\nabla^{\nu}\mathrm{Sym}^l E$ for a partition $\nu$ of size less than $p$ and $0\leq l\leq p-2$. Within this family we classify both the modular plethysms of $E$ which are projective and the modular plethysms of $E$ which have only one non-projective indecomposable summand which is moreover irreducible. We generalise these results to similar classifications where modular plethysms of $E$ are replaced by $k\mathrm{SL}_2(\mathbb{F}_p)$-modules of the form $\nabla^{\nu} V$, where $V$ is a non-projective indecomposable $k\mathrm{SL}_2(\mathbb{F}_p)$-module and $|\nu|<p$.


title: Batalin-Vilkovisky structures on moduli spaces of flat connections

abstract: Let $\Sigma$ be a compact oriented 2-manifold (possibly with boundary), and let $\mathcal G_{\Sigma}$ be the linear span of free homotopy classes of closed oriented curves on $\Sigma$ equipped with the Goldman Lie bracket $[\cdot, \cdot]_\mathrm{Goldman}$ defined in terms of intersections of curves. A theorem of Goldman gives rise to a Lie homomorphism $\Phi^\mathrm{even}$ from $(\mathcal G_{\Sigma}, [\cdot, \cdot]_\text{Goldman})$ to functions on the moduli space of flat connections $\mathcal{M}_{\Sigma}(G)$ for $G=U(N), GL(N)$, equipped with the Atiyah-Bott Poisson bracket. The space $\mathcal{G}_{\Sigma}$ also carries the Turaev Lie cobracket $\delta_\mathrm{Turaev}$ defined in terms of self-intersections of curves. In this paper, we address the following natural question: which geometric structure on moduli spaces of flat connections corresponds to the Turaev cobracket? We give a constructive answer to this question in the following context: for $G$ a Lie supergroup with an odd invariant scalar product on its Lie superalgebra, and for nonempty $\partial\Sigma$, we show that the moduli space of flat connections $\mathcal{M}_{\Sigma}(G)$ carries a natural Batalin-Vilkovisky (BV) structure, given by an explicit combinatorial Fock-Rosly formula. Furthermore, for the queer Lie supergroup $G=Q(N)$, we define a BV-morphism $\Phi^\mathrm{odd}\colon \wedge \mathcal{G}_{\Sigma} \to \mathrm{Fun}(\mathcal{M}_{\Sigma}(Q(N)))$ which replaces the Goldman map, and which captures the information both on the Goldman bracket and on the Turaev cobracket. The map $\Phi^\mathrm{odd}$ is constructed using the "odd trace" function on $Q(N)$.


title: The universal coCartesian fibration

abstract: We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.


title: Polarized Rabi-Coupled and Spinor Boson Droplets

abstract: Self-bound quantum droplets form when the mean-field tendency of the gas to collapse is stabilized by the effectively repulsive beyond mean-field fluctuations. The beyond mean-field effects depend on Rabi-frequency $\omega_R$ and quadratic Zeeman effect $q$ for the Rabi-coupled Bose mixtures and the spinor gases, respectively. The effects of varying $\omega_R$ and $q$ on the quantum droplet have recently been examined for unpolarized Rabi-coupled Bose mixture with zero detuning $\delta = 0$ and unpolarized spinor gas with $\langle F_z \rangle=0$. In this paper, we theoretically explore the stability of the droplet phase for polarized $\delta \neq 0$ Rabi-coupled Bose mixture and $\langle F_z \rangle \neq 0$ spinor gas. We calculate the Lee-Huang-Yang corrections for both gases with polarized order parameters and obtain the phase diagram of the droplets on the parameter space of $\omega_R$-$\delta$ and $q$-$p$ for Rabi-coupled mixture and spinor gas, respectively. Finally, we highlight the similarities and differences between the two systems and discuss their experimental feasibility.


title: Supersolid-like solitons in two-dimensional nonmagnetic spin-orbit coupled spin-1 and spin-2 condensates

abstract: We demonstrate spontaneous generation of spatially-periodic supersolid-like super-lattice and stripe solitons in Rashba spin-orbit (SO) coupled spin-1 and spin-2 quasi-two-dimensional nonmagnetic Bose-Einstein condensates (BECs). The solitons in a weakly SO-coupled spin-1 BEC are circularly-symmetric of $(-1, 0, +1)$ and $(0, +1, +2)$ types and have inherent vorticity; the numbers in the parentheses are the winding numbers in hyper-spin components $+1, 0, -1$, respectively. The circularly-symmetric solitons in an SO-coupled spin-2 BEC are of types $(-2, -1, 0, +1, +2)$ and $(-1, 0, +1, +2, +3)$ with the former being the ground state, where the winding numbers correspond to spin components $+2, +1, 0, -1, -2$, respectively. For stronger SO-coupling strengths, these solitons acquire a multiring structure while preserving the winding numbers. Quasi-degenerate stripe and super-lattice solitons, besides a circularly-asymmetric soliton, also emerge as excited stationary states for stronger SO-coupling strengths in spin-1 and spin-2 BECs. pla-cl.tex


title: Growth kinetics of interfacial patterns formed by the radial displacement of an aging viscoelastic suspension

abstract: When a soft glassy colloidal suspension is displaced by a Newtonian fluid in a radial Hele-Shaw geometry, the pattern morphology that develops at the interface is determined by the complex rheology of the former. We had reported in an earlier work [Palak, V. R. S. Parmar, D. Saha and R. Bandyopadhyay, JCIS Open, 6 (2022) 100047] that a range of interfacial patterns can be formed by controlling the elasticity of the displaced suspension, the flow rate of the displacing fluid and the interfacial tension of the fluid pair. Interestingly, all the different morphological features can be distinguished in terms of their areal ratios, defined as the ratio of the areas occupied by the fully-developed pattern and the smallest circle enclosing it. In a significant advance to this earlier work, we show here that a systematic study of spatio-temporal pattern growth can reveal important information about pattern selection mechanisms. We analyse the time-evolution of the patterns to reveal interesting correlations between their growth mechanisms and fully-developed morphologies. We believe that such systematic identification of the unique temporal features characterising pattern growth at the interface between an aging viscoelastic clay suspension and a Newtonian fluid can be useful in predicting and suppressing the onset and evolution of interfacial instabilities in the displacement of mud and cement slurries.


title: Oscillatory cooperation prevalence emerges from misperception

abstract: Oscillatory behaviors are ubiquitous in nature and the human society. However, most previous works fail to reproduce them in the two-strategy game-theoretical models. Here we show that oscillatory behaviors naturally emerge if incomplete information is incorporated into the cooperation evolution of a non-Markov model. Specifically, we consider a population playing prisoner's dilemma game, where each individual can only probabilistically get access to their neighbors' payoff information and store them within their memory with a given length. They make their decisions based upon these memories. Interestingly, we find that the level of cooperation generally cannot stabilize but render quasi-periodic oscillation, and this observation is strengthened for a longer memory and a smaller information acquisition probability. The mechanism uncovered shows that there are misperceived payoffs about the player's neighborhood, facilitating the growth of cooperators and defectors at different stages that leads to oscillatory behaviors as a result. Our findings are robust to the underlying structure of the population. Given the omnipresence of incomplete information, our findings may provide a plausible explanation for the phenomenon of oscillatory behaviors in the real world.


title: Locating Theorems of Differential Inclusions Governed by Maximally Monotone Operators

abstract: In this paper, we are interested in studying the asymptotic behavior of the solutions of differential inclusions governed by maximally monotone operators. In the case where the LaSalle's invariance principle is inconclusive, we provide a refined version of the invariance principle theorem. This result derives from the problem of locating the $\omega$-limit set of a bounded solution of the dynamic. In addition, we propose an extension of LaSalle's invariance principle, which allows us to give a sharper location of the $\omega$-limit set. The provided results are given in terms of nonsmooth Lyapunov pair-type functions.


title: Approximating Continuous Convolutions for Deep Network Compression

abstract: We present ApproxConv, a novel method for compressing the layers of a convolutional neural network. Reframing conventional discrete convolution as continuous convolution of parametrised functions over space, we use functional approximations to capture the essential structures of CNN filters with fewer parameters than conventional operations. Our method is able to reduce the size of trained CNN layers requiring only a small amount of fine-tuning. We show that our method is able to compress existing deep network models by half whilst losing only 1.86% accuracy. Further, we demonstrate that our method is compatible with other compression methods like quantisation allowing for further reductions in model size.


title: Predicting Dense and Context-aware Cost Maps for Semantic Robot Navigation

abstract: We investigate the task of object goal navigation in unknown environments where the target is specified by a semantic label (e.g. find a couch). Such a navigation task is especially challenging as it requires understanding of semantic context in diverse settings. Most of the prior work tackles this problem under the assumption of a discrete action policy whereas we present an approach with continuous control which brings it closer to real world applications. We propose a deep neural network architecture and loss function to predict dense cost maps that implicitly contain semantic context and guide the robot towards the semantic goal. We also present a novel way of fusing mid-level visual representations in our architecture to provide additional semantic cues for cost map prediction. The estimated cost maps are then used by a sampling-based model predictive controller (MPC) for generating continuous robot actions. The preliminary experiments suggest that the cost maps generated by our network are suitable for the MPC and can guide the agent to the semantic goal more efficiently than a baseline approach. The results also indicate the importance of mid-level representations for navigation by improving the success rate by 7 percentage points.


title: Strongly convergent unitary representations of limit groups

abstract: We prove that all finitely generated fully residually free groups (limit groups) have a sequence of finite dimensional unitary representations that `strongly converge' to the regular representation of the group. The corresponding statement for finitely generated free groups was proved by Haagerup and Thorbj{\o}rnsen in 2005. In fact, we can take the unitary representations to arise from representations of the group by permutation matrices, as was proved for free groups by Bordenave and Collins. As for Haagerup and Thorbj{\o}rnsen, the existence of such representations implies that for any non-abelian limit group, the Ext-invariant of the reduced $C^{*}$-algebra is not a group (has non-invertible elements) An important special case of our main theorem is in application to the fundamental groups of closed orientable surfaces of genus at least two. In this case, our results can be used as an input to the methods previously developed by the authors of the appendix. The output is a variation of our previous proof of Buser's 1984 conjecture that there exist a sequence of closed hyperbolic surfaces with genera tending to infinity and first eigenvalue of the Laplacian tending to $\frac{1}{4}$. In this variation of the proof, the systoles of the surfaces are bounded away from zero and the surfaces can be taken to be arithmetic.


title: Conversion of Legal Agreements into Smart Legal Contracts using NLP

abstract: A Smart Legal Contract (SLC) is a specialized digital agreement comprising natural language and computable components. The Accord Project provides an open-source SLC framework containing three main modules: Cicero, Concerto, and Ergo. Currently, we need lawyers, programmers, and clients to work together with great effort to create a usable SLC using the Accord Project. This paper proposes a pipeline to automate the SLC creation process with several Natural Language Processing (NLP) models to convert law contracts to the Accord Project's Concerto model. After evaluating the proposed pipeline, we discovered that our NER pipeline accurately detects CiceroMark from Accord Project template text with an accuracy of 0.8. Additionally, our Question Answering method can extract one-third of the Concerto variables from the template text. We also delve into some limitations and possible future research for the proposed pipeline. Finally, we describe a web interface enabling users to build SLCs. This interface leverages the proposed pipeline to convert text documents to Smart Legal Contracts by using NLP models.


title: Monitoring edge-geodetic sets: hardness and graph products

abstract: Foucaud, Krishna and Lekshmi recently introduced the concept of monitoring edge-geodetic sets in graphs, and a related graph invariant. These are sets of vertices such that the removal of any edge changes the distance between some pair of vertices in the set. They studied the minimum possible size of such a set in a given graph, which we call the monitoring edge-geodetic number. We show that the decision problem for the monitoring edge-geodetic number is NP-complete. We also give best-possible upper and lower bounds for the Cartesian and strong products of two graphs. These bounds establish the exact value in many cases, including many new examples of graphs whose only monitoring edge-geodetic set is the whole vertex set.


title: A Novel Membership Inference Attack against Dynamic Neural Networks by Utilizing Policy Networks Information

abstract: Unlike traditional static deep neural networks (DNNs), dynamic neural networks (NNs) adjust their structures or parameters to different inputs to guarantee accuracy and computational efficiency. Meanwhile, it has been an emerging research area in deep learning recently. Although traditional static DNNs are vulnerable to the membership inference attack (MIA) , which aims to infer whether a particular point was used to train the model, little is known about how such an attack performs on the dynamic NNs. In this paper, we propose a novel MI attack against dynamic NNs, leveraging the unique policy networks mechanism of dynamic NNs to increase the effectiveness of membership inference. We conducted extensive experiments using two dynamic NNs, i.e., GaterNet, BlockDrop, on four mainstream image classification tasks, i.e., CIFAR-10, CIFAR-100, STL-10, and GTSRB. The evaluation results demonstrate that the control-flow information can significantly promote the MIA. Based on backbone-finetuning and information-fusion, our method achieves better results than baseline attack and traditional attack using intermediate information.


title: Weakly Supervised Face Naming with Symmetry-Enhanced Contrastive Loss

abstract: We revisit the weakly supervised cross-modal face-name alignment task; that is, given an image and a caption, we label the faces in the image with the names occurring in the caption. Whereas past approaches have learned the latent alignment between names and faces by uncertainty reasoning over a set of images and their respective captions, in this paper, we rely on appropriate loss functions to learn the alignments in a neural network setting and propose SECLA and SECLA-B. SECLA is a Symmetry-Enhanced Contrastive Learning-based Alignment model that can effectively maximize the similarity scores between corresponding faces and names in a weakly supervised fashion. A variation of the model, SECLA-B, learns to align names and faces as humans do, that is, learning from easy to hard cases to further increase the performance of SECLA. More specifically, SECLA-B applies a two-stage learning framework: (1) Training the model on an easy subset with a few names and faces in each image-caption pair. (2) Leveraging the known pairs of names and faces from the easy cases using a bootstrapping strategy with additional loss to prevent forgetting and learning new alignments at the same time. We achieve state-of-the-art results for both the augmented Labeled Faces in the Wild dataset and the Celebrity Together dataset. In addition, we believe that our methods can be adapted to other multimodal news understanding tasks.


title: Chat Control or Child Protection?

abstract: Ian Levy and Crispin Robinson's position paper "Thoughts on child safety on commodity platforms" is to be welcomed for extending the scope of the debate about the extent to which child safety concerns justify legal limits to online privacy. Their paper's context is the laws proposed in both the UK and the EU to give the authorities the power to undermine end-to-end cryptography in online communications services, with a justification of preventing and detecting of child abuse and terrorist recruitment. Both jurisdictions plan to make it easier to get service firms to take down a range of illegal material from their servers; but they also propose to mandate client-side scanning - not just for known illegal images, but for text messages indicative of sexual grooming or terrorist recruitment. In this initial response, I raise technical issues about the capabilities of the technologies the authorities propose to mandate, and a deeper strategic issue: that we should view the child safety debate from the perspective of children at risk of violence, rather than from that of the security and intelligence agencies and the firms that sell surveillance software. The debate on terrorism similarly needs to be grounded in the context in which young people are radicalised. Both political violence and violence against children tend to be politicised and as a result are often poorly policed. Effective policing, particularly of crimes embedded in wicked social problems, must be locally led and involve multiple stakeholders; the idea of using 'artificial intelligence' to replace police officers, social workers and teachers is just the sort of magical thinking that leads to bad policy. The debate must also be conducted within the boundary conditions set by human rights and privacy law, and to be pragmatic must also consider reasonable police priorities.


title: Flipped Classroom: Effective Teaching for Time Series Forecasting

abstract: Sequence-to-sequence models based on LSTM and GRU are a most popular choice for forecasting time series data reaching state-of-the-art performance. Training such models can be delicate though. The two most common training strategies within this context are teacher forcing (TF) and free running (FR). TF can be used to help the model to converge faster but may provoke an exposure bias issue due to a discrepancy between training and inference phase. FR helps to avoid this but does not necessarily lead to better results, since it tends to make the training slow and unstable instead. Scheduled sampling was the first approach tackling these issues by picking the best from both worlds and combining it into a curriculum learning (CL) strategy. Although scheduled sampling seems to be a convincing alternative to FR and TF, we found that, even if parametrized carefully, scheduled sampling may lead to premature termination of the training when applied for time series forecasting. To mitigate the problems of the above approaches we formalize CL strategies along the training as well as the training iteration scale. We propose several new curricula, and systematically evaluate their performance in two experimental sets. For our experiments, we utilize six datasets generated from prominent chaotic systems. We found that the newly proposed increasing training scale curricula with a probabilistic iteration scale curriculum consistently outperforms previous training strategies yielding an NRMSE improvement of up to 81% over FR or TF training. For some datasets we additionally observe a reduced number of training iterations. We observed that all models trained with the new curricula yield higher prediction stability allowing for longer prediction horizons.


title: Deceptive AI Systems That Give Explanations Are Just as Convincing as Honest AI Systems in Human-Machine Decision Making

abstract: The ability to discern between true and false information is essential to making sound decisions. However, with the recent increase in AI-based disinformation campaigns, it has become critical to understand the influence of deceptive systems on human information processing. In experiment (N=128), we investigated how susceptible people are to deceptive AI systems by examining how their ability to discern true news from fake news varies when AI systems are perceived as either human fact-checkers or AI fact-checking systems, and when explanations provided by those fact-checkers are either deceptive or honest. We find that deceitful explanations significantly reduce accuracy, indicating that people are just as likely to believe deceptive AI explanations as honest AI explanations. Although before getting assistance from an AI-system, people have significantly higher weighted discernment accuracy on false headlines than true headlines, we found that with assistance from an AI system, discernment accuracy increased significantly when given honest explanations on both true headlines and false headlines, and decreased significantly when given deceitful explanations on true headlines and false headlines. Further, we did not observe any significant differences in discernment between explanations perceived as coming from a human fact checker compared to an AI-fact checker. Similarly, we found no significant differences in trust. These findings exemplify the dangers of deceptive AI systems and the need for finding novel ways to limit their influence human information processing.


title: Determinants Influencing Intention to Use Social Commerce for Shopping in developing countries: A Case Study of Oman

abstract: Social media has had a significant impact on our individual lives, including our behavior regarding the purchasing of daily products. This study investigates the factors influencing Omani nationals' intentions to obtain products via social commerce. The researcher surveyed 202 participants and utilized the Technology Acceptance Model to develop the theoretical framework. The data collection was analyzed statistically using an appropriate testing mechanism. Statistical methods, including Cronbach's alpha and multiple linear regression, were utilized for reliability and hypotheses testing. After analyzing the collected data and testing the hypotheses, the findings indicated that perceived usefulness, enjoyment, and ease of use of social commerce affect positively on Omani nationals' intentions to utilize social commerce for shopping. The independent variables had a statistically significant impact on the intention to use social commerce shopping for products; these explain 69.9% of the variation on customers intention to utilize social commerce for shopping.


title: Artificial Intelligence and Innovation to Reduce the Impact of Extreme Weather Events on Sustainable Production

abstract: Frequent occurrences of extreme weather events substantially impact the lives of the less privileged in our societies, particularly in agriculture-inclined economies. The unpredictability of extreme fires, floods, drought, cyclones, and others endangers sustainable production and life on land (SDG goal 15), which translates into food insecurity and poorer populations. Fortunately, modern technologies such as Artificial Intelligent (AI), the Internet of Things (IoT), blockchain, 3D printing, and virtual and augmented reality (VR and AR) are promising to reduce the risk and impact of extreme weather in our societies. However, research directions on how these technologies could help reduce the impact of extreme weather are unclear. This makes it challenging to emploring digital technologies within the spheres of extreme weather. In this paper, we employed the Delphi Best Worst method and Machine learning approaches to identify and assess the push factors of technology. The BWM evaluation revealed that predictive nature was AI's most important criterion and role, while the mass-market potential was the less important criterion. Based on this outcome, we tested the predictive ability of machine elarning on a publilcly available dataset to affrm the predictive rols of AI. We presented the managerial and methodological implications of the study, which are crucial for research and practice. The methodology utilized in this study could aid decision-makers in devising strategies and interventions to safeguard sustainable production. This will also facilitate allocating scarce resources and investment in improving AI techniques to reduce the adverse impacts of extreme events. Correspondingly, we put forward the limitations of this, which necessitate future research.


title: A Framework for Operations Research Model Use in Resilience to Fundamental Surprise Events: Observations from University Operations during COVID-19

abstract: Operations research (OR) approaches have been increasingly applied to model the resilience of a system to surprise events. In order to model a surprise event, one must have an understanding of its characteristics, which then become parameters, decisions, and/or constraints in the resulting model. This means that these models cannot (directly) handle fundamental surprise events, which are events that could not be defined before they happen. However, OR models may be adapted, improvised, or created during a fundamental surprise event, such as the COVID-19 pandemic, to help respond to it. We provide a framework for how OR models were applied by a university in response to the pandemic, thus helping to understand the role of OR models during fundamental surprise events. Our framework includes the following adaptations: adapting data, adding constraints, model switching, pulling from the modeling toolkit, and creating a new model. Each of these adaptations is formally presented, with supporting evidence gathered through interviews with modelers and users involved in the university response to the pandemic. We discuss the implications of this framework for both OR and resilience.


title: PromptCast: A New Prompt-based Learning Paradigm for Time Series Forecasting

abstract: This paper presents a new perspective on time series forecasting. In existing time series forecasting methods, the models take a sequence of numerical values as input and yield numerical values as output. The existing SOTA models are largely based on the Transformer architecture, modified with multiple encoding mechanisms to incorporate the context and semantics around the historical data. Inspired by the successes of pre-trained language foundation models, we pose a question about whether these models can also be adapted to solve time-series forecasting. Thus, we propose a new forecasting paradigm: prompt-based time series forecasting (PromptCast). In this novel task, the numerical input and output are transformed into prompts and the forecasting task is framed in a sentence-to-sentence manner, making it possible to directly apply language models for forecasting purposes. To support and facilitate the research of this task, we also present a large-scale dataset (PISA) that includes three real-world forecasting scenarios. We evaluate different SOTA numerical-based forecasting methods and language generation models. The benchmark results with various forecasting settings demonstrate the proposed PromptCast with language generation models is a promising research direction. Additionally, in comparison to conventional numerical-based forecasting, PromptCast shows a much better generalization ability under the zero-shot setting.

categories: stat.ME cs.AI cs.CL cs.LG math.ST stat.TH


title: Calling for a feminist revolt to decolonise data and algorithms in the age of Datification

abstract: Feminist and women groups, indigenous communities and scholars in the global south/north refusing to adhere to hegemonic datafication programs have started to organise and fight back from the inside. The first essential step is to show and problematise technological progress exhibiting the poverty, violence, exclusion, and cultural erase promoted by this "progress". The second step is to promote technology, algorithmic and artificial literacy. Education is critical to learn how to revert and revoke the datified digital twin already colonising all Earth's societies silently and with impunity. It is not the colonisation of body-territories; it goes beyond and occupies humanity's mind's essence, i.e., imagination and imaginary. Against the colonisation of the imaginary, militant groups are imagining and designing alternative algorithms, datasets collection strategies and appropriation methods. The paper discusses their actions and alternative thinking.


title: Scalable authentic research education framework

abstract: We report a framework that enables the broad adoption of authentic research educational methodology at various schools. We list and address common barriers that appear in many existing authentic research education programs. In our program, teams of students with complementary skills develop useful artificial intelligence (AI) solutions for researchers in natural sciences. To accomplish this, we work with research laboratories that reveal/specify their needs, and then our student teams work on the discovery, design, and development of an AI solution for unique problems using a consulting-like arrangement. To date, our group has been operating at New York University (NYU) for six consecutive semesters, has engaged more than eighty students, ranging from first-year college students to master's candidates, and has worked with around twenty projects and collaborators. While creating education benefits for students, our approach also directly benefits scientists, who get an opportunity to evaluate the usefulness of machine learning for their specific needs.


title: Characterization of SRB Measures for Random Dynamical Systems in a Banach space

abstract: This paper considers $C^2$ random dynamical systems in a Banach space, and proves that under some mild conditions, SRB measures are characterized by invariant measures satisfying Pesin's entropy formula, in which entropy is equal to the sum of positive Lyapunov exponents of the system. This can be regarded as a random version of the main result in Blumenthal and Young's paper \cite{Young17}.


title: Minimum Length Universe in a Robertson Walker Geometry

abstract: A minimum length universe is enforced via a diffusive Markovian field. Requiring the invariance of the proper time functional under spacetime transformations generated by such fields provides us with many new terms added to the Christoffel Connection, Equations of Motion, and Friedmann Equation. Under the Robertson-Walker (RW) metric, we obtain species-specific energy-density evolution, now a function of both the parameters defining the diffusive fields as well as the RW scale factor. The math leads us to a relationship between temporal diffusion, universe expansion acceleration, and the speed of universe expansion, along with a derivation of the cosmological constant as a function of both minimum length and the scalar field expectation value of the Higgs mechanism. The theory gives us a means of relating the Hubble parameter to its diffusive ML 'equivalent', and a means to express the effective equation of state in terms of the deceleration parameter, q. We find that q can take on a range of higher values without invoking the need for a dark matter species, and that the universe inhabits a vacuum or matter dominated regime as a function of q.


title: Evolutionary dynamics in repeated optional games

abstract: Direct reciprocity facilitates the evolution of cooperation when individuals interact repeatedly. Most previous studies on direct reciprocity implicitly assume compulsory interactions. Yet, interactions are often voluntary in human societies. Here, we consider repeated optional games, where individuals can freely opt out of each interaction and rejoin later. We find that voluntary participation greatly promotes cooperation in repeated interactions, even in harsh situations where repeated compulsory games and one-shot optional games yield low cooperation rates. Moreover, we theoretically characterize all Nash equilibria that support cooperation among reactive strategies, and identify three novel classes of strategies that are error-robust, readily become equilibria, and dominate in the evolutionary dynamics. The success of these strategies hinges on the effect of opt-out: it not only avoids trapping in mutual defection but also poses additional threats to intentional defectors. Our work highlights that voluntary participation is a simple and effective mechanism to enhance cooperation in repeated interactions.


title: Digital Twins for Industry 4.0 in the 6G Era

abstract: Having the Fifth Generation (5G) mobile communication system recently rolled out in many countries, the wireless community is now setting its eyes on the next era of Sixth Generation (6G). Inheriting from 5G its focus on industrial use cases, 6G is envisaged to become the infrastructural backbone of future intelligent industry. Especially, a combination of 6G and the emerging technologies of Digital Twins (DT) will give impetus to the next evolution of Industry 4.0 (I4.0) systems. This article provides a survey in the research area of 6G-empowered industrial DT system. With a novel vision of 6G industrial DT ecosystem, this survey discusses the ambitions and potential applications of industrial DT in the 6G era, identifying the emerging challenges as well as the key enabling technologies. The introduced ecosystem is supposed to bridge the gaps between humans, machines, and the data infrastructure, and therewith enable numerous novel application scenarios.


title: APGKT: Exploiting Associative Path on Skills Graph for Knowledge Tracing

abstract: Knowledge tracing (KT) is a fundamental task in educational data mining that mainly focuses on students' dynamic cognitive states of skills. The question-answering process of students can be regarded as a thinking process that considers the following two problems. One problem is which skills are needed to answer the question, and the other is how to use these skills in order. If a student wants to answer a question correctly, the student should not only master the set of skills involved in the question but also think and obtain the associative path on the skills graph. The nodes in the associative path refer to the skills needed and the path shows the order of using them. The associative path is referred to as the skill mode. Thus, obtaining the skill modes is the key to answering questions successfully. However, most existing KT models only focus on a set of skills, without considering the skill modes. We propose a KT model, called APGKT, that exploits skill modes. Specifically, we extract the subgraph topology of the skills involved in the question and combine the difficulty level of the skills to obtain the skill modes via encoding; then, through multi-layer recurrent neural networks, we obtain a student's higher-order cognitive states of skills, which is used to predict the student's future answering performance. Experiments on five benchmark datasets validate the effectiveness of the proposed model.


title: A new nonparametric interpoint distance-based measure for assessment of clustering

abstract: A new interpoint distance-based measure is proposed to identify the optimal number of clusters present in a data set. Designed in nonparametric approach, it is independent of the distribution of given data. Interpoint distances between the data members make our cluster validity index applicable to univariate and multivariate data measured on arbitrary scales, or having observations in any dimensional space where the number of study variables can be even larger than the sample size. Our proposed criterion is compatible with any clustering algorithm, and can be used to determine the unknown number of clusters or to assess the quality of the resulting clusters for a data set. Demonstration through synthetic and real-life data establishes its superiority over the well-known clustering accuracy measures of the literature.