title: NaRe$_2$(PO$_4$)$_3$ phosphate-based ceramic with kosnarite structure as a matrix for technetium immobilization. Production. Properties

abstract: NaRe$_2$(PO$_4$)$_3$ phosphate-based ceramic with the structure of kosnarite mineral was obtained by spark plasma sintering. Rhenium (Re) served as a chemical and structural analog of technetium. The ceramic relative density was 85%. The mechanism of Re static leaching from NaRe$_2$(PO$_4$)$_3$ ceramic at room temperature was investigated. The leaching rate of rhenium was $1.3\times10^{-5}$ g/(cm$^2$*day).


title: On extreme values for the Sudler product of quadratic irrationals

abstract: Given a real number $\alpha$ and a natural number $N$, the Sudler product is defined by $P_N(\alpha) = \prod_{r=1}^{N} 2 \left\lvert \sin(\pi\left(r\alpha \right))\right\rvert.$ Denoting by $F_n$ the $n$--th Fibonacci number and by $\phi$ the Golden Ratio, we show that for $F_{n-1} \leq N < F_n$, we have $P_{F_{n-1}}(\phi)\leq P_N(\phi) \leq P_{F_{n}-1}(\phi)$ and $\min_{N \geq 1} P_N(\phi) = P_1(\phi)$, thereby proving a conjecture of Grepstad, Kaltenb\"ock and Neum\"uller. Furthermore, we find closed expressions for $\liminf_{N \to \infty} P_N(\phi)$ and $\limsup_{N \to \infty} \frac{P_N(\phi)}{N}$ whose numerical values can be approximated arbitrarily well. We generalize these results to the case of quadratic irrationals $\beta$ with continued fraction expansion $\beta = [0;b,b,b\ldots]$ where $1 \leq b \leq 5$, completing the calculation of $\liminf_{N \to \infty} P_N(\beta)$, $\limsup_{N \to \infty} \frac{P_N(\beta)}{N}$ for $\beta$ being an arbitrary quadratic irrational with continued fraction expansion of period length 1.


title: On the linear relations among parametrized multiple series

abstract: Parametrized multiple series are generalizations of the multiple zeta values introduced by Igarashi. In this work, we completely determine all the linear relations among these parameterized multiple series. Specifically, we prove the following two statements: the linear part of the Kawashima relation for multiple zeta values can be generalized to the parametrized multiple series; any linear relations among the parametrized multiple series can be written as a linear combination of the linear part of the Kawashima relation.


title: Estimate of the Background and Sensitivity of theFollow-up X-ray Telescope onboard Einstein Probe

abstract: As a space X-ray imaging mission dedicated to time-domain astrophysics, the Einstein Probe (EP) carries two kinds of scientific payloads, the wide-field X-ray telescope (WXT) and the follow-up X-ray telescope (FXT). FXT utilizes Wolter-I type mirrors and the pn-CCD detectors. In this work, we investigate the in-orbit background of FXT based on Geant4 simulation. The impact of various space components present in the EP orbital environment are considered, such as the cosmic photon background, cosmic ray primary and secondary particles (e.g. protons, electrons and positrons), albedo gamma rays, and the low-energy protons near the geomagnetic equator. The obtained instrumental background at 0.5-10 keV, which is mainly induced by cosmic ray protons and cosmic photon background, corresponds to a level of $\sim$3.1$\times$10$^{-2}$ counts s$^{-1}$ keV$^{-1}$ in the imaging area of the focal plane detector (FPD), i.e. 3.7$\times$10$^{-3}$ counts s$^{-1}$ keV$^{-1}$ cm$^{-2}$ after normalization. Compared with the instrumental background, the field of view (FOV) background, which is induced by cosmic photons reflected by the optical mirror, dominates below 2 keV. Based on the simulated background level within the focal spot (a 30$^{\prime\prime}$-radius circle), the sensitivity of FXT is calculated, which could theoretically achieve several $\mu$crab (in the order of 10$^{-14}$ erg cm$^{-2}$ s$^{-1}$) in 0.5-2 keV and several tens of $\mu$crab (in the order of 10$^{-13}$ erg cm$^{-2}$ s$^{-1}$) in 2-10 keV for a pointed observation with an exposure of 25 minutes. This sensitivity becomes worse by a factor of $\sim2$ if additional 10% systematic uncertainty of the background subtraction is included.


title: Data-driven distributionally robust iterative risk-constrained model predictive control

abstract: This paper considers a risk-constrained infinite-horizon optimal control problem and proposes to solve it in an iterative manner. Each iteration of the algorithm generates a trajectory from the starting point to the target equilibrium state by implementing a distributionally robust risk-constrained model predictive control (MPC) scheme. At each iteration, a set of safe states (that satisfy the risk-constraint with high probability) and a certain number of independent and identically distributed samples of the uncertainty governing the risk constraint are available. These states and samples are accumulated in previous iterations. The safe states are used as terminal constraint in the MPC scheme and samples are used to construct a set of distributions, termed ambiguity set, such that it contains the underlying distribution of the uncertainty with high probability. The risk-constraint in each iteration is required to hold for all distributions in the ambiguity set. We establish that the trajectories generated by our iterative procedure are feasible, safe, and converge asymptotically to the equilibrium. Simulation example illustrates our results for the case of finding a risk-constrained path for a mobile robot in the presence of an uncertain obstacle.


title: Observing Interventions: A logic for thinking about experiments

abstract: This paper makes a first step towards a logic of learning from experiments. For this, we investigate formal frameworks for modeling the interaction of causal and (qualitative) epistemic reasoning. Crucial for our approach is the idea that the notion of an intervention can be used as a formal expression of a (real or hypothetical) experiment. In a first step we extend the well-known causal models with a simple Hintikka-style representation of the epistemic state of an agent. In the resulting setting, one can talk not only about the knowledge of an agent about the values of variables and how interventions affect them, but also about knowledge update. The resulting logic can model reasoning about thought experiments. However, it is unable to account for learning from experiments, which is clearly brought out by the fact that it validates the no learning principle for interventions. Therefore, in a second step, we implement a more complex notion of knowledge that allows an agent to observe (measure) certain variables when an experiment is carried out. This extended system does allow for learning from experiments. For all the proposed logical systems, we provide a sound and complete axiomatization.


title: NV microscopy of thermally controlled stresses caused by Cr$_2$O$_3$ thin films

abstract: Many modern applications, including quantum computing and quantum sensing, use substrate-film interfaces. Particularly, thin films of chromium or titanium and their oxides are commonly used to bind various structures, such as resonators, masks, or microwave antennas, to a diamond surface. Due to different thermal expansions of involved materials, such films and structures could produce significant stresses, which need to be measured or predicted. In this paper, we demonstrate imaging of stresses in the top layer of diamond with deposited structures of Cr$_2$O$_3$ at temperatures 19$^{\circ}$C and 37$^{\circ}$C by using stress-sensitive optically detected magnetic resonances (ODMR) in NV centers. We also calculated stresses in the diamond-film interface by using finite-element analysis and correlated them to measured ODMR frequency shifts. As predicted by the simulation, the measured high-contrast frequency-shift patterns are only due to thermal stresses, whose spin-stress coupling constant along the NV axis is 21$\pm$1 MHz/GPa, that is in agreement with constants previously obtained from single NV centers in diamond cantilever. We demonstrate that NV microscopy is a convenient platform for optically detecting and quantifying spatial distributions of stresses in diamond-based photonic devices with micrometer precision and propose thin films as a means for local application of temperature-controlled stresses. Our results also show that thin film structures produce significant stresses in diamond substrates, which should be accounted for in NV-based applications.


title: Detection of a Parsec-Scale Jet in a Radio-Quiet Narrow-Line Seyfert 1 Galaxy with Highly Accreting Supermassive Black Hole

abstract: The jet in active galactic nuclei (AGN) is a key ingredient in understanding the co-evolution of galaxies and their central supermassive black holes (SMBHs). Unfortunately, the mechanism of jet launching and collimation is still elusive. The observational evidence of decreasing radio loudness with increasing Eddington ratio implies that the jet should be coupled with the accretion process. To further explore the relationship between the jet and accretion, it is necessary to extend our knowledge of the jet to an extreme end of the Eddington ratio distribution of AGN. Using Very Long Baseline Array (VLBA), we report the detection of the parsec-scale radio structure in Mrk 335, a radio-quiet narrow-line Seyfert 1 galaxy with an Eddington ratio close to/above unity. The VLBA image at 1.5 GHz reveals an elongated structure extending $\sim20$ parsec in north-south direction with a peak flux density of $1.98\pm0.05$ mJy/beam and radio brightness temperatures as high as $6\times10^{7}$ K. This feature provides a strong evidence of a parsec-scale (bipolar) jet launched from a highly accreting SMBH. We discuss the result by comparing Mrk 335 with other highly accreting systems, e.g. Galactic black holes and tidal disruption events, and recall the discovery of collimated corona in the vicinity of SMBH in Mrk 335 by previous X-ray observations, whose relation to the parsec-scale radio jet should be explored by future simultaneous X-ray spectroscopy and high resolution radio observations.


title: Efficient Mean Estimation with Pure Differential Privacy via a Sum-of-Squares Exponential Mechanism

abstract: We give the first polynomial-time algorithm to estimate the mean of a $d$-variate probability distribution with bounded covariance from $\tilde{O}(d)$ independent samples subject to pure differential privacy. Prior algorithms for this problem either incur exponential running time, require $\Omega(d^{1.5})$ samples, or satisfy only the weaker concentrated or approximate differential privacy conditions. In particular, all prior polynomial-time algorithms require $d^{1+\Omega(1)}$ samples to guarantee small privacy loss with "cryptographically" high probability, $1-2^{-d^{\Omega(1)}}$, while our algorithm retains $\tilde{O}(d)$ sample complexity even in this stringent setting. Our main technique is a new approach to use the powerful Sum of Squares method (SoS) to design differentially private algorithms. SoS proofs to algorithms is a key theme in numerous recent works in high-dimensional algorithmic statistics -- estimators which apparently require exponential running time but whose analysis can be captured by low-degree Sum of Squares proofs can be automatically turned into polynomial-time algorithms with the same provable guarantees. We demonstrate a similar proofs to private algorithms phenomenon: instances of the workhorse exponential mechanism which apparently require exponential time but which can be analyzed with low-degree SoS proofs can be automatically turned into polynomial-time differentially private algorithms. We prove a meta-theorem capturing this phenomenon, which we expect to be of broad use in private algorithm design. Our techniques also draw new connections between differentially private and robust statistics in high dimensions. In particular, viewed through our proofs-to-private-algorithms lens, several well-studied SoS proofs from recent works in algorithmic robust statistics directly yield key components of our differentially private mean estimation algorithm.


