title: Geometric energy transfer in two-component systems

abstract: Factoring a wave function into marginal and conditional factors partitions the subsystem kinetic energy into two terms. The first depends solely on the marginal wave function, through its gauge-covariant derivative, while the second depends on the quantum metric of the conditional wave function over the manifold of marginal variables. We derive an identity for the rate of change of the second term.


title: On pseudofunctors sending groups to 2-groups

abstract: For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups to 2-groups. If B is additive, this is the case precisely when the corresponding opfibration has groupoidal fibres.


title: Few-Shot Semantic Parsing with Language Models Trained On Code

abstract: Large language models can perform semantic parsing with little training data, when prompted with in-context examples. It has been shown that this can be improved by formulating the problem as paraphrasing into canonical utterances, which casts the underlying meaning representation into a controlled natural language-like representation. Intuitively, such models can more easily output canonical utterances as they are closer to the natural language used for pre-training. Recently, models also pre-trained on code, like OpenAI Codex, have risen in prominence. For semantic parsing tasks where we map natural language into code, such models may prove more adept at it. In this paper, we test this hypothesis and find that Codex performs better on such tasks than equivalent GPT-3 models. We evaluate on Overnight and SMCalFlow and find that unlike GPT-3, Codex performs similarly when targeting meaning representations directly, perhaps because meaning representations are structured similar to code in these datasets.


title: Asymmetric Adaptivity induces Recurrent Synchronization in Complex Networks

abstract: Rhythmic activities that alternate between coherent and incoherent phases are ubiquitous in chemical, ecological, climate, or neural systems. Despite their importance, general mechanisms for their emergence are little understood. In order to fill this gap, we present a framework for describing the emergence of recurrent synchronization in complex networks with adaptive interactions. This phenomenon is manifested at the macroscopic level by temporal episodes of coherent and incoherent dynamics that alternate recurrently. At the same time, the dynamics of the individual nodes do not change qualitatively. We identify asymmetric adaptation rules and temporal separation between the adaptation and the dynamics of individual nodes as key features for the emergence of recurrent synchronization. Our results suggest that asymmetric adaptation might be a fundamental ingredient for recurrent synchronization phenomena as seen in pattern generators, e.g., in neuronal systems.


title: H\"{o}lder regularity for mixed local and nonlocal $p$-Laplace parabolic equations

abstract: We give a unified proof of H\"{o}lder regularity of weak solutions for mixed local and nonlocal $p$-Laplace type parabolic equations with the full range of exponents $1<p<\infty$. Our proof is based on the expansion of positivity together with the energy estimate and De Giorgi type lemma.


title: Dynamics of composition operators on function spaces defined by local and global properties

abstract: In this paper we consider composition operators on locally convex spaces of functions defined on $\mathbb{R}$. We prove results concerning supercyclicity, power boundedness, mean ergodicity and convergence of the iterates in the strong operator topology.


title: Reply to Comment on "Synchronization dynamics in non-normal networks: the trade-off for optimality"

abstract: We reply to the recent note "Comment on Synchronization dynamics in non-normal networks: the trade-off for optimality", showing that the authors base their claims mainly on general theoretical arguments that do not necessarily invalidate the adequacy of our previous study. In particular, they do not specifically tackle the correctness of our analysis but instead limit their discussion on the interpretation of our results and conclusions, particularly related to the concept of optimality of network structure related to synchronization dynamics. Nevertheless, their idea of optimal networks is strongly biased towards their previous work and does not necessarily correspond to our framework, making their interpretation subjective and not consistent. We bring here further evidence from the existing and more recent literature, omitted in the Comment note, that the synchronized state of oscillators coupled through optimal networks, as intended by the authors, can indeed be highly fragile to small but finite perturbations, confirming our original results.

categories: nlin.AO cond-mat.stat-mech math.DS nlin.PS


title: High-dimensional logistic entropy clustering

abstract: Minimization of the (regularized) entropy of classification probabilities is a versatile class of discriminative clustering methods. The classification probabilities are usually defined through the use of some classical losses from supervised classification and the point is to avoid modelisation of the full data distribution by just optimizing the law of the labels conditioned on the observations. We give the first theoretical study of such methods, by specializing to logistic classification probabilities. We prove that if the observations are generated from a two-component isotropic Gaussian mixture, then minimizing the entropy risk over a Euclidean ball indeed allows to identify the separation vector of the mixture. Furthermore, if this separation vector is sparse, then penalizing the empirical risk by a $\ell_{1}$-regularization term allows to infer the separation in a high-dimensional space and to recover its support, at standard rates of sparsity problems. Our approach is based on the local convexity of the logistic entropy risk, that occurs if the separation vector is large enough, with a condition on its norm that is independent from the space dimension. This local convexity property also guarantees fast rates in a classical, low-dimensional setting.


title: Learning to Share in Multi-Agent Reinforcement Learning

abstract: In this paper, we study the problem of networked multi-agent reinforcement learning (MARL), where a number of agents are deployed as a partially connected network and each interacts only with nearby agents. Networked MARL requires all agents to make decisions in a decentralized manner to optimize a global objective with restricted communication between neighbors over the network. Inspired by the fact that sharing plays a key role in human's learning of cooperation, we propose LToS, a hierarchically decentralized MARL framework that enables agents to learn to dynamically share reward with neighbors so as to encourage agents to cooperate on the global objective through collectives. For each agent, the high-level policy learns how to share reward with neighbors to decompose the global objective, while the low-level policy learns to optimize the local objective induced by the high-level policies in the neighborhood. The two policies form a bi-level optimization and learn alternately. We empirically demonstrate that LToS outperforms existing methods in both social dilemma and networked MARL scenarios across scales.


title: ADEPT: Automatic Differentiable DEsign of Photonic Tensor Cores

abstract: Photonic tensor cores (PTCs) are essential building blocks for optical artificial intelligence (AI) accelerators based on programmable photonic integrated circuits. PTCs can achieve ultra-fast and efficient tensor operations for neural network (NN) acceleration. Current PTC designs are either manually constructed or based on matrix decomposition theory, which lacks the adaptability to meet various hardware constraints and device specifications. To our best knowledge, automatic PTC design methodology is still unexplored. It will be promising to move beyond the manual design paradigm and "nurture" photonic neurocomputing with AI and design automation. Therefore, in this work, for the first time, we propose a fully differentiable framework, dubbed ADEPT, that can efficiently search PTC designs adaptive to various circuit footprint constraints and foundry PDKs. Extensive experiments show superior flexibility and effectiveness of the proposed ADEPT framework to explore a large PTC design space. On various NN models and benchmarks, our searched PTC topology outperforms prior manually-designed structures with competitive matrix representability, 2-30x higher footprint compactness, and better noise robustness, demonstrating a new paradigm in photonic neural chip design. The code of ADEPT is available at https://github.com/JeremieMelo/ADEPT using the https://github.com/JeremieMelo/pytorch-onn (TorchONN) library.


title: Curves over finite fields and moduli spaces

abstract: This is a survey paper dealing with moduli aspects of curves over finite fields. It discusses counting points of moduli spaces, relations with modular forms and stratifications on moduli spaces.


title: Bent Functions in the Partial Spread Class Generated by Linear Recurring Sequences

abstract: We present a construction of partial spread bent functions using subspaces generated by linear recurring sequences (LRS). We first show that the kernels of the linear mappings defined by two LRS have a trivial intersection if and only if their feedback polynomials are relatively prime. Then, we characterize the appropriate parameters for a family of pairwise coprime polynomials to generate a partial spread required for the support of a bent function, showing that such families exist if and only if the degrees of the underlying polynomials is either $1$ or $2$. We then count the resulting sets of polynomials and prove that for degree $1$, our LRS construction coincides with the Desarguesian partial spread. Finally, we perform a computer search of all $\mathcal{PS}^-$ and $\mathcal{PS}^+$ bent functions of $n=8$ variables generated by our construction and compute their 2-ranks. The results show that many of these functions defined by polynomials of degree $b=2$ are not EA-equivalent to any Maiorana-McFarland or Desarguesian partial spread function.


title: Forecasting sales with Bayesian networks: a case study of a supermarket product in the presence of promotions

abstract: Sales forecasting is the prerequisite for a lot of managerial decisions such as production planning, material resource planning and budgeting in the supply chain. Promotions are one of the most important business strategies that are often used to boost sales. While promotions are attractive for generating demand, it is often difficult to forecast demand in their presence. In the past few decades, several quantitative models have been developed to forecast sales including statistical and machine learning models. However, these methods may not be adequate to account for all the internal and external factors that may impact sales. As a result, qualitative models have been adopted along with quantitative methods as consulting experts has been proven to improve forecast accuracy by providing contextual information. Such models are being used extensively to account for factors that can lead to a rapid change in sales, such as during promotions. In this paper, we aim to use Bayesian Networks to forecast promotional sales where a combination of factors such as price, type of promotions, and product location impacts sales. We choose to develop a BN model because BN models essentially have the capability to combine various qualitative and quantitative factors with causal forms, making it an attractive tool for sales forecasting during promotions. This can be used to adjust a company's promotional strategy in the context of this case study. We gather sales data for a particular product from a retailer that sells products in Australia. We develop a Bayesian Network for this product and validate our results by empirical analysis. This paper confirms that BNs can be effectively used to forecast sales, especially during promotions. In the end, we provide some research avenues for using BNs in forecasting sales.


title: Knots in $S_{g} \times S^{1}$ and winding parities

abstract: A virtual knot, which is one of generalizations of knots in $\mathbb{R}^{3}$ (or $S^{3}$), is, roughly speaking, an embedded circle in thickened surface $S_{g} \times I$. In this paper we will discuss about knots in 3 dimensional $S_{g} \times S^{1}$. We introduce basic notions for knots in $S_{g} \times S^{1}$, for example, diagrams, moves for diagrams and so on. For knots in $S_{g} \times S^{1}$ technically we lose over/under information, but we have information "how many times a half of the crossing of the knot in $S_{g} \times S^{1}$ rotates along $S^{1}$", we call it labels of crossings. In the end of the present paper we extend this notion more generally and discuss its geometrical meaning. This paper follows from \cite{Kim}.


