title: Non-Uniform Sampling of Fixed Margin Binary Matrices

abstract: Data sets in the form of binary matrices are ubiquitous across scientific domains, and researchers are often interested in identifying and quantifying noteworthy structure. One approach is to compare the observed data to that which might be obtained under a null model. Here we consider sampling from the space of binary matrices which satisfy a set of marginal row and column sums. Whereas existing sampling methods have focused on uniform sampling from this space, we introduce modified versions of two elementwise swapping algorithms which sample according to a non-uniform probability distribution defined by a weight matrix, which gives the relative probability of a one for each entry. We demonstrate that values of zero in the weight matrix, i.e. structural zeros, are generally problematic for swapping algorithms, except when they have special monotonic structure. We explore the properties of our algorithms through simulation studies, and illustrate the potential impact of employing a non-uniform null model using a classic bird habitation dataset.


title: Efficient algorithms for solving the $p$-Laplacian in polynomial time

abstract: The $p$-Laplacian is a nonlinear partial differential equation, parametrized by $p \in [1,\infty]$. We provide new numerical algorithms, based on the barrier method, for solving the $p$-Laplacian numerically in $O(\sqrt{n}\log n)$ Newton iterations for all $p \in [1,\infty]$, where $n$ is the number of grid points. We confirm our estimates with numerical experiments.


title: Hydrodynamics of the atomic Bose-Einstein condensate beyond the mean-field approximation: a mini-review

abstract: Several hydrodynamic models the atomic Bose-Einstein condensate beyond the mean-field approximation are discussed together from one point of view. All these models are derived from microscopic quantum description. The derivation is made within the many-particle quantum hydrodynamics method suggested by L. Kuz'menkov. The derivation is demonstrated and discussed for the mean-field regime revealing the Gross-Pitaevskii equation as the simplest illustration. It appears in the first order by the interaction radius. Generalization of the hydrodynamic Euler equation obtained in the third order by the interaction radius are discussed. It includes the contribution of the isotropic short-range interaction presented by the third space derivative of the square of concentration. The Euler equation also includes the contribution of the anisotropic part of the short-range interaction proportional to the second order spherical function. Systematic account of the quantum fluctuations in terms of the many-particle quantum hydrodynamics method requires the extension of the set of hydrodynamic equations from the couple continuity and Euler equations to the set of four equations which also includes the pressure evolution equation and the evolution equation for the third rank analog of pressure. The pressure evolution equation contains no interaction contribution in the first order by the interaction radius. The source of the quantum fluctuations is in the interaction caused term in the third rank tensor evolution equation which is obtained in the first order by the interaction radius.


title: Quantum Algorithm for Online Convex Optimization

abstract: We explore whether quantum advantages can be found for the zeroth-order online convex optimization problem, which is also known as bandit convex optimization with multi-point feedback. In this setting, given access to zeroth-order oracles (that is, the loss function is accessed as a black box that returns the function value for any queried input), a player attempts to minimize a sequence of adversarially generated convex loss functions. This procedure can be described as a $T$ round iterative game between the player and the adversary. In this paper, we present quantum algorithms for the problem and show for the first time that potential quantum advantages are possible for problems of online convex optimization. Specifically, our contributions are as follows. (i) When the player is allowed to query zeroth-order oracles $O(1)$ times in each round as feedback, we give a quantum algorithm that achieves $O(\sqrt{T})$ regret without additional dependence of the dimension $n$, which outperforms the already known optimal classical algorithm only achieving $O(\sqrt{nT})$ regret. Note that the regret of our quantum algorithm has achieved the lower bound of classical first-order methods. (ii) We show that for strongly convex loss functions, the quantum algorithm can achieve $O(\log T)$ regret with $O(1)$ queries as well, which means that the quantum algorithm can achieve the same regret bound as the classical algorithms in the full information setting.


title: Information-Theoretic Approximation to Causal Models

abstract: Inferring the causal direction and causal effect between two discrete random variables X and Y from a finite sample is often a crucial problem and a challenging task. However, if we have access to observational and interventional data, it is possible to solve that task. If X is causing Y, then it does not matter if we observe an effect in Y by observing changes in X or by intervening actively on X. This invariance principle creates a link between observational and interventional distributions in a higher dimensional probability space. We embed distributions that originate from samples of X and Y into that higher dimensional space such that the embedded distribution is closest to the distributions that follow the invariance principle, with respect to the relative entropy. This allows us to calculate the best information-theoretic approximation for a given empirical distribution, that follows an assumed underlying causal model. We show that this information-theoretic approximation to causal models (IACM) can be done by solving a linear optimization problem. In particular, by approximating the empirical distribution to a monotonic causal model, we can calculate probabilities of causation. We can also use IACM for causal discovery problems in the bivariate, discrete case. However, experimental results on labeled synthetic data from additive noise models show that our causal discovery approach is lagging behind state-of-the-art approaches because the invariance principle encodes only a necessary condition for causal relations. Nevertheless, for synthetic multiplicative noise data and real-world data, our approach can compete in some cases with alternative methods.


title: The BIRAFFE2 Experiment. Study in Bio-Reactions and Faces for Emotion-based Personalization for AI Systems

abstract: The paper describes BIRAFFE2 data set, which is a result of an affective computing experiment conducted between 2019 and 2020, that aimed to develop computer models for classification and recognition of emotion. Such work is important to develop new methods of natural Human-AI interaction. As we believe that models of emotion should be personalized by design, we present an unified paradigm allowing to capture emotional responses of different persons, taking individual personality differences into account. We combine classical psychological paradigms of emotional response collection with the newer approach, based on the observation of the computer game player. By capturing ones psycho-physiological reactions (ECG, EDA signal recording), mimic expressions (facial emotion recognition), subjective valence-arousal balance ratings (widget ratings) and gameplay progression (accelerometer and screencast recording), we provide a framework that can be easily used and developed for the purpose of the machine learning methods.


title: Exactly solvable single-trace four point correlators in $\chi$CFT$_4$

