title: Ultrafast Transverse Modulation of Free Electrons by Interaction with Shaped Optical Fields

abstract: Spatio-temporal shaping of electron beams is a bold frontier in electron microscopy, enabling new routes toward spatial-resolution enhancement, selective probing, low-dose imaging and faster data acquisition. Over the last decade, shaping methods evolved from passive phase plates to low-speed electrostatic and magnetostatic displays. Recently, higher shaping speed and flexibility have become feasible by the advent of ultrafast electron microscopy, embodying a swift change of paradigm that relies on using light to control free electrons. Here, we experimentally demonstrate that arbitrary transverse modulation of electron beams is possible without the need for designing and fabricating complicated electron-optics elements or material nanostructures, but rather resorting to shaping light beams reflected from a planar thin film. We demonstrate arbitrary transverse modulation of electron wavepackets via inelastic interaction with a shaped ultrafast light field controlled by an external spatial light modulator (SLM). We illustrate this method by generating Hermite-Gaussian (HG) electron beams with HG10 and HG01 symmetry and discuss their possible use in enhancing the imaging contrast of microscopic features. Relative to current schemes, our approach adopting an external SLM dramatically widens the range of patterns that can be imprinted on the electron wave function and makes electron shaping a much easier task to perform.


title: How does a Rational Agent Act in an Epidemic?

abstract: Evolution of disease in a large population is a function of the top-down policy measures from a centralized planner, as well as the self-interested decisions (to be socially active) of individual agents in a large heterogeneous population. This paper is concerned with understanding the latter based on a mean-field type optimal control model. Specifically, the model is used to investigate the role of partial information on an agent's decision-making, and study the impact of such decisions by a large number of agents on the spread of the virus in the population. The motivation comes from the presymptomatic and asymptomatic spread of the COVID-19 virus where an agent unwittingly spreads the virus. We show that even in a setting with fully rational agents, limited information on the viral state can result in an epidemic growth.


title: Femtosecond pump-probe absorption edge spectroscopy of cubic GaN

abstract: Time-dependent femtosecond pump-probe spectroscopic ellipsometry studies on zincblende gallium-nitride (zb-GaN) are performed and analyzed between 2.9-3.7eV. An ultra-fast change of the absorption onset (3.23eV for zb-GaN) is observed by investigating the imaginary part of the dielectric function. The 266nm (4.66eV) pump pulses induce a large free-carrier concentration up to $4\times 10^{20}$cm$^{-3}$, influencing the transition energy between conduction and valence bands due to many-body effects, like band filling and band gap renormalization, up to $\approx$500meV. Additionally, the absorption of the pump-beam creates a free-carrier profile within the 605nm zb-GaN layer. This leads to varying optical properties from sample surface to substrate, which are taken into account by grading analysis for an accurate description of the experimental data. A temporal resolution of 100fs allows in-depth investigations of occurring ultra-fast relaxation and recombination processes. We provide a quantitative description of the free-carrier concentration and absorption onset at the sample surface as a function of relaxation, recombination, and diffusion yielding a characteristic relaxation time of 0.19ps and a recombination time of 26.1ps.


title: On Mixing Distributions Via Random Orthogonal Matrices and the Spectrum of the Singular Values of Multi-Z Shaped Graph Matrices

abstract: In this paper, we introduce and analyze a new operation $\circ_{R}$ which mixes two distributions $\Omega$ and $\Omega'$ via a random orthogonal matrix. In particular, we take $\Omega \circ_R \Omega'$ to be the limit as $n \to \infty$ of the distribution of singular values of $DRD'$ where $D$ and $D'$ are $n \times n$ diagonal matrices whose diagonal entries have distributions $\Omega$ and $\Omega'$ respectively and $R$ is a random $n \times n$ orthogonal matrix. We show that $\circ_R$ has several nice properties. We first observe that $\circ_R$ is commutative and associative and compute the moments of $\Omega \circ_R \Omega'$ in terms of the moments of $\Omega$ and $\Omega'$. We then show that $\circ_R$ interacts very nicely with the spectrum of the singular values of Z-shaped and multi-Z-shaped graph matrices. This allows us to answer the question posed by our previous paper of how to describe the spectrum of the singular values of Z-shaped and multi-Z-shaped graph matrices when the input distribution is not $\{-1,1\}$. In our analysis, we show that the moments of our distributions are closely connected to non-crossing partitions and prove a number of new results on non-crossing partitions which may be of independent interest.


title: Physically Inspired Constraint for Unsupervised Regularized Ultrasound Elastography

abstract: Displacement estimation is a critical step of virtually all Ultrasound Elastography (USE) techniques. Two main features make this task unique compared to the general optical flow problem: the high-frequency nature of ultrasound radio-frequency (RF) data and the governing laws of physics on the displacement field. Recently, the architecture of the optical flow networks has been modified to be able to use RF data. Also, semi-supervised and unsupervised techniques have been employed for USE by considering prior knowledge of displacement continuity in the form of the first- and second-derivative regularizers. Despite these attempts, no work has considered the tissue compression pattern, and displacements in axial and lateral directions have been assumed to be independent. However, tissue motion pattern is governed by laws of physics in USE, rendering the axial and the lateral displacements highly correlated. In this paper, we propose Physically Inspired ConsTraint for Unsupervised Regularized Elastography (PICTURE), where we impose constraints on the Poisson's ratio to improve lateral displacement estimates. Experiments on phantom and in vivo data show that PICTURE substantially improves the quality of the lateral displacement estimation.


title: Rates of asymptotic regularity for the alternating Halpern-Mann iteration

abstract: In this paper we extend to $UCW$-hyperbolic spaces the quantitative asymptotic regularity results for the alternating Halpern-Mann iteration obtained by Dinis and the second author for CAT(0) spaces. These results are new even for uniformly convex normed spaces. Furthermore, for a particular choice of the parameter sequences, we compute linear rates of asymptotic regularity in $W$-hyperbolic spaces and quadratic rates of $T$- and $U$-asymptotic regularity in CAT(0) spaces.


title: Stability of shares in the Proof of Stake Protocol -- Concentration and Phase Transitions

abstract: This paper is concerned with the stability of shares in a cryptocurrency where the new coins are issued according to the Proof of Stake protocol. We identify large, medium and small investors under various rewarding schemes, and show that the limiting behaviors of these investors are different -- for large investors their shares are stable, while for medium to small investors their shares may be volatile or even shrink to zero. For instance, with a geometric reward there is chaotic centralization, where all the shares will eventually concentrate on one investor in a random manner. This leads to the phase transition phenomenon, and the thresholds for stability are characterized. In response to the increasing activities in blockchain networks, we also propose and analyze a dynamical population model for the PoS protocol, which allows the number of investors to grow over the time. Numerical experiments are provided to corroborate our theory.


title: On automorphisms of $\mathcal P(\lambda)/[\lambda]^{<\lambda}$

abstract: We investigate the statement ``all automorphisms of $\mathcal P(\lambda)/[\lambda]^{<\lambda}$ are trivial''. We show that MA implies the statement for regular uncountable $\lambda<2^{\aleph_0}$; that the statement is false for measurable $\lambda$ if $2^\lambda=\lambda^+$; and that for ``densely trivial'' it can be forced (together with $2^\lambda=\lambda^{++}$) for inaccessible $\lambda$.


title: ($\gamma$, $\chi_{cJ}(J=0,1)$) and ($\gamma$, $\eta_c$) production in electron-positron annihilation at $\sqrt{s}=10.6$ GeV and $4.6$ GeV in the framework of Bethe-Salpeter equation

abstract: In present work we study the production of ground and excited charmonium states in $e^- e^+ \rightarrow \gamma\chi_{cJ}(nP)(J=0,1)$, and $e^- e^+ \rightarrow \gamma \eta_c(nS)$, through leading order (LO) diagrams, which proceed through exchange of a virtual photon that couples to $\gamma$ and $\eta_c/\chi_{cJ}$ through the triangular quark loop diagram, in the framework of $4\times 4$ Bethe-Salpeter equation (BSE), at center of mass energies $\sqrt{s}=10.6$ GeV(Belle energy), and 4.6 GeV (BESIII energy). The amplitude simplifies to a general form required by Lorentz-covariance, in terms of its form factors. The cross sections for these processes with leading order (tree level) diagrams alone at $\sqrt{s}$=10.6 GeV provide a sizable contribution, which might be mainly due to the BSE being a fully relativistic approach that incorporates the relativistic effect of quark spins and can also describe internal motion of constituent quarks within the hadron in a relativistically covariant manner. Our results are compared with recent Belle data at 10.6 GeV, and BESIII data at 4.6 GeV, as well as other models. Plots of cross sections versus the center-of mass energy, $\sqrt{s}$ reveal mild fluctuations in their behaviour for all the three processes in the low energy ($\sqrt{s}$ = 4 - 6 GeV) region, and are analyzed in terms of the form factors.


title: Finetuning a Kalaallisut-English machine translation system using web-crawled data

abstract: West Greenlandic, known by native speakers as Kalaallisut, is an extremely low-resource polysynthetic language spoken by around 56,000 people in Greenland. Here, we attempt to finetune a pretrained Kalaallisut-to-English neural machine translation (NMT) system using web-crawled pseudoparallel sentences from around 30 multilingual websites. We compile a corpus of over 93,000 Kalaallisut sentences and over 140,000 Danish sentences, then use cross-lingual sentence embeddings and approximate nearest-neighbors search in an attempt to mine near-translations from these corpora. Finally, we translate the Danish sentence to English to obtain a synthetic Kalaallisut-English aligned corpus. Although the resulting dataset is too small and noisy to improve the pretrained MT model, we believe that with additional resources, we could construct a better pseudoparallel corpus and achieve more promising results on MT. We also note other possible uses of the monolingual Kalaallisut data and discuss directions for future work. We make the code and data for our experiments publicly available.


