title: Performance Analysis of Multiuser FSO/RF Network Under Non-Equal Priority with $P$-Persistence Protocol

abstract: This paper presents and analyzes a novel multiuser network based on hybrid free-space optical (FSO)/radio-frequency (RF) transmission system, where every user is serviced by a primary FSO link. When more than one FSO link fail, the central node services these corresponding users by using a common backup RF link according to a non-equal priority with $p$ persistence servicing protocol. A novel discrete-time Markov chain model is developed for the proposed network, where different transmission rates over both RF and FSO links are assumed. We investigate the throughput from central node to the user, the average size of the transmit buffer allocated for every user, the frame queuing delay in the transmit buffer, the efficiency of the queuing system, the frame loss probability, and the RF link utilization. The network's users are arranged in an ascending order. As the order of the failed user increases, the corresponding performance criteria gets worse due to the non-equal priority servicing protocol. Numerical examples show that transmitting a data frame with probability $p$ when using the common backup RF link, achieves considerable performance improvement that approaches the performance of the multiuser FSO/RF network when using equal priority protocol to serve all the remote users.


title: Splitting symplectic fillings

abstract: We generalize the mixed tori which appear in the second author's JSJ-type decomposition theorem for symplectic fillings of contact manifolds. Mixed tori are convex surfaces in contact manifolds which may be used to decompose symplectic fillings. We call our more general surfaces splitting surfaces, and show that the decomposition of symplectic fillings continues to hold. Specifically, given a strong or exact symplectic filling of a contact manifold which admits a splitting surface, we produce a new symplectic manifold which strongly or exactly fills its boundary, and which is related to the original filling by Liouville surgery.


title: What You See is What You Get: Visual Pronoun Coreference Resolution in Dialogues

abstract: Grounding a pronoun to a visual object it refers to requires complex reasoning from various information sources, especially in conversational scenarios. For example, when people in a conversation talk about something all speakers can see, they often directly use pronouns (e.g., it) to refer to it without previous introduction. This fact brings a huge challenge for modern natural language understanding systems, particularly conventional context-based pronoun coreference models. To tackle this challenge, in this paper, we formally define the task of visual-aware pronoun coreference resolution (PCR) and introduce VisPro, a large-scale dialogue PCR dataset, to investigate whether and how the visual information can help resolve pronouns in dialogues. We then propose a novel visual-aware PCR model, VisCoref, for this task and conduct comprehensive experiments and case studies on our dataset. Results demonstrate the importance of the visual information in this PCR case and show the effectiveness of the proposed model.


title: Purely inseparable points on curves

abstract: We give effective upper bounds for the number of purely inseparable points on non isotrivial curves over function fields of positive characteristic and of transcendence degree one. These bounds depend on the genus of the curve, the genus of the function field and the number of points of bad reduction of the curve.


title: Extremal cases of Rapoport-Zink spaces

abstract: We investigate qualitative properties of the underlying scheme of Rapoport-Zink formal moduli spaces of p-divisible groups, resp. Shtukas. We single out those cases when the dimension of this underlying scheme is zero, resp. those where the dimension is maximal possible. The model case for the first alternative is the Lubin-Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.


title: Invariant measures for stochastic damped 2D Euler equations

abstract: We study the two-dimensional Euler equations, damped by a linear term and driven by an additive noise. The existence of weak solutions has already been studied; pathwise uniqueness is known for solutions that have vorticity in $L^\infty$. In this paper, we prove the Markov property and then the existence of an invariant measure in the space $L^\infty$ by means of a Krylov-Bogoliubov's type method, working with the weak$\star$ and the bounded weak$\star$ topologies in $L^\infty$.


title: Revenue-Optimal Deterministic Auctions for Multiple Buyers with Ordinal Preferences over Fixed-price Items

abstract: In this paper, we introduce a Bayesian revenue-maximizing mechanism design model where the items have fixed, exogenously-given prices. Buyers are unit-demand and have an ordinal ranking over purchasing either one of these items at its given price, or purchasing nothing. This model arises naturally from the assortment optimization problem, in that the single-buyer optimization problem over deterministic mechanisms reduces to deciding on an assortment of items to "show". We study its multi-buyer generalization in the simplest setting of single-winner auctions, or more broadly, any service-constrained environment. Our main result is that if the buyer rankings are drawn independently from Markov Chain ranking models, then the optimal mechanism is computationally tractable, and structurally a virtual welfare maximizer. We also show that for ranking distributions not induced by Markov Chains, the optimal mechanism may not be a virtual welfare maximizer.


title: Global Entity Disambiguation with BERT

abstract: We propose a global entity disambiguation (ED) model based on BERT. To capture global contextual information for ED, our model treats not only words but also entities as input tokens, and solves the task by sequentially resolving mentions to their referent entities and using resolved entities as inputs at each step. We train the model using a large entity-annotated corpus obtained from Wikipedia. We achieve new state-of-the-art results on five standard ED datasets: AIDA-CoNLL, MSNBC, AQUAINT, ACE2004, and WNED-WIKI. The source code and model checkpoint are available at https://github.com/studio-ousia/luke.


title: Refinement type contracts for verification of scientific investigative software

abstract: Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co-developed our tool with a medium-sized ($\approx$3000 LOC) software package which simulates decision-making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches.


title: Generalized mode-coupling theory of the glass transition. I. Numerical results for Percus-Yevick hard spheres

abstract: Mode-coupling theory (MCT) constitutes one of the few first-principles-based approaches to describe the physics of the glass transition, but the theory's inherent approximations compromise its accuracy in the activated glassy regime. Here we show that microscopic generalized mode-coupling theory (GMCT), a recently proposed hierarchical framework to systematically improve upon standard MCT, provides a promising pathway toward a more accurate first-principles description of glassy dynamics. We present a comprehensive numerical analysis for Percus-Yevick hard spheres by performing explicitly wavenumber- and time-dependent GMCT calculations up to sixth order. Specifically, we calculate the location of the critical point, the associated non-ergodicity parameters, the time-dependent dynamics of the density correlators at both absolute and reduced packing fractions, and we test several universal scaling relations in the $\alpha$- and $\beta$-relaxation regimes. It is found that higher-order GMCT can successfully remedy some of standard MCT's pathologies, including an underestimation of the critical glass transition density and an overestimation of the hard-sphere fragility. Furthermore, we numerically demonstrate that the celebrated scaling laws of standard MCT are preserved in GMCT at all closure levels, and that the predicted critical exponents manifestly improve as more levels are incorporated in the GMCT hierarchy. Although formally the GMCT equations should be solved up to infinite order to reach full convergence, our finite-order GMCT calculations unambiguously reveal a uniform convergence pattern for the dynamics. We thus argue that GMCT can provide a feasible and controlled means to bypass MCT's main uncontrolled approximation, offering hope for the future development of a quantitative first-principles theory of the glass transition.


title: An Improved Neural Baseline for Temporal Relation Extraction

abstract: Determining temporal relations (e.g., before or after) between events has been a challenging natural language understanding task, partly due to the difficulty to generate large amounts of high-quality training data. Consequently, neural approaches have not been widely used on it, or showed only moderate improvements. This paper proposes a new neural system that achieves about 10% absolute improvement in accuracy over the previous best system (25% error reduction) on two benchmark datasets. The proposed system is trained on the state-of-the-art MATRES dataset and applies contextualized word embeddings, a Siamese encoder of a temporal common sense knowledge base, and global inference via integer linear programming (ILP). We suggest that the new approach could serve as a strong baseline for future research in this area.


title: Transfer Learning Between Related Tasks Using Expected Label Proportions

abstract: Deep learning systems thrive on abundance of labeled training data but such data is not always available, calling for alternative methods of supervision. One such method is expectation regularization (XR) (Mann and McCallum, 2007), where models are trained based on expected label proportions. We propose a novel application of the XR framework for transfer learning between related tasks, where knowing the labels of task A provides an estimation of the label proportion of task B. We then use a model trained for A to label a large corpus, and use this corpus with an XR loss to train a model for task B. To make the XR framework applicable to large-scale deep-learning setups, we propose a stochastic batched approximation procedure. We demonstrate the approach on the task of Aspect-based Sentiment classification, where we effectively use a sentence-level sentiment predictor to train accurate aspect-based predictor. The method improves upon fully supervised neural system trained on aspect-level data, and is also cumulative with LM-based pretraining, as we demonstrate by improving a BERT-based Aspect-based Sentiment model.


title: Improved Moser-Trudinger-Onofri inequality under constraints

abstract: A classical result of Aubin states that the constant in Moser-Trudinger-Onofri inequality on $\mathbb{S}^{2}$ can be imporved for furnctions with zero first order moments of the area element. We generalize it to higher order moments case. These new inequalities bear similarity to a sequence of Lebedev-Milin type inequalities on $\mathbb{S}^{1}$ coming from the work of Grenander-Szego on Toeplitz determinants (as pointed out by Widom). We also discuss the related sharp inequality by a perturbation method.


title: Nonequilibrium chemical potentials of steady-state lattice gas models in contact: A large-deviations approach

abstract: We introduce a general framework to describe the stationary state of two driven systems exchanging particles or mass through a contact, in a slow exchange limit. The definition of chemical potentials for the systems in contact requires that the large-deviations function describing the repartition of mass between the two systems is additive, in the sense of being a sum of contributions from each system. We show that this additivity property is satisfied on condition that a macroscopic detailed balance condition holds at contact, and that the coarse-grained contact dynamics satisfies a factorization property. However, the nonequilibrium chemical potentials of the systems in contact keep track of the contact dynamics, and thus do not obey an equation of state. These nonequilibrium chemical potentials can be related either to the equilibrium chemical potential, or to the nonequilibrium chemical potential of the isolated systems. Results are applied both to an exactly solvable driven lattice gas model, and to the Katz-Lebowitz-Spohn model using a numerical procedure to evaluate the chemical potential.


title: Automated high-throughput Wannierisation

