title: On the realization of subgroups of $PGL(2,F)$, and their automorphism groups, as Galois groups over function fields

abstract: Let $F$ be any field. We give a short and elementary proof that any finite subgroup $G$ of $PGL(2,F)$ occurs as a Galois group over the function field $F(x)$. We also develop a theory of descent to subfields of $F$. This enables us to realize the automorphism groups of finite subgroups of $PGL(2,F)$ as Galois groups.


title: Molecules with ALMA at Planet-forming Scales (MAPS) XI: CN and HCN as Tracers of Photochemistry in Disks

abstract: UV photochemistry in the surface layers of protoplanetary disks dramatically alters their composition relative to previous stages of star formation. The abundance ratio CN/HCN has long been proposed to trace the UV field in various astrophysical objects, however to date the relationship between CN, HCN, and the UV field in disks remains ambiguous. As part of the ALMA Large Program MAPS (Molecules with ALMA at Planet-forming Scales), we present observations of CN N=1-0 transitions at 0.3'' resolution towards five disk systems. All disks show bright CN emission within $\sim$50-150 au, along with a diffuse emission shelf extending up to 600 au. In all sources we find that the CN/HCN column density ratio increases with disk radius from about unity to 100, likely tracing increased UV penetration that enhances selective HCN photodissociation in the outer disk. Additionally, multiple millimeter dust gaps and rings coincide with peaks and troughs, respectively, in the CN/HCN ratio, implying that some millimeter substructures are accompanied by changes to the UV penetration in more elevated disk layers. That the CN/HCN ratio is generally high (>1) points to a robust photochemistry shaping disk chemical compositions, and also means that CN is the dominant carrier of the prebiotically interesting nitrile group at most disk radii. We also find that the local column densities of CN and HCN are positively correlated despite emitting from vertically stratified disk regions, indicating that different disk layers are chemically linked. This paper is part of the MAPS special issue of the Astrophysical Journal Supplement.


title: Deeply Buried Nuclei in the Infrared-Luminous Galaxies NGC 4418 and Arp 220: I. ALMA Observations at $\lambda = $1.4-0.4 mm and Continuum Analysis

abstract: We observed with ALMA three deeply buried nuclei in two galaxies, NGC 4418 and Arp 220, at $\sim$0.2$''$ resolution over a total bandwidth of 67 GHz in $f_{\rm rest}$ = 215 - 697 GHz. Here we (1) introduce our program, (2) describe our data reduction method for wide-band, high-resolution imaging spectroscopy, (3) analyze in visibilities the compact nuclei with line forests, (4) develop a continuum-based estimation method of dust opacity and gas column density in heavily obscured nuclei, which uses the BGN (buried galactic nuclei) model and is sensitive to $\log(N_{\rm H_2}/{\rm cm}^{-2}) \sim $ 25 - 26 at $\lambda \sim 1$ mm, and (5) present the continuum data and diagnosis of our targets. The three continuum nuclei have major-axis FWHM of $\sim$0.1$''$-0.3$''$ (20-140 pc) aligned to their rotating nuclear disks of molecular gas. However, each nucleus is described better with two or three concentric components than with a single Gaussian. The innermost cores have sizes of 0.05$''$-0.10$''$ (8-40 pc), peak brightness temperatures of ~100-500 K at 350 GHz, and more fractional flux at lower frequencies. The intermediate components correspond to the nuclear disks. They have axial ratios of $\approx$0.5 and hence inclinations $\stackrel{>}{\sim} 60$ deg. The outermost elements include the bipolar outflow from Arp 220W. We estimate 1 mm dust opacity of $\tau_{\rm d,1mm} \approx 2.2$, $1.2$, and $\stackrel{<}{\sim} 0.4$ respectively for NGC 4418, Arp 220W, and Arp 220E. The first two correspond to $\log(N_{\rm H}/{\rm cm}^{-2}) \sim 26$ for conventional dust-opacity laws, and hence the nuclei are highly Compton thick.


title: Bernstein eigenvarieties

abstract: We construct parabolic analogues of (global) eigenvarieties, of patched eigenvarieties and of (local) trianguline varieties, that we call respectively Bernstein eigenvarieties, patched Bernstein eigenvarieties, and Bernstein paraboline varieties. We study the geometry of these rigid analytic spaces, in particular (generalizing results of Breuil-Hellmann-Schraen) we show that their local geometry can be described by certain algebraic schemes related to the generalized Grothendieck-Springer resolution. We deduce several local-global compatibility results, including a classicality result (with no trianguline assumption at $p$), and new cases towards the locally analytic socle conjecture of Breuil in the non-trianguline case.


title: Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions

abstract: Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models. We develop a model-based learning approach to synthesize robust feedback controllers with safety and stability guarantees. We take inspiration from robust convex optimization and Lyapunov theory to define robust control Lyapunov barrier functions that generalize despite model uncertainty. We demonstrate our approach in simulation on problems including car trajectory tracking, nonlinear control with obstacle avoidance, satellite rendezvous with safety constraints, and flight control with a learned ground effect model. Simulation results show that our approach yields controllers that match or exceed the capabilities of robust MPC while reducing computational costs by an order of magnitude.


title: Ferroelectric-HfO2/Oxide Interfaces, Oxygen Distribution Effect and Implications for Device Performance

abstract: Atomic-scale understanding of HfO2 ferroelectricity is important to help address many challenges in developing reliable and high-performance ferroelectric HfO2 (fe-HfO2) based devices. Though investigated from different angles, a factor that is real device-relevant and clearly deserves more attention has largely been overlooked by previous research, namely, the fe-HfO2/dielectric interface. Here, we investigate the electronic structures of several typical interfaces formed between ultrathin fe-HfO2 and oxide dielectrics in the sub-3-nm region. We find that interface formation introduces strong depolarizing fields in fe-HfO2, which is detrimental for ferroelectric polarization but can be a merit if tamed for tunneling devices, as recently demonstrated. Asymmetric oxygen distribution-induced polarity, intertwined with ferroelectric polarization or not, is also investigated as a relevant interfacial effect in real device. Though considered detrimental from certain aspects, such as inducing build-in field (independent of ferroelectric polarization) and exacerbating depolarization (intertwined with ferroelectric polarization), it can be partly balanced out by other effects, such as annealing (extrinsic) and polarity-induced defect formation (intrinsic). This work provides insights into ferroelectric-HfO2/dielectric interfaces and some useful implications for the development of devices.


title: An Apparatus for the Simulation of Breathing Disorders: Physically Meaningful Generation of Surrogate Data

abstract: The rapidly increasing prevalence of debilitating breathing disorders, such as chronic obstructive pulmonary disease (COPD), calls for a meaningful integration of artificial intelligence (AI) into healthcare. While this promises improved detection and monitoring of breathing disorders, AI techniques are almost invariably "data hungry" which highlights the importance of generating physically meaningful surrogate data. Indeed, domain aware surrogates would enable both an improved understanding of respiratory waveform changes with different breathing disorders, and enhance the training of machine learning algorithms. To this end, we introduce an apparatus comprising of PVC tubes and 3D printed parts as a simple yet effective method of simulating both obstructive and restrictive respiratory waveforms in healthy subjects. Independent control over both inspiratory and expiratory resistances allows for the simulation of obstructive breathing disorders through the whole spectrum of FEV1/FVC spirometry ratios (used to classify COPD), ranging from healthy values to values seen in severe chronic obstructive pulmonary disease. Moreover, waveform characteristics of breathing disorders, such as a change in inspiratory duty cycle or peak flow are also observed in the waveforms resulting from use of the artificial breathing disorder simulation apparatus. Overall, the proposed apparatus provides us with a simple, effective and physically meaningful way to generate faithful surrogate breathing disorder waveforms, a prerequisite for the use of artificial intelligence in respiratory health.


title: Neural Upscaling from Residue-level Protein Structure Networks to Atomistic Structure

abstract: Coarse-graining is a powerful tool for extending the reach of dynamic models of proteins and other biological macromolecules. Topological coarse-graining, in which biomolecules or sets thereof are represented via graph structures, is a particularly useful way of obtaining highly compressed representations of molecular structure, and simulations operating via such representations can achieve substantial computational savings. A drawback of coarse-graining, however, is the loss of atomistic detail - an effect that is especially acute for topological representations such as protein structure networks (PSNs). Here, we introduce an approach based on a combination of machine learning and physically-guided refinement for inferring atomic coordinates from PSNs. This "neural upscaling" procedure exploits the constraints implied by PSNs on possible configurations, as well as differences in the likelihood of observing different configurations with the same PSN. Using a 1 $\mu$s atomistic molecular dynamics trajectory of A$\beta_{1-40}$, we show that neural upscaling is able to effectively recapitulate detailed structural information for intrinsically disordered proteins, being particularly successful in recovering features such as transient secondary structure. These results suggest that scalable network-based models for protein structure and dynamics may be used in settings where atomistic detail is desired, with upscaling employed to impute atomic coordinates from PSNs.


title: Asymptotic normality for eigenvalue statistics of a general sample covariance matrix when $p/n \to \infty$ and applications

abstract: The asymptotic normality for a large family of eigenvalue statistics of a general sample covariance matrix is derived under the ultra-high dimensional setting, that is, when the dimension to sample size ratio $p/n \to \infty$. Based on this CLT result, we first adapt the covariance matrix test problem to the new ultra-high dimensional context. Then as a second application, we develop a new test for the separable covariance structure of a matrix-valued white noise. Simulation experiments are conducted for the investigation of finite-sample properties of the general asymptotic normality of eigenvalue statistics, as well as the second test for separable covariance structure of matrix-valued white noise.


title: Learning Based Adaptive Force Control of Robotic Manipulation Based on Real-Time Object Stiffness Detection