abstract: In this paper we study a wide class of planar single-trace four point correlators in the chiral conformal field theory ($\chi$CFT$_4$) arising as a double scaling limit of the $\gamma$-deformed $\mathcal{N}=4$ SYM theory. In the planar (t'Hooft) limit, each of such correlators is described by a single Feynman integral having the bulk topology of a square lattice "fishnet" and/or of an honeycomb lattice of Yukawa vertices. The computation of this class of Feynmann integrals at any loop is achieved by means of an exactly-solvable spin chain magnet with $SO(1,5)$ symmetry. In this paper we explain in detail the solution of the magnet model as presented in our recent letter and we obtain a general formula for the representation of the Feynman integrals over the spectrum of the separated variables of the magnet, for any number of scalar and fermionic fields in the corresponding correlator. For the particular choice of scalar fields only, our formula reproduces the conjecture of B. Basso and L. Dixon for the fishnet integrals.


title: Greedy Placement of Measurement Devices on Distribution Grids based on Enhanced Distflow State Estimation

abstract: The needs for improving observability of medium and low voltage distribution networks has been significantly increased, in recent year. In this paper, we focus on practical approaches for placement of affordable Measurement Devices (MDs), which are providing three phases voltage, current, and power measurements with certain level of precision. The placement procedure is composed of a state-estimation algorithm and of a greedy placement scheme. The proposed state-estimation algorithm is based on the Distflow model, enhanced to consider the shunt elements (e.g., cable capacitances) of the network, which are not negligible in low voltage networks with underground cables. The greedy placement scheme is formulated such that it finds the location of minimum required number of MDs while certain grid observability limits are satisfied. These limits are defined as the accuracy of state-estimation results in terms of voltage magnitudes and line currents over all nodes and lines, respectively. The effectiveness of the proposed placement procedure has been validated on a realistic test grid of 10 medium voltage nodes and 75 low voltage nodes, whose topology and parameters were made available from the Distribution System Operator (DSO) of the city of Geneva, Switzerland.


title: Toward more accurate measurement of the impact of online instructional design on students' ability to transfer physics problem-solving skills

abstract: In two earlier studies, we developed a new method to measure students' ability to transfer physics problem solving skills to new contexts using a sequence of online learning modules, and implemented two interventions in the form of additional learning modules designed to improve transfer ability. The current paper introduces a new data analysis scheme that could improve the accuracy of the measurement by accounting for possible differences in students' goal orientation and behavior, as well as revealing the possible mechanism by which one of the two interventions improves transfer ability. Based on a two by two framework of self-regulated learning, students with a performance-avoidance oriented goal are more likely to guess on some of the assessment attempts in order to save time, resulting in an underestimation of the student populations' transfer ability. The current analysis shows that about half of the students had frequent brief initial assessment attempts, and significantly lower correct rates on certain modules, which we think is likely to have originated at least in part from students adopting a performance-avoidance strategy. We then divided the remaining population, for which we can be certain that few students adopted a performance-avoidance strategy, based on whether they interacted with one of the intervention modules designed to develop basic problem solving skills, or passed that module on their first attempt without interacting with the instructional material. By comparing to propensity score matched populations from a previous semester, we found that the improvement in subsequent transfer performance observed in a previous study mainly came from the latter population, suggesting that the intervention served as an effective reminder for students to activate existing skills, but fell short of developing those skills among those who have yet to master it.


title: Sharp nonlinear estimates for multiplying derivatives of positive definite tensor fields

abstract: The simple product formulae for derivatives of scalar functions raised to different powers are generalized for functions which take values in the set of symmetric positive definite matrices. These formulae are fundamental in derivation of various non-linear estimates, especially in the PDE theory. To get around the non-commutativity of the matrix and its derivative, we apply some well-known integral representation formulas and then we make an observation that the derivative of a matrix power is a logarithmically convex function with respect to the exponent. This is directly related to the validity of a seemingly simple inequality combining the integral averages and the inner product on matrices. The optimality of our results is illustrated on numerous examples.


title: Oceanic and atmospheric methane cycling in the cGENIE Earth system model

abstract: The methane cycle is a key component of the Earth system that links planetary climate, biological metabolism, and the global biogeochemical cycles of carbon, oxygen, sulfur, and hydrogen. However, currently lacking is a numerical model capable of simulating a diversity of environments in the ocean where methane can be produced and destroyed, and with the flexibility to be able to explore not only relatively recent perturbations to Earth's methane cycle but also to probe methane cycling and associated climate impacts under the reducing conditions characteristic of most of Earth history and likely widespread on other Earth-like planets. Here, we present an expansion of the ocean-atmosphere methane cycle in the intermediate-complexity Earth system model cGENIE, including parameterized atmospheric photochemistry and schemes for microbial methanogenesis, aerobic methanotrophy, and anaerobic oxidation of methane. We describe the model framework, compare model parameterizations against modern observations, and illustrate the flexibility of the model through a series of example simulations. Though we make no attempt to rigorously tune default model parameters, we find that simulated atmospheric methane levels and marine dissolved methane distributions are generally in good agreement with empirical constraints for the modern and recent Earth. Finally, we illustrate the model's utility in understanding the time-dependent behavior of the methane cycle resulting from transient carbon injection into the atmosphere, and present model ensembles that examine the effects of oceanic chemistry and the thermodynamics of microbial metabolism on steady-state atmospheric methane abundance.


title: Density of states and current-voltage characteristics in SIsFS junctions

abstract: We study the density of states (DOS) inside superconducting Josephson SIsFS junctions with complex interlayer consisting of a thin superconducting spacer 's' between insulator I and a ferromagnetic metal F. The consideration is focused on the local density of states in the vicinity of a tunnel barrier, and it permits to estimate the current-voltage characteristics in the resistive state of such junctions. We study the influence of the proximity effect and Zeeman splitting on the properties of the system, and we find significant sub-gap regions with non-vanishing DOS. We also find manifestations of the 0-$\pi$ transition in the behavior of DOS in a thin s-layer. These properties lead to appearance of new characteristic features on I-V curves which provide additional information about electronic states inside the junction.


title: Invariant-based inverse engineering of time-dependent, coupled harmonic oscillators

abstract: Two-dimensional systems with time-dependent controls admit a quadratic Hamiltonian modelling near potential minima. Independent, dynamical normal modes facilitate inverse Hamiltonian engineering to control the system dynamics, but some systems are not separable into independent modes by a point transformation. For these "coupled systems" 2D invariants may still guide the Hamiltonian design. The theory to perform the inversion and two application examples are provided: (i) We control the deflection of wave packets in transversally harmonic waveguides; and (ii) we design the state transfer from one coupled oscillator to another.


title: Global stability of spatially nonhomogeneous steady state solution in a diffusive Holling-Tanner predator-prey model

abstract: The global stability of the nonhomogeneous positive steady state solution to a diffusive Holling-Tanner predator-prey model in a heterogeneous environment is proved by using a newly constructed Lyapunov function and estimates of nonconstant steady state solutions. The techniques developed here can be adapted for other spatially heterogeneous consumer-resource models.


title: Tanh-sinh quadrature for single and multiple integration using floating-point arithmetic

abstract: The problem of estimating single- and multi-dimensional integrals, with or without end-point singularities, is prevalent in all fields of scientific research, and in particular in physics. Although tanh-sinh quadrature is known to handle most of these cases excellently, its use is not widely spread among physicists. Moreover, while most calculations are limited by the use of finite-precision floating-point arithmetic, similar considerations for tanh-sinh quadrature are mostly lacking in literature, where infinite-precision floating-point numbers are often assumed. Also little information is available on the application of tanh-sinh quadrature to multiple integration. We have investigated the risks and limitations associated with limited-precision floating-point numbers when using tanh-sinh quadrature for both single and multiple integration, while obtaining excellent convergence rates. In addition, this paper provides recommendations for a straightforward implementation using limited-precision floating-point numbers and for avoiding numerical instabilities.


title: Buckling of 2D Plasma Crystals with Non-reciprocal Interactions

abstract: Laboratory realizations of 2D plasma crystals typically involve monodisperse microparticles confined into horizontal monolayers in radio-frequency (rf) plasma sheaths. This gives rise to the so-called plasma wakes beneath the microparticles. The presence of wakes renders the interactions in such systems non-reciprocal, a fact that can lead to a quite different behaviour from the one expected for their reciprocal counterparts. Here we examine the buckling of a hexagonal 2D plasma crystal, occurring as the confinement strength is decreased, taking explicitly into account the non-reciprocity of the system via a well-established point-particle wake model. We observe that for a finite wake charge, the monolayer hexagonal crystal undergoes a transition first to a bilayer hexagonal structure, unrealisable in harmonically confined reciprocal Yukawa systems, and subsequently to a bilayer square structure. Our theoretical results are confirmed by molecular dynamics simulations for experimentally relevant parameters, indicating the potential of their observation in state-of-the-art experiments with 2D complex plasmas.


title: Probing the Supersymmetric Grand Unified Theories at the Future Proton-Proton Colliders and Hyper-Kamiokande Experiment

abstract: Gauge coupling unification in the Supersymmetric Standard Models strongly implies the Grand Unified Theories (GUTs). With the grand desert hypothesis, we show that the supersymmetric GUTs can be probed at the future proton-proton (pp) colliders and Hyper-Kamiokande experiment. For the GUTs with the GUT scale $M_{GUT} \le 1.0\times 10^{16}$ GeV, we can probe the dimension-six proton decay via heavy gauge boson exchange at the Hyper-Kamiokande experiment. Moreover, for the GUTs with $M_{GUT} \ge 1.0\times 10^{16}$ GeV, we for the first time study the upper bounds on the gaugino and sfermion masses. We show that the GUTs with anomaly and gauge mediated supersymmetry breakings are well within the reaches of the future 100 TeV pp colliders such as the ${\rm FCC}_{\rm hh}$ and SppC, and the supersymmetric GUTs with gravity mediated supersymmetry breaking can be probed at the future 160 TeV pp collider.


title: Transcending conventional biometry frontiers: Diffusive Dynamics PPG Biometry

abstract: In the first half of the 20th century, a first pulse oximeter was available to measure blood flow changes in the peripheral vascular net. However, it was not until recent times the PhotoPlethysmoGraphic (PPG) signal used to monitor many physiological parameters in clinical environments. Over the last decade, its use has extended to the area of biometrics, with different methods that allow the extraction of characteristic features of each individual from the PPG signal morphology, highly varying with time and the physical states of the subject. In this paper, we present a novel PPG-based biometric authentication system based on convolutional neural networks. Contrary to previous approaches, our method extracts the PPG signal's biometric characteristics from its diffusive dynamics, characterized by geometric patterns image in the (p, q)-planes specific to the 0-1 test. The diffusive dynamics of the PPG signal are strongly dependent on the vascular bed's biostructure, which is unique to each individual, and highly stable over time and other psychosomatic conditions. Besides its robustness, our biometric method is anti-spoofing, given the convoluted nature of the blood network. Our biometric authentication system reaches very low Equal Error Rates (ERRs) with a single attempt, making it possible, by the very nature of the envisaged solution, to implement it in miniature components easily integrated into wearable biometric systems.


title: A novel mechanism for energy activation in biomolecules

abstract: An activated process consists of energy activation and barrier crossing; the former is a prerequisite for the latter. Barrier crossing has been studied extensively, but energy activation has been overlooked due to a lack of means to gauge its progress. We define reaction stability as the probability that reactive trajectories pass a vicinity in phase space; it enabled us to analyze energy activation of a biomolecular isomerization. This process follows a mechanism fundamentally different from presumed mechanisms in standard reaction rate theories: it features accumulation of high kinetic energy in reaction coordinates, achieved by precise synergy between them coordinated by momentum space.


title: An $HP^2$-bundle over $S^4$ with nontrivial $\hat{A}$-genus

abstract: We explain the existence of a smooth $HP^2$-bundle over $S^4$ whose total space has nontrivial $\hat{A}$-genus. Combined with an argument going back to Hitchin, this answers a question of Schick and implies that the space of Riemannian metrics of positive sectional curvature on a closed manifold can have nontrivial higher rational homotopy groups.


title: Periodic Surface Homeomorphisms and Contact Structures

abstract: Periodic surface homemorphisms (diffeomorphisms) play a significant role in the the Nielsen-Thurston classification of surface homeomorphisms. Periodic surface homeomorphisms can be described (up to conjugacy) by using data sets which are combinatorial objects. In this article, we start by associating a rational open book to a slight modification of a given data set, called marked data set. It is known that every rational open book supports a contact structure. Thus, we can associate a contact structure to a periodic map and study the properties of it in terms combinatorial conditions on marked data sets. In particular, we prove that a class of data sets, satisfying easy-to-check combinatorial hypothesis, gives rise to Stein fillable contact structures. In addition to the above, we prove an analogue of Mori's construction of explicit symplectic filling for rational open books. We also prove a sufficient condition for Stein fillability of rational open books analogous to the positivity of monodromy in honest open books as in the result of Giroux and Loi-Piergallini.


title: Privacy-preserving Voice Analysis via Disentangled Representations

abstract: Voice User Interfaces (VUIs) are increasingly popular and built into smartphones, home assistants, and Internet of Things (IoT) devices. Despite offering an always-on convenient user experience, VUIs raise new security and privacy concerns for their users. In this paper, we focus on attribute inference attacks in the speech domain, demonstrating the potential for an attacker to accurately infer a target user's sensitive and private attributes (e.g. their emotion, sex, or health status) from deep acoustic models. To defend against this class of attacks, we design, implement, and evaluate a user-configurable, privacy-aware framework for optimizing speech-related data sharing mechanisms. Our objective is to enable primary tasks such as speech recognition and user identification, while removing sensitive attributes in the raw speech data before sharing it with a cloud service provider. We leverage disentangled representation learning to explicitly learn independent factors in the raw data. Based on a user's preferences, a supervision signal informs the filtering out of invariant factors while retaining the factors reflected in the selected preference. Our experimental evaluation over five datasets shows that the proposed framework can effectively defend against attribute inference attacks by reducing their success rates to approximately that of guessing at random, while maintaining accuracy in excess of 99% for the tasks of interest. We conclude that negotiable privacy settings enabled by disentangled representations can bring new opportunities for privacy-preserving applications.


title: SimuLearn: Fast and Accurate Simulator to Support Morphing Materials Design and Workflows

abstract: Morphing materials allow us to create new modalities of interaction and fabrication by leveraging dynamic behaviors of materials. Yet, despite the ongoing rapid growth of computational tools within this realm, current developments are bottlenecked by the lack of an effective simulation method. As a result, existing design tools must trade-off between speed and accuracy to support a real-time interactive design scenario. In response, we introduce SimuLearn, a data-driven method that combines finite element analysis and machine learning to create real-time (0.61 seconds) and truthful (97% accuracy) morphing material simulators. We use mesh-like 4D printed structures to contextualize this method and prototype design tools to exemplify the design workflows and spaces enabled by a fast and accurate simulation method. Situating this work among existing literature, we believe SimuLearn is a timely addition to the HCI CAD toolbox that can enable the proliferation of morphing materials.


title: An Experimental Study of The Effects of Position Bias on Emotion CauseExtraction

abstract: Emotion Cause Extraction (ECE) aims to identify emotion causes from a document after annotating the emotion keywords. Some baselines have been proposed to address this problem, such as rule-based, commonsense based and machine learning methods. We show, however, that a simple random selection approach toward ECE that does not require observing the text achieves similar performance compared to the baselines. We utilized only position information relative to the emotion cause to accomplish this goal. Since position information alone without observing the text resulted in higher F-measure, we therefore uncovered a bias in the ECE single genre Sina-news benchmark. Further analysis showed that an imbalance of emotional cause location exists in the benchmark, with a majority of cause clauses immediately preceding the central emotion clause. We examine the bias from a linguistic perspective, and show that high accuracy rate of current state-of-art deep learning models that utilize location information is only evident in datasets that contain such position biases. The accuracy drastically reduced when a dataset with balanced location distribution is introduced. We therefore conclude that it is the innate bias in this benchmark that caused high accuracy rate of these deep learning models in ECE. We hope that the case study in this paper presents both a cautionary lesson, as well as a template for further studies, in interpreting the superior fit of deep learning models without checking for bias.


title: dMelodies: A Music Dataset for Disentanglement Learning

abstract: Representation learning focused on disentangling the underlying factors of variation in given data has become an important area of research in machine learning. However, most of the studies in this area have relied on datasets from the computer vision domain and thus, have not been readily extended to music. In this paper, we present a new symbolic music dataset that will help researchers working on disentanglement problems demonstrate the efficacy of their algorithms on diverse domains. This will also provide a means for evaluating algorithms specifically designed for music. To this end, we create a dataset comprising of 2-bar monophonic melodies where each melody is the result of a unique combination of nine latent factors that span ordinal, categorical, and binary types. The dataset is large enough (approx. 1.3 million data points) to train and test deep networks for disentanglement learning. In addition, we present benchmarking experiments using popular unsupervised disentanglement algorithms on this dataset and compare the results with those obtained on an image-based dataset.


title: Unselfie: Translating Selfies to Neutral-pose Portraits in the Wild

abstract: Due to the ubiquity of smartphones, it is popular to take photos of one's self, or "selfies." Such photos are convenient to take, because they do not require specialized equipment or a third-party photographer. However, in selfies, constraints such as human arm length often make the body pose look unnatural. To address this issue, we introduce $\textit{unselfie}$, a novel photographic transformation that automatically translates a selfie into a neutral-pose portrait. To achieve this, we first collect an unpaired dataset, and introduce a way to synthesize paired training data for self-supervised learning. Then, to $\textit{unselfie}$ a photo, we propose a new three-stage pipeline, where we first find a target neutral pose, inpaint the body texture, and finally refine and composite the person on the background. To obtain a suitable target neutral pose, we propose a novel nearest pose search module that makes the reposing task easier and enables the generation of multiple neutral-pose results among which users can choose the best one they like. Qualitative and quantitative evaluations show the superiority of our pipeline over alternatives.


title: MW-homotopy sheaves and Morel generalized transfers

abstract: We explore a conjecture of Morel about the Bass-Tate transfers defined on the contraction of a homotopy sheaf and prove that the conjecture is true with rational coefficients. Moreover, we study the relations between (contracted) homotopy sheaves, sheaves with Morel generalized transfers and MW-homotopy sheaves, and prove an equivalence of categories. As applications, we describe the essential image of the canonical functor that forgets MW-transfers and use theses results to discuss the conservativity conjecture in A^1-homotopy due to Bachmann and Yakerson.


title: Eigenstate thermalization hypothesis beyond standard indicators: Emergence of random-matrix behavior at small frequencies

abstract: Using numerical exact diagonalization, we study matrix elements of a local spin operator in the eigenbasis of two different nonintegrable quantum spin chains. Our emphasis is on the question to what extent local operators can be represented as random matrices and, in particular, to what extent matrix elements can be considered as uncorrelated. As a main result, we show that the eigenvalue distribution of band submatrices at a fixed energy density is a sensitive probe of the correlations between matrix elements. We find that, on the scales where the matrix elements are in a good agreement with all standard indicators of the eigenstate thermalization hypothesis, the eigenvalue distribution still exhibits clear signatures of the original operator, implying correlations between matrix elements. Moreover, we demonstrate that at much smaller energy scales, the eigenvalue distribution approximately assumes the universal semicircle shape, indicating transition to the random-matrix behavior, and in particular that matrix elements become uncorrelated.


title: Bayesian Inference by Symbolic Model Checking

abstract: This paper applies probabilistic model checking techniques for discrete Markov chains to inference in Bayesian networks. We present a simple translation from Bayesian networks into tree-like Markov chains such that inference can be reduced to computing reachability probabilities. Using a prototypical implementation on top of the Storm model checker, we show that symbolic data structures such as multi-terminal BDDs (MTBDDs) are very effective to perform inference on large Bayesian network benchmarks. We compare our result to inference using probabilistic sentential decision diagrams and vtrees, a scalable symbolic technique in AI inference tools.


title: Leveraging Adversarial Training in Self-Learning for Cross-Lingual Text Classification

abstract: In cross-lingual text classification, one seeks to exploit labeled data from one language to train a text classification model that can then be applied to a completely different language. Recent multilingual representation models have made it much easier to achieve this. Still, there may still be subtle differences between languages that are neglected when doing so. To address this, we present a semi-supervised adversarial training process that minimizes the maximal loss for label-preserving input perturbations. The resulting model then serves as a teacher to induce labels for unlabeled target language samples that can be used during further adversarial training, allowing us to gradually adapt our model to the target language. Compared with a number of strong baselines, we observe significant gains in effectiveness on document and intent classification for a diverse set of languages.


title: Set-Valued Backward Stochastic Differential Equations

abstract: In this paper, we establish an analytic framework for studying set-valued backward stochastic differential equations (set-valued BSDE), motivated largely by the current studies of dynamic set-valued risk measures for multi-asset or network-based financial models. Our framework will make use of the notion of Hukuhara difference between sets, in order to compensate the lack of "inverse" operation of the traditional Minkowski addition, whence the vector space structure in set-valued analysis. While proving the well-posedness of a class of set-valued BSDEs, we shall also address some fundamental issues regarding generalized Aumann-It\^o integrals, especially when it is connected to the martingale representation theorem. In particular, we propose some necessary extensions of the integral that can be used to represent set-valued martingales with non-singleton initial values. This extension turns out to be essential for the study of set-valued BSDEs.


title: Exploiting Cross-Lingual Knowledge in Unsupervised Acoustic Modeling for Low-Resource Languages

abstract: (Short version of Abstract) This thesis describes an investigation on unsupervised acoustic modeling (UAM) for automatic speech recognition (ASR) in the zero-resource scenario, where only untranscribed speech data is assumed to be available. UAM is not only important in addressing the general problem of data scarcity in ASR technology development but also essential to many non-mainstream applications, for examples, language protection, language acquisition and pathological speech assessment. The present study is focused on two research problems. The first problem concerns unsupervised discovery of basic (subword level) speech units in a given language. Under the zero-resource condition, the speech units could be inferred only from the acoustic signals, without requiring or involving any linguistic direction and/or constraints. The second problem is referred to as unsupervised subword modeling. In its essence a frame-level feature representation needs to be learned from untranscribed speech. The learned feature representation is the basis of subword unit discovery. It is desired to be linguistically discriminative and robust to non-linguistic factors. Particularly extensive use of cross-lingual knowledge in subword unit discovery and modeling is a focus of this research.


title: PDF in PDFs from Hadronic Tensor and LaMET

abstract: We point out a problem of the phenomenological definition of the valence partons as the difference between the partons and antipartons in the context of the NNLO evolution equations. After demonstrating that the classification of the parton degrees of freedom (PDF) of the parton distribution functions (PDFs) are the same in the QCD path-intergral formulations of the hadronic tensor and the quasi-PDF with LaMET, we resolve the problem by showing that the proper definition of the valence should be in terms of those in the connected insertions only. We also prove that the strange partons appear as the disconnected sea in the nucleon.


title: Quantifying and understanding errors in molecular geometries

abstract: Electronic structure calculations are ubiquitous in most branches of chemistry, but all have errors in both energies and equilibrium geometries. Quantifying errors in possibly dozens of bond angles and bond lengths is a Herculean task. A single natural measure of geometric error is introduced, the geometry energy offset (GEO). GEO links many disparate aspects of geometry errors: a new ranking of different methods, quantitative insight into errors in specific geometric parameters, and insight into trends with different methods. GEO can also reduce the cost of high-level geometry optimizations and shows when geometric errors distort the overall error of a method. Results, including some surprises, are given for both covalent and weak interactions.


title: CARMENES input catalogue of M dwarfs V. Luminosities, colours, and spectral energy distributions

abstract: The relevance of M dwarfs in the search for potentially habitable Earth-sized planets has grown significantly in the last years. In our on-going effort to comprehensively and accurately characterise confirmed and potential planet-hosting M dwarfs, in particular for the CARMENES survey, we have carried out a comprehensive multi-band photometric analysis involving spectral energy distributions, luminosities, absolute magnitudes, colours, and spectral types, from which we have derived basic astrophysical parameters. We have carefully compiled photometry in 20 passbands from the ultraviolet to the mid-infrared, and combined it with the latest parallactic distances and close-multiplicity information, mostly from Gaia DR2, of a sample of 2479 K5V to L8 stars and ultracool dwarfs, including 2210 nearby, bright M dwarfs. For this, we made extensive use of Virtual Observatory tools. We have homogeneously computed accurate bolometric luminosities and effective temperatures of 1843 single stars, derived their radii and masses, studied the impact of metallicity, and compared our results with the literature. The over 40000 individually inspected magnitudes, together with the basic data and derived parameters of the stars, individual and averaged by spectral type, have been made public to the astronomical community. In addition, we have reported 40 new close multiple systems and candidates rho < 3.3 arcsec and 36 overluminous stars that are assigned to young Galactic populations. In the new era of exoplanet searches around M dwarfs via transit (e.g. TESS, PLATO) and radial velocity (e.g. CARMENES, NIRPS+HARPS), this work is of fundamental importance for stellar and therefore planetary parameter determination.


title: The Galois action on symplectic $K$-theory

abstract: We study a symplectic variant of algebraic $K$-theory of the integers, which comes equipped with a canonical action of the absolute Galois group of $\mathbf{Q}$. We compute this action explicitly. The representations we see are extensions of Tate twists $\mathbf{Z}_p(2k-1)$ by a trivial representation, and we characterize them by a universal property among such extensions. The key tool in the proof is the theory of complex multiplication for abelian varieties.


title: A directional Gaussian smoothing optimization method for computational inverse design in nanophotonics

abstract: Local-gradient-based optimization approaches lack nonlocal exploration ability required for escaping from local minima in non-convex landscapes. A directional Gaussian smoothing (DGS) approach was recently proposed by the authors (Zhang et al., 2020) and used to define a truly nonlocal gradient, referred to as the DGS gradient, in order to enable nonlocal exploration in high-dimensional black-box optimization. Promising results show that replacing the traditional local gradient with the nonlocal DGS gradient can significantly improve the performance of gradient-based methods in optimizing highly multi-modal loss functions. However, the current DGS method is designed for unbounded and unconstrained optimization problems, making it inapplicable to real-world engineering design optimization problems where the tuning parameters are often bounded and the loss function is usually constrained by physical processes. In this work, we propose to extend the DGS approach to the constrained inverse design framework in order to find a better design. The proposed framework has its advantages in portability and flexibility to naturally incorporate the parameterization, physics simulation, and objective formulation together to build up an effective inverse design workflow. A series of adaptive strategies for smoothing radius and learning rate updating are developed to improve the computational efficiency and robustness. To enable a clear binarized design, a dynamic growth mechanism is imposed on the projection strength in parameterization. Our methodology is demonstrated by an example of designing a nanoscale wavelength demultiplexer and shows superior performance compared to the state-of-the-art approaches. By incorporating volume constraints, the optimized design achieves an equivalently high performance but significantly reduces the amount of material usage.


title: Lineshape Analysis of Double-Quantum Multidimensional Coherent Spectra

abstract: Double-quantum two-dimensional coherent spectroscopy (MDCS) is a powerful optical method that is used to study optical properties of atomic and complex molecular systems and semiconductor materials. Double-quantum 2D spectra and particularly the peak lineshapes on the spectra can also provide information about many-body interactions. We model 2D spectra by solving the optical Bloch equations and show the effects of correlation between coupled resonances, which also explains the discrepancies between the experimental results reported by multiple groups.


title: An experimental program with high duty-cycle polarized and unpolarized positron beams at Jefferson Lab

abstract: Positron beams, both polarized and unpolarized, are identified as essential ingredients for the experimental programs at the next generation of lepton accelerators. In the context of the hadronic physics program at Jefferson Lab (JLab), positron beams are complementary, even essential, tools for a precise understanding of the electromagnetic structure of nucleons and nuclei, in both the elastic and deep-inelastic regimes. For instance, elastic scattering of polarized and unpolarized electrons and positrons from the nucleon enables a model independent determination of its electromagnetic form factors. Also, the deeply-virtual scattering of polarized and unpolarized electrons and positrons allows unambiguous separation of the different contributions to the cross section of the lepto-production of photons and of lepton-pairs, enabling an accurate determination of the nucleons and nuclei generalized parton distributions, and providing an access to the gravitational form factors. Furthermore, positron beams offer the possibility of alternative tests of the Standard Model of particle physics through the search of a dark photon, the precise measurement of electroweak couplings, and the investigation of charged lepton flavor violation. This document discusses the perspectives of an experimental program with high duty-cycle positron beams at JLab.


title: Towards a Homotopy Domain Theory

abstract: An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $\lambda$-calculus, in the sense that the concept of proof (path) of equality of $\lambda$-terms is raised to \textit{higher proof} (homotopy).


title: Far-from-equilibrium search for the QCD critical point

abstract: Initial conditions for relativistic heavy-ion collisions may be far from equilibrium (i.e. there are large initial contributions from the shear stress tensor and bulk pressure) but it is expected that on very short time scales the dynamics converge to a universal attractor that defines hydrodynamic behavior. Thus far, studies of this nature have only considered an idealized situation at LHC energies (high temperatures $T$ and vanishing baryon chemical potential $\mu_B=0$) but, in this work, we investigate for the first time how far-from-equilibrium effects may influence experimentally driven searches for the Quantum Chromodynamic critical point at RHIC. We find that the path to the critical point is heavily influenced by far from equilibrium initial conditions where viscous effects lead to dramatically different $\left\{T,\mu_B\right\}$ trajectories through the QCD phase diagram. We compare hydrodynamic equations of motion with shear and bulk coupled together at finite $\mu_B$ for both DNMR and phenomenological Israel-Stewart equations of motion and discuss their influence on potential attractors at finite $\mu_B$ and their corresponding $\left\{T,\mu_B\right\}$ trajectories.


title: Improving Performance of Relation Extraction Algorithm via Leveled Adversarial PCNN and Database Expansion

abstract: This study introduces database expansion using the Minimum Description Length (MDL) algorithm to expand the database for better relation extraction. Different from other previous relation extraction researches, our method improves system performance by expanding data. The goal of database expansion, together with a robust deep learning classifier, is to diminish wrong labels due to the incomplete or not found nature of relation instances in the relation database (e.g., Freebase). The study uses a deep learning method (Piecewise Convolutional Neural Network or PCNN) as the base classifier of our proposed approach: the leveled adversarial attention neural networks (LATTADV-ATT). In the database expansion process, the semantic entity identification is used to enlarge new instances using the most similar itemsets of the most common patterns of the data to get its pairs of entities. About the deep learning method, the use of attention of selective sentences in PCNN can reduce noisy sentences. Also, the use of adversarial perturbation training is useful to improve the robustness of system performance. The performance even further is improved using a combination of leveled strategy and database expansion. There are two issues: 1) database expansion method: rule generation by allowing step sizes on selected strong semantic of most similar itemsets with aims to find entity pair for generating instances, 2) a better classifier model for relation extraction. Experimental result has shown that the use of the database expansion is beneficial. The MDL database expansion helps improvements in all methods compared to the unexpanded method. The LATTADV-ATT performs as a good classifier with high precision P@100=0.842 (at no expansion). It is even better while implemented on the expansion data with P@100=0.891 (at expansion factor k=7).