title: CDNet is all you need: Cascade DCN based underwater object detection RCNN

abstract: Object detection is a very important basic research direction in the field of computer vision and a basic method for other advanced tasks in the field of computer vision. It has been widely used in practical applications such as object tracking, video behavior recognition and underwater robotics vision. The Cascade-RCNN and Deformable Convolution Network are both classical and excellent object detection algorithms. In this report, we evaluate our Cascade-DCN based method on underwater optical image and acoustics image datasets with different engineering tricks and augumentation.


title: Investigation of domain gap problem in several deep-learning-based CT metal artefact reduction methods

abstract: Metal artefacts in CT images may disrupt image quality and interfere with diagnosis. Recently many deep-learning-based CT metal artefact reduction (MAR) methods have been proposed. Current deep MAR methods may be troubled with domain gap problem, where methods trained on simulated data cannot perform well on practical data. In this work, we experimentally investigate two image-domain supervised methods, two dual-domain supervised methods and two image-domain unsupervised methods on a dental dataset and a torso dataset, to explore whether domain gap problem exists or is overcome. We find that I-DL-MAR and DudoNet are effective for practical data of the torso dataset, indicating the domain gap problem is solved. However, none of the investigated methods perform satisfactorily on practical data of the dental dataset. Based on the experimental results, we further analyze the causes of domain gap problem for each method and dataset, which may be beneficial for improving existing methods or designing new ones. The findings suggest that the domain gap problem in deep MAR methods remains to be addressed.


title: Demystifying Graph Neural Network Explanations

abstract: Graph neural networks (GNNs) are quickly becoming the standard approach for learning on graph structured data across several domains, but they lack transparency in their decision-making. Several perturbation-based approaches have been developed to provide insights into the decision making process of GNNs. As this is an early research area, the methods and data used to evaluate the generated explanations lack maturity. We explore these existing approaches and identify common pitfalls in three main areas: (1) synthetic data generation process, (2) evaluation metrics, and (3) the final presentation of the explanation. For this purpose, we perform an empirical study to explore these pitfalls along with their unintended consequences and propose remedies to mitigate their effects.


title: $L_{\infty}$ liftings of semiregularity maps via Chern-Simons classes

abstract: We introduce the notion of Chern-Simons classes for curved DG-pairs and we prove that a particular case of this general construction provides canonical $L_\infty$ liftings of Buchweitz-Flenner semiregularity maps for coherent sheaves on complex manifolds.


title: A-Muze-Net: Music Generation by Composing the Harmony based on the Generated Melody

abstract: We present a method for the generation of Midi files of piano music. The method models the right and left hands using two networks, where the left hand is conditioned on the right hand. This way, the melody is generated before the harmony. The Midi is represented in a way that is invariant to the musical scale, and the melody is represented, for the purpose of conditioning the harmony, by the content of each bar, viewed as a chord. Finally, notes are added randomly, based on this chord representation, in order to enrich the generated audio. Our experiments show a significant improvement over the state of the art for training on such datasets, and demonstrate the contribution of each of the novel components.


title: Native state of natural proteins optimises local entropy

abstract: The differing ability of polypeptide conformations to act as the native state of proteins has long been rationalized in terms of differing kinetic accessibility or thermodynamic stability. Building on the successful applications of physical concepts and sampling algorithms recently introduced in the study of disordered systems, in particular artificial neural networks, we quantitatively explore how well a quantity known as the local entropy describes the native state of model proteins. In lattice models and all-atom representations of proteins, we are able to efficiently sample high local entropy states and to provide a proof of concept of enhanced stability and folding rate. Our methods are based on simple and general statistical--mechanics arguments, and thus we expect that they are of very general use.


title: Hidden Order of Boolean Networks

abstract: It is a common belief that the order of a Boolean network is mainly determined by its attractors, including fixed points and cycles. Using semi-tensor product (STP) of matrices and the algebraic state-space representation (ASSR) of Boolean networks, this paper reveals that in addition to this explicit order, there is certain implicit or hidden order, which is determined by the fixed points and limit cycles of their dual networks. The structure and certain properties of dual networks are investigated. Instead of a trajectory, which describes the evolution of a state, hidden order provides a global picture to describe the evolution of the overall network. It is our conjecture that the order of networks is mainly determined by the dual attractors via their corresponding hidden orders. The previously obtained results about Boolean networks are further extended to the k-valued case.


title: SPAGETI: Stabilizing Phylogenetic Assessment with Gene Evolutionary Tree Indices

abstract: The standard approach to estimate species trees is to align a selected set of genes, concatenate the alignments and then estimate a consensus tree. However, individual genes contain differing levels of evolutionary information, either supporting or conflicting with the consensus. Based on individual gene evolutionary tree, a recent study has demonstrated that this approach may result in incorrect solutions and developed the internode certainty (IC) heuristic for estimating the confidence of splits made on the consensus tree. Although an improvement, this heuristic neglects the differing rates of molecular evolution in individual genes. Here I develop an improved version of this method such that each gene is proportionally weighted based on its overall signal and specifically with the imbalanced signal for each node represented with gene tree.


title: Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning

abstract: Is intelligence realized by connectionist or classicist? While connectionist approaches have achieved superhuman performance, there has been growing evidence that such task-specific superiority is particularly fragile in systematic generalization. This observation lies in the central debate between connectionist and classicist, wherein the latter continually advocates an algebraic treatment in cognitive architectures. In this work, we follow the classicist's call and propose a hybrid approach to improve systematic generalization in reasoning. Specifically, we showcase a prototype with algebraic representation for the abstract spatial-temporal reasoning task of Raven's Progressive Matrices (RPM) and present the ALgebra-Aware Neuro-Semi-Symbolic (ALANS) learner. The ALANS learner is motivated by abstract algebra and the representation theory. It consists of a neural visual perception frontend and an algebraic abstract reasoning backend: the frontend summarizes the visual information from object-based representation, while the backend transforms it into an algebraic structure and induces the hidden operator on the fly. The induced operator is later executed to predict the answer's representation, and the choice most similar to the prediction is selected as the solution. Extensive experiments show that by incorporating an algebraic treatment, the ALANS learner outperforms various pure connectionist models in domains requiring systematic generalization. We further show the generative nature of the learned algebraic representation; it can be decoded by isomorphism to generate an answer.


title: Non Parametric Data Augmentations Improve Deep-Learning based Brain Tumor Segmentation

abstract: Automatic brain tumor segmentation from Magnetic Resonance Imaging (MRI) data plays an important role in assessing tumor response to therapy and personalized treatment stratification.Manual segmentation is tedious and subjective.Deep-learning-based algorithms for brain tumor segmentation have the potential to provide objective and fast tumor segmentation.However, the training of such algorithms requires large datasets which are not always available. Data augmentation techniques may reduce the need for large datasets.However current approaches are mostly parametric and may result in suboptimal performance.We introduce two non-parametric methods of data augmentation for brain tumor segmentation: the mixed structure regularization (MSR) and shuffle pixels noise (SPN).We evaluated the added value of the MSR and SPN augmentation on the brain tumor segmentation (BraTS) 2018 challenge dataset with the encoder-decoder nnU-Net architecture as the segmentation algorithm.Both MSR and SPN improve the nnU-Net segmentation accuracy compared to parametric Gaussian noise augmentation.Mean dice score increased from 80% to 82% and p-values=0.0022, 0.0028 when comparing MSR to non-parametric augmentation for the tumor core and whole tumor experiments respectively.The proposed MSR and SPN augmentations have the potential to improve neural-networks performance in other tasks as well.


title: Ab initio calculation of muon capture on $^{24}$Mg

abstract: In this work we study ordinary muon capture (OMC) on $^{24}$Mg from a first principles perspective. Starting from a particular two- and three-nucleon interaction derived from chiral effective field theory, we use the valence-space in-medium similarity renormalization group (VS-IMSRG) framework to construct effective Hamiltonians and muon-capture operators which nonperturbatively account for many-body physics outside the valence space. The obtained nuclear matrix elements are compared against those from the phenomenological shell model. The impact of including the correlations from the nuclear shell model (NSM) as well as including the induced two-body part is studied in detail. Furthermore, the effects of realistic bound-muon wave function on the operators is studied. Finally, predictions for capture rates to the lowest excited states in $^{24}$Na are given and compared with available data. It is found that the spectroscopic properties of $^{24}$Mg and its OMC daughter $^{24}$Na are fairly well described by both the NSM and VS-IMSRG, and that the effect of the hadronic two-body currents significantly reduces the OMC rates. Both models have some difficulties in matching the measured OMC rates, especially for the $2^+$ final states. This calls for further studies in other light nuclei with available OMC data.


title: PolyViT: Co-training Vision Transformers on Images, Videos and Audio

abstract: Can we train a single transformer model capable of processing multiple modalities and datasets, whilst sharing almost all of its learnable parameters? We present PolyViT, a model trained on image, audio and video which answers this question. By co-training different tasks on a single modality, we are able to improve the accuracy of each individual task and achieve state-of-the-art results on 5 standard video- and audio-classification datasets. Co-training PolyViT on multiple modalities and tasks leads to a model that is even more parameter-efficient, and learns representations that generalize across multiple domains. Moreover, we show that co-training is simple and practical to implement, as we do not need to tune hyperparameters for each combination of datasets, but can simply adapt those from standard, single-task training.


title: NomMer: Nominate Synergistic Context in Vision Transformer for Visual Recognition