abstract: Force control is essential for medical robots when touching and contacting the patient's body. To increase the stability and efficiency in force control, an Adaption Module could be used to adjust the parameters for different contact situations. We propose an adaptive controller with an Adaption Module which can produce control parameters based on force feedback and real-time stiffness detection. We develop methods for learning the optimal policies by value iteration and using the data generated from those policies to train the Adaptive Module. We test this controller on different zones of a person's arm. All the parameters used in practice are learned from data. The experiments show that the proposed adaptive controller can exert various target forces on different zones of the arm with fast convergence and good stability.


title: A system for information extraction from scientific texts in Russian

abstract: In this paper, we present a system for information extraction from scientific texts in the Russian language. The system performs several tasks in an end-to-end manner: term recognition, extraction of relations between terms, and term linking with entities from the knowledge base. These tasks are extremely important for information retrieval, recommendation systems, and classification. The advantage of the implemented methods is that the system does not require a large amount of labeled data, which saves time and effort for data labeling and therefore can be applied in low- and mid-resource settings. The source code is publicly available and can be used for different research purposes.


title: KFCNet: Knowledge Filtering and Contrastive Learning Network for Generative Commonsense Reasoning

abstract: Pre-trained language models have led to substantial gains over a broad range of natural language processing (NLP) tasks, but have been shown to have limitations for natural language generation tasks with high-quality requirements on the output, such as commonsense generation and ad keyword generation. In this work, we present a novel Knowledge Filtering and Contrastive learning Network (KFCNet) which references external knowledge and achieves better generation performance. Specifically, we propose a BERT-based filter model to remove low-quality candidates, and apply contrastive learning separately to each of the encoder and decoder, within a general encoder--decoder architecture. The encoder contrastive module helps to capture global target semantics during encoding, and the decoder contrastive module enhances the utility of retrieved prototypes while learning general features. Extensive experiments on the CommonGen benchmark show that our model outperforms the previous state of the art by a large margin: +6.6 points (42.5 vs. 35.9) for BLEU-4, +3.7 points (33.3 vs. 29.6) for SPICE, and +1.3 points (18.3 vs. 17.0) for CIDEr. We further verify the effectiveness of the proposed contrastive module on ad keyword generation, and show that our model has potential commercial value.


title: A Novel Global Feature-Oriented Relational Triple Extraction Model based on Table Filling

abstract: Table filling based relational triple extraction methods are attracting growing research interests due to their promising performance and their abilities on extracting triples from complex sentences. However, this kind of methods are far from their full potential because most of them only focus on using local features but ignore the global associations of relations and of token pairs, which increases the possibility of overlooking some important information during triple extraction. To overcome this deficiency, we propose a global feature-oriented triple extraction model that makes full use of the mentioned two kinds of global associations. Specifically, we first generate a table feature for each relation. Then two kinds of global associations are mined from the generated table features. Next, the mined global associations are integrated into the table feature of each relation. This "generate-mine-integrate" process is performed multiple times so that the table feature of each relation is refined step by step. Finally, each relation's table is filled based on its refined table feature, and all triples linked to this relation are extracted based on its filled table. We evaluate the proposed model on three benchmark datasets. Experimental results show our model is effective and it achieves state-of-the-art results on all of these datasets. The source code of our work is available at: https://github.com/neukg/GRTE.


title: A graph complexity measure based on the spectral analysis of the Laplace operator

abstract: In this work we introduce a concept of complexity for undirected graphs in terms of the spectral analysis of the Laplacian operator defined by the incidence matrix of the graph. Precisely, we compute the norm of the vector of eigenvalues of both the graph and its complement and take their product. Doing so, we obtain a quantity that satisfies two basic properties that are the expected for a measure of complexity. First,complexity of fully connected and fully disconnected graphs vanish. Second, complexity of complementary graphs coincide. This notion of complexity allows us to distinguish different kinds of graphs by placing them in a "croissant-shaped" region of the plane link density - complexity, highlighting some features like connectivity,concentration, uniformity or regularity and existence of clique-like clusters. Indeed, considering graphs with a fixed number of nodes, by plotting the link density versus the complexity we find that graphs generated by different methods take place at different regions of the plane. We consider some generated graphs, in particular the Erd\"os-R\'enyi, the Watts-Strogatz and the Barab\'asi-Albert models. Also, we place some particular, let us say deterministic, to wit, lattices, stars, hyper-concentrated and cliques-containing graphs. It is worthy noticing that these deterministic classical models of graphs depict the boundary of the croissant-shaped region. Finally, as an application to graphs generated by real measurements, we consider the brain connectivity graphs from two epileptic patients obtained from magnetoencephalography (MEG) recording, both in a baseline period and in ictal periods .In this case, our definition of complexity could be used as a tool for discerning between states, by the analysis of differences at distinct frequencies of the MEG recording.


title: A pragmatic approach to estimating average treatment effects from EHR data: the effect of prone positioning on mechanically ventilated COVID-19 patients

abstract: Despite the recent progress in the field of causal inference, to date there is no agreed upon methodology to glean treatment effect estimation from observational data. The consequence on clinical practice is that, when lacking results from a randomized trial, medical personnel is left without guidance on what seems to be effective in a real-world scenario. This article proposes a pragmatic methodology to obtain preliminary but robust estimation of treatment effect from observational studies, to provide front-line clinicians with a degree of confidence in their treatment strategy. Our study design is applied to an open problem, the estimation of treatment effect of the proning maneuver on COVID-19 Intensive Care patients.


title: Carroll contractions of Lorentz-invariant theories

abstract: We consider Carroll-invariant limits of Lorentz-invariant field theories. We show that just as in the case of electromagnetism, there are two inequivalent limits, one "electric" and the other "magnetic". Each can be obtained from the corresponding Lorentz-invariant theory written in Hamiltonian form through the same "contraction" procedure of taking the ultrarelativistic limit $c \rightarrow 0$ where $c$ is the speed of light, but with two different consistent rescalings of the canonical variables. This procedure can be applied to general Lorentz-invariant theories ($p$-form gauge fields, higher spin free theories etc) and has the advantage of providing explicitly an action principle from which the electrically-contracted or magnetically-contracted dynamics follow (and not just the equations of motion). Even though not manifestly so, this Hamiltonian action principle is shown to be Carroll invariant. In the case of $p$-forms, we construct explicitly an equivalent manifestly Carroll-invariant action principle for each Carroll contraction. While the manifestly covariant variational description of the electric contraction is rather direct, the one for the magnetic contraction is more subtle and involves an additional pure gauge field, whose elimination modifies the Carroll transformations of the fields. We also treat gravity, which constitutes one of the main motivations of our study, and for which we provide the two different contractions in Hamiltonian form.


title: QKD parameter estimation by two-universal hashing

abstract: This paper proposes and proves security of a QKD protocol which uses two-universal hashing instead of random sampling to estimate the number of bit flip and phase flip errors. This protocol dramatically outperforms previous QKD protocols for small block sizes. More generally, for the two-universal hashing QKD protocol, the difference between asymptotic and finite key rate decreases with the number $n$ of qubits as $cn^{-1}$, where $c$ depends on the security parameter. For comparison, the same difference decreases no faster than $c'n^{-1/3}$ for an optimized protocol that uses random sampling and has the same asymptotic rate, where $c'$ depends on the security parameter and the error rate.


title: Fast Federated Edge Learning with Overlapped Communication and Computation and Channel-Aware Fair Client Scheduling

abstract: We consider federated edge learning (FEEL) over wireless fading channels taking into account the downlink and uplink channel latencies, and the random computation delays at the clients. We speed up the training process by overlapping the communication with computation. With fountain coded transmission of the global model update, clients receive the global model asynchronously, and start performing local computations right away. Then, we propose a dynamic client scheduling policy, called MRTP, for uploading local model updates to the parameter server (PS), which, at any time, schedules the client with the minimum remaining upload time. However, MRTP can lead to biased participation of clients in the update process, resulting in performance degradation in non-iid data scenarios. To overcome this, we propose two alternative schemes with fairness considerations, termed as age-aware MRTP (A-MRTP), and opportunistically fair MRTP (OF-MRTP). In A-MRTP, the remaining clients are scheduled according to the ratio between their remaining transmission time and the update age, while in OF-MRTP, the selection mechanism utilizes the long term average channel rate of the clients to further reduce the latency while ensuring fair participation of the clients. It is shown through numerical simulations that OF-MRTP provides significant reduction in latency without sacrificing test accuracy.


title: COVID-Net Clinical ICU: Enhanced Prediction of ICU Admission for COVID-19 Patients via Explainability and Trust Quantification

abstract: The COVID-19 pandemic continues to have a devastating global impact, and has placed a tremendous burden on struggling healthcare systems around the world. Given the limited resources, accurate patient triaging and care planning is critical in the fight against COVID-19, and one crucial task within care planning is determining if a patient should be admitted to a hospital's intensive care unit (ICU). Motivated by the need for transparent and trustworthy ICU admission clinical decision support, we introduce COVID-Net Clinical ICU, a neural network for ICU admission prediction based on patient clinical data. Driven by a transparent, trust-centric methodology, the proposed COVID-Net Clinical ICU was built using a clinical dataset from Hospital Sirio-Libanes comprising of 1,925 COVID-19 patient records, and is able to predict when a COVID-19 positive patient would require ICU admission with an accuracy of 96.9% to facilitate better care planning for hospitals amidst the on-going pandemic. We conducted system-level insight discovery using a quantitative explainability strategy to study the decision-making impact of different clinical features and gain actionable insights for enhancing predictive performance. We further leveraged a suite of trust quantification metrics to gain deeper insights into the trustworthiness of COVID-Net Clinical ICU. By digging deeper into when and why clinical predictive models makes certain decisions, we can uncover key factors in decision making for critical clinical decision support tasks such as ICU admission prediction and identify the situations under which clinical predictive models can be trusted for greater accountability.


title: On the Spectral Form Factor for Random Matrices

