title: Quantum Heat Engines with Carnot Efficiency at Maximum Power

abstract: Heat engines constitute the major building blocks of modern technologies. However, conventional heat engines with higher power yield lesser efficiency and vice versa and respect various power-efficiency trade-off relations. This is also assumed to be true for the engines operating in the quantum regime. Here we show that these relations are not fundamental. We introduce quantum heat engines that deliver maximum power with Carnot efficiency in the one-shot finite-size regime. These engines are composed of working systems with a finite number of quantum particles and are restricted to one-shot measurements. The engines operate in a one-step cycle by letting the working system simultaneously interact with hot and cold baths via semi-local thermal operations. By allowing quantum entanglement between its constituents and, thereby, a coherent transfer of heat from hot to cold baths, the engine implements the fastest possible reversible state transformation in each cycle, resulting in maximum power and Carnot efficiency. Finally, we propose a physically realizable engine using quantum optical systems.

categories: quant-ph math-ph math.MP physics.atom-ph


title: Renormalons in static QCD potential: review and some updates

abstract: We give a brief review of the current understanding of renormalons of the static QCD potential in coordinate and momentum spaces. We also reconsider estimate of the normalization constant of the $u=3/2$ renormalon and propose a new way to improve the estimate.


title: Figurative Language in Recognizing Textual Entailment

abstract: We introduce a collection of recognizing textual entailment (RTE) datasets focused on figurative language. We leverage five existing datasets annotated for a variety of figurative language -- simile, metaphor, and irony -- and frame them into over 12,500 RTE examples.We evaluate how well state-of-the-art models trained on popular RTE datasets capture different aspects of figurative language. Our results and analyses indicate that these models might not sufficiently capture figurative language, struggling to perform pragmatic inference and reasoning about world knowledge. Ultimately, our datasets provide a challenging testbed for evaluating RTE models.


title: Understanding Kerala Floods of 2018: Role of Mixed Rossby-Gravity waves

abstract: Kerala, the south-west coastal state of India, was ravaged by a series of floods during the South-West Monsoon of 2018. The season was marked by severely anomalous rainfall trends, with upto 150 mm of departures from the mean daily precipitation in the northern districts of the State. Although, there were many studies about the hydrogeological factors which aggravated the floods in Kerala, no attempt was made to delve into the physics which actually resulted in anomalous precipitation during the year. This study intends to document the dynamical phenomenon which caused the Kerala Floods of 2018. The westward propagating convectively-coupled Mixed Rossby-Gravity (MRG) waves were excited by the synoptic disturbances of the tropical Pacific at the pressure level of 700 hPa, during the Indian Monsoon of 2018. They travelled across the Indian Ocean in two significant modes -- a predominant slow moving wave of 20-40 days period (as Madden-Julian Oscillation) and a secondary faster wave of 5-8 days period. They are characterised by vertical phase propagation to the upper troposphere, a precursor to deep convection and intense precipitation. Further, the propagation of these waves through a medium enhances its relative vorticity and the gyres or circulations thus formed are symmetrical about the equator. Consequently, the meanders in the wind field and widening of the Intertropical Convergence Zone were observed. The MRG waves, especially the slow mode induced divergence in the wind field, which fueled convection in tropics and brought very heavy rainfall to the State of Kerala in 2018.


title: Massive Neutron Star Models with Parabolic Cores

abstract: The results of the investigation of the core-envelope model presented in Negi et al. \cite{Ref1} have been discussed in view of the reference \cite{Ref2} . It is seen that there are significant changes in the results to be addressed. In addition, I have also calculated the gravitational binding energy, causality and pulsational stability of the structures which were not considered in Negi et al. \cite{Ref1} . The modified results have important consequences to model neutron stars and pulsars. The maximum neutron star mass obtained in this study corresponds to the mean value of the classical results obtained by Rhodes \& Ruffini \cite {Ref3} and the upper bound on neutron star mass obtained by Kalogera \& Byam \cite {Ref4} and is much closer to the most recent theoretical estimate made by Sotani \cite{Ref5}. On one hand, when there are only few equations of state (EOSs) available in the literature which can fulfil the recent observational constraint imposed by the largest neutron star masses around 2$M_\odot$\cite{Ref6}, \cite{Ref7}, \cite{Ref8}, the present analytic models, on the other hand, can comfortably satisfy this constraint. Furthermore, the maximum allowed value of compactness parameter $u(\equiv M/a$; mass to size ratio in geometrized units) $ \leq 0.30$ obtained in this study is also consistent with an absolute maximum value of $ u_{\rm max} = 0.333^{+0.001}_{-0.005}$ resulting from the observation of binary neutron stars merger GW170817 (see, e.g.\cite{Ref9}).


title: Immersed Cantilever Apparatus for Mechanics and Microscopy

abstract: We present here a novel cantilever based apparatus to perform translational stress or strain controlled rheology in very soft solids, and obtain simultaneous confocal imaging of the 3 dimensional microstructure. The stress is measured using eddy based sensors. Both the stress and strain are controlled by applying PID control loops on measured quantities and changing position using a micromanipulator. To get rid of surface tension forces, the sample and cantilever are immersed. This enables stress measurement and control down to 3mPa. With this apparatus, we can independently apply shear and normal stress, or strain, with same precision. We demonstrate the technical capability of the setup with steady shear strain or stress experiments on a soft protein gel system. The simultaneous confocal imaging offers insight into the macroscopic breaking observed in an increasing shear strain experiment.


title: IrEne: Interpretable Energy Prediction for Transformers

abstract: Existing software-based energy measurements of NLP models are not accurate because they do not consider the complex interactions between energy consumption and model execution. We present IrEne, an interpretable and extensible energy prediction system that accurately predicts the inference energy consumption of a wide range of Transformer-based NLP models. IrEne constructs a model tree graph that breaks down the NLP model into modules that are further broken down into low-level machine learning (ML) primitives. IrEne predicts the inference energy consumption of the ML primitives as a function of generalizable features and fine-grained runtime resource usage. IrEne then aggregates these low-level predictions recursively to predict the energy of each module and finally of the entire model. Experiments across multiple Transformer models show IrEne predicts inference energy consumption of transformer models with an error of under 7% compared to the ground truth. In contrast, existing energy models see an error of over 50%. We also show how IrEne can be used to conduct energy bottleneck analysis and to easily evaluate the energy impact of different architectural choices. We release the code and data at https://github.com/StonyBrookNLP/irene.


title: Numerical valuation of American basket options via partial differential complementarity problems

abstract: We study the principal component analysis based approach introduced by Reisinger & Wittum (2007) and the comonotonic approach considered by Hanbali & Linders (2019) for the approximation of American basket option values via multidimensional partial differential complementarity problems (PDCPs). Both approximation approaches require the solution of just a limited number of low-dimensional PDCPs. It is demonstrated by ample numerical experiments that they define approximations that lie close to each other. Next, an efficient discretisation of the pertinent PDCPs is presented that leads to a favourable convergence behaviour.


title: Kinetic simulations of collision-less plasmas in open magnetic geometries

abstract: Laboratory plasmas in open magnetic geometries can be found in many different applications such as (1) Scrape-Of-Layer (SOL) and divertor regions in toroidal confinement fusion devices (\approx1-10^2\hspace{1mm}\mathrm{eV}), (2) linear divertor simulators (\approx1-10\hspace{1mm}\mathrm{eV}), (3) plasma-based thrusters (\approx10\hspace{1mm}\mathrm{eV}) and (4) magnetic mirrors (\approx10^2-10^3\hspace{1mm}\mathrm{eV}). A common feature of these plasma systems is the need to resolve, in addition to velocity space, at least one physical dimension (e.g. along flux lines) to capture the relevant physics. In general, this requires a kinetic treatment. Fully kinetic Particle-In-Cell (PIC) simulations can be applied but at the expense of large computational effort. A common way to resolve this is to use a hybrid approach: kinetic ions and fluid electrons. In the present work, the development of a hybrid PIC computational tool suitable for open magnetic geometries is described which includes (1) the effect of non-uniform magnetic fields, (2) finite fully-absorbing boundaries for the particles and (3) volumetric particle sources. Analytical expressions for the momentum transport in the paraxial limit are presented with their underlying assumptions and are used to validate the results from the PIC simulations. The self-consistent electric field is calculated and is shown to modify the ion velocity distribution function in manner consistent with analytic theory. Based on this analysis, the ion distribution function is understood in terms of a loss-cone distribution and an isotropic Maxwell-Boltzmann distribution driven by a volumetric plasma source. Finally, inclusion of a Monte-Carlo based Fokker-Planck collision operator is discussed in the context of future work.


title: Framing RNN as a kernel method: A neural ODE approach

abstract: Building on the interpretation of a recurrent neural network (RNN) as a continuous-time neural differential equation, we show, under appropriate conditions, that the solution of a RNN can be viewed as a linear function of a specific feature set of the input sequence, known as the signature. This connection allows us to frame a RNN as a kernel method in a suitable reproducing kernel Hilbert space. As a consequence, we obtain theoretical guarantees on generalization and stability for a large class of recurrent networks. Our results are illustrated on simulated datasets.


title: On extinction time distribution of a 2-type linear-fractional branching process in a varying environment with asymptotically constant mean matrices

abstract: In this paper we study a 2-type linear-fractional branching process in varying environment with asymptotically constant mean matrices. Let $\nu$ be the extinction time and for $k\ge1$ let $M_k$ be the mean matrix of offspring distribution of individuals of the $(k-1)$-th generation. Under certain conditions, we show that $P(\nu=n)$ and $P(\nu>n)$ are asymptotically equivalent to some functions of products of spectral radii of the mean matrices. This paper complements a former result [arXiv: 2007.07840] which requires in addition a condition $\forall k\ge1,\rm{det}(M_k)<-\varepsilon$ for some $\varepsilon>0.$ Such a condition excludes a large class of mean matrices. As byproducts, we also get some results on asymptotics of products of nonhomogeneous matrices which have their own interests.


title: Control Sets for Bilinear and Affine Systems

abstract: For homogeneous bilinear control systems, the control sets are characterized using a Lie algebra rank condition for the induced systems on projective space. This is based on a classical Diophantine approximation result. For affine control systems, the control sets around the equilibria for constant controls are characterized with particular attention to the question when the control sets are unbounded.