abstract: Recently, Vision Transformers (ViT), with the self-attention (SA) as the de facto ingredients, have demonstrated great potential in the computer vision community. For the sake of trade-off between efficiency and performance, a group of works merely perform SA operation within local patches, whereas the global contextual information is abandoned, which would be indispensable for visual recognition tasks. To solve the issue, the subsequent global-local ViTs take a stab at marrying local SA with global one in parallel or alternative way in the model. Nevertheless, the exhaustively combined local and global context may exist redundancy for various visual data, and the receptive field within each layer is fixed. Alternatively, a more graceful way is that global and local context can adaptively contribute per se to accommodate different visual data. To achieve this goal, we in this paper propose a novel ViT architecture, termed NomMer, which can dynamically Nominate the synergistic global-local context in vision transforMer. By investigating the working pattern of our proposed NomMer, we further explore what context information is focused. Beneficial from this "dynamic nomination" mechanism, without bells and whistles, the NomMer can not only achieve 84.5% Top-1 classification accuracy on ImageNet with only 73M parameters, but also show promising performance on dense prediction tasks, i.e., object detection and semantic segmentation. The code and models will be made publicly available at https://github.com/TencentYoutuResearch/VisualRecognition-NomMer


title: Learning Low-Dimensional Quadratic-Embeddings of High-Fidelity Nonlinear Dynamics using Deep Learning

abstract: Learning dynamical models from data plays a vital role in engineering design, optimization, and predictions. Building models describing dynamics of complex processes (e.g., weather dynamics, or reactive flows) using empirical knowledge or first principles are onerous or infeasible. Moreover, these models are high-dimensional but spatially correlated. It is, however, observed that the dynamics of high-fidelity models often evolve in low-dimensional manifolds. Furthermore, it is also known that for sufficiently smooth vector fields defining the nonlinear dynamics, a quadratic model can describe it accurately in an appropriate coordinate system, conferring to the McCormick relaxation idea in nonconvex optimization. Here, we aim at finding a low-dimensional embedding of high-fidelity dynamical data, ensuring a simple quadratic model to explain its dynamics. To that aim, this work leverages deep learning to identify low-dimensional quadratic embeddings for high-fidelity dynamical systems. Precisely, we identify the embedding of data using an autoencoder to have the desired property of the embedding. We also embed a Runge-Kutta method to avoid the time-derivative computations, which is often a challenge. We illustrate the ability of the approach by a couple of examples, arising in describing flow dynamics and the oscillatory tubular reactor model.


title: Generalizing electrocardiogram delineation -- Training convolutional neural networks with synthetic data augmentation

abstract: Obtaining per-beat information is a key task in the analysis of cardiac electrocardiograms (ECG), as many downstream diagnosis tasks are dependent on ECG-based measurements. Those measurements, however, are costly to produce, especially in recordings that change throughout long periods of time. However, existing annotated databases for ECG delineation are small, being insufficient in size and in the array of pathological conditions they represent. This article delves has two main contributions. First, a pseudo-synthetic data generation algorithm was developed, based in probabilistically composing ECG traces given "pools" of fundamental segments, as cropped from the original databases, and a set of rules for their arrangement into coherent synthetic traces. The generation of conditions is controlled by imposing expert knowledge on the generated trace, which increases the input variability for training the model. Second, two novel segmentation-based loss functions have been developed, which attempt at enforcing the prediction of an exact number of independent structures and at producing closer segmentation boundaries by focusing on a reduced number of samples. The best performing model obtained an $F_1$-score of 99.38\% and a delineation error of $2.19 \pm 17.73$ ms and $4.45 \pm 18.32$ ms for all wave's fiducials (onsets and offsets, respectively), as averaged across the P, QRS and T waves for three distinct freely available databases. The excellent results were obtained despite the heterogeneous characteristics of the tested databases, in terms of lead configurations (Holter, 12-lead), sampling frequencies ($250$, $500$ and $2,000$ Hz) and represented pathophysiologies (e.g., different types of arrhythmias, sinus rhythm with structural heart disease), hinting at its generalization capabilities, while outperforming current state-of-the-art delineation approaches.


title: Replica symmetry breaking in dense neural networks

abstract: Understanding the glassy nature of neural networks is pivotal both for theoretical and computational advances in Machine Learning and Theoretical Artificial Intelligence. Keeping the focus on dense associative Hebbian neural networks, the purpose of this paper is two-fold: at first we develop rigorous mathematical approaches to address properly a statistical mechanical picture of the phenomenon of {\em replica symmetry breaking} (RSB) in these networks, then -- deepening results stemmed via these routes -- we aim to inspect the {\em glassiness} that they hide. In particular, regarding the methodology, we provide two techniques: the former is an adaptation of the transport PDE to the case, while the latter is an extension of Guerra's interpolation breakthrough. Beyond coherence among the results, either in replica symmetric and in the one-step replica symmetry breaking level of description, we prove the Gardner's picture and we identify the maximal storage capacity by a ground-state analysis in the Baldi-Venkatesh high-storage regime. In the second part of the paper we investigate the glassy structure of these networks: in contrast with the replica symmetric scenario (RS), RSB actually stabilizes the spin-glass phase. We report huge differences w.r.t. the standard pairwise Hopfield limit: in particular, it is known that it is possible to express the free energy of the Hopfield neural network as a linear combination of the free energies of an hard spin glass (i.e. the Sherrington-Kirkpatrick model) and a soft spin glass (the Gaussian or "spherical" model). This is no longer true when interactions are more than pairwise (whatever the level of description, RS or RSB): for dense networks solely the free energy of the hard spin glass survives, proving a huge diversity in the underlying glassiness of associative neural networks.


title: Following Floquet states in high-dimensional Hilbert spaces

abstract: An iterative algorithm is established which enables one to compute individual Floquet states even for many-body systems with high-dimensional Hilbert spaces that are not accessible to commonly employed conventional methods. A strategy is proposed for following a Floquet state in response to small changes of a given system's Hamiltonian. The scheme is applied to a periodically driven Bose-Hubbard chain, verifying the possibility of pseudoadiabatic Floquet state following. In particular, it is demonstrated that a driving-induced Mott insulatorlike target Floquet state can be populated with high efficiency if the driving amplitude is turned on smoothly but not too slowly. We conclude that the algorithm constitutes a powerful tool for the future investigation of many-body Floquet systems.


title: Capillary flow of a suspension in the presence of discontinuous shear thickening

abstract: The rheology of suspensions showing discontinuous shear thickening (DST) is well documented in conventional rheometer with rotating tools, but their study in capillary flow is still lacking. We present results obtained in a homemade capillary rheometer working in an imposed pressure regime. We show that the shape of the experimental curve giving the volume flow rate versus the wall stress in a capillary can be qualitatively reproduced from the curve obtained in rotational geometry at imposed stress but instead of a sharp decrease of the volume flow rate observed at a critical stress, this transposition predicts a progressive decrease in flow rate. The Wyart-Cates theory is used to reproduce the stress-shear rate curve obtained in rotational geometry and then applied to predict the volume flow rate at imposed pressure. The theoretical curve predicts a total stop of the flow at high stress, whereas experimentally it remains constant. We propose a modification of the theory which, by taking into account the relaxation of the frictional contacts in the absence of shear rate, well predicts the high stress behavior. We also hypothesized that the DST transition propagates immediately inside the capillary, once the wall shear stress has reached its critical value: $\tau_R=\tau_c$, even if the internal shear stress $\tau(r<R)$ is below the critical one. In this way the whole experimental curve can be well reproduced by the modified W-C model.


title: Electric dipole moments of baryons with bottom quarks

abstract: Triggered by experimental prospects to measure electromagnetic dipole moments of baryons containing a bottom quark, we calculate the CP-odd electric dipole moments (EDMs) of spin-1/2 single-bottom baryons. We consider CP-violating dimension-six operators in the Standard Model Effective Field Theory that involve bottom quarks, and apply heavy-baryon chiral perturbation theory to compute the EDMs of several baryons. We discuss the expected size of the EDMs for beyond-the-Standard Model physics appearing at the TeV scale.


title: Tomographic long-distance microPIV to investigate the small scales of turbulence in a jet at high Reynolds number

abstract: The small scales of turbulence in a high-Reynolds-number jet ($Re_{\lambda} \approx 350$) are investigated with a \textmu PIV setup to overcome the optical limitations of conventional tomographic PIV setups. With the aim of validating the performances of tomographic long-distance \textmu PIV, analyses are carried out involving statistical aspects of the small scales of turbulence. The technique is assessed and the data are bench-marked to be applied to the analysis of any three dimensional small-scale phenomena in large-scale flow domains.


title: The Double Limit Theorem and its Legacy

abstract: This chapter surveys recent and less recent results on convergence of Kleinian representations, following Thurston's Double Limit and "AH(acylindrical) is compact" Theorems.


title: The intrinsic Toeplitz structure and its applications in algebraic Riccati equations

abstract: In this paper we derive a Toeplitz-structured closed form of the unique positive semi-definite stabilizing solution for the discrete-time algebraic Riccati equations, especially for the case that the state matrix is not stable. Based on the found form and fast Fourier transform, we propose a new algorithm for solving both discrete-time and continuous-time large-scale algebraic Riccati equations with low-rank structure. It works without unnecessary assumptions, complicated shift selection strategies, or matrix calculations of the cubic order with respect to the problem scale. Numerical examples are given to illustrate its features. Besides, we show that it is theoretically equivalent to several algorithms existing in the literature in the sense that they all produce the same sequence under the same parameter setting.


title: Tunable gigahertz dynamics of low-temperature skyrmion lattice in a chiral magnet