title: Probing the Non-thermal Emission Geometry of AR Sco via Optical Phase-Resolved Polarimetry

abstract: AR Sco is a binary system that contains a white and red dwarf. The rotation rate of the white dwarf has been observed to slow down, analogous to rotation-powered radio pulsars; it has thus been dubbed a "white dwarf pulsar". We previously fit the traditional radio pulsar rotating vector model to the linearly polarised optical data from this source, constraining the system geometry as well as the white dwarf mass. Using a much more extensive dataset, we now explore the application of the same model to binary phase-resolved optical polarimetric data, thought to be the result of non-thermal synchrotron radiation, and derive the magnetic inclination angle $\alpha$ and the observer angle $\zeta$ at different orbital phases. We obtain a $\sim 10^{\circ}$ variation in $\alpha$ and $\sim 30^{\circ}$ variation in $\zeta$ over the orbital period. The variation patterns in these two parameters is robust, regardless of the binning and epoch of data used. We speculate that the observer is detecting radiation from an asymmetric emission region that is a stable structure over several orbital periods. The success of this simple model lastly implies that the pitch angles of the particles are small and the pulsed, non-thermal emission originates relatively close to the white dwarf surface.


title: DOCmT5: Document-Level Pretraining of Multilingual Language Models

abstract: In this paper, we introduce DOCmT5, a multilingual sequence-to-sequence language model pretrained with large scale parallel documents. While previous approaches have focused on leveraging sentence-level parallel data, we try to build a general-purpose pretrained model that can understand and generate long documents. We propose a simple and effective pretraining objective - Document reordering Machine Translation (DrMT), in which the input documents that are shuffled and masked need to be translated. DrMT brings consistent improvements over strong baselines on a variety of document-level generation tasks, including over 12 BLEU points for seen-language-pair document-level MT, over 7 BLEU points for unseen-language-pair document-level MT and over 3 ROUGE-1 points for seen-language-pair cross-lingual summarization. We achieve state-of-the-art (SOTA) on WMT20 De-En and IWSLT15 Zh-En document translation tasks. We also conduct extensive analysis on various factors for document pretraining, including (1) The effects of pretraining data quality and (2) The effects of combining mono-lingual and cross-lingual pretraining. We plan to make our model checkpoints publicly available.


title: Group-Theoretic Matching of the Length and Equality Principles in Geometry

abstract: Deformed generalized gauge groups, whch were created from physical considerations and made it possible to clarify some long-standing problems in physics, such as the problem of motion and the problem of the energy of the gravitational field, simultaneously carried out the implementation of the Klein's Erlangen program for spaces with variable curvature, and for Riemannian spaces even in two different ways. In this paper, this issue is considered from a geometric point of view and these two methods of group-theoretical description of Riemannian spaces are reconciled. The paper deals with the canonical deformed group of diffeomorphisms with a given length scale which describes the motion of unit scales in a Riemannian space. This allows one to measure the lengths of arbitrary curves implementing the length principle which was laid by B. Riemann at the foundation of geometry. We present a method of univocal extension of this group to a group which contains gauge rotations of vectors (the group of parallel transports) whose transformations leave unchanged the lengths of vectors and the corners between them, implementing for Riemannian spaces the Klein's principle of equality and matching both principles of the foundations of geometry, thus overcoming the Riemann-Klein antagonism.


title: Slowly-rotating curved acoustic black holes: Quasinormal modes, Hawking-Unruh radiation and quasibound states

abstract: Astrophysical black holes are generally surrounded by accretion disks, galactic matter and the omnipresent cosmic microwave background radiation, thus allowing for the concurrent propagation of both gravitational and sound waves. Recently, acoustic black holes were embedded in Schwarzschild spacetime allowing for the coexistence of event and acoustic horizons. Here, we obtain a class of perturbative solutions to the field equations of the relativistic Gross-Pitaevskii and Yang-Mills theories, which describe sound waves propagating on a curved slowly-rotating acoustic black hole, akin to Lense-Thirring spacetime. We investigate the quasinormal mode frequencies, Hawking-Unruh radiation, and quasibound states. Our novel metric mimics the gravitational field of astrophysical compact objects in the limiting case of slow rotation, and therefore could, in principle, shed more light into the underlying classical and quantum physics of black holes through analog acoustic probes.


title: The Schwarzian derivative and Euler--Lagrange equations

abstract: We study the Schwarzian derivative from a variational viewpoint. Firstly we show that the Schwarzian derivative defines a first integral of the Euler--Lagrange equation of a second order Lagrangian. Secondly, we show that the Schwarzian derivative itself is the Euler--Lagrange operator for an appropriately chosen class of variations.


title: CONFIT: Toward Faithful Dialogue Summarization with Linguistically-Informed Contrastive Fine-tuning

abstract: Factual inconsistencies in generated summaries severely limit the practical applications of abstractive dialogue summarization. Although significant progress has been achieved by using pre-trained models, substantial amounts of hallucinated content are found during the human evaluation. Pre-trained models are most commonly fine-tuned with cross-entropy loss for text summarization, which may not be an optimal strategy. In this work, we provide a typology of factual errors with annotation data to highlight the types of errors and move away from a binary understanding of factuality. We further propose a training strategy that improves the factual consistency and overall quality of summaries via a novel contrastive fine-tuning, called ConFiT. Based on our linguistically-informed typology of errors, we design different modular objectives that each target a specific type. Specifically, we utilize hard negative samples with errors to reduce the generation of factual inconsistency. In order to capture the key information between speakers, we also design a dialogue-specific loss. Using human evaluation and automatic faithfulness metrics, we show that our model significantly reduces all kinds of factual errors on the dialogue summarization, SAMSum corpus. Moreover, our model could be generalized to the meeting summarization, AMI corpus, and it produces significantly higher scores than most of the baselines on both datasets regarding word-overlap metrics.


title: Degradation Mechanism of Perovskite under High Charge Carrier Density Condition

abstract: Extensive studies have focused on degradation of perovskite at low charge carrier density (<10^16 cm^-3), but few have surveyed the degradation mechanism at high charge carrier density (~10^18 cm^-3). Here, we investigate the degradation mechanisms of perovskite under high charge carrier conditions. Unlike the observations in previous works, we find that MAPbI3 degradation starts at surface defects and progressing from the surface defects towards neighboring regions under high charge carrier density condition. By using PbI2 passivation, the defect-initiated degradation is significantly suppressed and the nanoplatelet degrades in a layer-by-layer way, enabling the MAPbI3 laser sustain for 4500 s (2.7*10^7 pulses), which is almost 3 times longer than that of the nanoplatelet laser without passivation. Meanwhile, the PbI2 passivated MAPbI3 nanoplatelet laser with the nanoplatelet cavity displaying a maximum quality factor up to ~7800, the highest reported for all MAPbI3 nanoplatelet cavities. Furthermore, a high stability MAPbI3 nanoplatelet laser that can last for 8500 s (5.1*10^7 pulses) is demonstrated based on a dual passivation strategy, by retarding the defect-initiated degradation and surface-initiated degradation, simultaneously. This work provides in-depth insights for understanding the degradation of perovskite at high charge carrier density.


title: Flavored ABJM theory on the sphere and holographic F-functions

abstract: We study strongly coupled ABJM theory on the 3-sphere with massive quenched flavor using the AdS/CFT correspondence. The holographic dual consists of type IIA supergravity with probe D6-branes. The flavor mass is a relevant deformation driving an RG flow whose IR endpoint is pure ABJM theory. At non-zero mass, we find that the theory on the 3-sphere exhibits a quantum phase transition at a critical value of the sphere radius. The transition corresponds to a topology change in the D6-brane embeddings whose dual interpretation is the meson-melting transition. We perform the holographic computation of the free energy on 3-sphere and we use it to construct various candidate F-functions. These were recently proposed in the context of Einstein-scalar gravity to interpolate monotonically between the values of the sphere free energies of the UV and IR CFTs. We find that while the F-functions of the flavored ABJM theory have the correct UV and IR limits, they are not monotonic. We surmise that the non-monotonicity is related to the presence of the phase transition.


title: Random Walk Models for Nontrivial Identities of Bernoulli and Euler Polynomials

abstract: We consider the $1$-dimensional reflected Brownian motion and $3$-dimensional Bessel process and the general models. By decomposing the hitting times of consecutive sites into loops, we obtain identities, called loop identities, for the generating functions of the hitting times. After proving this decomposition both combinatorially and inductively, we consider the case that sites are equally distributed. Then, from loop identities, we derive expressions of Bernoulli and Euler polynomials, in terms of Euler polynomials of higher-orders.


title: GIMIRec: Global Interaction Information Aware Multi-Interest Framework for Sequential Recommendation

abstract: Sequential recommendation based on multi-interest framework models the user's recent interaction sequence into multiple different interest vectors, since a single low-dimensional vector cannot fully represent the diversity of user interests. However, most existing models only intercept users' recent interaction behaviors as training data, discarding a large amount of historical interaction sequences. This may raise two issues. On the one hand, data reflecting multiple interests of users is missing; on the other hand, the co-occurrence between items in historical user-item interactions is not fully explored. To tackle the two issues, this paper proposes a novel sequential recommendation model called "Global Interaction Aware Multi-Interest Framework for Sequential Recommendation (GIMIRec)". Specifically, a global context extraction module is firstly proposed without introducing any external information, which calculates a weighted co-occurrence matrix based on the constrained co-occurrence number of each item pair and their time interval from the historical interaction sequences of all users and then obtains the global context embedding of each item by using a simplified graph convolution. Secondly, the time interval of each item pair in the recent interaction sequence of each user is captured and combined with the global context item embedding to get the personalized item embedding. Finally, a self-attention based multi-interest framework is applied to learn the diverse interests of users for sequential recommendation. Extensive experiments on the three real-world datasets of Amazon-Books, Taobao-Buy and Amazon-Hybrid show that the performance of GIMIRec on the Recall, NDCG and Hit Rate indicators is significantly superior to that of the state-of-the-art methods. Moreover, the proposed global context extraction module can be easily transplanted to most sequential recommendation models.