title: Refined method to extract frequency-noise components of lasers by delayed self-heterodyne

abstract: An essential metric to quantify the stability of a laser is its frequency noise (FN). This metric yields information on the linewidth and on noise components which limit its usage for high precision purposes such as coherent communication. Its experimental determination relies on challenging optical phase measurements, for which dedicated commercial instruments have been developed. In contrast, this work presents a simple and cost-effective method for extracting FN features employing a delayed self-heterodyne (DSH) setup. Using delay lengths much shorter than the coherence length of the laser, the DSH trace reveals a correspondence with the FN power spectral density (PSD) measured with commercial instruments. Results are found for multiple lasers, with discrepancies in intense dither tone frequencies below 0.2 percent

categories: physics.optics cs.SY eess.SP eess.SY physics.ins-det


title: Bifurcations of embedded curves and towards an extension of Taubes' Gromov invariant to Calabi-Yau 3-folds

abstract: We define an integer-valued virtual count of embedded pseudo-holomorphic curves of two times a primitive homology class and arbitrary genus in symplectic Calabi--Yau $3$-folds, which can be viewed as an extension of Taubes' Gromov invariant. The construction depends on a detailed study of bifurcations of moduli spaces of embedded pseudo-holomorphic curves which is partially motivated by Wendl's recent solution of Bryan--Pandharipande's super-rigidity conjecture.


title: Uncovering Constraint-Based Behavior in Neural Models via Targeted Fine-Tuning

abstract: A growing body of literature has focused on detailing the linguistic knowledge embedded in large, pretrained language models. Existing work has shown that non-linguistic biases in models can drive model behavior away from linguistic generalizations. We hypothesized that competing linguistic processes within a language, rather than just non-linguistic model biases, could obscure underlying linguistic knowledge. We tested this claim by exploring a single phenomenon in four languages: English, Chinese, Spanish, and Italian. While human behavior has been found to be similar across languages, we find cross-linguistic variation in model behavior. We show that competing processes in a language act as constraints on model behavior and demonstrate that targeted fine-tuning can re-weight the learned constraints, uncovering otherwise dormant linguistic knowledge in models. Our results suggest that models need to learn both the linguistic constraints in a language and their relative ranking, with mismatches in either producing non-human-like behavior.


title: Arbitrating the $S_8$ discrepancy with growth rate measurements from Redshift-Space Distortions

abstract: Within the $\Lambda$CDM model, measurements from recent Cosmic Microwave Background (CMB) and weak lensing (WL) surveys have uncovered a $\sim 3\sigma$ disagreement in the inferred value of the parameter $S_8 \equiv \sigma_8\sqrt{\Omega_m/0.3}$, quantifying the amplitude of late-time matter fluctuations. Before questioning whether the $S_8$ discrepancy calls for new physics, it is important to assess the view of measurements other than CMB and WL ones on the discrepancy. Here, we examine the role of measurements of the growth rate $f(z)$ in arbitrating the $S_8$ discrepancy, considering measurements of $f\sigma_8(z)$ from Redshift-Space Distortions (RSD). Our baseline analysis combines RSD measurements with geometrical measurements from Baryon Acoustic Oscillations (BAO) and Type Ia Supernovae (SNeIa), given the key role of the latter in constraining $\Omega_m$. From this combination and within the $\Lambda$CDM model we find $S_8 = 0.762^{+0.030}_{-0.025}$, and quantify the agreement between RSD+BAO+SNeIa and \textit{Planck} to be at the $2.2\sigma$ level: the mild disagreement is therefore compatible with a statistical fluctuation. We discuss combinations of RSD measurements with other datasets, including the $E_G$ statistic. This combination increases the discrepancy with \textit{Planck}, but we deem it significantly less robust. Our earlier results are stable against an extension where we allow the dark energy equation of state $w$ to vary. We conclude that, from the point of view of combined growth rate and geometrical measurements, there are hints, but no strong evidence yet, for the \textit{Planck} $\Lambda$CDM cosmology over-predicting the amplitude of matter fluctuations at redshifts $z \lesssim 1$. From this perspective, it might therefore still be premature to claim the need for new physics from the $S_8$ discrepancy.


title: CPM Categories for Galois Extensions

abstract: By considering a generalisation of the CPM construction, we develop an infinite hierarchy of probabilistic theories, exhibiting compositional decoherence structures which generalise the traditional quantum-to-classical transition. Analogously to the quantum-to-classical case, these decoherences reduce the degrees of freedom in physical systems, while at the same time restricting the fields over which the systems are defined. These theories possess fully fledged operational semantics, allowing both categorical and GPT-style approaches to their study.


title: Cross-document Coreference Resolution over Predicted Mentions

abstract: Coreference resolution has been mostly investigated within a single document scope, showing impressive progress in recent years based on end-to-end models. However, the more challenging task of cross-document (CD) coreference resolution remained relatively under-explored, with the few recent models applied only to gold mentions. Here, we introduce the first end-to-end model for CD coreference resolution from raw text, which extends the prominent model for within-document coreference to the CD setting. Our model achieves competitive results for event and entity coreference resolution on gold mentions. More importantly, we set first baseline results, on the standard ECB+ dataset, for CD coreference resolution over predicted mentions. Further, our model is simpler and more efficient than recent CD coreference resolution systems, while not using any external resources.


title: Optimizing Oblique Projections for Nonlinear Systems using Trajectories

abstract: Reduced-order modeling techniques, including balanced truncation and $\mathcal{H}_2$-optimal model reduction, exploit the structure of linear dynamical systems to produce models that accurately capture the dynamics. For nonlinear systems operating far away from equilibria, on the other hand, current approaches seek low-dimensional representations of the state that often neglect low-energy features that have high dynamical significance. For instance, low-energy features are known to play an important role in fluid dynamics where they can be a driving mechanism for shear-layer instabilities. Neglecting these features leads to models with poor predictive accuracy despite being able to accurately encode and decode states. In order to improve predictive accuracy, we propose to optimize the reduced-order model to fit a collection of coarsely sampled trajectories from the original system. In particular, we optimize over the product of two Grassmann manifolds defining Petrov-Galerkin projections of the full-order governing equations. We compare our approach with existing methods including proper orthogonal decomposition, balanced truncation-based Petrov-Galerkin projection, quadratic-bilinear balanced truncation, and the quadratic-bilinear iterative rational Krylov algorithm. Our approach demonstrates significantly improved accuracy both on a nonlinear toy model and on an incompressible (nonlinear) axisymmetric jet flow with $10^5$ states.


title: Neutrino events within muon bundles at neutrino telescopes

abstract: The atmospheric neutrino flux includes a component from the prompt decay of charmed hadrons that becomes significant only at $E\ge 10$ TeV. At these energies, however, the diffuse flux of cosmic neutrinos discovered by IceCube seems to be larger than the atmospheric one. Here we study the possibility to detect a neutrino interaction in down-going atmospheric events at km$^3$ telescopes. The neutrino signal will always appear together with a muon bundle that reveals its atmospheric origin and, generically, it implies an increase in the detector activity with the slant depth. We propose a simple algorithm that could separate these events from regular muon bundles.


title: Spacetimes with continuous linear isotropies III: null rotations

abstract: It is shown that in many cases local null rotation invariance of the curvature and its first derivatives is sufficient to ensure there is an isometry group G with dimension at least 3 acting on (a neighbourhood of) the spacetime and containing a null rotation isotropy. Invariance of the second derivatives is additionally required to ensure this conclusion in Petrov type N Einstein spacetimes, spacetimes containing "pure radiation" (a Ricci tensor of Segre type [(11,2)]), and conformally flat spacetimes with a Ricci tensor of Segre type [1(11,1)] (a "tachyon fluid").


title: General Bayesian Loss Function Selection and the use of Improper Models

abstract: Statisticians often face the choice between using probability models or a paradigm defined by minimising a loss function. Both approaches are useful and, if the loss can be re-cast into a proper probability model, there are many tools to decide which model or loss is more appropriate for the observed data, in the sense of explaining the data's nature. However, when the loss leads to an improper model, there are no principled ways to guide this choice. We address this task by combining the Hyv\"arinen score, which naturally targets infinitesimal relative probabilities, and general Bayesian updating, which provides a unifying framework for inference on losses and models. Specifically we propose the H-score, a general Bayesian selection criterion and prove that it consistently selects the (possibly improper) model closest to the data-generating truth in Fisher's divergence. We also prove that an associated H-posterior consistently learns optimal hyper-parameters featuring in loss functions, including a challenging tempering parameter in generalised Bayesian inference. As salient examples, we consider robust regression and non-parametric density estimation where popular loss functions define improper models for the data and hence cannot be dealt with using standard model selection tools. These examples illustrate advantages in robustness-efficiency trade-offs and provide a Bayesian implementation for kernel density estimation, opening a new avenue for Bayesian non-parametrics.


title: Visual Analysis of Electronic Densities and Transitions in Molecules

abstract: The study of electronic transitions within a molecule connected to the absorption or emission of light is a common task in the process of the design of new materials. The transitions are complex quantum mechanical processes and a detailed analysis requires a breakdown of these processes into components that can be interpreted via characteristic chemical properties. We approach these tasks by providing a detailed analysis of the electron density field. This entails methods to quantify and visualize electron localization and transfer from molecular subgroups combining spatial and abstract representations. The core of our method uses geometric segmentation of the electronic density field coupled with a graph-theoretic formulation of charge transfer between molecular subgroups. The design of the methods has been guided by the goal of providing a generic and objective analysis following fundamental concepts. We illustrate the proposed approach using several case studies involving the study of electronic transitions in different molecular systems.


title: Evidential Turing Processes

abstract: A probabilistic classifier with reliable predictive uncertainties i) fits successfully to the target domain data, ii) provides calibrated class probabilities in difficult regions of the target domain (e.g.\ class overlap), and iii) accurately identifies queries coming out of the target domain and rejects them. We introduce an original combination of Evidential Deep Learning, Neural Processes, and Neural Turing Machines capable of providing all three essential properties mentioned above for total uncertainty quantification. We observe our method on five classification tasks to be the only one that can excel all three aspects of total calibration with a single standalone predictor. Our unified solution delivers an implementation-friendly and compute efficient recipe for safety clearance and provides intellectual economy to an investigation of algorithmic roots of epistemic awareness in deep neural nets.