title: Models of human preference for learning reward functions

abstract: The utility of reinforcement learning is limited by the alignment of reward functions with the interests of human stakeholders. One promising method for alignment is to learn the reward function from human-generated preferences between pairs of trajectory segments, a type of reinforcement learning from human feedback (RLHF). These human preferences are typically assumed to be informed solely by partial return, the sum of rewards along each segment. We find this assumption to be flawed and propose modeling human preferences instead as informed by each segment's regret, a measure of a segment's deviation from optimal decision-making. Given infinitely many preferences generated according to regret, we prove that we can identify a reward function equivalent to the reward function that generated those preferences, and we prove that the previous partial return model lacks this identifiability property in multiple contexts. We empirically show that our proposed regret preference model outperforms the partial return preference model with finite training data in otherwise the same setting. Additionally, we find that our proposed regret preference model better predicts real human preferences and also learns reward functions from these preferences that lead to policies that are better human-aligned. Overall, this work establishes that the choice of preference model is impactful, and our proposed regret preference model provides an improvement upon a core assumption of recent research. We have open sourced our experimental code, the human preferences dataset we gathered, and our training and preference elicitation interfaces for gathering a such a dataset.


title: A Genuine Multipartite Entanglement Measure Generated by the Parametrized Entanglement Measure

abstract: In this paper, we investigate a genuine multipartite entanglement measure based on the geometric method. This measure arrives at the maximal value for the absolutely maximally entangled states and has desirable properties for quantifying the genuine multipartite entanglement. We present a lower bound of the genuine multipartite entanglement measure. At last, we present some examples to show that the genuine entanglement measure is with distinct entanglement ordering from other measures, and we also present the advantages of the measure proposed here with other measures.


title: Thermally corrected masses and freeze-in dark matter: a case study

abstract: If coupled \emph{feebly} to the Standard Model bath, a dark matter can evade the severe constraints from the direct search experiments. At the same time, such interactions help produce dark matter via the freeze-in mechanism. The freeze-in scenario becomes more interesting if one also includes the thermal masses of the different particles involved in the dark matter phenomenology. Incorporating such thermal corrections opens up the possibility of dark matter production via forbidden channels that remain kinematically disallowed in the standard freeze-in setup. Motivated by this, we investigate such freeze-in production of the dark matter in a minimally extended $U(1)_{L_\mu-L_\tau}$ framework that remains consistent with the recent muon $(g-2)$ data. Here, the role of the dark matter is played by the scalar with a non-trivial charge under the additional symmetry $U(1)_{L_\mu-L_\tau}$. This scalar dark matter obtains a thermally corrected mass at high temperatures for a not-so-small self-coupling. We show that the thermal correction to the dark matter mass plays a significant role in the dark matter phenomenology.


title: Two Decades of Bengali Handwritten Digit Recognition: A Survey

abstract: Handwritten Digit Recognition (HDR) is one of the most challenging tasks in the domain of Optical Character Recognition (OCR). Irrespective of language, there are some inherent challenges of HDR, which mostly arise due to the variations in writing styles across individuals, writing medium and environment, inability to maintain the same strokes while writing any digit repeatedly, etc. In addition to that, the structural complexities of the digits of a particular language may lead to ambiguous scenarios of HDR. Over the years, researchers have developed numerous offline and online HDR pipelines, where different image processing techniques are combined with traditional Machine Learning (ML)-based and/or Deep Learning (DL)-based architectures. Although evidence of extensive review studies on HDR exists in the literature for languages, such as English, Arabic, Indian, Farsi, Chinese, etc., few surveys on Bengali HDR (BHDR) can be found, which lack a comprehensive analysis of the challenges, the underlying recognition process, and possible future directions. In this paper, the characteristics and inherent ambiguities of Bengali handwritten digits along with a comprehensive insight of two decades of state-of-the-art datasets and approaches towards offline BHDR have been analyzed. Furthermore, several real-life application-specific studies, which involve BHDR, have also been discussed in detail. This paper will also serve as a compendium for researchers interested in the science behind offline BHDR, instigating the exploration of newer avenues of relevant research that may further lead to better offline recognition of Bengali handwritten digits in different application areas.


title: All-Optical tunability of metalenses infiltrated with liquid crystals

abstract: Metasurfaces have been extensively engineered to produce a wide range of optical phenomena, allowing unprecedented control over the propagation of light. However, they are generally designed as single-purpose devices without a modifiable post-fabrication optical response, which can be a limitation to real-world applications. In this work, we report a nanostructured planar fused silica metalens permeated with a nematic liquid crystal (NLC) and gold nanoparticle solution. The physical properties of embedded NLCs can be manipulated with the application of external stimuli, enabling reconfigurable optical metasurfaces. We report all-optical, dynamic control of the metalens optical response resulting from thermo-plasmonic induced changes of the NLC solution associated with the nematic-isotropic phase transition. A continuous and reversible tuning of the metalens focal length is experimentally demonstrated, with a variation of 80 um (0.16% of the 5 cm nominal focal length) along the optical axis. This is achieved without direct mechanical or electrical manipulation of the device. The reconfigurable properties are compared with corroborating numerical simulations of the focal length shift and exhibit close correspondence.


title: A highly dynamic small-scale jet in a polar coronal hole

abstract: We present an observational study of the plasma dynamics at the base of a solar coronal jet, using high resolution extreme ultraviolet imaging data taken by the Extreme Ultraviolet Imager on board Solar Orbiter, and by the Atmospheric Imaging Assembly on board Solar Dynamics Observatory. We observed multiple plasma ejection events over a period of $\sim$1 hour from a dome-like base that is ca.~4 Mm wide and is embedded in a polar coronal hole. Within the dome below the jet spire, multiple plasma blobs with sizes around 1--2 Mm propagate upwards to dome apex with speeds of the order of the sound speed (ca.~120~km~s$^{-1}$ ). Upon reaching the apex, some of these blobs initiate flows with similar speeds towards the other footpoint of the dome. At the same time, high speed super-sonic outflows ($\sim$230~km~s$^{-1}$) are detected along the jet spire. These outflows as well as the intensity near the dome apex appear to be repetitive. Furthermore, during its evolution, the jet undergoes many complex morphological changes including transitions between the standard and blowout type eruption. These new observational results highlight the underlying complexity of the reconnection process that powers these jets and also provide insights into the plasma response when subjected to rapid energy injection.


title: Enforcing Group Fairness in Algorithmic Decision Making: Utility Maximization Under Sufficiency

abstract: Binary decision making classifiers are not fair by default. Fairness requirements are an additional element to the decision making rationale, which is typically driven by maximizing some utility function. In that sense, algorithmic fairness can be formulated as a constrained optimization problem. This paper contributes to the discussion on how to implement fairness, focusing on the fairness concepts of positive predictive value (PPV) parity, false omission rate (FOR) parity, and sufficiency (which combines the former two). We show that group-specific threshold rules are optimal for PPV parity and FOR parity, similar to well-known results for other group fairness criteria. However, depending on the underlying population distributions and the utility function, we find that sometimes an upper-bound threshold rule for one group is optimal: utility maximization under PPV parity (or FOR parity) might thus lead to selecting the individuals with the smallest utility for one group, instead of selecting the most promising individuals. This result is counter-intuitive and in contrast to the analogous solutions for statistical parity and equality of opportunity. We also provide a solution for the optimal decision rules satisfying the fairness constraint sufficiency. We show that more complex decision rules are required and that this leads to within-group unfairness for all but one of the groups. We illustrate our findings based on simulated and real data.


title: OntoMerger: An Ontology Integration Library for Deduplicating and Connecting Knowledge Graph Nodes

abstract: Duplication of nodes is a common problem encountered when building knowledge graphs (KGs) from heterogeneous datasets, where it is crucial to be able to merge nodes having the same meaning. OntoMerger is a Python ontology integration library whose functionality is to deduplicate KG nodes. Our approach takes a set of KG nodes, mappings and disconnected hierarchies and generates a set of merged nodes together with a connected hierarchy. In addition, the library provides analytic and data testing functionalities that can be used to fine-tune the inputs, further reducing duplication, and to increase connectivity of the output graph. OntoMerger can be applied to a wide variety of ontologies and KGs. In this paper we introduce OntoMerger and illustrate its functionality on a real-world biomedical KG.


title: Winner does not take all: contrasting centrality in adversarial networks

abstract: In adversarial networks, edges correspond to negative interactions such as competition or dominance. We introduce a new type of node called a low-key leader in adversarial networks, distinguished by contrasting the centrality measures of CON score and PageRank. We present a novel hypothesis that low-key leaders are ubiquitous in adversarial networks and provide evidence by considering data from real-world networks, including dominance networks in 172 animal populations, trading networks between G20 nations, and Bitcoin trust networks. We introduce a random graph model that generates directed graphs with low-key leaders.


title: Stationary measures for stochastic differential equations with degenerate damping

abstract: A variety of physical phenomena involve the nonlinear transfer of energy from weakly damped modes subjected to external forcing to other modes which are more heavily damped. In this work we explore this in (finite-dimensional) stochastic differential equations in $\mathbb R^n$ with a quadratic, conservative nonlinearity $B(x,x)$ and a linear damping term $-Ax$ which is degenerate in the sense that $\mathrm{ker} A \neq \emptyset$. We investigate sufficient conditions to deduce the existence of a stationary measure for the associated Markov semigroups. Existence of such measures is straightforward if $A$ is full rank, but otherwise, energy could potentially accumulate in $\mathrm{ker} A$ and lead to almost-surely unbounded trajectories, making the existence of stationary measures impossible. We give a relatively simple and general sufficient condition based on time-averaged coercivity estimates along trajectories in neighborhoods of $\mathrm{ker} A$ and many examples where such estimates can be made.


title: A Memory System of a Robot Cognitive Architecture and its Implementation in ArmarX

