title: Block Ciphers Substitution Box Generation Based on Natural Randomness in Underwater Acoustics and Knights Tour Chain

abstract: The protection of confidential information is a global issue and block encryption algorithms are the most reliable option. The famous information theorist, Claude Shannon has given two desirable characteristics that should exist in a strong cipher which are substitution and permutation in their fundamental research on Communication Theory of Secrecy Systems. block ciphers strictly follow the substitution and permutation principle to generate a ciphertext. The actual strength of the block ciphers against several attacks is entirely based on its substitution characteristic, which is gained by using the S-Box. In the current literature, algebraic structure-based and chaos-based techniques are highly used for the construction of S-boxes because both these techniques have favourable features for S-box construction, but also various attacks of these techniques have been identified. True randomness has been universally recognized as the ideal method for cipher primitives design because true random numbers are unpredictable, irreversible, and unreproducible. The basic concept of the proposed technique is the extraction of true random bits from underwater acoustic waves and to design a novel technique for the dynamic generation of S-boxes using the chain of knights tour. The proposed method satisfies all standard evaluation tests of S-boxes construction and true random numbers generation. Two million bits have been analyzed using the NIST randomness test suite, and the results show that underwater sound waves are an impeccable entropy source for true randomness. Additionally, our dynamically generated S-boxes have better or equal strength, over the latest published S-boxes (2020 to 2021). According to our knowledge first time, this type of research has been done, in which natural randomness of underwater acoustic waves has been used for the construction of block cipher's S-Box


title: DRLComplex: Reconstruction of protein quaternary structures using deep reinforcement learning

abstract: Predicted inter-chain residue-residue contacts can be used to build the quaternary structure of protein complexes from scratch. However, only a small number of methods have been developed to reconstruct protein quaternary structures using predicted inter-chain contacts. Here, we present an agent-based self-learning method based on deep reinforcement learning (DRLComplex) to build protein complex structures using inter-chain contacts as distance constraints. We rigorously tested DRLComplex on two standard datasets of homodimeric and heterodimeric protein complexes (i.e., the CASP-CAPRI homodimer and Std_32 heterodimer datasets) using both true and predicted interchain contacts as inputs. Utilizing true contacts as input, DRLComplex achieved high average TM-scores of 0.9895 and 0.9881 and a low average interface RMSD (I_RMSD) of 0.2197 and 0.92 on the two datasets, respectively. When predicted contacts are used, the method achieves TM-scores of 0.73 and 0.76 for homodimers and heterodimers, respectively. Our experiments find that the accuracy of reconstructed quaternary structures depends on the accuracy of the contact predictions. Compared to other optimization methods for reconstructing quaternary structures from inter-chain contacts, DRLComplex performs similar to an advanced gradient descent method and better than a Markov Chain Monte Carlo simulation method and a simulated annealing-based method, validating the effectiveness of DRLComplex for quaternary reconstruction of protein complexes.


title: Dynamic Response of an Electron Gas: Towards the Exact Exchange-Correlation Kernel

abstract: Precise calculations of dynamics in the homogeneous electron gas (jellium model) are of fundamental importance for design and characterization of new materials. We introduce a diagrammatic Monte Carlo technique based on algorithmic Matsubara integration that allows us to compute frequency and momentum resolved finite temperature response directly in the real frequency domain using series of connected Feynman diagrams. The data for charge response at moderate electron density are used to extract the frequency dependence of the exchange-correlation kernel at finite momenta and temperature. These results are as important for development of the time-dependent density functional theory for materials dynamics as ground state energies are for the density functional theory.


title: A Simplified Treatment of Ramana's Exact Dual for Semidefinite Programming

abstract: In semidefinite programming the dual may fail to attain its optimal value and there could be a duality gap, i.e., the primal and dual optimal values may differ. In a striking paper, Ramana proposed a polynomial size extended dual that does not have these deficiencies and yields a number of fundamental results in complexity theory. In this work we walk the reader through a concise and self-contained derivation of Ramana's dual, relying mostly on elementary linear algebra.


title: On the monomial algebra associated to the monomial characters of a finite group

abstract: Given a finite group $G$, we study the monomial algebra $R_G$, generated by the monomial characters of $G$. In particular, we note that the integral closure of $R_G$ is contained in the algebra generated by those characters $\chi$ for which their associated Artin L-function $L(s,\chi)$ is holomorphic at $s_0\in\mathbb C\setminus\{1\}$. Also, we discuss the supercharacter theoretic case.


title: Multiwinner Elections under Minimax Chamberlin-Courant Rule in Euclidean Space

abstract: We consider multiwinner elections in Euclidean space using the minimax Chamberlin-Courant rule. In this setting, voters and candidates are embedded in a $d$-dimensional Euclidean space, and the goal is to choose a committee of $k$ candidates so that the rank of any voter's most preferred candidate in the committee is minimized. (The problem is also equivalent to the ordinal version of the classical $k$-center problem.) We show that the problem is NP-hard in any dimension $d \geq 2$, and also provably hard to approximate. Our main results are three polynomial-time approximation schemes, each of which finds a committee with provably good minimax score. In all cases, we show that our approximation bounds are tight or close to tight. We mainly focus on the $1$-Borda rule but some of our results also hold for the more general $r$-Borda.


title: VectorAdam for Rotation Equivariant Geometry Optimization

abstract: The Adam optimization algorithm has proven remarkably effective for optimization problems across machine learning and even traditional tasks in geometry processing. At the same time, the development of equivariant methods, which preserve their output under the action of rotation or some other transformation, has proven to be important for geometry problems across these domains. In this work, we observe that Adam $-$ when treated as a function that maps initial conditions to optimized results $-$ is not rotation equivariant for vector-valued parameters due to per-coordinate moment updates. This leads to significant artifacts and biases in practice. We propose to resolve this deficiency with VectorAdam, a simple modification which makes Adam rotation-equivariant by accounting for the vector structure of optimization variables. We demonstrate this approach on problems in machine learning and traditional geometric optimization, showing that equivariant VectorAdam resolves the artifacts and biases of traditional Adam when applied to vector-valued data, with equivalent or even improved rates of convergence.


title: MyoSuite -- A contact-rich simulation suite for musculoskeletal motor control

abstract: Embodied agents in continuous control domains have had limited exposure to tasks allowing to explore musculoskeletal properties that enable agile and nimble behaviors in biological beings. The sophistication behind neuro-musculoskeletal control can pose new challenges for the motor learning community. At the same time, agents solving complex neural control problems allow impact in fields such as neuro-rehabilitation, as well as collaborative-robotics. Human biomechanics underlies complex multi-joint-multi-actuator musculoskeletal systems. The sensory-motor system relies on a range of sensory-contact rich and proprioceptive inputs that define and condition muscle actuation required to exhibit intelligent behaviors in the physical world. Current frameworks for musculoskeletal control do not support physiological sophistication of the musculoskeletal systems along with physical world interaction capabilities. In addition, they are neither embedded in complex and skillful motor tasks nor are computationally effective and scalable to study large-scale learning paradigms. Here, we present MyoSuite -- a suite of physiologically accurate biomechanical models of elbow, wrist, and hand, with physical contact capabilities, which allow learning of complex and skillful contact-rich real-world tasks. We provide diverse motor-control challenges: from simple postural control to skilled hand-object interactions such as turning a key, twirling a pen, rotating two balls in one hand, etc. By supporting physiological alterations in musculoskeletal geometry (tendon transfer), assistive devices (exoskeleton assistance), and muscle contraction dynamics (muscle fatigue, sarcopenia), we present real-life tasks with temporal changes, thereby exposing realistic non-stationary conditions in our tasks which most continuous control benchmarks lack.


title: Exploring General Ap\'ery Limits via the Zudilin-Straub t-transform

abstract: Inspired by a recent beautiful construction of Armin Straub and Wadim Zudilin, that 'tweaked' the sum of the $s^{th}$ powers of the $n$-th row of Pascal's triangle, getting instead of sequences of numbers, sequences of rational functions, we do the same for general binomial coefficients sums, getting a practically unlimited supply of Ap\'ery limits. While getting what we call "major Ap\'ery miracles", proving irrationality of the associated constants (i.e. the so-called Ap\'ery limits) is very rare, we do get, every time, at least a "minor Ap\'ery miracle" where an explicit constant, defined as an (extremely slowly-converging) limit of some explicit sequence, is expressed as an Ap\'ery limit of some recurrence, with some initial conditions, thus enabling a very fast computation of that constant, with exponentially decaying error.


title: Consistent and fast inference in compartmental models of epidemics using Poisson Approximate Likelihoods

abstract: Addressing the challenge of scaling-up epidemiological inference to complex and heterogeneous models, we introduce Poisson Approximate Likelihood (PAL) methods. In contrast to the popular ODE approach to compartmental modelling, in which a large population limit is used to motivate a deterministic model, PALs are derived from approximate filtering equations for finite-population, stochastic compartmental models, and the large population limit drives consistency of maximum PAL estimators. Our theoretical results appear to be the first likelihood-based parameter estimation consistency results which apply to a broad class of partially observed stochastic compartmental models and address the large population limit. PALs are simple to implement, involving only elementary arithmetic operations and no tuning parameters, and fast to evaluate, requiring no simulation from the model and having computational cost independent of population size. Through examples we demonstrate how PALs can be used to: fit an age-structured model of influenza, taking advantage of automatic differentiation in Stan; compare over-dispersion mechanisms in a model of rotavirus by embedding PALs within sequential Monte Carlo; and evaluate the role of unit-specific parameters in a meta-population model of measles.


title: Tensor Program Optimization with Probabilistic Programs