abstract: Maximally-localised Wannier functions (MLWFs) are routinely used to compute from first-principles advanced materials properties that require very dense Brillouin zone integration and to build accurate tight-binding models for scale-bridging simulations. At the same time, high-throughput (HT) computational materials design is an emergent field that promises to accelerate the reliable and cost-effective design and optimisation of new materials with target properties. The use of MLWFs in HT workflows has been hampered by the fact that generating MLWFs automatically and robustly without any user intervention and for arbitrary materials is, in general, very challenging. We address this problem directly by proposing a procedure for automatically generating MLWFs for HT frameworks. Our approach is based on the selected columns of the density matrix method (SCDM) and we present the details of its implementation in an AiiDA workflow. We apply our approach to a dataset of 200 bulk crystalline materials that span a wide structural and chemical space. We assess the quality of our MLWFs in terms of the accuracy of the band-structure interpolation that they provide as compared to the band-structure obtained via full first-principles calculations. Finally, we provide a downloadable virtual machine that can be used to reproduce the results of this paper, including all first-principles and atomistic simulations as well as the computational workflows.


title: Black hole formation, holographic thermalization and the AdS/CFT correspondence

abstract: The AdS/CFT correspondence is one of the most important discoveries in theoretical physics in recent years. It states that certain quantum mechanical theories can actually be described by classical gravity in one higher dimension, in a spacetime called anti-de Sitter (AdS) space. What makes this duality so useful is that it relates theories with weak coupling to theories with strong coupling and thus provides a new tool for tackling strongly coupled quantum field theories, which are notoriously difficult to handle using conventional methods. During the course of my PhD I have mostly studied time dependent processes, in particular thermalization processes, in quantum field theories using the AdS/CFT correspondence. On the gravity side, this is dual to dynamical formation of black holes from the collapse of matter fields. By studying the gravitational collapse process in detail, we can then draw conclusions about the dynamical formation of a thermal state in the dual quantum field theory. Using mostly numerical methods, I have studied how confinement affects thermalization in quantum field theories, where the system may never thermalize and field theory observables undergo interesting quasiperiodic behaviour. I have also studied formation of black holes in three dimensions which due to the simplified nature of three-dimensional gravity can be done using analytical methods. This has led to the discovery of new solutions of three-dimensional gravity corresponding to the formation of black holes without spherical symmetry, which can provide a deeper understanding of thermalization in two-dimensional quantum field theories. In a third line of research, I have studied higher spin gravity in three dimensions, an exotic extension of three-dimensional gravity which includes fields with spin higher than two, and we outline a new method to construct black hole solutions carrying higher spin charge.


title: Rigid surfaces arbitrarily close to the Bogomolov--Miyaoka--Yau line

abstract: We prove the existence of rigid compact complex surfaces of general type whose Chern slopes are arbitrarily close to the Bogomolov--Miyaoka--Yau bound of $3$. In addition, each of these surfaces has first Betti number equal to $4$.


title: ExpTime Tableaux for Type PDL

abstract: The system of Type PDL ($\tau$PDL) is an extension of Propositional Dynamic Logic (PDL) and its main goal is to provide a formal basis for reasoning about types of actions (modeled by their preconditions and effects) and agent capabilities. The system has two equivalent interpretations, namely the standard relational semantics and the type semantics, where process terms are interpreted as types, i.e. sets of binary relations. Its satisfiability problem is decidable, as a NExpTime decision procedure was provided based on a filtration argument and it was suggested that the satisfiability problem for $\tau$PDL should be solvable in deterministic, single exponential time. In this paper, we address the problem of the complexity of the satisfiability problem of $\tau$PDL. We present a deterministic tableau-based satisfiability algorithm and prove that it is sound and complete and that it runs in ExpTime. Additionally, the algorithm detects satisfiability as earlier as possible, by restricting or-branching whenever possible.


title: Evaluating the Cross-Lingual Effectiveness of Massively Multilingual Neural Machine Translation

abstract: The recently proposed massively multilingual neural machine translation (NMT) system has been shown to be capable of translating over 100 languages to and from English within a single model. Its improved translation performance on low resource languages hints at potential cross-lingual transfer capability for downstream tasks. In this paper, we evaluate the cross-lingual effectiveness of representations from the encoder of a massively multilingual NMT model on 5 downstream classification and sequence labeling tasks covering a diverse set of over 50 languages. We compare against a strong baseline, multilingual BERT (mBERT), in different cross-lingual transfer learning scenarios and show gains in zero-shot transfer in 4 out of these 5 tasks.


title: Multi-Time Measurements in Hawking Radiation: Information at Higher-Order Correlations

abstract: It is believed that no information can be stored in Hawking radiation, because correlations between quanta of different field modes vanish. However, such correlations have been defined only with reference to a single moment of time. In this article, we develop a method for the evaluation of {\em multi-time} correlations. We find that these correlations are highly non-trivial: for a scalar field in the Schwarzschild black hole, multi-time correlations have an explicit dependence on angular variables and on the scattering history of Hawking quanta. This result leads us to the conjecture that some pre-collapse information can be stored in multi-time correlations after backreaction effects have been incorporated in the physical description.


title: Hierarchically hyperbolic groups and uniform exponential growth

abstract: We give several sufficient conditions for uniform exponential growth in the setting of virtually torsion-free hierarchically hyperbolic groups. For example, any hierarchically hyperbolic group that is also acylindrically hyperbolic has uniform exponential growth. In addition, we provide a quasi-isometric characterization of hierarchically hyperbolic groups without uniform exponential growth. To achieve this, we gain new insights on the structure of certain classes of hierarchically hyperbolic groups. Our methods give a new unified proof of uniform exponential growth for several examples of groups with notions of non-positive curvature. In particular, we obtain the first proof of uniform exponential growth for certain groups that act geometrically on CAT(0) cubical spaces of dimension 3 or more. Under additional hypotheses, we show that a quantitative Tits alternative holds for hierarchically hyperbolic groups.


title: Can A User Anticipate What Her Followers Want?

abstract: Whenever a social media user decides to share a story, she is typically pleased to receive likes, comments, shares, or, more generally, feedback from her followers. As a result, she may feel compelled to use the feedback she receives to (re-)estimate her followers' preferences and decides which stories to share next to receive more (positive) feedback. Under which conditions can she succeed? In this work, we first look into this problem from a theoretical perspective and then provide a set of practical algorithms to identify and characterize such behavior in social media. More specifically, we address the above problem from the viewpoint of sequential decision making and utility maximization. For a wide variety of utility functions, we first show that, to succeed, a user needs to actively trade off exploitation-- sharing stories which lead to more (positive) feedback--and exploration-- sharing stories to learn about her followers' preferences. However, exploration is not necessary if a user utilizes the feedback her followers provide to other users in addition to the feedback she receives. Then, we develop a utility estimation framework for observation data, which relies on statistical hypothesis testing to determine whether a user utilizes the feedback she receives from each of her followers to decide what to post next. Experiments on synthetic data illustrate our theoretical findings and show that our estimation framework is able to accurately recover users' underlying utility functions. Experiments on several real datasets gathered from Twitter and Reddit reveal that up to 82% (43%) of the Twitter (Reddit) users in our datasets do use the feedback they receive to decide what to post next.


title: Skyrmions and spirals in MnSi under hydrostatic pressure

abstract: The archetype cubic chiral magnet MnSi is home to some of the most fascinating states in condensed matter such as skyrmions and a non-Fermi liquid behavior in conjunction with a topological Hall effect under hydrostatic pressure. Using small angle neutron scattering, we study the evolution of the helimagnetic, conical and skyrmionic correlations with increasing hydrostatic pressure. We show that the helical propagation vector smoothly reorients from $\langle 111 \rangle$ to $\langle100\rangle$ at intermediate pressures. At higher pressures, above the critical pressure, the long-range helimagnetic order disappears at zero magnetic field. Nevertheless, skyrmion lattices and conical spirals form under magnetic fields, in a part of the phase diagram where a topological Hall effect and a non-Fermi liquid behavior have been reported. These unexpected results shed light on the puzzling behavior of MnSi at high pressures and the mechanisms that destabilize the helimagnetic long-range order at the critical pressure.


title: Learning Local Forward Models on Unforgiving Games

abstract: This paper examines learning approaches for forward models based on local cell transition functions. We provide a formal definition of local forward models for which we propose two basic learning approaches. Our analysis is based on the game Sokoban, where a wrong action can lead to an unsolvable game state. Therefore, an accurate prediction of an action's resulting state is necessary to avoid this scenario. In contrast to learning the complete state transition function, local forward models allow extracting multiple training examples from a single state transition. In this way, the Hash Set model, as well as the Decision Tree model, quickly learn to predict upcoming state transitions of both the training and the test set. Applying the model using a statistical forward planner showed that the best models can be used to satisfying degree even in cases in which the test levels have not yet been seen. Our evaluation includes an analysis of various local neighbourhood patterns and sizes to test the learners' capabilities in case too few or too many attributes are extracted, of which the latter has shown do degrade the performance of the model learner.


title: Invariant theory and wheeled PROPs

abstract: We study the category of wheeled PROPs using tools from Invariant Theory. A typical example of a wheeled PROP is the mixed tensor algebra ${\mathcal V}=T(V)\otimes T(V^\star)$, where $T(V)$ is the tensor algebra on an $n$-dimensional vector space over a field of $K$ of characteristic 0. First we classify all the ideals of the initial object ${\mathcal{Z}}$ in the category of wheeled PROPs. We show that non-degenerate sub-wheeled PROPs of ${\mathcal V}$ are exactly subalgebras of the form ${\mathcal V}^G$ where $G$ is a closed, reductive subgroup of the general linear group ${\rm GL}(V)$. When $V$ is a finite dimensional Hilbert space, a similar description of invariant tensors for an action of a compact group was given by Schrijver. We also generalize the theorem of Procesi that says that trace rings satisfying the $n$-th Cayley-Hamilton identity can be embedded in an $n \times n$ matrix ring over a commutative algebra $R$. Namely, we prove that a wheeled PROP can be embedded in $R\otimes {\mathcal V}$ for a commutative $K$-algebra $R$ if and only if it satisfies certain relations.