title: Prompt Tuning GPT-2 language model for parameter-efficient domain adaptation of ASR systems

abstract: Automatic Speech Recognition (ASR) systems have found their use in numerous industrial applications in very diverse domains creating a need to adapt to new domains with small memory and deployment overhead. In this work, we introduce domain-prompts, a methodology that involves training a small number of domain embedding parameters to prime a Transformer-based Language Model (LM) to a particular domain. Using this domain-adapted LM for rescoring ASR hypotheses can achieve 7-13% WER reduction for a new domain with just 1000 unlabeled textual domain-specific sentences. This improvement is comparable or even better than fully fine-tuned models even though just 0.02% of the parameters of the base LM are updated. Additionally, our method is deployment-friendly as the learnt domain embeddings are prefixed to the input to the model rather than changing the base model architecture. Therefore, our method is an ideal choice for on-the-fly adaptation of LMs used in ASR systems to progressively scale it to new domains.


title: Environment-assisted crack nucleation in La(Fe,Mn,Si)13-based magnetocaloric materials

abstract: Cracking in La(Fe,Si)13-based magnetocaloric materials has been observed to predominantly form around La-rich (La2O3) particles and pose a threat to their long-term structural integrity. To understand the formation of these cracks, FIB cross-sectional polishing followed by SEM characterisation was employed to study local microstructural evolution after air exposure. Results suggest that volume expansion and internal degradation associated with a chemical reaction between La2O3 particles and water/moisture can lead to crack nucleation in the 1:13 phase adjacent to La-rich particles. This observation indicates that the formation of La-rich phase should be suppressed, or their size minimised during material processing to ensure the long-term structural integrity of La(Fe,Mn,Si)13 magnetocaloric materials.


title: Improvement of Indoor Radio Coverage at 60 GHz in NLOS Configuration

abstract: In the current development of new technologies, the world of communications is experiencing significant growth thanks to the integration of wireless communications in millimeter band. In this context, the purpose of this paper is to assess the contribution that the use of a metallic reflector panel can introduce to indoor radio coverage at 60 GHz in an NLOS (corridor) configuration. The results obtained by measurement show that the use of such a panel can lead to a significant path loss reduction up to 12 dB, which improves the reception power.


title: Atmospheric electricity and thunderstorm ground enhancements

abstract: The comparative analysis of three thunderstorms on Aragats in May 2021 demonstrates that relativistic runaway electron avalanches are developing in large areas of the thunderous atmosphere.


title: Towards Rigorous Validation of Li-S Battery Models

abstract: Achieving Li-S batteries' promise of significantly higher gravimetric energy density and lower cost than Li-ion batteries requires researchers to delineate the most important factors affecting the performance of this technology. By encoding this knowledge into a mathematical model, understanding is made precise, quantitative, and predictive. However, the complex and unknown mechanisms of Li-S batteries have multiple proposed models with relatively few informative quantitative comparisons to experimental data. Consequently, a minimum set of testing procedures for model validation is proposed. Moreover, in the absence of an accepted standard model, a zero dimensional model is proposed in this work. The model improves upon several existing models while remaining as simple as possible. The model is quantitatively predictive, as demonstrated by out-of-sample predictions of experimental discharge resistance. Finally, this model and others have been implemented using PyBaMM. Therefore, the open access code allows rapid modifications of this model by all researchers.


title: Distilled Dual-Encoder Model for Vision-Language Understanding

abstract: We propose a cross-modal attention distillation framework to train a dual-encoder model for vision-language understanding tasks, such as visual reasoning and visual question answering. Dual-encoder models have a faster inference speed than fusion-encoder models and enable the pre-computation of images and text during inference. However, the shallow interaction module used in dual-encoder models is insufficient to handle complex vision-language understanding tasks. In order to learn deep interactions of images and text, we introduce cross-modal attention distillation, which uses the image-to-text and text-to-image attention distributions of a fusion-encoder model to guide the training of our dual-encoder model. In addition, we show that applying the cross-modal attention distillation for both pre-training and fine-tuning stages achieves further improvements. Experimental results demonstrate that the distilled dual-encoder model achieves competitive performance for visual reasoning, visual entailment and visual question answering tasks while enjoying a much faster inference speed than fusion-encoder models. Our code and models will be publicly available at https://github.com/kugwzk/Distilled-DualEncoder.


title: Particle production in a hybrid approach for a beam energy scan of Au+Au/Pb+Pb collisions between $\sqrt{s_\mathrm{NN}}$ = 4.3 GeV and $\sqrt{s_\mathrm{NN}}$ = 200.0 GeV

abstract: Heavy-ion collisions at varying collision energies provide access to different regions of the QCD phase diagram. In particular collisions at intermediate energies are promising candidates to experimentally identify the postulated first order phase transition and critical end point. While heavy-ion collisions at low and high collision energies are theoretically well described by transport approaches and hydrodynamics+transport hybrid approaches, respectively, intermediate energy collisions remain a challenge. In this work, a modular hybrid approach, the SMASH-vHLLE-hybrid coupling 3+1D viscous hydrodynamics (vHLLE) to hadronic transport (SMASH), is introduced. It is validated and subsequently applied in Au+Au/Pb+Pb collisions between $\sqrt{s_\mathrm{NN}}$ = 4.3 GeV and $\sqrt{s_\mathrm{NN}}$ = 200.0 GeV to study the rapidity and transverse mass distributions of identified particles as well as excitation functions for $\mathrm{dN}/\mathrm{d}y|_{y = 0}$ and $\langle p_\mathrm{T} \rangle$. A good agreement with experimental measurements is obtained, including the baryon stopping dynamics. The transition from a Gaussian rapidity spectrum of protons at lower energies to the double-hump structure at high energies is reproduced. The centrality and energy dependence of charged particle $v_2$ is also described reasonably well. This work serves as a basis for further studies, e.g. systematic investigations of different equations of state or transport coefficients.


title: Whittaker modules for $\widehat{\mathfrak gl}$ and $\mathcal W_{1+ \infty}$-modules which are not tensor products

abstract: We consider the Whittaker modules $M_{1}(\lambda,\mu)$ for the Weyl vertex algebra $M$, constructed in arXiv:1811.04649, where it was proved that these modules are irreducible for each finite cyclic orbifold $M^{\Bbb Z_n}$. In this paper, we consider the modules $M_{1}(\lambda,\mu)$ as modules for the ${\Bbb Z}$-orbifold of $M$, denoted by $M^0$. $M^0$ is isomorphic to the vertex algebra $\mathcal W_{1+\infty, c=-1} = \mathcal M(2) \otimes M_1(1)$ which is the tensor product of the Heisenberg vertex algebra $M_1(1)$ and the singlet algebra $\mathcal M(2)$. Furthermore, these modules are also modules of the Lie algebra $\widehat{\mathfrak gl}$ with central charge $c=-1$. We prove they are reducible as $\widehat{\mathfrak gl}$-modules (and therefore also as $M^0$-modules), and we completely describe their irreducible quotients $L(d,\lambda,\mu)$. We show that $L(d,\lambda,\mu)$ in most cases are not tensor product modules for the vertex algebra $ \mathcal M(2) \otimes M_1(1)$. Moreover, we show that all constructed modules are typical in the sense that they are irreducible for the Heisenberg-Virasoro vertex subalgebra of $\mathcal W_{1+\infty, c=-1}$.


title: NeuroLogic A*esque Decoding: Constrained Text Generation with Lookahead Heuristics

abstract: The dominant paradigm for neural text generation is left-to-right decoding from autoregressive language models. Constrained or controllable generation under complex lexical constraints, however, requires foresight to plan ahead feasible future paths. Drawing inspiration from the A* search algorithm, we propose NeuroLogic A*esque, a decoding algorithm that incorporates heuristic estimates of future cost. We develop efficient lookahead heuristics that are efficient for large-scale language models, making our method a drop-in replacement for common techniques such as beam search and top-k sampling. To enable constrained generation, we build on NeuroLogic decoding (Lu et al., 2021), combining its flexibility in incorporating logical constraints with A*esque estimates of future constraint satisfaction. Our approach outperforms competitive baselines on five generation tasks, and achieves new state-of-the-art performance on table-to-text generation, constrained machine translation, and keyword-constrained generation. The improvements are particularly notable on tasks that require complex constraint satisfaction or in few-shot or zero-shot settings. NeuroLogic A*esque illustrates the power of decoding for improving and enabling new capabilities of large-scale language models.


title: Reverse mathematics of a uniform Kruskal-Friedman theorem

abstract: The Kruskal-Friedman theorem asserts: in any infinite sequence of finite trees with ordinal labels, some tree can be embedded into a later one, by an embedding that respects a certain gap condition. This strengthening of the original Kruskal theorem has been proved by I. K\v{r}\'i\v{z} (Ann. Math. 1989), in confirmation of a conjecture due to H. Friedman, who had established the result for finitely many labels. It provides one of the strongest mathematical examples for the independence phenomenon from G\"odel's theorems. The gap condition is particularly relevant due to its connection with the graph minor theorem of N. Robertson and P. Seymour. In the present paper, we consider a uniform version of the Kruskal-Friedman theorem, which extends the result from trees to general recursive data types. Our main theorem shows that this uniform version is equivalent both to $\Pi^1_1$-transfinite recursion and to a minimal bad sequence principle of K\v{r}\'i\v{z}, over the base theory $\mathsf{RCA_0}$ from reverse mathematics. This sheds new light on the role of infinity in finite combinatorics.