abstract: Automatic optimization for tensor programs becomes increasingly important as we deploy deep learning in various environments, and efficient optimization relies on a rich search space and effective search. Most existing efforts adopt a search space which lacks the ability to efficiently enable domain experts to grow the search space. This paper introduces MetaSchedule, a domain-specific probabilistic programming language abstraction to construct a rich search space of tensor programs. Our abstraction allows domain experts to analyze the program, and easily propose stochastic choices in a modular way to compose program transformation accordingly. We also build an end-to-end learning-driven framework to find an optimized program for a given search space. Experimental results show that MetaSchedule can cover the search space used in the state-of-the-art tensor program optimization frameworks in a modular way. Additionally, it empowers domain experts to conveniently grow the search space and modularly enhance the system, which brings 48% speedup on end-to-end deep learning workloads.


title: Cosmology with cosmic voids

abstract: Cosmic voids constitute promising cosmological laboratories. However, a full description of all the redshift-space effects that affect observational measurements is mandatory in order to obtain unbiased cosmological constraints. We make a description in a nutshell of these effects and lay the theoretical foundations for designing reliable cosmological tests based on the void size function and the void-galaxy cross-correlation function. We show that modern spectroscopic surveys offer a high signal-to-noise ratio to detect and study them.


title: Coxeter theory for curves on blowups of $\mathbb{P}^r$

abstract: We investigate the study of smooth irreducible rational curves in $Y_s^r$, a general blowup of $\mathbb{P}^r$ at $s$ general points, whose normal bundle splits as a direct sum of line bundles all of degree $i$, for $i \in \{-1,0,1\}$: we call these $(i)$-curves. We systematically exploit the theory of Coxeter groups applied to the Chow space of curves in $Y_s^r$, which provides us with a useful bilinear form that helps to expose properties of $(i)$-curves. We are particularly interested in the orbits of lines (through $1-i$ points) under the Weyl group of standard Cremona transformations (all of which are $(i)$-curves): we call these $(i)$-Weyl lines. We prove various theorems related to understanding when an $(i)$-curve is an $(i)$-Weyl line, via numerical criteria expressed in terms of the bilinear form. We obtain stronger results for $r=3$, where we prove a Noether-type inequality that gives a sharp criterion.


title: Likely optical counterpart of the cool middle-aged pulsar J1957+5033

abstract: The 840 kyr old pulsar PSR J1957+5033, detected so far only in $\gamma$- and X-rays, is a nearby and rather cool neutron star with a temperature of 0.2--0.3 MK, a distance of $\la$1 kpc, and a small colour reddening excess $E(B-V) \approx 0.03$. These properties make it an ideal candidate to detect in the optical to get additional constraints on its parameters. We thus performed the first deep optical observations of the pulsar with the 10.4-meter Gran Telescopio Canarias in the $g'$ band and found its possible counterpart with $g'=27.63\pm 0.26$. The counterpart candidate position is consistent with the X-ray coordinates of the pulsar within the 0.5 arcsec accuracy. Assuming that this is the real counterpart, we analysed the pulsar X-ray spectrum together with the derived optical flux density. As a result, we found that the thermal emission from the bulk surface of the cooling neutron star can significantly contribute to its optical flux. Our multi-wavelength spectral analysis favours the pulsar nature of the detected optical source, since it provides physically adequate parameters of the pulsar emission. We show that the optical data can provide new constraints on the pulsar temperature and distance.


title: Self-supervised Pretraining and Transfer Learning Enable Flu and COVID-19 Predictions in Small Mobile Sensing Datasets

abstract: Detailed mobile sensing data from phones, watches, and fitness trackers offer an unparalleled opportunity to quantify and act upon previously unmeasurable behavioral changes in order to improve individual health and accelerate responses to emerging diseases. Unlike in natural language processing and computer vision, deep representation learning has yet to broadly impact this domain, in which the vast majority of research and clinical applications still rely on manually defined features and boosted tree models or even forgo predictive modeling altogether due to insufficient accuracy. This is due to unique challenges in the behavioral health domain, including very small datasets (~10^1 participants), which frequently contain missing data, consist of long time series with critical long-range dependencies (length>10^4), and extreme class imbalances (>10^3:1). Here, we introduce a neural architecture for multivariate time series classification designed to address these unique domain challenges. Our proposed behavioral representation learning approach combines novel tasks for self-supervised pretraining and transfer learning to address data scarcity, and captures long-range dependencies across long-history time series through transformer self-attention following convolutional neural network-based dimensionality reduction. We propose an evaluation framework aimed at reflecting expected real-world performance in plausible deployment scenarios. Concretely, we demonstrate (1) performance improvements over baselines of up to 0.15 ROC AUC across five prediction tasks, (2) transfer learning-induced performance improvements of 16% PR AUC in small data scenarios, and (3) the potential of transfer learning in novel disease scenarios through an exploratory case study of zero-shot COVID-19 prediction in an independent data set. Finally, we discuss potential implications for medical surveillance testing.


title: Topological Hidden Markov Models

abstract: The hidden Markov model (HMM) is a classic modeling tool with a wide swath of applications. Its inception considered observations restricted to a finite alphabet, but it was quickly extended to multivariate continuous distributions. In this article, we further extend the HMM from mixtures of normal distributions in $d$-dimensional Euclidean space to general Gaussian measure mixtures in locally convex topological spaces. The main innovation is the use of the Onsager-Machlup functional as a proxy for the probability density function in infinite dimensional spaces. This allows for choice of a Cameron-Martin space suitable for a given application. We demonstrate the versatility of this methodology by applying it to simulated diffusion processes such as Brownian and fractional Brownian sample paths as well as the Ornstein-Uhlenbeck process. Our methodology is applied to the identification of sleep states from overnight polysomnography time series data with the aim of diagnosing Obstructive Sleep Apnea in pediatric patients. It is also applied to a series of annual cumulative snowfall curves from 1940 to 1990 in the city of Edmonton, Alberta.


title: Variable Selection for Individualized Treatment Rules with Discrete Outcomes

abstract: An individualized treatment rule (ITR) is a decision rule that aims to improve individual patients health outcomes by recommending optimal treatments according to patients specific information. In observational studies, collected data may contain many variables that are irrelevant for making treatment decisions. Including all available variables in the statistical model for the ITR could yield a loss of efficiency and an unnecessarily complicated treatment rule, which is difficult for physicians to interpret or implement. Thus, a data-driven approach to select important tailoring variables with the aim of improving the estimated decision rules is crucial. While there is a growing body of literature on selecting variables in ITRs with continuous outcomes, relatively few methods exist for discrete outcomes, which pose additional computational challenges even in the absence of variable selection. In this paper, we propose a variable selection method for ITRs with discrete outcomes. We show theoretically and empirically that our approach has the double robustness property, and that it compares favorably with other competing approaches. We illustrate the proposed method on data from a study of an adaptive web-based stress management tool to identify which variables are relevant for tailoring treatment.


title: Entanglement and coherence in Bernstein-Vazirani algorithm

abstract: Quantum algorithms allow to outperform their classical counterparts in various tasks, most prominent example being Shor's algorithm for efficient prime factorization on a quantum computer. It is clear that one of the reasons for the speedup is the superposition principle of quantum mechanics, which allows a quantum processor to be in a superposition of different states at the same time. While such superposition can lead to entanglement across different qubits of the processors, there also exists quantum algorithms which outperform classical ones using superpositions of individual qubits without entangling them. As an example, the Bernstein-Vazirani algorithm allows one to determine a bit string encoded into an oracle. While the classical version of the algorithm requires multiple calls of the oracle to learn the bit string, a single query of the oracle is enough in the quantum case. In this Letter, we analyze in detail the quantum resources in the Bernstein-Vazirani algorithm. For this, we introduce and study its probabilistic version, where the goal is to guess the bit string after a single call of the oracle. We show that in the absence of entanglement, the performance of the algorithm is directly related to the amount of quantum coherence in the initial state. We further demonstrate that a large amount of entanglement in the initial state prevents the algorithm from achieving optimal performance. We also apply our methods to quantum computation with mixed states, proving that pseudopure states achieve optimal performance for a given purity in the Bernstein-Vazirani algorithm. We further investigate quantum resources in the one clean qubit model, showing that the model can exhibit speedup over any known classical algorithm even with arbitrary little amount of multipartite entanglement, general quantum correlations, and coherence.


title: Trigonometric polynomials with frequencies in the set of squares

abstract: Let $\gamma_0=\frac{\sqrt5-1}{2}=0.618\ldots$ . We prove that, for any $\varepsilon>0$ and any trigonometric polynomial $f$ with frequencies in the set $\{n^2: N \leqslant n\leqslant N+N^{\gamma_0-\varepsilon}\}$, the inequality $$ \|f\|_4 \ll \varepsilon^{-1/4}\|f\|_2 $$ holds, which makes a progress on a conjecture of Cilleruelo and Cordoba. We also present a connection between this conjecture and the conjecture of Ruzsa which asserts that, for any $\varepsilon>0$, there is $C(\varepsilon)>0$ such that each positive integer $N$ has at most $C(\varepsilon)$ divisors in the interval $[N^{1/2}, N^{1/2}+N^{1/2-\varepsilon}]$


title: Role of Quantum Coherence in Thermodynamics

abstract: We find necessary and sufficient conditions to determine the inter-convertibility of quantum systems under time-translation covariant evolution, and use it to solve several problems in quantum thermodynamics both in the single-shot and asymptotic regimes. It is well known that the resource theory of quantum athermality is not reversible, but in PRL 111, 250404 (2013) it was claimed that the theory becomes reversible ``provided a sublinear amount of coherent superposition over energy levels is available". Here we show that if a sublinear amount of coherence among energy levels were considered free, then the resource theory of athermality would become trivial. Instead, we show that by considering a sublinear amount of energy to be free, the theory of athermality becomes reversible for the pure-state case. A proof of the same claim for the mixed-state case is still lacking.


title: Circumventing Backdoor Defenses That Are Based on Latent Separability