title: A Discriminative Neural Model for Cross-Lingual Word Alignment

abstract: We introduce a novel discriminative word alignment model, which we integrate into a Transformer-based machine translation model. In experiments based on a small number of labeled examples (~1.7K-5K sentences) we evaluate its performance intrinsically on both English-Chinese and English-Arabic alignment, where we achieve major improvements over unsupervised baselines (11-27 F1). We evaluate the model extrinsically on data projection for Chinese NER, showing that our alignments lead to higher performance when used to project NER tags from English to Chinese. Finally, we perform an ablation analysis and an annotation experiment that jointly support the utility and feasibility of future manual alignment elicitation.


title: Manifolds of mappings for continuum mechanics

abstract: This is an overview article. After an introduction to convenient calculus in infinite dimensions, the foundational material for manifolds of mappings is presented. The central character is the smooth convenient manifold $C^{\infty}(M,N)$ of all smooth mappings from a finite dimensional Whitney manifold germ $M$ into a smooth manifold $N$. A Whitney manifold germ is a smooth (in the interior) manifold with a very general boundary, but still admitting a continuous Whitney extension operator. This notion is developed here for the needs of geometric continuum mechanics.


title: Extended Aperture Photometry of K2 RR Lyrae stars

abstract: The \textit{Kepler} space telescope observed thousands of RR Lyrae stars in the K2 mission. In this paper we present our photometric solutions using extended apertures in order to conserve the flux of the stars to the highest possible extent. With this method we are able to avoid most of the problems that RR Lyrae light curves produced by other pipelines suffer from. For post-processing we apply the K2SC pipeline to our light curves. We provide the EAP (Extended Aperture Photometry) of 432 RR Lyrae stars observed in campaigns 3, 4, 5, and 6. We also provide subclass classifications based on Fourier parameters. We investigated in particular the presence of the Blazhko effect in the stars, and found it to be 44.7\% among the RRab stars, in agreement with results from independent samples. We found that the amplitude and phase modulation in the Blazhko stars may behave rather differently, at least over the length of a K2 Campaign. We also identified four anomalous Cepheid candidates in the sample one of which is potentially the first Blazhko-modulated member of its class.


title: The Dirichlet Problem for the $k$-Hessian Equation on a complex manifold

abstract: We solve the Dirichlet problem for $k$-Hessian equations on compact complex manifolds with boundary, given the existence of a subsolution. Our method is based on a second order a priori estimate of the solution on the boundary with a particular gradient scale. The scale allows us to apply a blow-up argument to obtain control on all necessary norms of the solution.


title: Coloring hypergraphs with bounded cardinalities of edge intersections

abstract: The paper deals with an extremal problem concerning colorings of hypergraphs with bounded edge degrees. Consider the family of $b$-simple hypergraphs, in which any two edges do not share more than $b$ common vertices. We prove that for $n\geqslant n_0(b)$, any $n$-uniform $b$-simple hypergraph with the maximum edge degree at most $c\cdot nr^{n-b}$ is $r$-colorable, where $c>0$ is an absolute constant. We also establish some applications of the main result.


title: Thermal state entanglement entropy on a quantum graph

abstract: A particle jumps between the nodes of a graph interacting with local spins. We show that the entanglement entropy of the particle with the spin network is related to the length of the minimum cycle basis. The structure of the thermal state is reminiscent to the string-net of spin liquids.


title: Model-free Visual Control for Continuum Robot Manipulators via Orientation Adaptation

abstract: We present an orientation adaptive controller to compensate for the effects of highly constrained environments on continuum manipulator actuation. A transformation matrix updated using optimal estimation techniques from optical flow measurements captured by the distal camera is composed with any Jacobian estimation or kinematic model to compensate for these effects. By utilizing domain knowledge to define the structure of this matrix, fewer parameters need to be estimated and a stable controller can be guaranteed. The algorithm is tested on a custom robotic catheter and convergence is shown both empirically and theoretically.


title: Recent QCD results from the xFitter project: Probing the strange content of the proton with charm production in charged current at LHeC

abstract: We investigate charm production in charged-current deep-inelastic scattering (DIS) using the xFitter program. xFitter is an open-source software framework for the determination of PDFs and the analysis of QCD physics, and has been used for a variety of LHC studies. The study of charged current DIS charm production provides an important perspective on the strange quark PDF, s(x). We make use of the xFitter tools to study the present s(x) constraints, and then use LHeC pseudodata to infer how these might improve. Furthermore, as xFitter implements both Fixed Flavor and Variable Flavor number schemes, we can examine the impact of these different theoretical choices; this highlights some interesting aspects of multi-scale calculations. This study provides a practical illustration of the many features of xFitter.


title: nCTEQ PDFs at the LHC: Vector boson production in heavy ion collisions

abstract: Extraction of the strange quark PDF is a long-standing puzzle. We use the nCTEQ nPDFs with uncertainties to study the impact of the LHC W/Z production data on both the flavor differentiation and nuclear corrections; this complements the information from neutrino-DIS data. As the proton flavor determination is dependent on nuclear corrections (from heavy target DIS, for example), LHC heavy ion measurements can also help improve proton PDFs. We introduce a new implementation of the nCTEQ code (nCTEQ++) based on C++ which has a modular strucure and enables us to easily integrate programs such as HOPPET, APPLgrid, and MCFM. Using ApplGrids generated from MCFM, we use nCTEQ++ to perform a preliminary fit including the pPb LHC W/Z vector boson data.


title: Topics to Avoid: Demoting Latent Confounds in Text Classification

