title: Array Antenna Power Pattern Analysis Through Quantum Computing

abstract: A method for the analysis of the power pattern of phased array antennas (PAs) based on the quantum Fourier transform (QFT) is proposed. The computation of the power pattern given the set of complex excitations of the PA elements is addressed within the quantum computing (QC) framework by means of a customized procedure that exploits the quantum mechanics principles and theory. A representative set of numerical results, yielded with a quantum computer emulator, is reported and discussed to assess the reliability of the proposed method by pointing out its features in comparison with the classical approach based on the discrete Fourier transform (DFT), as well.


title: Speckle2Speckle: Unsupervised Learning of Ultrasound Speckle Filtering Without Clean Data

abstract: In ultrasound imaging the appearance of homogeneous regions of tissue is subject to speckle, which for certain applications can make the detection of tissue irregularities difficult. To cope with this, it is common practice to apply speckle reduction filters to the images. Most conventional filtering techniques are fairly hand-crafted and often need to be finely tuned to the present hardware, imaging scheme and application. Learning based techniques on the other hand suffer from the need for a target image for training (in case of fully supervised techniques) or require narrow, complex physics-based models of the speckle appearance that might not apply in all cases. With this work we propose a deep-learning based method for speckle removal without these limitations. To enable this, we make use of realistic ultrasound simulation techniques that allow for instantiation of several independent speckle realizations that represent the exact same tissue, thus allowing for the application of image reconstruction techniques that work with pairs of differently corrupted data. Compared to two other state-of-the-art approaches (non-local means and the Optimized Bayesian non-local means filter) our method performs favorably in qualitative comparisons and quantitative evaluation, despite being trained on simulations alone, and is several orders of magnitude faster.


title: SG-Based Analysis of LEO Satellite-Relayed Communication Systems

abstract: Due to their low latency, high capacity, and seamless worldwide coverage, low Earth orbit (LEO) satellites are essential to the equal access network. Stochastic geometry (SG) is an appropriate method for such a large and irregular system. The SG model can effectively assess and estimate the performance of the network as well as handle the growing network scale. In this article, a number of common satellite distribution models are examined. In the non-technical description, system-level metrics such as coverage probability are introduced. The impact of gateway density, as well as the quantity and height of satellites, on latency and likelihood of coverage, is then researched. This essay concludes by outlining potential uses for SG in the future.


title: Intelligent decision-making method of TBM operating parameters based on multiple constraints and objective optimization

abstract: The decision-making of TBM operating parameters has an important guiding significance for TBM safe and efficient construction, and it has been one of the research hotpots in the field of TBM tunneling. For this purpose, this paper introduces rock-breaking rules into machine learning method, and a rock-machine mapping dual-driven by physical-rule and data-mining is established with high accuracy. This dual-driven mappings are subsequently used as objective function and constraints to build a decision-making method for TBM operating parameters. By searching the revolution per minute and penetration corresponding to the extremum of the objective function subject to the constraints, the optimal operating parameters can be obtained. This method is verified in the field of the Second Water Source Channel of Hangzhou, China, resulting in the average penetration rate increased by 11.3%, and the total cost decreased by 10.0%, which proves the practicability and effectiveness of the developed decision-making model.


title: Constraining Axions with ZTF J1901+1458

abstract: The axion-nucleon coupling enables the production of axions through the decay of excited ${}^{57}\textrm{Fe}$ isotopes, and axions produced in the Sun through this process are often a target of helioscope searches. We show for the first time that hot, highly magnetic white dwarfs such as ZTF J1901+1458 are a viable target to search for the X-ray signature of axions that were produced by the ${}^{57}\textrm{Fe}$ transition in the core and then converted to photons in the magnetosphere. We calculate that a 100 ks observation of ZTF J1901+1458 with NuSTAR would constrain the coupling of axions to nucleons and photons at a level below the bounds of both current and future planned helioscopes.


title: Eco2AI: carbon emissions tracking of machine learning models as the first step towards sustainable AI

abstract: The size and complexity of deep neural networks continue to grow exponentially, significantly increasing energy consumption for training and inference by these models. We introduce an open-source package eco2AI to help data scientists and researchers to track energy consumption and equivalent CO2 emissions of their models in a straightforward way. In eco2AI we put emphasis on accuracy of energy consumption tracking and correct regional CO2 emissions accounting. We encourage research community to search for new optimal Artificial Intelligence (AI) architectures with a lower computational cost. The motivation also comes from the concept of AI-based green house gases sequestrating cycle with both Sustainable AI and Green AI pathways.


title: On the Uplink Performance of Finite-Capacity Radio Stripes

abstract: Cell-Free (CF) Massive MIMO (mMIMO) is a technology which can potentially augment not only the deployment of 5G, but also the deployment of beyond 5G (B5G) wireless networks. However, the cost for rolling out such systems may be significant. Radio stripes form a promising solution which offers the potential of scalability at a reduced price. This paper investigates the uplink scenario of a CF mMIMO system, implemented with a limited-capacity radio stripe which integrates a novel arrangement of access points (APs), fully exploiting macro-diversity benefits. We also analyze a heuristic Compare-and-Forward (CnF) strategy, which, by comparing normalized linear minimum mean square error (N-LMMSE) soft estimates, enables optimal dynamic cooperation clustering, thus leading to a user-centric radio stripe network approach. Aiming at maximizing the per-user uplink spectral efficiency (SE), we ensure that, under finite capacity constraints, our solution can guarantee better performance than existing radio stripe architectures, especially when system size increases.


title: DA$^2$ Dataset: Toward Dexterity-Aware Dual-Arm Grasping

abstract: In this paper, we introduce DA$^2$, the first large-scale dual-arm dexterity-aware dataset for the generation of optimal bimanual grasping pairs for arbitrary large objects. The dataset contains about 9M pairs of parallel-jaw grasps, generated from more than 6000 objects and each labeled with various grasp dexterity measures. In addition, we propose an end-to-end dual-arm grasp evaluation model trained on the rendered scenes from this dataset. We utilize the evaluation model as our baseline to show the value of this novel and nontrivial dataset by both online analysis and real robot experiments. All data and related code will be open-sourced at https://sites.google.com/view/da2dataset.


title: Momentum gauge fields from curved momentum space through Kaluza-Klein reduction

abstract: In this work we investigate the relation between curved momentum space and momentum-dependent gauge fields. While the former is a classic idea that has been shown to be tied to minimal-length models, the latter constitutes a relatively recent development in quantum gravity phenomenology. In particular, the gauge principle in momentum space amounts to a modification of the position operator of the form $\hat{X}^\mu\rightarrow\hat{X}^\mu-g A^\mu (\hat{P})$ akin to a gauge-covariant derivative in momentum space according to the minimal coupling prescription. Here, we derive both effects from a Kaluza-Klein reduction of a higher-dimensional geometry exhibiting curvature in momentum space. The interplay of the emerging gauge fields as well as the remaining curved momentum space lead to modifications of the Heisenberg algebra. While the gauge fields imply Moyal-type noncommutativity dependent on the analogue field strength tensor, the dimensionally reduced curved momentum space geometry translates to a Snyder-type noncommutative geometry.


title: The classical cosmological constant of open-closed string field theory

abstract: We consider deformations of D-brane systems induced by a change in the closed string background in the framework of bosonic open-closed string field theory, where it is possible to unambiguously tame infrared divergences originating from both open and closed string degenerations. A closed string classical solution induces a tadpole for the open strings which shifts the open string vacuum and generates a cosmological constant composed of two terms: one which is directly related to the closed string solution and the other which depends on the open string vacuum shift. We show that only the sum of these two terms is invariant under closed SFT gauge transformations and therefore is an observable. We conjecture that this observable is universally proportional to the shift in the world-sheet disk partition function between the starting D-brane in undeformed background and the final D-brane in deformed background, which typically includes also a change in the string coupling constant. We test the conjecture by considering a perturbative closed string solution describing deformations of a Narain compactification and, from the SFT cosmological constant, we reproduce the expected shift in the $g$-function of various D-branes living in the compactification. In doing this we are also able to identify a surprising change in the string coupling constant at second order in the deformation.


title: Predicting Failure times for some Unobserved Events with Application to Real-Life Data

abstract: This study aims to predict failure times for some units in some lifetime experiments. In some practical situations, the experimenter may not be able to register the failure times of all units during the experiment. Recently, this situation can be described by a new type of censored data called multiply-hybrid censored data. In this paper, the linear failure rate distribution is well-fitted to some real-life data and hence some statistical inference approaches are applied to estimate the distribution parameters. A two-sample prediction approach applied to extrapolate a new sample simulates the observed data for predicting the failure times for the unobserved units.


title: Active Learning of One-Clock Timed Automata using Constraint Solving

abstract: Active automata learning in the framework of Angluin's $L^*$ algorithm has been applied to learning many kinds of automata models. In applications to timed models such as timed automata, the main challenge is to determine guards on the clock value in transitions as well as which transitions reset the clock. In this paper, we introduce a new algorithm for active learning of deterministic one-clock timed automata and timed Mealy machines. The algorithm uses observation tables that do not commit to specific choices of reset, but instead rely on constraint solving to determine reset choices that satisfy readiness conditions. We evaluate our algorithm on randomly-generated examples as well as practical case studies, showing that it is applicable to larger models, and competitive with existing work for learning other forms of timed models.


title: Almost global existence for some Hamiltonian PDEs with small Cauchy data on general tori

abstract: In this paper we prove a result of almost global existence for some abstract nonlinear PDEs on flat tori and apply it to some concrete equations, namely a nonlinear Schr\"odinger equation with a convolution potential, a beam equation and a quantum hydrodinamical equation. We also apply it to the stability of plane waves in NLS. The main point is that the abstract result is based on a nonresonance condition much weaker than the usual ones, which rely on the celebrated Bourgain's Lemma which provides a partition of the "resonant sites" of the Laplace operator on irrational tori.