abstract: Recent studies revealed that deep learning is susceptible to backdoor poisoning attacks. An adversary can embed a hidden backdoor into a model to manipulate its predictions by only modifying a few training data, without controlling the training process. Currently, a tangible signature has been widely observed across a diverse set of backdoor poisoning attacks -- models trained on a poisoned dataset tend to learn separable latent representations for poison and clean samples. This latent separation is so pervasive that a family of backdoor defenses directly take it as a default assumption (dubbed latent separability assumption), based on which to identify poison samples via cluster analysis in the latent space. An intriguing question consequently follows: is the latent separation unavoidable for backdoor poisoning attacks? This question is central to understanding whether the assumption of latent separability provides a reliable foundation for defending against backdoor poisoning attacks. In this paper, we design adaptive backdoor poisoning attacks to present counter-examples against this assumption. Our methods include two key components: (1) a set of trigger-planted samples correctly labeled to their semantic classes (other than the target class) that can regularize backdoor learning; (2) asymmetric trigger planting strategies that help to boost attack success rate (ASR) as well as to diversify latent representations of poison samples. Extensive experiments on benchmark datasets verify the effectiveness of our adaptive attacks in bypassing existing latent separation based backdoor defenses. Moreover, our attacks still maintain a high attack success rate with negligible clean accuracy drop. Our studies call for defense designers to take caution when leveraging latent separation as an assumption in their defenses.


title: Emergent organization of receptive fields in networks of excitatory and inhibitory neurons

abstract: Local patterns of excitation and inhibition that can generate neural waves are studied as a computational mechanism underlying the organization of neuronal tunings. Sparse coding algorithms based on networks of excitatory and inhibitory neurons are proposed that exhibit topographic maps as the receptive fields are adapted to input stimuli. Motivated by a leaky integrate-and-fire model of neural waves, we propose an activation model that is more typical of artificial neural networks. Computational experiments with the activation model using both natural images and natural language text are presented. In the case of images, familiar "pinwheel" patterns of oriented edge detectors emerge; in the case of text, the resulting topographic maps exhibit a 2-dimensional representation of granular word semantics. Experiments with a synthetic model of somatosensory input are used to investigate how the network dynamics may affect plasticity of neuronal maps under changes to the inputs.


title: Limit distributions of branching Markov chains

abstract: We study branching Markov chains on a countable state space (space of types) $\mathscr{X}$, with the focus on the qualitative aspects of the limit behaviour of the evolving empirical population distributions. No conditions are imposed on the multitype offspring distributions at the points of $\mathscr{X}$ other than to have the same average and to satisfy a uniform $L \log L$ moment condition. We show that the arising population martingale is uniformly integrable. Convergence of population averages of the branching chain is then put in connection with stationary spaces of the associated ordinary Markov chain on $\mathscr{X}$ (assumed to be irreducible and transient). This is applied, in particular, to the boundaries of appropriate compactifications of $\mathscr{X}$. Final considerations consider the general interplay between the measure theoretic boundaries of the branching chain and the associated ordinary chain.


title: Towards A Proactive ML Approach for Detecting Backdoor Poison Samples

abstract: Adversaries can embed backdoors in deep learning models by introducing backdoor poison samples into training datasets. In this work, we investigate how to detect such poison samples to mitigate the threat of backdoor attacks. First, we uncover a post-hoc workflow underlying most prior work, where defenders passively allow the attack to proceed and then leverage the characteristics of the post-attacked model to uncover poison samples. We reveal that this workflow does not fully exploit defenders' capabilities, and defense pipelines built on it are prone to failure or performance degradation in many scenarios. Second, we suggest a paradigm shift by promoting a proactive mindset in which defenders engage proactively with the entire model training and poison detection pipeline, directly enforcing and magnifying distinctive characteristics of the post-attacked model to facilitate poison detection. Based on this, we formulate a unified framework and provide practical insights on designing detection pipelines that are more robust and generalizable. Third, we introduce the technique of Confusion Training (CT) as a concrete instantiation of our framework. CT applies an additional poisoning attack to the already poisoned dataset, actively decoupling benign correlation while exposing backdoor patterns to detection. Empirical evaluations on 4 datasets and 14 types of attacks validate the superiority of CT over 14 baseline defenses.


title: Demystifying Approximate Value-based RL with $\epsilon$-greedy Exploration: A Differential Inclusion View

abstract: Q-learning and SARSA with $\epsilon$-greedy exploration are leading reinforcement learning methods. Their tabular forms converge to the optimal Q-function under reasonable conditions. However, with function approximation, these methods exhibit strange behaviors such as policy oscillation, chattering, and convergence to different attractors (possibly even the worst policy) on different runs, apart from the usual instability. A theory to explain these phenomena has been a long-standing open problem, even for basic linear function approximation (Sutton, 1999). Our work uses differential inclusion to provide the first framework for resolving this problem. We also provide numerical examples to illustrate our framework's prowess in explaining these algorithms' behaviors.


title: Phantom Sponges: Exploiting Non-Maximum Suppression to Attack Deep Object Detectors

abstract: Adversarial attacks against deep learning-based object detectors have been studied extensively in the past few years. Most of the attacks proposed have targeted the model's integrity (i.e., caused the model to make incorrect predictions), while adversarial attacks targeting the model's availability, a critical aspect in safety-critical domains such as autonomous driving, have not yet been explored by the machine learning research community. In this paper, we propose a novel attack that negatively affects the decision latency of an end-to-end object detection pipeline. We craft a universal adversarial perturbation (UAP) that targets a widely used technique integrated in many object detector pipelines -- non-maximum suppression (NMS). Our experiments demonstrate the proposed UAP's ability to increase the processing time of individual frames by adding "phantom" objects that overload the NMS algorithm while preserving the detection of the original objects which allows the attack to go undetected for a longer period of time.


title: Fairness in Recommendation: Foundations, Methods and Applications

abstract: As one of the most pervasive applications of machine learning, recommender systems are playing an important role on assisting human decision making. The satisfaction of users and the interests of platforms are closely related to the quality of the generated recommendation results. However, as a highly data-driven system, recommender system could be affected by data or algorithmic bias and thus generate unfair results, which could weaken the reliance of the systems. As a result, it is crucial to address the potential unfairness problems in recommendation settings. Recently, there has been growing attention on fairness considerations in recommender systems with more and more literature on approaches to promote fairness in recommendation. However, the studies are rather fragmented and lack a systematic organization, thus making it difficult to penetrate for new researchers to the domain. This motivates us to provide a systematic survey of existing works on fairness in recommendation. This survey focuses on the foundations for fairness in recommendation literature. It first presents a brief introduction about fairness in basic machine learning tasks such as classification and ranking in order to provide a general overview of fairness research, as well as introduce the more complex situations and challenges that need to be considered when studying fairness in recommender systems. After that, the survey will introduce fairness in recommendation with a focus on the taxonomies of current fairness definitions, the typical techniques for improving fairness, as well as the datasets for fairness studies in recommendation. The survey also talks about the challenges and opportunities in fairness research with the hope of promoting the fair recommendation research area and beyond.


title: Optical Continuum Reverberation in the Dwarf Seyfert Nucleus of NGC 4395

abstract: The nearby dwarf spiral galaxy NGC 4395 contains a broad-lined active galactic nucleus (AGN) of exceptionally low luminosity powered by accretion onto a central black hole of very low mass ($\sim10^4-10^5$ M$_\odot$). In order to constrain the size of the optical continuum emission region through reverberation mapping, we carried out high-cadence photometric monitoring of NGC 4395 in the $griz$ filter bands on two consecutive nights in 2022 April using the four-channel MuSCAT3 camera on the Faulkes Telescope North at Haleakal\={a} Observatory. Correlated variability across the $griz$ bands is clearly detected, and the $r$, $i$, and $z$ band light curves show lags of $8.4^{+1.0}_{-1.1}$, $14.2^{+1.2}_{-1.4}$, and $20.4^{+2.0}_{-2.1}$ minutes with respect to the $g$ band when measured using the full-duration light curves. When lags are measured for each night separately, the Night 2 data exhibit lower cross-correlation amplitudes and shorter lags than the Night 1 light curves. Using the full-duration lags, we find that the lag-wavelength relationship is consistent with the $\tau\propto\lambda^{4/3}$ dependence found for more luminous AGN. Combining our results with continuum lags measured for other objects, the lag between $g$ and $z$ band scales with optical continuum luminosity as $\tau_{gz} \propto L^{0.56\pm0.05}$, similar to the scaling of broad-line region size with luminosity, reinforcing recent evidence that diffuse continuum emission from the broad-line region may contribute substantially to optical continuum variability and reverberation lags.


title: Differentially Private Decoding in Large Language Models

abstract: Recent large-scale natural language processing (NLP) systems use a pre-trained Large Language Model (LLM) on massive and diverse corpora as a headstart. In practice, the pre-trained model is adapted to a wide array of tasks via fine-tuning on task-specific datasets. LLMs, while effective, have been shown to memorize instances of training data thereby potentially revealing private information processed during pre-training. The potential leakage might further propagate to the downstream tasks for which LLMs are fine-tuned. On the other hand, privacy-preserving algorithms usually involve retraining from scratch, which is prohibitively expensive for LLMs. In this work, we propose a simple, easy to interpret, and computationally lightweight perturbation mechanism to be applied to an already trained model at the decoding stage. Our perturbation mechanism is model-agnostic and can be used in conjunction with any LLM. We provide theoretical analysis showing that the proposed mechanism is differentially private, and experimental results showing a privacy-utility trade-off.


title: Optimising the shape of photometric redshift distributions with clustering cross-correlations