abstract: Cognitive agents such as humans and robots perceive their environment through an abundance of sensors producing streams of data that need to be processed to generate intelligent behavior. A key question of cognition-enabled and AI-driven robotics is how to organize and manage knowledge efficiently in a cognitive robot control architecture. We argue, that memory is a central active component of such architectures that mediates between semantic and sensorimotor representations, orchestrates the flow of data streams and events between different processes and provides the components of a cognitive architecture with data-driven services for the abstraction of semantics from sensorimotor data, the parametrization of symbolic plans for execution and prediction of action effects. Based on related work, and the experience gained in developing our ARMAR humanoid robot systems, we identified conceptual and technical requirements of a memory system as central component of cognitive robot control architecture that facilitate the realization of high-level cognitive abilities such as explaining, reasoning, prospection, simulation and augmentation. Conceptually, a memory should be active, support multi-modal data representations, associate knowledge, be introspective, and have an inherently episodic structure. Technically, the memory should support a distributed design, be access-efficient and capable of long-term data storage. We introduce the memory system for our cognitive robot control architecture and its implementation in the robot software framework ArmarX. We evaluate the efficiency of the memory system with respect to transfer speeds, compression, reproduction and prediction capabilities.


title: Ergodic Properties of Measures with Local Product Structure

abstract: In this paper, we study ergodic properties of hyperbolic measures with local product structure. We show that all the classical results that hold in the case of SRB measure hold for these measures. In particular, we show the decomposition in countably many ergodic components, we prove the decomposition into K-components, and show that for hyperbolic measure with local product structure, The K property implies the Bernoulli property. We also give some examples of measures where the results are applicable.


title: Resource Optimization for Blockchain-based Federated Learning in Mobile Edge Computing

abstract: With the development of mobile edge computing (MEC) and blockchain-based federated learning (BCFL), a number of studies suggest deploying BCFL on edge servers. In this case, resource-limited edge servers need to serve both mobile devices for their offloading tasks and the BCFL system for model training and blockchain consensus in a cost-efficient manner without sacrificing the service quality to any side. To address this challenge, this paper proposes a resource allocation scheme for edge servers, aiming to provide the optimal services with the minimum cost. Specifically, we first analyze the energy consumed by the MEC and BCFL tasks, and then use the completion time of each task as the service quality constraint. Then, we model the resource allocation challenge into a multivariate, multi-constraint, and convex optimization problem. To solve the problem in a progressive manner, we design two algorithms based on the alternating direction method of multipliers (ADMM) in both the homogeneous and heterogeneous situations with equal and on-demand resource distribution strategies, respectively. The validity of our proposed algorithms is proved via rigorous theoretical analysis. Through extensive experiments, the convergence and efficiency of our proposed resource allocation schemes are evaluated. To the best of our knowledge, this is the first work to investigate the resource allocation dilemma of edge servers for BCFL in MEC.


title: Conditions for Oscillator Small-Signal Amplitude-Phase Orthogonality

abstract: The paper explores a previously unknown connection relating the symmetry properties of an oscillator steady-state to the orthogonal representation of amplitude and phase variables in the small-signal regime. It is shown that only circuits producing perfectly symmetric steady-states can produce an orthogonal Floquet decomposition. Considering room temperature operation this scenario implies zero AM-PM noise conversion. This surprising and novel result follows directly from the predictions of a rigorous model framework first described herein. The work presented in this text extend the current state-of-the-art w.r.t. oscillator small-signal/noise characterization.


title: ACHORD: Communication-Aware Multi-Robot Coordination with Intermittent Connectivity

abstract: Communication is an important capability for multi-robot exploration because (1) inter-robot communication (comms) improves coverage efficiency and (2) robot-to-base comms improves situational awareness. Exploring comms-restricted (e.g., subterranean) environments requires a multi-robot system to tolerate and anticipate intermittent connectivity, and to carefully consider comms requirements, otherwise mission-critical data may be lost. In this paper, we describe and analyze ACHORD (Autonomous & Collaborative High-Bandwidth Operations with Radio Droppables), a multi-layer networking solution which tightly co-designs the network architecture and high-level decision-making for improved comms. ACHORD provides bandwidth prioritization and timely and reliable data transfer despite intermittent connectivity. Furthermore, it exposes low-layer networking metrics to the application layer to enable robots to autonomously monitor, map, and extend the network via droppable radios, as well as restore connectivity to improve collaborative exploration. We evaluate our solution with respect to the comms performance in several challenging underground environments including the DARPA SubT Finals competition environment. Our findings support the use of data stratification and flow control to improve bandwidth-usage.


title: Zero-Shot Voice Conditioning for Denoising Diffusion TTS Models

abstract: We present a novel way of conditioning a pretrained denoising diffusion speech model to produce speech in the voice of a novel person unseen during training. The method requires a short (~3 seconds) sample from the target person, and generation is steered at inference time, without any training steps. At the heart of the method lies a sampling process that combines the estimation of the denoising model with a low-pass version of the new speaker's sample. The objective and subjective evaluations show that our sampling method can generate a voice similar to that of the target speaker in terms of frequency, with an accuracy comparable to state-of-the-art methods, and without training.


title: Quantum non-Gaussianity of light and atoms

abstract: Quantum non-Gaussian states of photons and phonons are conclusive and direct witnesses of higher-than-quadratic nonlinearities in optical and mechanical processes. Moreover, they are proven resources for quantum sensing, communication and error correction with diverse continuous-variable systems. This review introduces theoretical analyses of nonclassical and quantum non-Gaussian states of photons and phonons. It recapitulates approaches used to derive operational criteria for photons tolerant to optical losses, their application in experiments and their nowadays extension to quantum non-Gaussian photon coincidences. It extends to a recent comparison of quantum non-Gaussianity, including robustness to thermal noise, and sensing capability for high-quality phononic Fock states of single trapped cooled ions. The review can stimulate further development in the criteria of quantum non-Gaussian states and experimental effort to prepare and detect such useful features, navigating the community to advanced quantum physics and technology.


title: LNGate$^2$: Secure Bidirectional IoT Micro-payments using Bitcoin's Lightning Network and Threshold Cryptography

abstract: Bitcoin has emerged as a revolutionary payment system with its decentralized ledger concept; however it has significant problems such as high transaction fees and low throughput. Lightning Network (LN), which was introduced much later, solves most of these problems with an innovative concept called off-chain payments. With this advancement, Bitcoin has become an attractive venue to perform micro-payments which can also be adopted in many IoT applications (e.g., toll payments). Nevertheless, it is not feasible to host LN and Bitcoin on IoT devices due to the storage, memory, and processing restrictions. Therefore, in this paper, we propose a secure and efficient protocol that enables an IoT device to use LN's functions through an untrusted gateway node. Through this gateway which hosts the LN and Bitcoin nodes, the IoT device can open & close LN channels and send & receive LN payments. This delegation approach is powered by a threshold cryptography based scheme that requires the IoT device and the LN gateway to jointly perform all LN operations. Specifically, we propose thresholdizing LN's Bitcoin public and private keys as well as its public and private keys for the new channel states (i.e., commitment points). We prove with a game theoretical security analysis that the IoT device is secure against collusion attacks. We implemented the proposed protocol by changing LN's source code and thoroughly evaluated its performance using several Raspberry Pis. Our evaluation results show that the protocol; is fast, does not bring extra cost overhead, can be run on low data rate wireless networks, is scalable and has negligible energy consumption overhead. To the best of our knowledge, this is the first work that implemented threshold cryptography in LN.


title: Rapid Learning of Spatial Representations for Goal-Directed Navigation Based on a Novel Model of Hippocampal Place Fields

abstract: The discovery of place cells and other spatially modulated neurons in the hippocampal complex of rodents has been crucial to elucidating the neural basis of spatial cognition. More recently, the replay of neural sequences encoding previously experienced trajectories has been observed during consummatory behavior potentially with implications for quick memory consolidation and behavioral planning. Several promising models for robotic navigation and reinforcement learning have been proposed based on these and previous findings. Most of these models, however, use carefully engineered neural networks and are tested in simple environments. In this paper, we develop a self-organized model incorporating place cells and replay, and demonstrate its utility for rapid one-shot learning in non-trivial environments with obstacles.


title: Frequency Domain Statistical Inference for High-Dimensional Time Series

abstract: Analyzing time series in the frequency domain enables the development of powerful tools for investigating the second-order characteristics of multivariate processes. Parameters like the spectral density matrix and its inverse, the coherence or the partial coherence, encode comprehensively the complex linear relations between the component processes of the multivariate system. In this paper, we develop inference procedures for such parameters in a high-dimensional, time series setup. Towards this goal, we first focus on the derivation of consistent estimators of the coherence and, more importantly, of the partial coherence which possess manageable limiting distributions that are suitable for testing purposes. Statistical tests of the hypothesis that the maximum over frequencies of the coherence, respectively, of the partial coherence, do not exceed a prespecified threshold value are developed. Our approach allows for testing hypotheses for individual coherences and/or partial coherences as well as for multiple testing of large sets of such parameters. In the latter case, a consistent procedure to control the false discovery rate is developed. The finite sample performance of the inference procedures introduced is investigated by means of simulations and applications to the construction of graphical interaction models for brain connectivity based on EEG data are presented.


title: Defect bulk-boundary correspondence of topological skyrmion phases of matter