title: Cross Sections of Coronal Loop Flux Tubes

abstract: Coronal loops reveal crucial information about the nature of both coronal magnetic fields and coronal heating. The shape of the corresponding flux tube cross section and how it varies with position are especially important properties. They are a direct indication of the expansion of the field and of the cross-field spatial distribution of the heating. We have studied 20 loops using high spatial resolution observations from the first flight of the Hi-C rocket experiment, measuring the intensity and width as a function of position along the loop axis. We find that intensity and width tend to either be uncorrelated or to have a direct dependence, such that they increase or decrease together. This implies that the flux tube cross sections are approximately circular under the assumptions that the tubes have non-negligible twist and that the plasma emissivity is approximately uniform along the magnetic field. The shape need not be a perfect circle and the emissivity need not be uniform within the cross section, but sub-resolution patches of emission must be distributed quasi-uniformly within an envelope that has an aspect ratio of order unity. This raises questions about the suggestion that flux tubes expand with height, but primarily in the line-of-sight direction so that the corresponding (relatively noticeable) loops appear to have roughly uniform width, a long-standing puzzle. It also casts doubt on the idea that most loops correspond to simple warped sheets, although we leave open the possibility of more complex manifold structures.


title: Approximate inferences for nonlinear mixed effects models with scale mixtures of skew-normal distributions