abstract: Recently, it has been shown that the chiral magnetic insulator Cu$_2$OSeO$_3$ hosts skyrmions in two separated pockets in temperature and magnetic field phase space. It has also been shown that the predominant stabilization mechanism for the low-temperature skyrmion (LTS) phase is via the crystalline anisotropy, opposed to temperature fluctuations that stabilize the well-established high-temperature skyrmion (HTS) phase. Here, we report on a detailed study of LTS generation by field cycling, probed by GHz spin dynamics in Cu$_2$OSeO$_3$. LTSs are populated via a field cycling protocol with the static magnetic field applied parallel to the $\langle{100}\rangle$ crystalline direction of plate and cuboid-shaped bulk crystals. By analyzing temperature-dependent broadband spectroscopy data, clear evidence of low-temperature skyrmion excitations with clockwise (CW), counterclockwise (CCW), and breathing mode (BR) character at temperatures below $T$ = 40 K are shown. We find that the mode intensities can be tuned with the number of field-cycles below the saturation field. By tracking the resonance frequencies, we are able to map out the field-cycle-generated LTS phase diagram, from which we conclude that the LTS phase is distinctly separated from the high-temperature counterpart. We also study the mode hybridization between the dark CW and the BR modes as a function of temperature. By using two Cu$_2$OSeO$_3$ crystals with different shapes and therefore different demagnetization factors, together with numerical calculations, we unambiguously show that the magnetocrystalline anisotropy plays a central role for the mode hybridization.


title: Neutrino emission from binary neutron star mergers: characterizing light curves and mean energies

abstract: Neutrinos are copiously emitted by neutron star mergers, due to the high temperatures reached by dense matter during the merger and its aftermath. Neutrinos influence the merger dynamics and shape the properties of the ejecta, including the resulting $r$-process nucleosynthesis and kilonova emission. In this work, we analyze neutrino emission from a large sample of merger radiation hydrodynamics simulations in Numerical Relativity, covering a broad range of initial masses, nuclear equation of state and viscosity treatments. We extract neutrino luminosities and mean energies, and compute quantities of interest such as the peak values, peak broadnesses, time averages and decrease time scales. We provide a systematic description of such quantities, including their dependence on the initial parameters of the system. We find that for equal-mass systems the total neutrino luminosity (several $10^{53}{\rm erg~s^{-1}}$) decreases for increasing reduced tidal deformability, as a consequence of the less violent merger dynamics. Similarly, tidal disruption in asymmetric mergers leads to systematically smaller luminosities. Peak luminosities can be twice as large as the average ones. Electron antineutrino luminosities dominate (initially by a factor of 2-3) over electron neutrino ones, while electron neutrinos and heavy flavour neutrinos have similar luminosities. Mean energies are nearly constant in time and independent on the binary parameters. Their values reflect the different decoupling temperature inside the merger remnant. Despite present uncertainties in neutrino modelling, our results provide a broad and physically grounded characterization of neutrino emission, and they can serve as a reference point to develop more sophisticated neutrino transport schemes.


title: Continuity and topological structural stability for nonautonomous random attractors

abstract: In this work, we study continuity and topological structural stability of attractors for nonautonomous random differential equations obtained by small bounded random perturbations of autonomous semilinear problems. First, we study existence and permanence of unstable sets of hyperbolic solutions. Then, we use this to establish lower semicontinuity of nonautonomous random attractors and to show that the gradient structure persists under nonautonomous random perturbations. Finally, we apply the abstract results in a stochastic differential equation and in a damped wave equation with a perturbation on the damping.


title: Bootstrapping Lattice Vacua

abstract: This paper demonstrates the application of semidefinite programming to lattice field theories, showcasing spin chains and lattice scalar field theory. Requiring expectation values of manifestly positive semi-definite operators to be non-negative results in a lower bound on the ground-state energy of any quantum mechanical system, which can be made arbitrarily tight for systems described by finite-dimensional Hilbert spaces. Such bounds can be obtained directly in the infinite-volume limit. The process of optimizing these lower bounds also yields estimates for a chosen set of expectation values in the ground state.


title: Intermittent Sampling in Repetitive Control: Exploiting Time-Varying Measurements

abstract: The performance increase up to the sensor resolution in repetitive control (RC) invalidates the standard assumption in RC that data is available at equidistant time instances, e.g., in systems with package loss or when exploiting timestamped data from optical encoders. The aim of this paper is to develop an intermittent sampling RC framework for non-equidistant measurements. Sufficient stability conditions are derived that can be verified using non-parametric frequency response function data. This results in a frequency domain design procedure to explicitly address uncertainty. The RC framework is validated on an industrial printbelt setup for which exact non-equidistant measurement data is available.


title: Proton Electromagnetic Form Factors in the Time-like Region through the Scan Technique

abstract: For over 100 years, scientists have investigated the properties of the proton, which is one of the most abundant components of visible matter in the universe. Nevertheless, researchers do not fully understand many details about its internal structure and dynamics. Time-like electromagnetic form factors are one of the observable quantities that can help us achieve a deeper understanding. In this review article, we present an overview of the current experimental status in this field, consisting of measurements of the time-like reactions $e^{+}e^{-}\to p\bar{p}$, $p\bar{p}\to e^{+}e^{-}$, and future measurements of $p\bar{p}\to \mu^{+}\mu^{-}$. A focus is put on recent high precision results of the reaction $e^{+}e^{-}\to p\bar{p}$ that have been obtained after analyzing 688.5~pb$^{-1}$ of data taken at the BESIII experiment. They are compared and put into perspective to results from previous measurements in this channel. We discuss the channels $p\bar{p}\to e^{+}e^{-}$ and $p\bar{p}\to\mu^{+}\mu^{-}$ in terms of the few existing as well as future measurements, which the PANDA experiment will perform. Finally, we review several new theoretical models and phenomenological approaches inspired by the BESIII high precision results and then discuss their implications for a deeper understanding of the proton's structure and inner dynamics.


title: Attribute-specific Control Units in StyleGAN for Fine-grained Image Manipulation

abstract: Image manipulation with StyleGAN has been an increasing concern in recent years.Recent works have achieved tremendous success in analyzing several semantic latent spaces to edit the attributes of the generated images.However, due to the limited semantic and spatial manipulation precision in these latent spaces, the existing endeavors are defeated in fine-grained StyleGAN image manipulation, i.e., local attribute translation.To address this issue, we discover attribute-specific control units, which consist of multiple channels of feature maps and modulation styles. Specifically, we collaboratively manipulate the modulation style channels and feature maps in control units rather than individual ones to obtain the semantic and spatial disentangled controls. Furthermore, we propose a simple yet effective method to detect the attribute-specific control units. We move the modulation style along a specific sparse direction vector and replace the filter-wise styles used to compute the feature maps to manipulate these control units. We evaluate our proposed method in various face attribute manipulation tasks. Extensive qualitative and quantitative results demonstrate that our proposed method performs favorably against the state-of-the-art methods. The manipulation results of real images further show the effectiveness of our method.


title: Transferability Metrics for Selecting Source Model Ensembles

abstract: We address the problem of ensemble selection in transfer learning: Given a large pool of source models we want to select an ensemble of models which, after fine-tuning on the target training set, yields the best performance on the target test set. Since fine-tuning all possible ensembles is computationally prohibitive, we aim at predicting performance on the target dataset using a computationally efficient transferability metric. We propose several new transferability metrics designed for this task and evaluate them in a challenging and realistic transfer learning setup for semantic segmentation: we create a large and diverse pool of source models by considering 17 source datasets covering a wide variety of image domain, two different architectures, and two pre-training schemes. Given this pool, we then automatically select a subset to form an ensemble performing well on a given target dataset. We compare the ensemble selected by our method to two baselines which select a single source model, either (1) from the same pool as our method; or (2) from a pool containing large source models, each with similar capacity as an ensemble. Averaged over 17 target datasets, we outperform these baselines by 6.0% and 2.5% relative mean IoU, respectively.


title: Two-dimensional superconductivity of the Ca-intercalated graphene on SiC: vital role of the interface between monolayer graphene and the substrate

abstract: Ca-intercalation has opened a way for superconductivity in graphene on SiC. However, the atomic and electronic structures being critical for superconductivity are still under discussion. We find the essential role of the interface between monolayer graphene and the SiC substrate for superconductivity. In the Ca-intercalation process, at the interface a carbon layer terminating SiC changes to graphene by Ca-termination of SiC (monolayer graphene becomes bilayer) with inducing more carriers than a free-standing model. Then, Ca is intercalated in-between graphene layers, which shows superconductivity with the updated critical temperature ($T_{C}$) of up to 5.7 K. In addition, the relation between $T_{C}$ and the normal-state conductivity is unusual, "dome-shape". These findings are beyond the simple C6CaC6 model in which s-wave BCS superconductivity is theoretically predicted. This work proposes a general picture of the intercalation-induced superconductivity in graphene on SiC, and shed the light on the potential of superconductivity induced by other intercalants.


title: An inverse problem of determining fractional orders in a fractal solute transport model

abstract: A fractal mobile-immobile (MIM in short) solute transport model in porous media is set forth, and an inverse problem of determining the fractional orders by the additional measurements at one interior point is investigated by Laplace transform. The unique existence of the solution to the forward problem is obtained based on the inverse Laplace transform, and the uniqueness of the inverse problem is proved in the real-space of Laplace transform by the maximum principle, and numerical inversions with noisy data are presented to demonstrate a numerical stability of the inverse problem.


title: Optimal transportation of measures with a parameter

abstract: We consider optimal transportation of measures on metric and topological spaces in the case where the cost function and marginal distributions depend on a parameter with values in a metric space. The Hausdorff distance between the sets of probability measures with given marginals is estimated via the distances between the marginals themselves. The continuity of the cost of optimal transportation with respect to the parameter is proved in the case of continuous dependence of the cost function and marginal distributions on this parameter. Existence of approximate optimal plans continuous with respect to the parameter is established. It is shown that the optimal plan is continuous with respect to the parameter in case of uniqueness. Examples are constructed when there is no continuous selection of optimal plans. Finally, a general result on convergence of Monge optimal mappings is proved.


title: Vanishing viscosity in mean-field optimal control

abstract: We show the existence of Lipschitz-in-space optimal controls for a class of mean-field control problems with dynamics given by a non-local continuity equation. The proof relies on a vanishing viscosity method: we prove the convergence of the same problem where a diffusion term is added, with a small viscosity parameter. By using stochastic optimal control, we first show the existence of a sequence of optimal controls for the problem with diffusion. We then build the optimizer of the original problem by letting the viscosity parameter go to zero.


title: Perturbative heavy quark contributions to the anomalous magnetic moment of the muon