title: DFGC 2021: A DeepFake Game Competition

abstract: This paper presents a summary of the DFGC 2021 competition. DeepFake technology is developing fast, and realistic face-swaps are increasingly deceiving and hard to detect. At the same time, DeepFake detection methods are also improving. There is a two-party game between DeepFake creators and detectors. This competition provides a common platform for benchmarking the adversarial game between current state-of-the-art DeepFake creation and detection methods. In this paper, we present the organization, results and top solutions of this competition and also share our insights obtained during this event. We also release the DFGC-21 testing dataset collected from our participants to further benefit the research community.


title: Weight filtrations on Selmer schemes and the effective Chabauty--Kim method

abstract: We develop an effective version of the Chabauty--Kim method which gives explicit upper bounds on the number of $S$-integral points on a hyperbolic curve in terms of dimensions of certain Bloch--Kato Selmer groups. Using this, we give a new "motivic" proof that the number of solutions to the $S$-unit equation is bounded uniformly in terms of $\#S$.


title: Base sizes of primitive permutation groups

abstract: Let G be a permutation group, acting on a set \Omega of size n. A subset B of \Omega is a base for G if the pointwise stabilizer G_(B) is trivial. Let b(G) be the minimal size of a base for G. A subgroup G of Sym(n) is large base if there exist integers m and r \geq 1 such that Alt(m)^r \unlhd G \leq Sym(m) \wr Sym(r), where the action of Sym(m) is on k-element subsets of {1,...,m} and the wreath product acts with product action. In this paper we prove that if G is primitive and not large base, then either G is the Mathieu group M24 in its natural action on 24 points, or b(G) \leq \lceil \log n\rceil+1. Furthermore, we show that there are infinitely many primitive groups G that are not large base for which b(G) > log n + 1, so our bound is optimal.


title: Directly Visualizing the Crossover from Incoherent to Coherent Phonons in Two-dimensional Periodic MoS2/MoSe2 Arrayed Heterostructure

abstract: Recently, massive efforts have been done on controlling thermal transport via coherent phonons in the various periodic nanostructures. However, the intrinsic lattice difference between the constituent materials inevitably generates the disorder at the interfaces, thus limiting the opportunity of directly observing the coherent phonon transport. Here, we investigate the controllability and visualization of the coherent phonon transport in a periodic MoS2/MoSe2 arrayed heterostructure with minimum lattice mismatching using non-equilibrium molecular dynamics simulation. It is found that the coherent phonon transport can be destroyed and rebuilt through adjusting the density of MoSe2 nanodot arrays. The phonon localization induced by the destruction of correlation is visualized based on the spatial energy distribution and anharmonic analysis. Furthermore, the eigen vector diagrams provide a distinct visualization of the localized phonon modes. Besides, the correlation of phonon can be rebuilt by reducing the period length, which is verified by the enhanced group velocities extracted from phonon dispersion curves. Interestingly, the crossover from incoherent to coherent phonon transport is directly observed by the spatial energy distributions and the spectral phonon transmission coefficients. Finally, the size and temperature dependence of thermal conductivity are also discussed. This study of the phonon coherence and its visualizing manipulation on thermal conductivity will be beneficial to fine heat control and management in the real applications.


title: Differential Privacy for Text Analytics via Natural Text Sanitization

abstract: Texts convey sophisticated knowledge. However, texts also convey sensitive information. Despite the success of general-purpose language models and domain-specific mechanisms with differential privacy (DP), existing text sanitization mechanisms still provide low utility, as cursed by the high-dimensional text representation. The companion issue of utilizing sanitized texts for downstream analytics is also under-explored. This paper takes a direct approach to text sanitization. Our insight is to consider both sensitivity and similarity via our new local DP notion. The sanitized texts also contribute to our sanitization-aware pretraining and fine-tuning, enabling privacy-preserving natural language processing over the BERT language model with promising utility. Surprisingly, the high utility does not boost up the success rate of inference attacks.


title: Accessing quark GPDs in diffractive events at an electron-ion collider

abstract: We discuss two collider processes which combine a diffractively produced $\rho$ meson separated by a large rapidity gap from a hard exclusive scattering of a Pomeron on a nucleon, giving rise to a lepton pair or to a second meson. These two processes probe the nucleon quark content described by generalized parton distributions in a very specific way.


title: A Unified Generative Framework for Various NER Subtasks

abstract: Named Entity Recognition (NER) is the task of identifying spans that represent entities in sentences. Whether the entity spans are nested or discontinuous, the NER task can be categorized into the flat NER, nested NER, and discontinuous NER subtasks. These subtasks have been mainly solved by the token-level sequence labelling or span-level classification. However, these solutions can hardly tackle the three kinds of NER subtasks concurrently. To that end, we propose to formulate the NER subtasks as an entity span sequence generation task, which can be solved by a unified sequence-to-sequence (Seq2Seq) framework. Based on our unified framework, we can leverage the pre-trained Seq2Seq model to solve all three kinds of NER subtasks without the special design of the tagging schema or ways to enumerate spans. We exploit three types of entity representations to linearize entities into a sequence. Our proposed framework is easy-to-implement and achieves state-of-the-art (SoTA) or near SoTA performance on eight English NER datasets, including two flat NER datasets, three nested NER datasets, and three discontinuous NER datasets.


title: Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator

abstract: The satisfiability problem for multilevel syllogistic extended with the Cartesian product operator (MLSC) is a long-standing open problem in computable set theory. For long, it was not excluded that such a problem were undecidable, due to its remarkable resemblance with the well-celebrated Hilbert's tenth problem, as it was deemed reasonable that union of disjoint sets and Cartesian product might somehow play the roles of integer addition and multiplication. To dispense with nonessential technical difficulties, we report here about a positive solution to the satisfiability problem for a slight simplified variant of MLSC, yet fully representative of the combinatorial complications due to the presence of the Cartesian product, in which membership is not present and the Cartesian product operator is replaced with its unordered variant. We are very confident that such decidability result can be generalized to full MLSC, though at the cost of considerable technicalities.


title: Intelligent Surface Optimization in Terahertz under Two Manifestations of Molecular Re-radiation

abstract: The operation of Terahertz (THz) communication can be significantly impacted by the interaction between the transmitted wave and the molecules in the atmosphere. In particular, it has been observed experimentally that the signal undergoes not only molecular absorption, but also molecular re-radiation. Two extreme modeling assumptions are prevalent in the literature, where the re-radiated energy is modeled in the first as additive Gaussian noise and in the second as a scattered component strongly correlated to the actual signal. Since the exact characterization is still an open problem, we provide in this paper the first comparative study of the performance of a reconfigurable intelligent surface (RIS) assisted THz system under these two extreme models of re-radiation. In particular, we employ an RIS to overcome the large pathloss by creating a virtual line-of-sight (LOS) path. We then develop an optimization framework for this setup and utilize the block-coordinate descent (BCD) method to iteratively optimize both RIS configuration vector and receive beamforming weight resulting in significant throughput gains for the user of interest compared to random RIS configurations. As expected, our results reveal that better throughput is achieved under the scattering assumption for the molecular re-radiation than the noise assumption.


title: Semi-Supervised Semantic Segmentation with Cross Pseudo Supervision

abstract: In this paper, we study the semi-supervised semantic segmentation problem via exploring both labeled data and extra unlabeled data. We propose a novel consistency regularization approach, called cross pseudo supervision (CPS). Our approach imposes the consistency on two segmentation networks perturbed with different initialization for the same input image. The pseudo one-hot label map, output from one perturbed segmentation network, is used to supervise the other segmentation network with the standard cross-entropy loss, and vice versa. The CPS consistency has two roles: encourage high similarity between the predictions of two perturbed networks for the same input image, and expand training data by using the unlabeled data with pseudo labels. Experiment results show that our approach achieves the state-of-the-art semi-supervised segmentation performance on Cityscapes and PASCAL VOC 2012. Code is available at https://git.io/CPS.


title: Improving low-resource ASR performance with untranscribed out-of-domain data

abstract: Semi-supervised training (SST) is a common approach to leverage untranscribed/unlabeled speech data to improve automatic speech recognition performance in low-resource languages. However, if the available unlabeled speech is mismatched to the target domain, SST is not as effective, and in many cases performs worse than the original system. In this paper, we address the issue of low-resource ASR when only untranscribed out-of-domain speech data is readily available in the target language. Specifically, we look to improve performance on conversational/telephony speech (target domain) using web resources, in particular YouTube data, which more closely resembles news/topical broadcast data. Leveraging SST, we show that while in some cases simply pooling the out-of-domain data with the training data lowers word error rate (WER), in all cases, we see improvements if we train first with the out-of-domain data and then fine-tune the resulting model with the original training data. Using 2000 hours of speed perturbed YouTube audio in each target language, with semi-supervised transcripts, we show improvements on multiple languages/data sets, of up to 16.3% relative improvement in WER over the baseline systems and up to 7.4% relative improvement in WER over a system that simply pools the out-of-domain data with the training data.


title: Metaphor Generation with Conceptual Mappings

abstract: Generating metaphors is a difficult task as it requires understanding nuanced relationships between abstract concepts. In this paper, we aim to generate a metaphoric sentence given a literal expression by replacing relevant verbs. Guided by conceptual metaphor theory, we propose to control the generation process by encoding conceptual mappings between cognitive domains to generate meaningful metaphoric expressions. To achieve this, we develop two methods: 1) using FrameNet-based embeddings to learn mappings between domains and applying them at the lexical level (CM-Lex), and 2) deriving source/target pairs to train a controlled seq-to-seq generation model (CM-BART). We assess our methods through automatic and human evaluation for basic metaphoricity and conceptual metaphor presence. We show that the unsupervised CM-Lex model is competitive with recent deep learning metaphor generation systems, and CM-BART outperforms all other models both in automatic and human evaluations.


title: Lower Perplexity is Not Always Human-Like