abstract: Unpaired Majorana zero-modes are central to topological quantum computation schemes as building blocks of topological qubits, and are therefore under intense experimental and theoretical investigation. Their generalizations to parafermions and Fibonacci anyons are also of great interest, in particular for universal quantum computation schemes. In this work, we find a different generalization of Majorana zero-modes in effectively non-interacting systems, which are zero-energy bound states that exhibit a cross structure -- two straight, perpendicular lines in the complex plane -- composed of the complex number entries of the zero-mode wavefunction on a lattice, rather than a single straight line formed by complex number entries of the wavefunction on a lattice as in the case of an unpaired Majorana zero-mode. These cross zero-modes are realized for topological skyrmion phases under certain open boundary conditions when their characteristic momentum-space spin textures trap topological defects. They therefore serve as a second type of bulk-boundary correspondence for the topological skyrmion phases. In the process of characterizing this defect bulk-boundary correspondence, we develop recipes for constructing physically-relevant model Hamiltonians for topological skyrmion phases, efficient methods for computing the skyrmion number, and introduce three-dimensional topological skyrmion phases into the literature.


title: Exploring Cross-lingual Textual Style Transfer with Large Multilingual Language Models

abstract: Detoxification is a task of generating text in polite style while preserving meaning and fluency of the original toxic text. Existing detoxification methods are designed to work in one exact language. This work investigates multilingual and cross-lingual detoxification and the behavior of large multilingual models like in this setting. Unlike previous works we aim to make large language models able to perform detoxification without direct fine-tuning in given language. Experiments show that multilingual models are capable of performing multilingual style transfer. However, models are not able to perform cross-lingual detoxification and direct fine-tuning on exact language is inevitable.


title: Two Types of 3D Quantum Hall Effects in Multilayer WTe$_2$

abstract: Interplay between the topological surface states and bulk states gives rise to diverse exotic transport phenomena in topological materials. The recently proposed Weyl orbit in topological semimetals in the presence of magnetic field is a remarkable example. This novel closed magnetic orbit consists of Fermi arcs on two spatially separated sample surfaces which are connected by the bulk chiral zero mode, which can contribute to transport. Here we report Shubnikov-de Haas (SdH) oscillation and its evolution into quantum Hall effect (QHE) in multilayered type-II Weyl semimetal WTe2. We observe both the three-dimensional (3D) QHE from bulk states by parallelly stacking of confined two-dimensional layers in the low magnetic field region and the 3D QHE in the quantized surface transport due to Weyl orbits in the high magnetic field region. Our study of the two types of novel QHEs controlled by magnetic field and our demonstration of the crossover between quantized bulk and surface transport provide an essential platform for the future quantized transport studies in topological semimetals.


title: Augmenting Netflix Search with In-Session Adapted Recommendations

abstract: We motivate the need for recommendation systems that can cater to the members in-the-moment intent by leveraging their interactions from the current session. We provide an overview of an end-to-end in-session adaptive recommendations system in the context of Netflix Search. We discuss the challenges and potential solutions when developing such a system at production scale.


title: Modeling GPU Dynamic Parallelism for Self Similar Density Workloads

abstract: Dynamic Parallelism (DP) is a runtime feature of the GPU programming model that allows GPU threads to execute additional GPU kernels, recursively. Apart from making the programming of parallel hierarchical patterns easier, DP can also speedup problems that exhibit a heterogeneous data layout by focusing, through a subdivision process, the finite GPU resources on the sub-regions that exhibit more parallelism. However, doing an optimal subdivision process is not trivial, as there are different parameters that play an important role in the final performance of DP. Moreover, the current programming abstraction for DP also introduces an overhead that can penalize the final performance. In this work we present a subdivision cost model for problems that exhibit self similar density (SSD) workloads (such as fractals), in order understand what parameters provide the fastest subdivision approach. Also, we introduce a new subdivision implementation, named \textit{Adaptive Serial Kernels} (ASK), as a smaller overhead alternative to CUDA's Dynamic Parallelism. Using the cost model on the Mandelbrot Set as a case study shows that the optimal scheme is to start with an initial subdivision between $g=[2,16]$, then keep subdividing in regions of $r=2,4$, and stop when regions reach a size of $B \sim 32$. The experimental results agree with the theoretical parameters, confirming the usability of the cost model. In terms of performance, the proposed ASK approach runs up to $\sim 60\%$ faster than Dynamic Parallelism in the Mandelbrot set, and up to $12\times$ faster than a basic exhaustive implementation, whereas DP is up to $7.5\times$.


title: Use-Case-Grounded Simulations for Explanation Evaluation

abstract: A growing body of research runs human subject evaluations to study whether providing users with explanations of machine learning models can help them with practical real-world use cases. However, running user studies is challenging and costly, and consequently each study typically only evaluates a limited number of different settings, e.g., studies often only evaluate a few arbitrarily selected explanation methods. To address these challenges and aid user study design, we introduce Use-Case-Grounded Simulated Evaluations (SimEvals). SimEvals involve training algorithmic agents that take as input the information content (such as model explanations) that would be presented to each participant in a human subject study, to predict answers to the use case of interest. The algorithmic agent's test set accuracy provides a measure of the predictiveness of the information content for the downstream use case. We run a comprehensive evaluation on three real-world use cases (forward simulation, model debugging, and counterfactual reasoning) to demonstrate that Simevals can effectively identify which explanation methods will help humans for each use case. These results provide evidence that SimEvals can be used to efficiently screen an important set of user study design decisions, e.g. selecting which explanations should be presented to the user, before running a potentially costly user study.


title: Efficient Annotation and Learning for 3D Hand Pose Estimation: A Survey

abstract: In this survey, we present a systematic review of 3D hand pose estimation from the perspective of efficient annotation and learning. 3D hand pose estimation has been an important research area owing to its potential to enable various applications, such as video understanding, AR/VR, and robotics. However, the performance of models is tied to the quality and quantity of annotated 3D hand poses. Under the status quo, acquiring such annotated 3D hand poses is challenging, e.g., due to the difficulty of 3D annotation and the presence of occlusion. To reveal this problem, we review the pros and cons of existing annotation methods classified as manual, synthetic-model-based, hand-sensor-based, and computational approaches. Additionally, we examine methods for learning 3D hand poses when annotated data are scarce, including self-supervised pretraining, semi-supervised learning, and domain adaptation. Based on the study of efficient annotation and learning, we further discuss limitations and possible future directions in this field.


title: Exponential densities and compound Poisson measures

abstract: We prove estimates at infinity of convolutions $f^{n\star}$ and densities of the corresponding compound Poisson measures for a class of radial decreasing densities on $\mathbb{R}^d$, $d \geq 1$, which are not convolution equivalent. Existing methods and tools are limited to the situation in which the convolution $f^{2\star}(x)$ is comparable to initial density $f(x)$ at infinity. We propose a new approach which allows one to break this barrier. We focus on densities which are products of exponential functions and smaller order terms -- they are common in applications. In the case when the smaller order term is polynomial estimates are given in terms of the generalized Bessel function. Our results can be seen as the first attempt to understand the intricate asymptotic properties of the compound Poisson and more general infinitely divisible measures constructed for such densities.


title: Quantum gravity on finite spacetimes and dynamical mass

abstract: We review quantum gravity model building using the new formalism of `quantum Riemannian geometry' to construct this on finite discrete spaces and on fuzzy ones such as matrix algebras. The formalism starts with a `differential structure' as a bimodule $\Omega^1$ of differential 1-forms over the coordinate algebra $A$, which could be noncommutative. A quantum metric is a noncommutative rank (0,2) tensor in $\Omega^1\otimes_A\Omega^1$, for which we then search for a quantum Levi-Civita connection (this is no longer unique or guaranteed). We outline the three models which have so far been constructed in this formalism, commonalities among them, and issues going forward. One commonality is a uniform nonzero variance of metric expectation values in the strong gravity limit. We also outline and discuss the construction of quantum FLRW cosmology and black-hole backgrounds using quantum Riemannian geometry and other recent results. Among new results, we perform a Kaluza-Klein type analysis where we tensor classical spacetime coordinates with a finite quantum Riemannian geometry and we give an example where a scalar field on the total space appears as a multiplet of scalar fields on spacetime with a spread of dynamically generated masses.


title: SealID: Saimaa ringed seal re-identification dataset

abstract: Wildlife camera traps and crowd-sourced image material provide novel possibilities to monitor endangered animal species. However, massive image volumes that these methods produce are overwhelming for researchers to go through manually which calls for automatic systems to perform the analysis. The analysis task that has gained the most attention is the re-identification of individuals, as it allows, for example, to study animal migration or to estimate the population size. The Saimaa ringed seal (Pusa hispida saimensis) is an endangered subspecies only found in the Lake Saimaa, Finland, and is one of the few existing freshwater seal species. Ringed seals have permanent pelage patterns that are unique to each individual which can be used for the identification of individuals. Large variation in poses further exacerbated by the deformable nature of seals together with varying appearance and low contrast between the ring pattern and the rest of the pelage makes the Saimaa ringed seal re-identification task very challenging, providing a good benchmark to evaluate state-of-the-art re-identification methods. Therefore, we make our Saimaa ringed seal image (SealID) dataset (N=57) publicly available for research purposes. In this paper, the dataset is described, the evaluation protocol for re-identification methods is proposed, and the results for two baseline methods HotSpotter and NORPPA are provided. The SealID dataset has been made publicly available.


title: Towards Individual Grevy's Zebra Identification via Deep 3D Fitting and Metric Learning

abstract: This paper combines deep learning techniques for species detection, 3D model fitting, and metric learning in one pipeline to perform individual animal identification from photographs by exploiting unique coat patterns. This is the first work to attempt this and, compared to traditional 2D bounding box or segmentation based CNN identification pipelines, the approach provides effective and explicit view-point normalisation and allows for a straight forward visualisation of the learned biometric population space. Note that due to the use of metric learning the pipeline is also readily applicable to open set and zero shot re-identification scenarios. We apply the proposed approach to individual Grevy's zebra (Equus grevyi) identification and show in a small study on the SMALST dataset that the use of 3D model fitting can indeed benefit performance. In particular, back-projected textures from 3D fitted models improve identification accuracy from 48.0% to 56.8% compared to 2D bounding box approaches for the dataset. Whilst the study is far too small accurately to estimate the full performance potential achievable in larger-scale real-world application settings and in comparisons against polished tools, our work lays the conceptual and practical foundations for a next step in animal biometrics towards deep metric learning driven, fully 3D-aware animal identification in open population settings. We publish network weights and relevant facilitating source code with this paper for full reproducibility and as inspiration for further research.