abstract: We discuss a method for calculating the heavy quark vacuum polarisation contribution to the muon anomalous magnetic moment, $a_\mu$, using perturbative QCD. This approach is independent of $e^+e^-$ cross-section data allowing a fully theoretical evaluation of these contributions. We confirm an existing result at lower orders in $\alpha_s$ and state a new explicit analytic formula which includes terms up to $\mathcal{O}\left(\alpha_s^3\right)$. Numerically the charm quark contribution to $a_\mu$ is found to be $a_\mu^c = (14.5 \pm 0.2)\times 10^{-10}$ and the bottom contributes $a_\mu^b = (0.302 \pm 0.002) \times 10^{-10} $. Our uncertainty estimates include both parametric uncertainties from $\hat{m}_q(\hat{m}_q)$ and $\alpha_s(\hat{m}_q)$, and theoretical uncertainties in the perturbative expansion. Comparison is made between these results and alternative approaches such as lattice QCD or those based on a dispersion relation and cross-section data.


title: Uniqueness in determination of the fractional order in the TFDE using one measurement

abstract: This article deals with an inverse problem of identifying the fractional order in the 1D time fractional diffusion equation (TFDE in short) using the measurement at one space-time point. Based on the expression of the solution to the forward problem, the inverse problem is transformed to a nonlinear algebraic equation. By choosing suitable initial values and the measured point, the nonlinear equation has a unique solution by the monotonicity of the Mittag-Lellfer function. Theoretical testifications are presented to demonstrate the unique solvability of the inverse problem.


title: Photometric calibrations and characterization of the 4K$\times$4K CCD Imager, the first-light axial port instrument for the 3.6m DOT

abstract: In the present work, recent characterization results of the 4K$\times$4K CCD Imager (a first light instrument of the 3.6m Devasthal Optical Telescope; DOT) and photometric calibrations are discussed, along with measurements of the extinction coefficients and sky brightness values at the location of the 3.6m DOT site based on the imaging data taken between 2016 and 2021. For the 4K$\times$4K CCD Imager, all given combinations of gains (1, 2, 3, 5, and 10 e$^-$/ADU) and readout noise values for the three readout speeds (100 kHz, 500 kHz, and 1 MHz) are verified using the sky flats and bias frames taken during early 2021; measured values resemble well with the theoretical ones. Using color-color and color-magnitude transformation equations, color coefficients ($\alpha$) and zero-points ($\beta$) are determined to constrain and examine their long-term consistencies and any possible evolution based on $UBVRI$ observations of several Landolt standard fields observed during 2016-2021. Our present analysis exhibits consistency among estimated $\alpha$ values within the 1$\sigma$ and does not show any noticeable trend with time. We also found that the photometric errors and limiting magnitudes computed using the CCD Imager data follow the simulated ones published earlier. The average extinction coefficients, their seasonal variations, and zenith night-sky brightness values for the moon-less nights for all ten Bessell and SDSS filters are also estimated and found comparable to those reported for other good astronomical sites.


title: Typicality of nonequilibrium (quasi-)steady currents

abstract: The understanding of the emergence of equilibrium statistical mechanics has progressed significantly thanks to developments from typicality, canonical and dynamical, and from the eigenstate thermalization hypothesis. Here we focus on a nonequilibrium scenario in which two nonintegrable systems prepared in different states are locally and non-extensively coupled to each other. Using both perturbative analysis and numerical exact simulations of up to 28 spin systems, we demonstrate the typical emergence of nonequilibrium (quasi-)steady current for weak coupling between the subsystems. We also identify that these currents originate from a prethermalization mechanism, which is the weak and local breaking of the conservation of the energy for each subsystem.


title: Normalized solutions with positive energies for a coercive problem and application to the cubic-quintic nonlinear Schr\"{o}dinger equation

abstract: In any dimension $N \geq 1$, for given mass $m > 0$ and when the $C^1$ energy functional \begin{equation*} I(u) := \frac{1}{2} \int_{\mathbb{R}^N} |\nabla u|^2 dx - \int_{\mathbb{R}^N} F(u) dx \end{equation*} is coercive on the mass constraint \begin{equation*} S_m := \left\{ u \in H^1(\mathbb{R}^N) ~|~ \|u\|^2_{L^2(\mathbb{R}^N)} = m \right\}, \end{equation*} we are interested in searching for constrained critical points at positive energy levels. Under general conditions on $F \in C^1(\mathbb{R}, \mathbb{R})$ and for suitable ranges of the mass, we manage to construct such critical points which appear as a local minimizer or correspond to a mountain pass or a symmetric mountain pass level. In particular, our results shed some light on the cubic-quintic nonlinear Schr\"{o}dinger equation in $\mathbb{R}^3$.


title: T-violating effect in $\nu_{\tau} (\bar{\nu}_{\tau})-$nucleon quasielastic scattering

abstract: The production cross sections and polarization observables of the $\tau$ leptons produced in the $|\Delta S| = 0$ and $1$ induced $\nu_{\tau}(\bar{\nu}_{\tau})-N$ quasielastic scattering have been studied. The effect of T violation, in the case of $\Delta S=0$ and 1 processes, and the SU(3) symmetry breaking effects, in the case of $\Delta S=1$ processes, on the total scattering cross sections as well polarization observables are explored. Experimentally, it would be possible to observe these effects in the forthcoming (anti)neutrino experiments like DUNE, SHiP and DsTau.


title: Projective Closure of Affine Monomial Curves II

abstract: In this paper our aim is twofold. First, we introduce the notion of star gluing of numerical semigroups and show that arithmetically Cohen-Macaulay and Gorenstein properties of the projective closure are preserved under this gluing operation. We then give a condition on Gr\"{o}bner basis of the defining ideal of an affine monomial curve which ensures that the Betti sequence of the affine curve is the same as the Betti sequence of its projective closure. We also study the effect of simple gluing on Betti sequences of the projective closure. Finally, we construct some numerical semigroups, using a gluing technique, such that the Cohen-Macaulay type of corresponding affine curve and its projective closure are both $n$.


title: Rotation Equivariant 3D Hand Mesh Generation from a Single RGB Image

abstract: We develop a rotation equivariant model for generating 3D hand meshes from 2D RGB images. This guarantees that as the input image of a hand is rotated the generated mesh undergoes a corresponding rotation. Furthermore, this removes undesirable deformations in the meshes often generated by methods without rotation equivariance. By building a rotation equivariant model, through considering symmetries in the problem, we reduce the need for training on very large datasets to achieve good mesh reconstruction. The encoder takes images defined on $\mathbb{Z}^{2}$ and maps these to latent functions defined on the group $C_{8}$. We introduce a novel vector mapping function to map the function defined on $C_{8}$ to a latent point cloud space defined on the group $\mathrm{SO}(2)$. Further, we introduce a 3D projection function that learns a 3D function from the $\mathrm{SO}(2)$ latent space. Finally, we use an $\mathrm{SO}(3)$ equivariant decoder to ensure rotation equivariance. Our rotation equivariant model outperforms state-of-the-art methods on a real-world dataset and we demonstrate that it accurately captures the shape and pose in the generated meshes under rotation of the input hand.


title: Dielectric constant of disordered phases of the smallest monoalcohols : evidence for the hindered plastic crystal phase

abstract: With gradual temperature increase in premelting regions of solid phase of methanol and high pressure phase of ethanol, and using novel procedure of separation of electrode polarization effects, we are able to register the contribution of relaxation process to low-frequency dielectric constant. This contribution is about half the liquid's dielectric constant near temperature of solidification , and is almost an order of magnitude higher than reported earlier for ambient pressure phase of methanol. As opposed to dielectric constant of water at ambient pressure, which does not change much during crystallization, our finding indicates the hindrance of molecule rotation in orientationally disordered phases of monoalcohols. Similar dielectric responses of ambient pressure methanol and high-pressure phase of ethanol imply existence of hindered plastic crystal phase of ethanol (not observed at low pressures). We also have found some dynamic disorder in nominally fully ordered phase of these monoalcohols ($\alpha$-phase of methanol and low-pressure phase of ethanol), the contribution of this disorder being dependent on external conditions (e.g. temperature), and increasing at approaching the order-disorder transition. On the other hand, the amplitude of dielectric responce in hindered plastic crystal phases is almost independent of temperature.


title: Quasi-equivalence of heights in algebraic function fields of one variable

abstract: For points $(a,b)$ on an algebraic curve over a field $K$ with height $\mathfrak{h}$, the asymptotic relation between $\mathfrak{h}(a)$ and $\mathfrak{h}(b)$ has been extensively studied in diophantine geometry. When $K=\overline{k(t)}$ is the field of algebraic functions in $t$ over a field $k$ of characteristic zero, Eremenko in 1998 proved the following quasi-equivalence for an absolute logarithmic height $\mathfrak{h}$ in $K$: Given $P\in K[X,Y]$ irreducible over $K$ and $\epsilon>0$, there is a constant $C$ only depending on $P$ and $\epsilon$ such that for each $(a,b)\in K^2$ with $P(a,b)=0$, $$ (1-\epsilon) \deg(P,Y) \mathfrak{h}(b)-C \leq \deg(P,X) \mathfrak{h}(a) \leq (1+\epsilon) \deg(P,Y) \mathfrak{h}(b)+C. $$ In this article, we shall give an explicit bound for the constant $C$ in terms of the total degree of $P$, the height of $P$ and $\epsilon$. This result is expected to have applications in some other areas such as symbolic computation of differential and difference equations.


title: Bandit problems with fidelity rewards

abstract: The fidelity bandits problem is a variant of the $K$-armed bandit problem in which the reward of each arm is augmented by a fidelity reward that provides the player with an additional payoff depending on how 'loyal' the player has been to that arm in the past. We propose two models for fidelity. In the loyalty-points model the amount of extra reward depends on the number of times the arm has previously been played. In the subscription model the additional reward depends on the current number of consecutive draws of the arm. We consider both stochastic and adversarial problems. Since single-arm strategies are not always optimal in stochastic problems, the notion of regret in the adversarial setting needs careful adjustment. We introduce three possible notions of regret and investigate which can be bounded sublinearly. We study in detail the special cases of increasing, decreasing and coupon (where the player gets an additional reward after every $m$ plays of an arm) fidelity rewards. For the models which do not necessarily enjoy sublinear regret, we provide a worst case lower bound. For those models which exhibit sublinear regret, we provide algorithms and bound their regret.