abstract: Nonlinear mixed effects models have received a great deal of attention in the statistical literature in recent years because of their flexibility in handling longitudinal studies, including human immunodeficiency virus viral dynamics, pharmacokinetic analyses, and studies of growth and decay. A standard assumption in nonlinear mixed effects models for continuous responses is that the random effects and the within-subject errors are normally distributed, making the model sensitive to outliers. We present a novel class of asymmetric nonlinear mixed effects models that provides efficient parameters estimation in the analysis of longitudinal data. We assume that, marginally, the random effects follow a multivariate scale mixtures of skew--normal distribution and that the random errors follow a symmetric scale mixtures of normal distribution, providing an appealing robust alternative to the usual normal distribution. We propose an approximate method for maximum likelihood estimation based on an EM-type algorithm that produces approximate maximum likelihood estimates and significantly reduces the numerical difficulties associated with the exact maximum likelihood estimation. Techniques for prediction of future responses under this class of distributions are also briefly discussed. The methodology is illustrated through an application to Theophylline kinetics data and through some simulating studies.


title: Electronic structure and magnetism in infinite-layer nickelates RNiO$_2$ (R= La-Lu)

abstract: Using first-principles calculations, we analyze the evolution of the electronic structure and magnetic properties of infinite-layer nickelates RNiO$_2$ (R= rare-earth) as R changes across the lanthanide series from La to Lu. By correlating these changes with in-plane and out-of-plane lattice parameter reductions, we conclude that the in-plane Ni-O distance is the relevant control parameter in infinite-layer nickelates. An antiferromagnetic ground state is obtained for all RNiO$_2$ (R=La-Lu). This antiferromagnetic state remains metallic across the lanthanide series and is defined by a multiorbital picture with low-energy relevance of a flat Ni-d$_{z^2}$ band pinned at the Fermi level, in contrast to cuprates. Other non-cuprate-like properties such as the involvement of R-$d$ bands at the Fermi level, a large charge transfer energy, and a suppressed superexchange are robust for all RNiO$_2$ materials.