title: Diffusion-GAN: Training GANs with Diffusion

abstract: Generative adversarial networks (GANs) are challenging to train stably, and a promising remedy of injecting instance noise into the discriminator input has not been very effective in practice. In this paper, we propose Diffusion-GAN, a novel GAN framework that leverages a forward diffusion chain to generate Gaussian-mixture distributed instance noise. Diffusion-GAN consists of three components, including an adaptive diffusion process, a diffusion timestep-dependent discriminator, and a generator. Both the observed and generated data are diffused by the same adaptive diffusion process. At each diffusion timestep, there is a different noise-to-data ratio and the timestep-dependent discriminator learns to distinguish the diffused real data from the diffused generated data. The generator learns from the discriminator's feedback by backpropagating through the forward diffusion chain, whose length is adaptively adjusted to balance the noise and data levels. We theoretically show that the discriminator's timestep-dependent strategy gives consistent and helpful guidance to the generator, enabling it to match the true data distribution. We demonstrate the advantages of Diffusion-GAN over strong GAN baselines on various datasets, showing that it can produce more realistic images with higher stability and data efficiency than state-of-the-art GANs.


title: Rotation to Sparse Loadings using $L^p$ Losses and Related Inference Problems

abstract: Researchers have widely used exploratory factor analysis (EFA) to learn the latent structure underlying multivariate data. Rotation and regularised estimation are two classes of methods in EFA that they often use to find interpretable loading matrices. In this paper we propose a new family of oblique rotations based on component-wise $L^p$ loss functions $(0 < p\leq 1)$ that is closely related to an $L^p$ regularised estimator. We develop model selection and post-selection inference procedures based on the proposed rotation method. When the true loading matrix is sparse, the proposed method tends to outperform traditional rotation and regularised estimation methods in terms of statistical accuracy and computational cost. Since the proposed loss functions are nonsmooth, we develop an iteratively reweighted gradient projection algorithm for solving the optimisation problem. We also develop theoretical results that establish the statistical consistency of the estimation, model selection, and post-selection inference. We evaluate the proposed method and compare it with regularised estimation and traditional rotation methods via simulation studies. We further illustrate it using an application to the Big Five personality assessment.


title: Waterfall stiff period can generate observable primordial gravitational waves

abstract: A toy-model is studied, which considers two flat directions meeting at an enhanced symmetry point such that they realise the usual hybrid inflation mechanism. The kinetic term of the waterfall field features a pole at its Planckian vacuum expectation value (VEV), as with $\alpha$-attractors. Consequently, after the phase transition which terminates hybrid inflation, the waterfall field never rolls to its VEV. Instead, it drives a stiff period, where the barotropic parameter of the Universe $w\approx 1/2$ results in a peak in the spectrum of primordial gravitational waves, which will be observable by the forthcoming LISA mission as well as by Advanced LIGO.


title: Relations amongst twists along Montesinos twins in the 4-sphere

abstract: Isotopy classes of diffeomorphisms of the 4-sphere can be described either from a Cerf theoretic perspective in terms of loops of 5-dimensional handle attaching data, starting and ending with handles in cancelling position, or via certain twists along submanifolds analogous to Dehn twists in dimension two. The subgroup of the smooth mapping class group of the 4-sphere coming from loops of 5-dimensional handles of index 1 and 2 coincides with the subgroup generated by twists along Montesinos twins (pairs of 2-spheres intersecting transversely twice) in which one of the two 2-spheres in the twin is unknotted. In this paper we show that this subgroup is in fact trivial or cyclic of order two.


title: Information Threshold, Bayesian Inference and Decision-Making

abstract: We define the information threshold as the point of maximum curvature in the prior vs. posterior Bayesian curve, both of which are described as a function of the true positive and negative rates of the classification system in question. The nature of the threshold is such that for sufficiently adequate binary classification systems, retrieving excess information beyond the threshold does not significantly alter the reliability of our classification assessment. We hereby introduce the "marital status thought experiment" to illustrate this idea and report a previously undefined mathematical relationship between the Bayesian prior and posterior, which may have significant philosophical and epistemological implications in decision theory. Where the prior probability is a scalar between 0 and 1 given by $\phi$ and the posterior is a scalar between 0 and 1 given by $\rho$, then at the information threshold, $\phi_e$: $\phi_e + \rho_e = 1$ Otherwise stated, given some degree of prior belief, we may assert its persuasiveness when sufficient quality evidence yields a posterior so that their combined sum equals 1. Retrieving further evidence beyond this point does not significantly improve the posterior probability, and may serve as a benchmark for confidence in decision-making.


title: A fractional Borel-Pompeiu type formula and a related fractional $\psi-$Fueter operator with respect to a vector-valued function

abstract: In this paper we combine the fractional $\psi-$hyperholomorphic function theory with the fractional calculus with respect to another function. As a main result, a fractional Borel-Pompeiu type formula related to a fractional $\psi-$Fueter operator with respect to a vector-valued function, is proved.


title: Characters of solvable groups, Hilbert-Schmidt stability and dense periodic measures

abstract: We study the character theory of metabelian and polycyclic groups. It is used to investigate Hilbert-Schmidt stability via the character-theoretic criterion of Hadwin and Shulman. There is a close connection between stability and dynamics of automorphisms of compact abelian groups. Relying on this, we deduce that finitely generated virtually nilpotent groups, free metabelian groups, lamplighter groups as well as upper triangular groups over certain rings of algebraic integers are Hilbert-Schmidt stable.


title: A bicomplex $(\vartheta,\varphi)-$weighted fractional Borel-Pompeiu type formula

abstract: The purpose of this paper is to establish a Borel-Pompeiu type formula induced from a fractional bicomplex $(\vartheta,\varphi)-$weighted Cauchy-Riemann operator, where the weights are two hyperbolic orthogonal bicomplex functions and the fractionality is understand in the Riemann-Liouville sense.


title: Estimating building energy efficiency from street view imagery, aerial imagery, and land surface temperature data

abstract: Current methods to determine the energy efficiency of buildings require on-site visits of certified energy auditors which makes the process slow, costly, and geographically incomplete. To accelerate the identification of promising retrofit targets on a large scale, we propose to estimate building energy efficiency from widely available and remotely sensed data sources only, namely street view, aerial view, footprint, and satellite-borne land surface temperature (LST) data. After collecting data for almost 40,000 buildings in the United Kingdom, we combine these data sources by training multiple end-to-end deep learning models with the objective to classify buildings as energy efficient (EU rating A-D) or inefficient (EU rating E-G). After evaluating the trained models quantitatively as well as qualitatively, we extend our analysis by studying the predictive power of each data source in an ablation study. We find that the end-to-end deep learning model trained on all four data sources achieves a macro-averaged F1 score of 64.64% and outperforms the k-NN and SVM-based baseline models by 14.13 to 12.02 percentage points, respectively. Thus, this work shows the potential and complementary nature of remotely sensed data in predicting energy efficiency and opens up new opportunities for future work to integrate additional data sources.


title: Ladder Costs for Random Walks in L\'evy media