title: Toward an Idiomatic Framework for Cognitive Robotics

abstract: Inspired by the "Cognitive Hour-glass" model presented in https://doi.org/10.1515/jagi-2016-0001, we propose a new framework for developing cognitive architectures aimed at cognitive robotics. The purpose of the proposed framework is foremost to ease the development of cognitive architectures by encouraging and mitigating cooperation and re-use of existing results. This is done by proposing a framework dividing the development of cognitive architectures into a series of layers that can be considered partly in isolation, and some of which directly relate to other research fields. Finally, we give introductions to and review some topics essential to the proposed framework.


title: Cluster-based hierarchical network model of the fluidic pinball -- Cartographing transient and post-transient, multi-frequency, multi-attractor behaviour

abstract: We propose a self-supervised cluster-based hierarchical reduced-order modelling methodology to model and analyse the complex dynamics arising from a sequence of bifurcations for a two-dimensional incompressible flow of the unforced fluidic pinball. The hierarchy is guided by a triple decomposition separating a slowly varying base flow, dominant shedding and secondary flow structures. All these flow components are kinematically resolved by a hierarchy of clusters, starting with the base flow in the first layer, resolving the vortex shedding in the second layer and distilling the secondary flow structures in the third layer. The transition dynamics between these clusters is described by a directed network, called the cluster-based hierarchical network model (HiCNM) in the sequel. Three consecutive Reynolds number regimes for different dynamics are considered: (i) periodic shedding at $Re=80$, (ii) quasi-periodic shedding at $Re=105$, and (iii) chaotic shedding at $Re=130$, involving three unstable fixed points, three limit cycles, two quasi-periodic attractors and a chaotic attractor. The HiCNM enables identifying the transient and post-transient dynamics between multiple invariant sets in a self-supervised manner. Both the global trends and the local structures during the transition are well resolved by a moderate number of hierarchical clusters. The proposed reduced-order modelling provides a visual representation of transient and post-transient, multi-frequency, multi-attractor behaviour and may automate the identification and analysis of complex dynamics with multiple scales and multiple invariant sets.


title: Scaling region of the 3D Ising universality class in finite temperature QCD

abstract: We introduce a universal combination of susceptibility and correlation length in the 3D Ising model, depending both on temperature and external magnetic field. Starting from a parametric representation of the equation of state, we study its behaviour close to the critical point. The results we derive can be used as a sort of "reference frame" to chart the scaling region of the 3D Ising universality class. More specifically, we focus on instances of Ising behaviour in finite temperature QCD and, among these, we are particularly interested on the critical ending point in the finite density, finite temperature QCD phase diagram. In this context, Monte Carlo simulations are not possible and it is particularly difficult to disentangle "magnetic-like" from "thermal-like" observables, thus an explicit charting of the critical region could be useful for a direct comparison of experimental results with QFT/Statmech predictions.


title: Fano fourfolds of K3 type

abstract: We produce a list of 64 families of Fano fourfolds of K3 type, extracted from our database of at least 634 Fano fourfolds constructed as zero loci of general global sections of completely reducible homogeneous vector bundles on products of flag manifolds. We study the geometry of these Fano fourfolds in some detail, and we find the origin of their K3 structure by relating most of them either to cubic fourfolds, Gushel-Mukai fourfolds, or actual K3 surfaces. Their main invariants and some information on their rationality and on possible semiorthogonal decompositions for their derived categories are provided.


title: Transport features of topological corner states in honeycomb lattice with multihollow structure

abstract: Higher-order topological phase in 2-dimensional (2D) systems is characterized by in-gap corner states, which are hard to detect and utilize. We numerically investigate transport properties of topological corner states in 2D honeycomb lattice, where the second-order topological phase is induced by an in-plane Zeeman field in the conventional Kane-Mele model. Through engineering multihollow structures with appropriate boundaries in honeycomb lattice, multiple corner states emerge, which greatly increases the probability to observe them. A typical two-probe setup is built to study the transport features of a diamond-shaped system with multihollow structures. Numerical results reveal the existence of global resonant states in bulk insulator, which corresponds to the resonant tunneling of multiple corner states and occupies the entire scattering region. Furthermore, based on the well separated energy levels of multiple corner states, a single-electron source is constructed.


title: Continuous-time Markov chain as a generic trait-based evolutionary model

abstract: More than ever, today we are left with the abundance of molecular data outpaced by the advancements of the phylogenomic methods. Especially in the case of presence of many genes over a set of species under the phylogeny question, more sophisticated methods than the crude way of concatenation is needed. In this letter, by placing the continuous-time Markov chain (CTMC) on the species set, I present a novel model for inferring the phylogeny, obtaining the network graph, or drawing the proximity conclusions. The rate of transition between states is calculated based on the binary character paths between each two species. This is the base for the pairwise distances between species. Next to its generic use, the formulation of the model allows the site-wise phylogenetic inference and a mathematically justified method of combining these information to form as big as the whole genome phylogenetic inference. Although based on the characters or traits, this model is inherently a distance method but its advantage to other methods of the same class is its ability to incorporate the information of all the other species in forming the pairwise distance between two them.


title: The information horizon entropy for quantum dot and a symmetrical bath