abstract: In computational psycholinguistics, various language models have been evaluated against human reading behavior (e.g., eye movement) to build human-like computational models. However, most previous efforts have focused almost exclusively on English, despite the recent trend towards linguistic universal within the general community. In order to fill the gap, this paper investigates whether the established results in computational psycholinguistics can be generalized across languages. Specifically, we re-examine an established generalization -- the lower perplexity a language model has, the more human-like the language model is -- in Japanese with typologically different structures from English. Our experiments demonstrate that this established generalization exhibits a surprising lack of universality; namely, lower perplexity is not always human-like. Moreover, this discrepancy between English and Japanese is further explored from the perspective of (non-)uniform information density. Overall, our results suggest that a cross-lingual evaluation will be necessary to construct human-like computational models.


title: Shifted Quiver Yangians and Representations from BPS Crystals

abstract: We introduce a class of new algebras, the shifted quiver Yangians, as the BPS algebras for type IIA string theory on general toric Calabi-Yau three-folds. We construct representations of the shifted quiver Yangian from general subcrystals of the canonical crystal. We derive our results via equivariant localization for supersymmetric quiver quantum mechanics for various framed quivers, where the framings are determined by the shape of the subcrystals. Our results unify many known BPS state counting problems, including open BPS counting, non-compact D4-branes, and wall crossing phenomena, simply as different representations of the shifted quiver Yangians. Furthermore, most of our representations seem to be new, and this suggests the existence of a zoo of BPS state counting problems yet to be studied in detail.


title: RX J0123.4-7321 -- the story continues: major circumstellar disk loss and recovery

abstract: RX J0123.4-7321 is a well-established Be star X-ray binary system (BeXRB) in the Small Magellanic Cloud (SMC). Like many such systems the variable X-ray emission is driven by the underlying behaviour of the mass donor Be star. Previous work has shown that the optical and X-ray were characterised by regular outbursts at the proposed binary period of 119 d. However around February 2008 the optical behaviour changed substantially, with the previously regular optical outbursts ending. Reported here are new optical (OGLE) and X-ray (Swift) observations covering the period after 2008 which suggest an almost total circumstellar disc loss followed by a gradual recovery. This indicates the probable transition of a Be star to a B star, and back again. However, at the time of the most recent OGLE data (March 2020) the characteristic periodic outbursts had yet to return to their early state, indicating that the disk still had some re-building yet to complete.


title: A weighted unified informetrics based on Scopus and WoS

abstract: Numerous indexing databases keep track of the number of publications, citations, etc. in order to maintain the progress of science and individual. However, the choice of journals and articles varies among these indexing databases, hence the number of citations and h-index varies. There is no common platform exists that can provide a single count for the number of publications, citations, h-index, etc. To overcome this limitation, we have proposed a weighted unified informetrics, named "conflate". The proposed system takes into account the input from multiple indexing databases and generates a single output. Here, we have used the data from Scopus and WoS to generate a conflate dataset. Further, a comparative analysis of conflate has been performed with Scopus and WoS at three levels: author, organization, and journal. Finally, a mapping is proposed between research publications and distributed ledger technology in order to provide a transparent and distributed view to its stakeholders.


title: A general sufficient criterion for energy conservation in the Navier-Stokes system

abstract: In this paper, we derive an energy conservation criterion based on a combination of velocity and its gradient for the weak solutions of both the homogeneous incompressible Navier-Stokes equations and the general compressible Navier-Stokes equations. For the incompressible case, this class implies most known corresponding results on periodic domain via either the velocity or its gradient including the famous Lions' energy conservation criterion obtained in \cite{[Lions]}. For the compressible case, this helps us to extend the previously known criteria for the energy conservation of weak solutions from the incompressible fluid to compressible flow and improve the recent results due to Nguyen-Nguyen-Tang in \cite[Nonlinearity 32 (2019)]{[NNT]} and Liang in \cite[Proc. Roy. Soc. Edinburgh Sect. A (2020)]{[Liang]}.


title: Novel Stellar Astrophysics from Extended Gravity

abstract: Novel implications on neutron stars come from extended gravity. Specifically, the GW190814 event indicated the probability of having large mass stars in the mass-gap region $2.5-5\, M_{\odot}$. If the secondary component of GW190814 is a neutron star, such large masses are marginally supported by General Relativity (GR), since a very stiff Equation of State (EoS) would be needed to describe such large mass neutron stars, which would be incompatible with the GW170817 event, without any modification of gravity. In view of the two groundbreaking gravitational wave observations, we critically discuss the elevated role of extensions of GR towards the successful description of the GW190814 event, and we also speculate in a quantitative way on the important issue of the largest allowed neutron star mass.


title: Zooming into the Collimation Zone in a Massive Protostellar Jet

abstract: Protostellar jets have a fundamental role at the earliest evolution of protostars of all masses. In the case of low-mass (<8 Msun) protostars, strong observational evidence exists that the launching and collimation is due to the X- and/or disk-wind mechanisms. In these models, it is the protostar/disk system that creates all the necessary conditions to launch and collimate the jets near the protostar via strong magnetic fields. The origin of jets from more massive protostars has been investigated much less, in part because of the difficulty of resolving the collimation zone in these more distant objects. Here we present the highest angular resolution observations of a jet powered by a massive protostar, the Cep A HW2 radio jet. We imaged the radio emission at projected distances of only ~20 au from the protostar, resolving the innermost 100 au of a massive protostellar jet for the first time. The morphology of the radio jet emission in this massive object is very different than what is usually observed in jets from low-mass protostars. We found that the outflowing material in HW2 has two components: a wide-angle wind launched from the protostar/disk system, and a highly collimated jet starting at 20-30 au from the protostar. We discuss two possible scenarios: an extension of the classical disk-wind to a massive protostar, or external collimation of a wide-angle wind. These results have important consequences for our understanding of how stars of different masses are formed.


title: Improved Spanning on Theta-5

abstract: We show an upper bound of $\frac{ \sin\left(\frac{3\pi}{10}\right) }{ \sin\left(\frac{2\pi}{5}\right)-\sin\left(\frac{3\pi}{10}\right) } <5.70$ on the spanning ratio of $\Theta_5$-graphs, improving on the previous best known upper bound of $9.96$ [Bose, Morin, van Renssen, and Verdonschot. The Theta-5-graph is a spanner. Computational Geometry, 2015.]


title: Analytic (non)integrability of Arutyunov-Bassi-Lacroix model

abstract: We use the notion of the gauge/string duality and discuss the Liouvillian (non) integrability criteria for string sigma models in the context of recently proposed Arutyunov-Bassi-Lacroix (ABL) model [JHEP \textbf{03} (2021), 062]. Our analysis complements those previous results due to numerical analysis as well as Lax pair formulation. We consider a winding string ansatz for the deformed torus $T^{\qty(\lambda_{1},\lambda_{2},\lambda)}_{k}$ which can be interpreted as a system of coupled pendulums. Our analysis reveals the Liouvillian nonintegrablity of the associated sigma model. We also obtain the \emph{generalized} decoupling limit and confirm the analytic integrability for the decoupled sector.


title: ODE/IQFT correspondence for the generalized affine $\mathfrak{ sl}(2)$ Gaudin model

abstract: An integrable system is introduced, which is a generalization of the $\mathfrak{sl}(2)$ quantum affine Gaudin model. Among other things, the Hamiltonians are constructed and their spectrum is calculated within the ODE/IQFT approach. The model fits within the framework of Yang-Baxter integrability. This opens a way for the systematic quantization of a large class of integrable non-linear sigma models. There may also be some interest in terms of Condensed Matter applications, as the theory can be thought of as a multiparametric generalization of the Kondo model.

categories: hep-th cond-mat.stat-mech math-ph math.MP math.QA


title: Quantifying Mn diffusion through transferred versus directly-grown graphene barriers

abstract: We quantify the mechanisms for manganese (Mn) diffusion through graphene in Mn/graphene/Ge (001) and Mn/graphene/GaAs (001) heterostructures for samples prepared by graphene layer transfer versus graphene growth directly on the semiconductor substrate. These heterostructures are important for applications in spintronics; however, challenges in synthesizing graphene directly on technologically important substrates such as GaAs necessitate layer transfer and anneal steps, which introduce defects into the graphene. \textit{In-situ} photoemission spectroscopy measurements reveal that Mn diffusion through graphene grown directly on a Ge (001) substrate is 1000 times lower than Mn diffusion into samples without graphene ($D_{gr,direct} \sim 4\times10^{-18}$cm$^2$/s, $D_{no-gr} \sim 5 \times 10^{-15}$ cm$^2$/s at 500$^\circ$C). Transferred graphene on Ge suppresses the Mn in Ge diffusion by a factor of 10 compared to no graphene ($D_{gr,transfer} \sim 4\times10^{-16}cm^2/s$). For both transferred and directly-grown graphene, the low activation energy ($E_a \sim 0.1-0.5$ eV) suggests that Mn diffusion through graphene occurs primarily at graphene defects. This is further confirmed as the diffusivity prefactor, $D_0$, scales with the defect density of the graphene sheet. Similar diffusion barrier performance is found on GaAs substrates; however, it is not currently possible to grow graphene directly on GaAs. Our results highlight the importance of developing graphene growth directly on functional substrates, to avoid the damage induced by layer transfer and annealing.


title: Phoenix: A Formally Verified Regenerating Vault

abstract: An attacker that gains access to a cryptocurrency user's private keys can perform any operation in her stead. Due to the decentralized nature of most cryptocurrencies, no entity can revert those operations. This is a central challenge for decentralized systems, illustrated by numerous high-profile heists. Vault contracts reduce this risk by introducing artificial delay on operations, allowing abortion by the contract owner during the delay. However, the theft of a key still renders the vault unusable and puts funds at risk. We introduce Phoenix, a novel contract architecture that allows the user to restore its security properties after key loss. Phoenix takes advantage of users' ability to store keys in easily-available but less secure storage (tier-two) as well as more secure storage that is harder to access (tier-one). Unlike previous solutions, the user can restore Phoenix security after the theft of tier-two keys and does not lose funds despite losing keys in either tier. Phoenix also introduces a mechanism to reduce the damage an attacker can cause in case of a tier-one compromise. We formally specify Phoenix's required behavior and provide a prototype implementation of Phoenix as an Ethereum contract. Since such an implementation is highly sensitive and vulnerable to subtle bugs, we apply a formal verification tool to prove specific code properties and identify faults. We highlight a bug identified by the tool that could be exploited by an attacker to compromise Phoenix. After fixing the bug, the tool proved the low-level executable code's correctness.