abstract: In the physics literature the spectral form factor (SFF), the squared Fourier transform of the empirical eigenvalue density, is the most common tool to test universality for disordered quantum systems, yet previous mathematical results have been restricted only to two exactly solvable models [Forrester 2020]. We rigorously prove the physics prediction on SFF up to an intermediate time scale for a large class of random matrices using a robust method, the multi-resolvent local laws. Beyond Wigner matrices we also consider the monoparametric ensemble and prove that universality of SFF can already be triggered by a single random parameter, extending the recently proven Wigner-Dyson universality [Cipolloni, Erd\H{o}s, Schr\"oder 2021] to some larger spectral scales. Remarkably, extensive numerics indicates that our formulas correctly predict the SFF in the entire slope-dip-ramp regime, as customarily called in physics.


title: Machine-Learned Prediction Equilibrium for Dynamic Traffic Assignment

abstract: We study a dynamic traffic assignment model, where agents base their instantaneous routing decisions on real-time delay predictions. We formulate a mathematically concise model and derive properties of the predictors that ensure a dynamic prediction equilibrium exists. We demonstrate the versatility of our framework by showing that it subsumes the well-known full information and instantaneous information models, in addition to admitting further realistic predictors as special cases. We complement our theoretical analysis by an experimental study, in which we systematically compare the induced average travel times of different predictors, including a machine-learning model trained on data gained from previously computed equilibrium flows, both on a synthetic and a real road network.


title: Semantic Answer Type Prediction using BERT: IAI at the ISWC SMART Task 2020

abstract: This paper summarizes our participation in the SMART Task of the ISWC 2020 Challenge. A particular question we are interested in answering is how well neural methods, and specifically transformer models, such as BERT, perform on the answer type prediction task compared to traditional approaches. Our main finding is that coarse-grained answer types can be identified effectively with standard text classification methods, with over 95% accuracy, and BERT can bring only marginal improvements. For fine-grained type detection, on the other hand, BERT clearly outperforms previous retrieval-based approaches.


title: IGNNITION: Bridging the Gap Between Graph Neural Networks and Networking Systems

abstract: Recent years have seen the vast potential of Graph Neural Networks (GNN) in many fields where data is structured as graphs (e.g., chemistry, recommender systems). In particular, GNNs are becoming increasingly popular in the field of networking, as graphs are intrinsically present at many levels (e.g., topology, routing). The main novelty of GNNs is their ability to generalize to other networks unseen during training, which is an essential feature for developing practical Machine Learning (ML) solutions for networking. However, implementing a functional GNN prototype is currently a cumbersome task that requires strong skills in neural network programming. This poses an important barrier to network engineers that often do not have the necessary ML expertise. In this article, we present IGNNITION, a novel open-source framework that enables fast prototyping of GNNs for networking systems. IGNNITION is based on an intuitive high-level abstraction that hides the complexity behind GNNs, while still offering great flexibility to build custom GNN architectures. To showcase the versatility and performance of this framework, we implement two state-of-the-art GNN models applied to different networking use cases. Our results show that the GNN models produced by IGNNITION are equivalent in terms of accuracy and performance to their native implementations in TensorFlow.


title: HPOBench: A Collection of Reproducible Multi-Fidelity Benchmark Problems for HPO

abstract: To achieve peak predictive performance, hyperparameter optimization (HPO) is a crucial component of machine learning and its applications. Over the last years, the number of efficient algorithms and tools for HPO grew substantially. At the same time, the community is still lacking realistic, diverse, computationally cheap, and standardized benchmarks. This is especially the case for multi-fidelity HPO methods. To close this gap, we propose HPOBench, which includes 7 existing and 5 new benchmark families, with a total of more than 100 multi-fidelity benchmark problems. HPOBench allows to run this extendable set of multi-fidelity HPO benchmarks in a reproducible way by isolating and packaging the individual benchmarks in containers. It also provides surrogate and tabular benchmarks for computationally affordable yet statistically sound evaluations. To demonstrate HPOBench's broad compatibility with various optimization tools, as well as its usefulness, we conduct an exemplary large-scale study evaluating 13 optimizers from 6 optimization tools. We provide HPOBench here: https://github.com/automl/HPOBench.


title: Controllable Dialogue Generation with Disentangled Multi-grained Style Specification and Attribute Consistency Reward

abstract: Controllable text generation is an appealing but challenging task, which allows users to specify particular attributes of the generated outputs. In this paper, we propose a controllable dialogue generation model to steer response generation under multi-attribute constraints. Specifically, we define and categorize the commonly used control attributes into global and local ones, which possess different granularities of effects on response generation. Then, we significantly extend the conventional seq2seq framework by introducing a novel two-stage decoder, which first uses a multi-grained style specification layer to impose the stylistic constraints and determine word-level control states of responses based on the attributes, and then employs a response generation layer to generate final responses maintaining both semantic relevancy to the contexts and fidelity to the attributes. Furthermore, we train our model with an attribute consistency reward to promote response control with explicit supervision signals. Extensive experiments and in-depth analyses on two datasets indicate that our model can significantly outperform competitive baselines in terms of response quality, content diversity and controllability.


title: Free Fermion Six Vertex Model: Symmetric Functions and Random Domino Tilings

abstract: Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_\lambda,G_\lambda$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $\lambda=(\lambda_1\ge \ldots\ge \lambda_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_\lambda,G_\lambda$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_\lambda$ and a Sergeev-Pragacz type formula for $G_\lambda$. In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model. We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process.


title: Sparse Fuzzy Attention for Structured Sentiment Analysis

abstract: Attention scorers have achieved success in parsing tasks like semantic and syntactic dependency parsing. However, in tasks modeled into parsing, like structured sentiment analysis, "dependency edges" are very sparse which hinders parser performance. Thus we propose a sparse and fuzzy attention scorer with pooling layers which improves parser performance and sets the new state-of-the-art on structured sentiment analysis. We further explore the parsing modeling on structured sentiment analysis with second-order parsing and introduce a novel sparse second-order edge building procedure that leads to significant improvement in parsing performance.


title: Magnetic phase diagram of HoFeO$_3$ by neutron diffraction

abstract: Neutron diffraction studies of HoFeO$_3$ single crystal were performed under external magnetic fields. The interplay between the external magnetic field, Dzyaloshinsky-Moria antisymmetric exchange and isotropic exchange interactions between Fe and Ho sublattice and inside Fe sublattice provides a rich phase diagram. As the result of the balance of exchange interactions inside crystal and external magnetic field we found 8 different magnetic phases, produced or suppressed by the field.


title: Linear block and convolutional MDS codes to required rate, distance and type

abstract: Algebraic methods for the design of series of maximum distance separable (MDS) linear block and convolutional codes to required specifications and types are presented. Algorithms are given to design codes to required rate and required error-correcting capability and required types. Infinite series of block codes with rate approaching a given rational $R$ with $0<R<1$ and relative distance over length approaching $(1-R)$ are designed. These can be designed over fields of given characteristic $p$ or over fields of prime order and can be specified to be of a particular type such as (i) dual-containing under Euclidean inner product, (ii) dual-containing under Hermitian inner product, (iii) quantum error-correcting, (iv) linear complementary dual (LCD). Convolutional codes to required rate and distance and infinite series of convolutional codes with rate approaching a given rational $R$ and distance over length approaching $2(1-R)$ are designed. The designs are algebraic and properties, including distances, are shown algebraically. Algebraic explicit efficient decoding methods are referenced.


title: Kummer Rigidity for Hyperk\"ahler Automorphisms

abstract: We show that a holomorphic automorphism on a projective hyperk\"ahler manifold that has positive topological entropy and has volume measure as the measure of maximal entropy, is necessarily a Kummer example, partially extending the analogous results in (Cantat-Dupont 2020)(Filip-Tosatti 2018) for complex surfaces. A trick with Jensen's inequality is used to show that stable and unstable distributions exhibit uniform rate of contraction and expansion, and with them our hyperk\"ahler manifold is shown to be flat. A result in (Greb-Kebekus-Peternell 2016) then implies that our hyperk\"ahler manifold is birational to a torus quotient, giving the Kummer example structure.


title: Simulations in Recommender Systems: An industry perspective

abstract: The construction of effective Recommender Systems (RS) is a complex process, mainly due to the nature of RSs which involves large scale software-systems and human interactions. Iterative development processes require deep understanding of a current baseline as well as the ability to estimate the impact of changes in multiple variables of interest. Simulations are well suited to address both challenges and potentially leading to a high velocity construction process, a fundamental requirement in commercial contexts. Recently, there has been significant interest in RS Simulation Platforms, which allow RS developers to easily craft simulated environments where their systems can be analysed. In this work we discuss how simulations help to increase velocity, we look at the literature around RS Simulation Platforms, analyse strengths and gaps and distill a set of guiding principles for the design of RS Simulation Platforms that we believe will maximize the velocity of iterative RS construction processes.


title: Immersion and invariance orbital stabilization of underactuated mechanical systems with collocated pre-feedback

abstract: In this note we study the generation of attractive oscillations of a class of mechanical systems with underactuation one. The proposed design consists of two terms, i.e., a partial linearizing state feedback, and an immersion and invariance orbital stabilization controller. The first step is adopted to simplify analysis and design, however, bringing an additional difficulty that the model loses its Euler-Lagrange structure after the collocated pre-feedback. To address this, we propose a constructive solution to the orbital stabilization problem via a smooth controller in an analytic form, and the model class identified in the paper is characterized via some easily apriori verifiable assumptions on the inertia matrix and the potential energy function.


title: Characterizing Extreme Emission Line Galaxies II: A Self-Consistent Model of Their Ionizing Spectrum

abstract: Observations of high-redshift galaxies ($z >$ 5) have shown that these galaxies have extreme emission lines with equivalent widths much larger than their local star-forming counterparts. Extreme emission line galaxies (EELGs) in the nearby universe are likely analogues to galaxies during the Epoch of Reionization and provide nearby laboratories to understand the physical processes important to the early universe. We use HST/COS and LBT/MODS spectra to study two nearby EELGs, J104457 and J141851. The FUV spectra indicate that these two galaxies contain stellar populations with ages $< \sim$ 10 Myr and metallicities $\leq$ 0.15 Z$_\odot$. We use photoionization modeling to compare emission lines from models of single-age bursts of star-formation to observed emission lines and find that the single-age bursts do not reproduce high-ionization lines including [O III] or very-high ionization lines like He II or [O IV]. Photoionization modeling using the stellar populations fit from the UV continuum similarly are not capable of reproducing the emission lines from the very-high ionization zone. We add a blackbody to the stellar populations fit from the UV continuum to model the necessary high-energy photons to reproduce the very-high ionization lines of He II and [O IV]. We find that we need a blackbody of 80,000 K and $\sim$60-70% of the luminosity from the young stellar population to reproduce the very-high ionization lines while simultaneously reproducing the low- intermediate-, and high-ionization emission lines. Our self-consistent model of the ionizing spectra of two nearby EELGs indicates the presence of a previously unaccounted-for source of hard ionizing photons in reionization analogues.


title: Approximation of Curve-based Sleeve Functions in High Dimensions

abstract: Sleeve functions are generalizations of the well-established ridge functions that play a major role in the theory of partial differential equation, medical imaging, statistics, and neural networks. Where ridge functions are non-linear, univariate functions of the distance to hyperplanes, sleeve functions are based on the squared distance to lower-dimensional manifolds. The present work is a first step to study general sleeve functions by starting with sleeve functions based on finite-length curves. To capture these curve-based sleeve functions, we propose and study a two-step method, where first the outer univariate function - the profile - is recovered, and second the underlying curve is represented by a polygonal chain. Introducing a concept of well-separation, we ensure that the proposed method always terminates and approximate the true sleeve function with a certain quality. Investigating the local geometry, we study an inexact version of our method and show its success under certain conditions.


title: Dynamically defined subsets of generic self-affine sets

abstract: In dynamical systems, shrinking target sets and pointwise recurrent sets are two important classes of dynamically defined subsets. In this article we introduce a mild condition on the linear parts of the affine mappings that allow us to bound the Hausdorff dimension of cylindrical shrinking target and recurrence sets. For generic self-affine sets in the sense of Falconer, that is by randomising the translation part of the affine maps, we prove that these bounds are sharp. These mild assumptions mean that our results significantly extend and complement the existing literature for recurrence on self-affine sets.


title: Learning Density Distribution of Reachable States for Autonomous Systems

abstract: State density distribution, in contrast to worst-case reachability, can be leveraged for safety-related problems to better quantify the likelihood of the risk for potentially hazardous situations. In this work, we propose a data-driven method to compute the density distribution of reachable states for nonlinear and even black-box systems. Our semi-supervised approach learns system dynamics and the state density jointly from trajectory data, guided by the fact that the state density evolution follows the Liouville partial differential equation. With the help of neural network reachability tools, our approach can estimate the set of all possible future states as well as their density. Moreover, we could perform online safety verification with probability ranges for unsafe behaviors to occur. We use an extensive set of experiments to show that our learned solution can produce a much more accurate estimate on density distribution, and can quantify risks less conservatively and flexibly comparing with worst-case analysis.


title: Minimal graphs for contractible and dismantlable properties

abstract: The notion of a contractible transformation on a graph was introduced by Ivashchenko as a means to study molecular spaces arising from digital topology and computer image analysis, and more recently has been applied to topological data analysis. Contractible transformations involve a list of four elementary moves that can be performed on the vertices and edges of a graph, and it has been shown by Chen, Yau, and Yeh that these moves preserve the simple homotopy type of the underlying clique complex. A graph is said to be ${\mathcal I}$-contractible if one can reduce it to a single isolated vertex via a sequence of contractible transformations. Inspired by the notions of collapsible and non-evasive simplicial complexes, in this paper we study certain subclasses of ${\mathcal I}$-contractible graphs where one can collapse to a vertex using only a subset of these moves. Our main results involve constructions of minimal examples of graphs for which the resulting classes differ. We also relate these classes of graphs to the notion of $k$-dismantlable graphs and $k$-collapsible complexes, which also leads to a minimal counterexample to an erroneous claim of Ivashchenko from the literature. We end with some open questions.


title: A Hierarchical Control Framework for Drift Maneuvering of Autonomous Vehicles

abstract: Drift control is significant to the safety of autonomous vehicles when there is a sudden loss of traction due to external conditions such as rain or snow. It is a challenging control problem due to the presence of significant sideslip and nearly full saturation of the tires. In this paper, we focus on the control of drift maneuvers following circular paths with either fixed or moving centers, subject to change in the tire-ground interaction, which are common training tasks for drift enthusiasts and can therefore be used as benchmarks of the performance of drift control. In order to achieve the above tasks, we propose a novel hierarchical control architecture which decouples the curvature and center control of the trajectory. In particular, an outer loop stabilizes the center by tuning the target curvature, and an inner loop tracks the curvature using a feedforward/feedback controller enhanced by an $\mathcal{L}_1$ adaptive component. The hierarchical architecture is flexible because the inner loop is task-agnostic and adaptive to changes in tire-road interaction, which allows the outer loop to be designed independent of low-level dynamics, opening up the possibility of incorporating sophisticated planning algorithms. We implement our control strategy on a simulation platform as well as on a 1/10 scale Radio-Control~(RC) car, and both the simulation and experiment results illustrate the effectiveness of our strategy in achieving the above described set of drift maneuvering tasks.


title: Globular cluster candidates in the Sagittarius dwarf galaxy

abstract: Recently, new Sagittarius (Sgr) dwarf galaxy globular clusters were discovered, which opens the question on the actual size of the Sgr globular cluster population, and therefore on our understanding of the Sgr galaxy formation and accretion history onto the Milky Way. Based on Gaia EDR3 and SDSS IV DR16 (APOGEE-2) data sets, we performed an analysis of the color-magnitude diagrams (CMDs) of the eight new Sgr globular clusters found by from a sound cleaning of the contamination of Milky Way and Sgr field stars, complemented by Minniti et al. (2021b) available kinematic and metal abundance information. The cleaned CMDs and spatial stellar distributions reveal the presence of stars with a wide range of cluster membership probabilities. Minni 332 turned out to be a younger (< 9 Gyr) and more metal-rich ([M/H] > -1.0 dex) globular cluster than M54, the nuclear Sgr globular cluster, as could also be the case of Minni 342, 348, and 349, although their results are less convincing. Minni 341 could be an open cluster candidate (age < 1 Gyr, [M/H] ~ -0.3 dex), while the analyses of Minni 335, 343, and 344 did not allow us to confirm their physical reality. We also built the Sgr cluster frequency (CF) using available ages of the Sgr globular clusters and compared it with that obtained from the Sgr star formation history. Both CFs are in excellent agreement. However, the addition of eight new globular clusters with ages and metallicities distributed according to the Sgr age-metallicity relationship turns out in a remarkably different CF.


title: Tuna-AI: tuna biomass estimation with Machine Learning models trained on oceanography and echosounder FAD data

abstract: Echo-sounder data registered by buoys attached to drifting FADs provide a very valuable source of information on populations of tuna and their behaviour. This value increases whenthese data are supplemented with oceanographic data coming from CMEMS. We use these sources to develop Tuna-AI, a Machine Learning model aimed at predicting tuna biomass under a given buoy, which uses a 3-day window of echo-sounder data to capture the daily spatio-temporal patterns characteristic of tuna schools. As the supervised signal for training, we employ more than 5000 set events with their corresponding tuna catch reported by the AGAC tuna purse seine fleet.


title: Cross-speaker emotion disentangling and transfer for end-to-end speech synthesis

abstract: The cross-speaker emotion transfer task in text-to-speech (TTS) synthesis particularly aims to synthesize speech for a target speaker with the emotion transferred from reference speech recorded by another (source) speaker. During the emotion transfer process, the identity information of the source speaker could also affect the synthesized results, resulting in the issue of speaker leakage. This paper proposes a new method with the aim to synthesize controllable emotional expressive speech and meanwhile maintain the target speaker's identity in the cross-speaker emotion TTS task. The proposed method is a Tacotron2-based framework with emotion embedding as the conditioning variable to provide emotion information. Two emotion disentangling modules are contained in our method to 1) get speaker-irrelevant and emotion-discriminative embedding, and 2) explicitly constrain the emotion and speaker identity of synthetic speech to be that as expected. Moreover, we present an intuitive method to control the emotion strength in the synthetic speech for the target speaker. Specifically, the learned emotion embedding is adjusted with a flexible scalar value, which allows controlling the emotion strength conveyed by the embedding. Extensive experiments have been conducted on a Mandarin disjoint corpus, and the results demonstrate that the proposed method is able to synthesize reasonable emotional speech for the target speaker. Compared to the state-of-the-art reference embedding learned methods, our method gets the best performance on the cross-speaker emotion transfer task, indicating that our method achieves the new state-of-the-art performance on learning the speaker-irrelevant emotion embedding. Furthermore, the strength ranking test and pitch trajectories plots demonstrate that the proposed method can effectively control the emotion strength, leading to prosody-diverse synthetic speech.


title: Grid-based calculations of redshift-space matter fluctuations from perturbation theory: UV sensitivity and convergence at the field level

abstract: Perturbation theory (PT) has been used to interpret the observed nonlinear large-scale structure statistics at the quasi-linear regime. To facilitate the PT-based analysis, we have presented the GridSPT algorithm, a grid-based method to compute the nonlinear density and velocity fields in standard perturbation theory (SPT) from a given linear power spectrum. Here, we further put forward the approach by taking the redshift-space distortions into account. With the new implementation, we have, for the first time, generated the redshift-space density field to the fifth order and computed the next-to-next-to-leading order (2 loop) power spectrum and the next-to-leading order (1 loop) bispectrum of matter clustering in redshift space. By comparing the result with corresponding analytical SPT calculation and $N$-body simulations, we find that the SPT calculation (A) suffers much more from the UV sensitivity due to the higher-derivative operators and (B) deviates from the $N$-body results from the Fourier wavenumber smaller than real space $k_{\rm max}$. Finally, we have shown that while Pad\'e approximation removes spurious features in morphology, it does not improve the modeling of power spectrum and bispectrum.


title: The LOFAR Two-metre Sky Survey Deep fields: A new analysis of low-frequency radio luminosity as a star-formation tracer in the Lockman Hole region

abstract: We have exploited LOFAR deep observations of the Lockman Hole field at 150 MHz to investigate the relation between the radio luminosity of star-forming galaxies (SFGs) and their star formation rates (SFRs), as well as its dependence on stellar mass and redshift. The adopted source classification, SFRs and stellar masses are consensus estimates based on a combination of four different SED fitting methods. We note a flattening of radio spectra of a substantial minority of sources below $\sim 1.4 $ GHz. Such sources have thus a lower "radio-loudness" level at 150 MHz than expected from extrapolations from 1.4 GHz using the average spectral index. We found a weak trend towards a lower $\hbox{SFR}/L_{150 \rm MHz}$ ratio for higher stellar mass, $M_\star$. We argue that such a trend may account for most of the apparent redshift evolution of the $L_{150 \rm MHz}/\hbox{SFR}$ ratio, in line with previous work. Our data indicate a weaker evolution than found by some previous analyses. We also find a weaker evolution with redshift of the specific star formation rate than found by several (but not all) previous studies. Our radio selection provides a view of the distribution of galaxies in the $\hbox{SFR}$-$M_\star$ plane complementary to that of optical/near-IR selection. It suggests a higher uniformity of the star formation history of galaxies than implied by some analyses of optical/near-IR data. We have derived luminosity functions at 150 MHz of both SFGs and radio-quiet (RQ) AGN at various redshifts. Our results are in very good agreement with the T-RECS simulations and with literature estimates. We also present explicit estimates of SFR functions of SFGs and RQ AGN at several redshifts derived from our radio survey data.


title: Sequential Modelling with Applications to Music Recommendation, Fact-Checking, and Speed Reading

abstract: Sequential modelling entails making sense of sequential data, which naturally occurs in a wide array of domains. One example is systems that interact with users, log user actions and behaviour, and make recommendations of items of potential interest to users on the basis of their previous interactions. In such cases, the sequential order of user interactions is often indicative of what the user is interested in next. Similarly, for systems that automatically infer the semantics of text, capturing the sequential order of words in a sentence is essential, as even a slight re-ordering could significantly alter its original meaning. This thesis makes methodological contributions and new investigations of sequential modelling for the specific application areas of systems that recommend music tracks to listeners and systems that process text semantics in order to automatically fact-check claims, or "speed read" text for efficient further classification. (Rest of abstract omitted due to arXiv abstract limit)


title: Comparing Reconstruction- and Contrastive-based Models for Visual Task Planning

abstract: Learning state representations enables robotic planning directly from raw observations such as images. Most methods learn state representations by utilizing losses based on the reconstruction of the raw observations from a lower-dimensional latent space. The similarity between observations in the space of images is often assumed and used as a proxy for estimating similarity between the underlying states of the system. However, observations commonly contain task-irrelevant factors of variation which are nonetheless important for reconstruction, such as varying lighting and different camera viewpoints. In this work, we define relevant evaluation metrics and perform a thorough study of different loss functions for state representation learning. We show that models exploiting task priors, such as Siamese networks with a simple contrastive loss, outperform reconstruction-based representations in visual task planning.


title: Numerical characterization of complex torus quotients

abstract: This article gives a characterization of quotients of complex tori by finite groups acting freely in codimension two in terms of a numerical vanishing condition on the first and second Chern class. This generalizes results previously obtained by Greb--Kebekus--Peternell in the projective setting, and by Kirschner and the second author in dimension three. As a key ingredient to the proof, we obtain a version of the Bogomolov--Gieseker inequality for stable sheaves on singular spaces, including a discussion of the case of equality.


title: Set theory and a model of the mind in psychology

abstract: We investigate the mathematics of a model of the human mind which has been proposed by the psychologist Jens Mammen. Mathematical realizations of this model consist of so-called \emph{Mammen spaces}, where a Mammen space is a triple $(U,\mathcal S,\mathcal C)$, where $U$ is a non-empty set ("the universe"), $\mathcal S$ is a perfect Hausdorff topology on $U$, and $\mathcal C\subseteq\mathcal P(U)$ together with $\mathcal S$ satisfy certain axioms. We refute a conjecture put forward by J. Hoffmann-J{\o}rgensen, who conjectured that the existence of a "complete" Mammen space implies the Axiom of Choice, by showing that in the first Cohen model, in which ZF holds but AC fails, there is a complete Mammen space. We obtain this by proving that in the first Cohen model, every perfect topology can be extended to a maximal perfect topology. On the other hand, we also show that if all sets are Lebesgue measurable, or all sets are Baire measurable, then there are no complete Mammen spaces with a countable universe. Finally, we investigate two new cardinal invariants $\mathfrak u_M$ and $\mathfrak u_T$ associated with complete Mammen spaces and maximal perfect topologies, and establish some basic inequalities that are provable in ZFC. We show $\mathfrak u_M=\mathfrak u_T=2^{\aleph_0}$ follows from Martin's Axiom, and, contrastingly, we show that $\aleph_1=\mathfrak u_M=\mathfrak u_T<2^{\aleph_0}=\aleph_2$ in the Baumgartner-Laver model.


title: Deceptive Decision-Making Under Uncertainty

abstract: We study the design of autonomous agents that are capable of deceiving outside observers about their intentions while carrying out tasks in stochastic, complex environments. By modeling the agent's behavior as a Markov decision process, we consider a setting where the agent aims to reach one of multiple potential goals while deceiving outside observers about its true goal. We propose a novel approach to model observer predictions based on the principle of maximum entropy and to efficiently generate deceptive strategies via linear programming. The proposed approach enables the agent to exhibit a variety of tunable deceptive behaviors while ensuring the satisfaction of probabilistic constraints on the behavior. We evaluate the performance of the proposed approach via comparative user studies and present a case study on the streets of Manhattan, New York, using real travel time distributions.


title: Controlling the entropy of a single-molecule junction

abstract: Single molecules are nanoscale thermodynamic systems with few degrees of freedom. Thus, the knowledge of their entropy can reveal the presence of microscopic electron transfer dynamics, that are difficult to observe otherwise. Here, we apply thermocurrent spectroscopy to directly measure the entropy of a single free radical molecule in a magnetic field. Our results allow us to uncover the presence of a singlet to triplet transition in one of the redox states of the molecule, not detected by conventional charge transport measurements. This highlights the power of thermoelectric measurements which can be used to determine the difference in configurational entropy between the redox states of a nanoscale system involved in conductance without any prior assumptions about its structure or microscopic dynamics.


title: Statistical limits for quantum networks with semiconductor entangled photon sources

abstract: Semiconductor quantum dots are promising building blocks for quantum communication applications. Although deterministic, efficient, and coherent emission of entangled photons has been realized, implementing a practical quantum repeater remains outstanding. Here we explore the statistical limits for entanglement swapping with sources of polarization-entangled photons from the commonly used biexciton-exciton cascade. We stress the necessity of tuning the exciton fine structure, and explain why the often observed time evolution of photonic entanglement in quantum dots is not applicable for large quantum networks. We identify the critical, statistically distributed device parameters for entanglement swapping based on two sources. A numerical model for benchmarking the consequences of device fabrication, dynamic tuning techniques, and statistical effects is developed, in order to bring the realization of semiconductor-based quantum networks one step closer to reality.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: An Energy Conserving Vlasov Solver That Tolerates Coarse Velocity Space Resolutions: Simulation of MMS Reconnection Events

abstract: Vlasov solvers that operate on a phase-space grid are highly accurate but also numerically demanding. Coarse velocity space resolutions, which are unproblematic in particle-in-cell (PIC) simulations, can lead to numerical heating or oscillations in standard continuum Vlasov methods. We present a new dual Vlasov solver which is based on an established positivity preserving advection scheme for the update of the distribution function and an energy conserving partial differential equation solver for the kinetic update of mean velocity and temperature. The solvers work together via moment fitting during which the maximum entropy part of the distribution function is replaced by the solution from the partial differential equation solver. This numerical scheme makes continuum Vlasov methods competitive with PIC methods concerning computational cost and enables us to model large scale reconnection in Earth's magnetosphere with a fully kinetic continuum method. The simulation results agree well with measurements by the MMS spacecraft.


title: Split invariant curves in rotating bar potentials

abstract: Invariant curves are generally closed curves in the Poincare's surface of section. Here we study an interesting dynamical phenomenon, first discovered by Binney et al. (1985) in a rotating Kepler potential, where an invariant curve of the surface of section can split into two disconnected line segments under certain conditions, which is distinctively different from the islands of resonant orbits. We first demonstrate the existence of split invariant curves in the Freeman bar model, where all orbits can be described analytically. We find that the split phenomenon occurs when orbits are nearly tangent to the minor/major axis of the bar potential. Moreover, the split phenomenon seems necessary to avoid invariant curves intersecting with each other. Such a phenomenon appears only in rotating potentials, and we demonstrate its universal existence in other general rotating bar potentials. It also implies that actions are no longer proportional to the area bounded by an invariant curve if the split occurs, but they can still be computed by other means.


title: On some restricted inequalities for the iterated Hardy-type operator involving suprema and their applications

abstract: In this paper we characterize the inequality \begin{equation*} \bigg( \int_0^{\infty} \bigg( \int_0^x \big[ T_{u,b}f^* (t)\big]^r\,dt\bigg)^{\frac{q}{r}} w(x)\,dx\bigg)^{\frac{1}{q}} \le C \, \bigg( \int_0^{\infty} \bigg( \int_0^x [f^* (\tau)]^p\,d\tau \bigg)^{\frac{m}{p}} v(x)\,dx \bigg)^{\frac{1}{m}} \end{equation*} for $1 < m < p \le r < q < \infty$ or $1 < m \le r < \min\{p,q\} < \infty$, where $w$ and $v$ are weight functions on $(0,\infty)$. The inequality is required to hold with some positive constant $C$ for all measurable functions defined on measure space $({\mathbb R}^n,dx)$. Here $f^*$ is the non-increasing rearrangement of a measurable function $f$ defined on ${\mathbb R}^n$ and $T_{u,b}$ is the iterated Hardy-type operator involving suprema, whish is defined for a measurable non-negative function $f$ on $(0,\infty)$ by $$ (T_{u,b} g)(t) : = \sup_{t \le \tau < \infty} \frac{u(\tau)}{B(\tau)} \int_0^{\tau} g(s)b(s)\,ds,\qquad t \in (0,\infty), $$ where $u$ and $b$ are two weight functions on $(0,\infty)$ such that $u$ is continuous on $(0,\infty)$ and the function $B(t) : = \int_0^t b(s)\,ds$ satisfies $0 < B(t) < \infty$ for every $t \in (0,\infty)$. At the end of the paper, as an application of obtained results, we calculate the norm of the generalized maximal operator $M_{\phi,\Lambda^{\alpha}(b)}$, defined with $0 < \alpha < \infty$ and functions $b,\,\phi: (0,\infty) \rightarrow (0,\infty)$ for all measurable functions $f$ on ${\mathbb R}^n$ by \begin{equation*} M_{\phi,\Lambda^{\alpha}(b)}f(x) : = \sup_{Q \ni x} \frac{\|f \chi_Q\|_{\Lambda^{\alpha}(b)}}{\phi (|Q|)}, \qquad x \in {\mathbb R}^n, \end{equation*} from ${\operatorname{G\Gamma}}(p_1,m_1,v)$ into ${\operatorname{G\Gamma}}(p_2,m_2,w)$. Here $\Lambda^{\alpha}(b)$ and ${\operatorname{G\Gamma}}(p,m,w)$ are the classical and generalized Lorentz spaces, respectively.


title: Why Existing Machine Learning Methods Fails At Extracting the Information of Future Returns Out of Historical Sctock Prices : the Curve-Shape-Feature and Non-Curve-Shape-Feature Modes

abstract: The financial time series analysis is important access to touch the complex laws of financial markets. Among many goals of the financial time series analysis, one is to construct a model that can extract the information of the future return out of the known historical stock data, such as stock price, financial news, and e.t.c. To design such a model, prior knowledge on how the future return is correlated with the historical stock prices is needed. In this work, we focus on the issue: in what mode the future return is correlated with the historical stock prices. We manually design several financial time series where the future return is correlated with the historical stock prices in pre-designed modes, namely the curve-shape-feature (CSF) and the non-curve-shape-feature (NCSF) modes. In the CSF mode, the future return can be extracted from the curve shapes of the historical stock prices. By applying various kinds of existing algorithms on those pre-designed time series and real financial time series, we show that: (1) the major information of the future return is not contained in the curve-shape features of historical stock prices. That is, the future return is not mainly correlated with the historical stock prices in the CSF mode. (2) Various kinds of existing machine learning algorithms are good at extracting the curveshape features in the historical stock prices and thus are inappropriate for financial time series analysis although they are successful in the image recognition and natural language processing. That is, new models handling the NCSF series are needed in the financial time series analysis.


title: Adaptive Information Seeking for Open-Domain Question Answering

abstract: Information seeking is an essential step for open-domain question answering to efficiently gather evidence from a large corpus. Recently, iterative approaches have been proven to be effective for complex questions, by recursively retrieving new evidence at each step. However, almost all existing iterative approaches use predefined strategies, either applying the same retrieval function multiple times or fixing the order of different retrieval functions, which cannot fulfill the diverse requirements of various questions. In this paper, we propose a novel adaptive information-seeking strategy for open-domain question answering, namely AISO. Specifically, the whole retrieval and answer process is modeled as a partially observed Markov decision process, where three types of retrieval operations (e.g., BM25, DPR, and hyperlink) and one answer operation are defined as actions. According to the learned policy, AISO could adaptively select a proper retrieval action to seek the missing evidence at each step, based on the collected evidence and the reformulated query, or directly output the answer when the evidence set is sufficient for the question. Experiments on SQuAD Open and HotpotQA fullwiki, which serve as single-hop and multi-hop open-domain QA benchmarks, show that AISO outperforms all baseline methods with predefined strategies in terms of both retrieval and answer evaluations.


title: Incentivizing Mobile Edge Caching and Sharing: An Evolutionary Game Approach

abstract: Mobile Edge Caching is a promising technique to enhance the content delivery quality and reduce the backhaul link congestion, by storing popular content at the network edge or mobile devices (e.g. base stations and smartphones) that are proximate to content requesters. In this work, we study a novel mobile edge caching framework, which enables mobile devices to cache and share popular contents with each other via device-to-device (D2D) links. We are interested in the following incentive problem of mobile device users: whether and which users are willing to cache and share what contents, taking the user mobility and cost/reward into consideration. The problem is challenging in a large-scale network with a large number of users. We introduce the evolutionary game theory, an effective tool for analyzing large-scale dynamic systems, to analyze the mobile users' content caching and sharing strategies. Specifically, we first derive the users' best caching and sharing strategies, and then analyze how these best strategies change dynamically over time, based on which we further characterize the system equilibrium systematically. Simulation results show that the proposed caching scheme outperforms the existing schemes in terms of the total transmission cost and the cellular load. In particular, in our simulation, the total transmission cost can be reduced by 42.5%-55.2% and the cellular load can be reduced by 21.5%-56.4%.


title: Transient Performance Analysis of the $\ell_1$-RLS

abstract: The recursive least-squares algorithm with $\ell_1$-norm regularization ($\ell_1$-RLS) exhibits excellent performance in terms of convergence rate and steady-state error in identification of sparse systems. Nevertheless few works have studied its stochastic behavior, in particular its transient performance. In this letter, we derive analytical models of the transient behavior of the $\ell_1$-RLS in the mean and mean-square sense. Simulation results illustrate the accuracy of these models.


title: Measurement of the branching fraction for $\psi(3686)\to \omega K^0_SK^0_S$

abstract: Analyzing $(448.1\pm2.9)\times10^6$ $\psi(3686)$ events collected with the BESIII detector at the BEPCII collider, the $\psi(3686)\to \omega K_{S}^{0}K_{S}^{0}$ decay is observed for the first time. The branching fraction for this decay is determined to be $\mathcal{B}_{\psi(3686)\to \omega K_{S}^{0}K^{0}_{S}}$=$(7.04\pm0.39\pm0.36)$$\times10^{-5}$, where the first uncertainty is statistical and the second is systematic.


title: Quantile Mixed Hidden Markov Models for multivariate longitudinal data

abstract: The identification of factors associated with mental and behavioral disorders in early childhood is critical both for psychopathology research and the support of primary health care practices. Motivated by the Millennium Cohort Study, in this paper we study the effect of a comprehensive set of covariates on children's emotional and behavioural trajectories in England. To this end, we develop a Quantile Mixed Hidden Markov Model for joint estimation of multiple quantiles in a linear regression setting for multivariate longitudinal data. The novelty of the proposed approach is based on the Multivariate Asymmetric Laplace distribution which allows to jointly estimate the quantiles of the univariate conditional distributions of a multivariate response, accounting for possible correlation between the outcomes. Sources of unobserved heterogeneity and serial dependency due to repeated measures are modeled through the introduction of individual-specific, time-constant random coefficients and time-varying parameters evolving over time with a Markovian structure, respectively. The inferential approach is carried out through the construction of a suitable Expectation-Maximization algorithm without parametric assumptions on the random effects distribution.


title: The complexity of sharing a pizza

abstract: Assume you have a 2-dimensional pizza with $2n$ ingredients that you want to share with your friend. For this you are allowed to cut the pizza using several straight cuts, and then give every second piece to your friend. You want to do this fairly, that is, your friend and you should each get exactly half of each ingredient. How many cuts do you need? It was recently shown using topological methods that $n$ cuts always suffice. In this work, we study the computational complexity of finding such $n$ cuts. Our main result is that this problem is PPA-complete when the ingredients are represented as point sets. For this, we give a new proof that for point sets $n$ cuts suffice, which does not use any topological methods. We further prove several hardness results as well as a higher-dimensional variant for the case where the ingredients are well-separated.


title: Identifying 1-rectifiable measures in Carnot groups

abstract: We continue to develop a program in geometric measure theory that seeks to identify how measures in a space interact with canonical families of sets in the space. In particular, extending a theorem of the first author and R. Schul in Euclidean space, for an arbitrary locally finite Borel measure in an arbitrary Carnot group, we develop tests that identify the part of the measure that is carried by rectifiable curves and the part of the measure that is singular to rectifiable curves. Our main result is entwined with an extension of the Analyst's Traveling Salesman Theorem, which characterizes subsets of rectifiable curves in $\mathbb{R}^2$ (P. Jones, 1990), in $\mathbb{R}^n$ (K. Okikolu, 1992), or in an arbitrary Carnot group (the second author) in terms of local geometric least squares data called Jones' $\beta$-numbers. In a secondary result, we implement the Garnett-Killip-Schul construction of a doubling measure in $\mathbb{R}^n$ that charges a rectifiable curve in an arbitrary complete, doubling, locally quasiconvex metric space.


title: An Eclipsing Black Widow Pulsar in NGC 6712

abstract: We report the discovery of the first radio pulsar associated with NGC 6712, an eclipsing black widow (BW) pulsar, J1853$-$0842A, found by high-sensitivity searches using the Five-hundred-meter Aperture Spherical radio Telescope. This 2.15 ms pulsar is in a 3.56 hr compact circular orbit with a very low mass companion likely of mass 0.018 to 0.036 $M_{\rm \odot}$ and exhibits eclipsing of the pulsar signal. Though the distance to PSR J1853$-$0842A predicted from its dispersion measure ($155.125 \pm 0.004$ cm$^{-3}$ pc) and Galactic free electron density models are about 30\% smaller than that of NGC 6712 obtained from interstellar reddening measurements, this is likely due to limited knowledge about the spiral arms and Scutum stellar cloud in this direction. Follow-up timing observations spanning 445 days allow us to localize the pulsar's position to be 0.14 core radii from the center of NGC 6712 and measure a negative spin-down rate for this pulsar of $-2.39(2)\times10^{-21}\rm s s^{-1}$. The latter cannot be explained without the acceleration of the GC and decisively supports the association between PSR J1853--0842A and NGC 6712. Considering the maximum GC acceleration, Galactic acceleration, and Shklovskii effect, we place an upper limit on the intrinsic spin-down rate to be $1.11\times10^{-20}\rm~s~s^{-1}$. From an analysis of the eclipsing observations, we estimate the electron density of the eclipse region to be about $1.88\times10^6\rm cm^{-3}$. We also place an upper limit of the accretion rate from the companion is about $3.05\times10^{-13}~M_{\rm \odot}\rm~yr^{-1}$ which is comparable with some other BWs.


title: Construction of $k$-matchings and $k$-regular subgraphs in graph products

abstract: A $k$-matching $M$ of a graph $G=(V,E)$ is a subset $M\subseteq E$ such that each connected component in the subgraph $F = (V,M)$ of $G$ is either a single-vertex graph or $k$-regular, i.e., each vertex has degree $k$. In this contribution, we are interested in $k$-matchings within the four standard graph products: the Cartesian, strong, direct and lexicographic product. As we shall see, the problem of finding non-empty $k$-matchings ($k\geq 3$) in graph products is NP-complete. Due to the general intractability of this problem, we focus on distinct polynomial-time constructions of $k$-matchings in a graph product $G\star H$ that are based on $k_G$-matchings $M_G$ and $k_H$-matchings $M_H$ of its factors $G$ and $H$, respectively. In particular, we are interested in properties of the factors that have to be satisfied such that these constructions yield a maximum $k$-matching in the respective products. Such constructions are also called "well-behaved" and we provide several characterizations for this type of $k$-matchings. Our specific constructions of $k$-matchings in graph products satisfy the property of being weak-homomorphism preserving, i.e., constructed matched edges in the product are never "projected" to unmatched edges in the factors. This leads to the concept of weak-homomorphism preserving $k$-matchings. Although the specific $k$-matchings constructed here are not always maximum $k$-matchings of the products, they have always maximum size among all weak-homomorphism preserving $k$-matchings. Not all weak-homomorphism preserving $k$-matchings, however, can be constructed in our manner. We will, therefore, determine the size of maximum-sized elements among all weak-homomorphims preserving $k$-matching within the respective graph products, provided that the matchings in the factors satisfy some general assumptions.


title: ImUnity: a generalizable VAE-GAN solution for multicenter MR image harmonization

abstract: ImUnity is an original deep-learning model designed for efficient and flexible MR image harmonization. A VAE-GAN network, coupled with a confusion module and an optional biological preservation module, uses multiple 2D-slices taken from different anatomical locations in each subject of the training database, as well as image contrast transformations for its self-supervised training. It eventually generates 'corrected' MR images that can be used for various multi-center population studies. Using 3 open source databases (ABIDE, OASIS and SRPBS), which contain MR images from multiple acquisition scanner types or vendors and a large range of subjects ages, we show that ImUnity: (1) outperforms state-of-the-art methods in terms of quality of images generated using traveling subjects; (2) removes sites or scanner biases while improving patients classification; (3) harmonizes data coming from new sites or scanners without the need for an additional fine-tuning and (4) allows the selection of multiple MR reconstructed images according to the desired applications. Tested here on T1-weighted images, ImUnity could be used to harmonize other types of medical images.


title: Bursting in a next generation neural mass model with synaptic dynamics: a slow-fast approach

abstract: We report a detailed analysis on the emergence of bursting in a recently developed neural mass model that takes short-term synaptic plasticity into account. The one being used here is particularly important, as it represents an exact meanfield limit of synaptically coupled quadratic integrate & fire neurons, a canonical model for type I excitability. In absence of synaptic dynamics, a periodic external current with a slow frequency {\epsilon} can lead to burst-like dynamics. The firing patterns can be understood using techniques of singular perturbation theory, specifically slow-fast dissection. In the model with synaptic dynamics the separation of timescales leads to a variety of slow-fast phenomena and their role for bursting is rendered inordinately more intricate. Canards are one of the main slow-fast elements on the route to bursting. They describe trajectories evolving nearby otherwise repelling locally invariant sets of the system and are found in the transition region from subthreshold dynamics to bursting. For values of the timescale separation nearby the singular limit {\epsilon} = 0, we report peculiar jump-on canards, which block a continuous transition to bursting. In the biologically more plausible regime of {\epsilon} this transition becomes continuous and bursts emerge via consecutive spike-adding transitions. The onset of bursting is of complex nature and involves mixed-type like torus canards, which form the very first spikes of the burst and revolve nearby fast-subsystem repelling limit cycles. We provide numerical evidence for the same mechanisms to be responsible for the emergence of bursting in the quadratic integrate & fire network with plastic synapses. The main conclusions apply for the network, owing to the exactness of the meanfield limit.


title: Discrete Coxeter groups

abstract: Coxeter groups are a special class of groups generated by involutions. They play important roles in the various areas of mathematics. This survey particularly focuses on how one uses Coxeter groups to construct interesting examples of discrete subgroups of Lie groups.


title: Bayesian hierarchical analysis of a multifaceted program against extreme poverty

abstract: The evaluation of a multifaceted program against extreme poverty in different developing countries gave encouraging results, but with important heterogeneity between countries. This master thesis proposes to study this heterogeneity with a Bayesian hierarchical analysis. The analysis we carry out with two different hierarchical models leads to a very low amount of pooling of information between countries, indicating that this observed heterogeneity should be interpreted mostly as true heterogeneity, and not as sampling error. We analyze the first order behavior of our hierarchical models, in order to understand what leads to this very low amount of pooling. We try to give to this work a didactic approach, with an introduction of Bayesian analysis and an explanation of the different modeling and computational choices of our analysis.


title: Using Clinical Experts Beliefs to Compare Survival Models in Health Technology Assessment

abstract: Objectives: The aim of this paper is to contrast the retrospective and prospective use of experts beliefs in choosing between survival models in economic evaluations. Methods: The use of experts retrospective (posterior) beliefs is discussed. A process for prospectively quantifying prior beliefs about model parameters in five standard models is described. Statistical criterion for comparing models, and the interpretation and computation of model probabilities is discussed. A case study is provided. Results: Experts have little difficulty in expressing their posterior beliefs. Information criterion is an approximation to Bayesian model evidence and is based on data alone. In contrast, Bayes factors measure evidence in the data and makes use of prior information. When model averaging is of interest, there is no unique way to specify prior ignorance about model probabilities. Formulating and interpreting weights of similar models should acknowledge the dilution phenomenon such that highly correlated models are given smaller weights than those with low correlation. Conclusion: The retrospective use of experts beliefs to validate a model is potentially misleading, may not achieve its intended objective and is an inefficient use of information. Experts beliefs should be elicited prospectively as probability distributions to strengthen inferences, facilitate the choice of model, and mitigate the impact of dilution on model probabilities in situations when model averaging is of interest.


title: htof: A new open-source tool for analyzing Hipparcos, Gaia, and future astrometric missions

abstract: We present htof, an open-source tool for interpreting and fitting the intermediate astrometric data (IAD) from both the 1997 and 2007 reductions of Hipparcos, the scanning-law of Gaia, and future missions such as the Nancy Grace Roman Space Telescope (NGRST). htof solves for the astrometric parameters of any system for any arbitrary combination of absolute astrometric missions. In preparation for later Gaia data releases, htof supports arbitrarily high-order astrometric solutions (e.g. five-, seven-, nine-parameter fits). Using htof, we find that the IAD of 6617 sources in Hipparcos 2007 might have been affected by a data corruption issue. htof integrates an ad-hoc correction that reconciles the IAD of these sources with their published catalog solutions. We developed htof to study masses and orbital parameters of sub-stellar companions, and we outline its implementation in one orbit fitting code (orvara, https://github.com/t-brandt/orvara). We use htof to predict a range of hypothetical additional planets in the $\beta$~Pic system, which could be detected by coupling NGRST astrometry with Gaia and Hipparcos. htof is pip installable and available at https://github.com/gmbrandt/htof .

categories: astro-ph.IM astro-ph.EP astro-ph.GA astro-ph.SR


title: Greenformer: Factorization Toolkit for Efficient Deep Neural Networks

abstract: While the recent advances in deep neural networks (DNN) bring remarkable success, the computational cost also increases considerably. In this paper, we introduce Greenformer, a toolkit to accelerate the computation of neural networks through matrix factorization while maintaining performance. Greenformer can be easily applied with a single line of code to any DNN model. Our experimental results show that Greenformer is effective for a wide range of scenarios. We provide the showcase of Greenformer at https://samuelcahyawijaya.github.io/greenformer-demo/.


title: Testing Boolean Functions Properties

abstract: The goal in the area of functions property testing is to determine whether a given black-box Boolean function has a particular given property or is $\varepsilon$-far from having that property. We investigate here several types of properties testing for Boolean functions (identity, correlations and balancedness) using the Deutsch-Jozsa algorithm (for the Deutsch-Jozsa (D-J) problem) and also the amplitude amplification technique. At first, we study here a particular testing problem: namely whether a given Boolean function $f$, of $n$ variables, is identical with a given function $g$ or is $\varepsilon$-far from $g$, where $\varepsilon$ is the parameter. We present a one-sided error quantum algorithm to deal with this problem that has the query complexity $O(\frac{1}{\sqrt{\varepsilon}})$. Moreover, we show that our quantum algorithm is optimal. Afterwards we show that the classical randomized query complexity of this problem is $\Theta(\frac{1}{\varepsilon})$. Secondly, we consider the D-J problem from the perspective of functional correlations and let $C(f,g)$ denote the correlation of $f$ and $g$. We propose an exact quantum algorithm for making distinction between $|C(f,g)|=\varepsilon$ and $|C(f,g)|=1$ using six queries, while the classical deterministic query complexity for this problem is $\Theta(2^{n})$ queries. Finally, we propose a one-sided error quantum query algorithm for testing whether one Boolean function is balanced versus $\varepsilon$-far balanced using $O(\frac{1}{\varepsilon})$ queries. We also prove here that our quantum algorithm for balancedness testing is optimal. At the same time, for this balancedness testing problem we present a classical randomized algorithm with query complexity of $O(1/\varepsilon^{2})$. Also this randomized algorithm is optimal. Besides, we link the problems considered here together and generalize them to the general case.


title: Compact, spatial-mode-interaction-free, ultralow-loss, nonlinear photonic integrated circuits

abstract: Nonlinear photonics based on integrated circuits has enabled applications such as parametric amplifiers, soliton frequency combs, supercontinua, and non-reciprocal devices. Ultralow optical loss and the capability for dispersion engineering are essential, which necessitate the use of multi-mode waveguides. Despite that rich interaction among different spatial waveguide eigenmodes can give rise to novel nonlinear phenomena, spatial mode interaction is typically undesired as it increases optical loss, perturbs local dispersion profile, and impedes soliton formation. Adiabatic bends, such as Euler bends whose curvature varies linearly with their path length, have been favoured to suppress spatial mode interaction. Adiabatic bends can essentially connect any two waveguide segments with adiabatic mode conversion, thus efficiently avoid mode mixing due to mode mismatch. However, previous works lack quantitative measurement data and analysis to fairly evaluate the adiabaticity, and are not based on photonic integrated circuits with tight optical confinement and optical losses of few dB/m. Here, we adapt, optimize, and implement Euler bends to build compact racetrack microresonators based on ultralow-loss, multi-mode, silicon nitride photonic integrated circuits. The racetrack microresonators feature a small footprint of only 0.21 mm^2 for 19.8 GHz FSR. We quantitatively investigate the suppression of spatial mode interaction in the racetrack microresonators with Euler bends. We show that the optical loss rate (15.5 MHz) is preserved, on par with the mode interaction strength (25 MHz). This results in an unperturbed microresonator dispersion profile. We further demonstrate single soliton of 19.8 GHz repetition rate. The optimized Euler bends and racetrack microresonators can be key building blocks for integrated nonlinear photonic systems, programmable processors and photonic quantum computing.


title: Identification of linear time-invariant systems with Dynamic Mode Decomposition

abstract: Dynamic mode decomposition (DMD) is a popular data-driven framework to extract linear dynamics from complex high-dimensional systems. In this work, we study the system identification properties of DMD. We first show that DMD is invariant under linear transformations in the image of the data matrix. If, in addition, the data is constructed from a linear time-invariant system, then we prove that DMD can recover the original dynamics under mild conditions. If the linear dynamics are discretized with a Runge-Kutta method, then we further classify the error of the DMD approximation and detail that for one-stage Runge-Kutta methods even the continuous dynamics can be recovered with DMD. A numerical example illustrates the theoretical findings.


title: Relative Perversity

abstract: We define and study a relative perverse $t$-structure associated with any finitely presented morphism of schemes $f: X\to S$, with relative perversity equivalent to perversity of the restrictions to all geometric fibres of $f$. The existence of this $t$-structure is closely related to perverse $t$-exactness properties of nearby cycles. This $t$-structure preserves universally locally acyclic sheaves, and one gets a resulting abelian category $\mathrm{Perv}^{\mathrm{ULA}}(X/S)$ with many of the same properties familiar in the absolute setting (e.g., noetherian, artinian, compatible with Verdier duality). For $S$ connected and geometrically unibranch with generic point $\eta$, the functor $\mathrm{Perv}^{\mathrm{ULA}}(X/S)\to \mathrm{Perv}(X_\eta)$ is exact and fully faithful, and its essential image is stable under passage to subquotients. This yields a notion of "good reduction" for perverse sheaves.


title: Creep properties and deformation mechanisms of single-crystalline $\gamma^\prime$-strengthened superalloys in dependence of the Co/Ni ratio

abstract: Co-base superalloys are considered as promising high temperature materials besides the well-established Ni-base superalloys. However, Ni appears to be an indispensable alloying element also in Co-base superalloys. To address the influence of the base elements on the deformation behavior, high-temperature compressive creep experiments were performed on a single crystal alloy series that was designed to exhibit a varying Co/Ni ratio and a constant Al, W and Cr content. Creep tests were performed at 900 {\deg}C and 250 MPa and the resulting microstructures and defect configurations were characterized via electron microscopy. The minimum creep rates differ by more than one order of magnitude with changing Co/Ni ratio. An intermediate CoNi-base alloy exhibits the overall highest creep strength. Several strengthening contributions like solid solution strengthening of the $\gamma$ phase, effective diffusion coefficients or stacking fault energies were quantified. Precipitate shearing mechanisms differ significantly when the base element content is varied. While the Ni-rich superalloys exhibit SISF and SESF shearing, the Co-rich alloys develop extended APBs when the $\gamma^\prime$ phase is cut. This is mainly attributed to a difference in planar fault energies, caused by a changing segregation behavior. As result, it is assumed that the shearing resistivity and the occurring deformation mechanisms in the $\gamma^\prime$ phase are crucial for the creep properties of the investigated alloy series.


title: MotionHint: Self-Supervised Monocular Visual Odometry with Motion Constraints

abstract: We present a novel self-supervised algorithm named MotionHint for monocular visual odometry (VO) that takes motion constraints into account. A key aspect of our approach is to use an appropriate motion model that can help existing self-supervised monocular VO (SSM-VO) algorithms to overcome issues related to the local minima within their self-supervised loss functions. The motion model is expressed with a neural network named PPnet. It is trained to coarsely predict the next pose of the camera and the uncertainty of this prediction. Our self-supervised approach combines the original loss and the motion loss, which is the weighted difference between the prediction and the generated ego-motion. Taking two existing SSM-VO systems as our baseline, we evaluate our MotionHint algorithm on the standard KITTI benchmark. Experimental results show that our MotionHint algorithm can be easily applied to existing open-sourced state-of-the-art SSM-VO systems to greatly improve the performance by reducing the resulting ATE by up to 28.73%.


title: Valence state determines the band magnetocrystalline anisotropy in 2D rare-earth/noble-metal compounds

abstract: In intermetallic compounds with zero-orbital momentum ($L=0$) the magnetic anisotropy and the electronic band structure are interconnected. Here, we investigate this connection on divalent Eu and trivalent Gd intermetallic compounds. We find by X-ray magnetic circular dichroism an out-of-plane easy magetization axis in 2D atom-thick EuAu$_2$. Angle-resolved photoemission and density-functional theory prove that this is due to strong $f-d$ band hybridization and Eu$^{2+}$ valence. In contrast, the easy in-plane magnetization of the structurally-equivalent GdAu$_2$ is ruled by spin-orbit-split $d$-bands, notably Weyl nodal lines, occupied in the Gd$^{3+}$ state. Regardless of the $L$ value, we predict a similar itinerant electron contribution to the anisotropy of analogous compounds.


title: Approaching the theoretical limit in quantum gate decomposition

abstract: In this work we propose a novel numerical approach to decompose general quantum programs in terms of single- and two-qubit quantum gates with a $CNOT$ gate count very close to the current theoretical lower bounds. In particular, it turns out that $15$ and $63$ $CNOT$ gates are sufficient to decompose a general $3$- and $4$-qubit unitary, respectively, with high numerical accuracy. Our approach is based on a sequential optimization of parameters related to the single-qubit rotation gates involved in a pre-designed quantum circuit used for the decomposition. In addition, the algorithm can be adopted to sparse inter-qubit connectivity architectures provided by current mid-scale quantum computers, needing only a few additional $CNOT$ gates to be implemented in the resulting quantum circuits.


title: Resolvent of the parallel composition and proximity operator of the infimal postcomposition

abstract: In this paper we provide the resolvent computation of the parallel composition of a maximally monotone operator by a linear operator under mild assumptions. Connections with a modification of the warped resolvent are provided. In the context of convex optimization, we obtain the proximity operator of the infimal postcomposition of a convex function by a linear operator and we extend full range conditions on the linear operator to mild qualification conditions. We also introduce a generalization of the proximity operator involving a general linear bounded operator leading to a generalization of Moreau's decomposition for composite convex optimization.


title: Improving Zero-shot Cross-lingual Transfer between Closely Related Languages by injecting Character-level Noise

abstract: Cross-lingual transfer between a high-resource language and its dialects or closely related language varieties should be facilitated by their similarity. However, current approaches that operate in the embedding space do not take surface similarity into account. This work presents a simple yet effective strategy to imrove cross-lingual transfer between closely related varieties. We propose to augment the data of the high-resource source language with character-level noise to make the model more robust towards spelling variations. Our strategy shows consistent improvements over several languages and tasks: Zero-shot transfer of POS tagging and topic identification between language varieties from the Finnic, West and North Germanic, and Western Romance language branches. Our work provides evidence for the usefulness of simple surface-level noise in improving transfer between language varieties.


title: Obstacle Avoidance for Autonomous Mobile Robots Based on Mapping Method

abstract: In recent years, the mobile robot has been considerable attention to researchers for its application in various environments. For a mobile robot navigating its way from starting point to a goal point while traversing through deterrents, needs to recognize the obstacles and generate new trajectories to reach the destination. This paper presents an obstacle avoidance method for mobile robots using an open-source in robot operation system (ROS) combining with the dynamic window approach (DWA) algorithm. The experiment is carried out using a mobile robot in which the navigation data is based on data collecting by a laser scanner. The experimental results show that the robot could work well in environments containing static and dynamic obstacles.