title: Prospects for probing axionlike particles at a future hadron collider through top quark production

abstract: Axionlike particles (ALPs) emerge from spontaneously broken global symmetries in high energy extensions of the Standard Model (SM). This causes ALPs to be among the objectives of future experiments which intend to search for new physics beyond the SM. We discuss the reach of future pp collider FCC-hh in probing the ALP model parameters through top quark pair production associated with ALP ($t\bar{t}+\text{ALP}$) in a model-independent approach. The search is performed in the semileptonic decay mode of $t\bar{t}$ and the analysis is performed using a parametric simulation of the detector response for a projected integrated luminosity of $\rm 30~ab^{-1}$. It is shown that $t\bar{t}+\text{ALP}$ production at the FCC-hh is a promising channel with significant sensitivity to probe the ALP coupling with gluons. The ALP coupling with gluons obtained from HL-LHC and other experiments are presented for comparison.


title: Partial boundary regularity for the Navier-Stokes equations in irregular domains

abstract: We prove partial regularity of suitable weak solutions to the Navier--Stokes equations at the boundary in irregular domains. In particular, we provide a criterion which yields continuity of the velocity field in a boundary point and obtain solutions which are continuous in a.a. boundary boundary point (their existence is a consequence of a new maximal regularity result for the Stokes equations in domains with minimal regularity). We suppose that we have a Lipschitz boundary with locally small Lipschitz constant which belongs to the fractional Sobolev space $W^{2-1/p,p}$ for some $p>\frac{15}{4}$. The same result was previously only known under the much stronger assumption of a $C^2$-boundary.


title: Blast from the past II: Constraints on heavy neutral leptons from the BEBC WA66 beam dump experiment

abstract: We revisit the search for heavy neutral leptons with the Big European Bubble Chamber in the 1982 proton beam dump experiment at CERN, focussing on those heavier than the kaon and mixing only with the tau neutrino, as these are far less constrained than their counterparts with smaller mass or other mixings. Recasting the previous search in terms of this model and including additional production and decay channels yields the strongest bounds to date, up to the tau mass. This applies also to our updated bounds on the mixing of heavy neutral leptons with the electron neutrino.


title: Likelihood-Free Dynamical Survival Analysis Applied to the COVID-19 Epidemic in Ohio

abstract: The Dynamical Survival Analysis (DSA) is a framework for modeling epidemics based on mean field dynamics applied to individual (agent) level history of infection and recovery. Recently, DSA has been shown to be an effective tool in analyzing complex non-Markovian epidemic processes that are otherwise difficult to handle using standard methods. One of the advantages of DSA is its representation of typical epidemic data in a simple although not explicit form that involves solutions of certain differential equations. In this work we describe how a complex non-Markovian DSA model may be applied to a specific data set with the help of appropriate numerical and statistical schemes. The ideas are illustrated with a data example of the COVID-19 epidemic in Ohio.

categories: q-bio.PE math.AP math.DS physics.soc-ph q-bio.QM


title: On the general Sombor index of unicyclic graphs with a given diameter

abstract: The general Sombor index of $G$ is defined as $SO_{\alpha}(G)= \sum_{uv\in G}\left(d^2_{G}(u)+d^2_{G}(v)\right)^{\alpha}$. For $0<\alpha<1$, we have the upper bound of $SO_{\alpha}(G)$ on unicyclic graphs with a fixed diameter, and the extremal graph is also characterized.


title: Exploring Mathematics with Curvagon Tiles

abstract: Building blocks and tiles are an excellent way of learning about geometry and mathematics in general. There are several versions of tiles that are either snapped together or connected with magnets that can be used to introduce topics like volume, tessellations, and Platonic solids. However, since these tiles are made of hard plastic, they are not very suitable for creating hyperbolic surfaces or shapes where the tiles need to bend. Curvagons are flexible regular polygon building blocks that allow you to quickly build anything from hyperbolic surfaces and tori to dinosaurs and shoes. They can be used to introduce mathematical concepts from Archimedean solids to Gauss-Bonnet theorem. You can also let your imagination run free and build whatever comes to mind.


title: Flavor Changing Neutral Current processes and family discrimination in 3-3-1 models

abstract: In 3-3-1 models anomaly cancellation requires that one of the three families of quarks transforms as triplet by $\text{SU}(3)_\text{L}$ with the other two transforming necessarily as anti-triplet. This is an important feature of the model because with it we explain family replication. Thus it is mandatory to discriminate which of the families will transform as triplet by $\text{SU}(3)_\text{L}$ because the main consequence of anomaly cancellation in 3-3-1 models is the arising of processes violating flavor at tree level by means of neutral currents mediated by gauge and scalar fields and each case leads to different results. In this work we consider the 3-3-1 model with right-handed neutrinos. Among the spectrum of 3-3-1 particles that contributes to the flavor changing neutral processes, there is a pseudoscalar that may be the lightest of the 3-3-1 particles and then should give the main contribution to such processes. We then calculate its contribution to the $K^0 -\bar K^0$ mixing transition and confront it with the current experimental results. We do this for the three cases in which one of the family of quarks transforms as a triplet by $\text{SU}(3)_\text{L}$. According to our findings each case leads to different constraints on the mass of the pseudoscalar and the case in which the third family of quarks transforms as triplet seems to be the favoured one. We also obtain the most stringent bounds on the mass of the pseudoscalar of the model.


title: Special Lagrangians in nearly K\"ahler $\mathbb{CP}^3$

abstract: This article explores special Lagrangian submanifolds in $\mathbb{CP}^3$, viewed as a nearly K\"ahler manifold, from two different perspectives. Intrinsically, using a moving frame set-up, and extrinsically, using $\mathrm{SU}(2)$ moment-type maps. We describe new homogeneous examples, from both perspectives, and classify totally geodesic special Lagrangian submanifolds. We show that every special Lagrangian in $\mathbb{CP}^3$, or the flag manifold $\mathbb{F}_{1,2}(\mathbb{C}^3)$ admitting a symmetry of an $\mathrm{SU}(2)$ subgroup of nearly K\"ahler automorphisms is automatically homogeneous.


title: Unitary Approximate Message Passing for Matrix Factorization

abstract: We consider matrix factorization (MF) with certain constraints, which finds wide applications in various areas. Leveraging variational inference (VI) and unitary approximate message passing (UAMP), we develop a Bayesian approach to MF with an efficient message passing implementation, called UAMPMF. With proper priors imposed on the factor matrices, UAMPMF can be used to solve many problems that can be formulated as MF, such as non negative matrix factorization, dictionary learning, compressive sensing with matrix uncertainty, robust principal component analysis, and sparse matrix factorization. Extensive numerical examples are provided to show that UAMPMF significantly outperforms state-of-the-art algorithms in terms of recovery accuracy, robustness and computational complexity.


title: Left computably enumerable reals and initial segment complexity

abstract: We are interested in the computability between left c.e. reals $\alpha$ and their initial segments. We show that the quantity $C(C(\alpha_n)|\alpha_n)$ plays a crucial role in this and in their completeness. We look in particular at Chaitin's theorem and its relativisation due to Frank Stephan.


title: Crafting polarisations for top, $W$ and $Z$