title: LoTSS Jellyfish Galaxies III. The first identification of jellyfish galaxies in the Perseus cluster

abstract: In this paper we report the first identification of jellyfish galaxies in the Perseus cluster (Abell 426). We identified four jellyfish galaxies (LEDA 2191078, MCG +07-07-070, UGC 2654, UGC 2665) within the central $2^\circ \times 2^\circ$ ($2.6\,\mathrm{Mpc} \times 2.6\,\mathrm{Mpc}$) of Perseus based on the presence of one-sided radio continuum tails that were detected at $144\,\mathrm{MHz}$ by the LOw Frequency ARray (LOFAR). The observed radio tails, as well as the orientation of morphological features in the rest-frame optical, are consistent with these four galaxies being impacted by ram pressure stripping as they orbit through the Perseus intracluster medium. By combining the LOFAR imaging at 144 MHz with 344 MHz imaging from the Karl G. Jansky Very Large Array, we derived spectral indices for the disks and the stripped tails of these jellyfish galaxies. We show that the spectral indices over the galaxy disks are quite flat, while the indices of the stripped tails are substantially steeper. We also identified a number of compact $\mathrm{H\alpha + [NII]}$ sources with narrowband imaging from the Isaac Newton Telescope. These sources are brighter along the leading side of the galaxy (i.e., opposite to the direction of the stripped tail), which is consistent with ram pressure induced star formation. Lastly, consistent with previous works in other clusters, we find that these jellyfish galaxies show enhanced radio luminosities for their observed star formation rates. Given the small distance to the Perseus cluster ($D \sim 70\,\mathrm{Mpc}$, $1'' \simeq 340\,\mathrm{pc}$), these galaxies are excellent candidates for multiwavelength follow-up observations to probe the impact of ram pressure stripping on galaxy star formation at subkiloparsec scales.


title: Jamming and percolation in the random sequential adsorption of a binary mixture on the square lattice

abstract: We study the competitive irreversible adsorption of a binary mixture of monomers and square-shaped particles of linear size $R$ on the square lattice. With the random sequential adsorption model, we investigate how the jamming coverage and percolation properties depend on the size ratio $R$ and relative flux $F$. We find that the onset of percolation of monomers is always lower for the binary mixture than in the case with only monomers ($R=1$). Moreover, for values $F$ below a critical value, the higher is the flux or size of the largest species, the lower is the value of the percolation threshold for monomers.


title: Stability and dynamics of the flow past of a bullet-shaped blunt body moving in a pipe

abstract: The flow past a bullet-shaped blunt body moving in a pipe is investigated through global linear stability analysis (LSA) and direct numerical simulation (DNS). A cartography of the bifurcation curves is provided thanks to LSA, covering the range of parameters corresponding to Reynolds number $Re = [50-110]$, confinement ratio $a/A = [ 0.01 - 0.92]$ and length-to-diameter ratio $L/d = [ 2-10]$. Results show that the first bifurcation is always a steady bifurcation associated to a non-oscillating eigenmode with azimuthal wavenumber $m=\pm 1$ leading to a steady state with planar symmetry. For weakly confined cases ($a/A<0.6$) the second bifurcation is associated to an oscillating mode with azimuthal wavenumber $m=\pm 1$, as in the unconfined case. On the other hand, for the strongly confined case ($a/A>0.8$), on observes destabilization of non-oscillating modes with $|m| =2,3$ and a restabilization of the $m=\pm1$ eigenmodes. The aspect ratio $L/d$ is shown to have a minor influence for weakly confined cases and almost no influence for strongly confined cases. DNS is subsequently used to characterize the nonlinear dynamics. The results confirm the steady bifurcation predicted by LSA with excellent agreement for the threshold Reynolds. For weakly confined cases, the second bifurcation is a Hopf bifurcation leading to a periodic, planar-symmetric state in qualitative accordance with LSA predictions. For more confined cases, more complex dynamics is obtained, including a steady state with $|m|=3$ geometry and aperiodic states.


title: Consistency of the maximum likelihood estimator in hidden Markov models with trends

abstract: A hidden Markov model with trends is a hidden Markov model whose emission distributions are translated by a trend that depends on the current hidden state and on the current time. Contrary to standard hidden Markov models, such processes are not homogeneous and cannot be made homogeneous by a simple de-trending step. We show that when the trends are polynomial, the maximum likelihood estimator is able to recover the trends together with the other parameters and is strongly consistent. More precisely, the supremum norm of the difference between the true trends and the estimated ones tends to zero. Numerical properties of the maximum likelihood estimator are assessed by a simulation study.


title: Posttreatment Effects on the Crystal Structure and Superconductivity of Ca-Free Double-Layered Cuprate Sr$_2$SrCu$_2$O$_{4+y}$F$_{2-y}$

abstract: We report the effects of low-temperature postannealing on the structural and superconducting properties of the recently discovered Ca-free double-layered cuprate, Sr$_2$SrCu$_2$O$_{4+y}$F$_{2-y}$. Although the as-synthesized sample prepared under high pressure has a tetragonal structure with a rock-salt-type blocking layer (the so-called $T$-phase), we found that the symmetry of the structure lowered to that of an orthorhombic system when annealed with CuF$_2$. The structural refinements reveal that such a topochemical reaction leads not only to the removal of excess O$^{2-}$ from the apical site but also to the intercalation of extra F$^-$ into the interstitial site. The orthorhombic phase exhibits bulk superconductivity at a critical temperature of 107 K, which is significantly higher than that of the $T$-phase ($\sim$50 K). Meanwhile, the $T$-phase turns into another structure possessing a fluorite-type blocking layer without apical fluorine (known as the $T^\prime$-phase) by annealing without CuF$_2$. Density functional theory calculations show that the $T^\prime$-phase is more stable than the $T$-phase. This is the first report on the formation of a $T^\prime$-type double-layered cuprate. Furthermore, the structural stability of the three phases of Sr$_2$SrCu$_2$O$_{4+y}$F$_{2-y}$ is discussed in terms of lattice matching between the blocking and conducting layers.


title: Self-Supervised Dynamic Graph Representation Learning via Temporal Subgraph Contrast

abstract: Self-supervised learning on graphs has recently drawn a lot of attention due to its independence from labels and its robustness in representation. Current studies on this topic mainly use static information such as graph structures but cannot well capture dynamic information such as timestamps of edges. Realistic graphs are often dynamic, which means the interaction between nodes occurs at a specific time. This paper proposes a self-supervised dynamic graph representation learning framework (DySubC), which defines a temporal subgraph contrastive learning task to simultaneously learn the structural and evolutional features of a dynamic graph. Specifically, a novel temporal subgraph sampling strategy is firstly proposed, which takes each node of the dynamic graph as the central node and uses both neighborhood structures and edge timestamps to sample the corresponding temporal subgraph. The subgraph representation function is then designed according to the influence of neighborhood nodes on the central node after encoding the nodes in each subgraph. Finally, the structural and temporal contrastive loss are defined to maximize the mutual information between node representation and temporal subgraph representation. Experiments on five real-world datasets demonstrate that (1) DySubC performs better than the related baselines including two graph contrastive learning models and four dynamic graph representation learning models in the downstream link prediction task, and (2) the use of temporal information can not only sample more effective subgraphs, but also learn better representation by temporal contrastive loss.


title: Thermal Model for Time-Domain Thermoreflectance Experiments in a Laser Flash Geometry

abstract: Time-domain thermoreflectance (TDTR) is a well-established pump/probe method for measuring thermal conductivity and interface conductance of multilayers. Interpreting signals in a TDTR experiment requires a thermal model.In standard front/front TDTR experiments, both pump and probe beams typically irradiate the surface of a multilayer. As a result, existing thermal models for interpreting thermoreflectance experiments assume the pump and probe beams both interact with the surface layer. Here, we present a frequency-domain solution to the heat-diffusion equation of a multilayer in response to nonhomogenous laser heating. This model allows analysis of experiments where the pump and probe beams irradiate opposite sides of a multilayer. We call such a geometry a front/back experiment to differentiate such experiments from standard TDTR experiments. As an example, we consider a 60nm amorphous Si film. We consider how signals differ in a front/front vs. front/back geometry and compare thermal model predictions to experimental data.


title: Pay More Attention to History: A Context Modelling Strategy for Conversational Text-to-SQL

abstract: Conversational text-to-SQL aims at converting multi-turn natural language queries into their corresponding SQL (Structured Query Language) representations. One of the most intractable problems of conversational text-to-SQL is modelling the semantics of multi-turn queries and gathering the proper information required for the current query. This paper shows that explicitly modelling the semantic changes by adding each turn and the summarization of the whole context can bring better performance on converting conversational queries into SQLs. In particular, we propose two conversational modelling tasks in both turn grain and conversation grain. These two tasks simply work as auxiliary training tasks to help with multi-turn conversational semantic parsing. We conducted empirical studies and achieved new state-of-the-art results on the large-scale open-domain conversational text-to-SQL dataset. The results demonstrate that the proposed mechanism significantly improves the performance of multi-turn semantic parsing.


title: Learning to Minimize Cost-to-Serve for Multi-Node Multi-Product Order Fulfilment in Electronic Commerce

abstract: We describe a novel decision-making problem developed in response to the demands of retail electronic commerce (e-commerce). While working with logistics and retail industry business collaborators, we found that the cost of delivery of products from the most opportune node in the supply chain (a quantity called the cost-to-serve or CTS) is a key challenge. The large scale, high stochasticity, and large geographical spread of e-commerce supply chains make this setting ideal for a carefully designed data-driven decision-making algorithm. In this preliminary work, we focus on the specific subproblem of delivering multiple products in arbitrary quantities from any warehouse to multiple customers in each time period. We compare the relative performance and computational efficiency of several baselines, including heuristics and mixed-integer linear programming. We show that a reinforcement learning based algorithm is competitive with these policies, with the potential of efficient scale-up in the real world.