title: A Vision and Framework for the High Altitude Platform Station (HAPS) Networks of the Future

abstract: A High Altitude Platform Station (HAPS) is a network node that operates in the stratosphere at an of altitude around 20 km and is instrumental for providing communication services. Precipitated by technological innovations in the areas of autonomous avionics, array antennas, solar panel efficiency levels, and battery energy densities, and fueled by flourishing industry ecosystems, the HAPS has emerged as an indispensable component of next-generations of wireless networks. In this article, we provide a vision and framework for the HAPS networks of the future supported by a comprehensive and state-of-the-art literature review. We highlight the unrealized potential of HAPS systems and elaborate on their unique ability to serve metropolitan areas. The latest advancements and promising technologies in the HAPS energy and payload systems are discussed. The integration of the emerging Reconfigurable Smart Surface (RSS) technology in the communications payload of HAPS systems for providing a cost-effective deployment is proposed. A detailed overview of the radio resource management in HAPS systems is presented along with synergistic physical layer techniques, including Faster-Than-Nyquist (FTN) signaling. Numerous aspects of handoff management in HAPS systems are described. The notable contributions of Artificial Intelligence (AI) in HAPS, including machine learning in the design, topology management, handoff, and resource allocation aspects are emphasized. The extensive overview of the literature we provide is crucial for substantiating our vision that depicts the expected deployment opportunities and challenges in the next 10 years (next-generation networks), as well as in the subsequent 10 years (next-next-generation networks).


title: Tutte polynomial, complete invariant, and theta series

abstract: In this study, we present two results that relate Tutte polynomials. First, we provide new and complete polynomial invariants for graphs. We note that the number of variables of our polynomials is one. Second, let L_1 and L_2 be two non-isomorphic lattices. We state that L_1 and L_2 are theta series equivalent if those theta series are the same. The problem of identifying theta series equivalent lattices is discussed in Prof.~Conway's book The Sensual (Quadratic) Form with the title "Can You Hear the Shape of a Lattice?" In this study, we present a method to find theta series equivalent lattices using matroids and their Tutte polynomials.


title: Robust Linear Estimation with Non-parametric Uncertainty: Average and Worst-case Performance (Full Version)

abstract: In this paper, two types of linear estimators are considered for three related estimation problems involving set-theoretic uncertainty pertaining to $\mathcal{H}_{2}$ and $\mathcal{H}_{\infty}$ balls of frequency-responses. The problems at stake correspond to robust $\mathcal{H}_{2}$ and $\mathcal{H}_{\infty}$ in the face of non-parametric "channel-model" uncertainty and to a nominal $\mathcal{H}_{\infty}$ estimation problem. The estimators considered here are defined by minimizing the worst-case squared estimation error over the "uncertainty set" and by minimizing an average cost under the constraint that the worst-case error of any admissible estimator does not exceed a prescribed value. The main point is to explore the derivation of estimators which may be viewed as less conservative alternatives to minimax estimators, or in other words, that allow for trade-offs between worst-case performance and better performance over "large" subsets of the uncertainty set. The "average costs" over $\mathcal{H}_{2}-$signal balls are obtained as limits of averages over sets of finite impulse responses, as their length grows unbounded. The estimator design problems for the two types of estimators and the three problems addressed here are recast as semi-definite programming problems (SDPs, for short). These SDPs are solved in the case of simple examples to illustrate the potential of the "average cost/worst-case constraint" estimators to mitigate the inherent conservatism of the minimax estimators.


title: Finding Local Experts for Dynamic Recommendations Using Lazy Random Walk

abstract: Statistics based privacy-aware recommender systems make suggestions more powerful by extracting knowledge from the log of social contacts interactions, but unfortunately, they are static. Moreover, advice from local experts effective in finding specific business categories in a particular area. We propose a dynamic recommender algorithm based on a lazy random walk that recommends top-rank shopping places to potentially interested visitors. We consider local authority and topical authority. The algorithm tested on FourSquare shopping data sets of 5 cities in Indonesia with k-steps of 5,7,9 of (lazy) random walks and compared the results with other state-of-the-art ranking techniques. The results show that it can reach high score precisions (0.5, 0.37, and 0.26 respectively on precision at 1, precision at 3, and precision at 5 for k=5). The algorithm also shows scalability concerning execution time. The advantage of dynamicity is the database used to power the recommender system; no need to be very frequently updated to produce a good recommendation.


title: Macroscopic cortical dynamics: Spatially uncorrelated but temporally coherent rich-club organisations in source-space resting-state EEG

abstract: Synchronous oscillations of neuronal populations support resting-state cortical activity. Recent studies indicate that resting-state functional connectivity is not static, but exhibits complex dynamics. The mechanisms underlying the complex dynamics of cortical activity have not been well characterised. Here, we directly apply singular value decomposition (SVD) in source-reconstructed electroencephalography (EEG) in order to characterise the dynamics of spatiotemporal patterns of resting-state functional connectivity. We found that changes in resting-state functional connectivity were associated with distinct complex topological features, "Rich-Club organisation", of the default mode network, salience network, and motor network. Rich-club topology of the salience network revealed greater functional connectivity between ventrolateral prefrontal cortex and anterior insula, whereas Rich-club topologies of the default mode networks revealed bilateral functional connectivity between fronto-parietal and posterior cortices. Spectral analysis of the dynamics underlying Rich-club organisations of these source-space network patterns revealed that resting-state cortical activity exhibit distinct dynamical regimes whose intrinsic expressions contain fast oscillations in the alpha-beta band and with the envelope-signal in the timescale of $<0.1$ Hz. Our findings thus demonstrated that multivariate eigen-decomposition of source-reconstructed EEG is a reliable computational technique to explore how dynamics of spatiotemporal features of the resting-state cortical activity occur that oscillate at distinct frequencies.


title: Cold-atmospheric plasma induces tumor cell death in preclinical in vivo and in vitro models of human cholangiocarcinoma

abstract: Through the last decade, cold atmospheric plasma (CAP) has emerged as an innovative therapeutic option for cancer treatment. Recently, we have set up a potentially safe atmospheric pressure plasma jet device that displays antitumoral properties in a preclinical model of cholangiocarcinoma (CCA), a rare and very aggressive cancer emerging from the biliary tree with few efficient treatments. In the present study, we aimed at deciphering the molecular mechanisms underlying the antitumor effects of CAP towards CCA both in an in vivo and in vitro context. In vivo, using subcutaneous xenografts into immunocompromised mice, CAP treatment of CCA induced DNA lesions and tumor cell apoptosis, as evaluated by 8-oxoguanine and cleaved caspase-3 immunohistochemistry, respectively. Analysis of the tumor microenvironment showed changes in markers related to macrophage polarization. In vitro, incubation of CCA cells with CAP-treated culture media (i.e. plasma-activated media, PAM) led to a dose response decrease in cell survival. At molecular level, CAP treatment induced double-strand DNA breaks, followed by an increased phosphorylation and activation of the cell cycle master regulators CHK1 and p53, leading to cell cycle arrest and cell death by apoptosis. In conclusion, CAP is a novel therapeutic option to consider for CCA in the future.


title: Rigorous derivation and well-posedness of a quasi-homogeneous ideal MHD system