abstract: We present an optimisation method for the assignment of photometric galaxies into a chosen set of redshift bins. This is achieved by combining simulated annealing, an optimisation algorithm inspired by solid-state physics, with an unsupervised machine learning method, a self-organising map (SOM) of the observed colours of galaxies. Starting with a sample of galaxies that is divided into redshift bins based on a photometric redshift point estimate, the simulated annealing algorithm repeatedly reassigns SOM-selected subsamples of galaxies, which are close in colour, to alternative redshift bins. We optimise the clustering cross-correlation signal between photometric galaxies and a reference sample of galaxies with well-calibrated redshifts. Depending on the effect on the clustering signal, the reassignment is either accepted or rejected. By dynamically increasing the resolution of the SOM, the algorithm eventually converges to a solution that minimises the number of mismatched galaxies in each tomographic redshift bin and thus improves the compactness of their corresponding redshift distribution. This method is demonstrated on the synthetic LSST cosmoDC2 catalogue. We find a significant decrease in the fraction of catastrophic outliers in the redshift distribution in all tomographic bins, most notably in the highest redshift bin with a decrease in the outlier fraction from 57 per cent to 16 per cent.


title: Hybrid Neural Autoencoders for Stimulus Encoding in Visual and Other Sensory Neuroprostheses

abstract: Sensory neuroprostheses are emerging as a promising technology to restore lost sensory function or augment human capabilities. However, sensations elicited by current devices often appear artificial and distorted. Although current models can predict the neural or perceptual response to an electrical stimulus, an optimal stimulation strategy solves the inverse problem: what is the required stimulus to produce a desired response? Here, we frame this as an end-to-end optimization problem, where a deep neural network stimulus encoder is trained to invert a known and fixed forward model that approximates the underlying biological system. As a proof of concept, we demonstrate the effectiveness of this Hybrid Neural Autoencoder (HNA) in visual neuroprostheses. We find that HNA produces high-fidelity patient-specific stimuli representing handwritten digits and segmented images of everyday objects, and significantly outperforms conventional encoding strategies across all simulated patients. Overall this is an important step towards the long-standing challenge of restoring high-quality vision to people living with incurable blindness and may prove a promising solution for a variety of neuroprosthetic technologies.


title: Faster Optimization on Sparse Graphs via Neural Reparametrization

abstract: In mathematical optimization, second-order Newton's methods generally converge faster than first-order methods, but they require the inverse of the Hessian, hence are computationally expensive. However, we discover that on sparse graphs, graph neural networks (GNN) can implement an efficient Quasi-Newton method that can speed up optimization by a factor of 10-100x. Our method, neural reparametrization, modifies the optimization parameters as the output of a GNN to reshape the optimization landscape. Using a precomputed Hessian as the propagation rule, the GNN can effectively utilize the second-order information, reaching a similar effect as adaptive gradient methods. As our method solves optimization through architecture design, it can be used in conjunction with any optimizers such as Adam and RMSProp. We show the application of our method on scientifically relevant problems including heat diffusion, synchronization and persistent homology.


title: Tsallis Relative entropy from asymmetric distributions as a risk measure for financial portfolios

abstract: In an earlier study, we showed that Tsallis relative entropy (TRE), which is the generalization of Kullback-Leibler relative entropy (KLRE) to non-extensive systems, can be used as a possible risk measure in constructing risk optimal portfolios whose returns beat market returns. Over a long term (> 10 years), the risk-return profiles from TRE as the risk measure show a more consistent behavior than those from the commonly used risk measure 'beta' of the Capital Asset Pricing Model (CAPM). In these investigations, the model distributions derived from TRE are symmetric. However, observations show that distributions of the returns of financial markets and equities are in general asymmetric in positive and negative returns. In this work, we generalize TRE for the asymmetric case (ATRE) by considering the data distribution as a linear combination of two independent normalized distributions - one for negative returns and one for positive returns. Each of these two independent distributions are half q-Gaussians with different non-extensivity parameter q and temperature parameter b. The risk-return (in excess of market returns) patterns are investigated using ATRE as the risk measure. The results are compared with those from two other risk measures: TRE and the Tsallis relative entropy S- derived from the negative returns only. Tests on data, which include the dot-com bubble, the 2008 crash, and COVID periods, for both long (20 years) and shorter terms (10 years), show that a linear fit can be obtained for the risk-excess return profiles of all three risk measures. However, the fits for portfolios created during the chaotic market conditions (crashes) using S- as the risk show a much higher slope pointing to higher returns for a given risk value. Further, in this case, the excess returns of even short-term portfolios remain positive irrespective of the market behavior.


title: Production of light antinuclei in $pp$ collisions by dynamical coalescence and their fluxes in cosmic rays near earth

abstract: Light antinucleus yields are calculated in a multiphase transport model (AMPT) coupled with a dynamical coalescence model. The model is tuned to reproduce the transverse momentum and rapidity distributions of antiproton in $pp$ collisions at $\rm \sqrt{s}$ = 7.7 GeV to 7 TeV. By applying a widely used cosmic ray propagation model, the antinucleus fluxes near the earth are estimated over a broad range of kinetic energies. Our result on the antideuteron flux is consistent with the calculations in the literature, while our upper limit on the antihelium-3 flux sits in-between calculations in the field that span an order of magnitude in its value. This study suggests that further accurate estimation of secondary antihelium-3 flux could be improved with more ground-based experiments and model simulations. Most importantly, our value of antinucleus background from hadronic source is far below the projected sensitivity of AMS-02 with 5 years of integration time, which supports the idea of searching for new physics by measurements of light antinuclei in upcoming decade.


title: Experimental Design for Linear Functionals in Reproducing Kernel Hilbert Spaces

abstract: Optimal experimental design seeks to determine the most informative allocation of experiments to infer an unknown statistical quantity. In this work, we investigate the optimal design of experiments for {\em estimation of linear functionals in reproducing kernel Hilbert spaces (RKHSs)}. This problem has been extensively studied in the linear regression setting under an estimability condition, which allows estimating parameters without bias. We generalize this framework to RKHSs, and allow for the linear functional to be only approximately inferred, i.e., with a fixed bias. This scenario captures many important modern applications, such as estimation of gradient maps, integrals, and solutions to differential equations. We provide algorithms for constructing bias-aware designs for linear functionals. We derive non-asymptotic confidence sets for fixed and adaptive designs under sub-Gaussian noise, enabling us to certify estimation with bounded error with high probability.


title: Decaying warm dark matter revisited

abstract: Decaying dark matter models provide a physically motivated way of channeling energy between the matter and radiation sectors. In principle, this could affect the predicted value of the Hubble constant in such a way as to accommodate the discrepancies between CMB inferences and local measurements of the same. Here, we revisit the model of warm dark matter decaying non-relativistically to invisible radiation. In particular, we rederive the background and perturbation equations starting from a decaying neutrino model and describe a new, computationally efficient method of computing the decay product perturbations up to large multipoles. We conduct MCMC analyses to constrain all three model parameters, for the first time including the mass of the decaying species, and assess the ability of the model to alleviate the Hubble and $\sigma_8$ tensions, the latter being the discrepancy between the CMB and weak gravitational lensing constraints on the amplitude of matter fluctuations on an $8 h^{-1}$ Mpc$^{-1}$ scale. We find that the model reduces the $H_0$ tension from $\sim 4 \sigma$ to $\sim 3 \sigma$ and neither alleviates nor worsens the $S_8 \equiv \sigma_8 (\Omega_m/0.3)^{0.5}$ tension, ultimately showing only mild improvements with respect to $\Lambda$CDM. However, the values of the model-specific parameters favoured by data is found to be well within the regime of relativistic decays where inverse processes are important, rendering a conclusive evaluation of the decaying warm dark matter model open to future work.


title: Deep Sensor Fusion with Pyramid Fusion Networks for 3D Semantic Segmentation

abstract: Robust environment perception for autonomous vehicles is a tremendous challenge, which makes a diverse sensor set with e.g. camera, lidar and radar crucial. In the process of understanding the recorded sensor data, 3D semantic segmentation plays an important role. Therefore, this work presents a pyramid-based deep fusion architecture for lidar and camera to improve 3D semantic segmentation of traffic scenes. Individual sensor backbones extract feature maps of camera images and lidar point clouds. A novel Pyramid Fusion Backbone fuses these feature maps at different scales and combines the multimodal features in a feature pyramid to compute valuable multimodal, multi-scale features. The Pyramid Fusion Head aggregates these pyramid features and further refines them in a late fusion step, incorporating the final features of the sensor backbones. The approach is evaluated on two challenging outdoor datasets and different fusion strategies and setups are investigated. It outperforms recent range view based lidar approaches as well as all so far proposed fusion strategies and architectures.


title: Resolvent Analysis of laminar and turbulent duct flows