title: Observer Design for a Flexible Structure with Distributed and Point Sensors

abstract: The paper is devoted to the observability study of a dynamic system, which describes the vibrations of an elastic beam with an attached rigid body and distributed control actions. The mathematical model is derived using Hamilton's principle in the form of the Euler-Bernoulli beam equation with hinged boundary conditions and interface condition at the point of attachment of the rigid body. It is assumed that the sensors distributed along the beam provide output information about the deformation in neighborhoods of the specified points of the beam. Based on the variational form of the equations of motion, the spectral problem for defining the eigenfrequencies and eigenfunctions of the beam oscillations is obtained. Some properties of the eigenvalues and eigenfunctions of the spectral problem are investigated. Finite-dimensional approximations of the dynamic equations are constructed in the linear manifold spanned by the system of eigenfunctions. For these Galerkin approximations, observability conditions for the control system with incomplete information about the state are derived. An algorithm for observer design with an arbitrary number of modal coordinates is proposed for the differential equation on a finite-dimensional manifold. Based on a quadratic Lyapunov function with respect to the coordinates of the finite-dimensional state vector, the exponential convergence of the observer dynamics is proved. The proposed method of constructing a dynamic observer makes it possible to estimate the full system state by the output signals characterizing the motion of particular point only. Numerical simulations illustrate the exponential decay of the norm of solutions of the system of ordinary differential equations that describes the observation error.


title: Linear Regression, Covariate Selection and the Failure of Modelling

abstract: It is argued that all model based approaches to the selection of covariates in linear regression have failed. This applies to frequentist approaches based on P-values and to Bayesian approaches although for different reasons. In the first part of the paper 13 model based procedures are compared to the model-free Gaussian covariate procedure in terms of the covariates selected and the time required. The comparison is based on seven data sets and three simulations. There is nothing special about these data sets which are often used as examples in the literature. All the model based procedures failed. In the second part of the paper it is argued that the cause of this failure is the very use of a model. If the model involves all the available covariates standard P-values can be used. The use of P-values in this situation is quite straightforward. As soon as the model specifies only some unknown subset of the covariates the problem being to identify this subset the situation changes radically. There are many P-values, they are dependent and most of them are invalid. The P-value based approach collapses. The Bayesian paradigm also assumes a correct model but although there are no conceptual problems with a large number of covariates there is a considerable overhead causing computational and allocation problems even for moderately sized data sets. The Gaussian covariate procedure is based on P-values which are defined as the probability that a random Gaussian covariate is better than the covariate being considered. These P-values are exact and valid whatever the situation. The allocation requirements and the algorithmic complexity are both linear in the size of the data making the procedure capable of handling large data sets. It outperforms all the other procedures in every respect.


title: Forensic Analysis of Synthetically Generated Western Blot Images

abstract: The widespread diffusion of synthetically generated content is a serious threat that needs urgent countermeasures. As a matter of fact, the generation of synthetic content is not restricted to multimedia data like videos, photographs or audio sequences, but covers a significantly vast area that can include biological images as well, such as western blot and microscopic images. In this paper, we focus on the detection of synthetically generated western blot images. These images are largely explored in the biomedical literature and it has been already shown they can be easily counterfeited with few hopes to spot manipulations by visual inspection or by using standard forensics detectors. To overcome the absence of publicly available data for this task, we create a new dataset comprising more than 14K original western blot images and 24K synthetic western blot images, generated using four different state-of-the-art generation methods. We investigate different strategies to detect synthetic western blots, exploring binary classification methods as well as one-class detectors. In both scenarios, we never exploit synthetic western blot images at training stage. The achieved results show that synthetically generated western blot images can be spot with good accuracy, even though the exploited detectors are not optimized over synthetic versions of these scientific images. We also test the robustness of the developed detectors against post-processing operations commonly performed on scientific images, showing that we can be robust to JPEG compression and that some generative models are easily recognizable, despite the application of editing might alter the artifacts they leave.


title: Feature Erasing and Diffusion Network for Occluded Person Re-Identification

abstract: Occluded person re-identification (ReID) aims at matching occluded person images to holistic ones across different camera views. Target Pedestrians (TP) are usually disturbed by Non-Pedestrian Occlusions (NPO) and NonTarget Pedestrians (NTP). Previous methods mainly focus on increasing model's robustness against NPO while ignoring feature contamination from NTP. In this paper, we propose a novel Feature Erasing and Diffusion Network (FED) to simultaneously handle NPO and NTP. Specifically, NPO features are eliminated by our proposed Occlusion Erasing Module (OEM), aided by the NPO augmentation strategy which simulates NPO on holistic pedestrian images and generates precise occlusion masks. Subsequently, we Subsequently, we diffuse the pedestrian representations with other memorized features to synthesize NTP characteristics in the feature space which is achieved by a novel Feature Diffusion Module (FDM) through a learnable cross attention mechanism. With the guidance of the occlusion scores from OEM, the feature diffusion process is mainly conducted on visible body parts, which guarantees the quality of the synthesized NTP characteristics. By jointly optimizing OEM and FDM in our proposed FED network, we can greatly improve the model's perception ability towards TP and alleviate the influence of NPO and NTP. Furthermore, the proposed FDM only works as an auxiliary module for training and will be discarded in the inference phase, thus introducing little inference computational overhead. Experiments on occluded and holistic person ReID benchmarks demonstrate the superiority of FED over state-of-the-arts, where FED achieves 86.3% Rank-1 accuracy on Occluded-REID, surpassing others by at least 4.7%.


title: Positronium imaging with the novel multiphoton PET scanner

abstract: In vivo assessment of cancer and precise location of altered tissues at initial stages of molecular disorders are important diagnostic challenges. Positronium is copiously formed in the free molecular spaces in the patient's body during positron emission tomography (PET). The positronium properties vary according to the size of inter- and intramolecular voids and the concentration of molecules in them such as, e.g., molecular oxygen, O2; therefore, positronium imaging may provide information about disease progression during the initial stages of molecular alterations. Current PET systems do not allow acquisition of positronium images. This study presents a new method that enables positronium imaging by simultaneous registration of annihilation photons and deexcitation photons from pharmaceuticals labeled with radionuclides. The first positronium imaging of a phantom built from cardiac myxoma and adipose tissue is demonstrated. It is anticipated that positronium imaging will substantially enhance the specificity of PET diagnostics.


title: Reformulation of Matching Equation in Potential Energy Shaping

abstract: Stabilization of an underactuated mechanical system may be accomplished by energy shaping. Interconnection and damping assignment passivity-based control is an approach based on total energy shaping by assigning desired kinetic and potential energy to the system. This method requires solving a partial differential equation (PDE) related to he potential energy shaping of the system. In this short paper, we focus on the reformulation of this PDE to be solved easier. For this purpose, under a certain condition that depends on the physical parameters and the controller gains, it is possible to merely solve the homogeneous part of potential energy PDE. Furthermore, it is shown that the condition may be reduced into a linear matrix inequality form. The results are applied to a number of benchmark systems.


title: Radio-Assisted Human Detection

abstract: In this paper, we propose a radio-assisted human detection framework by incorporating radio information into the state-of-the-art detection methods, including anchor-based onestage detectors and two-stage detectors. We extract the radio localization and identifer information from the radio signals to assist the human detection, due to which the problem of false positives and false negatives can be greatly alleviated. For both detectors, we use the confidence score revision based on the radio localization to improve the detection performance. For two-stage detection methods, we propose to utilize the region proposals generated from radio localization rather than relying on region proposal network (RPN). Moreover, with the radio identifier information, a non-max suppression method with the radio localization constraint has also been proposed to further suppress the false detections and reduce miss detections. Experiments on the simulative Microsoft COCO dataset and Caltech pedestrian datasets show that the mean average precision (mAP) and the miss rate of the state-of-the-art detection methods can be improved with the aid of radio information. Finally, we conduct experiments in real-world scenarios to demonstrate the feasibility of our proposed method in practice.


title: Distributed Nash Equilibrium Seeking for Noncooperative Games of High-Order Nonlinear Multi-Agent Systems Over Weight-Unbalanced Digraphs

abstract: In this paper, we investigate the noncooperative games of multi-agent systems. Different from existing noncooperative games, our formulation involves the high-order nonlinear dynamics of players, and the communication topologies among players are weight-unbalanced digraphs. Due to the high-order nonlinear dynamics and the weight-unbalanced digraphs, existing Nash equilibrium seeking algorithms cannot solve our problem. In order to seek the Nash equilibrium of the noncooperative games, we propose two distributed algorithms based on state feedback and output feedback, respectively. Moreover, we analyze the convergence of the two algorithms with the help of variational analysis and Lyapunov stability theory. By the two algorithms, the high-order nonlinear players exponentially converge to the Nash equilibrium. Finally, two simulation examples illustrate the effectiveness of the algorithms.


abstract: Recent research has achieved impressive progress in the session-based recommendation. However, information such as item knowledge and click time interval, which could be potentially utilized to improve the performance, remains largely unexploited. In this paper, we propose a framework called Knowledge-enhanced Session-based Recommendation with Temporal Transformer (KSTT) to incorporate such information when learning the item and session embeddings. Specifically, a knowledge graph, which models contexts among items within a session and their corresponding attributes, is proposed to obtain item embeddings through graph representation learning. We introduce time interval embedding to represent the time pattern between the item that needs to be predicted and historical click, and use it to replace the position embedding in the original transformer (called temporal transformer). The item embeddings in a session are passed through the temporal transformer network to get the session embedding, based on which the final recommendation is made. Extensive experiments demonstrate that our model outperforms state-of-the-art baselines on four benchmark datasets.


title: Unsupervised Reinforcement Learning in Multiple Environments