abstract: We consider a random walk $Y$ moving on a \emph{L\'evy random medium}, namely a one-dimensional renewal point process with inter-distances between points that are in the domain of attraction of a stable law. The focus is on the characterization of the law of the first-ladder height $Y_{\mathcal{T}}$ and length $L_{\mathcal{T}}(Y)$, where $\mathcal{T}$ is the first-passage time of $Y$ in $\mathbb{R}^+$. The study relies on the construction of a broader class of processes, denoted \emph{Random Walks in Random Scenery on Bonds} (RWRSB) that we briefly describe. The scenery is constructed by associating two random variables with each bond of $\mathbb{Z}$, corresponding to the two possible crossing directions of that bond. A random walk $S$ on $\mathbb{Z}$ with i.i.d increments collects the scenery values of the bond it traverses: we denote this composite process the RWRSB. Under suitable assumptions, we characterize the tail distribution of the sum of scenery values collected up to the first exit time $\mathcal{T}$. This setting will be applied to obtain results for the laws of the first-ladder length and height of $Y$. The main tools of investigation are a generalized Spitzer-Baxter identity, that we derive along the proof, and a suitable representation of the RWRSB in terms of local times of the random walk $S$. All these results are easily generalized to the entire sequence of ladder variables.


title: Quantized and Distributed Subgradient Optimization Method with Malicious Attack

abstract: This paper considers a distributed optimization problem in a multi-agent system where a fraction of the agents act in an adversarial manner. Specifically, the malicious agents steer the network of agents away from the optimal solution by sending false information to their neighbors and consume significant bandwidth in the communication process. We propose a distributed gradient-based optimization algorithm in which the non-malicious agents exchange quantized information with one another. We prove convergence of the solution to a neighborhood of the optimal solution, and characterize the solutions obtained under the communication-constrained environment and presence of malicious agents. Numerical simulations to illustrate the results are also presented.


title: Constraining inputs to realistic kilonova simulations through comparison to observed $r$-process abundances

abstract: Kilonovae, one source of electromagnetic emission associated with neutron star mergers, are powered by the decay of radioactive isotopes in the neutron-rich merger ejecta. Models for kilonova emission consistent with the electromagnetic counterpart to GW170817 predict characteristic abundance patterns, determined by the relative balance of different types of material in the outflow. Assuming the observed source is prototypical, this inferred abundance pattern in turn must match $r$-process abundances deduced by other means, such as what is observed in the solar system. We report on analysis comparing the input mass-weighted elemental compositions adopted in our radiative transfer simulations to the mass fractions of elements in the Sun, as a practical prototype for the potentially universal abundance signature from neutron-star mergers. We characterize the extent to which our parameter inference results depend on our assumed composition for the dynamical and wind ejecta and examine how the new results compare to previous work. We find that a dynamical ejecta composition calculated using the FRDM2012 nuclear mass and FRLDM fission models with extremely neutron-rich ejecta ($Y_{\rm{e}} = 0.035$) along with moderately neutron-rich ($Y_{\rm e} = 0.27$) wind ejecta composition yields a wind-to-dynamical mass ratio of $M_{\rm{w}}/M_{\rm{d}}$ = 0.47 which best matches the observed AT2017gfo kilonova light curves while also producing the best-matching abundance of neutron-capture elements in the solar system.


title: An information upper bound for probability sensitivity

abstract: Uncertain input of a mathematical model induces uncertainties in the output and probabilistic sensitivity analysis identifies the influential inputs to guide decision-making. Of practical concern is the probability that the output would, or would not, exceed a threshold, and the probability sensitivity depends on this threshold which is often uncertain. The Fisher information and the Kullback-Leibler divergence have been recently proposed in the literature as threshold-independent sensitivity metrics. We present mathematical proof that the information-theoretical metrics provide an upper bound for the probability sensitivity. The proof is elementary, relying only on a special version of the Cauchy-Schwarz inequality called Titu's lemma. Despite various inequalities exist for probabilities, little is known of probability sensitivity bounds and the one proposed here is new to the present authors' knowledge. The probability sensitivity bound is extended, analytically and with numerical examples, to the Fisher information of both the input and output. It thus provides a solid mathematical basis for decision-making based on probabilistic sensitivity metrics.

categories: cs.IT cs.NA math.IT math.NA math.ST stat.AP stat.TH


title: Sharper Rates and Flexible Framework for Nonconvex SGD with Client and Data Sampling

abstract: We revisit the classical problem of finding an approximately stationary point of the average of $n$ smooth and possibly nonconvex functions. The optimal complexity of stochastic first-order methods in terms of the number of gradient evaluations of individual functions is $\mathcal{O}\left(n + n^{1/2}\varepsilon^{-1}\right)$, attained by the optimal SGD methods $\small\sf\color{green}{SPIDER}$(arXiv:1807.01695) and $\small\sf\color{green}{PAGE}$(arXiv:2008.10898), for example, where $\varepsilon$ is the error tolerance. However, i) the big-$\mathcal{O}$ notation hides crucial dependencies on the smoothness constants associated with the functions, and ii) the rates and theory in these methods assume simplistic sampling mechanisms that do not offer any flexibility. In this work we remedy the situation. First, we generalize the $\small\sf\color{green}{PAGE}$ algorithm so that it can provably work with virtually any (unbiased) sampling mechanism. This is particularly useful in federated learning, as it allows us to construct and better understand the impact of various combinations of client and data sampling strategies. Second, our analysis is sharper as we make explicit use of certain novel inequalities that capture the intricate interplay between the smoothness constants and the sampling procedure. Indeed, our analysis is better even for the simple sampling procedure analyzed in the $\small\sf\color{green}{PAGE}$ paper. However, this already improved bound can be further sharpened by a different sampling scheme which we propose. In summary, we provide the most general and most accurate analysis of optimal SGD in the smooth nonconvex regime. Finally, our theoretical findings are supposed with carefully designed experiments.


title: Restricted Birkhoff polytopes and Ehrhart period collapse

abstract: We show that the polytopes obtained from the Birkhoff polytope by imposing additional inequalities restricting the "longest increasing subsequence" have Ehrhart quasi-polynomials which are honest polynomials, even though they are just rational polytopes in general. We do this by defining a continuous, piecewise-linear bijection to a certain Gelfand-Tsetlin polytope. This bijection is not an integral equivalence but it respects lattice points in the appropriate way to imply that the two polytopes have the same Ehrhart (quasi-)polynomials. In fact, the bijection is essentially the Robinson-Schensted-Knuth correspondence.


title: Conceptual Modeling with Constraints

abstract: An important factor in guaranteeing the quality of a system is developing a conceptual model that reflects the knowledge about its domain as well as knowledge about the functions it has to perform. In software engineering, conceptual modeling has gained importance as a discipline that offers languages, methods, and methodologies to address the complexity of software development. The key to understanding such complexity is using tools such as diagrams at various levels of representation. A conceptual model must include all relevant static and behavioral aspects of its domain. In UML, the static aspects include structural diagrams that represent the internal architecture of a system with a special focus on the classes, the connections and interactions that they have, and integrity constraints over the state of the domain. UML does not have sufficient expressiveness for complete specifications of certain constraints. Constraints assist in analyzing permissible design requirements and the limitations of the intended functions. To overcome the limitations of the graphical notation, other types of languages are used to complement the diagrammatic language (e.g., the textual Object Constraint Language [OCL]). In this paper, we study how to express constraints diagrammatically using the thinging machine (TM) through examples taken from the UML/OCL literature. This would contribute to further understanding the notion of constraint in conceptual modeling. It also demonstrates the expressiveness and limitation of the TM. The paper suggests that the TM can provide a diagrammatic constraints language in conceptual models.


title: Autoregressive Model for Multi-Pass SAR Change Detection Based on Image Stacks

abstract: Change detection is an important synthetic aperture radar (SAR) application, usually used to detect changes on the ground scene measurements in different moments in time. Traditionally, change detection algorithm (CDA) is mainly designed for two synthetic aperture radar (SAR) images retrieved at different instants. However, more images can be used to improve the algorithms performance, witch emerges as a research topic on SAR change detection. Image stack information can be treated as a data series over time and can be modeled by autoregressive (AR) models. Thus, we present some initial findings on SAR change detection based on image stack considering AR models. Applying AR model for each pixel position in the image stack, we obtained an estimated image of the ground scene which can be used as a reference image for CDA. The experimental results reveal that ground scene estimates by the AR models is accurate and can be used for change detection applications.


title: Assembly Theory Explains and Quantifies the Emergence of Selection and Evolution

abstract: Since the time of Darwin, scientists have struggled to reconcile the evolution of biological forms in a universe determined by fixed laws. These laws underpin the origin of life, evolution, human culture and technology, as set by the boundary conditions of the universe, however these laws cannot predict the emergence of these things. By contrast evolutionary theory works in the opposite direction, indicating how selection can explain why some things exist and not others. To understand how open-ended forms can emerge in a forward-process from physics that does not include their design, a new approach to understand the non-biological to biological transition is necessary. Herein, we present a new theory, Assembly Theory (AT), which explains and quantifies the emergence of selection and evolution. In AT, the complexity of an individual observable object is measured by its Assembly Index (a), defined as the minimal number of steps needed to construct the object from basic building blocks. Combining a with the copy number defines a new quantity called Assembly which quantifies the amount of selection required to produce a given ensemble of objects. We investigate the internal structure and properties of assembly space and quantify the dynamics of undirected exploratory processes as compared to the directed processes that emerge from selection. The implementation of assembly theory allows the emergence of selection in physical systems to be quantified at any scale as the transition from undirected-discovery dynamics to a selected process within the assembly space. This yields a mechanism for the onset of selection and evolution and a formal approach to defining life. Because the assembly of an object is easily calculable and measurable it is possible to quantify a lower limit on the amount of selection and memory required to produce complexity uniquely linked to biology in the universe.


title: Annotation Error Detection: Analyzing the Past and Present for a More Coherent Future

abstract: Annotated data is an essential ingredient in natural language processing for training and evaluating machine learning models. It is therefore very desirable for the annotations to be of high quality. Recent work, however, has shown that several popular datasets contain a surprising amount of annotation errors or inconsistencies. To alleviate this issue, many methods for annotation error detection have been devised over the years. While researchers show that their approaches work well on their newly introduced datasets, they rarely compare their methods to previous work or on the same datasets. This raises strong concerns on methods' general performance and makes it difficult to asses their strengths and weaknesses. We therefore reimplement 18 methods for detecting potential annotation errors and evaluate them on 9 English datasets for text classification as well as token and span labeling. In addition, we define a uniform evaluation setup including a new formalization of the annotation error detection task, evaluation protocol and general best practices. To facilitate future research and reproducibility, we release our datasets and implementations in an easy-to-use and open source software package.


title: E^2VTS: Energy-Efficient Video Text Spotting from Unmanned Aerial Vehicles

abstract: Unmanned Aerial Vehicles (UAVs) based video text spotting has been extensively used in civil and military domains. UAV's limited battery capacity motivates us to develop an energy-efficient video text spotting solution. In this paper, we first revisit RCNN's crop & resize training strategy and empirically find that it outperforms aligned RoI sampling on a real-world video text dataset captured by UAV. To reduce energy consumption, we further propose a multi-stage image processor that takes videos' redundancy, continuity, and mixed degradation into account. Lastly, the model is pruned and quantized before deployed on Raspberry Pi. Our proposed energy-efficient video text spotting solution, dubbed as E^2VTS, outperforms all previous methods by achieving a competitive tradeoff between energy efficiency and performance. All our codes and pre-trained models are available at https://github.com/wuzhenyusjtu/LPCVC20-VideoTextSpotting.


title: Invariant measures of the topological flow and measures at infinity on hyperbolic groups

abstract: We show that for every non-elementary hyperbolic group, an associated topological flow space admits a coding based on a transitive subshift of finite type. Applications include regularity results for Manhattan curves, the uniqueness of measures of maximal Hausdorff dimension with potentials, and the real analyticity of intersection numbers for families of dominated representation, thus providing a direct proof of a result established by Bridgeman, Canary, Labourie and Sambarino in 2015.


title: Situation Theory and Channel theory as a Unified Framework for Imperfect Information Management