title: Stochastic maximum principle for systems driven by local martingales with spatial parameters

abstract: We consider the stochastic optimal control problem for the dynamical system of the stochastic differential equation driven by a local martingale with a spatial parameter. Assuming the convexity of the control domain, we obtain the stochastic maximum principle as the necessary condition for an optimal control, and we also prove its sufficiency under proper conditions. The stochastic linear quadratic problem in this setting is also discussed.


title: A Privacy-Preserving and Trustable Multi-agent Learning Framework

abstract: Distributed multi-agent learning enables agents to cooperatively train a model without requiring to share their datasets. While this setting ensures some level of privacy, it has been shown that, even when data is not directly shared, the training process is vulnerable to privacy attacks including data reconstruction and model inversion attacks. Additionally, malicious agents that train on inverted labels or random data, may arbitrarily weaken the accuracy of the global model. This paper addresses these challenges and presents Privacy-preserving and trustable Distributed Learning (PT-DL), a fully decentralized framework that relies on Differential Privacy to guarantee strong privacy protections of the agents' data, and Ethereum smart contracts to ensure trustability. The paper shows that PT-DL is resilient up to a 50% collusion attack, with high probability, in a malicious trust model and the experimental evaluation illustrates the benefits of the proposed model as a privacy-preserving and trustable distributed multi-agent learning system on several classification tasks.


title: Study of semi-boosted top quark reconstruction performance on the line shape of a $t\bar{t}$ resonance

abstract: We study the top quark pair events production in $pp$ collisions in the $\ell$+jets channel at the LHC energy of $\sqrt{s} = 14$ TeV for Standard Model as well as new physics processes. We explore the usage of semi-boosted topologies where the top quark decays into a boosted hadronic $W$-jet and an isolated $b$-jet and study their performance in the $t\bar{t}$ events kinematic reconstruction. An efficiency increase is observed and the correlation of selected kinematic variables between the detector and particle level is studied. Quality of the reconstructed mass line shape of a $Z'$ model with applications in current LHC experiments is evaluated. The results of the unfolding procedure for chosen spectra and an explicit proof of a slight degradation in the signal significance after the unfolding procedure are presented using the Fully Bayesian unfolding technique.


title: Convolutors of translation-modulation invariant Banach spaces of ultradistributions

abstract: We study the space of tempered ultradistributions whose convolutions with test functions are all contained in a given translation-modulation invariant Banach space of ultradistributions. Our main result will be the first structural theorem for the aforementioned space. As an application we consider several extensions of convolution.


title: Glass--like transition described by toppling of stability hierarchy

abstract: Building on the work of Fyodorov (2004) and Fyodorov and Nadal (2012) we examine the critical behaviour of population of saddles with fixed instability index $k$ in high dimensional random energy landscapes. Such landscapes consist of a parabolic confining potential and a random part in $N\gg 1$ dimensions. When the relative strength $m$ of the parabolic part is decreasing below a critical value $m_c$, the random energy landscapes exhibit a glass-like transition from a simple phase with very few critical points to a complex phase with the energy surface having exponentially many critical points. We obtain the annealed probability distribution of the instability index $k$ by working out the mean size of the population of saddles with index $k$ relative to the mean size of the entire population of critical points and observe toppling of stability hierarchy which accompanies the underlying glass-like transition. In the transition region $m=m_c + \delta N^{-1/2}$ the typical instability index scales as $k = \kappa N^{1/4}$ and the toppling mechanism affects whole instability index distribution, in particular the most probable value of $\kappa$ changes from $\kappa = 0$ in the simple phase ($\delta > 0 $) to a non-zero value $ \kappa_{\max} \propto (-\delta)^{3/2}$ in the complex phase ($\delta < 0$). We also show that a similar phenomenon is observed in random landscapes with an additional fixed energy constraint and in the $p$-spin spherical model.


title: TOI-674b: an oasis in the desert of exo-Neptunes transiting a nearby M dwarf

abstract: We use TESS, Spitzer, ground-based light curves and HARPS spectrograph radial velocity measurements to establish the physical properties of the transiting exoplanet candidate TOI-674b. We perform a joint fit of the light curves and radial velocity time series to measure the mass, radius, and orbital parameters of the candidate. We confirm and characterize TOI-674b, a low-density super-Neptune transiting a nearby M dwarf. The host star (TIC 158588995, $V = 14.2$ mag, $J = 10.3$ mag) is characterized by its M2V spectral type with $\mathrm{M}_\star=0.420\pm 0.010$ M$_\odot$, $\mathrm{R}_\star = 0.420\pm 0.013$ R$_\odot$, and $\mathrm{T}_{\mathrm{eff}} = 3514\pm 57$ K, and is located at a distance $d=46.16 \pm 0.03$ pc. Combining the available transit light curves plus radial velocity measurements and jointly fitting a circular orbit model, we find an orbital period of $1.977143 \pm 3\times 10^{-6}$ days, a planetary radius of $5.25 \pm 0.17$ $\mathrm{R}_\oplus$, and a mass of $23.6 \pm 3.3$ $\mathrm{M}_\oplus$ implying a mean density of $\rho_\mathrm{p} = 0.91 \pm 0.15$ [g cm$^{-3}$]. A non-circular orbit model fit delivers similar planetary mass and radius values within the uncertainties. Given the measured planetary radius and mass, TOI-674b is one of the largest and most massive super-Neptune class planets discovered around an M type star to date. It is also a resident of the so-called Neptunian desert and a promising candidate for atmospheric characterisation using the James Webb Space Telescope.


title: Experimental studies on the frequency selection in flat plate wakes: mean flow stability analyses and low dimensional modeling

abstract: We investigate the global frequency selection of two-dimensional vortex shedding in the flat plate wake. The analysis is based on the mean flow velocity profiles obtained from experimental measurements carried out for two values of Reynolds number, 1850 and 3350, which are based on the plate thickness and the free-stream velocity. Two different trailing edge geometries of the flat plate are considered in this study: blunt and circular. By performing local spatio-temporal analyses on the measured mean flow velocity profiles, we estimate the global shedding frequency of the flow. This is in excellent agreement with the shedding frequency measured experimentally. To complement the study, we carry out a low-dimensional modeling based on the proper orthogonal decomposition (POD) of the flow fields which is novel for flat plate wakes. We observe that a model based on only two POD modes produces an accurate estimate of the global shedding frequency. Our results also highlight the role of the nonlinear interaction strength between the mean flow with the higher harmonics thereby experimentally supporting the theoretical criterion outlined in Sipp & Lebedev (JFM 2007).


title: Distinct band reconstructions in kagome superconductor CsV$_3$Sb$_5$

abstract: The new two-dimensional (2D) kagome superconductor CsV$_3$Sb$_5$ has attracted much recent attention due to the coexistence of superconductivity, charge order, topology and kagome physics. A key issue in this field is to unveil the unique reconstructed electronic structure, which successfully accommodates different orders and interactions to form a fertile ground for emergent phenomena. Here, we report angle-resolved photoemission spectroscopy (ARPES) evidence for two distinct band reconstructions in CsV$_3$Sb$_5$. The first one is characterized by the appearance of new electron energy band at low temperature. The new band is theoretically reproduced when the three dimensionality of the charge order is considered for a band-folding along the out-of-plane direction. The second reconstruction is identified as a surface induced orbital-selective shift of the electron energy band. Our results provide the first evidence for the three dimensionality of the charge order in single-particle spectral function, highlighting the importance of long-range out-of-plane electronic correlations in this layered kagome superconductor. They also point to the feasibility of orbital-selective control of the band structure via surface modification, which would open a new avenue for manipulating exotic phenomena in this system, including superconductivity.


title: Phase-space distributions of nuclear short-range correlations

abstract: Nuclear short-range correlations (SRCs) induce high-momentum/high-energy fluctuations in the nuclear medium. In order to assess their impact on nuclear bulk properties, like nuclear radii and kinetic energies, it is instrumental to determine how SRCs are distributed in phase space as this sheds light on the connection between their appearance in coordinate and momentum space. Using the lowest-order correlation operator approximation (LCA) to include SRC, we compute two-dimensional nuclear Wigner quasiprobability distributions $w(r, k)$ to locate those $({r}, {k})$ phase-space regions that are most heavily impacted by SRCs. The SRC-induced high-momentum components find their origin in a radial range that is confined to the nuclear interior. Significant SRCs strength is generated in the full momentum range $0 \leq k \lesssim 5 ~\text{fm}^{-1} $ covered in this work, but below the Fermi momentum those are dwarfed by the mean-field contributions. As an application of $w(r, k)$, we focus on the radial dependence of the kinetic energy $T$ and the momentum dependence of the radius $r_{\text{rms}}$ for the symmetric nuclei $^{12}$C, $^{40}$Ca and the asymmetric nucleus $^{48}$Ca. The kinetic energy almost doubles after including SRCs, with the largest increase occurring in the nuclear interior $r \lesssim 2$ fm. The momentum dependence of the $r_{\text{rms}}$ teaches that the largest contributions stem from $k \lesssim 2 $ fm$^{-1}$, where the SRCs induce a slight reduction of the order of a few percent. The SRCs systematically reduce the $^{48}$Ca neutron skin by an amount that can be 10\%.


title: Generic Programming with Combinators and Objects

abstract: We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use of objectoriented features of OCAML, utilising late binding to override the default behaviour of generated transformations. The support for polymorphic variant types complements the ability to describe composable data types with the ability to implement composable transformations.


title: Multilingual Medical Question Answering and Information Retrieval for Rural Health Intelligence Access