abstract: Several recent works have been dedicated to unsupervised reinforcement learning in a single environment, in which a policy is first pre-trained with unsupervised interactions, and then fine-tuned towards the optimal policy for several downstream supervised tasks defined over the same environment. Along this line, we address the problem of unsupervised reinforcement learning in a class of multiple environments, in which the policy is pre-trained with interactions from the whole class, and then fine-tuned for several tasks in any environment of the class. Notably, the problem is inherently multi-objective as we can trade off the pre-training objective between environments in many ways. In this work, we foster an exploration strategy that is sensitive to the most adverse cases within the class. Hence, we cast the exploration problem as the maximization of the mean of a critical percentile of the state visitation entropy induced by the exploration strategy over the class of environments. Then, we present a policy gradient algorithm, $\alpha$MEPOL, to optimize the introduced objective through mediated interactions with the class. Finally, we empirically demonstrate the ability of the algorithm in learning to explore challenging classes of continuous environments and we show that reinforcement learning greatly benefits from the pre-trained exploration strategy w.r.t. learning from scratch.


title: Optimal model for fewer-qubit CNOT gates with Rydberg atoms

abstract: Fewer-qubit quantum logic gate, serving as a basic unit for constructing universal multiqubit gates, has been widely applied in quantum computing and quantum information. However, traditional constructions for fewer-qubit gates often utilize a multi-pulse protocol which inevitably suffers from serious intrinsic errors during the gate execution. In this article, we report an optimal model about universal two- and three-qubit CNOT gates mediated by excitation to Rydberg states with easily-accessible van der Waals interactions. This gate depends on a global optimization to implement amplitude and phase modulated pulses via genetic algorithm, which can facilitate the gate operation with fewer optical pulses. Compared to conventional multi-pulse piecewise schemes, our gate can be realized by simultaneous excitation of atoms to the Rydberg states, saving the time for multi-pulse switching at different spatial locations. Our numerical simulations show that a single-pulse two(three)-qubit CNOT gate is possibly achieved with a fidelity of 99.23$\%$(90.39$\%$) for two qubits separated by 7.10 $\mu$m when the fluctuation of Rydberg interactions is excluded. Our work is promising for achieving fast and convenient multiqubit quantum computing in the study of neutral-atom quantum technology.


title: Origin of the gamma-ray emission from supernova remnant HB9

abstract: HB9 (G160.9+2.6) is a mixed-morphology Galactic supernova remnant (SNR) at a distance of $\sim$0.6 kpc. Previous analyses revealed recombining plasma emission in X-rays and an expanding shell structure in HI and CO emission, which were correlating with the spatial extent of HB9. In GeV energies, HB9 was found to show extended gamma-ray emission with a morphology that is consistent with the radio continuum emission showing a log-parabola-type spectrum. The overlap reported between the gas data and the excess gamma-ray emission at the southern region of the SNR's shell could indicate a possible interaction between them. We searched for hadronic gamma-ray emission signature in the spectrum to uncover possible interaction between the molecular environment and the SNR. Here we report the results of the gamma-ray spectral modelling studies of HB9.


title: Photonic Frequency Conversion of OFDM Microwave Signals in a Wavelength-Scale Optomechanical Cavity

abstract: Optomechanical (OM) cavities enable coupling of near-infrared light and GHz-frequency acoustic waves in wavelength-scale volumes. When driven in the phonon lasing regime, an OM cavity can perform simultaneously as a nonlinear mixer and a local oscillator -- at integer multiples of the mechanical resonance frequency -- in the optical domain. In this work, we use this property to demonstrate all-optical frequency down- and up-conversion of MHz-bandwidth orthogonal frequency division multiplexed signals compliant with the IEEE 802.16e WiMAX wireless standard at microwave frequencies. To this end, we employ a silicon OM crystal cavity (OMCC), supporting a breathing-like mechanical resonance at $f_m\approx$ 3.9 GHz and having a foot-print $\approx$ 10 $\mu$m$^{2}$, which yields frequency conversion efficiencies better than -17 dB in both down- and up-conversion processes at mW-scale driving power. This work paves the way towards the application of OMCCs in low-power all-photonic processing of digitally-modulated microwave signals in miniaturized silicon photonics chips.


title: Automorphisms of moduli spaces of principal bundles over a smooth curve

abstract: For any almost-simple group $G$ over an algebraically closed field $k$ of characteristic zero, we describe the automorphism group of the moduli space of semistable $G$-bundles over a connected smooth projective curve $C$ of genus at least $4$. The result is achieved by studying the singular fibers of the Hitchin fibration. As a byproduct, we provide a description of the irreducible components of two natural closed subsets in the Hitchin basis: the divisor of singular cameral curves and the divisor of singular Hitchin fibers.


title: Minimal blowing pressure allowing periodic oscillations in a model of bass brass instruments

abstract: In this study, an acoustic resonator -- a bass brass instrument -- with multiple resonances coupled to an exciter -- the player's lips -- with one resonance is modelled by a multidimensional dynamical system, and studied using a continuation and bifurcation software. Bifurcation diagrams are explored with respect to the blowing pressure, in particular with focus on the minimal blowing pressure allowing stable periodic oscillations and the associated frequency.The behaviour of the instrument is first studied close to a (non oscillating) equilibrium using linear stability analysis. This allows to determine the conditions at which an equilibrium destabilises and as such where oscillating regimes can emerge (corresponding to a sound production). This approach is useful to characterise the ease of playing of a brass instrument, which is assumed here to be related -- as a first approximation -- to the linear threshold pressure. In particular, the lower the threshold pressure, the lower the physical effort the player has to make to play a note [Campbell et al., 2021].Cases are highlighted where periodic solutions in the bifurcation diagrams are reached for blowing pressures below the value given by the linear stability analysis. Thus, bifurcation diagrams allow a more in-depth analysis. Particular attention is devoted to the first playing regime of bass brass instruments (the pedal note and the ghost note of a tuba in particular), whose behaviour qualitatively differs from a trombone to a euphonium for instance.


title: Mean area of the convex hull of a run and tumble particle in two dimensions

abstract: We investigate the statistics of the convex hull for a single run-and-tumble particle in two dimensions. Run-and-tumble particle, also known as persistent random walker, has gained significant interest in the recent years due to its biological application in modelling the motion of bacteria. We consider two different statistical ensembles depending on whether (i) the total number of tumbles $n$ or (ii) the total observation time $t$ is kept fixed. Benchmarking the results on perimeter, we study the statistical properties of the area of the convex hull for RTP. Exploiting the connections to extreme value statistics, we obtain exact analytical expressions for the mean area for both ensembles. For fixed-$t$ ensemble, we show that the mean possesses a scaling form in $\gamma t$ (with $\gamma$ being the tumbling rate) and the corresponding scaling function is exactly computed. Interestingly, we find that it exhibits crossover from $\sim t^3$ scaling at small times $\left( t \ll \gamma ^{-1} \right)$ to $\sim t$ scaling at large times $\left( t \gg \gamma ^{-1} \right)$. On the other hand, for fixed-$n$ ensemble, the mean expectedly grows linearly with $n$ for $n \gg 1$. All our analytical findings are supported with numerical simulations.


title: Conformal geometry on a class of embedded hypersurfaces in spacetimes

abstract: In this work, we study various properties of embedded hypersurfaces in $1+1+2$ decomposed spacetimes with a preferred spatial direction, denoted $e^{\mu}$, which are orthogonal to the fluid flow velocity of the spacetime and admit a proper conformal transformation. To ensure a non-vanishing positivity scalar curvature of the induced metric, we impose that the scalar curvature of the conformal metric is non-negative and that the associated conformal factor satisfies $\hat{\varphi}^2+2\hat{\hat{\varphi}}>0$, where $\hat{\ast}$ denotes derivative along $e^{\mu}$. Firstly, it is demonstrated that such hypersurface is either Einstein or the twist vanishes on it, and that the scalar curvature of the induced metric is constant. It is then proved that if the hypersurface is compact and of Einstein, and admits a proper conformal transformation, then the hypersurface must be isomorphic to the $3$-sphere, where we make use of well known results on Riemannian manifolds admitting conformal transformations. If the hypersurface is not Einstein and has nowhere vanishing sheet expansion, we show that this conclusion fails. However, with the additional conditions that the scalar curvatures of the induced metric and the conformal metric coincide, the associated conformal factor is strictly negative and the third and higher order derivatives of the conformal factor vanish, the conclusion follows. Furthermore, additional results are obtained under the conditions that the scalar curvature of a metric conformal to the induced metric is also constant. Finally, we consider some of our results in context of locally rotationally symmetric spacetimes and show that, if the hypersurfaces are compact and not of Einstein type, then under specified conditions the hypersurface is isomorphic to the $3$-sphere, where we constructed explicit examples of proper conformal Killing vector fields along $e^{\mu}$.


title: CLIN-X: pre-trained language models and a study on cross-task transfer for concept extraction in the clinical domain

abstract: The field of natural language processing (NLP) has recently seen a large change towards using pre-trained language models for solving almost any task. Despite showing great improvements in benchmark datasets for various tasks, these models often perform sub-optimal in non-standard domains like the clinical domain where a large gap between pre-training documents and target documents is observed. In this paper, we aim at closing this gap with domain-specific training of the language model and we investigate its effect on a diverse set of downstream tasks and settings. We introduce the pre-trained CLIN-X (Clinical XLM-R) language models and show how CLIN-X outperforms other pre-trained transformer models by a large margin for ten clinical concept extraction tasks from two languages. In addition, we demonstrate how the transformer model can be further improved with our proposed task- and language-agnostic model architecture based on ensembles over random splits and cross-sentence context. Our studies in low-resource and transfer settings reveal stable model performance despite a lack of annotated data with improvements of up to 47 F1 points when only 250 labeled sentences are available. Our results highlight the importance of specialized language models as CLIN-X for concept extraction in non-standard domains, but also show that our task-agnostic model architecture is robust across the tested tasks and languages so that domain- or task-specific adaptations are not required.