abstract: We put forward a method to tune the polarisation state of decaying heavy particles (top quarks and $W/Z$ bosons) in a pre-existing Monte Carlo sample. With this technique, dubbed as `custom angle replacement', the decay angular distributions are modified in such a way that the desired polarisation state is reproduced, while all the production kinematics are unchanged. A non-trivial test of this approach is presented for the top quark semileptonic decay $t \to W b \to \ell \nu b$, with $\ell = e,\mu$, in which the decay distribution is four-dimensional and involves three different Lorentz frames. The proposed method is ideally suited to obtain event samples with polarised heavy particles, as required by experimental measurements of polarisation and spin correlations.


title: Hamiltonian formulation and loop quantization of a recent extension of the Kruskal spacetime

abstract: We study the Hamiltonian formulation of the Ashtekar-Olmedo-Singh model for the description of the interior geometry of non-rotating, uncharged black holes. This model incorporates loop quantum effects through the introduction of two regularization parameters. We consider an extended phase space formalism proposed by the creators of the model that includes such parameters as configuration variables, constrained to be functions of the black hole mass. We generalize this restriction, allowing for an off-shell phase space dependence. We then introduce a gauge fixing procedure and reduce the system, proving that the reduced symplectic structure cannot reproduce the standard relativistic one in terms of the densitized triad and the Ashtekar-Barbero connection. Actually, the reduced structure precisely compensates the modifications that arise in the Hamilton equations when the regularization parameters are treated as phase space functions, rather than as numbers, attaining a consistent Hamiltonian derivation of the dynamics. We then choose the extended phase space formalism as starting point to address the loop quantization of the model. Taking the definition of certain geometric operators as the only basic ingredient and adopting prescriptions that have proven successful in loop quantum cosmology, we construct a polymer representation of all the constraints and deduce the formal expression of the physical states, assuming reasonable spectral properties for the constraint operators. The physical states turn out to be characterized by a wave function of the black hole mass with support on a very specific set. We finally discuss conditions that guarantee the existence of physical states in the region of large black hole masses. This is a first step in the development of a new loop quantum theory of black holes.


title: Hear $\pi$ from Quantum Galperin Billiards

abstract: Galperin introduced an interesting method to learn the digits of $\pi $ by counting the collisions of two billiard balls and a hard wall. This paper studies two quantum versions of the Galperin billiards. It is shown that the digits of $\pi $ can be observed in the phase shifts of the quantum models.


title: Effects of Reheating on Moduli Stabilization

abstract: Moduli potential loses its minima due to external energy sources of inflaton energy density or radiation produced at the end of inflation. But, the non-existence of minima does not necessarily mean destabilization of moduli. In fact, the destabilization of moduli is always dependent on the initial field values of the fields. In this work, we study carefully how the effects of reheating ease the problem of moduli destabilization. The associated time scale to produce the thermal bath allows a larger initial field range to stabilize the field. Contrary to the usual notion, the allowed initial field range is larger for higher temperatures when the effective potential is of a run-away nature. This eases the moduli destabilization problem for heavy mass moduli. For low mass moduli ($\lesssim$ 30 TeV), the allowed field range still causes the cosmological moduli problem by violating the BBN constraints unless its initial abundance is suppressed.


title: Robust Real-World Image Super-Resolution against Adversarial Attacks

abstract: Recently deep neural networks (DNNs) have achieved significant success in real-world image super-resolution (SR). However, adversarial image samples with quasi-imperceptible noises could threaten deep learning SR models. In this paper, we propose a robust deep learning framework for real-world SR that randomly erases potential adversarial noises in the frequency domain of input images or features. The rationale is that on the SR task clean images or features have a different pattern from the attacked ones in the frequency domain. Observing that existing adversarial attacks usually add high-frequency noises to input images, we introduce a novel random frequency mask module that blocks out high-frequency components possibly containing the harmful perturbations in a stochastic manner. Since the frequency masking may not only destroys the adversarial perturbations but also affects the sharp details in a clean image, we further develop an adversarial sample classifier based on the frequency domain of images to determine if applying the proposed mask module. Based on the above ideas, we devise a novel real-world image SR framework that combines the proposed frequency mask modules and the proposed adversarial classifier with an existing super-resolution backbone network. Experiments show that our proposed method is more insensitive to adversarial attacks and presents more stable SR results than existing models and defenses.


title: Mod-$2$ Hecke algebras of level $3$ and $5$

abstract: We use deformation theory to study the big Hecke algebra acting on mod-2 modular forms of prime level $N$ and all weights, especially its local component at the trivial representation. For $N = 3, 5$, we prove that the maximal reduced quotient of this big Hecke algebra is isomorphic to the maximal reduced quotient of the corresponding universal deformation ring. Then we completely determine the structure of this big Hecke algebra. We also describe a natural grading on mod-$p$ Hecke algebras.


title: Baryonic spin Hall effects in Au+Au collisions at $\sqrt{s_{NN}} = 7.7-200$ GeV

abstract: In this proceeding, we present our recent prediction on the local net Lambda polarization to search for the baryonic spin Hall effect (SHE) at RHIC BES energies. The baryonic SHE is induced by the gradients of baryon chemical potential, which leads to local polarization separation between baryons and anti-baryons. Based on hydrodynamic simulations with spin Cooper-Fryer formula, we propose to use $P^{{\rm net}}_{2,y}$ and $P^{{\rm net}}_{2,z}$, the second Fourier coefficients of net spin polarization to quantify this baryonic SHE. Future experimental observation of their non-trivial signatures could strongly support the existence of the baryon SHE in hot and dense QCD matter.


title: Generic Hecke algebra and theta correspondence over finite fields

abstract: We study the Hecke algebra modules arising from theta correspondence between certain Harish-Chandra series for type I dual pairs over finite fields. For the product of the pair of Hecke algebras under consideration, we show that there is a generic Hecke algebra module whose specializations at prime powers give the Hecke algebra modules and whose specialization at $1$ can be explicitly described. As an application, we prove the conservation relation on the first occurrence indices for all irreducible representations. As another application, we generalize the results of Aubert-Michel-Rouquier and Pan on theta correspondence between the Harish-Chandra series.


title: Gr\"obner Bases for Increasing Sequences

abstract: Let $q,n \geq 1$ be integers, $[q]=\{1,\ldots, q\}$, and $\mathbb F$ be a field with $|\mathbb F|\geq q$. The set of increasing sequences $$ I(n,q)=\{(f_1,f_2, \dots, f_n) \in [q]^n:~ f_1\leq f_2\leq\cdots \leq f_n \} $$ can be mapped via an injective map $i: [q]\rightarrow \mathbb F $ into a subset $J(n,q)$ of the affine space ${\mathbb F}^n$. We describe reduced Gr\"obner bases, standard monomials and Hilbert function of the ideal of polynomials vanishing on $J(n,q)$. As applications we give an interpolation basis for $J(n,q)$, and lower bounds for the size of increasing Kakeya sets, increasing Nikodym sets, and for the size of affine hyperplane covers of $J(n,q)$.


title: The Who in Code-Switching: A Case Study for Predicting Egyptian Arabic-English Code-Switching Levels based on Character Profiles

abstract: Code-switching (CS) is a common linguistic phenomenon exhibited by multilingual individuals, where they tend to alternate between languages within one single conversation. CS is a complex phenomenon that not only encompasses linguistic challenges, but also contains a great deal of complexity in terms of its dynamic behaviour across speakers. Given that the factors giving rise to CS vary from one country to the other, as well as from one person to the other, CS is found to be a speaker-dependant behaviour, where the frequency by which the foreign language is embedded differs across speakers. While several researchers have looked into predicting CS behaviour from a linguistic point of view, research is still lacking in the task of predicting user CS behaviour from sociological and psychological perspectives. We provide an empirical user study, where we investigate the correlations between users' CS levels and character traits. We conduct interviews with bilinguals and gather information on their profiles, including their demographics, personality traits, and traveling experiences. We then use machine learning (ML) to predict users' CS levels based on their profiles, where we identify the main influential factors in the modeling process. We experiment with both classification as well as regression tasks. Our results show that the CS behaviour is affected by the relation between speakers, travel experiences as well as Neuroticism and Extraversion personality traits.


title: Antisymmetric Seebeck effect in a tilted Weyl semimetal

abstract: Tilting the Weyl cone breaks the Lorentz invariance and enriches the Weyl physics. Here, we report the observation of a magnetic-field-antisymmetric Seebeck effect in a tilted Weyl semimetal, Co$_3$Sn$_2$S$_2$. Moreover, it is found that the Seebeck effect and the Nernst effect are antisymmetric in both the in-plane magnetic field and the magnetization. We attribute these exotic effects to the one-dimensional chiral anomaly and phase space correction due to the Berry curvature. The observation is further reproduced by a theoretical calculation, taking into account the orbital magnetization.


title: Wall-crossing for vortex partition function and handsaw quiver varierty

abstract: We investigate vortex partition functions defined from integrals over the handsaw quiver varieties of type $A_{1}$ via wall-crossing phenomena. We consider vortex partition functions defined by two types of cohomology classes, and get functional equations for each of them. We also give explicit formula for these partition functions. This gives proofs to formula suggested by physicsts. In particular, we obtain geometric interpretation of formulas for multiple hypergeometric functions including rational limit of the Kajihara transformation formula.


title: On the Onsager-Casimir reciprocal relations in a tilted Weyl semimetal

abstract: The Onsager-Casimir reciprocal relations are a fundamental symmetry of nonequilibrium statistical systems. Here we study an unusual chirality-dependent Hall effect in a tilted Weyl semimetal Co$_3$Sn$_2$S$_2$ with broken time reversal symmetry. It is confirmed that the reciprocal relations are satisfied. Since two Berry curvature effects, an anomalous velocity and a chiral chemical potential, contribute to the observed Hall effect, the reciprocal relations suggest their intriguing connection.


title: Global self-similar scaling of terrestrial carbon with aridity

abstract: While it is well known that water availability controls vegetation growth and soil microbial activity, how aridity affects ecosystem carbon patterns is not completely understood. Towards a more quantitative assessment of terrestrial carbon stocks, here we uncover a remarkable self-similar behavior of the global carbon stock. Using international survey and remote sensing data, we find that the key statistics (e.g., mean, quantiles, and standard deviation) of carbon stock tend to scale with the hydrological regime (i.e., aridity) via a universal exponent. As a result, when normalized by its averages in the corresponding hydrological regime, the carbon stock distributions collapse onto a single curve. Such a scaling reflects the strong coupling between hydrological cycle and biogeochemical process and enables robust predictions of carbon stocks as a function of aridity only.


title: Toward Understanding WordArt: Corner-Guided Transformer for Scene Text Recognition

abstract: Artistic text recognition is an extremely challenging task with a wide range of applications. However, current scene text recognition methods mainly focus on irregular text while have not explored artistic text specifically. The challenges of artistic text recognition include the various appearance with special-designed fonts and effects, the complex connections and overlaps between characters, and the severe interference from background patterns. To alleviate these problems, we propose to recognize the artistic text at three levels. Firstly, corner points are applied to guide the extraction of local features inside characters, considering the robustness of corner structures to appearance and shape. In this way, the discreteness of the corner points cuts off the connection between characters, and the sparsity of them improves the robustness for background interference. Secondly, we design a character contrastive loss to model the character-level feature, improving the feature representation for character classification. Thirdly, we utilize Transformer to learn the global feature on image-level and model the global relationship of the corner points, with the assistance of a corner-query cross-attention mechanism. Besides, we provide an artistic text dataset to benchmark the performance. Experimental results verify the significant superiority of our proposed method on artistic text recognition and also achieve state-of-the-art performance on several blurred and perspective datasets.


title: Design What You Desire: Icon Generation from Orthogonal Application and Theme Labels

abstract: Generative adversarial networks (GANs) have been trained to be professional artists able to create stunning artworks such as face generation and image style transfer. In this paper, we focus on a realistic business scenario: automated generation of customizable icons given desired mobile applications and theme styles. We first introduce a theme-application icon dataset, termed AppIcon, where each icon has two orthogonal theme and app labels. By investigating a strong baseline StyleGAN2, we observe mode collapse caused by the entanglement of the orthogonal labels. To solve this challenge, we propose IconGAN composed of a conditional generator and dual discriminators with orthogonal augmentations, and a contrastive feature disentanglement strategy is further designed to regularize the feature space of the two discriminators. Compared with other approaches, IconGAN indicates a superior advantage on the AppIcon benchmark. Further analysis also justifies the effectiveness of disentangling app and theme representations. Our project will be released at: https://github.com/architect-road/IconGAN.


title: Fractal fluctuations at mixed-order transitions in interdependent networks

abstract: We study the geometrical features of the order parameter's fluctuations near the critical point of mixed-order phase transitions in randomly interdependent spatial networks. In contrast to continuous transitions, where the structure of the order parameter at criticality is fractal, in mixed-order transitions the structure of the order parameter is known to be compact. Remarkably, we find that although being compact, the fluctuations of the order parameter close to mixed-order transitions are fractal up to a well-defined correlation length $\xi'$, which diverges when approaching the critical threshold. We characterize the self-similar nature of these critical fluctuations through their fractal dimension, $d_f'=3d/4$, and correlation length exponent, $\nu'=2/d$, where $d$ is the dimension of the system. By means of percolation and magnetization, we demonstrate that $d_f'$ and $\nu'$ are independent on the symmetry of the underlying process for any $d$ of the underlying networks.


title: Approximating Hessian matrices using Bayesian inference: a new approach for quasi-Newton methods in stochastic optimization

abstract: Using quasi-Newton methods in stochastic optimization is not a trivial task given the difficulty of extracting curvature information from the noisy gradients. Moreover, pre-conditioning noisy gradient observations tend to amplify the noise. We propose a Bayesian approach to obtain a Hessian matrix approximation for stochastic optimization that minimizes the secant equations residue while retaining the extreme eigenvalues between a specified range. Thus, the proposed approach assists stochastic gradient descent to converge to local minima without augmenting gradient noise. We propose maximizing the log posterior using the Newton-CG method. Numerical results on a stochastic quadratic function and an $\ell_2$-regularized logistic regression problem are presented. In all the cases tested, our approach improves the convergence of stochastic gradient descent, compensating for the overhead of solving the log posterior maximization. In particular, pre-conditioning the stochastic gradient with the inverse of our Hessian approximation becomes more advantageous the larger the condition number of the problem is.


title: The sliding phase transition in ferroelectric van der Waals bilayers

abstract: We address the sliding thermodynamics of van der Waals-bonded bilayers by the continuum elasticity theory. We attribute the robustness of the ferroelectricity recently observed in h-BN and WTe2 bilayers to large monolayer in-plane stiffness. We compute the electric susceptibility and specific heat in the mean-field self-consistent phonon approximation. We compare critical temperatures and electric switching fields with the observations.


title: Taming Multi-Output Recommenders for Software Engineering

abstract: Recommender systems are a valuable tool for software engineers. For example, they can provide developers with a ranked list of files likely to contain a bug, or multiple auto-complete suggestions for a given method stub. However, the way these recommender systems interact with developers is often rudimentary -- a long list of recommendations only ranked by the model's confidence. In this vision paper, we lay out our research agenda for re-imagining how recommender systems for software engineering communicate their insights to developers. When issuing recommendations, our aim is to recommend diverse rather than redundant solutions and present them in ways that highlight their differences. We also want to allow for seamless and interactive navigation of suggestions while striving for holistic end-to-end evaluations. By doing so, we believe that recommender systems can play an even more important role in helping developers write better software.


title: BYOLMed3D: Self-Supervised Representation Learning of Medical Videos using Gradient Accumulation Assisted 3D BYOL Framework

abstract: Applications on Medical Image Analysis suffer from acute shortage of large volume of data properly annotated by medical experts. Supervised Learning algorithms require a large volumes of balanced data to learn robust representations. Often supervised learning algorithms require various techniques to deal with imbalanced data. Self-supervised learning algorithms on the other hand are robust to imbalance in the data and are capable of learning robust representations. In this work, we train a 3D BYOL self-supervised model using gradient accumulation technique to deal with the large number of samples in a batch generally required in a self-supervised algorithm. To the best of our knowledge, this work is one of the first of its kind in this domain. We compare the results obtained through our experiments in the downstream task of ACL Tear Injury detection with the contemporary self-supervised pre-training methods and also with ResNet3D-18 initialized with the Kinetics-400 pre-trained weights. From the downstream task experiments, it is evident that the proposed framework outperforms the existing baselines.


title: Propagation properties in a multi-species SIR reaction-diffusion system

abstract: We consider a multi-species reaction-diffusion system that arises in epidemiology to describe the spread of several strains, or variants, of a disease in a population. Our model is a natural spatial, multi-species, extension of the classical SIR model of Kermack and McKendrick. First, we study the long-time behavior of the solutions and show that there is a "selection via propagation" phenomenon: starting with N strains, only a subset of them - that we identify - propagates and invades space, with some given speeds that we compute. Then, we obtain some qualitative properties concerning the effects of the competition between the different strains on the outcome of the epidemic. In particular, we prove that the dynamic of the model is not well characterized by the usual notion of basic reproduction number, which strongly differs from the classical case with one strain.


title: Out-of-Distribution Detection with Semantic Mismatch under Masking

abstract: This paper proposes a novel out-of-distribution (OOD) detection framework named MoodCat for image classifiers. MoodCat masks a random portion of the input image and uses a generative model to synthesize the masked image to a new image conditioned on the classification result. It then calculates the semantic difference between the original image and the synthesized one for OOD detection. Compared to existing solutions, MoodCat naturally learns the semantic information of the in-distribution data with the proposed mask and conditional synthesis strategy, which is critical to identifying OODs. Experimental results demonstrate that MoodCat outperforms state-of-the-art OOD detection solutions by a large margin.


title: Uniform strong and weak error estimates for numerical schemes applied to multiscale SDEs in a Smoluchowski-Kramers diffusion approximation regime

abstract: We study a family of numerical schemes applied to a class of multiscale systems of stochastic differential equations. When the time scale separation parameter vanishes, a well-known Smoluchowski--Kramers diffusion approximation result states that the slow component of the considered system converges to the solution of a standard It\^o stochastic differential equation. We propose and analyse schemes for strong and weak effective approximation of the slow component. Such schemes satisfy an asymptotic preserving property and generalize the methods proposed in a recent article. We fill a gap in the analysis of these schemes and prove strong and weak error estimates, which are uniform with respect to the time scale separation parameter.


title: Uniform error bounds for numerical schemes applied to multiscale SDEs in a Wong-Zakai diffusion approximation regime

abstract: We study a family of numerical schemes applied to a class of multiscale systems of stochastic differential equations. When the time scale separation parameter vanishes, a well-known homogenization or Wong--Zakai diffusion approximation result states that the slow component of the considered system converges to the solution of a stochastic differential equation driven by a real-valued Wiener process, with Stratonovich interpretation of the noise. We propose and analyse schemes for effective approximation of the slow component. Such schemes satisfy an asymptotic preserving property and generalize the methods proposed in a recent article. We fill a gap in the analysis of these schemes and prove strong error estimates, which are uniform with respect to the time scale separation parameter.


title: SdAE: Self-distillated Masked Autoencoder

abstract: With the development of generative-based self-supervised learning (SSL) approaches like BeiT and MAE, how to learn good representations by masking random patches of the input image and reconstructing the missing information has grown in concern. However, BeiT and PeCo need a "pre-pretraining" stage to produce discrete codebooks for masked patches representing. MAE does not require a pre-training codebook process, but setting pixels as reconstruction targets may introduce an optimization gap between pre-training and downstream tasks that good reconstruction quality may not always lead to the high descriptive capability for the model. Considering the above issues, in this paper, we propose a simple Self-distillated masked AutoEncoder network, namely SdAE. SdAE consists of a student branch using an encoder-decoder structure to reconstruct the missing information, and a teacher branch producing latent representation of masked tokens. We also analyze how to build good views for the teacher branch to produce latent representation from the perspective of information bottleneck. After that, we propose a multi-fold masking strategy to provide multiple masked views with balanced information for boosting the performance, which can also reduce the computational complexity. Our approach generalizes well: with only 300 epochs pre-training, a vanilla ViT-Base model achieves an 84.1% fine-tuning accuracy on ImageNet-1k classification, 48.6 mIOU on ADE20K segmentation, and 48.9 mAP on COCO detection, which surpasses other methods by a considerable margin. Code is available at https://github.com/AbrahamYabo/SdAE.


title: Parameter-Parallel Distributed Variational Quantum Algorithm

abstract: Variational quantum algorithms (VQAs) have emerged as a promising near-term technique to explore practical quantum advantage on noisy intermediate-scale quantum (NISQ) devices. However, the inefficient parameter training process due to the incompatibility with backpropagation and the cost of a large number of measurements, posing a great challenge to the large-scale development of VQAs. Here, we propose a parameter-parallel distributed variational quantum algorithm (PPD-VQA), to accelerate the training process by parameter-parallel training with multiple quantum processors. To maintain the high performance of PPD-VQA in the realistic noise scenarios, a alternate training strategy is proposed to alleviate the acceleration attenuation caused by noise differences among multiple quantum processors, which is an unavoidable common problem of distributed VQA. Besides, the gradient compression is also employed to overcome the potential communication bottlenecks. The achieved results suggest that the PPD-VQA could provide a practical solution for coordinating multiple quantum processors to handle large-scale real-word applications.


title: Photon-Limited Blind Deconvolution using Unsupervised Iterative Kernel Estimation

abstract: Blind deconvolution is a challenging problem, but in low-light it is even more difficult. Existing algorithms, both classical and deep-learning based, are not designed for this condition. When the photon shot noise is strong, conventional deconvolution methods fail because (1) the image does not have enough signal-to-noise ratio to perform the blur estimation; (2) While deep neural networks are powerful, many of them do not consider the forward process. When the noise is strong, these networks fail to simultaneously deblur and denoise; (3) While iterative schemes are known to be robust in the classical frameworks, they are seldom considered in deep neural networks because it requires a differentiable non-blind solver. This paper addresses the above challenges by presenting an \emph{unsupervised} blind deconvolution method. At the core of this method is a reformulation of the general blind deconvolution framework from the conventional image-kernel alternating minimization to a purely kernel-based minimization. This kernel-based minimization leads to a new iterative scheme that backpropagates an unsupervised loss through a pre-trained non-blind solver to update the blur kernel. Experimental results show that the proposed framework achieves superior results than state-of-the-art blind deconvolution algorithms in low-light conditions.


title: Possible Enhancements of Collective Flow Anisotropy Induced by Uncertainty Relation for Fluid Element

abstract: In the stochastic formulation of viscous hydrodynamics, the velocity of a fluid element fluctuates satisfying a similar relation to the quantum-mechanical uncertainty relation. Using a non-relativistic toy model, we show that the presence of such a velocity fluctuation increases the local anisotropy of the momentum distributions of produced hadrons, and thus the collective flow parameters such as $v_2$ is emphasized.


title: One-Shot Medical Landmark Localization by Edge-Guided Transform and Noisy Landmark Refinement

abstract: As an important upstream task for many medical applications, supervised landmark localization still requires non-negligible annotation costs to achieve desirable performance. Besides, due to cumbersome collection procedures, the limited size of medical landmark datasets impacts the effectiveness of large-scale self-supervised pre-training methods. To address these challenges, we propose a two-stage framework for one-shot medical landmark localization, which first infers landmarks by unsupervised registration from the labeled exemplar to unlabeled targets, and then utilizes these noisy pseudo labels to train robust detectors. To handle the significant structure variations, we learn an end-to-end cascade of global alignment and local deformations, under the guidance of novel loss functions which incorporate edge information. In stage II, we explore self-consistency for selecting reliable pseudo labels and cross-consistency for semi-supervised learning. Our method achieves state-of-the-art performances on public datasets of different body parts, which demonstrates its general applicability.


title: An inverse problem for fractional connection Laplacians

abstract: Consider a fractional operator $P^s$, $0<s<1$, for connection Laplacian $P:=\nabla^*\nabla+A$ on a smooth Hermitian vector bundle over a closed, connected Riemannian manifold of dimension $n\geq 2$. We show that local knowledge of the metric, Hermitian bundle, connection, potential, and source-to-solution map associated with $P^s$ determines these structures globally. This extends a result known for the fractional Laplace-Beltrami operator.


title: Doppler Shift and Channel Estimation for Intelligent Transparent Surface Assisted Communication Systems on High-Speed Railways

abstract: The critical distinction between the emerging intelligent transparent surface (ITS) and intelligent reflection surface (IRS) is that the incident signals can penetrate the ITS instead of being reflected, which enables the ITS to combat the severe signal penetration loss for high-speed railway (HSR) wireless communications. This paper thus investigates the channel estimation problem for an ITS-assisted HSR network where the ITS is embedded into the carriage window. We first formulate the channels as functions of physical parameters, and thus transform the channel estimation into a parameter recovery problem. Next, we design the first two pilot blocks within each frame and develop a serial low-complexity channel estimation algorithm. Specifically, the channel estimates are initially obtained, and each estimate is further expressed as the sum of its perfectly known value and the estimation error. By leveraging the relationship between channels for the two pilot blocks, we recover the Doppler shifts from the channel estimates, based on which we can further acquire other channel parameters. Moreover, the Cramer-Rao lower bound (CRLB) for each parameter is derived as a performance benchmark. Finally, we provide numerical results to establish the effectiveness of our proposed estimators.


title: Uniform far-field asymptotics of the two-layered Green function in 2D and application to wave scattering in a two-layered medium

abstract: In this paper, we establish new results for the uniform far-field asymptotics of the two-layered Green function (together with its derivatives) in 2D in the frequency domain. To the best of our knowledge, our results are the sharpest yet obtained. The steepest descent method plays an important role in the proofs of our results. Further, as an application of our new results, we derive the uniform far-field asymptotics of the scattered field to the acoustic scattering problem by buried obstacles in a two-layered medium with a locally rough interface. The results obtained in this paper provide a theoretical foundation for our recent work, where direct imaging methods have been developed to image the locally rough interface from phaseless total-field data or phased far-field data at a fixed frequency. It is believed that the results obtained in this paper will also be useful on its own right.


title: INSightR-Net: Interpretable Neural Network for Regression using Similarity-based Comparisons to Prototypical Examples

abstract: Convolutional neural networks (CNNs) have shown exceptional performance for a range of medical imaging tasks. However, conventional CNNs are not able to explain their reasoning process, therefore limiting their adoption in clinical practice. In this work, we propose an inherently interpretable CNN for regression using similarity-based comparisons (INSightR-Net) and demonstrate our methods on the task of diabetic retinopathy grading. A prototype layer incorporated into the architecture enables visualization of the areas in the image that are most similar to learned prototypes. The final prediction is then intuitively modeled as a mean of prototype labels, weighted by the similarities. We achieved competitive prediction performance with our INSightR-Net compared to a ResNet baseline, showing that it is not necessary to compromise performance for interpretability. Furthermore, we quantified the quality of our explanations using sparsity and diversity, two concepts considered important for a good explanation, and demonstrated the effect of several parameters on the latent space embeddings.


title: A heuristic technique for decomposing multisets of non-negative integers according to the Minkowski sum

abstract: We study the following problem. Given a multiset $M$ of non-negative integers, decide whether there exist and, in the positive case, compute two non-trivial multisets whose Minkowski sum is equal to $M$. The Minkowski sum of two multisets A and B is a multiset containing all possible sums of any element of A and any element of B. This problem was proved to be NP-complete when multisets are replaced by sets. This version of the problem is strictly related to the factorization of boolean polynomials that turns out to be NP-complete as well. When multisets are considered, the problem is equivalent to the factorization of polynomials with non-negative integer coefficients. The computational complexity of both these problems is still unknown. The main contribution of this paper is a heuristic technique for decomposing multisets of non-negative integers. Experimental results show that our heuristic decomposes multisets of hundreds of elements within seconds independently of the magnitude of numbers belonging to the multisets. Our heuristic can be used also for factoring polynomials in N[x]. We show that, when the degree of the polynomials gets larger, our technique is much faster than the state-of-the-art algorithms implemented in commercial software like Mathematica and MatLab.


title: $\hbar \omega$ versus $\hbar \boldsymbol{k}$: Dispersion and Energy Constraints on Time-Varying Photonic Materials and Time Crystals

abstract: Photonic time-varying systems have attracted significant attention owing to their rich physics and potential opportunities for new and enhanced functionalities. In this context, the duality of space and time in wave physics has been particularly fruitful to uncover interesting physical effects in the temporal domain, such as reflection/refraction at temporal interfaces and momentum-bandgaps in time crystals. However, the characteristics of the temporal/frequency dimension, particularly its relation to causality and energy conservation ($\hbar \omega$ is energy, whereas $\hbar \boldsymbol{k}$ is momentum), create challenges and constraints that are unique to time-varying systems and are not present in their spatially varying counterparts. Here, we overview two key physical aspects of time-varying photonics that have only received marginal attention so far, namely temporal dispersion and external power requirements, and explore their implications. We discuss how temporal dispersion, an inherent property of any causal material, makes the fields evolve continuously at sharp temporal interfaces and may limit the strength of fast temporal modulations and of various resulting effects. Furthermore, we show that changing the refractive index in time always involves large amounts of energy. We derive power requirements to observe a time-crystal response in one of the most popular material platforms in time-varying photonics, i.e., transparent conducting oxides, and we argue that these effects are almost always obscured by less exotic nonlinear phenomena. These observations and findings shed light on the physics and constraints of time-varying photonics, and may guide the design and implementation of future time-modulated photonic systems.


title: Complex Observation in Electron Microscopy VIII: Novel Hilbert Phase-plates to Maximize Phase-contrast Sensitivity

abstract: Phase-plate transmission electron microscopy has recently regressed since a report that Volta phase-plate phase-contrast is less sensitive than non-phase-plate phase contrast, which leads to conventional defocusing phase-contrast. What about Hilbert phase-plate phase-contrast? We report that the Hilbert phase-plate method can survive if two experiments using a pair of symmetric Hilbert phase-plates, of which phase is set to a value smaller than {\pi}, are combined. Three phase-contrast methods using the symmetric Hilbert phase-plates and Zernike phase-plate representing Volta phase-plate and Scherzer defocus respectively were compared in sensitivity theoretically relying on a contrast transfer theory and computationally on a simulator specifically designed for phase plate transmission electron microscopy. For the two phase-plate phase-contrasts, the phase that gives the highest sensitivity was searched for by changing the phase-plate phase. As a result, the symmetric Hilbert phase-plates phase-contrast was found to outperform Scherzer defocus phase-contrast in the phase around {\pi}/2. On the other hand, Zernike phase-plate phase-contrast was found considerably inferior to Scherzer defocus phase-contrast in the entire phase range from 0 to {\pi}. Furthermore, the novel Hilbert phase-plate method was compared with complex observation transmission electron microscopy, which also requires two experiments, and the origin of the higher sensitivity of symmetric Hilbert phase-plates phase-contrast was examined.


title: Adaptive Temperature Scaling for Robust Calibration of Deep Neural Networks

abstract: In this paper, we study the post-hoc calibration of modern neural networks, a problem that has drawn a lot of attention in recent years. Many calibration methods of varying complexity have been proposed for the task, but there is no consensus about how expressive these should be. We focus on the task of confidence scaling, specifically on post-hoc methods that generalize Temperature Scaling, we call these the Adaptive Temperature Scaling family. We analyse expressive functions that improve calibration and propose interpretable methods. We show that when there is plenty of data complex models like neural networks yield better performance, but are prone to fail when the amount of data is limited, a common situation in certain post-hoc calibration applications like medical diagnosis. We study the functions that expressive methods learn under ideal conditions and design simpler methods but with a strong inductive bias towards these well-performing functions. Concretely, we propose Entropy-based Temperature Scaling, a simple method that scales the confidence of a prediction according to its entropy. Results show that our method obtains state-of-the-art performance when compared to others and, unlike complex models, it is robust against data scarcity. Moreover, our proposed model enables a deeper interpretation of the calibration process.


title: The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments

abstract: When assessing a software-based system, the results of Bayesian statistical inference on operational testing data can provide strong support for software reliability claims. For inference, this data (i.e. software successes and failures) is often assumed to arise in an independent, identically distributed (i.i.d.) manner. In this paper we show how conservative Bayesian approaches make this assumption unnecessary, by incorporating one's doubts about the assumption into the assessment. We derive conservative confidence bounds on a system's probability of failure on demand (pfd), when operational testing reveals no failures. The generality and utility of the confidence bounds are illustrated in the assessment of a nuclear power-plant safety-protection system, under varying levels of skepticism about the i.i.d. assumption. The analysis suggests that the i.i.d. assumption can make Bayesian reliability assessments extremely optimistic - such assessments do not explicitly account for how software can be very likely to exhibit no failures during extensive operational testing despite the software's pfd being undesirably large.


title: Mismatching-Aware Unsupervised Translation Quality Estimation For Low-Resource Languages

abstract: Translation Quality Estimation (QE) is the task of predicting the quality of machine translation (MT) output without any reference. This task has gained increasing attention as an important component in the practical applications of MT. In this paper, we first propose XLMRScore, which is a cross-lingual counterpart of BERTScore computed via the XLM-RoBERTa (XLMR) model. This metric can be used as a simple unsupervised QE method, nevertheless facing two issues: firstly, the untranslated tokens leading to unexpectedly high translation scores, and secondly, the issue of mismatching errors between source and hypothesis tokens when applying the greedy matching in XLMRScore. To mitigate these issues, we suggest replacing untranslated words with the unknown token and the cross-lingual alignment of the pre-trained model to represent aligned words closer to each other, respectively. We evaluate the proposed method on four low-resource language pairs of the WMT21 QE shared task, as well as a new English$\rightarrow$Persian (En-Fa) test dataset introduced in this paper. Experiments show that our method could get comparable results with the supervised baseline for two zero-shot scenarios, i.e., with less than 0.01 difference in Pearson correlation, while outperforming unsupervised rivals in all the low-resource language pairs for above 8%, on average.


title: Learning while Acquisition: Towards Active Learning Framework for Beamforming in Ultrasound Imaging

abstract: In the recent past, there have been many efforts to accelerate adaptive beamforming for ultrasound (US) imaging using neural networks (NNs). However, most of these efforts are based on static models, i.e., they are trained to learn a single adaptive beamforming approach (e.g., minimum variance distortionless response (MVDR)) assuming that they result in the best image quality. Moreover, the training of such NNs is initiated only after acquiring a large set of data that consumes several gigabytes (GBs) of storage space. In this study, an active learning framework for beamforming is described for the first time in the context of NNs. The best quality image chosen by the user serves as the ground truth for the proposed technique, which trains the NN concurrently with data acqusition. On average, the active learning approach takes 0.5 seconds to complete a single iteration of training.


title: Vector-Based Data Improves Left-Right Eye-Tracking Classifier Performance After a Covariate Distributional Shift

abstract: The main challenges of using electroencephalogram (EEG) signals to make eye-tracking (ET) predictions are the differences in distributional patterns between benchmark data and real-world data and the noise resulting from the unintended interference of brain signals from multiple sources. Increasing the robustness of machine learning models in predicting eye-tracking position from EEG data is therefore integral for both research and consumer use. In medical research, the usage of more complicated data collection methods to test for simpler tasks has been explored to address this very issue. In this study, we propose a fine-grain data approach for EEG-ET data collection in order to create more robust benchmarking. We train machine learning models utilizing both coarse-grain and fine-grain data and compare their accuracies when tested on data of similar/different distributional patterns in order to determine how susceptible EEG-ET benchmarks are to differences in distributional data. We apply a covariate distributional shift to test for this susceptibility. Results showed that models trained on fine-grain, vector-based data were less susceptible to distributional shifts than models trained on coarse-grain, binary-classified data.


title: Quark Matter in the NJL Model with a Vector Interaction and the Structure of Hybrid Stars

abstract: The properties of hadron-quark hybrid stars are studied when the quark phase is described in terms of a local SU(3) Nambu--Jona-Lasinio (NJL) model taking into account the contribution of the vector and axial-vector interaction between the quarks, and the hadronic phase, in the relativistic mean field (RMF) model. For different values of the vector coupling constant $G_V$, the equations of state of the quark matter are calculated and the parameters of the hadron-quark phase transition are determined under the assumption that the phase transition takes place in accordance with Maxwell's construction. It is shown that for a larger vector coupling constant, the equation of state of the quark matter will be "stiffer" and the coexistence pressure $P_0$ of the phases will be greater. Using the resulting hybrid equations of state, the TOV equations are integrated numerically and the mass and radius of the compact star are determined for different values of the central pressure $P_c$. It is shown that when $G_V$ is larger, the maximum mass of the compact star will be larger and thereby, the radius of the configuration with maximum mass will be smaller. Questions of the stability of hybrid stars are also discussed. It is shown that in terms of the model examined here, for all values of the vector coupling constant, a hybrid star with an infinitely small quark core is stable. These results are compared with recent measurements of the mass and radius of the pulsars PSR J0030+0451 and PSR J0740+6620, carried out at the International Space Station with the NASA's Neutron star Interior Composition Explorer (NICER) X-ray telescope. A comparison of the theoretical results with observational data does not exclude the possibility of quark deconfinement in the interiors of compact stars.


title: COCOA: Cross Modality Contrastive Learning for Sensor Data

abstract: Self-Supervised Learning (SSL) is a new paradigm for learning discriminative representations without labelled data and has reached comparable or even state-of-the-art results in comparison to supervised counterparts. Contrastive Learning (CL) is one of the most well-known approaches in SSL that attempts to learn general, informative representations of data. CL methods have been mostly developed for applications in computer vision and natural language processing where only a single sensor modality is used. A majority of pervasive computing applications, however, exploit data from a range of different sensor modalities. While existing CL methods are limited to learning from one or two data sources, we propose COCOA (Cross mOdality COntrastive leArning), a self-supervised model that employs a novel objective function to learn quality representations from multisensor data by computing the cross-correlation between different data modalities and minimizing the similarity between irrelevant instances. We evaluate the effectiveness of COCOA against eight recently introduced state-of-the-art self-supervised models, and two supervised baselines across five public datasets. We show that COCOA achieves superior classification performance to all other approaches. Also, COCOA is far more label-efficient than the other baselines including the fully supervised model using only one-tenth of available labelled data.


title: Effect of global momentum conservation on longitudinal flow decorrelation

abstract: We calculate the longitudinal flow decorrelation coefficients, i.e., $r_n(\eta,\eta_r)$ for $n=2,3$, in the presence of hydro-like flow and the global momentum conservation (GMC) constraint. The longitudinal flow decorrelation is weakened due to the GMC constraint. The GMC effect is sensitive to the total number of particles involved in GMC, the average longitudinal momentum, the transverse momentum, and the reference pseudorapidity. Our results of the $r_2(\eta,\eta_{rA})/r_2(\eta,\eta_{rB})$ ratio between two reference pseudorapidity bins are consistent with the experimental measurements. We predict that the modification effect of GMC on longitudinal flow decorrelation is more noticeable at BNL Relativistic Heavy Ion Collider energies than at CERN Large Hadron Collider energies. Our finding provides a new perspective for understanding the longitudinal flow decorrelation in relativistic heavy-ion collisions.


title: H2S and SO2 detectability in Hot Jupiters: Sulfur species as indicator of metallicity and C/O ratio

abstract: The high cosmic abundance and the intermediate volatility and chemical properties of sulfur allow the use of sulfur-bearing species as a tracer of the chemical processes in the atmospheres of hot Jupiter exoplanets. Nevertheless, despite its properties and relevance as a tracer of the giant planets' formation history, little attention has been paid to this species in the context of hot Jupiter atmospheres. Here we provide an overview of the abundances of sulfur-bearing species in hot Jupiter atmospheres under different conditions and explore their observability. We use the photochemical kinetics code VULCAN to model hot Jupiter atmospheric disequilibrium chemistry. Transmission spectra for these atmospheres are created using the modelling framework ARCiS. We vary model parameters such as the diffusion coefficient, and we study the importance of photochemistry on the resulting mixing ratios. Furthermore, we vary the chemical composition of the atmosphere by increasing the metallicity from solar to ~10 times solar. We also explore different C/O ratios. We find that H2S and SO2 are the best candidates for detection between 1 and 10 micron, using a spectral resolution that is representative of the instruments on board the JWST. H2S is easiest to detect at an equilibrium temperature of ~1500 K and C/O ratios between 0.7 and 0.9, with the ideal value increasing slightly for increasing metallicity. SO2 is most likely to be detected at an equilibrium temperature of ~1000 K at low C/O ratios and high metallicities. Nevertheless, among these two molecules, we expect SO2 detection to be more common, as it is detectable in scenarios more favoured by formation models. We conclude that H2S and SO2 will most likely be detected in the coming years with the JWST and that the detection of these species will provide information on atmospheric processes and planet formation scenarios.


title: Pointillisme \`a la Signac and Construction of a Quantum Fiber Bundle Over Convex Bodies

abstract: We use the notion of polar duality from convex geometry and the theory of Lagrangian planes from symplectic geometry to construct a fiber bundle over ellipsoids that can be viewed as a quantum-mechanical substitute for the classical symplectic phase space. The total space of this fiber bundle consists of geometric quantum states, products of convex bodies carried by Lagrangian planes by their polar duals with respect to a second transversal Lagrangian plane.. Using the theory of the John ellipsoid we relate these geometric quantum states to the notion of "quantum blobs" introduced in previous work; quantum blobs are the smallest symplectic invariant regions of the phase space compatible with the uncertainty principle. We show that the set of equivalence classes of unitarily related geometric quantum states is in a one-to-one correspondence with the set of all Gaussian wavepackets.

categories: quant-ph math-ph math.MP math.RT math.SG


title: Network strategies to study Epstein-Barr virus associated carcinomas and potential etiological mechanisms for oncogenesis

abstract: Diseased conditions are a consequence of some abnormality that are associated with clinical conditions in numerous cells and tissues affecting various organs. The common role of EBV (Epstein-Barr virus) in causing infectious mononucleosis (IM) affecting B-cells and epithelial cells and the development of EBV-associated cancers has been an area of active research. Investigating such significant interactions may help discover new therapeutic targets for certain EBV-associated lymphoproliferative (Burkitt's Lymphoma and Hodgkin's Lymphoma) and non-lymphoproliferative diseases (Gastric cancer and Nasopharyngeal cancer). Based on the DisGeNET (v7.0) data set, we constructed a disease-gene network bipartite graph to identify genes that are involved in various carcinomas namely, gastric cancer (GC), nasopharyngeal cancer (NPC), Hodgkin's lymphoma (HL) and Burkitt's lymphoma (BL). Using the community detection algorithm (Louvain method), we identified communities followed by functional enrichment using over-representation analysis methodology. In this study, we identified the modular communities to explore the relation of this common causative pathogen (EBV) with different carcinomas such as GC, NPC, HL and BL. We could identify the top 10 genes as CASP10, BRAF, NFKBIA, IFNA2, GSTP1, CSF3, GATA3, UBR5, AXIN2 and POLE based on their degree of distribution. Further over-representation analysis showed that the ABL1 gene was significantly over-represented in 3 out of 9 critical biological processes. As a result, we can infer that the EBV pathogen is selective in targeting critical pathways to bring about cellular growth arrest/apoptosis and interfering with vital biological processes, including the TP53 network of genes that leads to further proliferation of damage to vital cellular activities.


title: Tail spaces estimates on Hamming cube and Bernstein--Markov inequality

abstract: This note contains some estimates for tail spaces on Hamming cube. We use analytic paraproduct operator for that purpose. We also show several types of Bernstein--Markov inequalities for Banach space valued functions on Hamming cube. Here the novelty is in getting rid of some irritating logarithms and in proving Bernstein--Markov inequalities for $|\nabla f|_X$ rather than for $\Delta^{1/2} f$ for $X$ valued polynomials on Hamming cube.


title: Force balance in thermal quantum many-body systems from Noether's theorem

abstract: We address the consequences of invariance properties of the free energy of spatially inhomogeneous quantum many-body systems. We consider a specific position-dependent transformation of the system that consists of a spatial deformation and a corresponding locally resolved change of momenta. This operator transformation is canonical and hence equivalent to a unitary transformation on the underlying Hilbert space of the system. As a consequence, the free energy is an invariant under the transformation. Noether's theorem for invariant variations then allows to derive an exact sum rule, which we show to be the locally resolved equilibrium one-body force balance. For the special case of homogeneous shifting, the sum rule states that the average global external force vanishes in thermal equilibrium.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP quant-ph


title: Feather-Light Fourier Domain Adaptation in Magnetic Resonance Imaging

abstract: Generalizability of deep learning models may be severely affected by the difference in the distributions of the train (source domain) and the test (target domain) sets, e.g., when the sets are produced by different hardware. As a consequence of this domain shift, a certain model might perform well on data from one clinic, and then fail when deployed in another. We propose a very light and transparent approach to perform test-time domain adaptation. The idea is to substitute the target low-frequency Fourier space components that are deemed to reflect the style of an image. To maximize the performance, we implement the "optimal style donor" selection technique, and use a number of source data points for altering a single target scan appearance (Multi-Source Transferring). We study the effect of severity of domain shift on the performance of the method, and show that our training-free approach reaches the state-of-the-art level of complicated deep domain adaptation models. The code for our experiments is released.


title: Augmenting Vision Language Pretraining by Learning Codebook with Visual Semantics

abstract: Language modality within the vision language pretraining framework is innately discretized, endowing each word in the language vocabulary a semantic meaning. In contrast, visual modality is inherently continuous and high-dimensional, which potentially prohibits the alignment as well as fusion between vision and language modalities. We therefore propose to "discretize" the visual representation by joint learning a codebook that imbues each visual token a semantic. We then utilize these discretized visual semantics as self-supervised ground-truths for building our Masked Image Modeling objective, a counterpart of Masked Language Modeling which proves successful for language models. To optimize the codebook, we extend the formulation of VQ-VAE which gives a theoretic guarantee. Experiments validate the effectiveness of our approach across common vision-language benchmarks.


title: Anomaly inflow for local boundary conditions

abstract: We study the $\eta$-invariant of a Dirac operator on a manifold with boundary subject to local boundary conditions with the help of heat kernel methods. In even dimensions, we relate this invariant to $\eta$-invariants of a boundary Dirac operator, while in odd dimension, it is expressed through the index of boundary operators. We stress the necessity of the strong ellipticity condition for the applicability of our methods. We show that the Witten--Yonekura boundary conditions are not strongly elliptic, though they are very close to strongly elliptic ones.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: Harmonic functions for singular quadrant walks

abstract: We consider discrete (time and space) random walks confined to the quarter plane, with jumps only in directions $(i,j)$ with $i+j \geq 0$ and small negative jumps, i.e., $i,j \geq -1$. These walks are called singular, and were recently intensively studied from a combinatorial point of view. In this paper, we show how the compensation approach introduced in the 90ies by Adan, Wessels and Zijm may be applied to compute positive harmonic functions with Dirichlet boundary conditions. In particular, in case the random walks have a drift with positive coordinates, we derive an explicit formula for the escape probability, which is the probability to tend to infinity without reaching the boundary axes. These formulas typically involve famous recurrent sequences, such as the Fibonacci numbers. As a second step, we propose a probabilistic interpretation of the previously constructed harmonic functions and prove that they allow to compute all positive harmonic functions of these singular walks. To that purpose, we derive the asymptotics of the Green functions in all directions of the quarter plane and use Martin boundary theory.


title: Robot Policy Learning from Demonstration Using Advantage Weighting and Early Termination

abstract: Learning robotic tasks in the real world is still highly challenging and effective practical solutions remain to be found. Traditional methods used in this area are imitation learning and reinforcement learning, but they both have limitations when applied to real robots. Combining reinforcement learning with pre-collected demonstrations is a promising approach that can help in learning control policies to solve robotic tasks. In this paper, we propose an algorithm that uses novel techniques to leverage offline expert data using offline and online training to obtain faster convergence and improved performance. The proposed algorithm (AWET) weights the critic losses with a novel agent advantage weight to improve over the expert data. In addition, AWET makes use of an automatic early termination technique to stop and discard policy rollouts that are not similar to expert trajectories -- to prevent drifting far from the expert data. In an ablation study, AWET showed improved and promising performance when compared to state-of-the-art baselines on four standard robotic tasks.


title: The impact of Twitter on political influence on the choice of a running mate: Social Network Analysis and Semantic Analysis -- A Review

abstract: In this new era of social media, social networks are becoming increasingly important sources of user-generated content on the internet. These kinds of information resources, which include a lot of people's feelings, opinions, feedback, and reviews, are very useful for big businesses, markets, politics, journalism, and many other fields. Politics is one of the most talked-about and popular topics on social media networks right now. Many politicians use micro-blogging services like Twitter because they have a large number of followers and supporters on those networks. Politicians, political parties, political organizations, and foundations use social media networks to communicate with citizens ahead of time. Today, social media is used by hundreds of thousands of political groups and politicians. On these social media networks, every politician and political party has millions of followers, and politicians find new and innovative ways to urge individuals to participate in politics. Furthermore, social media assists politicians in various decision-making processes by providing recommendations, such as developing policies and strategies based on previous experiences, recommending and selecting suitable candidates for a particular constituency, recommending a suitable person for a particular position in the party, and launching a political campaign based on citizen sentiments on various issues and controversies, among other things. This research is a review on the use of social network analysis (SNA) and semantic analysis (SA) on the Twitter platform to study the supporters networks of political leaders because it can help in decision-making when predicting their political futures.


title: Quantum networks with coherent routing of information through multiple nodes

abstract: Large-scale communication networks, such as the internet, rely on routing packets of data through multiple intermediate nodes to transmit information from a sender to a receiver. In this paper, we develop a model of a quantum communication network that routes information simultaneously along multiple paths passing through intermediate stations. We demonstrate that a quantum routing approach can in principle extend the distance over which information can be transmitted reliably. Surprisingly, the benefit of quantum routing also applies to the transmission of classical information: even if the transmitted data is purely classical, delocalising it on multiple routes can enhance the achievable transmission distance. Our findings highlight the potential of a future quantum internet not only for achieving secure quantum communication and distributed quantum computing but also for extending the range of classical data transmission.


title: Majorana's approach to nonadiabatic transitions validates the adiabatic-impulse approximation

abstract: The approach by Ettore Majorana for non-adiabatic transitions between two quasi-crossing levels is revisited. We rederive the transition probability, known as the Landau-Zener-St\"{u}ckelberg-Majorana formula, and introduce Majorana's approach to modern readers. This result typically referred as the Landau-Zener formula, was published by Majorana before Landau, Zener, St\"{u}ckelberg. Moreover, we obtain the full wave function, including its phase, which is important nowadays for quantum control and quantum information. The asymptotic wave function correctly describes dynamics far from the avoided-level crossing, while it has limited accuracy in that region.


title: The Search and Rescue Game on a Cycle

abstract: We consider a search and rescue game introduced recently by the first author. An immobile target or targets (for example, injured hikers) are hidden on a graph. The terrain is assumed to dangerous, so that when any given vertex of the graph is searched, there is a certain probability that the search will come to an end, otherwise with the complementary {\em success probability} the search can continue. A Searcher searches the graph with the aim of finding all the targets with maximum probability. Here, we focus on the game in the case that the graph is a cycle. In the case that there is only one target, we solve the game for equal success probabilities, and for a class of games with unequal success probabilities. For multiple targets and equal success probabilities, we give a solution for an adaptive Searcher and a solution in a special case for a non-adaptive Searcher. We also consider a continuous version of the model, giving a full solution for an adaptive Searcher and approximately optimal solutions in the non-adaptive case.


title: Building an Efficiency Pipeline: Commutativity and Cumulativeness of Efficiency Operators for Transformers

abstract: There exists a wide variety of efficiency methods for natural language processing (NLP) tasks, such as pruning, distillation, dynamic inference, quantization, etc. We can consider an efficiency method as an operator applied on a model. Naturally, we may construct a pipeline of multiple efficiency methods, i.e., to apply multiple operators on the model sequentially. In this paper, we study the plausibility of this idea, and more importantly, the commutativity and cumulativeness of efficiency operators. We make two interesting observations: (1) Efficiency operators are commutative -- the order of efficiency methods within the pipeline has little impact on the final results; (2) Efficiency operators are also cumulative -- the final results of combining several efficiency methods can be estimated by combining the results of individual methods. These observations deepen our understanding of efficiency operators and provide useful guidelines for their real-world applications.


title: Identities in twisted Brauer monoids

abstract: We show that it is co-NP-hard to check whether a given semigroup identity holds in the twisted Brauer monoid $\mathcal{B}^\tau_n$ with $n\ge5$.


title: Adaptive Edge Offloading for Image Classification Under Rate Limit

abstract: This paper considers a setting where embedded devices are used to acquire and classify images. Because of limited computing capacity, embedded devices rely on a parsimonious classification model with uneven accuracy. When local classification is deemed inaccurate, devices can decide to offload the image to an edge server with a more accurate but resource-intensive model. Resource constraints, e.g., network bandwidth, however, require regulating such transmissions to avoid congestion and high latency. The paper investigates this offloading problem when transmissions regulation is through a token bucket, a mechanism commonly used for such purposes. The goal is to devise a lightweight, online offloading policy that optimizes an application-specific metric (e.g., classification accuracy) under the constraints of the token bucket. The paper develops a policy based on a Deep Q-Network (DQN), and demonstrates both its efficacy and the feasibility of its deployment on embedded devices. Of note is the fact that the policy can handle complex input patterns, including correlation in image arrivals and classification accuracy. The evaluation is carried out by performing image classification over a local testbed using synthetic traces generated from the ImageNet image classification benchmark. Implementation of this work is available at https://github.com/qiujiaming315/edgeml-dqn.


title: Repairing $\mathcal{EL}$ Ontologies Using Weakening and Completing

abstract: The quality of ontologies in terms of their correctness and completeness is crucial for developing high-quality ontology-based applications. Traditional debugging techniques repair ontologies by removing unwanted axioms, but may thereby remove consequences that are correct in the domain of the ontology. In this paper we propose an interactive approach to mitigate this for $\mathcal{EL}$ ontologies by axiom weakening and completing. We present algorithms for weakening and completing and present the first approach for repairing that takes into account removing, weakening and completing. We show different combination strategies, discuss the influence on the final ontologies and show experimental results. We show that previous work has only considered special cases and that there is a trade-off between the amount of validation work for a domain expert and the quality of the ontology in terms of correctness and completeness.


title: One Object at a Time: Accurate and Robust Structure From Motion for Robots

abstract: A gaze-fixating robot perceives distance to the fixated object and relative positions of surrounding objects immediately, accurately, and robustly. We show how fixation, which is the act of looking at one object while moving, exploits regularities in the geometry of 3D space to obtain this information. These regularities introduce rotation-translation couplings that are not commonly used in structure from motion. To validate, we use a Franka Emika Robot with an RGB camera. We a) find that error in distance estimate is less than 5 mm at a distance of 15 cm, and b) show how relative position can be used to find obstacles under challenging scenarios. We combine accurate distance estimates and obstacle information into a reactive robot behavior that is able to pick up objects of unknown size, while impeded by unforeseen obstacles. Project page: https://oxidification.com/p/one-object-at-a-time/ .


title: Editorial: Special Issue on Collaborative Aspects of Open Data in Software EngineeringJohan

abstract: High-quality data has become increasingly important to software engineers in designing and implementing today's software, for example, as an input to machine-learning algorithms and visualisation- and analytics-based features. Open data - i.e., data shared under a licence that gives users the right to study, process, and distribute the data to anyone and for any purpose - offers a mechanism to address this need. Data may originate from multiple sources, whether crowdsourced, shared by government agencies, or shared between commercial entities, and is undoubtedly inherent to all business and revenue models across the public sector, business and industry today. In this guest editorial for the Special Issue on Collaborative Aspects of Open Data in Software Engineering, we explore the collaborative aspects of open data in software engineering. We highlight how these aspects can benefit organisations, what challenges may exist and how these may be addressed based on current practice, and introduce the four papers included in this special issue.


title: Generation of a single-cycle acoustic pulse: a scalable solution for transport in single-electron circuits

abstract: The synthesis of single-cycle, compressed optical and microwave pulses sparked novel areas of fundamental research. In the field of acoustics, however, such a generation has not been introduced yet. For numerous applications, the large spatial extent of surface acoustic waves (SAW) causes unwanted perturbations and limits the accuracy of physical manipulations. Particularly, this restriction applies to SAW-driven quantum experiments with single flying electrons, where extra modulation renders the exact position of the transported electron ambiguous and leads to undesired spin mixing. Here, we address this challenge by demonstrating single-shot chirp synthesis of a strongly compressed acoustic pulse. Employing this solitary SAW pulse to transport a single electron between distant quantum dots with an efficiency exceeding 99%, we show that chirp synthesis is competitive with regular transduction approaches. Performing a time-resolved investigation of the SAW-driven sending process, we outline the potential of the chirped SAW pulse to synchronize single-electron transport from many quantum-dot sources. By superimposing multiple pulses, we further point out the capability of chirp synthesis to generate arbitrary acoustic waveforms tailorable to a variety of (opto)nanomechanical applications. Our results shift the paradigm of compressed pulses to the field of acoustic phonons and pave the way for a SAW-driven platform of single-electron transport that is precise, synchronized, and scalable.


title: Branched covers and pencils on hyperelliptic Lefschetz fibrations

abstract: Generalizing work of I. Baykur, K. Hayano, and N. Monden (arXiv:1903.02906), we construct infinite families of symplectic 4-dimensional manifolds, obtained as total spaces of Lefschetz pencils constructed by explicit monodromy factorizations. Then, generalizing work of the author (arXiv:2108.04868), we show that each of these manifolds is diffeomorphic to a complex surface that is a fiber sum formed from two standard examples of hyperelliptic Lefschetz fibrations. Consequently, we see that these hyperelliptic Lefschetz fibrations, as well as all fiber sums of them, admit an infinite family of explicitly described Lefschetz pencils, which we observe are different from families formed by the degree doubling procedure.


title: Assimilation of wall-pressure measurements in high-speed flow over a cone

abstract: A nonlinear ensemble-variational (EnVar) data assimilation is performed in order to estimate the unknown flow field over a slender cone at Mach-6, from isolated wall-pressure measurements. The cost functional accounts for discrepancies in wall-pressure spectra and total intensity between the experiment and the prediction using direct numerical simulations (DNS), as well as our relative confidence in the measurements and the estimated state. We demonstrate the robustness of the predicted flow by direct propagation of posterior statistics. The approach provides a unique first look at the flow beyond the sensor data, and rigorously accounts for the role of nonlinearity unlike previous efforts that adopted ad-hoc inflow syntheses. Away from the wall, two- and three-dimensional assimilated states both show rope-like structures, qualitatively similar to independent schlieren visualizations. Despite this resemblance, and even though the planar second modes are the most unstable upstream, three-dimensional (3D) waves must be included in the assimilation in order to accurately reproduce the wall-pressure measurements recorded in the Ludwieg-Tube facility. The results highlight the importance of three-dimensionality of the field and of the base-state distortion on the instability waves in this experiment, and motivate future measurements that probe the 3D nature of the flow field.


title: Geodesics on an arbitrary ellipsoid of revolution

abstract: The algorithms given in Karney, J. Geodesy 87, 43-55 (2013), to compute geodesics on terrestrial ellipsoids are extended to apply to ellipsoids of revolution with arbitrary eccentricity. For the direct and inverse geodesic problems, this entails implementing the formulation in terms of elliptic integrals given by Legendre and Cayley. The integral for the area of geodesic polygons is computed in terms of the discrete sine transform of the integrand. In all cases, accuracy close to full machine precision is achieved. An open-source implementation of these algorithms is available.