abstract: In rural regions of several developing countries, access to quality healthcare, medical infrastructure, and professional diagnosis is largely unavailable. Many of these regions are gradually gaining access to internet infrastructure, although not with a strong enough connection to allow for sustained communication with a medical practitioner. Several deaths resulting from this lack of medical access, absence of patient's previous health records, and the unavailability of information in indigenous languages can be easily prevented. In this paper, we describe an approach leveraging the phenomenal progress in Machine Learning and NLP (Natural Language Processing) techniques to design a model that is low-resource, multilingual, and a preliminary first-point-of-contact medical assistant. Our contribution includes defining the NLP pipeline required for named-entity-recognition, language-agnostic sentence embedding, natural language translation, information retrieval, question answering, and generative pre-training for final query processing. We obtain promising results for this pipeline and preliminary results for EHR (Electronic Health Record) analysis with text summarization for medical practitioners to peruse for their diagnosis. Through this NLP pipeline, we aim to provide preliminary medical information to the user and do not claim to supplant diagnosis from qualified medical practitioners. Using the input from subject matter experts, we have compiled a large corpus to pre-train and fine-tune our BioBERT based NLP model for the specific tasks. We expect recent advances in NLP architectures, several of which are efficient and privacy-preserving models, to further the impact of our solution and improve on individual task performance.


title: On power integral bases of certain pure number fields defined by $x^{2^u\cdot3^v}-m$

abstract: Let $K = \mathbb{Q} (\alpha) $ be a pure number field generated by a complex root $\alpha$ of a monic irreducible polynomial $ F(x) = x^{2^u\cdot 3^v}-m$, with $m \neq \pm 1$ a square free rational integer, $u$, and $v$ two positive integers. In this paper, we study the monogenity of $K$. The case $u=0$ or $v=0$ has been previously studied. We prove that if $m\not\equiv 1$ (mod4) and $m\not\equiv \pm 1$ (mod9), then $K$ is monogenic. But if $m\equiv 1$ (mod4) or $m\equiv 1$ (mod9), then $K$ is not monogenic. Some illustrating examples are given too.


title: Particle Identification at FCC-ee

abstract: Equipping an experiment at FCC-ee with particle identification (PID) capabilities, in particular the ability to distinguish between hadron species, would bring great benefits to the physics programme. Good PID is essential for precise studies in quark flavour physics, and is also a great asset for many measurements in tau, top and Higgs physics. The requirements placed by flavour physics and these other applications are surveyed, with an emphasis on the momentum range over which PID is necessary. Possible solutions are discussed, including classical RICH counters, time-of-flight systems, and d$E$/d$x$ and cluster counting. Attention is paid to the impact on the global detector design that including PID capabilities would imply.


title: Survey Equivalence: A Procedure for Measuring Classifier Accuracy Against Human Labels

abstract: In many classification tasks, the ground truth is either noisy or subjective. Examples include: which of two alternative paper titles is better? is this comment toxic? what is the political leaning of this news article? We refer to such tasks as survey settings because the ground truth is defined through a survey of one or more human raters. In survey settings, conventional measurements of classifier accuracy such as precision, recall, and cross-entropy confound the quality of the classifier with the level of agreement among human raters. Thus, they have no meaningful interpretation on their own. We describe a procedure that, given a dataset with predictions from a classifier and K ratings per item, rescales any accuracy measure into one that has an intuitive interpretation. The key insight is to score the classifier not against the best proxy for the ground truth, such as a majority vote of the raters, but against a single human rater at a time. That score can be compared to other predictors' scores, in particular predictors created by combining labels from several other human raters. The survey equivalence of any classifier is the minimum number of raters needed to produce the same expected score as that found for the classifier.


title: A 4-Element 800MHz-BW 29mW True-Time-Delay Spatial Signal Processor Enabling Fast Beam-Training with Data Communications

abstract: Spatial signal processors (SSP) for emerging millimeter-wave wireless networks are critically dependent on link discovery. To avoid loss in communication, mobile devices need to locate narrow directional beams with millisecond latency. In this work, we demonstrate a true-time-delay (TTD) array with digitally reconfigurable delay elements enabling both fast beam-training at the receiver with wideband data communications. In beam-training mode, large delay-bandwidth products are implemented to accelerate beam training using frequency-dependent probing beams. In data communications mode, precise beam alignment is achieved to mitigate spatial effects during beam-forming for wideband signals. The 4-element switched-capacitor based time-interleaved array uses a compact closed-loop integrator for signal combining with the delay compensation implemented in the clock domain to achieve high precision and large delay range. Prototyped in TSMC 65nm CMOS, the TTD SSP successfully demonstrates unique frequency-to-angle mapping with 3.8ns maximum delay and 800MHz bandwidth in the beam-training mode. In the data communications mode, nearly 12dB uniform beamforming gain is achieved from 80MHz to 800MHz. The TTD SSP consumes 29mW at 1V supply achieving 122MB/s with 16-QAM at 9.8% EVM.


title: Quasiconformal almost parametrizations of metric surfaces

abstract: We look for minimal conditions on a two-dimensional metric surface $X$ of locally finite Hausdorff $2$-measure under which $X$ admits an (almost) parametrization with good geometric and analytic properties. Only assuming that $X$ is locally geodesic, we show that Jordan domains in $X$ of finite boundary length admit a quasiconformal almost parametrization. If $X$ satisfies some further conditions then such an almost parametrization can be upgraded to a geometrically quasiconformal homeomorphism or a quasisymmetric homeomorphism. In particular, we recover Rajala's recent quasiconformal uniformization theorem in the special case that $X$ is locally geodesic as well as Bonk-Kleiner's quasisymmetric uniformization theorem. On the way we establish the existence of Sobolev discs spanning a given Jordan curve in $X$ under nearly minimal assumptions on $X$ and prove the continuity of energy minimizers.


title: Tight High Probability Bounds for Linear Stochastic Approximation with Fixed Stepsize

abstract: This paper provides a non-asymptotic analysis of linear stochastic approximation (LSA) algorithms with fixed stepsize. This family of methods arises in many machine learning tasks and is used to obtain approximate solutions of a linear system $\bar{A}\theta = \bar{b}$ for which $\bar{A}$ and $\bar{b}$ can only be accessed through random estimates $\{({\bf A}_n, {\bf b}_n): n \in \mathbb{N}^*\}$. Our analysis is based on new results regarding moments and high probability bounds for products of matrices which are shown to be tight. We derive high probability bounds on the performance of LSA under weaker conditions on the sequence $\{({\bf A}_n, {\bf b}_n): n \in \mathbb{N}^*\}$ than previous works. However, in contrast, we establish polynomial concentration bounds with order depending on the stepsize. We show that our conclusions cannot be improved without additional assumptions on the sequence of random matrices $\{{\bf A}_n: n \in \mathbb{N}^*\}$, and in particular that no Gaussian or exponential high probability bounds can hold. Finally, we pay a particular attention to establishing bounds with sharp order with respect to the number of iterations and the stepsize and whose leading terms contain the covariance matrices appearing in the central limit theorems.


title: Assessing the Reliability of Deep Learning Classifiers Through Robustness Evaluation and Operational Profiles

abstract: The utilisation of Deep Learning (DL) is advancing into increasingly more sophisticated applications. While it shows great potential to provide transformational capabilities, DL also raises new challenges regarding its reliability in critical functions. In this paper, we present a model-agnostic reliability assessment method for DL classifiers, based on evidence from robustness evaluation and the operational profile (OP) of a given application. We partition the input space into small cells and then "assemble" their robustness (to the ground truth) according to the OP, where estimators on the cells' robustness and OPs are provided. Reliability estimates in terms of the probability of misclassification per input (pmi) can be derived together with confidence levels. A prototype tool is demonstrated with simplified case studies. Model assumptions and extension to real-world applications are also discussed. While our model easily uncovers the inherent difficulties of assessing the DL dependability (e.g. lack of data with ground truth and scalability issues), we provide preliminary/compromised solutions to advance in this research direction.


title: Heavy-quark opportunities and challenges at FCC-ee

abstract: The abundant production of beauty and charm hadrons in the $5 \times 10^{12}$ $Z^0$ decays expected at FCC-ee offers outstanding opportunities in flavour physics that in general exceed those available at Belle II, and are complementary to the heavy-flavour programme of the LHC. A wide range of measurements will be possible in heavy-flavour spectroscopy, rare decays of heavy-flavoured particles and $C\!P$-violation studies, which will benefit from the low-background experimental environment, the high Lorentz boost, and the availability of the full spectrum of hadron species. This essay first surveys the important questions in heavy-flavour physics, and assesses the likely theoretical and experimental landscape at the turn-on of FCC-ee. From this certain measurements are identified where the impact of FCC-ee will be particularly important. A full exploitation of the heavy-flavour potential of FCC-ee places specific constraints and challenges on detector design, which in some cases are in tension with those imposed by the other physics goals of the facility. These requirements and conflicts are discussed.


title: Matrix factorisation and the interpretation of geodesic distance

abstract: Given a graph or similarity matrix, we consider the problem of recovering a notion of true distance between the nodes, and so their true positions. We show that this can be accomplished in two steps: matrix factorisation, followed by nonlinear dimension reduction. This combination is effective because the point cloud obtained in the first step lives close to a manifold in which latent distance is encoded as geodesic distance. Hence, a nonlinear dimension reduction tool, approximating geodesic distance, can recover the latent positions, up to a simple transformation. We give a detailed account of the case where spectral embedding is used, followed by Isomap, and provide encouraging experimental evidence for other combinations of techniques.


title: Integral mixed circulant graph

abstract: A mixed graph is said to be \textit{integral} if all the eigenvalues of its Hermitian adjacency matrix are integer. The \textit{mixed circulant graph} $Circ(\mathbb{Z}_n,\mathcal{C})$ is a mixed graph on the vertex set $\mathbb{Z}_n$ and edge set $\{ (a,b): b-a\in \mathcal{C} \}$, where $0\not\in \mathcal{C}$. If $\mathcal{C}$ is closed under inverse, then $Circ(\mathbb{Z}_n,\mathcal{C})$ is called a \textit{circulant graph}. We express the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$ in terms of primitive $n$-th roots of unity, and find a sufficient condition for integrality of the eigenvalues of $Circ(\mathbb{Z}_n,\mathcal{C})$. For $n\equiv 0 \Mod 4$, we factorize the cyclotomic polynomial into two irreducible factors over $\mathbb{Q}(i)$. Using this factorization, we characterize integral mixed circulant graphs in terms of its symbol set. We also express the integer eigenvalues of an integral oriented circulant graph in terms of a Ramanujan type sum, and discuss some of their properties.