title: The QCD Deconfinement Critical Point for $N_\text{f}=2$ Flavors of Staggered Fermions

abstract: Quenched QCD at zero baryonic chemical potential undergoes a first-order deconfinement phase transition at a critical temperature $T_c$, which is related to the spontaneous breaking of the global center symmetry. Including heavy, dynamical quarks breaks the center symmetry explicitly and weakens the first-order phase transition. For decreasing quark masses the first-order phase transition turns into a smooth crossover at a $Z_2$-critical point. The critical quark mass corresponding to this point has been examined with $N_\text{f} = 2$ Wilson fermions for several $N_\tau$ in a recent study within our group. For comparison, we also locate the critical point with $N_\text{f} = 2$ staggered fermions on $N_\tau = 8$ lattices. For this purpose we perform Monte Carlo simulations for several quark mass values and various aspect ratios in order to extrapolate to the thermodynamic limit. The critical mass is obtained by fitting to a finite size scaling formula of the kurtosis of the Polyakov loop. Our results indicate large discretization effects, requiring simulations on lattices with $N_\tau > 8$.


title: Optimal vaccination: Various (counter) intuitive examples

abstract: In previous articles, we formalized the problem of optimal allocation strategies for a (perfect) vaccine in an infinite-dimensional metapopulation model. The aim of the current paper is to illustrate this theoretical framework with multiple examples where one can derive the analytic expression of the optimal strategies. We discuss in particular the following points: whether or not it is possible to vaccinate optimally when the vaccine doses are given one at a time (greedy vaccination strategies); the effect of assortativity (that is, the tendency to have more contacts with similar individuals) on the shape of optimal vaccination strategies; the particular case where everybody has the same number of neighbors.


title: Ultra-high Energy Gamma-rays from Past Explosions in our Galaxy

abstract: The discovery of the sources of ultra-high energy photons by High-Altitude Water Cerenkov Gamma ray Observatory and Large High Altitude Air Shower Observatory in our Galaxy has revolutionised the field of gamma ray astronomy in the last few years. These emissions are sometimes found in the vicinity of powerful pulsars or supernova remnants associated with giant molecular clouds. Inverse Compton emission by shock accelerated electrons emitted by pulsars and proton-proton interactions of shock accelerated protons emitted by supernova remnants with cold protons in molecular clouds are often identified as the causes of these emissions. In this paper we have selected two ultra-high energy photon sources LHAASO J2108+5157 and LHAASO J0341+5258 which are associated with giant molecular clouds, but no powerful pulsar or supernova remnant has been detected in their vicinity.We have proposed a scenario where shock accelerated electrons and protons are injected in the local environment of these sources from past explosions, which happened thousands of years ago. We show that the observed ultra-high energy photon flux can be explained with the secondary gamma rays produced by the time evolved relativistic electron and proton spectra.


title: On ill-posedness of nonlinear stochastic wave equations driven by rough noise

abstract: We highlight a fundamental ill-posedness issue for nonlinear stochastic wave equations driven by a fractional noise. Namely, if the noise becomes too rough (i.e., the sum of its Hurst indexes becomes too small), then there is essentially no hope to provide an interpretation of the model, whether directly or through a Wick-type renormalization procedure. This phenomenon can be compared with the situation of a general SDE driven by a two-dimensional fractional noise of index $H\leq \frac{1}{4}$. Our results clarify and extend previous similar properties exhibited in [3] or in [14].


title: KnAC: an approach for enhancing cluster analysis with background knowledge and explanations

abstract: Pattern discovery in multidimensional data sets has been the subject of research for decades. There exists a wide spectrum of clustering algorithms that can be used for this purpose. However, their practical applications share a common post-clustering phase, which concerns expert-based interpretation and analysis of the obtained results. We argue that this can be the bottleneck in the process, especially in cases where domain knowledge exists prior to clustering. Such a situation requires not only a proper analysis of automatically discovered clusters but also conformance checking with existing knowledge. In this work, we present Knowledge Augmented Clustering (KnAC). Its main goal is to confront expert-based labelling with automated clustering for the sake of updating and refining the former. Our solution is not restricted to any existing clustering algorithm. Instead, KnAC can serve as an augmentation of an arbitrary clustering algorithm, making the approach robust and a model-agnostic improvement of any state-of-the-art clustering method. We demonstrate the feasibility of our method on artificially, reproducible examples and in a real life use case scenario. In both cases, we achieved better results than classic clustering algorithms without augmentation.


title: Constrained multi-objective optimization of process design parameters in settings with scarce data: an application to adhesive bonding

abstract: Adhesive joints are increasingly used in industry for a wide variety of applications because of their favorable characteristics such as high strength-to-weight ratio, design flexibility, limited stress concentrations, planar force transfer, good damage tolerance, and fatigue resistance. Finding the optimal process parameters for an adhesive bonding process is challenging: the optimization is inherently multi-objective (aiming to maximize break strength while minimizing cost), constrained (the process should not result in any visual damage to the materials, and stress tests should not result in failures that are adhesion-related), and uncertain (testing the same process parameters several times may lead to different break strengths). Real-life physical experiments in the lab are expensive to perform. Traditional evolutionary approaches (such as genetic algorithms) are then ill-suited to solve the problem, due to the prohibitive amount of experiments required for evaluation. Although Bayesian optimization-based algorithms are preferred to solve such expensive problems, few methods consider the optimization of more than one (noisy) objective and several constraints at the same time. In this research, we successfully applied specific machine learning techniques (Gaussian Process Regression) to emulate the objective and constraint functions based on a limited amount of experimental data. The techniques are embedded in a Bayesian optimization algorithm, which succeeds in detecting Pareto-optimal process settings in a highly efficient way (i.e., requiring a limited number of physical experiments).


title: DISTREAL: Distributed Resource-Aware Learning in Heterogeneous Systems

abstract: We study the problem of distributed training of neural networks (NNs) on devices with heterogeneous, limited, and time-varying availability of computational resources. We present an adaptive, resource-aware, on-device learning mechanism, DISTREAL, which is able to fully and efficiently utilize the available resources on devices in a distributed manner, increasing the convergence speed. This is achieved with a dropout mechanism that dynamically adjusts the computational complexity of training an NN by randomly dropping filters of convolutional layers of the model. Our main contribution is the introduction of a design space exploration (DSE) technique, which finds Pareto-optimal per-layer dropout vectors with respect to resource requirements and convergence speed of the training. Applying this technique, each device is able to dynamically select the dropout vector that fits its available resource without requiring any assistance from the server. We implement our solution in a federated learning (FL) system, where the availability of computational resources varies both between devices and over time, and show through extensive evaluation that we are able to significantly increase the convergence speed over the state of the art without compromising on the final accuracy.


title: Seasonal Evolution of Mixed Layers in the Red Sea and the Relative Contribution of Atmospheric Buoyancy and Momentum Forcing

abstract: The seasonal and spatial evolution of mixed layers (MLs) in the Red Sea (RS) is analyzed for the 2001-2015 period using the results of a high resolution (~1km horizontal, 50 vertical layers) ocean circulation model forced by a novel regional high resolution (5 km) atmospheric reanalysis dataset. The simulation reproduces the main features of the near-surface stratification, as described by the available observations. The seasonal evolution of the modeled mixed layer depths (MLDs) in the RS is predominantly driven by atmospheric buoyancy forcing, especially its heat flux component. Everywhere in the basin the model MLs are deepest in January and February. The deepest MLDs develop in the northern parts of the Gulf of Aqaba and in the western parts of the north RS. The MLDs gradually shoal towards the south, reflecting the meridional gradient of wintertime surface buoyancy loss. In spring and summer, the surface ocean heat gain increases the stratification and the MLs are becoming shallow everywhere in the basin. During this season wind may have a significant local impact on the MLD. Particularly important are strong winds channeled by topography, such as in the vicinity of the Strait of Bab-Al-Mandeb and the straits connecting the two gulfs in the north, and lateral jets blowing through mountain gaps, such as the Tokar jet in the central RS. The MLD distribution further suggests influence by the general and mesoscale circulation. The complex patterns of air-sea buoyancy flux, wind forcing, and the thermohaline and mesoscale circulation, are all strongly imprinted on the MLD distribution.


title: Topological Lifshitz Transitions, Orbital Currents, and Interactions in Low-dimensional Fermi Gases in Synthetic Gauge Fields

abstract: Low-dimensional systems of interacting fermions in a synthetic gauge field have been experimentally realized using two-component ultra-cold Fermi gases in optical lattices. Using a two-leg ladder model that is relevant to these experiments, we have studied the signatures of topological Lifshitz transitions and the effects of the inter-species interaction $U$ on the gauge-invariant orbital current in the regime of large intra-leg hopping $\Omega$. Focusing on non-insulating regimes, we have carried out numerically exact density-matrix renormalization-group (DMRG) calculations to compute the orbital current at fixed particle number as a function of the interaction strength and the synthetic gauge flux per plaquette. Signatures of topological Lifshitz transitions where the number Fermi points changes are found to persist even in the presence of very strong repulsive interactions. This numerical observation suggests that the orbital current can be captured by an appropriately renormalized mean-field band structure, which is also described here. Quantitative agreement between the mean-field and the DMRG results in the intermediate interaction regime where $U \lesssim \Omega$ is demonstrated. We also have observed that interactions can change the sign of the current susceptibility at zero field and induce Lifshitz transitions between two metallic phases, which is also captured by the mean-field theory. Correlation effects beyond mean-field theory in the oscillations of the local inter-leg current are also reported. We argue that the observed robustness against interactions makes the orbital current a good indicator of the topological Lifshitz transitions.


title: Graph Convolutional Networks with Dual Message Passing for Subgraph Isomorphism Counting and Matching