abstract: The goal of this paper is twofold. On the one hand, we introduce a quasi-homogeneous version of the classical ideal MHD system and study its well-posedness in critical Besov spaces $B^s_{p,r}(\mathbb{R}^d)$, $d\geq2$, with $1<p<+\infty$ and under the Lipschitz condition $s>1+d/p$ and $r\in[1,+\infty]$, or $s=1+d/p$ and $r=1$. A key ingredient is the reformulation of the system \textsl{via} the so-called Els\"asser variables. On the other hand, we give a rigorous justification of quasi-homogeneous MHD models, both in the ideal and in the dissipative cases: when $d=2$, we will derive them from a non-homogeneous incompressible MHD system with Coriolis force, in the regime of low Rossby number and for small density variations around a constant state. Our method of proof relies on a relative entropy inequality for the primitive system, and yields precise rates of convergence, depending on the size of the initial data, on the order of the Rossby number and on the regularity of the viscosity and resistivity coefficients.


title: Spatially modulated and supersymmetric mass deformations of $\mathcal{N}=4$ SYM

abstract: We study mass deformations of $\mathcal{N}=4$, $d=4$ SYM theory that are spatially modulated in one spatial dimension and preserve some residual supersymmetry. We focus on generalisations of $\mathcal{N}=1^*$ theories and show that it is also possible, for suitably chosen supersymmetric masses, to preserve $d=3$ conformal symmetry associated with a co-dimension one interface. Holographic solutions can be constructed using $D=5$ theories of gravity that arise from consistent truncations of $SO(6)$ gauged supergravity and hence type IIB supergravity. For the mass deformations that preserve $d=3$ superconformal symmetry we construct a rich set of Janus solutions of $\mathcal{N}=4$ SYM theory which have the same coupling constant on either side of the interface. Limiting classes of these solutions give rise to RG interface solutions with $\mathcal{N}=4$ SYM on one side of the interface and the Leigh-Strassler (LS) SCFT on the other, and also to a Janus solution for the LS theory. Another limiting solution is a new supersymmetric $AdS_4\times S^1\times S^5$ solution of type IIB supergravity.


title: Comparison of Multiplexing Policies for FPS Games in terms of Subjective Quality

abstract: This paper compares two policies which can be used for multiplexing the traffic of a number of players of a First Person Shooter game. A network scenario in which a number of players share an access network has been simulated, in order to compare the policies in terms of a subjective quality estimator. The first policy, namely timeout, achieves higher bandwidth savings, while the second one, period, introduces less delay and jitter. The results show that the difference in terms of QoE is only significant when the number of players is small. Thus, in order to make the correct decision, the concrete network scenario and the characteristics of the router would have to be considered in each case, taking into account the estimation of the subjective quality that can be expected.


title: Towards a direct measure of the Galactic acceleration

abstract: High precision spectrographs can enable not only the discovery of exoplanets, but can also provide a fundamental measurement in Galactic dynamics. Over about ten year baselines, the expected change in the line-of-sight velocity due to the Galaxy's gravitational field for stars at $\sim$ kpc scale distances above the Galactic mid-plane is $\sim$ few - 10 cm/s, and may be detectable by the current generation of high precision spectrographs. Here, we provide theoretical expectations for this measurement based on both static models of the Milky Way and isolated Milky Way simulations, as well from controlled dynamical simulations of the Milky Way interacting with dwarf galaxies. We simulate a population synthesis model to analyze the contribution of planets and binaries to the Galactic acceleration signal. We find that while low-mass, long-period planetary companions are a contaminant to the Galactic acceleration signal, their contribution is very small. Our analysis of $\sim$ ten years of data from the LCES HIRES/Keck precision radial velocity (RV) survey shows that slopes of the RV curves of standard RV stars agree with expectations of the local Galactic acceleration near the Sun within the errors, and that the error in the slope scales inversely as the square root of the number of observations. Thus, we demonstrate that a survey of stars with low intrinsic stellar jitter at kpc distances above the Galactic mid-plane for realistic sample sizes can enable a direct determination of the dark matter density.


title: Mass Dimension One Fermions

abstract: In 2005, Dharam Ahluwalia and Daniel Grumiller reported an unexpected theoretical discovery of mass dimension one fermions. These are an entirely new class of spin one half particles, and because of their mass dimensionality mismatch with the standard model fermions they are a first-principle dark matter candidate. Written by one of the physicists involved in the discovery, this is the first book to outline the discovery of mass dimension one fermions. Using a foundation of Lorentz algebra it provides a detailed construction of the eigenspinors of the charge conjugation operator (Elko) and their properties. The theory of dual spaces is then covered, before mass dimension one fermions are discussed in detail. With mass dimension one fermions having applications to cosmology and high energy physics, this book is essential for graduate students and researchers in quantum field theory, mathematical physics, and particle theory.


title: Gravitational-wave signal of a core-collapse supernova explosion of a 15 Solar mass star

abstract: We report on the gravitational wave signal computed in the context of a three-dimensional simulation of a core collapse supernova explosion of a 15 Solar mass star. The simulation was performed with our neutrino hydrodynamics code Chimera. We detail the gravitational wave strains as a function of time, for both polarizations, and discuss their physical origins. We also present the corresponding spectral signatures. Gravitational wave emission in our model has two key features: low-frequency emission (< 200 Hz) emanates from the gain layer as a result of neutrino-driven convection and the SASI and high-frequency emission (> 600 Hz) emanates from the proto-neutron star due to Ledoux convection within it. The high-frequency emission dominates the gravitational wave emission in our model and emanates largely from the convective layer itself, not from the convectively stable layer above it, due to convective overshoot. Moreover, the low-frequency emission emanates from the gain layer itself, not from the proto-neutron star, due to accretion onto it. We provide evidence of the SASI in our model and demonstrate that the peak of our low-frequency gravitational wave emission spectrum corresponds to it. Given its origin in the gain layer, we classify the SASI emission in our model as p-mode emission and assign a purely acoustic origin, not a vortical-acoustic origin, to it. Our dominant proto-neutron star gravitational wave emission is not well characterized by emission from surface g-modes, complicating the relationship between peak frequencies observed and the mass and radius of the proto-neutron star expressed by analytic estimates under the assumption of surface g-mode emission. We present our frequency normalized characteristic strain along with the sensitivity curves of current- and next-generation gravitational wave detectors.


title: Bounding the number of arithmetical structures on graphs

abstract: Let $G$ be a connected undirected graph on $n$ vertices with no loops but possibly multiedges. Given an arithmetical structure $(\textbf{r}, \textbf{d})$ on $G$, we describe a construction which associates to it a graph $G'$ on $n-1$ vertices and an arithmetical structure $(\textbf{r}', \textbf{d}')$ on $G'$. By iterating this construction, we derive an upper bound for the number of arithmetical structures on $G$ depending only on the number of vertices and edges of $G$. In the specific case of complete graphs, possibly with multiple edges, we refine and compare our upper bounds to those arising from counting unit fraction representations.


title: A superconducting nanowire spiking element for neural networks

abstract: As the limits of traditional von Neumann computing come into view, the brain's ability to communicate vast quantities of information using low-power spikes has become an increasing source of inspiration for alternative architectures. Key to the success of these largescale neural networks is a power-efficient spiking element that is scalable and easily interfaced with traditional control electronics. In this work, we present a spiking element fabricated from superconducting nanowires that has pulse energies on the order of ~10 aJ. We demonstrate that the device reproduces essential characteristics of biological neurons, such as a refractory period and a firing threshold. Through simulations using experimentally measured device parameters, we show how nanowire-based networks may be used for inference in image recognition, and that the probabilistic nature of nanowire switching may be exploited for modeling biological processes and for applications that rely on stochasticity.

categories: q-bio.NC cond-mat.supr-con cs.ET cs.NE physics.app-ph


title: Book Embeddings of Graph Products

abstract: A $k$-stack layout (also called a $k$-page book embedding) of a graph consists of a total order of the vertices, and a partition of the edges into $k$ sets of non-crossing edges with respect to the vertex order. The stack number (book thickness, page number) of a graph is the minimum $k$ such that it admits a $k$-stack layout. A $k$-queue layout is defined similarly, except that no two edges in a single set may be nested. It was recently proved that graphs of various non-minor-closed classes are subgraphs of the strong product of a path and a graph with bounded treewidth. Motivated by this decomposition result, we explore stack layouts of graph products. We show that the stack number is bounded for the strong product of a path and (i) a graph of bounded pathwidth or (ii) a bipartite graph of bounded treewidth and bounded degree. The results are obtained via a novel concept of simultaneous stack-queue layouts, which may be of independent interest.


title: Cross-Modal Hierarchical Modelling for Fine-Grained Sketch Based Image Retrieval

abstract: Sketch as an image search query is an ideal alternative to text in capturing the fine-grained visual details. Prior successes on fine-grained sketch-based image retrieval (FG-SBIR) have demonstrated the importance of tackling the unique traits of sketches as opposed to photos, e.g., temporal vs. static, strokes vs. pixels, and abstract vs. pixel-perfect. In this paper, we study a further trait of sketches that has been overlooked to date, that is, they are hierarchical in terms of the levels of detail -- a person typically sketches up to various extents of detail to depict an object. This hierarchical structure is often visually distinct. In this paper, we design a novel network that is capable of cultivating sketch-specific hierarchies and exploiting them to match sketch with photo at corresponding hierarchical levels. In particular, features from a sketch and a photo are enriched using cross-modal co-attention, coupled with hierarchical node fusion at every level to form a better embedding space to conduct retrieval. Experiments on common benchmarks show our method to outperform state-of-the-arts by a significant margin.


title: Social Influences in Recommendation Systems