title: End-To-End Deep Learning-Based Adaptation Control for Frequency-Domain Adaptive System Identification

abstract: We present a novel end-to-end deep learning-based adaptation control algorithm for frequency-domain adaptive system identification. The proposed method exploits a deep neural network to map observed signal features to corresponding step-sizes which control the filter adaptation. The parameters of the network are optimized in an end-to-end fashion by minimizing the average normalized system distance of the adaptive filter. This avoids the need of explicit signal power spectral density estimation as required for model-based adaptation control and further auxiliary mechanisms to deal with model inaccuracies. The proposed algorithm achieves fast convergence and robust steady-state performance for scenarios characterized by high-level, non-white and non-stationary additive noise signals, abrupt environment changes and additional model inaccuracies.


title: Uni-Encoder: A Fast and Accurate Response Selection Paradigm for Generation-Based Dialogue Systems

abstract: Sample-and-rank is a key decoding strategy for modern generation-based dialogue systems. It helps achieve diverse and high-quality responses by selecting an answer from a small pool of generated candidates. The current state-of-the-art ranking methods mainly use an encoding paradigm called Cross-Encoder, which separately encodes each context-candidate pair and ranks the candidates according to their fitness scores. However, Cross-Encoder repeatedly encodes the same lengthy context for each candidate, resulting in high computational costs. Poly-Encoder addresses the above problems by reducing the interaction between context and candidates, but with a price of performance drop. In this work, we develop a new paradigm called Uni-Encoder, that keeps the full attention over each pair as in Cross-Encoder while only encoding the context once, as in Poly-Encoder. Uni-Encoder encodes all the candidates with the context in one forward pass. We use the same positional embedding for all candidates to ensure they are treated equally and design a new attention mechanism to avoid confusion. Our Uni-Encoder can simulate other ranking paradigms using different attention and response concatenation methods. Extensive experiments show that our proposed paradigm achieves new state-of-the-art results on four benchmark datasets with high computational efficiency. For instance, it improves R10@1 by 2.9% with an approximately 4X faster inference speed on the Ubuntu V2 dataset.


title: Experimental error mitigation using linear rescaling for variational quantum eigensolving with up to 20 qubits

abstract: Quantum computers have the potential to help solve a range of physics and chemistry problems, but noise in quantum hardware currently limits our ability to obtain accurate results from the execution of quantum-simulation algorithms. Various methods have been proposed to mitigate the impact of noise on variational algorithms, including several that model the noise as damping expectation values of observables. In this work, we benchmark various methods, including a new method proposed here. We compare their performance in estimating the ground-state energies of several instances of the 1D mixed-field Ising model using the variational-quantum-eigensolver algorithm with up to 20 qubits on two of IBM's quantum computers. We find that several error-mitigation techniques allow us to recover energies to within 10% of the true values for circuits containing up to about 25 ansatz layers, where each layer consists of CNOT gates between all neighboring qubits and Y-rotations on all qubits.


title: Enumeration of Switching Non-isomorphic Signed Wheels

abstract: Two signed graphs are called switching isomorphic to each other if one is isomorphic to a switching of the other. The wheel $W_n$ is the join of the cycle $C_n$ and a vertex. For $0 \leq p \leq n$, $\psi_{p}(n)$ is defined to be the number of switching non-isomorphic signed $W_n$ with exactly $p$ negative edges on $C_n$. The number of switching non-isomorphic signed $W_n$ is denoted by $\psi(n)$. In this paper, we compute the values of $\psi_{p}(n)$ for $p=0,1,2,3,4,n-4,n-3,n-2,n-1,n$ and of $\psi(n)$ for $n=4,5,...,10$. Our method of obtaining $\psi_{p}(n)$ not only count the switching non-isomorphic signed wheels but also generates them.


title: Sound-to-Imagination: An Exploratory Study on Unsupervised Crossmodal Translation Using Diverse Audiovisual Data

abstract: The motivation of our research is to explore the possibilities of automatic sound-to-image (S2I) translation for enabling a human receiver to visually infer the occurrence of sound related events. We expect the computer to 'imagine' the scene from the captured sound, generating original images that picture the sound emitting source. Previous studies on similar topics opted for simplified approaches using data with low content diversity and/or sound class supervision. Differently, we propose to perform unsupervised S2I translation using thousands of distinct and unknown scenes, with slightly pre-cleaned data, just enough to guarantee aural-visual semantic coherence. To that end, we employ conditional generative adversarial networks (GANs) with a deep densely connected generator. Additionally, we present a solution using informativity classifiers to perform quantitative evaluation of the generated images. This enabled us to analyze the influence of network bottleneck variation over the translation, observing a potential trade-off between informativity and pixel space convergence. Despite the complexity of the specified S2I translation task, we were able to generalize the model enough to obtain more than 14%, in average, of interpretable and semantically coherent images translated from unknown sounds.


title: Dynamical regimes of finite temperature discrete nonlinear Schr\"odinger chain

abstract: We show that the one dimensional discrete nonlinear Schr\"odinger chain (DNLS) at finite temperature has three different dynamical regimes (ultra-low, low and high temperature regimes). This has been established via (i) one point macroscopic thermodynamic observables (temperature $T$ , energy density $\epsilon$ and the relationship between them), (ii) emergence and disappearance of an additional almost conserved quantity (total phase difference) and (iii) classical out-of-time-ordered correlators (OTOC) and related quantities (butterfly speed and Lyapunov exponents). The crossover temperatures $T_{\textit{l-ul}}$ (between low and ultra-low temperature regimes) and $T_{\textit{h-l}}$ (between high and low temperature regimes) extracted from these three different approaches are consistent with each other. The analysis presented here is an important step forward towards the understanding of DNLS which is ubiquitous in many fields and has a non-separable Hamiltonian form. Our work also shows that the different methods used here can serve as important tools to identify dynamical regimes in other interacting many body systems.


title: Estimating $ZZ$ production with $Z\gamma$ events at the LHC: cross-section ratio and uncertainties

abstract: Standard Model $ZZ$ production is an important background for many searches at the LHC, especially in final states with missing transverse momentum. In this article, boson substitution is applied to estimate $ZZ \rightarrow \ell^+ \ell^- \nu \bar{\nu}$ yields from $Z\gamma \rightarrow \ell^+ \ell^- \gamma$ events. The cross-section ratio of the two processes and its uncertainties are evaluated at NNLO with the MATRIX generator as a function of the transverse momentum of the substituted boson. Uncertainties due to higher-order QCD corrections, parton distribution functions, photon isolation criteria, and electroweak corrections are evaluated. They depend strongly on the applied event selections and the considered transverse momentum range. For minimal selections, their size is 3$-$4%, dominated by QCD-related uncertainties for transverse momenta below 500 GeV and by uncertainties due to the factorization of QCD and electroweak corrections at higher transverse momenta.


title: More Identifiable yet Equally Performant Transformers for Text Classification

abstract: Interpretability is an important aspect of the trustworthiness of a model's predictions. Transformer's predictions are widely explained by the attention weights, i.e., a probability distribution generated at its self-attention unit (head). Current empirical studies provide shreds of evidence that attention weights are not explanations by proving that they are not unique. A recent study showed theoretical justifications to this observation by proving the non-identifiability of attention weights. For a given input to a head and its output, if the attention weights generated in it are unique, we call the weights identifiable. In this work, we provide deeper theoretical analysis and empirical observations on the identifiability of attention weights. Ignored in the previous works, we find the attention weights are more identifiable than we currently perceive by uncovering the hidden role of the key vector. However, the weights are still prone to be non-unique attentions that make them unfit for interpretation. To tackle this issue, we provide a variant of the encoder layer that decouples the relationship between key and value vector and provides identifiable weights up to the desired length of the input. We prove the applicability of such variations by providing empirical justifications on varied text classification tasks. The implementations are available at https://github.com/declare-lab/identifiable-transformers.


title: Graded algebras, projective spectra and blow-ups in derived algebraic geometry

abstract: We define graded, quasi-coherent $\mathcal{O}_S$-algebras over a given base derived scheme $S$, and show that these are equivalent to derived $\mathbb{G}_{m,S}$-schemes which are affine over $S$. We then use this $\mathbb{G}_{m,S}$-action to define the projective spectrum $\mathrm{Proj} (\mathcal{B})$ of a graded algebra $\mathcal{B}$ as a quotient stack, show that $\mathrm{Proj} (\mathcal{B})$ is representable by a derived scheme over $S$, and describe the functor of points of $\mathrm{Proj} (\mathcal{B})$ in terms of line bundles. The theory of graded algebras and projective spectra is then used to define the blow-up of a closed immersion of derived schemes. Our construction will coincide with the existing one for the quasi-smooth case. The construction is done by generalizing the extended Rees algebra to the derived setting, using Weil restrictions. We close by also generalizing the deformation to the normal cone to the derived setting.


title: Deep learning-based multi-output quantile forecasting of PV generation