abstract: Graph neural networks (GNNs) and message passing neural networks (MPNNs) have been proven to be expressive for subgraph structures in many applications. Some applications in heterogeneous graphs require explicit edge modeling, such as subgraph isomorphism counting and matching. However, existing message passing mechanisms are not designed well in theory. In this paper, we start from a particular edge-to-vertex transform and exploit the isomorphism property in the edge-to-vertex dual graphs. We prove that searching isomorphisms on the original graph is equivalent to searching on its dual graph. Based on this observation, we propose dual message passing neural networks (DMPNNs) to enhance the substructure representation learning in an asynchronous way for subgraph isomorphism counting and matching as well as unsupervised node classification. Extensive experiments demonstrate the robust performance of DMPNNs by combining both node and edge representation learning in synthetic and real heterogeneous graphs. Code is available at https://github.com/HKUST-KnowComp/DualMessagePassing.


title: On Up-to Context Techniques in the $\pi$-calculus

abstract: We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in this setting for two subsets of the pi-calculus: the asynchronous pi-calculus and a pi-calculus with immediately available names.


title: CODER: An efficient framework for improving retrieval through COntextual Document Embedding Reranking

abstract: Contrastive learning has been the dominant approach to training dense retrieval models. In this work, we investigate the impact of ranking context - an often overlooked aspect of learning dense retrieval models. In particular, we examine the effect of its constituent parts: jointly scoring a large number of negatives per query, using retrieved (query-specific) instead of random negatives, and a fully list-wise loss. To incorporate these factors into training, we introduce Contextual Document Embedding Reranking (CODER), a highly efficient retrieval framework. When reranking, it incurs only a negligible computational overhead on top of a first-stage method at run time (delay per query in the order of milliseconds), allowing it to be easily combined with any state-of-the-art dual encoder method. After fine-tuning through CODER, which is a lightweight and fast process, models can also be used as stand-alone retrievers. Evaluating CODER in a large set of experiments on the MS~MARCO and TripClick collections, we show that the contextual reranking of precomputed document embeddings leads to a significant improvement in retrieval performance. This improvement becomes even more pronounced when more relevance information per query is available, shown in the TripClick collection, where we establish new state-of-the-art results by a large margin.


title: Adaptation and Attention for Neural Video Coding

abstract: Neural image coding represents now the state-of-the-art image compression approach. However, a lot of work is still to be done in the video domain. In this work, we propose an end-to-end learned video codec that introduces several architectural novelties as well as training novelties, revolving around the concepts of adaptation and attention. Our codec is organized as an intra-frame codec paired with an inter-frame codec. As one architectural novelty, we propose to train the inter-frame codec model to adapt the motion estimation process based on the resolution of the input video. A second architectural novelty is a new neural block that combines concepts from split-attention based neural networks and from DenseNets. Finally, we propose to overfit a set of decoder-side multiplicative parameters at inference time. Through ablation studies and comparisons to prior art, we show the benefits of our proposed techniques in terms of coding gains. We compare our codec to VVC/H.266 and RLVC, which represent the state-of-the-art traditional and end-to-end learned codecs, respectively, and to the top performing end-to-end learned approach in 2021 CLIC competition, E2E_T_OL. Our codec clearly outperforms E2E_T_OL, and compare favorably to VVC and RLVC in some settings.


title: Resolving sets tolerant to failures in three-dimensional grids

abstract: An ordered set $S$ of vertices of a graph $G$ is a resolving set for $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of G is the minimum cardinality of a resolving set. In this paper we study resolving sets tolerant to several failures in three-dimensional grids. Concretely, we seek for minimum cardinality sets that are resolving after removing any $k$ vertices from the set. This is equivalent to finding $(k+1)$-resolving sets, a generalization of resolving sets, where, for every pair of vertices, the vector of distances to the vertices of the set differ in at least $k+1$ coordinates. This problem is also related with the study of the $(k+1)$-metric dimension of a graph, defined as the minimum cardinality of a $(k+1)$-resolving set. In this work, we first prove that the metric dimension of a three-dimensional grid is 3 and establish some properties involving resolving sets in these graphs. Secondly, we determine the values of $k\ge 1$ for which there exists a $(k+1)$-resolving set and construct such a resolving set of minimum cardinality in almost all cases.


title: Impurity metallic conduction below the critical concentration of Metal-Insulator Transition in Fe1-xCoxSi

abstract: Analysis on very detailed measurements of resistivity ($ \rho $) and thermoelectric power (S) of magnetic impurity (Co) substituted iron silicide (FeSi) has been presented in this report. The impurity valence electrons of Co dominate the whole physical properties at low temperatures below 35 K, below the critical concentration x$_{c}$. The negative thermopower and the positive slope in the resistivity at low temperatures are exotic and show that the system is not entirely insulator below the critical concentration of MIT (x$_{c}$). So, due to the external impurity electrons, the system's magnetic ground state could change considerably compared to the parent compound FeSi. This report may help unveil the exotic nature of the ground state in the semi-metallic regime between x = 0 to x = 0.02. We have also explained the electrical and thermal transport properties using the two-band model.


title: Proposition-Level Clustering for Multi-Document Summarization

abstract: Text clustering methods were traditionally incorporated into multi-document summarization (MDS) as a means for coping with considerable information repetition. Particularly, clusters were leveraged to indicate information saliency as well as to avoid redundancy. Such prior methods focused on clustering sentences, even though closely related sentences usually contain also non-aligned parts. In this work, we revisit the clustering approach, grouping together sub-sentential propositions, aiming at more precise information alignment. Specifically, our method detects salient propositions, clusters them into paraphrastic clusters, and generates a representative sentence for each cluster via text fusion. Our summarization method improves over the previous state-of-the-art MDS method in the DUC 2004 and TAC 2011 datasets, both in automatic ROUGE scores and human preference.


title: Onset of convective instability in an inclined porous medium

abstract: The diffusion of a solute from a concentrated source into a horizontal, stationary, fluid-saturated porous medium can lead to a convective motion when a gravitationally unstable density stratification evolves. In an inclined porous medium, the convective flow becomes intricate as it originates from a combination of diffusion and lateral flow, which is dominant near the source of the solute. Here, we investigate the role of inclination on the onset of convective instability by linear stability analyses of Darcy's law and mass conservation for the flow and the concentration field. We find that the onset time increases with the angle of inclination ($\theta$) until it reaches a cut-off angle beyond which the system remains stable. The cut-off angle increases with the Rayleigh number, $Ra$. The evolving wavenumber at the onset exhibits a lateral velocity that depends non-monotonically on $\theta$ and linearly on $Ra$. Instabilities are observed in gravitationally stable configurations ($\theta \geq 90^{\circ}$) solely due to the non-uniform base flow generating a velocity shear commonly associated with Kelvin-Helmholtz instability. These results quantify the role of medium tilt on convective instabilities, which is of great importance to geological CO$_2$ sequestration.


title: Sharpness-Aware Minimization with Dynamic Reweighting

abstract: Deep neural networks are often overparameterized and may not easily achieve model generalization. Adversarial training has shown effectiveness in improving generalization by regularizing the change of loss on top of adversarially chosen perturbations. The recently proposed sharpness-aware minimization (SAM) algorithm conducts adversarial weight perturbation, encouraging the model to converge to a flat minima. SAM finds a common adversarial weight perturbation per-batch. Although per-instance adversarial weight perturbations are stronger adversaries and can potentially lead to better generalization performance, their computational cost is very high and thus it is impossible to use per-instance perturbations efficiently in SAM. In this paper, we tackle this efficiency bottleneck and propose sharpness-aware minimization with dynamic reweighting (delta-SAM). Our theoretical analysis motivates that it is possible to approach the stronger, per-instance adversarial weight perturbations using reweighted per-batch weight perturbations. delta-SAM dynamically reweights perturbation within each batch according to the theoretically principled weighting factors, serving as a good approximation to per-instance perturbation. Experiments on various natural language understanding tasks demonstrate the effectiveness of delta-SAM.


title: New Kind of Echo from Quantum Black Holes

abstract: We propose that a quantum black hole can produce a new kind of late-time gravitational echoes, facilitated by a near-horizon process analogous to Andreev reflection in condensed matter systems. In comparison to the traditional echo scenarios where the near-horizon region is treated as an ordinary reflector, we argue that, consequent to near-horizon gravitational scattering, this region is better described by an Andreev reflector. Such interactions lead to a novel contribution to gravitational echoes with a characteristic phase difference, an effect which is analogous to how Andreev reflections lead to propagating particle-like and hole-like components with a relative phase in certain condensed matter scenarios. Moreover, this novel contribution to the echo signal encodes information about the `near-horizon quantum state', hence offering a possible new window to probe the quantum nature of black holes.


title: BoGraph: Structured Bayesian Optimization From Logs for Expensive Systems with Many Parameters

abstract: Current auto-tuning frameworks struggle with tuning computer systems configurations due to their large parameter space, complex interdependencies, and high evaluation cost. Utilizing probabilistic models, Structured Bayesian Optimization (SBO) has recently overcome these difficulties. SBO decomposes the parameter space by utilizing contextual information provided by system experts leading to fast convergence. However, the complexity of building probabilistic models has hindered its wider adoption. We propose BoAnon, a SBO framework that learns the system structure from its logs. BoAnon provides an API enabling experts to encode knowledge of the system as performance models or components dependency. BoAnon takes in the learned structure and transforms it into a probabilistic graph model. Then it applies the expert-provided knowledge to the graph to further contextualize the system behavior. BoAnon probabilistic graph allows the optimizer to find efficient configurations faster than other methods. We evaluate BoAnon via a hardware architecture search problem, achieving an improvement in energy-latency objectives ranging from $5-7$ x-factors improvement over the default architecture. With its novel contextual structure learning pipeline, BoAnon makes using SBO accessible for a wide range of other computer systems such as databases and stream processors.