abstract: Despite impressive performance on many text classification tasks, deep neural networks tend to learn frequent superficial patterns that are specific to the training data and do not always generalize well. In this work, we observe this limitation with respect to the task of native language identification. We find that standard text classifiers which perform well on the test set end up learning topical features which are confounds of the prediction task (e.g., if the input text mentions Sweden, the classifier predicts that the author's native language is Swedish). We propose a method that represents the latent topical confounds and a model which "unlearns" confounding features by predicting both the label of the input text and the confound; but we train the two predictors adversarially in an alternating fashion to learn a text representation that predicts the correct label but is less prone to using information about the confound. We show that this model generalizes better and learns features that are indicative of the writing style rather than the content.


title: How to orient cells in micro-cavities for high resolution imaging of cytokinesis and lumen formation

abstract: Imaging dynamics of cellular morphogenesis with high spatial-temporal resolution in 3D is challenging, due to the low spatial resolution along the optical axis and photo-toxicity. However, some cellular structures are planar and hence 2D imaging should be sufficient, provided that the structure of interest can be oriented with respect to the optical axis of the microscope. Here, we report a 3D microfabrication method which positions and orients cell divisions very close to the microscope coverglass. We use this approach to study cytokinesis in fission yeasts and polarization to lumen formation in mammalian epithelial cells. We show that this method improves spatial resolution on range of common microscopies, including super-resolution STED. Altogether, this method could shed new lights on self-organization phenomena in single cells and 3D cell culture systems.


title: Self-assembly of a dimer system

abstract: In the self-assembly process which drives the formation of cellular membranes, micelles, and capsids, a collection of separated subunits spontaneously binds together to form functional and more ordered structures. In this work, we study the statistical physics of self-assembly in a simpler scenario: the formation of dimers from a system of monomers. The properties of the model allow us to frame the microstate counting as a combinatorial problem whose solution leads to an exact partition function. From the associated equilibrium conditions, we find that such dimer systems come in two types: "search-limited" and "combinatorics-limited", only the former of which has states where partial assembly can be dominated by correct contacts. Using estimates of biophysical quantities in systems of single-stranded DNA dimerization, transcription factor and DNA interactions, and protein-protein interactions, we find that all of these systems appear to be of the search-limited type, i.e., their fully correct dimerization regimes are more limited by the ability of monomers to find one another in the constituent volume than by the combinatorial disadvantage of correct dimers. We derive the parameter requirements for fully correct dimerization and find that rather than the ratio of particle number and volume (number density) being the relevant quantity, it is the product of particle diversity and volume that is constrained. Ultimately, this work contributes to an understanding of self-assembly by using the simple case of a system of dimers to analytically study the combinatorics of assembly.


title: Dynamic principal component regression for forecasting functional time series in a group structure

abstract: When generating social policies and pricing annuity at national and subnational levels, it is essential both to forecast mortality accurately and ensure that forecasts at the subnational level add up to the forecasts at the national level. This has motivated recent developments in forecasting functional time series in a group structure, where static principal component analysis is used. In the presence of moderate to strong temporal dependence, static principal component analysis designed for independent and identically distributed functional data may be inadequate. Thus, through using the dynamic functional principal component analysis, we consider a functional time series forecasting method with static and dynamic principal component regression to forecast each series in a group structure. Through using the regional age-specific mortality rates in Japan obtained from the Japanese Mortality Database (2019), we investigate the point and interval forecast accuracies of our proposed extension, and subsequently make recommendations.


title: Equitable colorings of hypergraphs with few edges

abstract: The paper deals with an extremal problem concerning equitable colorings of uniform hyper\-graph. Recall that a vertex coloring of a hypergraph $H$ is called proper if there are no monochro-matic edges under this coloring. A hypergraph is said to be equitably $r$-colorable if there is a proper coloring with $r$ colors such that the sizes of any two color classes differ by at most one. In the present paper we prove that if the number of edges $|E(H)|\leq 0.01\left(\frac{n}{\ln n}\right)^{\frac {r-1}{r}}r^{n-1}$ then the hypergraph $H$ is equitably $r$-colorable provided $r<\sqrt[5]{\ln n}$.


title: Filtration of cohomology via symmetric semisimplicial spaces

abstract: In the simplicial theory of hypercoverings, we replace the indexing category $\Delta$ by the \emph{symmetric simplicial category} $\Delta S$ and study (a class of) $\Delta S$-hypercoverings, which we call \emph{spaces admitting symmetric (semi)simplicial filtration}. For $\Delta S$-hypercoverings we construct a spectral sequence, somewhat like the \v{C}ech-to-derived category spectral sequence. The advantage of working on $\Delta S$ is that all of the combinatorial complexities that come with working on $\Delta$ are bypassed, giving simpler, unified proof of known results like the computation of (in some cases, stable) singular cohomology (with $\mathbb{Q}$ coefficients) and et al e cohomology (with $\mathbb{Q}_{\ell}$ coefficients) of the moduli space of degree $n$ maps $C\to \mathbb{P}^r$, $C$ a smooth projective curve of genus $g$, of unordered configuration spaces etc. as well as new: that of the moduli space of smooth sections of a fixed $\mathfrak{g}^r_d$ that is $m$-very ample for some $m$.


title: Solutions to kinetic-type evolution equations: beyond the boundary case

abstract: We study the asymptotic behavior as $t \to \infty$ of a time-dependent family $(\mu_t)_{t \geq 0}$ of probability measures on $\mathbb{R}$ solving the kinetic-type evolution equation $\partial_t \mu_t + \mu_t = Q(\mu_t)$ where $Q$ is a smoothing transformation on $\mathbb{R}$. This problem has been investigated earlier, e.g. by Bassetti and Ladelli [Ann. Appl. Probab. 22(5): 1928-1961, 2012] and Bogus, Buraczewski and Marynych [Stochastic Process. Appl. 130(2):677-693, 2020]. Combining the refined analysis of the latter paper, which provides a probabilistic description of the solution $\mu_t$ as the law of a suitable random sum related to a continuous-time branching random walk at time $t$, with recent advances in the analysis of the extremal positions in the branching random walk we are able to solve the remaining case that has been left open until now. In the course of our work, we significantly weaken the assumptions in the literature that guarantee the existence (and uniqueness) of a solution to the evolution equation $\partial_t \mu_t + \mu_t = Q(\mu_t)$.


title: Generalized topological spaces with associating function

abstract: Generalized topological spaces in the sense of Cs\'{a}sz\'{a}r have two main features which distinguish them from typical topologies. First, these families of subsets are not closed under intersections. Second, we allow for the possibility that the whole space is not open. Hence, some points of the universe may be beyond any open set. In this paper we assume that such points are associated with certain open neighbourhoods by means of a special function F. We study various properties of the structures obtained in this way. We introduce the notions of F-interior and F-closure and we discuss issues of convergence and continuity in this new setting.


title: A flexible rheometer design to measure the visco-elastic response of soft solids over a wide range of frequency

abstract: We present a flexible set-up for determining the rheology of visco-elastic materials which is based on the mechanical response of a magnet deposited at the surface of a slab of material and excited electromagnetically. An interferometric measurement of the magnet displacement allows one to reach an excellent accuracy over a wide range of frequency. Except for the magnet, there is no contact between the material under investigation and the apparatus. At low frequency, inertial effects are negligible so that the mechanical response, obtained through a lock-in amplifier, directly gives the material complex modulus. At high frequency, damped waves are emitted and the rheology must be extracted numerically from a theoretical model. To validate the design, the instrument was used to measure the rheology of a test PDMS gel which presents an almost perfect scale free response at high frequency.


title: Magnetic field-dependent low-energy magnon dynamics in $\alpha$-RuCl3

abstract: Revealing the spin excitations of complex quantum magnets is key to developing a minimal model that explains the underlying magnetic correlations in the ground state. We investigate the low-energy magnons in $\alpha$-RuCl$_3$ by combining time-domain terahertz spectroscopy under an external magnetic field and model Hamiltonian calculations. We observe two absorption peaks around 2.0 and 2.4 meV, which we attribute to zone-center spin waves. Using linear spin-wave theory with only nearest-neighbor terms of the exchange couplings, we calculate the antiferromagnetic resonance frequencies and reveal their dependence on an external field applied parallel to the nearest-neighbor Ru-Ru bonds. We find that the magnon behavior in an applied magnetic field can be understood only by including an off-diagonal $\Gamma$ exchange term to the minimal Heisenberg-Kitaev model. Such an anisotropic exchange interaction that manifests itself as a result of strong spin-orbit coupling can naturally account for the observed mixing of the modes at higher fields strengths.


title: Soft wetting and the Shuttleworth effect, at the crossroads between thermodynamics and mechanics

abstract: Extremely compliant elastic materials, such as thin membranes or soft gels, can be deformed when wetted by a liquid drop. It is commonly assumed that the solid capillarity in "soft wetting" can be treated in the same manner as liquid surface tension. However, the physical chemistry of a solid interface is itself affected by any distortion with respect to the elastic reference state. This gives rise to phenomena that have no counterpart in liquids: the mechanical surface stress is different from the excess free energy in surface. Here we point out some striking consequences of this "Shuttleworth effect" in the context of wetting on deformable substrates, such as the appearance of elastic singularities and unconventional capillary forces. We provide a synthesis between different viewpoints on soft wetting (microscopic and macroscopic, mechanics and thermodynamics), and point out key open issues in the field.


title: Lost or found? Discovering data needed for research

abstract: Finding data is a necessary precursor to being able to reuse data, although relatively little large-scale empirical evidence exists about how researchers discover, make sense of and (re)use data for research. This study presents evidence from the largest known survey investigating how researchers discover and use data that they do not create themselves. We examine the data needs and discovery strategies of respondents, propose a typology for data reuse and probe the role of social interactions and literature search in data discovery. We consider how data communities can be conceptualized according to data uses and propose practical applications of our findings for designers of data discovery systems and repositories. Specifically, we consider how to design for a diversity of practices, how communities of use can serve as an entry point for design and the role of metadata in supporting both sensemaking and social interactions.


title: Inner and outer star forming regions over the disks of spiral galaxies. II. A comparative of physical properties and evolutionary stages

abstract: The HII regions are all studied employing the same general prescriptions, despite the possible influence of their environment in their star formation processes. Through the analysis of two samples of 725 inner and 671 outer disk HII region observed spectra, we explore possible systematic differences between their ionising clusters physical properties (metallicity, mass, and age), comparing observations and predictions by photoionisation models. Higher metallicities are confirmed for inner regions, although there are important discrepancies between the diagnostic diagrams. Calibrations based on the N2 index may underestimate inner regions O/H due to the [NII] saturation at solar metallicities. The degeneracy between the age and ionisation parameter affects O/H calibrations based on the O3N2 index. Innermost regions have enhanced N/O ratios, indicating an increase in the slope of the relation between N/O and O/H. Ionisation parameter calibrations based on the [SII]/H{\alpha} ratio are not valid for inner regions due to the bivalued behaviour of this ratio with O/H. Innermost regions have lower [OII]/[OIII] ratios than expected, indicating a possible non-linear relation between u and Z. Ionising and non-ionising populations are present in both inner and outer regions. Inner regions show larger ionising cluster masses that possibly compose star-forming complexes. Outer regions might be affected by stochastic effects. Equivalent widths indicate younger ages for outer regions, but degeneracy between evolution and underlying population effects prevent a quantitative determination. Inner regions have larger angular sizes, lower filling factors, and larger ionised hydrogen masses. The confirmed systematic differences between ionising clusters of inner and outer HII regions condition the validity and range of reliability of O/H and u calibrations commonly applied to the study of HII regions.


title: General COHERENT Constraints on Neutrino Non-Standard Interactions

abstract: We present the results of a systematic study of the constraints on neutrino neutral-current non-standard interactions (NSI) that can be obtained from the analysis of the COHERENT spectral and temporal data. First, we consider the general case in which all the ten relevant neutral-current NSI parameters are considered as free. We show that they are very weakly constrained by the COHERENT data because of possible cancellations between the up and down quark contributions. However, the up-down average parameters are relatively well constrained and the strongest constraints are obtained for an appropriate linear combination of up and down NSI parameters. We also consider the case in which there are only NSI with either up or down quarks, and we show that the LMA-Dark fit of solar neutrino data is excluded at $5.6\sigma$ and $7.2\sigma$ respectively, for NSI with up and down quark. We finally present the tight constraints that can be obtained on each NSI parameter if it is the dominant one, assuming that the effects of the others are negligible.


title: Peeling an elastic film from a soft viscoelastic adhesive: experiments and scaling laws

abstract: The functionality of adhesives relies on their response under the application of a load. Yet, it has remained a challenge to quantitatively relate the macroscopic dynamics of peeling to the dissipative processes inside the adhesive layer. Here we investigate the peeling of a reversible adhesive made of a polymer gel, measuring the relationship between the peeling force, the peeling velocity, and the geometry of the interface at small-scale. Experiments are compared to a theory based on the linear viscoelastic response of the adhesive, augmented with an elastocapillary regularization approach. This theory, fully quantitative in the limit of small surface deformations, demonstrates the emergence of a "wetting" angle at the contact line and exhibits scaling laws for peeling which are in good agreement with the experimental results. Our findings provide a new strategy for design of reversible adhesives, by quantitatively combining wetting, geometry and dissipation.


title: Eigenvalues of Schr\"odinger operators near thresholds: two term approximation

abstract: We consider one dimensional Schr\"{o}dinger operators $H_\lambda=-\frac{d^2}{dx^2}+U+ \lambda V_\lambda$ with nonlinear dependence on the parameter $\lambda$ and study the small $\lambda$ behaviour of eigenvalues. The potentials $U$ and $V_\lambda$ are real-valued bounded functions of compact support. Under some assumptions on $U$ and $V_\lambda$, we prove the existence of a negative eigenvalue that is absorbed at the bottom of the continuous spectrum as $\lambda\to 0$. We also construct two term asymptotic formulas for the threshold eigenvalues.


title: On the Generalized Difference Matrix Domain on Strongly Almost Convergent Double Sequence Spaces

abstract: Most recently, some new double sequence spaces $B(\mathcal{M}_{u})$, $B(\mathcal{C}_{\vartheta})$ where $\vartheta=\{b,bp,r,f,f_0\}$ and $B(\mathcal{L}_{q})$ for $0<q<\infty$ have been introduced as four-dimensional generalized difference matrix $B(r,s,t,u)$ domain on the double sequence spaces $\mathcal{M}_{u}$, $\mathcal{C}_{\vartheta}$ where $\vartheta=\{b,bp,r,f,f_0\}$ and $\mathcal{L}_{q}$ for $0<q<\infty$, and some topological properties, dual spaces, some new four-dimensional matrix classes and matrix transformations related to these spaces have also been studied by Tu\u{g} and Ba\c{s}ar and Tu\u{g} (see \cite{OT,OT2,Orhan,Orhan 2}). In this present paper, we introduce new strongly almost null and strongly almost convergent double sequence spaces $B[\mathcal{C}_f]$ and $B[\mathcal{C}_{f_0}]$ as domain of four-dimensional generalized difference matrix $B(r,s,t,u)$ in the spaces $[\mathcal{C}_f]$ and $[\mathcal{C}_{f_0}]$, respectively. Firstly, we prove that the new double sequence spaces $B[\mathcal{C}_f]$ and $B[\mathcal{C}_{f_0}]$ are Banach spaces with its norm. Then, we give some inclusion relations including newly defined strongly almost convergent double sequence spaces. Moreover, we calculate the $\alpha-$dual, $\beta(bp)-$dual and $\gamma-$dual of the space $B[\mathcal{C}_f]$. Finally, we characterize new four-dimensional matrix classes $([\mathcal{C}_{f}];\mathcal{C}_{f})$, $([\mathcal{C}_{f}];\mathcal{M}_{u})$, $(B[\mathcal{C}_{f}];\mathcal{C}_{f})$, $(B[\mathcal{C}_{f}];\mathcal{M}_{u})$ and we complete this work with some significant results.


title: Accelerating ADMM for Efficient Simulation and Optimization

abstract: The alternating direction method of multipliers (ADMM) is a popular approach for solving optimization problems that are potentially non-smooth and with hard constraints. It has been applied to various computer graphics applications, including physical simulation, geometry processing, and image processing. However, ADMM can take a long time to converge to a solution of high accuracy. Moreover, many computer graphics tasks involve non-convex optimization, and there is often no convergence guarantee for ADMM on such problems since it was originally designed for convex optimization. In this paper, we propose a method to speed up ADMM using Anderson acceleration, an established technique for accelerating fixed-point iterations. We show that in the general case, ADMM is a fixed-point iteration of the second primal variable and the dual variable, and Anderson acceleration can be directly applied. Additionally, when the problem has a separable target function and satisfies certain conditions, ADMM becomes a fixed-point iteration of only one variable, which further reduces the computational overhead of Anderson acceleration. Moreover, we analyze a particular non-convex problem structure that is common in computer graphics, and prove the convergence of ADMM on such problems under mild assumptions. We apply our acceleration technique on a variety of optimization problems in computer graphics, with notable improvement on their convergence speed.


title: Volume explored by a branching random walk on general graphs

abstract: Branching processes are used to model diverse social and physical scenarios, from extinction of family names to nuclear fission. However, for a better description of natural phenomena, such as viral epidemics in cellular tissues, animal populations and social networks, a spatial embedding---the branching random walk (BRW)---is required. Despite its wide range of applications, the properties of the volume explored by the BRW so far remained elusive, with exact results limited to one dimension. Here we present analytical results, supported by numerical simulations, on the scaling of the volume explored by a BRW in the critical regime, the onset of epidemics, in general environments. Our results characterise the spreading dynamics on regular lattices and general graphs, such as fractals, random trees and scale-free networks, revealing the direct relation between the graphs' dimensionality and the rate of propagation of the viral process. Furthermore, we use the BRW to determine the spectral properties of real social and metabolic networks, where we observe that a lack of information of the network structure can lead to differences in the observed behaviour of the spreading process. Our results provide observables of broad interest for the characterisation of real world lattices, tissues, and networks.


title: Latent Space Modelling of Hypergraph Data

abstract: The increasing prevalence of relational data describing interactions among a target population has motivated a wide literature on statistical network analysis. In many applications, interactions may involve more than two members of the population and this data is more appropriately represented by a hypergraph. In this paper, we present a model for hypergraph data which extends the well established latent space approach for graphs and, by drawing a connection to constructs from computational topology, we develop a model whose likelihood is inexpensive to compute. A delayed-acceptance MCMC scheme is proposed to obtain posterior samples and we rely on Bookstein coordinates to remove the identifiability issues associated with the latent representation. We theoretically examine the degree distribution of hypergraphs generated under our framework and, through simulation, we investigate the flexibility of our model and consider estimation of predictive distributions. Finally, we explore the application of our model to two real-world datasets.


title: Mixed configurations of tensor-multi-scalar solitons and neutron stars

abstract: In the present paper we consider special classes of massive tensor-multi-scalar theories of gravity whose target space metric admits Killing field(s) with a periodic flow. For such tensor-multi-scalar theories we show that there exist mixed configurations of tenor-multi-scalar solitons and relativistic (neutron) stars. The influence of the curvature of the target space on the structure of the mixed configurations is studied for two explicit scalar-tensor theories. The stability of the obtained compact objects is examined and it turns out that the stability region spans to larger central energy densities and central values of the scalar field compared to the pure neutron stars or the pure tensor-multi-scalar solitons.


title: Central limit theorems for discretized occupation time functionals

abstract: The approximation of integral type functionals is studied for discrete observations of a continuous It\^o semimartingale. Based on novel approximations in the Fourier domain, central limit theorems are proved for $L^2$-Sobolev functions with fractional smoothness. An explicit $L^2$-lower bound shows that already lower order quadrature rules, such as the trapezoidal rule and the classical Riemann estimator, are rate optimal, but only the trapezoidal rule is efficient, achieving the minimal asymptotic variance.


title: Visual Deprojection: Probabilistic Recovery of Collapsed Dimensions

abstract: We introduce visual deprojection: the task of recovering an image or video that has been collapsed along a dimension. Projections arise in various contexts, such as long-exposure photography, where a dynamic scene is collapsed in time to produce a motion-blurred image, and corner cameras, where reflected light from a scene is collapsed along a spatial dimension because of an edge occluder to yield a 1D video. Deprojection is ill-posed-- often there are many plausible solutions for a given input. We first propose a probabilistic model capturing the ambiguity of the task. We then present a variational inference strategy using convolutional neural networks as functional approximators. Sampling from the inference network at test time yields plausible candidates from the distribution of original signals that are consistent with a given input projection. We evaluate the method on several datasets for both spatial and temporal deprojection tasks. We first demonstrate the method can recover human gait videos and face images from spatial projections, and then show that it can recover videos of moving digits from dramatically motion-blurred images obtained via temporal projection.


title: Looking for fast optical bursts from FRB121102: case study for a small telescopes with sub-second temporal resolution

abstract: To assess the potential of a small telescopes for a high temporal resolution astrophysics, we observed the field of FRB~121102 repeating source of fast radio bursts on a 50-cm D50 telescope of Ond\v{r}ejov observatory, equipped with a fast frame rate EMCCD detector. In a three nights of observations we did not detect any optical flares from the source, which allows us to place an upper limit of 10 mJy for a brightness of possible fast optical events on a time scale of 10 ms. We also characterize the apparent brightness stability of a field stars on the same time scale in order to investigate the potential of such telescopes for detecting faint optical variability on a sub-second time scales.


title: Differential invariants for a class of diffusion equations

abstract: We find the complete equivalence group of a class of (1+1)-dimensional second-order evolution equations, which is infinite-dimensional. The equivariant moving frame methodology is invoked to construct, in the regular case of the normalization procedure, a moving frame for a group related to the equivalence group in the context of equivalence transformations among equations of the class under consideration. Using the moving frame constructed, we describe the algebra of differential invariants of the former group by obtaining a minimum generating set of differential invariants and a complete set of independent operators of invariant differentiation.


title: Efficient Resource Allocation for Relay-Assisted Computation Offloading in Mobile Edge Computing

abstract: In this article, we consider the problem of relay assisted computation offloading (RACO), in which user A aims to share the results of computational tasks with another user B through wireless exchange over a relay platform equipped with mobile edge computing capabilities, referred to as a mobile edge relay server (MERS). To support the computation offloading, we propose a hybrid relaying (HR) approach employing two orthogonal frequency bands, where the amplify-and-forward scheme is used in one band to exchange computational results, while the decode-and-forward scheme is used in the other band to transfer the unprocessed tasks. The motivation behind the proposed HR scheme for RACO is to adapt the allocation of computing and communication resources both to dynamic user requirements and to diverse computational tasks. Within this framework, we seek to minimize the weighted sum of the execution delay and the energy consumption in the RACO system by jointly optimizing the computation offloading ratio, the bandwidth allocation, the processor speeds, as well as the transmit power levels of both user $A$ and the MERS, under practical constraints on the available computing and communication resources. The resultant problem is formulated as a non-differentiable and nonconvex optimization program with highly coupled constraints. By adopting a series of transformations and introducing auxiliary variables, we first convert this problem into a more tractable yet equivalent form. We then develop an efficient iterative algorithm for its solution based on the concave-convex procedure. By exploiting the special structure of this problem, we also propose a simplified algorithm based on the inexact block coordinate descent method, with reduced computational complexity. Finally, we present numerical results that illustrate the advantages of the proposed algorithms over state-of-the-art benchmark schemes.


title: Crossover between standard and inverse spin-valve effect in atomically thin superconductor/half-metal structures

abstract: Spin-singlet Cooper pairs consisting of two electrons with opposite spins cannot directly penetrate from a superconductor to a half-metal (fully spin polarized ferromagnets) which blocks the superconducting proximity effect between these materials. In this paper we demonstrate that, nevertheless, two half-metallic layers electrically coupled to the superconducting film substantially affect its critical temperature and produce the spin valve effect. Within the tight-binding model for the atomically thin multilayered spin valves we show that depending on the details of the electron energy spectra in half-metals the critical temperature as a function of the angle between the spin quantization axes in half-metals can be either monotonically increasing or decreasing. This finding highlights the crucial role of the band structure details in the proximity effect with half-metals which cannot be adequately treated in the quasiclassical theories.


title: Proofs by example

abstract: We study the proof scheme "proof by example" in which a general statement can be proved by verifying it for a single example. This strategy can indeed work if the statement in question is an algebraic identity and the example is "generic". This article addresses the problem of constructing a practical example, which is sufficiently generic, for which the statement can be verified efficiently, and which even allows for a numerical margin of error. Our method is based on diophantine geometry, in particular an arithmetic B\'ezout theorem, an arithmetic Nullstellensatz, and a new effective Liouville-Lojasiewicz type inequality for algebraic varieties. As an application we discuss theorems from plane geometry and how to prove them by example.


title: Effect of aging on the non-linear elasticity and memory formation in materials

abstract: Disordered solids often change their elastic response as they slowly age. Using experiments and simulations, we study how aging disordered planar networks under an applied stress affects their nonlinear elastic response. We are able to modify dramatically the elastic properties of our systems in the non-linear regime. Using simulations, we study two models for the microscopic evolution of properties of such a material; the first considers changes in the material strength while the second considers distortions in the microscopic geometry. Both models capture different aspects of the experiments including the encoding of memories of the aging history of the system and the dramatic effects on the material's nonlinear elastic properties. Our results demonstrate how aging can be used to create complex elastic behavior in the nonlinear regime.


title: A Semi-Automated Usability Evaluation Framework for Interactive Image Segmentation Systems

abstract: For complex segmentation tasks, the achievable accuracy of fully automated systems is inherently limited. Specifically, when a precise segmentation result is desired for a small amount of given data sets, semi-automatic methods exhibit a clear benefit for the user. The optimization of human computer interaction (HCI) is an essential part of interactive image segmentation. Nevertheless, publications introducing novel interactive segmentation systems (ISS) often lack an objective comparison of HCI aspects. It is demonstrated, that even when the underlying segmentation algorithm is the same throughout interactive prototypes, their user experience may vary substantially. As a result, users prefer simple interfaces as well as a considerable degree of freedom to control each iterative step of the segmentation. In this article, an objective method for the comparison of ISS is proposed, based on extensive user studies. A summative qualitative content analysis is conducted via abstraction of visual and verbal feedback given by the participants. A direct assessment of the segmentation system is executed by the users via the system usability scale (SUS) and AttrakDiff-2 questionnaires. Furthermore, an approximation of the findings regarding usability aspects in those studies is introduced, conducted solely from the system-measurable user actions during their usage of interactive segmentation prototypes. The prediction of all questionnaire results has an average relative error of 8.9%, which is close to the expected precision of the questionnaire results themselves. This automated evaluation scheme may significantly reduce the resources necessary to investigate each variation of a prototype's user interface (UI) features and segmentation methodologies.


title: Optical detection of the black widow binary PSR J2052+1219

abstract: We present optical time-resolved multi-band photometry of the black widow binary millisecond pulsar J2052+1219 using direct-imaging observations with the 2.1m telescope of Observatorio Astronomico Nacional San Pedro Martir, Mexico (OAN-SPM). The observations revealed a variable optical source whose position and periodicity P = 2.752h coincide with the pulsar coordinates and the orbital period obtained from radio timing. This allowed us to identify it with the binary companion of the pulsar. We reproduce light curves of the source modelling the companion heating by the pulsar and accounting for the system parameters obtained from the radio data. As a result, we independently estimate the distance to the system of 3.94(16) kpc, which agrees with the dispersion measure distance. The companion star size is 0.12-0.15 Rsun, close to filling its Roche lobe. It has a surface temperature difference of about 3000 K between the side facing the pulsar and the back side. We summarise characteristics of all black widow systems studied in the optical and compare them with the PSR J2052+1219 parameters derived from our observations.


title: Modeling and simulation of large-scale Systems: a systematic comparison of modeling paradigms

abstract: A trend across most areas where simulation-driven development is used is the ever increasing size and complexity of the systems under consideration, pushing established methods of modeling and simulation towards their limits. This paper complements existing surveys on large-scale modeling and simulation of physical systems by conducting expert surveys. We conducted a two-stage empirical survey in order to investigate research needs, current challenges as well as promising modeling and simulation paradigms. Furthermore, we applied the analytic hierarchy process method to prioritise the strengths and weakness of different modeling paradigms. The results of this study show that experts consider acausal modeling techniques to be suitable for modeling large scale systems, while causal techniques are considered less suitable.


title: Nucleon axial, tensor and scalar charges and $\sigma$-terms in lattice QCD

abstract: We determine the nucleon axial, scalar and tensor charges within lattice Quantum Chromodynamics including all contributions from valence and sea quarks. We analyze three gauge ensembles simulated within the twisted mass formulation at approximately physical value of the pion mass. Two of these ensembles are simulated with two dynamical light quarks and lattice spacing $a=0.094$~fm and the third with $a=0.08$~fm includes in addition the strange and charm quarks in the sea. After comparing the results among these three ensembles, we quote as final values our most accurate analysis using the latter ensemble. For the nucleon isovector axial charge we find $1.286(23)$ in agreement with the experimental value. We provide the flavor decomposition of the intrinsic spin $\frac{1}{2}\Delta\Sigma^q$ carried by quarks in the nucleon obtaining for the up, down, strange and charm quarks $\frac{1}{2}\Delta\Sigma^{u}=0.431(8)$, $\frac{1}{2}\Delta\Sigma^{d}=-0.212(8)$, $\frac{1}{2}\Delta\Sigma^{s}=-0.023(4)$ and $\frac{1}{2}\Delta\Sigma^{c}=-0.005(2)$, respectively. The corresponding values of the tensor and scalar charges for each quark flavor are also evaluated providing valuable input for experimental searches for beyond the standard model physics. In addition, we extract the nucleon $\sigma$-terms and find for the light quark content $\sigma_{\pi N}=41.6(3.8)$~MeV and for the strange $\sigma_{s}=45.6(6.2)$~MeV. The y-parameter that is used in phenomenological studies we find $y=0.078(7)$.


title: Measurement of $\Lambda$(1520) production in pp collisions at $\sqrt{s}$ = 7 TeV and p-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV

abstract: The production of the $\Lambda$(1520) baryonic resonance has been measured at midrapidity in inelastic pp collisions at $\sqrt{s}$ = 7 TeV and in p-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV for non-single diffractive events and in multiplicity classes. The resonance is reconstructed through its hadronic decay channel $\Lambda$(1520) $\rightarrow$ pK$^{-}$ and the charge conjugate with the ALICE detector. The integrated yields and mean transverse momenta are calculated from the measured transverse momentum distributions in pp and p-Pb collisions. The mean transverse momenta follow mass ordering as previously observed for other hyperons in the same collision systems. A Blast-Wave function constrained by other light hadrons ($\pi$, K, K$_{\rm{S}}^0$, p, $\Lambda$) describes the shape of the $\Lambda$(1520) transverse momentum distribution up to 3.5 GeV/$c$ in p-Pb collisions. In the framework of this model, this observation suggests that the $\Lambda(1520)$ resonance participates in the same collective radial flow as other light hadrons. The ratio of the yield of $\Lambda(1520)$ to the yield of the ground state particle $\Lambda$ remains constant as a function of charged-particle multiplicity, suggesting that there is no net effect of the hadronic phase in p-Pb collisions on the $\Lambda$(1520) yield.


title: Finite generation for Hochschild cohomology of Gorenstein monomial algebras

abstract: We show that a finite dimensional monomial algebra satisfies the finite generation conditions of Snashall-Solberg for Hochschild cohomology if and only if it is Gorenstein. This gives, in the case of monomial algebras, the converse to a theorem of Erdmann-Holloway-Snashall-Solberg-Taillefer. We also give a necessary and sufficient combinatorial criterion for finite generation.


title: Bound Dark Matter (BDM) towards solving the Small Scale Structure Problem

abstract: Cosmological observations such as structure formation, CMB, and cosmic distance ladder set tight constraints to the amount and nature of dark matter (DM). In particular structure formation strongly constraints not only the amount of energy density, but also the time when DM became non-relativistic, anr. Standard cold and thermic warm DM particles have a smooth transition from being relativistic at high energies to a non-relativistic regime since the mass of these particles is constant while the velocity redshifts with the expansion of the universe. However, here we explore the possibility that the DM particle acquires a non-perturbative mass at a phase transition scale and a scale factor ac. This transition acquired a more fundamental meaning for the Bound Dark Matter (BDM) model because they describe a particle getting its mass through a non-perturbative process. These BDM particles may go from being relativistic to non-relativistic at ac, which implies an abrupt transition of the velocity of the particles vc at that time, affecting the equation of state and the cosmological evolution. Here we study the cosmological impact of the values of vc and the scale transition ac and they by reducing the free-streaming scale and therefore the small scale structure. Using CMB Plank, Supernovae SNIa, and BAO data, we constrain the valid region in the parameter space ac-vc putting upper bounds to ac but not restricting vc. For instance, the transition must be ac<$2.66\times10^{-6}$ for vc = 0. We also find that the free-streaming and the Jeans mass of the dark matter particle is highly influenced by the velocity vc, for example, a 3 keV WDM have a Jeans mass of Mfs=$1.97\times10^7$ Msun/h^3 but an equivalent BDM with the same anr but an abrupt transition in the velocity, vc~0 would have a Jeans mass of Mfs=$2.08x10^4$ Msun/h^3 which significantly changes the large scale structure formation.


title: An Efficient Convolutional Neural Network for Coronary Heart Disease Prediction

abstract: This study proposes an efficient neural network with convolutional layers to classify significantly class-imbalanced clinical data. The data are curated from the National Health and Nutritional Examination Survey (NHANES) with the goal of predicting the occurrence of Coronary Heart Disease (CHD). While the majority of the existing machine learning models that have been used on this class of data are vulnerable to class imbalance even after the adjustment of class-specific weights, our simple two-layer CNN exhibits resilience to the imbalance with fair harmony in class-specific performance. In order to obtain significant improvement in classification accuracy under supervised learning settings, it is a common practice to train a neural network architecture with a massive data and thereafter, test the resulting network on a comparatively smaller amount of data. However, given a highly imbalanced dataset, it is often challenging to achieve a high class 1 (true CHD prediction rate) accuracy as the testing data size increases. We adopt a two-step approach: first, we employ least absolute shrinkage and selection operator (LASSO) based feature weight assessment followed by majority-voting based identification of important features. Next, the important features are homogenized by using a fully connected layer, a crucial step before passing the output of the layer to successive convolutional stages. We also propose a training routine per epoch, akin to a simulated annealing process, to boost the classification accuracy. Despite a 35:1 (Non-CHD:CHD) ratio in the NHANES dataset, the investigation confirms that our proposed CNN architecture has the classification power of 77% to correctly classify the presence of CHD and 81.8% the absence of CHD cases on a testing data, which is 85.70% of the total dataset. ( (<1920 characters)Please check the paper for full abstract)


title: The Role of the $t{\bar t}h$ Rest Frame in Direct Top-Quark Yukawa Coupling Measurements

abstract: This paper studies new possibilities to directly measure a hypothetical $CP$-odd (pseudoscalar) component in the top-quark Yukawa coupling. In particular, the role of the $t{\bar t} h$ center-of-mass rest frame in the associated production of a top pair and a $h$ boson at the LHC is explored. The $h$ boson is assumed to have both a $CP$-even (scalar) and a $CP$-odd coupling to the top quark. The relative strength of the scalar and pseudoscalar components is regulated by an angle $\alpha$. Observables sensitive to the nature of the top-quark Yukawa coupling are proposed. These observables are defined in terms of the transverse and longitudinal projections of $t$, $\bar{t}$ and $h$ momenta with respect to the beam axis in the $t{\bar t} h$ rest frame. Distributions differential with respect to those observables are evaluated up to NLO in QCD. These distributions are found to be sensitive to the $CP$ nature of the coupling. Dileptonic final states of the $t{\bar t} h$ system (with $h\rightarrow b\bar b$) are used, after fast DELPHES detector simulation and full event reconstruction through a kinematic fit, as a case study to test the observables' sensitivity to the $CP$ nature of the coupling. Confidence levels are presented as a function of the total integrated LHC luminosity for the case of exclusion of a pure $CP$-odd coupling against the Standard Model $CP$-even hypothesis. By using observables evaluated in the $t{\bar t} h$ system, the luminosity needed to directly probe the $CP$ properties of the top-quark Yukawa coupling at the High-Luminosity run of the LHC can be decreased by a few hundred inverse femtobarns, when compared to analyses that use observables in the laboratory rest frame. In addition, transverse momentum distributions of the $h$ boson and top quarks are found to provide no more discriminant power than a counting experiment.


title: A least-squares Galerkin approach to gradient and Hessian recovery for nondivergence-form elliptic equations

abstract: We propose a least-squares method involving the recovery of the gradient and possibly the Hessian for elliptic equation in nondivergence form. As our approach is based on the Lax--Milgram theorem with the curl-free constraint built into the target (or cost) functional, the discrete spaces require no inf-sup stabilization. We show that standard conforming finite elements can be used yielding apriori and aposteriori convergnece results. We illustrate our findings with numerical experiments with uniform or adaptive mesh refinement.


title: Classification of nonnegative solutions to static Schr\"{o}dinger-Hartree-Maxwell type equations

abstract: In this paper, we are mainly concerned with the physically interesting static Schr\"{o}dinger-Hartree-Maxwell type equations \begin{equation*} (-\Delta)^{s}u(x)=\left(\frac{1}{|x|^{\sigma}}\ast |u|^{p}\right)u^{q}(x) \,\,\,\,\,\,\,\,\,\,\,\, \text{in} \,\,\, \mathbb{R}^{n} \end{equation*} involving higher-order or higher-order fractional Laplacians, where $n\geq1$, $0<s:=m+\frac{\alpha}{2}<\frac{n}{2}$, $m\geq0$ is an integer, $0<\alpha\leq2$, $0<\sigma<n$, $0<p\leq\frac{2n-\sigma}{n-2s}$ and $0<q\leq\frac{n+2s-\sigma}{n-2s}$. We first prove the super poly-harmonic properties of nonnegative classical solutions to the above PDEs, then show the equivalence between the PDEs and the following integral equations \begin{equation*} u(x)=\int_{\mathbb{R}^n}\frac{R_{2s,n}}{|x-y|^{n-2s}}\left(\int_{\mathbb{R}^{n}}\frac{1}{|y-z|^{\sigma}}u^p(z)dz\right)u^{q}(y)dy. \end{equation*} Finally, we classify all nonnegative solutions to the integral equations via the method of moving spheres in integral form. As a consequence, we obtain the classification results of nonnegative classical solutions for the PDEs. Our results completely improved the classification results in \cite{CD,DFQ,DL,DQ,Liu}. In critical and super-critical order cases (i.e., $\frac{n}{2}\leq s:=m+\frac{\alpha}{2}<+\infty$), we also derive Liouville type theorem.


title: COMA: Communication and Obfuscation Management Architecture

abstract: In this paper, we introduce a novel Communication and Obfuscation Management Architecture (COMA) to handle the storage of the obfuscation key and to secure the communication to/from untrusted yet obfuscated circuits. COMA addresses three challenges related to the obfuscated circuits: First, it removes the need for the storage of the obfuscation unlock key at the untrusted chip. Second, it implements a mechanism by which the key sent for unlocking an obfuscated circuit changes after each activation (even for the same device), transforming the key into a dynamically changing license. Third, it protects the communication to/from the COMA protected device and additionally introduces two novel mechanisms for the exchange of data to/from COMA protected architectures: (1) a highly secure but slow double encryption, which is used for exchange of key and sensitive data (2) a high-performance and low-energy yet leaky encryption, secured by means of frequent key renewal. We demonstrate that compared to state-of-the-art key management architectures, COMA reduces the area overhead by 14%, while allowing additional features including unique chip authentication, enabling activation as a service (for IoT devices), reducing the side channel threats on key management architecture, and providing two new means of secure communication to/from an untrusted chip.


title: Electromagnetic Emission post Spinning Black Hole-Magnetized Neutron Star Mergers

abstract: For a binary composed of a spinning black hole (BH) (with mass $\gtrsim 7M_\odot$) and a strongly magnetized neutron star (NS) (with surface magnetic field strength $B_{\rm S,NS}\gtrsim10^{12}$\,G and mass $\sim 1.4M_\odot$), the NS as a whole will possibly eventually plunge into the BH. During the inspiral phase, the spinning BH could be charged to the Wald charge quantity $Q_{\rm W}$ until merger in an electro-vacuum approximation. During the merger, if the spinning charged BH creates its own magnetosphere due to an electric field strong enough for pair cascades to spark, the charged BH would transit from electro-vacuum to force-free cases and could discharge in a time $\gtrsim1~{\rm ms}$. As the force-free magnetosphere is full of a highly conducting plasma, the magnetic flux over the NS's caps would be retained outside the BH's event horizon under the frozen-in condition. Based on this scenario, we here investigate three possible energy-dissipation mechanisms that could produce electromagnetic (EM) counterparts in a time interval of the BH's discharge post a BH-NS merger-induced gravitational wave event: (1) magnetic reconnection at the BH's poles would occur, leading to a millisecond bright EM signal, (2) a magnetic shock in the zone of closed magnetic field lines due to the detachment and reconnection of the entire BH magnetic field would probably produce a bright radio emission, e.g., a fast radio burst, and (3) the Blandford-Znajek mechanism would extract the BH's rotational energy, giving rise to a millisecond-duration luminous high-energy burst. We also calculate the luminosities due to these mechanisms as a function of BH's spin for different values of $B_{\rm S,NS}$.


title: Fourier analysis of periodic Radon transforms

abstract: We study reconstruction of an unknown function from its $d$-plane Radon transform on the flat $n$-torus when $1 \leq d \leq n-1$. We prove new reconstruction formulas and stability results with respect to weighted Bessel potential norms. We solve the associated Tikhonov minimization problem on $H^s$ Sobolev spaces using the properties of the adjoint and normal operators. One of the inversion formulas implies that a compactly supported distribution on the plane with zero average is a weighted sum of its X-ray data.


title: Quasi-squares of pseudocontinuable functions

abstract: For an inner function $\theta$ on the unit disk, let $K^p_\theta:=H^p\cap\theta\overline{H^p_0}$ be the associated star-invariant subspace of the Hardy space $H^p$. While the squaring operation $f\mapsto f^2$ maps $H^p$ into $H^{p/2}$, one cannot expect the square $f^2$ of a function $f\in K^p_\theta$ to lie in $K^{p/2}_\theta$. (Suffice it to note that if $f$ is a polynomial of degree $n$, then $f^2$ has degree $2n$ rather than $n$.) However, we come up with a certain "quasi-squaring" procedure that does not have this defect. As an application, we prove an extrapolation theorem for a class of sublinear operators acting on $K^p_\theta$ spaces.


title: Computing invariants of cubic surfaces

abstract: We report on the computation of invariants, covariants, and contravariants of cubic surfaces. All algorithms are implemented in the computer algebra system magma.


title: A Liouville property for eternal solutions to a supercritical semilinear heat equation

abstract: We are concerned with solutions to the nonlinear heat equation $u_t=\Delta u+|u|^{p-1}u$, $x\in \mathbb{R}^N$, that are defined for all positive and negative time. If the exponent $p$ is greater or equal to the Joseph-Lundgren exponent $p_c$ and $|u|$ stays below some positive radially symmetric steady state, under a mild condition on the behaviour of $u$ as $|x|\to \infty$, we show that $u$ is independent of time. Our method of proof uses Serrin's sweeping principle, based on the strong maximum principle, applied to the linearized equation for $u_t$. Our result covers that of Pol\'{a}\v{c}ik and Yanagida [JDE (2005)] who had further assumed that the solution stays above some positive radial steady state and $p>p_c$. In contrast, they relied on the use of similarity variables and invariant manifold ideas. Remarkably, to the best of our knowledge, a corresponding Liouville property was previously missing for $p =p_c$. We emphasize that such Liouville type theorems imply the quasiconvergence of a class of solutions to the corresponding Cauchy problem. As our viewpoint originates from the study of elliptic problems, we can prove new rigidity results for the corresponding steady state problem that are motivated by the aforementioned ones for the parabolic flow.


title: Microscopic imaging of non-repetitive dynamic scenes at 5 THz frame rates by time and spatial frequency multiplexing

abstract: Femtosecond-scale ultrafast imaging is an essential tool for visualizing ultrafast dynamics in molecular biology, physical chemistry, atomic physics, and fluid dynamics. Pump-probe imaging and a streak camera are the most widely used techniques, but they are either demanding the repetitions of the same scene or sacrificing the number of imaging dimensions. Many interesting single-shot ultrafast imaging techniques have been developed in recent years for recording non-repetitive dynamic scenes. Nevertheless, there are still weaknesses in the number of frames, the number of image pixels, or spatial/temporal resolution. Here, we present a single-shot ultrafast microscopy that can capture more than a dozen frames at a time with the frame rate of 5 THz. We combine a spatial light modulator and a custom-made echelon for efficiently generating a large number of reference pulses with designed time delays and propagation angles. The single-shot recording of the interference image between these reference pulses with a sample pulse allows us to retrieve the stroboscopic images of the dynamic scene at the timing of the reference pulses. We demonstrated the recording of 14 temporal snapshots at a time, which is the largest to date, with the optimal temporal resolution set by the laser output pulse. Our ultrafast microscopy is highly scalable in the number of frames and temporal resolutions, and this will have profound impacts on uncovering the interesting spatio-temporal dynamics yet to be explored.


title: Minimal Geometric Deformation in a Reissner-Nordstr\"om background

abstract: This article is devoted to the study of new exact analytical solutions in the background of Reissner-Nordstr\"{o}m space-time by using gravitational decoupling via minimal geometric deformation approach. To do so, we impose the most general equation of state, relating the components of the $\theta$-sector in order to obtain the new material contributions and the decoupler function $f(r)$. Besides, we obtain the bounds on the free parameters of the extended solution to avoid new singularities. Furthermore, we show the finitude of all thermodynamic parameters of the solution such as the effective density $\tilde{\rho}$, radial $\tilde{p}_{r}$ and tangential $\tilde{p}_{t}$ pressure for different values of parameter $\alpha$ and the total electric charge $Q$. Finally, the behavior of some scalar invariants, namely the Ricci $R$ and Kretshmann $R_{\mu\nu\omega\epsilon}R^{\mu\nu\omega\epsilon}$ scalars are analyzed. It is also remarkable that, after an appropriate limit, the deformed Schwarzschild black hole solution always can be recovered.


title: Suzaku Observation of Diffuse X-Ray Emission from a Southwest Region of the Carina Nebula

abstract: A southwest region of the Carina nebula was observed with the Suzaku observatory for 47 ks in 2010 December. This region shows distinctively soft X-ray emission in the Chandra campaign observations. Suzaku clearly detects the diffuse emission above known foreground and background components between 0.4-5 keV at the surface brightness of 3.3x10^-14 erg s^{-1} arcmin^{-2}. The spectrum requires two plasma emission components with kT~0.2 and 0.5 keV, which suffer interstellar absorption of N_H~1.9x10^{21} cm^{-2}. Multiple absorption models assuming two temperature plasmas at ionization equilibrium or non-equilibrium are tested but there is no significant difference in terms of chi^2/d.o.f.. These plasma temperatures are similar to those of the central and eastern parts of the Carina nebula measured in earlier Suzaku observations, but the surface brightness of the hot component is significantly lower than those of the other regions. This means that these two plasma components are physically separated and have different origins. The elemental abundances of O, Ne and Mg with respect to Fe favor that the diffuse plasma originates from core-collapsed supernovae or massive stellar winds.


title: An Empirical Study of Incorporating Pseudo Data into Grammatical Error Correction

abstract: The incorporation of pseudo data in the training of grammatical error correction models has been one of the main factors in improving the performance of such models. However, consensus is lacking on experimental configurations, namely, choosing how the pseudo data should be generated or used. In this study, these choices are investigated through extensive experiments, and state-of-the-art performance is achieved on the CoNLL-2014 test set ($F_{0.5}=65.0$) and the official test set of the BEA-2019 shared task ($F_{0.5}=70.2$) without making any modifications to the model architecture.


title: Electronic structure of interstitial hydrogen in In-Ga-Zn-O semiconductor simulated by muon

abstract: We report on the local electronic structure of interstitial muon (Mu) as pseudo-hydrogen in In-Ga-Zn oxide (IGZO) semiconductor studied by muon spin rotation/relaxation ($\mu$SR) experiment. In polycrystalline (c-) IGZO, it is inferred that Mu is in a diamagnetic state, where the $\mu$SR time spectra under zero external field is perfectly described by the Gaussian Kubo-Toyabe relaxation function with the linewidth $\Delta$ serving as a sensitive measure for the random local fields from In/Ga nuclear magnetic moments. The magnitude of $\Delta$ combined with the density functional theory calculations for H (to mimic Mu) suggests that Mu occupies Zn-O bond-center site (Mu$_{\rm BC}$) similar to the case in crystalline ZnO. This implies that the diamagnetic state in c-IGZO corresponds to Mu$_{\rm BC}^+$, thus serving as an electron donor. In amorphous (a-) IGZO, the local Mu structure in as-deposited films is nearly identical with that in c-IGZO, suggesting Mu$_{\rm BC}^+$ for the electronic state. In contrast, the diamagnetic signal in heavily hydrogenated a-IGZO films exhibits the Lorentzian Kubo-Toyabe relaxation, implying that Mu accompanies more inhomogeneous distribution of the neighboring nuclear spins that may involve Mu$^-$H$^-$-complex state in an oxygen vacancy.


title: Rotate King to get Queen: Word Relationships as Orthogonal Transformations in Embedding Space

abstract: A notable property of word embeddings is that word relationships can exist as linear substructures in the embedding space. For example, $\textit{gender}$ corresponds to $\vec{\textit{woman}} - \vec{\textit{man}}$ and $\vec{\textit{queen}} - \vec{\textit{king}}$. This, in turn, allows word analogies to be solved arithmetically: $\vec{\textit{king}} - \vec{\textit{man}} + \vec{\textit{woman}} \approx \vec{\textit{queen}}$. This property is notable because it suggests that models trained on word embeddings can easily learn such relationships as geometric translations. However, there is no evidence that models $\textit{exclusively}$ represent relationships in this manner. We document an alternative way in which downstream models might learn these relationships: orthogonal and linear transformations. For example, given a translation vector for $\textit{gender}$, we can find an orthogonal matrix $R$, representing a rotation and reflection, such that $R(\vec{\textit{king}}) \approx \vec{\textit{queen}}$ and $R(\vec{\textit{man}}) \approx \vec{\textit{woman}}$. Analogical reasoning using orthogonal transformations is almost as accurate as using vector arithmetic; using linear transformations is more accurate than both. Our findings suggest that these transformations can be as good a representation of word relationships as translation vectors.


title: Commonsense Knowledge Mining from Pretrained Models

abstract: Inferring commonsense knowledge is a key challenge in natural language processing, but due to the sparsity of training data, previous work has shown that supervised methods for commonsense knowledge mining underperform when evaluated on novel data. In this work, we develop a method for generating commonsense knowledge using a large, pre-trained bidirectional language model. By transforming relational triples into masked sentences, we can use this model to rank a triple's validity by the estimated pointwise mutual information between the two entities. Since we do not update the weights of the bidirectional model, our approach is not biased by the coverage of any one commonsense knowledge base. Though this method performs worse on a test set than models explicitly trained on a corresponding training set, it outperforms these methods when mining commonsense knowledge from new sources, suggesting that unsupervised techniques may generalize better than current supervised approaches.


title: Exact sequences in the Enchilada category

abstract: We define exact sequences in the enchilada category of $C^*$-algebras and correspondences, and prove that the reduced-crossed-product functor is not exact for the enchilada categories. Our motivation was to determine whether we can have a better understanding of the Baum-Connes conjecture by using enchilada categories. Along the way we prove numerous results showing that the enchilada category is rather strange.


title: Dependences of local density of state on temperature, size, and shape in two-dimensional nano-structured superconductors

abstract: In this paper, we investigate a local density of state (LDOS) in two-dimensional nano-structured superconductors. We solve the Bogoliubov-de Gennes equations self-consistently with the two-dimensional finite element method. In nano-structured superconductors, the LDOS as a function of the energy has many discrete peaks. A discretization of the LDOS comes from a discretization of energy levels due to the quantum confinement effect in nano-structured systems. When the temperature increases, a width of a peak in the LDOS is spread to a large energy range and neighbor peaks are superposed due to the thermal effect. On the other hand, for the fixed temperature, the behavior of the LDOS is different between nano-scaled rectangular and square systems. In the nano-scaled rectangular system, when only a lateral length increases, a contribution of the quantum confinement effect from the lateral side is suppressed, while the contribution from a longitudinal side remains large. Then, some peaks are left in the LDOS even when the lateral length is very large. These peaks form a periodic structure and can be regarded as gaps in a multi gap structure due to the quantum confinement effect. On the other hand, energy levels in the square system tend to arrange equally. Then, in the square system, peaks in the LDOS which exist in the rectangular system are small. Also, the period between peaks in the LDOS in the square system is smaller than the period in the rectangular system.