abstract: We study the entropy of quantum-dot system in contact with a symmetrical CFT bath living on the boundary of pure AdS3 black hole. The q-dot is localized at the centre of bath system of finite size. We first determine the exact location of the `information horizon' for q-dot and then obtain corresponding generalised entropy of q-dot plus bath system. It is done by finding codim-2 time extremal curve whose end point uniquely determines the information horizon of localised q-dot system. By including the (bulk) entropy contribution of the information horizon the Page curve for the radiation follows. These results can be easily generalized to higher dimensional cases as well.


title: DeepWiVe: Deep-Learning-Aided Wireless Video Transmission

abstract: We present DeepWiVe, the first-ever end-to-end joint source-channel coding (JSCC) video transmission scheme that leverages the power of deep neural networks (DNNs) to directly map video signals to channel symbols, combining video compression, channel coding, and modulation steps into a single neural transform. Our DNN decoder predicts residuals without distortion feedback, which improves video quality by accounting for occlusion/disocclusion and camera movements. We simultaneously train different bandwidth allocation networks for the frames to allow variable bandwidth transmission. Then, we train a bandwidth allocation network using reinforcement learning (RL) that optimizes the allocation of limited available channel bandwidth among video frames to maximize overall visual quality. Our results show that DeepWiVe can overcome the cliff-effect, which is prevalent in conventional separation-based digital communication schemes, and achieve graceful degradation with the mismatch between the estimated and actual channel qualities. DeepWiVe outperforms H.264 video compression followed by low-density parity check (LDPC) codes in all channel conditions by up to 0.0462 on average in terms of the multi-scale structural similarity index measure (MS-SSIM), while beating H.265 + LDPC by up to 0.0058 on average. We also illustrate the importance of optimizing bandwidth allocation in JSCC video transmission by showing that our optimal bandwidth allocation policy is superior to the na\"ive uniform allocation. We believe this is an important step towards fulfilling the potential of an end-to-end optimized JSCC wireless video transmission system that is superior to the current separation-based designs.


title: Tuning Coherent-Phonon Heat Transport in LaCoO$_3$/SrTiO$_3$ Superlattices

abstract: Accessing the regime of coherent phonon propagation in nanostructures opens enormous possibilities to control the thermal conductivity in energy harvesting devices, phononic circuits, etc. In this paper we show that coherent phonons contribute substantially to the thermal conductivity of LaCoO3/SrTiO3 oxide superlattices, up to room temperature. We show that their contribution can be tuned through small variations of the superlattice periodicity, without changing the total superlattice thickness. Using this strategy, we tuned the thermal conductivity by 20% at room temperature. We also discuss the role of interface mixing and epitaxial relaxation as an extrinsic, material dependent key parameter for understanding the thermal conductivity of oxide superlattices.


title: Regulated Multiset Rewriting Systems

abstract: Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls on the derivations as a tool for reducing possible non-deterministic behaviour by providing additional knowledge about the system. We introduce several regulation mechanisms and compare their generative power.


title: Learning dynamical systems from data: A simple cross-validation perspective, part III: Irregularly-Sampled Time Series

abstract: A simple and interpretable way to learn a dynamical system from data is to interpolate its vector-field with a kernel. In particular, this strategy is highly efficient (both in terms of accuracy and complexity) when the kernel is data-adapted using Kernel Flows (KF)~\cite{Owhadi19} (which uses gradient-based optimization to learn a kernel based on the premise that a kernel is good if there is no significant loss in accuracy if half of the data is used for interpolation). Despite its previous successes, this strategy (based on interpolating the vector field driving the dynamical system) breaks down when the observed time series is not regularly sampled in time. In this work, we propose to address this problem by directly approximating the vector field of the dynamical system by incorporating time differences between observations in the (KF) data-adapted kernels. We compare our approach with the classical one over different benchmark dynamical systems and show that it significantly improves the forecasting accuracy while remaining simple, fast, and robust.


title: On the dimension and structure of the square of the dual of a Goppa code

abstract: The Goppa Code Distinguishing (GD) problem asks to distinguish efficiently a generator matrix of a Goppa code from a randomly drawn one. We revisit a distinguisher for alternant and Goppa codes through a new approach, namely by studying the dimension of square codes. We provide here a rigorous upper bound for the dimension of the square of the dual of an alternant or Goppa code, while the previous approach only provided algebraic explanations based on heuristics. Moreover, for Goppa codes, our proof extends to the non-binary case as well, thus providing an algebraic explanation for the distinguisher which was missing up to now. All the upper bounds are tight and match experimental evidence. Our work also introduces new algebraic results about products of trace codes in general and of dual of alternant and Goppa codes in particular, clarifying their square code structure. This might be of interest for cryptanalysis purposes.


title: Group theoretic approach and analytical solutions of the compressible Navier-Stokes equations

abstract: A group theoretic analysis of the compressible Navier-Stokes equations of an ideal gas are carried out. The 12-dimensional Lie symmetry group is computed. The commutation table and the Levi decomposition of its Lie algebra are presented. The equations are reduced and self-similar one-, two- and three-dimensional solutions are computed. Many of them are graphically illustrated.


title: Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs

abstract: Generating high-performance code for diverse hardware and application domains is challenging. Functional array programming languages with patterns like map and reduce have been successfully combined with term rewriting to define and explore optimization spaces. However, deciding what sequence of rewrites to apply is hard and has a huge impact on the performance of the rewritten program. Equality saturation avoids the issue by exploring many possible ways to apply rewrites, efficiently representing many equivalent programs in an e-graph data structure. Equality saturation has some limitations when rewriting functional language terms, as currently naive encodings of the lambda calculus are used. We present new techniques for encoding polymorphically typed lambda calculi, and show that the efficient encoding reduces the runtime and memory consumption of equality saturation by orders of magnitude. Moreover, equality saturation does not yet scale to complex compiler optimizations. These emerge from long rewrite sequences of thousands of rewrite steps, and may use pathological combinations of rewrite rules that cause the e-graph to quickly grow too large. This paper introduces \emph{sketch-guided equality saturation}, a semi-automatic technique that allows programmers to provide program sketches to guide rewriting. Sketch-guided equality saturation is evaluated for seven complex matrix multiplication optimizations, including loop blocking, vectorization, and multi-threading. Even with efficient lambda calculus encoding, unguided equality saturation can locate only the two simplest of these optimizations, the remaining five are undiscovered even with an hour of compilation time and 60GB of RAM. By specifying three or fewer sketch guides all seven optimizations are found in seconds of compilation time, using under 1GB of RAM, and generating high performance code.


title: Non-Asimov Explanations Regulating AI through Transparency

abstract: An important part of law and regulation is demanding explanations for actual and potential failures. We ask questions like: What happened (or might happen) to cause this failure? And why did (or might) it happen? These are disguised normative questions - they really ask what ought to have happened, and how the humans involved ought to have behaved. To answer the normative questions, law and regulation seeks a narrative explanation, a story. At present, we seek these kinds of narrative explanation from AI technology, because as humans we seek to understand technology's working through constructing a story to explain it. Our cultural history makes this inevitable - authors like Asimov, writing narratives about future AI technologies like intelligent robots, have told us that they act in ways explainable by the narrative logic which we use to explain human actions and so they can also be explained to us in those terms. This is, at least currently, not true. This work argues that we can only solve this problem by working from both sides. Technologists will need to find ways to tell us stories which law and regulation can use. But law and regulation will also need to accept different kinds of narratives, which tell stories about fundamental legal and regulatory concepts like fairness and reasonableness that are different from those we are used to.


title: DeepJSCC-Q: Channel Input Constrained Deep Joint Source-Channel Coding

abstract: Recent works have shown that the task of wireless transmission of images can be learned with the use of machine learning techniques. Very promising results in end-to-end image quality, superior to popular digital schemes that utilize source and channel coding separation, have been demonstrated through the training of an autoencoder, with a non-trainable channel layer in the middle. However, these methods assume that any complex value can be transmitted over the channel, which can prevent the application of the algorithm in scenarios where the hardware or protocol can only admit certain sets of channel inputs, such as the use of a digital constellation. Herein, we propose DeepJSCC-Q, an end-to-end optimized joint source-channel coding scheme for wireless image transmission, which is able to operate with a fixed channel input alphabet. We show that DeepJSCC-Q can achieve similar performance to models that use continuous-valued channel input. Importantly, it preserves the graceful degradation of image quality observed in prior work when channel conditions worsen, making DeepJSCC-Q much more attractive for deployment in practical systems.


title: On the scattering of entropy waves at sudden area expansions

abstract: In this work, we investigate both numerically and theoretically the sound generated by entropy waves passing through sudden area expansions. The numerical approach is based on a triple decomposition of the flow variables into a steady mean, a small-amplitude coherent part, and a stochastic turbulent part. The mean flow is obtained as the solution of the Reynolds-Averaged Navier-Stokes (RANS) equations. The equations governing the coherent perturbations are linearised and solved in the frequency domain. To account for the effect of turbulence on the coherent perturbations, a frozen eddy viscosity model is employed. When entropy fluctuations pass through the area expansion, the generated entropy noise behaves as a low-pass filter. The numerical predictions of the noise at low frequencies are compared to the predictions of compact, quasi-one-dimensional, and isentropic theory and large discrepancies are observed. An alternative model for the generated entropy noise tailored for area expansions is then proposed. Such model is based on the conservation of mass, momentum, and energy written in integral form. The model assumes zero frequency and the one-dimensionality of the flow variables far upstream and downstream of the expansion. The predictions of this model agree well with the numerical simulations across a range of finite subsonic Mach numbers including low, intermediate, and high Mach numbers.


title: Predestined Dark Matter Varieties in the Simplest Left-Right Model

abstract: In the simplest left-right extension of the Standard Model of particle interactions with one scalar bidoublet and one $SU(2)_R$ triplet for seesaw Majorana neutrino masses, the addition of a variety of fermion and scalar multiplets automatically makes them stable (predestined) dark matter candidates. We discuss the interplay of this dark ensemble in relic abundance and direct searches.


title: On the stability and null-controllability of an infinite system of linear differential equations

abstract: In this work, the null controllability problem for a linear system in $\ell^2$ is considered, where the matrix of a linear operator describing the system is an infinite matrix with $\lambda\in \mathbb R$ on the main diagonal and 1s above it. We show that the system is asymptotically stable if and only if $\lambda\le-1$, which shows the fine difference between the finite and the infinite-dimensional systems. When $\lambda\le-1$ we also show that the system is null controllable in large. We also show a dependence of the stability on the norm i.e. the same system considered in $\ell^\infty$ is not asymptotically stable if $\lambda=-1$.


title: Trace formulation for photonic inverse design with incoherent sources

abstract: Spatially incoherent light sources, such as spontaneously emitting atoms, naively require Maxwell's equations to be solved many times to obtain the total emission, which becomes computationally intractable in conjunction with large-scale optimization (inverse design). We present a trace formulation of incoherent emission that can be efficiently combined with inverse design, even for topology optimization over thousands of design degrees of freedom. Our formulation includes previous reciprocity-based approaches, limited to a few output channels (e.g. normal emission), as special cases, but generalizes to a continuum of emission directions by exploiting the low-rank structure of emission problems. We present several examples of incoherent-emission topology optimization, including tailoring the geometry of fluorescent particles, a periodically emitting surface, and a structure emitting into a waveguide mode, as well as discussing future applications to problems such as Raman sensing and cathodoluminescence.


title: Deriving Smaller Orthogonal Arrays from Bigger Ones with Genetic Algorithm

abstract: We consider the optimization problem of constructing a binary orthogonal array (OA) starting from a bigger one, by removing a specified amount of lines. In particular, we develop a genetic algorithm (GA) where the underlying chromosomes are constant-weight binary strings that specify the lines to be cancelled from the starting OA. Such chromosomes are then evolved through balanced crossover and mutation operators to preserve the number of ones in them. The fitness function evaluates the matrices obtained from these chromosomes by measuring their distance from satisfying the constraints of an OA smaller than the starting one. We perform a preliminary experimental validation of the proposed genetic algorithm by crafting the initial OA as a random permutation of several blocks of the basic parity-check array, thereby guaranteeing the existence of an optimal solution.


title: Neutrino Tomography of the Earth with ORCA Detector

abstract: Using PREM as a reference model for the Earth density distribution we investigate in the present article the sensitivity of the ORCA detector to deviations of the Earth i) outer core (OC) density, ii) inner core (IC) density, iii) total core density, and iv) mantle density, from their respective PREM densities. The analysis is performed by studying the effects of the Earth matter on the oscillations of atmospheric $\nu_{\mu}$, $\nu_e$, $\bar{\nu}_\mu$ and $\bar{\nu}_e$. We present results which, in particular, illustrate the dependence of the ORCA sensitivity to the OC, IC, core and mantle densities on the type of systematic uncertainties used in the analysis, on the value of the atmospheric neutrino mixing angle $\theta_{23}$, on whether the Earth mass constraint is implemented or not, and on the way it is implemented, and on the type - with normal ordering (NO) or inverted ordering (IO) - of the light neutrino mass spectrum. We show, in particular, that in the "most favorable" NO case of implemented Earth mass constraint, "minimal" systematic errors and $\sin^2\theta_{23}=0.58$, ORCA can determine, e.g., the OC (mantle) density at $3\sigma$ C.L. after 10 years of operation with an uncertainty of (-18\%)/+15\% (of (-6\%)/+8\%). In the "most unfavourable" NO case of "conservative" systematic errors and $\sin^2\theta_{23}=0.42$, the uncertainty reads (-43\%)/+39\% ((-17\%/+20\%), while for for $\sin^2\theta_{23} = 0.50$ and 0.58 it is noticeably smaller: (-37)\%/+30\% and (-30\%)/+24\% ((-13\%)/+16\% and (-11\%/+14\%)). We find also that the sensitivity of ORCA to the outer core, core and mantle densities is significantly worse for IO neutrino mass spectrum.


title: A catalogue of 323 cataclysmic variables from LAMOST DR6

abstract: In this work, we present a catalog of cataclysmic variables (CVs) identified from the Sixth Data Release (DR6) of the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST). To single out the CV spectra, we introduce a novel machine-learning algorithm called UMAP to screen out a total of 169,509 H$\alpha$-emission spectra, and obtain a classification accuracy of the algorithm of over 99.6$\%$ from the cross-validation set. We then apply the template matching program PyHammer v2.0 to the LAMOST spectra to obtain the optimal spectral type with metallicity, which helps us identify the chromospherically active stars and potential binary stars from the 169,509 spectra. After visually inspecting all the spectra, we identify 323 CV candidates from the LAMOST database, among them 52 objects are new. We further discuss the new CV candidates in subtypes based on their spectral features, including five DN subtype during outbursts, five NL subtype and four magnetic CVs (three AM Her type and one IP type). We also find two CVs that have been previously identified by photometry, and confirm their previous classification by the LAMOST spectra.


title: The vehicle routing problem with drones and drone speed selection

abstract: Joint parcel delivery by trucks and drones has enjoyed significant attention for some time, as the advantages of one delivery method offset the disadvantages of the other. This paper focuses on the vehicle routing problem with drones and drone speed selection (VRPD-DSS), which considers speed-dependent energy consumption and drone-charging in detail. For this purpose, we formulate a comprehensive mixed-integer problem that aims to minimize the operational costs consisting of fuel consumption costs of the trucks, labor costs for the drivers, and energy costs of the drones. The speed at which a drone performs a flight must be selected from a discrete set. We introduce preprocessing steps to eliminate dominated speeds for a flight to reduce the problem size and use valid inequalities to accelerate the solution process. The consideration of speed-dependent energy consumption leads to the fact that it is advisable to perform different flights at different speeds and not to consistently operate a drone at maximum speed. Instead, drone speed should be selected to balance drone range and speed of delivery. Our extensive computational study of a rural real-world setting shows that, by modeling energy consumption realistically, the savings in operational costs compared to truck-only delivery are significant but smaller than those identified in previously published work. Our analysis further reveals that the greatest savings stem from the fact that overall delivery time decreases compared to truck-only delivery, allowing costly truck-driver time to be reduced. The additional energy costs of the drone, however, are largely negligible.


title: Ranking by Momentum based on Pareto ordering of entities

abstract: Given a set of changing entities, which ones are the most uptrending over some time T? Which entities are standing out as the biggest movers? To answer this question we define the concept of momentum. Two parameters - absolute gain and relative gain over time T play the key role in defining momentum. Neither alone is sufficient since they are each biased towards a subset of entities. Absolute gain favors large entities, while relative gain favors small ones. To accommodate both absolute and relative gain in an unbiased way, we define Pareto ordering between entities. For entity E to dominate another entity F in Pareto ordering, E's absolute and relative gains over time T must be higher than F's absolute and relative gains respectively. Momentum leaders are defined as maximal elements of this partial order - the Pareto frontier. We show how to compute momentum leaders and propose linear ordering among them to help rank entities with the most momentum on the top. Additionally, we show that when vectors follow power-law, the cardinality of the set of Momentum leaders (Pareto frontier) is of the order of square root of the logarithm of the number of entities, thus it is very small.


title: Global well-posedness of 2D Hyperbolic perturbation of the Navier-Stokes system in a thin strip

abstract: In this paper, we study a hyperbolic version of the Navier-Stokes equations, obtained by using the approximation by relaxation of the Euler system, evolving in a thin strip domain. The formal limit of these equations is a hyperbolic Prandtl type equation, our goal is to prove the existence and uniqueness of a global solution to these equations for analytic initial data in the tangential variable, under a uniform smallness assumption. Then we justify the limit from the anisotropic hyperbolic Navier-Stokes system to the hydrostatic hyperbolic Navier-Stokes system with small analytic data.


title: Axial Chiral Vortical Effect in a Sphere with finite size effect

abstract: We investigate the axial vortical effect in a uniformly rotating sphere subject to finite size. We use MIT boundary condition to limit the boundary of the sphere. For massless fermions inside the sphere, we obtain the exact axial vector current far from the boundary that matches the expression obtained in cylindrical coordinates in the literature. On the spherical boundary, we find both the longitudinal and transverse(with respect to the rotation axis) components with magnitude depending on the colatitude angle. For massive fermions, we derive an expansion of the axial conductivity far from the boundary to all orders of mass whose leading order term agrees with the mass correction reported in the literature. We also obtain the leading order mass correction on the boundary which is linear, and stronger than the quadratic dependence far from the boundary. The qualitative implications on the phenomenology of heavy ion collisions are speculated.


title: On the Strong Metric Dimension of directed co-graphs

abstract: Let $G$ be a strongly connected directed graph and $u,v,w\in V(G)$ be three vertices. Then $w$ strongly resolves $u$ to $v$ if there is a shortest $u$-$w$-path containing $v$ or a shortest $w$-$v$-path containing $u$. A set $R\subseteq V(G)$ of vertices is a strong resolving set for a directed graph $G$ if for every pair of vertices $u,v\in V(G)$ there is at least one vertex in $R$ that strongly resolves $u$ to $v$ and at least one vertex in $R$ that strongly resolves $v$ to $u$. The distances of the vertices of $G$ to and from the vertices of a strong resolving set $R$ uniquely define the connectivity structure of the graph. The Strong Metric Dimension of a directed graph $G$ is the size of a smallest strong resolving set for $G$. The decision problem Strong Metric Dimension is the question whether $G$ has a strong resolving set of size at most $r$, for a given directed graph $G$ and a given number $r$. In this paper we study undirected and directed co-graphs and introduce linear time algorithms for Strong Metric Dimension. These algorithms can also compute strong resolving sets for co-graphs in linear time.


title: Hybrid Jammer Mitigation for All-Digital mmWave Massive MU-MIMO

abstract: Low-resolution analog-to-digital converters (ADCs) simplify the design of millimeter-wave (mmWave) massive multi-user multiple-input multiple-output (MU-MIMO) basestations, but increase vulnerability to jamming attacks. As a remedy, we propose HERMIT (short for Hybrid jammER MITigation), a method that combines a hardware-friendly adaptive analog transform with a corresponding digital equalizer: The analog transform removes most of the jammer's energy prior to data conversion; the digital equalizer suppresses jammer residues while detecting the legitimate transmit data. We provide theoretical results that establish the optimal analog transform as a function of the user equipments' and the jammer's channels. Using simulations with mmWave channel models, we demonstrate the superiority of HERMIT compared both to purely digital jammer mitigation as well as to a recent hybrid method that mitigates jammer interference with a nonadaptive analog transform.


title: Lattices with skew-Hermitian forms over division algebras and unlikely intersections

abstract: This paper has two objectives. First, we study lattices with skew-Hermitian forms over division algebras with positive involutions. For division algebras of Albert types I and II, we show that such a lattice contains an "orthogonal" basis for a sublattice of effectively bounded index. Second, we apply this result to obtain new results in the field of unlikely intersections. More specifically, we prove the Zilber-Pink conjecture for the intersection of curves with special subvarieties of simple PEL type I and II under a large Galois orbits conjecture. We also prove this Galois orbits conjecture for certain cases of type II.


title: Evaluating the Robustness of Retrieval Pipelines with Query Variation Generators

abstract: Heavily pre-trained transformers for language modelling, such as BERT, have shown to be remarkably effective for Information Retrieval (IR) tasks, typically applied to re-rank the results of a first-stage retrieval model. IR benchmarks evaluate the effectiveness of retrieval pipelines based on the premise that a single query is used to instantiate the underlying information need. However, previous research has shown that (I) queries generated by users for a fixed information need are extremely variable and, in particular, (II) neural models are brittle and often make mistakes when tested with modified inputs. Motivated by those observations we aim to answer the following question: how robust are retrieval pipelines with respect to different variations in queries that do not change the queries' semantics? In order to obtain queries that are representative of users' querying variability, we first created a taxonomy based on the manual annotation of transformations occurring in a dataset (UQV100) of user-created query variations. For each syntax-changing category of our taxonomy, we employed different automatic methods that when applied to a query generate a query variation. Our experimental results across two datasets for two IR tasks reveal that retrieval pipelines are not robust to these query variations, with effectiveness drops of $\approx20\%$ on average. The code and datasets are available at https://github.com/Guzpenha/query_variation_generators.


title: STRETCH: Virtual Shared-Nothing Parallelism for Scalable and Elastic Stream Processing

abstract: Stream processing applications extract value from raw data through Directed Acyclic Graphs of data analysis tasks. Shared-nothing (SN) parallelism is the de-facto standard to scale stream processing applications. Given an application, SN parallelism instantiates several copies of each analysis task, making each instance responsible for a dedicated portion of the overall analysis, and relies on dedicated queues to exchange data among connected instances. On the one hand, SN parallelism can scale the execution of applications both up and out since threads can run task instances within and across processes/nodes. On the other hand, its lack of sharing can cause unnecessary overheads and hinder the scaling up when threads operate on data that could be jointly accessed in shared memory. This trade-off motivated us in studying a way for stream processing applications to leverage shared memory and boost the scale up (before the scale out) while adhering to the widely-adopted and SN-based APIs for stream processing applications. We introduce STRETCH, a framework that maximizes the scale up and offers instantaneous elastic reconfigurations (without state transfer) for stream processing applications. We propose the concept of Virtual Shared-Nothing (VSN) parallelism and elasticity and provide formal definitions and correctness proofs for the semantics of the analysis tasks supported by STRETCH, showing they extend the ones found in common Stream Processing Engines. We also provide a fully implemented prototype and show that STRETCH's performance exceeds that of state-of-the-art frameworks such as Apache Flink and offers, to the best of our knowledge, unprecedented ultra-fast reconfigurations, taking less than 40 ms even when provisioning tens of new task instances.


title: A class of representations of $C^*$-algebra generated by $q_{ij}$-commuting isometries

abstract: For $C^*$-algebra generated by a finite family of isometries $s_j$, $j=1,\dots,d$ satisfying $q_{ij}$-commutation relations \[ s_j^* s_j = I, \quad s_j^* s_k = q_{ij}s_ks_j^*, \qquad q_{ij} = \bar q_{ji}, |q_{ij}|<1, \ 1\le i \ne j \le d, \] we construct an infinite family of unitarily non-equivalent irreducible representations. These representations are deformations of the corresponding class of representations of the Cuntz algebra $\mathcal O_d$.


title: Dyck path factorization

abstract: Dyck paths are among the most heavily studied Catalan families. We work with peaks and valleys to uniquely decompose Dyck paths into the simplest objects - prime fragments with a single peak. Each Dyck path is uniquely characterized by a set of peaks or a set of valleys. The appendix contains a python program with which the reader can factorize Dyck paths online.