abstract: Social networking sites such as Flickr and Facebook allow users to share content with family, friends, and interest groups. Also, tags can often assign to resources. In the previous research using few association rules FAR, we have seen that high-quality and efficient association-based tag recommendation is possible, but the set-up that we considered was very generic and did not take social information into account. The proposed method in the previous paper, FAR, in particular, exhibited a favorable trade-off between recommendation quality and runtime. Unfortunately, recommendation quality is unlikely to be optimal because the algorithms are not aware of any social information that may be available. Two proposed approaches take a more social view on tag recommendation regarding the issue: social contact variants and social groups of interest. The user data is varied and used as a source of associations. The adoption of social contact variants has two approaches. The first social variant is User-centered Knowledge, to contrast Collective Knowledge. It improves tag recommendation by grouping historic tag data according to friend relationships and interests. The second variant is dubbed 'social batched personomy' and attempts to address both quality and scalability issues by processing queries in batches instead of individually, such as done in a conventional personomy approach. For the social group of interest, 'community batched personomy' is proposed to provide better accuracy groups of recommendation systems in contrast also to Collective Knowledge. By taking social information into account can enhance the performance of recommendation systems.


title: Energy-Efficient UAV-Assisted Mobile Edge Computing: Resource Allocation and Trajectory Optimization

abstract: In this paper, we study unmanned aerial vehicle (UAV) assisted mobile edge computing (MEC) with the objective to optimize computation offloading with minimum UAV energy consumption. In the considered scenario, a UAV plays the role of an aerial cloudlet to collect and process the computation tasks offloaded by ground users. Given the service requirements of users, we aim to maximize UAV energy efficiency by jointly optimizing the UAV trajectory, the user transmit power, and computation load allocation. The resulting optimization problem corresponds to nonconvex fractional programming, and the Dinkelbach algorithm and the successive convex approximation (SCA) technique are adopted to solve it. Furthermore, we decompose the problem into multiple subproblems for distributed and parallel problem solving. To cope with the case when the knowledge of user mobility is limited, we adopt a spatial distribution estimation technique to predict the location of ground users so that the proposed approach can still be applied. Simulation results demonstrate the effectiveness of the proposed approach for maximizing the energy efficiency of UAV.


title: A probabilistic proof of a lemma that is not Burnside's

abstract: We give a probabilistic proof of the orbit-counting lemma.


title: OrcVIO: Object residual constrained Visual-Inertial Odometry

abstract: Introducing object-level semantic information into simultaneous localization and mapping (SLAM) system is critical. It not only improves the performance but also enables tasks specified in terms of meaningful objects. This work presents OrcVIO, for visual-inertial odometry tightly coupled with tracking and optimization over structured object models. OrcVIO differentiates through semantic feature and bounding-box reprojection errors to perform batch optimization over the pose and shape of objects. The estimated object states aid in real-time incremental optimization over the IMU-camera states. The ability of OrcVIO for accurate trajectory estimation and large-scale object-level mapping is evaluated using real data.


title: Localization with One-Bit Passive Radars in Narrowband Internet-of-Things using Multivariate Polynomial Optimization

abstract: Several Internet-of-Things (IoT) applications provide location-based services, wherein it is critical to obtain accurate position estimates by aggregating information from individual sensors. In the recently proposed narrowband IoT (NB-IoT) standard, which trades off bandwidth to gain wide coverage, the location estimation is compounded by the low sampling rate receivers and limited-capacity links. We address both of these NB-IoT drawbacks in the framework of passive sensing devices that receive signals from the target-of-interest. We consider the limiting case where each node receiver employs one-bit analog-to-digital-converters and propose a novel low-complexity nodal delay estimation method using constrained-weighted least squares minimization. To support the low-capacity links to the fusion center (FC), the range estimates obtained at individual sensors are then converted to one-bit data. At the FC, we propose target localization with the aggregated one-bit range vector using both optimal and sub-optimal techniques. The computationally expensive former approach is based on Lasserre's method for multivariate polynomial optimization while the latter employs our less complex iterative joint r\textit{an}ge-\textit{tar}get location \textit{es}timation (ANTARES) algorithm. Our overall one-bit framework not only complements the low NB-IoT bandwidth but also supports the design goal of inexpensive NB-IoT location sensing. Numerical experiments demonstrate feasibility of the proposed one-bit approach with a $0.6$\% increase in the normalized localization error for the small set of $20$-$60$ nodes over the full-precision case. When the number of nodes is sufficiently large ($>80$), the one-bit methods yield the same performance as the full precision.


title: Outlier-Robust Estimation: Hardness, Minimally Tuned Algorithms, and Applications

abstract: Nonlinear estimation in robotics and vision is typically plagued with outliers due to wrong data association, or to incorrect detections from signal processing and machine learning methods. This paper introduces two unifying formulations for outlier-robust estimation, Generalized Maximum Consensus (G-MC) and Generalized Truncated Least Squares (G-TLS), and investigates fundamental limits, practical algorithms, and applications. Our first contribution is a proof that outlier-robust estimation is inapproximable: in the worst case, it is impossible to (even approximately) find the set of outliers, even with slower-than-polynomial-time algorithms (particularly, algorithms running in quasi-polynomial time). As a second contribution, we review and extend two general-purpose algorithms. The first, Adaptive Trimming (ADAPT), is combinatorial, and is suitable for G-MC; the second, Graduated Non-Convexity (GNC), is based on homotopy methods, and is suitable for G-TLS. We extend ADAPT and GNC to the case where the user does not have prior knowledge of the inlier-noise statistics (or the statistics may vary over time) and is unable to guess a reasonable threshold to separate inliers from outliers (as the one commonly used in RANSAC). We propose the first minimally tuned algorithms for outlier rejection, that dynamically decide how to separate inliers from outliers. Our third contribution is an evaluation of the proposed algorithms on robot perception problems: mesh registration, image-based object detection (shape alignment), and pose graph optimization. ADAPT and GNC execute in real-time, are deterministic, outperform RANSAC, and are robust up to 80-90% outliers. Their minimally tuned versions also compare favorably with the state of the art, even though they do not rely on a noise bound for the inliers.


title: Quantum-enhanced algorithms for classical target detection in complex environments

abstract: Quantum computational approaches to some classic target identification and localization algorithms, especially for radar images, are investigated, and are found to raise a number of quantum statistics and quantum measurement issues with much broader applicability. Such algorithms are computationally intensive, involving coherent processing of large sensor data sets in order to extract a small number of low profile targets from a cluttered background. Target enhancement is accomplished through accurate statistical characterization of the environment, followed by optimal identification of statistical outliers. The key result of the work is that the environmental covariance matrix estimation and manipulation at the heart of the statistical analysis actually enables a highly efficient quantum implementation. The algorithm is inspired by recent approaches to quantum machine learning, but requires significant extensions, including previously overlooked `quantum analog--digital' conversion steps (which are found to substantially increase the required number of qubits), `quantum statistical' generalization of the classic phase estimation and Grover search algorithms, and careful consideration of projected measurement operations. Application regimes where quantum efficiencies could enable significant overall algorithm speedup are identified. Key possible bottlenecks, such as data loading and conversion, are identified as well.


title: Almost avoiding permutations

abstract: We investigate the notion of almost avoiding a permutation: $\pi$ almost avoids $\beta$ if one can remove a single entry from $\pi$ to obtain a $\beta$-avoiding permutation.


title: Large colloidal probes for atomic force microscopy: fabrication and calibration issues

abstract: Atomic force microscopy (AFM) is a powerful tool to investigate interaction forces at the micro and nanoscale. Cantilever stiffness, dimensions and geometry of the tip can be chosen according to the requirements of the specific application, in terms of spatial resolution and force sensitivity. Colloidal probes (CPs), obtained by attaching a spherical particle to a tipless (TL) cantilever, offer several advantages for accurate force measurements: tunable and well-characterisable radius; higher averaging capabilities (at the expense of spatial resolution) and sensitivity to weak interactions; a well-defined interaction geometry (sphere on flat), which allows accurate and reliable data fitting by means of analytical models. The dynamics of standard AFM probes has been widely investigated, and protocols have been developed for the calibration of the cantilever spring constant. Nevertheless the dynamics of CPs, and in particular of large CPs, with radius well above 10 um and mass comparable, or larger, than the cantilever mass, is at present still poorly characterised. Here we describe the fabrication and calibration of (large) CPs. We describe and discuss the peculiar dynamical behaviour of CPs, and present an alternative protocol for the accurate calibration of the spring constant.

categories: physics.app-ph cond-mat.mes-hall physics.ins-det q-bio.QM


title: Reinvestigation of the intrinsic magnetic properties of (Fe$_{1-x}$Co$_x$)$_2$B alloys and crystallization behavior of ribbons

abstract: New determination of the magnetic anisotropy from single crystals of (Fe$_{1-x}$Co$_x$)$_2$B alloys are presented. The anomalous temperature dependence of the anisotropy constant is discussed using the standard Callen-Callen theory, which is shown to be insufficient to explain the experimental results. A more material specific study using first-principles calculations with disordered moments approach gives a much more consistent interpretation of the experimental data. Since the intrinsic properties of the alloys with $x=0.3-0.35$ are promising for permanent magnets applications, initial investigation of the extrinsic properties are described, in particular the crystallization of melt spun ribbons with Cu, Al, and Ti additions. Previous attempts at developing a significant hysteresis have been unsuccessful in this system. Our melt-spinning experiment indicates that this system shows rapid crystallization.


title: Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach

abstract: Ever since the outbreak of the COVID-19 epidemic, various public health control strategies have been proposed and tested against the coronavirus SARS-CoV-2. We study three specific COVID-19 epidemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control; the SEIR model with shield immunity control; and the susceptible, un-quarantined infected, quarantined infected, confirmed infected (SUQC) model with quarantine control. We express the control requirement in metric temporal logic (MTL) formulas (a type of formal specification languages) which can specify the expected control outcomes such as "the deaths from the infection should never exceed one thousand per day within the next three months" or "the population immune from the disease should eventually exceed 200 thousand within the next 100 to 120 days". We then develop methods for synthesizing control strategies with MTL specifications. To the best of our knowledge, this is the first paper to systematically synthesize control strategies based on the COVID-19 epidemic models with formal specifications. We provide simulation results in three different case studies: vaccination control for the COVID-19 epidemic with model parameters estimated from data in Lombardy, Italy; shield immunity control for the COVID-19 epidemic with model parameters estimated from data in Lombardy, Italy; and quarantine control for the COVID-19 epidemic with model parameters estimated from data in Wuhan, China. The results show that the proposed synthesis approach can generate control inputs such that the time-varying numbers of individuals in each category (e.g., infectious, immune) satisfy the MTL specifications. The results also show that early intervention is essential in mitigating the spread of COVID-19, and more control effort is needed for more stringent MTL specifications.


title: An Insurance Contract Design to Boost Storage Participation in the Electricity Market

abstract: Energy storage technologies are key to improving grid flexibility in the presence of increasing amounts of intermittent renewable generation. We propose an insurance contract that suitably compensates energy storage systems for providing flexibility. Such a contract provides a wider range of market opportunities for these systems while also incentivizing higher renewable penetration in the grid. We consider a day-ahead market in which generators, including renewables and storage owners, bid to be scheduled for the next operating day. Due to production uncertainty, renewable generators may be unable to meet their day-ahead production schedule, and thus be subject to a penalty. As a hedge against these penalties, we propose an insurance contract between a renewable producer and a storage owner, in which the storage reserves some energy to be used in case of renewable shortfalls. We show that such a contract incentivizes the renewable player to bid higher, thus increasing renewable participation in the electricity mix. It also provides an extra source of revenue for storage owners that may not be profitable with a purely arbitrage-based strategy in the day-ahead market. Further, we prove this contract is economically beneficial for both players. We validate our analysis through two case studies.


title: On the Galois map for groupoid actions

abstract: Some conditions for the Galois map to be injective are given in the groupoid acting on a noncommutative ring context. In the particular case in which the Galois extension is a central Galois algebra, it is given a complete characterization of that kind of extension with Galois map bijective.


title: Phenotypic variability in Italian rice germplasm

abstract: Plant breeding is one of the key strategies for further enhancement of crop yields; however, effective breeding strategies require phenotypic characterisation of the available germplasm. This study sought to characterise the phenotypic expression of fourteen crop traits related to phenology, plant architecture, and yield in a panel of 40 cultivars selected to represent the phenotypic variability present in Italian rice germplasm during a two-season field experiment. The observed range of phenotypic variation was high for many traits (coefficients of variation ranging from 5.9\% to 45.4\%) including yield (mean: 6.47 t ha\textsuperscript{-1}; CV: 15.4\%; min: 2.19 t ha\textsuperscript{-1}; max: 8.95 t ha\textsuperscript{-1}), and multiple strong associations emerged in all the analysed traits. Cluster analysis extracted three groups of genotypes characterised by alternative yield strategies, i.e. "high-tillering", "early maturing", and "increased source-sink". Our findings highlight that rice yield decrease when one strategy is overemphasised. In contrast, the highest-yielding genotypes have a balanced ratio between sink and source organs, along with a proportional duration of vegetative and reproductive phases. This study depicts the phenotypic variability in Italian rice cultivars and proposes a novel classification based on yield-related traits which could be of use in multiple rice breeding applications.


title: Minors of a skew symmetric matrix: A combinatorial approach

abstract: We use Knuth's combinatorial approach to Pfaffians to reprove and clarify a century-old formula, due to Brill. It expresses arbitrary minors of a skew symmetric matrix in terms of Pfaffians.


title: Caustics in gravitational lensing by mixed binary systems

abstract: We investigate binary lenses with $1/r^n$ potentials in the asymmetric case with two lenses with different indexes $n$ and $m$. These kinds of potentials have been widely used in several contexts, ranging from galaxies with halos described by different power laws to lensing by wormholes or exotic matter. In this paper, we present a complete atlas of critical curves and caustics for mixed binaries, starting from the equal-strength case, and then exploring unequal-strength systems. We also calculate the transitions between all different topology regimes. Finally we find some useful analytic approximations for the wide binary case and for the extreme unequal-strength case.


title: Characterizing Quasar CIV Emission-line Measurements from Time-resolved Spectroscopy

abstract: We use multi-epoch quasar spectroscopy to determine how accurately single-epoch spectroscopy can locate quasars in emission-line parameter space in order to inform investigations where time-resolved spectroscopy is not available. We explore the improvements in emission-line characterization that result from using non-parametric information from many lines as opposed to a small number of parameters for a single line, utilizing reconstructions based on an independent component analysis applied to the data from the Sloan Digital Sky Survey Reverberation Mapping project. We find that most of the quasars are well described by just two components, while more components signal a quasar likely to yield a successful reverberation mapping analysis. In single-epoch spectroscopy the apparent variability of equivalent width is exaggerated because it is dependent on the continuum. Multi-epoch spectroscopy reveals that single-epoch results do not significantly change where quasars are located in CIV parameter space and do not have a significant impact on investigations of the global Baldwin Effect. Quasars with emission line properties indicative of higher $L/L_{Edd}$ are less variable, consistent with models with enhanced accretion disk density. Narrow absorption features at the systemic redshift may be indicative of orientation (including radio-quiet quasars) and may appear in as much as 20% of the quasar sample. Future work applying these techniques to lower luminosity quasars will be important for understanding the nature of accretion disk winds.


title: Exploiting stance hierarchies for cost-sensitive stance detection of Web documents

abstract: Fact checking is an essential challenge when combating fake news. Identifying documents that agree or disagree with a particular statement (claim) is a core task in this process. In this context, stance detection aims at identifying the position (stance) of a document towards a claim. Most approaches address this task through a 4-class classification model where the class distribution is highly imbalanced. Therefore, they are particularly ineffective in detecting the minority classes (for instance, 'disagree'), even though such instances are crucial for tasks such as fact-checking by providing evidence for detecting false claims. In this paper, we exploit the hierarchical nature of stance classes, which allows us to propose a modular pipeline of cascading binary classifiers, enabling performance tuning on a per step and class basis. We implement our approach through a combination of neural and traditional classification models that highlight the misclassification costs of minority classes. Evaluation results demonstrate state-of-the-art performance of our approach and its ability to significantly improve the classification performance of the important 'disagree' class.


title: Deep Keypoint-Based Camera Pose Estimation with Geometric Constraints

abstract: Estimating relative camera poses from consecutive frames is a fundamental problem in visual odometry (VO) and simultaneous localization and mapping (SLAM), where classic methods consisting of hand-crafted features and sampling-based outlier rejection have been a dominant choice for over a decade. Although multiple works propose to replace these modules with learning-based counterparts, most have not yet been as accurate, robust and generalizable as conventional methods. In this paper, we design an end-to-end trainable framework consisting of learnable modules for detection, feature extraction, matching and outlier rejection, while directly optimizing for the geometric pose objective. We show both quantitatively and qualitatively that pose estimation performance may be achieved on par with the classic pipeline. Moreover, we are able to show by end-to-end training, the key components of the pipeline could be significantly improved, which leads to better generalizability to unseen datasets compared to existing learning-based methods.


title: An electro-thermal computational study of conducting channels in dielectric thin films using self-consistent phase-field methodology: A view toward the physical origins of resistive switching

abstract: A large number of experimental studies suggest two-terminal resistive switching devices made of a dielectric thin film sandwiched by a pair of electrodes exhibit reversible multi-state switching behaviors; however coherent understanding of physical and chemical origins of their electrical properties needs to be further pursued to improve and customize the performance. In this paper, phase-field methodology is used to study the formation and annihilation of conductive channels resulting in reversible resistive switching behaviors that can generally occur in any dielectric thin films. Our focus is on the dynamical evolution of domains made of electrical charges under the influence of spatially varying electric field and temperature resulting in distinctive changes in electrical conductance.


title: Foveation for Segmentation of Ultra-High Resolution Images

abstract: Segmentation of ultra-high resolution images is challenging because of their enormous size, consisting of millions or even billions of pixels. Typical solutions include dividing input images into patches of fixed size and/or down-sampling to meet memory constraints. Such operations incur information loss in the field-of-view (FoV) i.e., spatial coverage and the image resolution. The impact on segmentation performance is, however, as yet understudied. In this work, we start with a motivational experiment which demonstrates that the trade-off between FoV and resolution affects the segmentation performance on ultra-high resolution images---and furthermore, its influence also varies spatially according to the local patterns in different areas. We then introduce foveation module, a learnable "dataloader" which, for a given ultra-high resolution image, adaptively chooses the appropriate configuration (FoV/resolution trade-off) of the input patch to feed to the downstream segmentation model at each spatial location of the image. The foveation module is jointly trained with the segmentation network to maximise the task performance. We demonstrate on three publicly available high-resolution image datasets that the foveation module consistently improves segmentation performance over the cases trained with patches of fixed FoV/resolution trade-off. Our approach achieves the SoTA performance on the DeepGlobe aerial image dataset. On the Gleason2019 histopathology dataset, our model achieves better segmentation accuracy for the two most clinically important and ambiguous classes (Gleason Grade 3 and 4) than the top performers in the challenge by 13.1% and 7.5%, and improves on the average performance of 6 human experts by 6.5% and 7.5%. Our code and trained models are available at $\text{https://github.com/lxasqjc/Foveation-Segmentation}$.