abstract: This work applies resolvent analysis to incompressible flow through a rectangular duct, in order to identify dominant linear energy-amplification mechanisms present in such flows. In particular, we formulate the resolvent operator from linearizing the Navier--Stokes equations about a two-dimensional base/mean flow. The laminar base flow only has a nonzero streamwise velocity component, while the turbulent case exhibits a secondary mean flow (Prandtl's secondary flow of the second kind). A singular value decomposition of the resolvent operator allows for the identification of structures corresponding to maximal energy amplification, for specified streamwise wavenumbers and temporal frequencies. Resolvent analysis has been fruitful for analysis of wall-bounded flows with spanwise homogeneity, and here we aim to explore how such methods and findings can extend for a flow in spatial domains of finite spanwise extent. We investigate how linear energy-amplification mechanisms (in particular the response to harmonic forcing) change in magnitude and structure as the aspect ratio (defined as the duct width divided by its height) varies between one (a square duct) and ten. We additionally study the effect that secondary flow has on linear energy-amplification mechanisms, finding that in different regimes it can either enhance or suppress amplification. We further investigate how the secondary flow alters the forcing and response mode shapes leading to maximal linear energy amplification.


title: Size-Dependent Nucleation in Crystal Phase Transition from Machine Learning Metadynamics

abstract: In this work, we present an efficient framework that combines machine learning potential (MLP) and metadynamics to explore multi-dimensional free energy surfaces for investigating solid-solid phase transition. Based on the spectral descriptors and neural networks regression, we have developed a computationally scalable MLP model to warrant an accurate interpolation of the energy surface where two phases coexist. Applying the framework to the metadynamics simulation of B4-B1 phase transition of GaN under 50 GPa with different model sizes, we observe the sequential change of phase transition mechanism from collective modes to nucleation and growths. When the system size is at or below 128 000 atoms, the nucleation and growth appear to follow a preferred direction. At larger sizes, the nucleation tends to occur at multiple sites simultaneously and grow to microstructures by passing the critical size. The observed change of atomistic mechanism manifests the importance of statistical sampling with large system size. The combination of MLP and metadynamics is likely to be applicable to a broad class of induced reconstructive phase transitions at extreme conditions.


title: Operation of Cs-Sb-O activated GaAs in a high voltage DC electron gun at high average current

abstract: Negative Electron Affinity (NEA) activated GaAs photocathodes are the most popular option for generating a high current (> 1 mA) spin-polarized electron beam. Despite its popularity, a short operational lifetime is the main drawback of this material. Recent works have shown that the lifetime can be improved by using a robust Cs-Sb-O NEA layer with minimal adverse effects. In this work, we operate GaAs photocathodes with this new activation method in a high voltage environment to extract a high current. We observed spectral dependence on the lifetime improvement. In particular, we saw a 45% increase in the lifetime at 780 nm for Cs-Sb-O activated GaAs compared to Cs-O activated GaAs.


title: Clustering-Based Average State Observer Design for Large-Scale Network Systems

abstract: This paper addresses the aggregated monitoring problem for large-scale network systems with a few dedicated sensors. Full state estimation of such systems is often infeasible due to unobservability and/or computational infeasibility. Therefore, through clustering and aggregation, a tractable representation of a network system, called a projected network system, is obtained for designing a minimum-order average state observer. This observer estimates the average states of the clusters, which are identified with explicit consideration to the estimation error. Moreover, given the clustering, the proposed observer design algorithm exploits the structure of the estimation error dynamics to achieve computational tractability. Simulations show that the computation of the proposed algorithm is significantly faster than the usual $\mathcal{H}_2/\mathcal{H}_\infty$ observer design techniques. On the other hand, compromise on the estimation error characteristics is shown to be marginal.


title: BagFlip: A Certified Defense against Data Poisoning

abstract: Machine learning models are vulnerable to data-poisoning attacks, in which an attacker maliciously modifies the training set to change the prediction of a learned model. In a trigger-less attack, the attacker can modify the training set but not the test inputs, while in a backdoor attack the attacker can also modify test inputs. Existing model-agnostic defense approaches either cannot handle backdoor attacks or do not provide effective certificates (i.e., a proof of a defense). We present BagFlip, a model-agnostic certified approach that can effectively defend against both trigger-less and backdoor attacks. We evaluate BagFlip on image classification and malware detection datasets. BagFlip is equal to or more effective than the state-of-the-art approaches for trigger-less attacks and more effective than the state-of-the-art approaches for backdoor attacks.


title: RIGID: Robust Linear Regression with Missing Data

abstract: We present a robust framework to perform linear regression with missing entries in the features. By considering an elliptical data distribution, and specifically a multivariate normal model, we are able to conditionally formulate a distribution for the missing entries and present a robust framework, which minimizes the worst case error caused by the uncertainty about the missing data. We show that the proposed formulation, which naturally takes into account the dependency between different variables, ultimately reduces to a convex program, for which a customized and scalable solver can be delivered. In addition to a detailed analysis to deliver such solver, we also asymptoticly analyze the behavior of the proposed framework, and present technical discussions to estimate the required input parameters. We complement our analysis with experiments performed on synthetic, semi-synthetic, and real data, and show how the proposed formulation improves the prediction accuracy and robustness, and outperforms the competing techniques. Missing data is a common problem associated with many datasets in machine learning. With the significant increase in using robust optimization techniques to train machine learning models, this paper presents a novel robust regression framework that operates by minimizing the uncertainty associated with missing data. The proposed approach allows training models with incomplete data, while minimizing the impact of uncertainty associated with the unavailable data. The ideas developed in this paper can be generalized beyond linear models and elliptical data distributions.


title: Quark: Controllable Text Generation with Reinforced Unlearning

abstract: Large-scale language models often learn behaviors that are misaligned with user expectations. Generated text may contain offensive or toxic language, contain significant repetition, or be of a different sentiment than desired by the user. We consider the task of unlearning these misalignments by fine-tuning the language model on signals of what not to do. We introduce Quantized Reward Konditioning (Quark), an algorithm for optimizing a reward function that quantifies an (un)wanted property, while not straying too far from the original model. Quark alternates between (i) collecting samples with the current language model, (ii) sorting them into quantiles based on reward, with each quantile identified by a reward token prepended to the language model's input, and (iii) using a standard language modeling loss on samples from each quantile conditioned on its reward token, while remaining nearby the original language model via a KL-divergence penalty. By conditioning on a high-reward token at generation time, the model generates text that exhibits less of the unwanted property. For unlearning toxicity, negative sentiment, and repetition, our experiments show that Quark outperforms both strong baselines and state-of-the-art reinforcement learning methods like PPO (Schulman et al. 2017), while relying only on standard language modeling primitives.


title: Towards analytical calculation of the magnetic flux measured by magnetometers

abstract: This paper reviews magnetic flux signal calculations through pick-up loops using vector spherical harmonic expansion under the quasi-static approximation, and presents a near-analytical method of evaluating the flux through arbitrary parametrizable pick-up loops for each expansion degree. This is done by simplifying the surface flux integral (2D) into a line integral (1D). For the special case of tangential circular sensors, we present a fully analytical recursion calculation. We then compare commonly-used cubature approximations to our (near-)analytical forms, and show that cubature approximations suffer from increasing errors for higher spatial frequency components. This suggests the need for more accurate evaluations for increasingly sensitive sensors that are being developed, and our (near-)analytical forms themselves are a solution to this problem.


title: Critical Metrics and Covering Number

abstract: In both quantum computing and black hole physics, it is natural to regard some deformations, infinitesimal unitaries, as \emph{easy} and others as \emph{hard}. This has lead to a renewed examination of right-invariant metrics on $\operatorname{SU}(2^N)$. It has been hypothesized that there is a critical such metric -- in the sense of phase transitions -- and a conjectural form suggested. In this note we explore a restriction that the ring structure on cohomology places on the global geometry of a critical metric.


title: A Model Predictive Control Functional Continuous Time Bayesian Network for Self-Management of Multiple Chronic Conditions

abstract: Multiple chronic conditions (MCC) are one of the biggest challenges of modern times. The evolution of MCC follows a complex stochastic process that is influenced by a variety of risk factors, ranging from pre-existing conditions to modifiable lifestyle behavioral factors (e.g. diet, exercise habits, tobacco use, alcohol use, etc.) to non-modifiable socio-demographic factors (e.g., age, gender, education, marital status, etc.). People with MCC are at an increased risk of new chronic conditions and mortality. This paper proposes a model predictive control functional continuous time Bayesian network, an online recursive method to examine the impact of various lifestyle behavioral changes on the emergence trajectories of MCC and generate strategies to minimize the risk of progression of chronic conditions in individual patients. The proposed method is validated based on the Cameron county Hispanic cohort (CCHC) dataset, which has a total of 385 patients. The dataset examines the emergence of 5 chronic conditions (diabetes, obesity, cognitive impairment, hyperlipidemia, and hypertension) based on four modifiable risk factors representing lifestyle behaviors (diet, exercise habits, tobacco use, alcohol use) and four non-modifiable risk factors, including socio-demographic information (age, gender, education, marital status). The proposed method is tested under different scenarios (e.g., age group, the prior existence of MCC), demonstrating the effective intervention strategies for improving the lifestyle behavioral risk factors to offset MCC evolution.


title: Spatio-temporally separable non-linear latent factor learning: an application to somatomotor cortex fMRI data

abstract: Functional magnetic resonance imaging (fMRI) data contain complex spatiotemporal dynamics, thus researchers have developed approaches that reduce the dimensionality of the signal while extracting relevant and interpretable dynamics. Models of fMRI data that can perform whole-brain discovery of dynamical latent factors are understudied. The benefits of approaches such as linear independent component analysis models have been widely appreciated, however, nonlinear extensions of these models present challenges in terms of identification. Deep learning methods provide a way forward, but new methods for efficient spatial weight-sharing are critical to deal with the high dimensionality of the data and the presence of noise. Our approach generalizes weight sharing to non-Euclidean neuroimaging data by first performing spectral clustering based on the structural and functional similarity between voxels. The spectral clusters and their assignments can then be used as patches in an adapted multi-layer perceptron (MLP)-mixer model to share parameters among input points. To encourage temporally independent latent factors, we use an additional total correlation term in the loss. Our approach is evaluated on data with multiple motor sub-tasks to assess whether the model captures disentangled latent factors that correspond to each sub-task. Then, to assess the latent factors we find further, we compare the spatial location of each latent factor to the motor homunculus. Finally, we show that our approach captures task effects better than the current gold standard of source signal separation, independent component analysis (ICA).


title: Gender differences in research grant allocation -- a mixed picture

abstract: Gender bias in grant allocation is a deviation from the principle that scientific merit should guide grant decisions. However, most studies on gender bias in grant allocation focus on gender differences in success rates, without including variables that measure merit. This study has two main contributions. Firstly, it includes several merit variables in the analysis. Secondly, it includes an analysis at the panel level where the selection process takes place, and this enables to study bias more in-depth at the process level. The findings are: (i) After controlling for merit, a consistent pattern of gender bias was found in the scores: women receive significant lower grades than men do. (ii) The scores are an input into the two-step decision-making process, and this study shows bias against women in the first selection decision where 75% of the applications are rejected, and bias in favor of women in the second (final) selection decision. (iii) At the level of individual panels, the analysis shows a mixed pattern of bias: in some panels the odds for women to receive a grant are lower than for men, whereas in other panels we find the opposite, next to panels with gender-neutral decision making. (iv) In the case under study, at an aggregated level the allocation of grants seems balanced. (v) The mixed pattern at panel level seems to relate characteristics such as the panel composition, and the level of gender stereotyping.


title: Heavy + heavy and heavy + light pseudoscalar to vector semileptonic transitions

abstract: Using a symmetry-preserving regularisation of a vector$\times$vector contact interaction (SCI), we complete a systematic treatment of twelve semileptonic transitions with vector meson final states: $D\to \rho$, $D_{(s)}\to K^\ast$, $D_s\to \phi$, $B\to \rho$, $B_s\to K^\ast$, $B_{(s)}\to D_{(s)}^\ast$, $B_c \to B_{(s)}^\ast, J/\psi, D^\ast$; and thereby finalise a unified analysis of semileptonic decays of heavy+heavy and heavy+light pseudoscalar mesons to both pseudoscalar and vector meson final states. The analysis is marked by algebraic simplicity, few parameters, and the ability to consistently describe systems from Nambu-Goldstone modes to heavy+heavy mesons. Regarding the behaviour of the transition form factors, the SCI results compare well wherever sound experimental or independent theory analyses are available; hence, the SCI branching fraction predictions should be a reasonable guide. Considering the ratios $R(D_{(s)}^{(\ast)})$, $R(J/\psi)$, $R(\eta_c)$, whose values are key tests of lepton universality in weak interactions, the SCI values agree with Standard Model predictions. The $B_{(s)}\to D_{(s)}^\ast$ transitions are used to predict the precursor functions that evolve into the universal Isgur-Wise function in the heavy-quark limit, with results that conform with those from other sources where such are available. The study also exposes effects on the transition form factors that flow from interference between emergent hadron mass from the strong interaction and Higgs boson couplings via current-quark masses, including flavour symmetry violation.


title: Differentiable solver for time-dependent deformation problems with contact

abstract: We introduce a general differentiable solver for time-dependent deformation problems with contact and friction. Our approach uses a finite element discretization with a high-order time integrator coupled with the recently proposed incremental potential contact method for handling contact and friction forces to solve ODE- and PDE-constrained optimization problems on scenes with complex geometry. It supports static and dynamic problems and differentiation with respect to all physical parameters involved in the physical problem description, which include shape, material parameters, friction parameters, and initial conditions. Our analytically derived adjoint formulation is efficient, with a small overhead (typically less than 10% for nonlinear problems) over the forward simulation, and shares many similarities with the forward problem, allowing the reuse of large parts of existing forward simulator code. We implement our approach on top of the open-source PolyFEM library and demonstrate the applicability of our solver to shape design, initial condition optimization, and material estimation on both simulated results and physical validations.


title: Representing Brain Anatomical Regularity and Variability by Few-Shot Embedding

abstract: Effective representation of brain anatomical architecture is fundamental in understanding brain regularity and variability. Despite numerous efforts, it is still difficult to infer reliable anatomical correspondence at finer scale, given the tremendous individual variability in cortical folding patterns. It is even more challenging to disentangle common and individual patterns when comparing brains at different neuro-developmental stages. In this work, we developed a novel learning-based few-shot embedding framework to encode the cortical folding patterns into a latent space represented by a group of anatomically meaningful embedding vectors. Specifically, we adopted 3-hinge (3HG) network as the substrate and designed an autoencoder-based embedding framework to learn a common embedding vector for each 3HG's multi-hop feature: each 3HG can be represented as a combination of these feature embeddings via a set of individual specific coefficients to characterize individualized anatomical information. That is, the regularity of folding patterns is encoded into the embeddings, while the individual variations are preserved by the multi=hop combination coefficients. To effectively learn the embeddings for the population with very limited samples, few-shot learning was adopted. We applied our method on adult HCP and pediatric datasets with 1,000+ brains (from 34 gestational weeks to young adult). Our experimental results show that: 1) the learned embedding vectors can quantitatively encode the commonality and individuality of cortical folding patterns; 2) with the embeddings we can robustly infer the complicated many-to-many anatomical correspondences among different brains and 3) our model can be successfully transferred to new populations with very limited training samples.


title: Topological indices in Random Spiro Chains

abstract: In this paper, we study topological indices in random spiro chains via a martingale approach. In which their explicit analytical expressions of the exact distribution, expected value and variance are obtained. As n goes to infinity, the asymptotic normality of topological indices of a random spiro chain is established through the Martingale Central Limit Theorem. In particular, we compute the Nirmala, Sombor, Randic and Zagreb index for a random spiro chain along with their comparative analysis.


title: Machine and Deep Learning Applications to Mouse Dynamics for Continuous User Authentication

abstract: Static authentication methods, like passwords, grow increasingly weak with advancements in technology and attack strategies. Continuous authentication has been proposed as a solution, in which users who have gained access to an account are still monitored in order to continuously verify that the user is not an imposter who had access to the user credentials. Mouse dynamics is the behavior of a users mouse movements and is a biometric that has shown great promise for continuous authentication schemes. This article builds upon our previous published work by evaluating our dataset of 40 users using three machine learning and deep learning algorithms. Two evaluation scenarios are considered: binary classifiers are used for user authentication, with the top performer being a 1-dimensional convolutional neural network with a peak average test accuracy of 85.73% across the top 10 users. Multi class classification is also examined using an artificial neural network which reaches an astounding peak accuracy of 92.48% the highest accuracy we have seen for any classifier on this dataset.


title: Learning to Reason with Neural Networks: Generalization, Unseen Data and Boolean Measures

abstract: This paper considers the Pointer Value Retrieval (PVR) benchmark introduced in [ZRKB21], where a 'reasoning' function acts on a string of digits to produce the label. More generally, the paper considers the learning of logical functions with gradient descent (GD) on neural networks. It is first shown that in order to learn logical functions with gradient descent on symmetric neural networks, the generalization error can be lower-bounded in terms of the noise-stability of the target function, supporting a conjecture made in [ZRKB21]. It is then shown that in the distribution shift setting, when the data withholding corresponds to freezing a single feature (referred to as canonical holdout), the generalization error of gradient descent admits a tight characterization in terms of the Boolean influence for several relevant architectures. This is shown on linear models and supported experimentally on other models such as MLPs and Transformers. In particular, this puts forward the hypothesis that for such architectures and for learning logical functions such as PVR functions, GD tends to have an implicit bias towards low-degree representations, which in turn gives the Boolean influence for the generalization error under quadratic loss.


title: A Unified Analysis of Federated Learning with Arbitrary Client Participation

abstract: Federated learning (FL) faces challenges of intermittent client availability and computation/communication efficiency. As a result, only a small subset of clients can participate in FL at a given time. It is important to understand how partial client participation affects convergence, but most existing works have either considered idealized participation patterns or obtained results with non-zero optimality error for generic patterns. In this paper, we provide a unified convergence analysis for FL with arbitrary client participation. We first introduce a generalized version of federated averaging (FedAvg) that amplifies parameter updates at an interval of multiple FL rounds. Then, we present a novel analysis that captures the effect of client participation in a single term. By analyzing this term, we obtain convergence upper bounds for a wide range of participation patterns, including both non-stochastic and stochastic cases, which match either the lower bound of stochastic gradient descent (SGD) or the state-of-the-art results in specific settings. We also discuss various insights, recommendations, and experimental results.

categories: cs.LG cs.DC cs.IT math.IT math.OC stat.ML


title: Automatic detection of long-duration transients in Fermi-GBM data

abstract: In the era of time-domain, multi-messenger astronomy, the detection of transient events on the high-energy electromagnetic sky has become more important than ever. Previous attempts to systematically search for onboard-untriggered events in the data of Fermi-GBM have been limited to short-duration signals with variability time scales smaller than ~1 min due to the dominance of background variations on longer timescales. In this study, we aim at the detection of slowly rising or long-duration transient events with high sensitivity and full coverage of the GBM spectrum. We make use of our earlier developed physical background model, propose a novel trigger algorithm with a fully automatic data analysis pipeline. The results from extensive simulations demonstrate that the developed trigger algorithm is sensitive down to sub-Crab intensities, and has a near-optimal detection performance. During a two month test run on real Fermi-GBM data, the pipeline detected more than 300 untriggered transient signals. For one of these transient detections we verify that it originated from a known astrophysical source, namely the Vela X-1 pulsar, showing pulsed emission for more than seven hours. More generally, this method enables a systematic search for weak and/or long-duration transients.


title: Multi-frame blind deconvolution and phase diversity with statistical inclusion of uncorrected high-order modes

abstract: Images collected with ground-based telescopes suffer blurring and distortions from turbulence in Earth's atmosphere. Adaptive optics (AO) can only partially compensate for these effects. Neither multi-frame blind deconvolution (MFBD) nor speckle techniques restore AO-compensated images to the correct power spectrum and contrast. MFBD can only compensate for a finite number of low-order aberrations, leaving a tail of uncorrected high-order modes. Speckle restoration of AO-corrected data depends on calibrations of the AO corrections and assumptions regarding the height distribution of atmospheric turbulence. We seek to develop an improvement to MFBD that combines speckle's usage of turbulence statistics to account for high-order modes with the ability of MFBD to sense low-order modes that can be partially corrected by AO and/or include fixed or slowly changing instrumental aberrations. We modify the image-formation model, supplementing the fitted low-order wavefront aberrations with tails of random high-order aberrations. These tails follow Kolmogorov statistics scaled to estimated or measured values of Fried's parameter, r0, that characterize the strength of the seeing at the moment of data collection. We refer to this as statistical diversity (SD). We test MFBD with SD with noise-free synthetic data, simulating many different r0 and numbers of AO-corrected modes. SD improves the contrasts and power spectra of restored images, both in accuracy and in consistency with varying r0, without penalty in processing time. With focus diversity (FD), the results are almost perfect. SD also reduces errors in the fitted wavefront parameters. MFBD with SD and FD seems resistant to several percents of error in r0. Adding SD to MFBD shows great promise for improving contrasts and power spectra in restored images. Further studies with real data are merited.


title: A Partially Separable Model for Dynamic Valued Networks

abstract: The Exponential-family Random Graph Model (ERGM) is a powerful model to fit networks with complex structures. However, for dynamic valued networks whose observations are matrices of counts that evolve over time, the development of the ERGM framework is still in its infancy. To facilitate the modeling of dyad value increment and decrement, a Partially Separable Temporal ERGM is proposed for dynamic valued networks. The parameter learning algorithms inherit state-of-the-art estimation techniques to approximate the maximum likelihood, by drawing Markov chain Monte Carlo (MCMC) samples conditioning on the valued network from the previous time step. The ability of the proposed model to interpret network dynamics and forecast temporal trends is demonstrated with real data.


title: SDSS-IV MaNGA: Identification and Multiwavelength Properties of Type-1 AGN in the DR15 sample

abstract: We present a method to identify type-1 active galactic nuclei (AGN) in the central 3 arcsec integrated spectra of galaxies in the MaNGA DR15 sample. It is based on flux ratios estimates in spectral bands flanking the expected H$\alpha$ broad component H$\alpha_{BC}$. The high signal-to-noise ratio obtained (mean S/N = 84) permits the identification of H$\alpha_{BC}$ without prior subtraction of the host galaxy (HG) stellar component. A final sample of 47 type-1 AGN is reported out of 4700 galaxies at $z$ < 0.15. The results were compared with those from other methods based on the SDSS DR7 and MaNGA data. Detection of type-1 AGN in those works compared to our method goes from 26% to 81%. Spectral indexes were used to classify the type-1 AGN spectra according to different levels of AGN-HG contribution, finding 9 AGN-dominated, 14 intermediate, and 24 HG-dominated objects. Complementary data in NIR-MIR allowed us to identify type I AGN-dominated objects as blue and HG-dominated as red in the WISE colors. From NVSS and FIRST radio continuum data, we identify 5 HERGs (high-excitation radio galaxies) and 4 LERGs (low-excitation radio galaxies), three showing evidence of radio-jets in the FIRST maps. Additional X-ray data from ROSAT allowed us to build [OIII] and H$\alpha_{BC}$ versus X-ray, NIR-MIR, and radio continuum diagrams, showing that L(H$\alpha_{BC}$) and L([OIII]) provide good correlations. The range in H$\alpha_{BC}$ luminosity is wide 38 < logL(H$\alpha_{BC}$) < 44, with log FWHM(H$\alpha_{BC}$)$\sim$ 3-4, covering a range of Eddington ratios of -5.15 < log L$_{bol}$/L$_{edd}$ < 0.70. Finally, we also identify and report ten possible changing-look AGN candidates.


title: A Semidefinite Relaxation for Sums of Heterogeneous Quadratic Forms on the Stiefel Manifold

abstract: We study the maximization of sums of heterogeneous quadratic forms over the Stiefel manifold, a nonconvex problem that arises in several modern signal processing and machine learning applications such as heteroscedastic probabilistic principal component analysis (HPPCA). In this work, we derive a novel semidefinite program (SDP) relaxation and study a few of its theoretical properties. We prove a global optimality certificate for the original nonconvex problem via a dual certificate, which leads to a simple feasibility problem to certify global optimality of a candidate local solution on the Stiefel manifold. In addition, our relaxation reduces to an assignment linear program for jointly diagonalizable problems and is therefore known to be tight in that case. We generalize this result to show that it is also tight for close-to jointly diagonalizable problems, and we show that the HPPCA problem has this characteristic. Numerical results validate our global optimality certificate and sufficient conditions for when the SDP is tight in various problem settings.


title: Secure Performance Analysis of RIS-aided Wireless Communication Systems

abstract: Since Internet of Things (IoT) is suggested as the fundamental platform to adapt massive connections and secure transmission, we study physical-layer authentication in the point-to-point wireless systems relying on reconfigurable intelligent surfaces (RIS) technique. Due to lack of direct link from IoT devices (both legal and illegal devices) to the access point, we benefit from RIS by considering two main secure performance metrics. As main goal, we examine the secrecy performance of a RIS-aided wireless communication systems which show secure performance in the presence of an eavesdropping IoT devices. In this circumstance, RIS is placed between the access point and the legitimate devices and is designed to enhance the link security. To specify secure system performance metrics, we firstly present analytical results for the secrecy outage probability. Then, secrecy rate is further examined. Interestingly, we are to control both the average signal-to-noise ratio at the source and the number of metasurface elements of the RIS to achieve improved system performance. We verify derived expressions by matching Monte-Carlo simulation and analytical results.


title: Mixed Federated Learning: Joint Decentralized and Centralized Learning

abstract: Federated learning (FL) enables learning from decentralized privacy-sensitive data, with computations on raw data confined to take place at edge clients. This paper introduces mixed FL, which incorporates an additional loss term calculated at the coordinating server (while maintaining FL's private data restrictions). There are numerous benefits. For example, additional datacenter data can be leveraged to jointly learn from centralized (datacenter) and decentralized (federated) training data and better match an expected inference data distribution. Mixed FL also enables offloading some intensive computations (e.g., embedding regularization) to the server, greatly reducing communication and client computation load. For these and other mixed FL use cases, we present three algorithms: PARALLEL TRAINING, 1-WAY GRADIENT TRANSFER, and 2-WAY GRADIENT TRANSFER. We state convergence bounds for each, and give intuition on which are suited to particular mixed FL problems. Finally we perform extensive experiments on three tasks, demonstrating that mixed FL can blend training data to achieve an oracle's accuracy on an inference distribution, and can reduce communication and computation overhead by over 90%. Our experiments confirm theoretical predictions of how algorithms perform under different mixed FL problem settings.


title: Finite difference schemes for the parabolic $p$-Laplace equation

abstract: We propose a new finite difference scheme for the degenerate parabolic equation \[ \partial_t u - \mbox{div}(|\nabla u|^{p-2}\nabla u) =f, \quad p\geq 2. \] Under the assumption that the data is H\"older continuous, we establish the convergence of the explicit-in-time scheme for the Cauchy problem provided a suitable stability type CFL-condition. An important advantage of our approach, is that the CFL-condition makes use of the regularity provided by the scheme to reduce the computational cost. In particular, for Lipschitz data, the CFL-condition is of the same order as for the heat equation and independent of $p$.


title: An enhanced Conv-TasNet model for speech separation using a speaker distance-based loss function

abstract: This work addresses the problem of speech separation in the Spanish Language using pre-trained deep learning models. As with many speech processing tasks, large databases in other languages different from English are scarce. Therefore this work explores different training strategies using the Conv-TasNet model as a benchmark. A scale-invariant signal distortion ratio (SI-SDR) metric value of 9.9 dB was achieved for the best training strategy. Then, experimentally, we identified an inverse relationship between the speakers' similarity and the model's performance, so an improved ConvTasNet architecture was proposed. The enhanced Conv-TasNet model uses pre-trained speech embeddings to add a between-speakers cosine similarity term in the cost function, yielding an SI-SDR of 10.6 dB. Lastly, final experiments regarding real-time deployment show some drawbacks in the speakers' channel synchronization due to the need to process small speech segments where only one of the speakers appears.


title: On the Effect of Triadic Closure on Network Segregation

abstract: The tendency for individuals to form social ties with others who are similar to themselves, known as homophily, is one of the most robust sociological principles. Since this phenomenon can lead to patterns of interactions that segregate people along different demographic dimensions, it can also lead to inequalities in access to information, resources, and opportunities. As we consider potential interventions that might alleviate the effects of segregation, we face the challenge that homophily constitutes a pervasive and organic force that is difficult to push back against. Designing effective interventions can therefore benefit from identifying counterbalancing social processes that might be harnessed to work in opposition to segregation. In this work, we show that triadic closure -- another common phenomenon that posits that individuals with a mutual connection are more likely to be connected to one another -- can be one such process. In doing so, we challenge a long-held belief that triadic closure and homophily work in tandem. By analyzing several fundamental network models using popular integration measures, we demonstrate the desegregating potential of triadic closure. We further empirically investigate this effect on real-world dynamic networks, surfacing observations that mirror our theoretical findings. We leverage these insights to discuss simple interventions that can help reduce segregation in settings that exhibit an interplay between triadic closure and homophily. We conclude with a discussion on qualitative implications for the design of interventions in settings where individuals arrive in an online fashion, and the designer can influence the initial set of connections.


title: Backward Euler method for stochastic differential equations with non-Lipschitz coefficients

abstract: We study the traditional backward Euler method for $m$-dimensional stochastic differential equations driven by fractional Brownian motion with Hurst parameter $H > 1/2$ whose drift coefficient satisfies the one-sided Lipschitz condition. The backward Euler scheme is proved to be of order $1$ and this rate is optimal by showing the asymptotic error distribution result. Two numerical experiments are performed to validate our claims about the optimality of the rate of convergence.


title: Contextual Adapters for Personalized Speech Recognition in Neural Transducers

abstract: Personal rare word recognition in end-to-end Automatic Speech Recognition (E2E ASR) models is a challenge due to the lack of training data. A standard way to address this issue is with shallow fusion methods at inference time. However, due to their dependence on external language models and the deterministic approach to weight boosting, their performance is limited. In this paper, we propose training neural contextual adapters for personalization in neural transducer based ASR models. Our approach can not only bias towards user-defined words, but also has the flexibility to work with pretrained ASR models. Using an in-house dataset, we demonstrate that contextual adapters can be applied to any general purpose pretrained ASR model to improve personalization. Our method outperforms shallow fusion, while retaining functionality of the pretrained models by not altering any of the model weights. We further show that the adapter style training is superior to full-fine-tuning of the ASR models on datasets with user-defined content.


title: High-throughput nanopore fabrication and classification using FIB irradiation and automated pore edge analysis

abstract: Large-area nanopore drilling is a major bottleneck in state-of-the-art nanoporous 2D membrane fabrication protocols. In addition, high-quality structural and statistical descriptions of as-fabricated porous membranes are key to predicting the corresponding membrane-wide permeation properties. In this work, we investigate Xe-ion focused ion beam as a tool for scalable, large-area nanopore fabrication on atomically thin, free-standing molybdenum disulphide. The presented irradiation protocol enables designing ultrathin membranes with tunable porosity and pore dimension, along with spatial uniformity across large-area substrates. Fabricated nanoporous membranes were characterized using scanning transmission electron microscopy imaging and the observed nanopore geometries were analyzed through a pore-edge detection script. We further demonstrated that the obtained structural and statistical data can be readily passed on to computational and analytical tools to predict the permeation properties at both individual pore and membrane-wide scales. As an example, membranes featuring angstrom-scale pores were investigated in terms of their emerging water and ion flow properties through extensive all-atom molecular dynamics simulations. We believe that the combination of experimental and analytical approaches presented here should yield accurate physics-based property estimates and thus potentially enable a true function-by-design approach to fabrication for applications such as osmotic power generation, desalination/filtration, as well as their strain-tunable versions.


title: Explaining Preferences with Shapley Values

abstract: While preference modelling is becoming one of the pillars of machine learning, the problem of preference explanation remains challenging and underexplored. In this paper, we propose \textsc{Pref-SHAP}, a Shapley value-based model explanation framework for pairwise comparison data. We derive the appropriate value functions for preference models and further extend the framework to model and explain \emph{context specific} information, such as the surface type in a tennis game. To demonstrate the utility of \textsc{Pref-SHAP}, we apply our method to a variety of synthetic and real-world datasets and show that richer and more insightful explanations can be obtained over the baseline.


title: Elastoresistivity of heavily hole doped 122 iron pnictides superconductors

abstract: Nematicity in the heavily hole-doped iron pnictide superconductors remains controversial. Sizeable nematic fluctuations and even nematic orders far from a magnetic instability were declared in RbFe$_2$As$_2$ and its sister compounds. Here we report a systematic elastoresistance study of series of isovalent- and electron-doped KFe$_2$As$_2$ crystals. We found divergent elastoresistance upon cooling for all the crystals along their [110] direction. The amplitude of elastoresistivity diverges if K is substituted with larger ions or if the system is driven towards a Lifshitz transition. However, we conclude none of them necessarily indicates an independent nematic critical point. Instead, the increased nematicity can be associated with another electronic criticality. In particular, we propose a mechanism how elastoresistivity is enhanced at a Lifshitz transition.


title: Predicting Molecule Size Distribution in Hydrocarbon Pyrolysis using Random Graph Theory

abstract: Hydrocarbon pyrolysis is a complex process involving large numbers of chemical species and types of chemical reactions. Its quantitative description is important for planetary sciences, in particular, for understanding the processes occurring in the interior of icy planets, such as Uranus and Neptune, where small hydrocarbons are subjected to high temperature and pressure. We propose a computationally cheap methodology based on an originally developed ten-reaction model, and the configurational model from random graph theory. This methodology yields to accurate predictions for molecule size distributions for a variety of initial chemical compositions and temperatures ranging from 3200K to 5000K. Specifically, we show that the size distribution of small molecules is particularly well predicted, and the size of the largest molecule can be accurately predicted provided that it is not too large.

categories: physics.atm-clus hep-th math-ph math.MP physics.chem-ph physics.comp-ph


title: Definable $(\omega, 2)$-theorem for families with VC-codensity less than $2$

abstract: Let $\mathcal{S}$ be a family of sets with VC-codensity less than $2$. We prove that, if $\mathcal{S}$ has the $(\omega, 2)$-property (for any infinitely many sets in $\mathcal{S}$, at least $2$ among them intersect), then $\mathcal{S}$ can be partitioned into finitely many subfamilies, each with the finite intersection property. If $\mathcal{S}$ is definable in some first-order structure, then these subfamilies can be chosen definable too. This is a strengthening of the case $q=2$ of the definable $(p,q)$- conjecture in model theory and of the Alon-Kleitman-Matou\v{s}ek $(p,q)$-theorem in combinatorics.


title: The phonon Hall viscosity of ionic crystals

abstract: When time-reversal symmetry is broken, the low-energy description of acoustic lattice dynamics allows for a dissipationless component of the viscosity tensor, the phonon Hall viscosity, which captures how phonon chirality grows with the wavevector. In this work, we show that, in ionic crystals, a phonon Hall viscosity contribution is produced by the Lorentz forces on moving ions. We calculate typical values of the Lorentz force contribution to the Hall viscosity using a simple square lattice toy model, and we compare it with literature estimates of the strengths of other Hall-viscosity mechanisms.


title: Heat transport of the kagom\'{e} Heisenberg quantum spin liquid candidate YCu$_3$(OH)$_{6.5}$Br$_{2.5}$: localized magnetic excitations and spin gap

abstract: The spin-1/2 kagom\'{e} Heisenberg antiferromagnet is generally accepted as one of the most promising two-dimensional models to realize a quantum spin liquid state. Previous experimental efforts were almost exclusively on only one archetypal material, the herbertsmithite ZnCu$_3$(OH)$_6$Cl$_2$, which unfortunately suffers from the notorious orphan spins problem caused by magnetic disorders. Here we turn to YCu$_3$(OH)$_{6.5}$Br$_{2.5}$, recently recognized as another host of a globally undistorted kagom\'{e} Cu$^{2+}$ lattice free from the orphan spins, thus a more feasible system for studying the intrinsic kagom\'{e} quantum spin liquid physics. Our high-resolution low-temperature thermal conductivity measurements yield a vanishing small residual linear term of $\kappa/T$ ($T\rightarrow 0$), and thus clearly rule out itinerant gapless fermionic excitations. Unusual scattering of phonons grows exponentially with temperature, suggesting thermally activated phonon-spin scattering and hence a gapped magnetic excitation, consistent with a $\mathbb{Z}_2$ quantum spin liquid ground state. Additionally, the analysis of magnetic field impact on the thermal conductivity reveals a field closing of the spin gap, while the excitations remain localized.


title: Galaxy Pairs in the Sloan Digital Sky Survey XV: Properties of Ionised Outflows

abstract: Powerful outflows are thought to play a critical role in galaxy evolution and black hole growth. We present the first large-scale systematic study of ionised outflows in paired galaxies and post-mergers compared to a robust control sample of isolated galaxies. We isolate the impact of the merger environment to determine if outflow properties depend on merger stage. Our sample contains $\sim$4,000 paired galaxies and $\sim$250 post-mergers in the local universe ($0.02 \leq z \leq 0.2$) from the SDSS DR 7 matched in stellar mass, redshift, local density of galaxies, and [OIII] $\lambda$5007 luminosity to a control sample of isolated galaxies. By fitting the [OIII] $\lambda$5007 line, we find ionised outflows in $\sim$15 per cent of our entire sample. Outflows are much rarer in star-forming galaxies compared to AGN, and outflow incidence and velocity increase with [OIII] $\lambda$5007 luminosity. Outflow incidence is significantly elevated in the optical+mid-infrared selected AGN compared to purely optical AGN; over 60 per cent show outflows at the highest luminosities ($L_{\mathrm{[OIII] \lambda5007}}$ $\gtrsim$ 10$^{42}$ erg s$^{-1}$), suggesting mid-infrared AGN selection favours galaxies with powerful outflows, at least for higher [OIII] $\lambda$5007 luminosities. However, we find no statistically significant difference in outflow incidence, velocity, and luminosity in mergers compared to isolated galaxies, and there is no dependence on merger stage. Therefore, while interactions are predicted to drive gas inflows and subsequently trigger nuclear star formation and accretion activity, when the power source of the outflow is controlled for, the merging environment has no further impact on the large-scale ionised outflows as traced by [OIII] $\lambda5007$.


title: An adaptive fuzzy sliding mode controller for nonlinear systems with non-symmetric dead-zone and its application to an electro-hydraulic system

abstract: The dead-zone is one of the most common hard nonlinearities in industrial actuators and its presence may drastically compromise control systems stability and performance. In this work, an adaptive variable structure controller is proposed to deal with a class of uncertain nonlinear systems subject to a non-symmetric dead-zone input. The adopted approach is primarily based on the sliding mode control methodology but enhanced by an adaptive fuzzy algorithm to compensate the dead-zone. Using Lyapunov stability theory and Barbalat's lemma, the convergence properties of the closed-loop system are analytically proven. In order to illustrate the controller design methodology, an application of the proposed scheme to an electro-hydraulic system is introduced. The performance of the control system is evaluated by means of numerical simulations.


title: Evolution of Main-Sequence-like Surviving Companions in Type Ia Supernova Remnants

abstract: Recent theoretical and numerical studies of Type Ia supernova explosion within the single-degenerate scenario suggest that the non-degenerate companions could survive during the supernova impact and could be detectable in nearby supernova remnants. However, observational efforts show less promising evidence on the existence of surviving companions from the standard single-degenerate channels. The spin-up/spin-down models are possible mechanisms to explain the non-detection of surviving companions. In these models, the spin-up phase could increase the critical mass for explosion, leading to a super-Chandrasekhar mass explosion, and the spin-down phase could lead to extra mass loss and angular momentum redistribution. Since the spin-down timescale for the delayed explosion of a rotating white dwarf is unclear, in this paper, we explore a vast parameter space of main-sequence-like surviving companions via two-dimensional hydrodynamic simulations of supernova impact and the subsequent stellar evolution of surviving companions. Tight universal relations to describe the mass stripping effect, supernova kick, and depth of supernova heating are provided. Our results suggest that the not-yet detected surviving companions from observations of nearby Type Ia supernova remnants might favor low mass companions, short binary separation, or stronger supernova explosion energies than the standard singe-degenerate channels.