abstract: This article argues that the Situation theory and the Channel theory can be used as a general framework for Imperfect Information Management. Different kinds of imperfections are uncertainty, imprecision, vagueness, incompleteness, inconsistency, and context-dependency which can be handled pretty well by our brain. Basic approaches like probability theory and standard logic are intrinsically inefficient in modeling fallacious minds. The generalized probability and nonstandard logic theories have epistemological motivations to provide better models for information integration in cognitive agents. Among many models of them, possibility theory and probabilistic logic theory are the best approaches. I argue, based on a review of different approaches to Imperfect Information Management, that a good framework for it is the Situation theory of Barwise and the Channel theory of Barwise-Seligman. These theories have relied on a powerful and unique epistemological-based notion of information to refer to partiality. These frameworks have a proper approach for context modeling to handle common knowledge and incomplete information. Also, they distinguish belief from knowledge clearly to model the non-monotonic and dynamic nature of knowledge. They discern the logic of the world from information flow in the mind. The objectification process in these theories reveals to us the nature of default or probabilistic rules in perceptions. The concept of the channel can be used to represent those types of reasoning mechanisms that move from one model or logic to another one. The imprecision in our perceptions causes fuzziness in reasoning and vagueness in communication that can be represented by some suitable classifications connected by some channels. This new framework like a network framework can provide a scalable and open framework to cover different models based on a relativistic notion of truth.


title: Tagged-MRI Sequence to Audio Synthesis via Self Residual Attention Guided Heterogeneous Translator

abstract: Understanding the underlying relationship between tongue and oropharyngeal muscle deformation seen in tagged-MRI and intelligible speech plays an important role in advancing speech motor control theories and treatment of speech related-disorders. Because of their heterogeneous representations, however, direct mapping between the two modalities -- i.e., two-dimensional (mid-sagittal slice) plus time tagged-MRI sequence and its corresponding one-dimensional waveform -- is not straightforward. Instead, we resort to two-dimensional spectrograms as an intermediate representation, which contains both pitch and resonance, from which to develop an end-to-end deep learning framework to translate from a sequence of tagged-MRI to its corresponding audio waveform with limited dataset size.~Our framework is based on a novel fully convolutional asymmetry translator with guidance of a self residual attention strategy to specifically exploit the moving muscular structures during speech.~In addition, we leverage a pairwise correlation of the samples with the same utterances with a latent space representation disentanglement strategy.~Furthermore, we incorporate an adversarial training approach with generative adversarial networks to offer improved realism on our generated spectrograms.~Our experimental results, carried out with a total of 63 tagged-MRI sequences alongside speech acoustics, showed that our framework enabled the generation of clear audio waveforms from a sequence of tagged-MRI, surpassing competing methods. Thus, our framework provides the great potential to help better understand the relationship between the two modalities.


title: Story Beyond the Eye: Glyph Positions Break PDF Text Redaction

abstract: In this work we find that many current redactions of PDF text are insecure due to non-redacted character positioning information. In particular, subpixel-sized horizontal shifts in redacted and non-redacted characters can be recovered and used to effectively deredact first and last names. Unfortunately these findings affect redactions where the text underneath the black box is removed from the PDF. We demonstrate these findings by performing a comprehensive vulnerability assessment of common PDF redaction types. We examine 11 popular PDF redaction tools, including Adobe Acrobat, and find that they leak information about redacted text. We also effectively deredact hundreds of real-world PDF redactions, including those found in OIG investigation reports and FOIA responses. To correct the problem, we have released open source algorithms to fix trivial redactions and reduce the amount of information leaked by nonexcising redactions (where the text underneath the redaction is copy-pastable). We have also notified the developers of the studied redaction tools. We have notified the Office of Inspector General, the Free Law Project, PACER, Adobe, Microsoft, and the US Department of Justice. We are working with several of these groups to prevent our discoveries from being used for malicious purposes.


title: AugLoss: A Robust Augmentation-based Fine Tuning Methodology

abstract: Deep Learning (DL) models achieve great successes in many domains. However, DL models increasingly face safety and robustness concerns, including noisy labeling in the training stage and feature distribution shifts in the testing stage. Previous works made significant progress in addressing these problems, but the focus has largely been on developing solutions for only one problem at a time. For example, recent work has argued for the use of tunable robust loss functions to mitigate label noise, and data augmentation (e.g., AugMix) to combat distribution shifts. As a step towards addressing both problems simultaneously, we introduce AugLoss, a simple but effective methodology that achieves robustness against both train-time noisy labeling and test-time feature distribution shifts by unifying data augmentation and robust loss functions. We conduct comprehensive experiments in varied settings of real-world dataset corruption to showcase the gains achieved by AugLoss compared to previous state-of-the-art methods. Lastly, we hope this work will open new directions for designing more robust and reliable DL models under real-world corruptions.


title: Integral Line-of-Sight Curved Path Following of Helical Microswimmers Actuated by Rotating Magnetic Dipoles

abstract: This short paper investigates the problem of curved path following for helical microswimmers actuated by rotating magnetic dipoles. The proposed solution, which relies on an integral line-of-sight (ILOS) guidance law, can be utilized in both below and beyond step-out frequency regimes.


title: ACT: Semi-supervised Domain-adaptive Medical Image Segmentation with Asymmetric Co-training

abstract: Unsupervised domain adaptation (UDA) has been vastly explored to alleviate domain shifts between source and target domains, by applying a well-performed model in an unlabeled target domain via supervision of a labeled source domain. Recent literature, however, has indicated that the performance is still far from satisfactory in the presence of significant domain shifts. Nonetheless, delineating a few target samples is usually manageable and particularly worthwhile, due to the substantial performance gain. Inspired by this, we aim to develop semi-supervised domain adaptation (SSDA) for medical image segmentation, which is largely underexplored. We, thus, propose to exploit both labeled source and target domain data, in addition to unlabeled target data in a unified manner. Specifically, we present a novel asymmetric co-training (ACT) framework to integrate these subsets and avoid the domination of the source domain data. Following a divide-and-conquer strategy, we explicitly decouple the label supervisions in SSDA into two asymmetric sub-tasks, including semi-supervised learning (SSL) and UDA, and leverage different knowledge from two segmentors to take into account the distinction between the source and target label supervisions. The knowledge learned in the two modules is then adaptively integrated with ACT, by iteratively teaching each other, based on the confidence-aware pseudo-label. In addition, pseudo label noise is well-controlled with an exponential MixUp decay scheme for smooth propagation. Experiments on cross-modality brain tumor MRI segmentation tasks using the BraTS18 database showed, even with limited labeled target samples, ACT yielded marked improvements over UDA and state-of-the-art SSDA methods and approached an "upper bound" of supervised joint training.


title: Locally free Caldero-Chapoton functions via reflections

abstract: We study the reflections of locally free Caldero-Chapoton functions associated to representations of Geiss-Leclerc-Schr\"oer's quivers with relations for symmetrizable Cartan matrices. We prove that for rank 2 cluster algebras, non-initial cluster variables are expressed as locally free Caldero-Chapoton functions of locally free indecomposable rigid representations. Our method gives rise to a new proof of the locally free Caldero-Chapoton formulas obtained by Geiss-Leclerc-Schr\"oer in Dynkin cases. For general acyclic skew-symmetrizable cluster algebras, we prove the formula for any non-initial cluster variable obtained by almost sink and source mutations.


title: A knowledge graph representation learning approach to predict novel kinase-substrate interactions

abstract: The human proteome contains a vast network of interacting kinases and substrates. Even though some kinases have proven to be immensely useful as therapeutic targets, a majority are still understudied. In this work, we present a novel knowledge graph representation learning approach to predict novel interaction partners for understudied kinases. Our approach uses a phosphoproteomic knowledge graph constructed by integrating data from iPTMnet, Protein Ontology, Gene Ontology and BioKG. The representation of kinases and substrates in this knowledge graph are learned by performing directed random walks on triples coupled with a modified SkipGram or CBOW model. These representations are then used as an input to a supervised classification model to predict novel interactions for understudied kinases. We also present a post-predictive analysis of the predicted interactions and an ablation study of the phosphoproteomic knowledge graph to gain an insight into the biology of the understudied kinases.


title: Pretrained Models for Multilingual Federated Learning

abstract: Since the advent of Federated Learning (FL), research has applied these methods to natural language processing (NLP) tasks. Despite a plethora of papers in FL for NLP, no previous works have studied how multilingual text impacts FL algorithms. Furthermore, multilingual text provides an interesting avenue to examine the impact of non-IID text (e.g. different languages) on FL in naturally occurring data. We explore three multilingual language tasks, language modeling, machine translation, and text classification using differing federated and non-federated learning algorithms. Our results show that using pretrained models reduces the negative effects of FL, helping them to perform near or better than centralized (no privacy) learning, even when using non-IID partitioning.


title: An Unbiased Quantum Random Number Generator Based on Boson Sampling

abstract: It has been proven that Boson sampling is a much promising model of optical quantum computation, which has been applied to designing quantum computer successfully, such as "Jiuzhang". However, the meaningful randomness of Boson sampling results, whose correctness and significance were proved from a specific quantum mechanical distribution, has not been utilized or exploited. In this research, Boson sampling is applied to design a novel Quantum Random Number Generator (QRNG) by fully exploiting the randomness of Boson sampling results, and its prototype system is constructed with the programmable silicon photonic processor, which can generate uniform and unbiased random sequences and overcome the shortcomings of the existing discrete QRNGs such as source-related, high demand for the photon number resolution capability of the detector and slow self-detection generator speed. Boson sampling is implemented as a random entropy source, and random bit strings with satisfactory randomness and uniformity can be obtained after post-processing the sampling results. It is the first approach for applying the randomness of Boson sampling results to develop a practical prototype system for actual tasks, and the experiment results demonstrate the designed Boson sampling-based QRNG prototype system pass 15 tests of the NIST SP 800-22 statistical test component, which prove that Boson sampling has great potential for practical applications with desirable performance besides quantum advantage.


title: Mock theta functions and indefinite modular forms