abstract: This paper develops probabilistic PV forecasters by taking advantage of recent breakthroughs in deep learning. It tailored forecasting tool, named encoder-decoder, is implemented to compute intraday multi-output PV quantiles forecasts to efficiently capture the time correlation. The models are trained using quantile regression, a non-parametric approach that assumes no prior knowledge of the probabilistic forecasting distribution. The case study is composed of PV production monitored on-site at the University of Li\`ege (ULi\`ege), Belgium. The weather forecasts from the regional climate model provided by the Laboratory of Climatology are used as inputs of the deep learning models. The forecast quality is quantitatively assessed by the continuous ranked probability and interval scores. The results indicate this architecture improves the forecast quality and is computationally efficient to be incorporated in an intraday decision-making tool for robust optimization.


title: Grasp stability prediction with time series data based on STFT and LSTM

abstract: With an increasing demand for robots, robotic grasping will has a more important role in future applications. This paper takes grasp stability prediction as the key technology for grasping and tries to solve the problem with time series data inputs including the force and pressure data. Widely applied to more fields to predict unstable grasping with time series data, algorithms can significantly promote the application of artificial intelligence in traditional industries. This research investigates models that combine short-time Fourier transform (STFT) and long short-term memory (LSTM) and then tested generalizability with dexterous hand and suction cup gripper. The experiments suggest good results for grasp stability prediction with the force data and the generalized results in the pressure data. Among the 4 models, (Data + STFT) & LSTM delivers the best performance. We plan to perform more work on grasp stability prediction, generalize the findings to different types of sensors, and apply the grasp stability prediction in more grasping use cases in real life.


title: Chunk Content is not Enough: Chunk-Context Aware Resemblance Detection for Deduplication Delta Compression

abstract: With the growing popularity of cloud storage, removing duplicated data across users is getting more critical for service providers to reduce costs. Recently, Data resemblance detection is a novel technology to detect redundancy among similarity. It extracts feature from each chunk content and treat chunks with high similarity as candidates for removing redundancy. However, popular resemblance methods such as "N-transform" and "Finesse" use only the chunk data for feature extraction. A minor modification on the data chunk could seriously deteriorate its capability for resemblance detection. In this paper, we proposes a novel chunk-context aware resemblance detection algorithm, called CARD, to mitigate this issue. CARD introduces a BP-Neural network-based chunk-context aware model, and uses N-sub-chunk shingles-based initial feature extraction strategy. It effectively integrates each data chunk content's internal structure with the context information for feature extraction, the impact of small changes in data chunks is significantly reduced. To evaluate its performance, we implement a CARD prototype and conduct extensive experiments using real-world data sets. The results show that CARD can detect up to 75.03% more redundant data and accelerate the resemblance detection operations by 5.6 to 17.8 times faster compared with the state-of-the-art resemblance detection approaches.


title: Stochastic maximal $L^p(L^q)$-regularity for second order systems with periodic boundary conditions

abstract: In this paper we consider an SPDE where the leading term is a second order operator with periodic boundary conditions, coefficients which are measurable in $(t,\omega)$, and H\"older continuous in space. Assuming stochastic parabolicity conditions, we prove $L^p((0,T)\times \Omega, t^{\kappa}\, \mathrm{d} t;H^{\sigma,q}(\mathbb{T}^d))$-estimates. The main novelty is that we do not require $p=q$. Moreover, we allow arbitrary $\sigma\in \mathbb{R}$ and weights in time. Such mixed regularity estimates play a crucial role in applications to nonlinear SPDEs which is clear from our previous work. To prove our main results we develop a general perturbation theory for SPDEs. Moreover, we prove a new result on pointwise multiplication in spaces with fractional smoothness.


title: Probing for the Trace Estimation of a Permuted Matrix Inverse Corresponding to a Lattice Displacement

abstract: In this work, we study probing for the more general problem of computing the trace of a permutation of $A^{-1}$, say $PA^{-1}$. The motivation comes from Lattice QCD where we need to construct "disconnected diagrams" to extract flavor-separated Generalized Parton functions. In Lattice QCD, where the matrix has a 4D toroidal lattice structure, these non-local operators correspond to a $PA^{-1}$ where $P$ is the permutation relating to some displacement $\vec{p}$ in one or more dimensions. We focus on a single dimension displacement ($p$) but our methods are general. We show that probing on $A^k$ or $(PA)^k$ do not annihilate the largest magnitude elements. To resolve this issue, our displacement-based probing works on $PA^k$ using a new coloring scheme that works directly on appropriately displaced neighborhoods on the lattice. We prove lower bounds on the number of colors needed, and study the effect of this scheme on variance reduction, both theoretically and experimentally on a real-world Lattice QCD calculation. We achieve orders of magnitude speedup over the unprobed or the naively probed methods.


title: Hydrodynamics of granular gases of inelastic and rough hard disks or spheres. I. Transport coefficients

abstract: The transport coefficients for dilute granular gases of inelastic and rough hard disks or spheres with constant coefficients of normal ($\alpha$) and tangential ($\beta$) restitution are obtained in a unified framework as functions of the number of translational ($d_t$) and rotational ($d_r$) degrees of freedom. The derivation is carried out by means of the Chapman--Enskog method with a Sonine-like approximation in which, in contrast to previous approaches, the reference distribution function for angular velocities does not need to be specified. The well-known case of purely smooth $d$-dimensional particles is recovered by setting $d_t=d$ and formally taking the limit $d_r\to 0$. In addition, previous results [G. M. Kremer, A. Santos, and V. Garz\'o, Phys. Rev. E 90, 022205 (2014)] for hard spheres are reobtained by taking $d_t=d_r=3$, while novel results for hard-disk gases are derived with the choice $d_t=2$, $d_r=1$. The singular quasismooth limit ($\beta\to -1$) and the conservative Pidduck's gas ($\alpha=\beta=1$) are also obtained and discussed.


title: Data augmentation and pre-trained networks for extremely low data regimes unsupervised visual inspection

abstract: The use of deep features coming from pre-trained neural networks for unsupervised anomaly detection purposes has recently gathered momentum in the computer vision field. In particular, industrial inspection applications can take advantage of such features, as demonstrated by the multiple successes of related methods on the MVTec Anomaly Detection (MVTec AD) dataset. These methods make use of neural networks pre-trained on auxiliary classification tasks such as ImageNet. However, to our knowledge, no comparative study of robustness to the low data regimes between these approaches has been conducted yet. For quality inspection applications, the handling of limited sample sizes may be crucial as large quantities of images are not available for small series. In this work, we aim to compare three approaches based on deep pre-trained features when varying the quantity of available data in MVTec AD: KNN, Mahalanobis, and PaDiM. We show that although these methods are mostly robust to small sample sizes, they still can benefit greatly from using data augmentation in the original image space, which allows to deal with very small production runs.


title: Hydrodynamics of granular gases of inelastic and rough hard disks or spheres. II. Stability analysis

abstract: Conditions for the stability under linear perturbations around the homogeneous cooling state are studied for dilute granular gases of inelastic and rough hard disks or spheres with constant coefficients of normal ($\alpha$) and tangential ($\beta$) restitution. After a formally exact linear stability analysis of the Navier--Stokes--Fourier hydrodynamic equations in terms of the translational ($d_t$) and rotational ($d_r$) degrees of freedom, the transport coefficients derived in the companion paper [A. Meg\'ias and A. Santos, "Hydrodynamics of granular gases of inelastic and rough hard disks or spheres. I. Transport coefficients," Phys. Rev. E 104, 034901 (2021)] are employed. Known results for hard spheres [V. Garz\'o, A. Santos, and G. M. Kremer, Phys. Rev. E 97, 052901 (2018)] are recovered by setting $d_t=d_r=3$, while novel results for hard disks ($d_t=2$, $d_r=1$) are obtained. In the latter case, a high-inelasticity peculiar region in the $(\alpha,\beta)$ parameter space is found, inside which the critical wave number associated with the longitudinal modes diverges. Comparison with event-driven molecular dynamics simulations for dilute systems of hard disks at $\alpha=0.2$ shows that this theoretical region of absolute instability may be an artifact of the extrapolation to high inelasticity of the approximations made in the derivation of the transport coefficients, although it signals a shrinking of the conditions for stability. In the case of moderate inelasticity ($\alpha=0.7$), however, a good agreement between the theoretical predictions and the simulation results is found.


title: FedHybrid: A Hybrid Primal-Dual Algorithm Framework for Federated Optimization

abstract: We consider a multi-agent consensus optimization problem over a server-client (federated) network, where all clients are connected to a central server. Current distributed algorithms fail to capture the heterogeneity in clients' local computation capacities. Motivated by the generalized Method of Multipliers in centralized optimization, we derive an approximate Newton-type primal-dual method with a practical distributed implementation by utilizing the server-client topology. Then we propose a new primal-dual algorithm framework FedHybrid that allows different clients to perform various types of updates. Specifically, each client can choose to perform either gradient-type or Newton-type updates. We propose a novel analysis framework for primal-dual methods and obtain a linear convergence rate of FedHybrid for strongly convex functions, regardless of clients' choices of gradient-type or Newton-type updates. Numerical studies are provided to demonstrate the efficacy of our method in practice. To the best of our knowledge, this is the first hybrid algorithmic framework allowing heterogeneous local updates for distributed consensus optimization with a provable convergence and rate guarantee.


title: The diagrammatic coaction beyond one loop

abstract: The diagrammatic coaction maps any given Feynman graph into pairs of graphs and cut graphs such that, conjecturally, when these graphs are replaced by the corresponding Feynman integrals one obtains a coaction on the respective functions. The coaction on the functions is constructed by pairing a basis of differential forms, corresponding to master integrals, with a basis of integration contours, corresponding to independent cut integrals. At one loop, a general diagrammatic coaction was established using dimensional regularisation, which may be realised in terms of a global coaction on hypergeometric functions, or equivalently, order by order in the $\epsilon$ expansion, via a local coaction on multiple polylogarithms. The present paper takes the first steps in generalising the diagrammatic coaction beyond one loop. We first establish general properties that govern the diagrammatic coaction at any loop order. We then focus on examples of two-loop topologies for which all integrals expand into polylogarithms. In each case we determine bases of master integrals and cuts in terms of hypergeometric functions, and then use the global coaction to establish the diagrammatic coaction of all master integrals in the topology. The diagrammatic coaction encodes the complete set of discontinuities of Feynman integrals, as well as the differential equations they satisfy, providing a general tool to understand their physical and mathematical properties.


title: Law-invariant functionals that collapse to the mean: Beyond convexity

abstract: We establish general "collapse to the mean" principles that provide conditions under which a law-invariant functional reduces to an expectation. In the convex setting, we retrieve and sharpen known results from the literature. However, our results also apply beyond the convex setting. We illustrate this by providing a complete account of the "collapse to the mean" for quasiconvex functionals. In the special cases of consistent risk measures and Choquet integrals, we can even dispense with quasiconvexity. In addition, we relate the "collapse to the mean" to the study of solutions of a broad class of optimisation problems with law-invariant objectives that appear in mathematical finance, insurance, and economics. We show that the corresponding quantile formulations studied in the literature are sometimes illegitimate and require further analysis.