abstract: In the explicit formula for the signed mock theta functions $\Phi^{(-)[m,s]}$ obtained from the coroot lattice of $D(2,1;a)$, functions with indefinite quadratic forms naturally take place. We compute their modular transformation properties by applying the Zwegers' modification theory of mock theta functions and show that the $\mathbf{C}$-linear span of these functions is $SL_2(\mathbf{Z})$-invariant.


title: Stable high-dimensional weak-light soliton molecules and their active control

abstract: Bound states of solitons, alias soliton molecules (SMs), are well known in one-dimensional (1D) systems, while making stable bound states of multidimensional solitons is a challenging problem because of the underlying instabilities. Here we propose a scheme for the creation of stable (2+1)D and (3+1)D optical SMs in a gas of cold Rydberg atoms, in which electromagnetically induced transparency (EIT) is induced by a control laser field. We show that, through the interplay of the EIT and the strong long-range interaction between the Rydberg atoms, the system gives rise to giant nonlocal Kerr nonlinearity, which in turn supports stable (2+1)D spatial optical SMs, as well as ring-shaped soliton necklaces, including rotating ones. They feature a large size, low generation power, and can be efficiently manipulated by tuning the nonlocality degree of the Kerr nonlinearity. Stable (3+1)D spatiotemporal optical SMs, composed of fundamental or vortex solitons, with low power and ultraslow propagation velocity, can also be generated in the system. These SMs can be stored and retrieved through the switching off and on of the control laser field. The findings reported here suggest applications to data processing and transmission in optical systems.


title: HIFI-Net: A Novel Network for Enhancement to Underwater Images

abstract: A novel network for enhancement to underwater images is proposed in this paper. It contains a Reinforcement Fusion Module for Haar wavelet images (RFM-Haar) based on Reinforcement Fusion Unit (RFU), which is used to fuse an original image and some important information within it. Fusion is achieved for better enhancement. As this network make "Haar Images into Fusion Images", it is called HIFI-Net. The experimental results show the proposed HIFI-Net performs best among many state-of-the-art methods on three datasets at three normal metrics and a new metric.


title: Doubly Robust Inference for Hazard Ratio under Informative Censoring with Machine Learning

abstract: Randomized clinical trials with time-to-event outcomes have traditionally used the log-rank test followed by the Cox proportional hazards (PH) model to estimate the hazard ratio between the treatment groups. These are valid under the assumption that the right-censoring mechanism is non-informative, i.e. independent of the time-to-event of interest within each treatment group. More generally, the censoring time might depend on additional covariates, and inverse probability of censoring weighting (IPCW) can be used to correct for the bias resulting from the informative censoring. IPCW requires a correctly specified censoring time model conditional on the treatment and the covariates. Doubly robust inference in this setting has not been plausible previously due to the non-collapsibility of the Cox model. However, with the recent development of data-adaptive machine learning methods we derive an augmented IPCW (AIPCW) estimator that has the following doubly robust (DR) properties: it is model doubly robust, in that it is consistent and asymptotic normal (CAN), as long as one of the two models, one for the failure time and one for the censoring time, is correctly specified; it is also rate doubly robust, in that it is CAN as long as the product of the estimation error rates under these two models is faster than root-$n$. We investigate the AIPCW estimator using extensive simulation in finite samples.


title: Quantum calculations on a new CCSD(T) machine-learned PES reveal the leaky nature of gas-phase $trans$ and $gauche$ ethanol conformers

abstract: Ethanol is a molecule of fundamental interest in combustion, astrochemistry, and condensed phase as a solvent. It is characterized by two methyl rotors and $trans$ ($anti$) and $gauche$ conformers, which are known to be very close in energy. Here we show that based on rigorous quantum calculations of the vibrational zero-point state, using a new ab initio potential energy surface (PES), the ground state resembles the $trans$ conformer but substantial delocalization to the $gauche$ conformer is present. This explains experimental issues about the identification and isolation of the two conformers. This "leak" effect is partially quenched when deuterating the OH group, which further demonstrates the need for a quantum mechanical approach. Diffusion Monte Carlo (DMC) and full-dimensional semiclassical dynamics calculations are employed. The new PES is obtained by means of a $\Delta$-Machine learning approach starting from a pre-existing low level (LL) density functional theory (DFT) surface. This surface is brought to the CCSD(T) level of theory using a relatively small number of $ab$ $initio$ CCSD(T) energies. Agreement between the corrected PES and direct $ab$ $initio$ results for standard fidelity tests is excellent. One- and two-dimensional discrete variable representation calculations focusing on the $trans$-$gauche$ torsional motion are also reported, in reasonable agreement with the experiment.


title: MICAL: Mutual Information-Based CNN-Aided Learned Factor Graphs for Seizure Detection from EEG Signals

abstract: We develop a hybrid model-based data-driven seizure detection algorithm called Mutual Information-based CNNAided Learned factor graphs (MICAL) for detection of eclectic seizures from EEG signals. Our proposed method contains three main components: a neural mutual information (MI) estimator, 1D convolutional neural network (CNN), and factor graph inference. Since during seizure the electrical activity in one or more regions in the brain becomes correlated, we use neural MI estimators to measure inter-channel statistical dependence. We also design a 1D CNN to extract additional features from raw EEG signals. Since the soft estimates obtained as the combined features from the neural MI estimator and the CNN do not capture the temporal correlation between different EEG blocks, we use them not as estimates of the seizure state, but to compute the function nodes of a factor graph. The resulting factor graphs allows structured inference which exploits the temporal correlation for further improving the detection performance. On public CHB-MIT database, We conduct three evaluation approaches using the public CHB-MIT database, including 6-fold leave-four-patients-out cross-validation, all patient training; and per patient training. Our evaluations systematically demonstrate the impact of each element in MICAL through a complete ablation study and measuring six performance metrics. It is shown that the proposed method obtains state-of-the-art performance specifically in 6-fold leave-four-patients-out cross-validation and all patient training, demonstrating a superior generalizability.


title: Decades' long-term variations in NS-LMXBs observed with MAXI/GSC, RXTE/ASM and Ginga/ASM

abstract: We investigated the decades' long-term X-ray variations in bright low-mass X-ray binaries containing a neutron star (NS-LMXB). The light curves of MAXI/GSC and RXTE/ASM covers $\sim$ 26 yr, and high-quality X-ray light curves are obtained from 33 NS-LMXBs. Among them, together with Ginga/ASM, two sources (GX 3$+$1 and GX 9$+$1) showed an apparent sinusoidal variation with the period of $\sim 5$ yr and $\sim 10$ yr in the 34 yr light curve. Their X-ray luminosities were $(1-4)\times10^{37}$ erg s$^{-1}$ in the middle of the luminosity distribution of the NS-LMXB. Other seven sources (Ser X-1, 4U 1735--444, GX 9$+$9, 4U 1746$-$37, 4U 1708$-$40, 4U 1822$-$000, and 1A 1246$-$588) have also similar sinusoidal variation, although the profiles (amplitude, period, and phase) are variable. Compering the 21 sources with known orbital periods, a possible cause of the long-term sinusoidal variation might be the mass transfer cycles induced by the irradiation to the donor star.


title: On the horizontal compression of dag-derivations in minimal purely implicational logic

abstract: This report defines (plain) Dag-like derivations in the purely implicational fragment of minimal logic $M_{\imply}$. Introduce the horizontal collapsing set of rules and the algorithm {\bf HC}. Explain why {\bf HC} can transform any polynomial height-bounded tree-like proof of a $M_{\imply}$ tautology into a smaller dag-like proof. Sketch a proof that {\bf HC} preserves the soundness of any tree-like ND in $M_{\imply}$ in its dag-like version after the horizontal collapsing application. We show some experimental results about applying the compression method to a class of (huge) propositional proofs and an example, with non-hamiltonian graphs, for qualitative analysis. The contributions include the comprehensive presentation of the set of horizontal compression (HC), the (sketch) of the proof that HC rules preserve soundness and the demonstration that the compressed dag-like proofs are polynomially upper-bounded when the submitted tree-like proof is height and foundation poly-bounded. Finally, in the appendix, we outline an algorithm that verifies in polynomial time on the size of the dag-like proofs whether they are valid proofs of their conclusions.


title: Four types of attractive gravity probe surfaces

abstract: We reexamine the concept of the attractive gravity probe surface recently proposed as an indicator for strength of gravity. Then, we propose three new variant concepts and show refined inequalities for the four types of the AGPSs by taking account of the angular momentum, gravitational waves and matters.


title: One-level density of quadratic twists of $L$-functions

abstract: In this paper, we investigate the one-level density of low-lying zeros of quadratic twists of automorphic $L$-functions under the generalized Riemann hypothesis and the Ramanujan-Petersson conjecture. We improve upon the known results using only functional equations for quadratic Dirichlet $L$-functions.


title: Assessing Omitted Variable Bias when the Controls are Endogenous

abstract: Omitted variables are one of the most important threats to the identification of causal effects. Several widely used approaches, including Oster (2019), assess the impact of omitted variables on empirical conclusions by comparing measures of selection on observables with measures of selection on unobservables. These approaches either (1) assume the omitted variables are uncorrelated with the included controls, an assumption that is often considered strong and implausible, or (2) use a method called residualization to avoid this assumption. In our first contribution, we develop a framework for objectively comparing sensitivity parameters. We use this framework to formally prove that the residualization method generally leads to incorrect conclusions about robustness. In our second contribution, we then provide a new approach to sensitivity analysis that avoids this critique, allows the omitted variables to be correlated with the included controls, and lets researchers calibrate sensitivity parameters by comparing the magnitude of selection on observables with the magnitude of selection on unobservables as in previous methods. We illustrate our results in an empirical study of the effect of historical American frontier life on modern cultural beliefs. Finally, we implement these methods in the companion Stata module regsensitivity for easy use in practice.