title: Quantized Fractional Thouless Pumping of Solitons

abstract: In many contexts, the interaction between particles gives rise to emergent and perhaps unanticipated physical phenomena. An example is the fractional quantum Hall effect, where interaction between electrons gives rise to fractionally quantized Hall conductance. In photonic systems, the nonlinear response of an ambient medium acts to mediate interaction between photons; in the mean-field limit these dynamics are described by the nonlinear Schr\"odinger (also called Gross-Pitaevskii) equation. Recently, it was shown that at weak nonlinearity, soliton motion in nonlinear Thouless pumps (a dimensionally reduced implementation of a Chern insulator) could be quantized to the Chern number of the band from which the soliton bifurcates. Here, we show theoretically and experimentally using arrays of coupled optical waveguides that sufficiently strong nonlinearity acts to fractionally quantize the motion of solitons. Specifically, we find that the soliton returns to itself after multiple cycles of the Thouless pump - but displaced by an integer number of unit cells - leading to a rich fractional plateaux structure describing soliton motion. Our results demonstrate a perhaps surprising example of the behavior of non-trivial topological systems in the presence of interactions.


title: Spectral gap for obstacle scattering in dimension 2

abstract: In this paper, we study the problem of scattering by several strictly convex obstacles, with smooth boundary and satisfying a non eclipse condition. We show, in dimension 2 only, the existence of a spectral gap for the meromorphic continuation of the Laplace operator outside the obstacles. The proof of this result relies on a reduction to an open hyperbolic quantum map, achieved in [arXiv:1105.3128]. In fact, we obtain a spectral gap for this type of objects, which also has applications in potential scattering. The second main ingredient of this article is a fractal uncertainty principle. We adapt the techniques of [arXiv:1906.08923] to apply this fractal uncertainty principle in our context.


title: Hodge-de Rham numbers of almost complex 4-manifolds

abstract: We introduce and study Hodge-de Rham numbers for compact almost complex 4-manifolds, generalizing the Hodge numbers of a complex surface. The main properties of these numbers in the case of complex surfaces are extended to this more general setting, and it is shown that all Hodge-de Rham numbers for compact almost complex 4-manifolds are determined by the cohomology, except for one (the irregularity). Finally, these numbers are shown to prohibit the existence of complex structures on certain manifolds, without reference to the classification of surfaces.


title: Optimization of a Reed-Solomon code-based protocol against blockchain data availability attacks

abstract: ASBK (named after the authors' initials) is a recent blockchain protocol tackling data availability attacks against light nodes, employing two-dimensional Reed-Solomon codes to encode the list of transactions and a random sampling phase where adversaries are forced to reveal information. In its original formulation, only codes with rate $1/4$ are considered, and a theoretical analysis requiring computationally demanding formulas is provided. This makes ASBK difficult to optimize in situations of practical interest. In this paper, we introduce a much simpler model for such a protocol, which additionally supports the use of codes with arbitrary rate. This makes blockchains implementing ASBK much easier to design and optimize. Furthermore, disposing of a clearer view of the protocol, some general features and considerations can be derived (e.g., nodes behaviour in largely participated networks). As a concrete application of our analysis, we consider relevant blockchain parameters and find network settings that minimize the amount of data downloaded by light nodes. Our results show that the protocol benefits from the use of codes defined over large finite fields, with code rates that may be even significantly different from the originally proposed ones.


title: Generalizing Off-Policy Evaluation From a Causal Perspective For Sequential Decision-Making

abstract: Assessing the effects of a policy based on observational data from a different policy is a common problem across several high-stake decision-making domains, and several off-policy evaluation (OPE) techniques have been proposed. However, these methods largely formulate OPE as a problem disassociated from the process used to generate the data (i.e. structural assumptions in the form of a causal graph). We argue that explicitly highlighting this association has important implications on our understanding of the fundamental limits of OPE. First, this implies that current formulation of OPE corresponds to a narrow set of tasks, i.e. a specific causal estimand which is focused on prospective evaluation of policies over populations or sub-populations. Second, we demonstrate how this association motivates natural desiderata to consider a general set of causal estimands, particularly extending the role of OPE for counterfactual off-policy evaluation at the level of individuals of the population. A precise description of the causal estimand highlights which OPE estimands are identifiable from observational data under the stated generative assumptions. For those OPE estimands that are not identifiable, the causal perspective further highlights where more experimental data is necessary, and highlights situations where human expertise can aid identification and estimation. Furthermore, many formalisms of OPE overlook the role of uncertainty entirely in the estimation process.We demonstrate how specifically characterising the causal estimand highlights the different sources of uncertainty and when human expertise can naturally manage this uncertainty. We discuss each of these aspects as actionable desiderata for future OPE research at scale and in-line with practical utility.


title: Fault location in High Voltage Multi-terminal dc Networks Using Ensemble Learning

abstract: Precise location of faults for large distance power transmission networks is essential for faster repair and restoration process. High Voltage direct current (HVdc) networks using modular multi-level converter (MMC) technology has found its prominence for interconnected multi-terminal networks. This allows for large distance bulk power transmission at lower costs. However, they cope with the challenge of dc faults. Fast and efficient methods to isolate the network under dc faults have been widely studied and investigated. After successful isolation, it is essential to precisely locate the fault. The post-fault voltage and current signatures are a function of multiple factors and thus accurately locating faults on a multi-terminal network is challenging. In this paper, we discuss a novel data-driven ensemble learning based approach for accurate fault location. Here we utilize the eXtreme Gradient Boosting (XGB) method for accurate fault location. The sensitivity of the proposed algorithm to measurement noise, fault location, resistance and current limiting inductance are performed on a radial three-terminal MTdc network designed in Power System Computer Aided Design (PSCAD)/Electromagnetic Transients including dc (EMTdc).


title: End-to-end Generative Pretraining for Multimodal Video Captioning

abstract: Recent video and language pretraining frameworks lack the ability to generate sentences. We present Multimodal Video Generative Pretraining (MV-GPT), a new pretraining framework for learning from unlabelled videos which can be effectively used for generative tasks such as multimodal video captioning. Unlike recent video-language pretraining frameworks, our framework trains both a multimodal video encoder and a sentence decoder jointly. To overcome the lack of captions in unlabelled videos, we leverage the future utterance as an additional text source and propose a bidirectional generation objective -- we generate future utterances given the present mulitmodal context, and also the present utterance given future observations. With this objective, we train an encoder-decoder model end-to-end to generate a caption from raw pixels and transcribed speech directly. Our model achieves state-of-the-art performance for multimodal video captioning on four standard benchmarks, as well as for other video understanding tasks such as VideoQA, video retrieval and action classification.


title: Cross-Domain Few-Shot Graph Classification

abstract: We study the problem of few-shot graph classification across domains with nonequivalent feature spaces by introducing three new cross-domain benchmarks constructed from publicly available datasets. We also propose an attention-based graph encoder that uses three congruent views of graphs, one contextual and two topological views, to learn representations of task-specific information for fast adaptation, and task-agnostic information for knowledge transfer. We run exhaustive experiments to evaluate the performance of contrastive and meta-learning strategies. We show that when coupled with metric-based meta-learning frameworks, the proposed encoder achieves the best average meta-test classification accuracy across all benchmarks. The source code and data will be released here: https://github.com/kavehhassani/metagrl


title: A Real-Time Rendering Method for Light Field Display

abstract: A real-time elemental image array (EIA) generation method which does not sacrifice accuracy nor rely on high-performance hardware is developed, through raytracing and pre-stored voxel-pixel lookup table (LUT). Benefiting from both offline and online working flow, experiments will verified the effectiveness.


title: Statistical detection of format dialects using the weighted Dowker complex

abstract: This paper provides an experimentally validated, probabilistic model of file behavior when consumed by a set of pre-existing parsers. File behavior is measured by way of a standardized set of Boolean "messages" produced as the files are read. By thresholding the posterior probability that a file exhibiting a particular set of messages is from a particular dialect, our model yields a practical classification algorithm for two dialects. We demonstrate that this thresholding algorithm for two dialects can be bootstrapped from a training set consisting primarily of one dialect. Both the (parametric) theoretical and the (non-parametric) empirical distributions of file behaviors for one dialect yield good classification performance, and outperform classification based on simply counting messages. Our theoretical framework relies on statistical independence of messages within each dialect. Violations of this assumption are detectable and allow a format analyst to identify "boundaries" between dialects. A format analyst can therefore greatly reduce the number of files they need to consider when crafting new criteria for dialect detection, since they need only consider the files that exhibit ambiguous message patterns.


title: On the Stability of Superheavy Nuclei

abstract: Potential energy surfaces of even-even superheavy nuclei are evaluated within the macroscopic-microscopic approximation. A very rapidly converging analytical Fourier-type shape parametrization is used to describe nuclear shapes throughout the periodic table, including those of fissioning nuclei. The Lublin Strasbourg Drop and another effective liquid-drop type mass formula are used to determine the macroscopic part of nuclear energy. The Yukawa-folded single-particle potential, the Strutinsky shell-correction method, and the BCS approximation for including pairing correlations are used to obtain microscopic energy corrections. The evaluated nuclear binding energies, fission-barrier heights, and Q-alpha energies show a relatively good agreement with the experimental data. A simple one-dimensional WKB model a la Swiatecki is used to estimate spontaneous fission lifetimes, while alpha-decay probabilities are obtained within a Gamow-type model.


title: Measurements of Higgs boson production cross-sections in the $H\to\tau^{+}\tau^{-}$ decay channel in $pp$ collisions at $\sqrt{s}=13\,\text{TeV}$ with the ATLAS detector

abstract: Measurements of the production cross-sections of the Standard Model (SM) Higgs boson ($H$) decaying into a pair of $\tau$-leptons are presented. The measurements use data collected with the ATLAS detector from $pp$ collisions produced at the Large Hadron Collider at a centre-of-mass energy of $\sqrt{s}=13\,\text{TeV}$, corresponding to an integrated luminosity of $139\,\text{fb}^{-1}$. Leptonic ($\tau\to\ell\nu_{\ell}\nu_{\tau}$) and hadronic ($\tau\to\text{hadrons}~\nu_{\tau}$) decays of the $\tau$-lepton are considered. All measurements account for the branching ratio of $H\to\tau\tau$ and are performed with a requirement $|y_H|<2.5$, where $y_H$ is the true Higgs boson rapidity. The cross-section of the $pp\to H\to\tau\tau$ process is measured to be $2.94 \pm 0.21 \text{(stat)} ^{+\,0.37}_{-\,0.32} \text{(syst)}$ pb, in agreement with the SM prediction of $3.17\pm0.09~ \mbox{pb}$. Inclusive cross-sections are determined separately for the four dominant production modes: $2.65 \pm 0.41 \text{(stat)} ^{+\,0.91}_{-\,0.67} \text{(syst)}$ pb for gluon$-$gluon fusion, $0.197 \pm 0.028 \text{(stat)} ^{+\,0.032}_{-\,0.026} \text{(syst)}$ pb for vector-boson fusion, $0.115 \pm 0.058 \text{(stat)} ^{+\,0.042}_{-\,0.040} \text{(syst)}$ pb for vector-boson associated production, and $0.033 \pm 0.031 \text{(stat)} ^{+\,0.022}_{-\,0.017} \text{(syst)}$ pb for top-quark pair associated production. Measurements in exclusive regions of the phase space, using the simplified template cross-section framework, are also performed. All results are in agreement with the SM predictions.


title: Towards Energy Efficient Distributed Federated Learning for 6G Networks

abstract: The provision of communication services via portable and mobile devices, such as aerial base stations, is a crucial concept to be realized in 5G/6G networks. Conventionally, IoT/edge devices need to transmit the data directly to the base station for training the model using machine learning techniques. The data transmission introduces privacy issues that might lead to security concerns and monetary losses. Recently, Federated learning was proposed to partially solve privacy issues via model-sharing with base station. However, the centralized nature of federated learning only allow the devices within the vicinity of base stations to share the trained models. Furthermore, the long-range communication compels the devices to increase transmission power, which raises the energy efficiency concerns. In this work, we propose distributed federated learning (DBFL) framework that overcomes the connectivity and energy efficiency issues for distant devices. The DBFL framework is compatible with mobile edge computing architecture that connects the devices in a distributed manner using clustering protocols. Experimental results show that the framework increases the classification performance by 7.4\% in comparison to conventional federated learning while reducing the energy consumption.


title: Isomorphic classification of projective tensor products of spaces of continuous functions

abstract: We prove that for infinite, countable, compact, Hausdorff spaces $K,L$, $C(K)\widehat{\otimes}_\pi C(L)$ is isomorphic to exactly one of the spaces $C(\omega^{\omega^\xi})\widehat{\otimes}_\pi C(\omega^{\omega^\zeta})$, $0\leqslant \zeta\leqslant \xi<\omega_1$. We also prove that $C(K)\widehat{\otimes}_\pi C(L)$ is not isomorphic to $C(M)$ for any compact, Hausdorff space $M$.


title: High speed, high power 2D beam steering for mitigation of optomechanical parametric instability in gravitational wave detectors

abstract: In this paper we propose a novel strategy to control optomechanical parametric instability (PI) in gravitational wave (GW) detectors, based on radiation pressure. The fast deflection of a high power beam is the key element of our approach. We built a 2D deflection system based on a pair of acousto-optic modulators (AOMs) that combines high rapidity and large scan range. As fast frequency switching configurable AOM driver we used an Universal Software Radio Peripheral (USRP) combined with a high performance personal computer (PC). In this way we demonstrate a 2D beam steering system with flat efficiency over the whole scan range and with a transition time of 50 ns between two arbitrary consecutive deflection positions for a beam power of 3.6 W.


title: Active pulsatile gels: from chemical microreactor to polymeric actuator

abstract: We report on a synthesis protocol, experimental characterization and theoretical modeling of active pulsatile Belousov-Zhabotinsky (BZ) hydrogels. Our two-step synthesis technique allows independent optimization of the geometry, the chemical, and the mechanical properties of BZ gels. We identify the role of the surrounding medium chemistry and gel radius for the occurrence of BZ gel oscillations, quantified by the Damkohler number, ratio of chemical reaction to diffusion rates. Tuning the BZ gel size to maximize its chemomechanical oscillation amplitude, we find that its oscillatory strain amplitude is limited by the timescale of gel swelling relative to the chemical oscillation period. Our experimental findings are in good agreement with a Vanag-Epstein model of BZ chemistry and a Tanaka Fillmore theory of gel swelling dynamics.


title: On the number of constituents of products of characters

abstract: It has been conjectured that if the number of distinct irreducible constituents of the product of two faithful irreducible characters of a finite $p$-group, for $p\geq5$, is bigger than $(p+1)/2$, then it is at least $p$. We give a counterexample to this conjecture.


title: The Different Shades of Infinite Session Types

abstract: Many type systems include infinite types. In session type systems, which are the focus of this paper, infinite types are important because they allow the specification of communication protocols that are unbounded in time. Usually infinite session types are introduced as simple finite-state expressions $\mathsf{rec}\, X.T$ or by non-parametric equational definitions $X\doteq T$. Alternatively, some systems of label- or value-dependent session types go beyond simple recursive types. However, leaving dependent types aside, there is a much richer world of infinite session types, ranging through various forms of parametric equational definitions, all the way to arbitrary infinite types in a coinductively defined space. We study infinite session types across a spectrum of shades of grey on the way to the bright light of general infinite types. We identify four points on the spectrum, characterised by different styles of equational definitions, and show that they form a strict hierarchy by establishing bidirectional correspondences with classes of automata: finite-state, 1-counter, pushdown and 2-counter. This allows us to establish decidability and undecidability results for the problems of type formation, type equivalence and duality in each class of types. We also consider previous work on context-free session types (and extend it to higher-order) and nested session types, and locate them on our spectrum of infinite types.


title: Applicability of Large Corporate Credit Models to Small Business Risk Assessment

abstract: There is a massive underserved market for small business lending in the US with the Federal Reserve estimating over \$650B in unmet annual financing needs. Assessing the credit risk of a small business is key to making good decisions whether to lend and at what terms. Large corporations have a well-established credit assessment ecosystem, but small businesses suffer from limited publicly available data and few (if any) credit analysts who cover them closely. We explore the applicability of (DL-based) large corporate credit risk models to small business credit rating.


title: NaijaSenti: A Nigerian Twitter Sentiment Corpus for Multilingual Sentiment Analysis

abstract: Sentiment analysis is one of the most widely studied applications in NLP, but most work focuses on languages with large amounts of data. We introduce the first large-scale human-annotated Twitter sentiment dataset for the four most widely spoken languages in Nigeria (Hausa, Igbo, Nigerian-Pidgin, and Yor\`ub\'a ) consisting of around 30,000 annotated tweets per language (and 14,000 for Nigerian-Pidgin), including a significant fraction of code-mixed tweets. We propose text collection, filtering, processing and labeling methods that enable us to create datasets for these low-resource languages. We evaluate a rangeof pre-trained models and transfer strategies on the dataset. We find that language-specific models and language-adaptivefine-tuning generally perform best. We release the datasets, trained models, sentiment lexicons, and code to incentivizeresearch on sentiment analysis in under-represented languages.


title: Lifelong Learning Metrics

abstract: The DARPA Lifelong Learning Machines (L2M) program seeks to yield advances in artificial intelligence (AI) systems so that they are capable of learning (and improving) continuously, leveraging data on one task to improve performance on another, and doing so in a computationally sustainable way. Performers on this program developed systems capable of performing a diverse range of functions, including autonomous driving, real-time strategy, and drone simulation. These systems featured a diverse range of characteristics (e.g., task structure, lifetime duration), and an immediate challenge faced by the program's testing and evaluation team was measuring system performance across these different settings. This document, developed in close collaboration with DARPA and the program performers, outlines a formalism for constructing and characterizing the performance of agents performing lifelong learning scenarios.


title: Modeling and hexahedral meshing of cerebral arterial networks from centerlines

abstract: Computational fluid dynamics (CFD) simulation provides valuable information on blood flow from the vascular geometry. However, it requires extracting precise models of arteries from low-resolution medical images, which remains challenging. Centerline-based representation is widely used to model large vascular networks with small vessels, as it encodes both the geometric and topological information and facilitates manual editing. In this work, we propose an automatic method to generate a structured hexahedral mesh suitable for CFD directly from centerlines. We addressed both the modeling and meshing tasks. We proposed a vessel model based on penalized splines to overcome the limitations inherent to the centerline representation, such as noise and sparsity. The bifurcations are reconstructed using a parametric model based on the anatomy that we extended to planar n-furcations. Finally, we developed a method to produce a volume mesh with structured, hexahedral, and flow-oriented cells from the proposed vascular network model. The proposed method offers better robustness to the common defects of centerlines and increases the mesh quality compared to state-of-the-art methods. As it relies on centerlines alone, it can be applied to edit the vascular model effortlessly to study the impact of vascular geometry and topology on hemodynamics. We demonstrate the efficiency of our method by entirely meshing a dataset of 60 cerebral vascular networks. 92% of the vessels and 83% of the bifurcations were meshed without defects needing manual intervention, despite the challenging aspect of the input data. The source code is released publicly.


title: Global stability of Minkowski spacetime for a spin-1/2 field

abstract: We study the initial value problem of the Einstein-Dirac system, and show the stability of the Minkowski solution in the massless case with the use of generalized wave coordinates. This requires the understanding of the Dirac equation in curved spacetime, for which we establish various estimates. The proof is based on the vector-field method which is widely used in works on the stability of Minkowski problems for other Einstein-coupled systems. Under a specific choice of the tetrad, we show that components of the Dirac field satisfy a quasilinear wave equation, by resolving a potential loss of derivative problem. We also show that the semilinear nonlinearity of this equation behaves like a null form. In this way, we obtain the sharp decay of the field along the light cone. The structure of the energy-momentum tensor causes worse behavior of some components of the metric than the vaccum case, but an additional structure shows that there is no harm to the global existence result. In addition, we develop an estimate of the Dirac equation itself adpated to the decay of the metric, as this provides better estimates in the interior compared with the estimates from the second order equation. The combination of these estimates leads to a good control of the Dirac field that helps close the proof. We shall also see how our argument here gives a proof of the wellposedness of the system in the massive case.


title: Symplectic Momentum Neural Networks -- Using Discrete Variational Mechanics as a prior in Deep Learning

abstract: With deep learning gaining attention from the research community for prediction and control of real physical systems, learning important representations is becoming now more than ever mandatory. It is of extreme importance that deep learning representations are coherent with physics. When learning from discrete data this can be guaranteed by including some sort of prior into the learning, however, not all discretization priors preserve important structures from the physics. In this paper, we introduce Symplectic Momentum Neural Networks (SyMo) as models from a discrete formulation of mechanics for non-separable mechanical systems. The combination of such formulation leads SyMos to be constrained towards preserving important geometric structures such as momentum and a symplectic form and learn from limited data. Furthermore, it allows to learn dynamics only from the poses as training data. We extend SyMos to include variational integrators within the learning framework by developing an implicit root-find layer which leads to End-to-End Symplectic Momentum Neural Networks (E2E-SyMo). Through experimental results, using the pendulum and cartpole, we show that such combination not only allows these models to learn from limited data but also provides the models with the capability of preserving the symplectic form and show better long-term behaviour.


title: One-Dimensional Quantum Systems with Ground-State of Jastrow Form Are Integrable

abstract: The exchange operator formalism (EOF) describes many-body integrable systems using phase-space variables involving an exchange operator that acts on any pair of particles. We establish an equivalence between models described by EOF and the complete infinite family of parent Hamiltonians (PHJ) describing quantum many-body models with ground-states of Jastrow form. This makes it possible to identify the invariants of motion for any model in the PHJ family and establish its integrability, even in the presence of an external potential. Using this construction we establish the integrability of the long-range Lieb-Liniger model, describing bosons in a harmonic trap and subject to contact and Coulomb interactions in one dimension. We give a variety of examples exemplifying the integrability of Hamiltonians in this family.

categories: math-ph cond-mat.quant-gas math.MP nlin.SI quant-ph


title: Lead-lag detection and network clustering for multivariate time series with an application to the US equity market

abstract: In multivariate time series systems, it has been observed that certain groups of variables partially lead the evolution of the system, while other variables follow this evolution with a time delay; the result is a lead-lag structure amongst the time series variables. In this paper, we propose a method for the detection of lead-lag clusters of time series in multivariate systems. We demonstrate that the web of pairwise lead-lag relationships between time series can be helpfully construed as a directed network, for which there exist suitable algorithms for the detection of pairs of lead-lag clusters with high pairwise imbalance. Within our framework, we consider a number of choices for the pairwise lead-lag metric and directed network clustering components. Our framework is validated on both a synthetic generative model for multivariate lead-lag time series systems and daily real-world US equity prices data. We showcase that our method is able to detect statistically significant lead-lag clusters in the US equity market. We study the nature of these clusters in the context of the empirical finance literature on lead-lag relations and demonstrate how these can be used for the construction of predictive financial signals.


title: Entropies of sums of independent gamma random variables

abstract: We establish several Schur-convexity type results under fixed variance for weighted sums of independent gamma random variables and obtain nonasymptotic bounds on their R\'enyi entropies. In particular, this pertains to the recent results by Bartczak-Nayar-Zwara as well as Bobkov-Naumov-Ulyanov, offering simple proofs of the former and extending the latter.


title: Optical Observations of star clusters NGC 1513 and NGC 4147; white dwarf WD1145+017 and $K$ band imaging of star forming region Sh2-61 with the 3.6 meter Devasthal Optical Telescope

abstract: The $UBVRI$ CCD photometric data of open star cluster NGC 1513 are obtained with the 3.6-m Indo-Belgian Devasthal optical telescope (DOT). Analyses of the GAIA EDR3 astrometric data have identified 106 possible cluster members. The mean proper motion of the cluster is estimated as $\mu_{\alpha}Cos{\delta}=1.29\pm0.02$ and $\mu_{\delta}=-3.74\pm0.02$ mas yr$^{-1}$. Estimated values of reddening $E(B-V)$ and distance to the NGC 1513 are 0.65$\pm$0.03 mag and 1.33$\pm$0.1 kpc respectively. An age of $225\pm25$ Myr is assigned to the cluster by comparing theoretical isochrones with deep observed cluster sequence. Using observations taken with the 3.6-m DOT, values of distance and age of the galactic globular cluster NGC 4147 are estimated as $18.2\pm0.2$ Kpc and $14\pm2$ Gyr respectively. The optical observations of planetary transit around white dwarf WD1145+017 and $K$-band imaging of star-forming region Sharpless Sh 2-61 demonstrate observing capability of 3.6-m DOT. Optical and near-infrared observations of celestial objects and events are being carried out routinely with the 3.6-m DOT. They indicate that the performance of the telescope is at par with those of other similar telescopes located elsewhere in the world. We therefore state that this observing facility augurs well for multi-wavelength astronomy including study of astrophysical jets.


title: Classical Yang-Baxter equation, Lagrangian multiforms and ultralocal integrable hierarchies

abstract: We cast the classical Yang-Baxter equation (CYBE) in a variational context for the first time, by relating it to the theory of Lagrangian multiforms, a framework designed to capture integrability in a variational fashion. This provides a significant connection between Lagrangian multiforms and the CYBE, one of the most fundamental concepts of integrable systems. This is achieved by introducing a generating Lagrangian multiform which depends on a skew-symmetric classical $r$-matrix with spectral parameters. The multiform Euler-Lagrange equations produce a generating Lax equation which yields a generating zero curvature equation. The CYBE plays a role at three levels: 1) It ensures the commutativity of the flows of the generating Lax equation; 2) It ensures that the generating zero curvature equation holds; 3) It implies the closure relation for the generating Lagrangian multiform. The specification of an integrable hierarchy is achieved by fixing certain data: a finite set $S\in CP^1$, a Lie algebra $\mathfrak{g}$, a $\mathfrak{g}$-valued rational function with poles in $S$ and an $r$-matrix. We show how our framework is able to generate a large class of ultralocal integrable hierarchies by providing several known and new examples pertaining to the rational or trigonometric class. These include the Ablowitz-Kaup-Newell-Segur hierarchy, the sine-Gordon (sG) hierarchy and various hierachies related to Zakharov-Mikhailov type models which contain the Faddeev-Reshetikhin (FR) model and recently introduced deformed sigma/Gross-Neveu models as particular cases. The versatility of our method is illustrated by showing how to couple integrable hierarchies together to create new examples of integrable field theories and their hierarchies. We provide two examples: the coupling of the nonlinear Schr\"odinger system to the FR model and the coupling of sG with the anisotropic FR model.


title: Uniformly accelerated Brownian oscillator in (2+1)D: temperature-dependent dissipation and frequency shift

abstract: We consider an Unruh-DeWitt detector modeled as a harmonic oscillator that is coupled to a massless quantum scalar field in the (2+1)-dimensional Minkowski spacetime. We treat the detector as an open quantum system and employ a quantum Langevin equation to describe its time evolution, with the field, which is characterized by a frequency-independent spectral density, acting as a stochastic force. We investigate a point-like detector moving with constant acceleration through the Minkowski vacuum and an inertial one immersed in a thermal reservoir at the Unruh temperature, exploring the implications of the well-known non-equivalence between the two cases on their dynamics. We find that both the accelerated detector's dissipation rate and the shift of its frequency caused by the coupling to the field bath depend on the acceleration temperature. Interestingly enough this is not only in contrast to the case of inertial motion in a heat bath but also to any analogous quantum Brownian motion model in open systems, where dissipation and frequency shifts are not known to exhibit temperature dependencies. Nonetheless, we show that the fluctuating-dissipation theorem still holds for the detector-field system and in the weak-coupling limit an accelerated detector is driven at late times to a thermal equilibrium state at the Unruh temperature.


title: Scalable $k$-d trees for distributed data

abstract: Data structures known as $k$-d trees have numerous applications in scientific computing, particularly in areas of modern statistics and data science such as range search in decision trees, clustering, nearest neighbors search, local regression, and so forth. In this article we present a scalable mechanism to construct $k$-d trees for distributed data, based on approximating medians for each recursive subdivision of the data. We provide theoretical guarantees of the quality of approximation using this approach, along with a simulation study quantifying the accuracy and scalability of our proposed approach in practice.


title: A Dataset of Hourly Sea Surface Temperature From Drifting Buoys

abstract: A dataset of sea surface temperature (SST) estimates is generated from the temperature observations of surface drifting buoys of NOAA's Global Drifter Program. Estimates of SST at regular hourly time steps along drifter trajectories are obtained by fitting to observations a mathematical model representing simultaneously SST diurnal variability with three harmonics of the daily frequency, and SST low-frequency variability with a first degree polynomial. Subsequent estimates of non-diurnal SST, diurnal SST anomalies, and total SST as their sum, are provided with their respective standard uncertainties. This Lagrangian SST dataset has been developed to match the existing hourly dataset of position and velocity from the Global Drifter Program.


title: Algorithm for constructing customized quantized resistances in graphene $p-n$ junctions

abstract: An algorithm is introduced for predicting quantized resistances in graphene p-n junction devices that utilize more than a single entry and exit point for electron flow. Depending on the configuration of an arbitrary number of terminals, electrical measurements yield fractional multiples of the typical quantized Hall resistance at the $\nu=2$ plateau $R_H \approx 12906 {\Omega}$ and take the form: $\frac{a}{b}R_H$. This theoretical formulation is independent of material, and applications to other material systems that exhibit quantum Hall behaviors are to be expected. Furthermore, this formulation is supported with experimental data from graphene-based devices with multiple source and drain terminals.


title: Quantum dual-path interferometry scheme for axion dark matter searches

abstract: We propose a dual-path interferometry amplification configuration in cavity axion dark matter searches. We show quantum-mechanically that in a low-temperature cavity permeated by a magnetic field, the single axion-photon conversion rate is enhanced by the cavity quality factor $Q$ and quantitatively larger than the classical result by a factor $\pi/2$. Under modern cryogenic conditions, thermal photons in the cavity are negligible; thus, the axion cavity can be considered a quantum device emitting single photons with temporal separations. This differs from the classical picture in which axions transition in batches and the converted energy accumulates in the electromagnetic field inside the cavity. It reveals a possibility for the axion cavity experiment to handle the signal sensitivity at the quantum level, e.g., cross-power and second-order correlation measurements. The correlation of photon field quadratures in the amplification chain within current technology enhances the signal-to-noise ratio compared with a single-path amplification scheme based on a high electronic mobility transistor amplifier or Josephson Parametric Amplifiers (JPAs). In particular, it is useful to combine the dual-path interferometry scheme with other techniques, e.g., JPAs, to overcome the inevitable microwave signal insertion loss (normally $\sim-3\,$dB) in the channels between the cavity and the quantum-limited amplifiers. This enhancement would greatly reduce the signal scanning time to improve the sensitivity of the axion-photon coupling. In addition, the second-order correlation function measurement in the dual-path scheme can provide an additional verification of whether the candidate signals are axion converted or other noises.


title: Long Time Decay of Leray Solution of 3D-NSE With Exponential Damping

abstract: We study the uniqueness, the continuity in $L^2$ and the large time decay for the Leray solutions of the $3D$ incompressible Navier-Stokes equations with nonlinear exponential damping term $a (e^{b |u|^{\bf 4}}-1)u$, ($a,b>0$).


title: Quantum Gravitational Corrections to the Entropy of a Reissner-Nordstr\"om Black Hole

abstract: Starting from an effective action for quantum gravity, we calculate the quantum gravitational corrections to the Wald entropy of a four dimensional non-extremal Reissner-Nordstr\"om (RN) black hole in the limit of small electric charge, generalising a previous calculation carried out by Calmet and Kuipers [1] for a Schwarzschild black hole. We show that, at second order in the Ricci curvature, the RN metric receives quantum corrections which shift the classical position of the event horizon. We apply the Wald entropy formula by integrating over the perimeter of the quantum corrected event horizon. We then compute the quantum gravitational corrections to the temperature and the pressure of the black hole.


title: Statistical prediction of extreme events from small datasets

abstract: We propose Echo State Networks (ESNs) to predict the statistics of extreme events in a turbulent flow. We train the ESNs on small datasets that lack information about the extreme events. We asses whether the networks are able to extrapolate from the small imperfect datasets and predict the heavy-tail statistics that describe the events. We find that the networks correctly predict the events and improve the statistics of the system with respect to the training data in almost all cases analysed. This opens up new possibilities for the statistical prediction of extreme events in turbulence.


title: DIVA-DAF: A Deep Learning Framework for Historical Document Image Analysis

abstract: Deep learning methods have shown strong performance in solving tasks for historical document image analysis. However, despite current libraries and frameworks, programming an experiment or a set of experiments and executing them can be time-consuming. This is why we propose an open-source deep learning framework, DIVA-DAF, which is based on PyTorch Lightning and specifically designed for historical document analysis. Pre-implemented tasks such as segmentation and classification can be easily used or customized. It is also easy to create one's own tasks with the benefit of powerful modules for loading data, even large data sets, and different forms of ground truth. The applications conducted have demonstrated time savings for the programming of a document analysis task, as well as for different scenarios such as pre-training or changing the architecture. Thanks to its data module, the framework also allows to reduce the time of model training significantly.


title: CUF-Links: Continuous and Ubiquitous FAIRness Linkages for reproducible research

abstract: Despite much creative work on methods and tools, reproducibility -- the ability to repeat the computational steps used to obtain a research result -- remains elusive. One reason for these difficulties is that extant tools for capturing research processes do not align well with the rich working practices of scientists. We advocate here for simple mechanisms that can be integrated easily with current work practices to capture basic information about every data product consumed or produced in a project. We argue that by thus extending the scope of findable, accessible, interoperable, and reusable (FAIR) data in both time and space to enable the creation of a continuous chain of continuous and ubiquitous FAIRness linkages (CUF-Links) from inputs to outputs, such mechanisms can provide a strong foundation for documenting the provenance linkages that are essential to reproducible research. We give examples of mechanisms that can achieve these goals, and review how they have been applied in practice.


title: Space-time wave packets

abstract: "Space-time" (ST) wave packets constitute a broad class of pulsed optical fields that are rigidly transported in linear media without diffraction or dispersion, and are therefore propagation-invariant in absence of optical nonlinearities or waveguiding structures. Such wave packets exhibit unique characteristics, such as controllable group velocities in free space and exotic refractive phenomena. At the root of these behaviors is a fundamental feature underpinning ST wave packets: their spectra are not separable with respect to the spatial and temporal degrees of freedom. Indeed, the spatio-temporal structure is endowed with non-differentiable angular dispersion, in which each spatial frequency is associated with a single prescribed wavelength. Furthermore, deviation from this particular spatio-temporal structure yields novel behaviors that depart from propagation invariance in a precise manner, such as acceleration with an arbitrary axial distribution of the group velocity, tunable dispersion profiles, and Talbot effects in space-time. Although the basic concept of ST wave packets has been known since the 1980's, only very recently has rapid experimental development emerged. These advances are made possible by innovations in spatio-temporal Fourier synthesis, thereby opening a new frontier for structured light at the intersection of beam optics and ultrafast optics.


title: Mean field analysis of stochastic networks with reservation

abstract: The problem of reservation in a large distributed system is analyzed via a new mathematical model. A typical application is a station-based car-sharing system which can be described as a closed stochastic network where the nodes are the stations and the customers are the cars. The user can reserve the car and the parking space. In the paper, we study the evolution of the system when the reservation of parking spaces and cars is effective for all users. The asymptotic behavior of the underlying stochastic network is given when the number $N$ of stations and the fleet size increase at the same rate. The analysis involves a Markov process on a state space with dimension of order $N^2$. It is quite remarkable that the state process describing the evolution of the stations, whose dimension is of order $N$, converges in distribution, although not Markov, to an non-homogeneous Markov process. We prove this mean-field convergence. We also prove, using combinatorial arguments, that the mean-field limit has a unique equilibrium measure when the time between reserving and picking up the car is sufficiently small. This result extends the case where only the parking space can be reserved.


title: Goal-Conditioned Reinforcement Learning: Problems and Solutions

abstract: Goal-conditioned reinforcement learning (GCRL), related to a set of complex RL problems, trains an agent to achieve different goals under particular scenarios. Compared to the standard RL solutions that learn a policy solely depending on the states or observations, GCRL additionally requires the agent to make decisions according to different goals. In this survey, we provide a comprehensive overview of the challenges and algorithms for GCRL. Firstly, we answer what the basic problems are studied in this field. Then, we explain how goals are represented and present how existing solutions are designed from different points of view. Finally, we make the conclusion and discuss potential future prospects that recent researches focus on.


title: From Psychological Curiosity to Artificial Curiosity: Curiosity-Driven Learning in Artificial Intelligence Tasks

abstract: Psychological curiosity plays a significant role in human intelligence to enhance learning through exploration and information acquisition. In the Artificial Intelligence (AI) community, artificial curiosity provides a natural intrinsic motivation for efficient learning as inspired by human cognitive development; meanwhile, it can bridge the existing gap between AI research and practical application scenarios, such as overfitting, poor generalization, limited training samples, high computational cost, etc. As a result, curiosity-driven learning (CDL) has become increasingly popular, where agents are self-motivated to learn novel knowledge. In this paper, we first present a comprehensive review on the psychological study of curiosity and summarize a unified framework for quantifying curiosity as well as its arousal mechanism. Based on the psychological principle, we further survey the literature of existing CDL methods in the fields of Reinforcement Learning, Recommendation, and Classification, where both advantages and disadvantages as well as future work are discussed. As a result, this work provides fruitful insights for future CDL research and yield possible directions for further improvement.


title: Sloppy model analysis identifies bifurcation parameters without Normal Form analysis

abstract: Bifurcation phenomena are common in multi-dimensional multi-parameter dynamical systems. Normal form theory suggests that the bifurcations themselves are driven by relatively few parameters; however, these are often nonlinear combinations of the bare parameters in which the equations are expressed. Discovering reparameterizations to transform such complex original equations into normal-form is often very difficult, and the reparameterization may not even exist in a closed-form. Recent advancements have tied both information geometry and bifurcations to the Renormalization Group. Here, we show that sloppy model analysis (a method of information geometry) can be used directly on bifurcations of increasing time scales to rapidly characterize the system's topological inhomogeneities, whether the system is in normal form or not. We anticipate that this novel analytical method, which we call time-widening information geometry (TWIG), will be useful in applied network analysis.


title: The R Package HCV for Hierarchical Clustering from Vertex-links

abstract: The HCV package implements the hierarchical clustering for spatial data. It requires clustering results not only homogeneous in non-geographical features among samples but also geographically close to each other within a cluster. We modified typically used hierarchical agglomerative clustering algorithms to introduce the spatial homogeneity, by considering geographical locations as vertices and converting spatial adjacency into whether a shared edge exists between a pair of vertices. The main function HCV obeying constraints of the vertex links automatically enforces the spatial contiguity property at each step of iterations. In addition, two methods to find an appropriate number of clusters and to report cluster members are also provided.


title: Collective effects and synchronization of demand in real-time demand response

abstract: Sustainable energy systems require flexible elements to balance the variability of renewable energy sources. Demand response aims to adapt the demand to the variable generation, in particular by shifting the load in time. In this article, we provide a detailed statistic analysis of the collective operation of many demand response units. We establish and simulate a model for load shifting in response to real-time electricity pricing using local storage systems. We show that demand response drives load shifting as desired, but also induces strong collective effects that may threaten system stability. The load of individual households synchronizes, leading to extreme demand peaks. We provide a detailed statistical analysis of the grid load, and quantify both the likeliness and extent of extreme demand peaks.


title: Minimax Demographic Group Fairness in Federated Learning

abstract: Federated learning is an increasingly popular paradigm that enables a large number of entities to collaboratively learn better models. In this work, we study minimax group fairness in federated learning scenarios where different participating entities may only have access to a subset of the population groups during the training phase. We formally analyze how our proposed group fairness objective differs from existing federated learning fairness criteria that impose similar performance across participants instead of demographic groups. We provide an optimization algorithm -- FedMinMax -- for solving the proposed problem that provably enjoys the performance guarantees of centralized learning algorithms. We experimentally compare the proposed approach against other state-of-the-art methods in terms of group fairness in various federated learning setups, showing that our approach exhibits competitive or superior performance.


title: Superradiance in massive vector fields with spatially varying mass

abstract: Superradiance is a process by which massive bosonic particles can extract energy from spinning black holes, leading to the build up of a "cloud" if the particle has a Compton wavelength comparable to the black hole's Schwarzschild radius. One interesting possibility is that superradiance may occur for photons in a diffuse plasma, where they gain a small effective mass. Studies of the spin-0 case have indicated that such a build up is suppressed by a spatially varying effective mass, supposed to mimic the photons' interaction with a physically realistic plasma density profile. We carry out relativistic simulations of a massive Proca field evolving on a Kerr background, with modifications to account for the spatially varying effective mass. This allows us to treat the spin-1 case directly relevant to photons, and to study the effect of thinner disk profiles in the plasma. We find similar qualitative results to the scalar case, and so support the conclusions of that work: either a constant asymptotic mass or a shell-like plasma structure is required for superradiant growth to occur. We study thin disks and find a leakage of the superradiant cloud that suppresses its growth, concluding that thick disks are more likely to support the instability.


title: An Information Theory Approach to Network Evolution Models

abstract: A novel Markovian network evolution model is introduced and analysed by means of information theory. It will be proved that the model, called Network Evolution Chain, is a stationary and ergodic stochastic process. Therefore, the Asymptotic Equipartition Property can be applied to it. The model's entropy rate and typical sequences are also explored. Extracting particular information from the network and methods to simulate network evolution in the continuous time domain are discussed. Additionally, the Erdos-Renyi Network Evolution Chain is introduced as a subset of our model with the additional property of its stationary distribution matching the Erdos-Renyi random graph model. The stationary distributions of nodes and graphs are calculated for this subset alongside its entropy rate. The simulation results at the end of the paper back up the proved theorems and calculated values.


title: Variational Bayesian Filtering with Subspace Information for Extreme Spatio-Temporal Matrix Completion

abstract: Missing data is a common problem in real-world sensor data collection. The performance of various approaches to impute data degrade rapidly in the extreme scenarios of low data sampling and noisy sampling, a case present in many real-world problems in the field of traffic sensing and environment monitoring, etc. However, jointly exploiting the spatiotemporal and periodic structure, which is generally not captured by classical matrix completion approaches, can improve the imputation performance of sensor data in such real-world conditions. We present a Bayesian approach towards spatiotemporal matrix completion wherein we estimate the underlying temporarily varying subspace using a Variational Bayesian technique. We jointly couple the low-rank matrix completion with the state space autoregressive framework along with a penalty function on the slowly varying subspace to model the temporal and periodic evolution in the data. A major advantage of our method is that a critical parameter like the rank of the model is automatically tuned using the automatic relevance determination (ARD) approach, unlike most matrix/tensor completion techniques. We also propose a robust version of the above formulation, which improves the performance of imputation in the presence of outliers. We evaluate the proposed Variational Bayesian Filtering with Subspace Information (VBFSI) method to impute matrices in real-world traffic and air pollution data. Simulation results demonstrate that the proposed method outperforms the recent state-of-the-art methods and provides a sufficiently accurate imputation for different sampling rates. In particular, we demonstrate that fusing the subspace evolution over days can improve the imputation performance with even 15% of the data sampling.


title: The Energy-Delay Pareto Front in Cache-enabled Integrated Access and Backhaul mmWave HetNets

abstract: In this paper, to address backhaul capacity bottleneck and concurrently optimize energy consumption and delay, we formulate a novel weighted-sum multi-objective optimization problem where popular content caching placement and integrated access and backhaul (IAB) millimeter (mmWave) bandwidth partitioning are optimized jointly to provide Pareto efficient optimal non-dominating solutions. In such integrated networks analysis of what-if scenarios to understand trade-offs in decision space, without losing sight of optimality, is important. A wide set of numerical investigations reveal that compared with the nominal single objective optimization schemes such as optimizing only the delay or the energy consumption the proposed optimization framework allows for a reduction of the aggregation of energy consumption and delay by an average of 30% to 55%.


title: Lecture Notes on Quantum Algorithms for Scientific Computation

abstract: This is a set of lecture notes used in a graduate topic class in applied mathematics called ``Quantum Algorithms for Scientific Computation'' at the Department of Mathematics, UC Berkeley during the fall semester of 2021. These lecture notes focus only on quantum algorithms closely related to scientific computation, and in particular, matrix computation. The main purpose of the lecture notes is to introduce quantum phase estimation (QPE) and ``post-QPE'' methods such as block encoding, quantum signal processing, and quantum singular value transformation, and to demonstrate their applications in solving eigenvalue problems, linear systems of equations, and differential equations. The intended audience is the broad computational science and engineering (CSE) community interested in using fault-tolerant quantum computers to solve challenging scientific computing problems.


title: Meta Learning for Code Summarization

abstract: Source code summarization is the task of generating a high-level natural language description for a segment of programming language code. Current neural models for the task differ in their architecture and the aspects of code they consider. In this paper, we show that three SOTA models for code summarization work well on largely disjoint subsets of a large code-base. This complementarity motivates model combination: We propose three meta-models that select the best candidate summary for a given code segment. The two neural models improve significantly over the performance of the best individual model, obtaining an improvement of 2.1 BLEU points on a dataset of code segments where at least one of the individual models obtains a non-zero BLEU.


title: Accelerated Gradient Flow: Risk, Stability, and Implicit Regularization

abstract: Acceleration and momentum are the de facto standard in modern applications of machine learning and optimization, yet the bulk of the work on implicit regularization focuses instead on unaccelerated methods. In this paper, we study the statistical risk of the iterates generated by Nesterov's accelerated gradient method and Polyak's heavy ball method, when applied to least squares regression, drawing several connections to explicit penalization. We carry out our analyses in continuous-time, allowing us to make sharper statements than in prior work, and revealing complex interactions between early stopping, stability, and the curvature of the loss function.


title: The geometry of subgroup embeddings and asymptotic cones

abstract: Given a finitely generated subgroup $H$ of a finitely generated group $G$ and a non-principal ultrafilter $\omega$, we consider a natural subspace, $Cone^{\omega}_{G}(H)$, of the asymptotic cone of $G$ corresponding to $H$. Informally, this subspace consists of the points of the asymptotic cone of $G$ represented by elements of the ultrapower $H^{\omega}$. We show that the connectedness and convexity of $Cone^{\omega}_{G}(H)$ detect natural properties of the embedding of $H$ in $G$. We begin by defining a generalization of the distortion function and show that this function determines whether $Cone^{\omega}_{G}(H)$ is connected. We then show that whether $H$ is strongly quasi-convex in $G$ is detected by a natural convexity property of $Cone^{\omega}_{G}(H)$ in the asymptotic cone of $G$.


title: Volume extrapolation via eigenvector continuation

abstract: We develop an extension of eigenvector continuation (EC) that makes it possible to extrapolate simulations of quantum systems in finite periodic boxes across large ranges of box sizes. The formal justification for this approach, which we call finite-volume eigenvector continuation (FVEC), is provided by matching periodic functions at different box sizes. As concrete FVEC implementation we use a discrete variable representation based on plane-wave states and present several applications calculated within this framework.


title: Adaptive neighborhood Metric learning

abstract: In this paper, we reveal that metric learning would suffer from serious inseparable problem if without informative sample mining. Since the inseparable samples are often mixed with hard samples, current informative sample mining strategies used to deal with inseparable problem may bring up some side-effects, such as instability of objective function, etc. To alleviate this problem, we propose a novel distance metric learning algorithm, named adaptive neighborhood metric learning (ANML). In ANML, we design two thresholds to adaptively identify the inseparable similar and dissimilar samples in the training procedure, thus inseparable sample removing and metric parameter learning are implemented in the same procedure. Due to the non-continuity of the proposed ANML, we develop an ingenious function, named \emph{log-exp mean function} to construct a continuous formulation to surrogate it, which can be efficiently solved by the gradient descent method. Similar to Triplet loss, ANML can be used to learn both the linear and deep embeddings. By analyzing the proposed method, we find it has some interesting properties. For example, when ANML is used to learn the linear embedding, current famous metric learning algorithms such as the large margin nearest neighbor (LMNN) and neighbourhood components analysis (NCA) are the special cases of the proposed ANML by setting the parameters different values. When it is used to learn deep features, the state-of-the-art deep metric learning algorithms such as Triplet loss, Lifted structure loss, and Multi-similarity loss become the special cases of ANML. Furthermore, the \emph{log-exp mean function} proposed in our method gives a new perspective to review the deep metric learning methods such as Prox-NCA and N-pairs loss. At last, promising experimental results demonstrate the effectiveness of the proposed method.


title: Predictive Inference with Weak Supervision

abstract: The expense of acquiring labels in large-scale statistical machine learning makes partially and weakly-labeled data attractive, though it is not always apparent how to leverage such data for model fitting or validation. We present a methodology to bridge the gap between partial supervision and validation, developing a conformal prediction framework to provide valid predictive confidence sets -- sets that cover a true label with a prescribed probability, independent of the underlying distribution -- using weakly labeled data. To do so, we introduce a (necessary) new notion of coverage and predictive validity, then develop several application scenarios, providing efficient algorithms for classification and several large-scale structured prediction problems. We corroborate the hypothesis that the new coverage definition allows for tighter and more informative (but valid) confidence sets through several experiments.


title: On the Uniqueness of Kantorovich Potentials

abstract: Kantorovich potentials denote the dual solutions of the renowned optimal transportation problem. Uniqueness of these solutions is relevant from both a theoretical and an algorithmic point of view, and has recently emerged as a necessary condition for asymptotic results in the context of statistical and entropic optimal transport. In this work, we challenge the common perception that uniqueness in continuous settings is reliant on the connectedness of the support of at least one of the involved measures, and we provide mild sufficient conditions for uniqueness even when both measures have disconnected support. Since our main finding builds upon the uniqueness of Kantorovich potentials on connected components, we revisit the corresponding arguments and provide generalizations of well-known results. Several auxiliary findings regarding the continuity of Kantorovich potentials, for example in geodesic spaces, are established along the way.


title: Bottomonium spectroscopy using Coulomb plus linear (Cornell) potential

abstract: The coulomb plus linear (Cornell) potential is used to investigate the mass spectrum of bottomonium. Gaussian wave function is used in position and momentum space to estimate values of potential and kinetic energies, respectively. Based on our calculations, we study newly observed ${{\mathit \Upsilon}{(10860)}}$ as an admixture of $4^{3}S_{1}$ with $4^{3}D_{1}$, and ${{\mathit \Upsilon}{(10753)}}$ as an admixture of $6^{3}S_{1}$ with $4^{3}D_{1}$ also, we try to assign ${{\boldsymbol \Upsilon}{(11020)}}$ as a pure $4^{3}D_{1}$ bottomonium state. We also study the Regge trajectories in the $(J,M^{2})$ and $(n_r,M^{2})$ planes to help prove our association. We estimate the pseudoscalar and vector decay constants, the radiative (Electric and Magnetic Dipole) transition rates, and the annihilation decay width for bottomonium states.


title: Cheating Automatic Short Answer Grading: On the Adversarial Usage of Adjectives and Adverbs

abstract: Automatic grading models are valued for the time and effort saved during the instruction of large student bodies. Especially with the increasing digitization of education and interest in large-scale standardized testing, the popularity of automatic grading has risen to the point where commercial solutions are widely available and used. However, for short answer formats, automatic grading is challenging due to natural language ambiguity and versatility. While automatic short answer grading models are beginning to compare to human performance on some datasets, their robustness, especially to adversarially manipulated data, is questionable. Exploitable vulnerabilities in grading models can have far-reaching consequences ranging from cheating students receiving undeserved credit to undermining automatic grading altogether - even when most predictions are valid. In this paper, we devise a black-box adversarial attack tailored to the educational short answer grading scenario to investigate the grading models' robustness. In our attack, we insert adjectives and adverbs into natural places of incorrect student answers, fooling the model into predicting them as correct. We observed a loss of prediction accuracy between 10 and 22 percentage points using the state-of-the-art models BERT and T5. While our attack made answers appear less natural to humans in our experiments, it did not significantly increase the graders' suspicions of cheating. Based on our experiments, we provide recommendations for utilizing automatic grading systems more safely in practice.


title: Body Models in Humans and Robots

abstract: Neurocognitive models of higher-level somatosensory processing have emphasised the role of stored body representations in interpreting real-time sensory signals coming from the body (Longo, Azanon and Haggard, 2010; Tame, Azanon and Longo, 2019). The need for such stored representations arises from the fact that immediate sensory signals coming from the body do not specify metric details about body size and shape. Several aspects of somatoperception, therefore, require that immediate sensory signals be combined with stored body representations. This basic problem is equally true for humanoid robots and, intriguingly, neurocognitive models developed to explain human perception are strikingly similar to those developed independently for localizing touch on humanoid robots, such as the iCub, equipped with artificial electronic skin on the majority of its body surface (Roncone et al., 2014; Hoffmann, 2021). In this chapter, we will review the key features of these models, discuss their similarities and differences to each other, and to other models in the literature. Using robots as embodied computational models is an example of synthetic methodology or 'understanding by building' (e.g., Hoffmann and Pfeifer, 2018), computational embodied neuroscience (Caligiore et al., 2010) or 'synthetic psychology of the self' (Prescott and Camilleri, 2019). Such models have the advantage that they need to be worked out into every detail, making any theory explicit and complete. There is also an additional way of (pre)validating such a theory other than comparing to the biological or psychological phenomenon studied by simply verifying that a particular implementation really performs the task: can the robot localize where it is being touched (see https://youtu.be/pfse424t5mQ)?


title: Comparing weak lensing peak counts in baryonic correction models to hydrodynamical simulations

abstract: Next-generation weak lensing (WL) surveys, such as by the Vera Rubin Observatory's LSST, the $\textit{Roman}$ Space Telescope, and the $\textit{Euclid}$ space mission, will supply vast amounts of data probing small, highly nonlinear scales. Extracting information from these scales requires higher-order statistics and the controlling of related systematics such as baryonic effects. To account for baryonic effects in cosmological analyses at reduced computational cost, semi-analytic baryonic correction models (BCMs) have been proposed. Here, we study the accuracy of BCMs for WL peak counts, a well studied, simple, and effective higher-order statistic. We compare WL peak counts generated from the full hydrodynamical simulation IllustrisTNG and a baryon-corrected version of the corresponding dark matter-only simulation IllustrisTNG-Dark. We apply galaxy shape noise expected at the depths reached by DES, KiDS, HSC, LSST, $\textit{Roman}$, and $\textit{Euclid}$. We find that peak counts in BCMs are (i) accurate at the percent level for peaks with $\mathrm{S/N}<4$, (ii) statistically indistinguishable from IllustrisTNG in most current and ongoing surveys, but (iii) insufficient for deep future surveys covering the largest solid angles, such as LSST and $\textit{Euclid}$. We find that BCMs match individual peaks accurately, but underpredict the amplitude of the highest peaks. We conclude that existing BCMs are a viable substitute for full hydrodynamical simulations in cosmological parameter estimation from beyond-Gaussian statistics for ongoing and future surveys with modest solid angles. For the largest surveys, BCMs need to be refined to provide a more accurate match, especially to the highest peaks.


title: TOAST: Trajectory Optimization and Simultaneous Tracking using Shared Neural Network Dynamics

abstract: Neural networks have been increasingly employed in Model Predictive Controller (MPC) to control nonlinear dynamic systems. However, MPC still poses a problem that an achievable update rate is insufficient to cope with model uncertainty and external disturbances. In this paper, we present a novel control scheme that can design an optimal tracking controller using the neural network dynamics of the MPC, making it possible to be applied as a plug-and-play extension for any existing model-based feedforward controller. We also describe how our method handles a neural network containing history information, which does not follow a general form of dynamics. The proposed method is evaluated by its performance in classical control benchmarks with external disturbances. We also extend our control framework to be applied in an aggressive autonomous driving task with unknown friction. In all experiments, our method outperformed the compared methods by a large margin. Our controller also showed low control chattering levels, demonstrating that our feedback controller does not interfere with the optimal command of MPC.


title: Error-and-erasure Decoding of Product and Staircase Codes with Simplified Extrinsic Message Passing

abstract: The decoding performance of product codes and staircase codes based on iterative bounded-distance decoding (iBDD) can be improved with the aid of a moderate amount of soft information, maintaining a low decoding complexity. One promising approach is error-and-erasure (EaE) decoding, whose performance can be reliably estimated with density evolution (DE). However, the extrinsic message passing (EMP) decoder required by the DE analysis entails a much higher complexity than the simple intrinsic message passing (IMP) decoder. In this paper, we simplify the EMP decoding algorithm for the EaE channel for two commonly-used EaE decoders by deriving the EMP decoding results from the IMP decoder output and some additional logical operations based on the algebraic structure of the component codes and the EaE decoding rule. Simulation results show that the number of BDD steps is reduced to being comparable with IMP. Furthermore, we propose a heuristic modification of the EMP decoder that reduces the complexity further. In numerical simulations, the decoding performance of the modified decoder yields up to 0.2 dB improvement compared to standard EMP decoding.


title: Big problems in spatio-temporal disease mapping: methods and software

abstract: Fitting spatio-temporal models for areal data is crucial in many fields such as cancer epidemiology. However, when data sets are very large, many issues arise. The main objective of this paper is to propose a general procedure to analyze high-dimensional spatio-temporal count data, with special emphasis on mortality/incidence relative risk estimation. We present a pragmatic and simple idea that permits to fit hierarchical spatio-temporal models when the number of small areas is very large. Model fitting is carried out using integrated nested Laplace approximations over a partition of the spatial domain. We also use parallel and distributed strategies to speed up computations in a setting where Bayesian model fitting is generally prohibitively time-consuming and even unfeasible. Using simulated and real data, we show that our method outperforms classical global models. We implement the methods and algorithms that we develop in the open-source R package bigDM where specific vignettes have been included to facilitate the use of the methodology for non-expert users. Our scalable methodology proposal provides reliable risk estimates when fitting Bayesian hierarchical spatio-temporal models for high-dimensional data.


title: Differential configurational entropy and the gravitational collapse of a kink

abstract: The gravitational instability of kinks is scrutinized in the context of information entropy, including the black hole formation near the scalar field critical collapse. The differential configurational entropy (DCE) is computed and examined for globally perturbed static kinks and the far-from-equilibrium kink solutions as well. In the case of the first kink, the DCE determines a critical value of the perturbation parameter regulating points of bifurcation that characterize a phase transition, whose supercritical range leads to collapse and subsequent black hole formation. For the far-from-equilibrium kink solutions, the DCE supports black hole formation.


title: The Kronig-Penney model in a quadratic channel with $\delta $ interactions. II : Scattering approach

abstract: The main purpose of the present paper is to introduce a scattering approach to the study of the Kronig-Penney model in a quadratic channel with $\delta$ interactions, which was discussed in full generality in the first paper of the present series. In particular, a secular equation whose zeros determine the spectrum will be written in terms of the scattering matrix from a single $\delta$. The advantages of this approach will be demonstrated in addressing the domain with total energy $E\in [0,\frac{1}{2})$, namely, the energy interval where, for under critical interaction strength, a discrete spectrum is known to exist for the single $\delta$ case. Extending this to the study of the periodic case reveals quite surprising behavior of the Floquet spectra and the corresponding spectral bands. The computation of these bands can be carried out numerically, and the main features can be qualitatively explained in terms of a semi-classical framework which is developed for the purpose.


title: Learning with latent group sparsity via heat flow dynamics on networks

abstract: Group or cluster structure on explanatory variables in machine learning problems is a very general phenomenon, which has attracted broad interest from practitioners and theoreticians alike. In this work we contribute an approach to learning under such group structure, that does not require prior information on the group identities. Our paradigm is motivated by the Laplacian geometry of an underlying network with a related community structure, and proceeds by directly incorporating this into a penalty that is effectively computed via a heat flow-based local network dynamics. In fact, we demonstrate a procedure to construct such a network based on the available data. Notably, we dispense with computationally intensive pre-processing involving clustering of variables, spectral or otherwise. Our technique is underpinned by rigorous theorems that guarantee its effective performance and provide bounds on its sample complexity. In particular, in a wide range of settings, it provably suffices to run the heat flow dynamics for time that is only logarithmic in the problem dimensions. We explore in detail the interfaces of our approach with key statistical physics models in network science, such as the Gaussian Free Field and the Stochastic Block Model. We validate our approach by successful applications to real-world data from a wide array of application domains, including computer science, genetics, climatology and economics. Our work raises the possibility of applying similar diffusion-based techniques to classical learning tasks, exploiting the interplay between geometric, dynamical and stochastic structures underlying the data.

categories: stat.ME cs.LG econ.EM math.ST stat.CO stat.ML stat.TH


title: A rectangular interval of a rectangular lattice is a rectangular lattice

abstract: Let $L$ be a slim, planar, semimodular lattice (slim means that it does not contain ${\mathsf M}_3$-sublattices). We call the interval $I = [o, i]$ of $L$ \emph{rectangular}, if there are $u_l, u_r \in [o, i] - \{o,i\}$ such that $o = u_l \wedge u_r$ and $i = u_l \vee u_r$, where $u_l$ is to the left of $u_r$. We prove that a rectangular interval of a rectangular lattice is a rectangular lattice. As an application, we get a recent result of G. Cz\'edli.


title: A class of maps on the torus and their vertex orbits

abstract: A tiling (edge-to-edge) of the plane is a family of tiles that cover the plane without gaps or overlaps. Vertex figure of a vertex in a tiling to be the union of all edges incident to that vertex. A tiling is $k$-vertex-homogeneous if any two vertices with congruent vertex figures are symmetric with each other and the vertices form precisely $k$ transitivity classes with respect to the group of all symmetries of the tiling. In this article, we discuss that if a map is the quotient of a plane's $k$-vertex-homogeneous lattice ($k \ge 4$) then what would be the sharp bounds of the number of vertex orbits.


title: The isomorphism problem for large-type Artin groups

abstract: In this paper we solve the isomorphism problem for all large-type Artin groups. Our strategy involves reconstructing the Coxeter groups associated with large-type Artin groups in a purely algebraic way. This answers several questions raised by Charney. We also study 2-dimensional Artin groups in general. By classifying all their dihedral Artin subgroups, we are able to give strong results of rigidity for all 2-dimensional Artin groups. We prove that "most" standard generators in 2-dimensional Artin groups are preserved under isomorphisms (up to conjugation). We also show that an isomorphism between large-type Artin groups preserves the set of spherical parabolic subgroups if and only if the defining graphs do not have even-labelled leaves. Finally, we show that Artin groups whose defining graphs have even-labelled leaves are never co-Hopfian.


title: Entanglement Entropy and Phase Space Density: Lowest Landau Levels and 1/2 BPS states

abstract: We consider the entanglement entropy of an arbitrary subregion in a system of $N$ non-relativistic fermions in $2+1$ dimensions in Lowest Landau Level (LLL) states. Using the connection of these states to those of an auxiliary $1+1$ dimensional fermionic system, we derive an expression for the leading large-$N$ contribution in terms of the expectation value of the phase space density operator in $1+1$ dimensions. For appropriate subregions the latter can replaced by its semiclassical Thomas-Fermi value, yielding expressions in terms of explicit integrals which can be evaluated analytically. We show that the leading term in the entanglement entropy is a perimeter law with a shape independent coefficient. Furthermore, we obtain analytic expressions for additional contributions from sharp corners on the entangling curve. Both the perimeter and the corner pieces are in good agreement with existing calculations for special subregions. Our results are relevant to the integer quantum Hall effect problem, and to the half-BPS sector of $\mathcal N=4$ Yang Mills theory on $S^3$. In this latter context, the entanglement we consider is an entanglement in target space. We comment on possible implications to gauge-gravity duality.

categories: hep-th cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Pseudo-hydrodynamic flow of quasiparticles in semimetal WTe2 at room temperature

abstract: Recently, much interest has emerged in fluid-like electric charge transport in various solid-state systems. The hydrodynamic behavior of the electronic fluid reveals itself as a decrease of the electrical resistance with increasing temperature (the Gurzhi effect) in narrow conducting channels, polynomial scaling of the resistance as a function of the channel width, substantial violation of the Wiedemann-Franz law supported by the emergence of the Poiseuille flow. Similarly to whirlpools in flowing water, the viscous electronic flow generates vortices, resulting in abnormal sign-changing electrical response driven by the backflow of electrical current. Experimentally, the presence of the hydrodynamic vortices was observed in low-temperature graphene as a negative voltage drop near the current-injecting contacts. However, the question of whether the long-ranged sign-changing electrical response can be produced by a mechanism other than hydrodynamics has not been addressed so far. Here we use polarization-sensitive laser microscopy to demonstrate the emergence of visually similar abnormal sign-alternating patterns in charge density in multilayer tungsten ditelluride at room temperature where this material does not exhibit true electronic hydrodynamics. We argue that this pseudo-hydrodynamic behavior appears due to a subtle interplay between the diffusive transport of electrons and holes. In particular, the sign-alternating charge accumulation in WTe2 is supported by the unexpected backflow of compressible neutral electron-hole current, which creates charge-neutral whirlpools in the bulk of this nearly compensated semimetal. We demonstrate that the exceptionally large spatial size of the charge domains is sustained by the long recombination time of electron-hole pairs.


title: Ground State Magnetic Dipole Moment of $^{40}$Sc

abstract: The hyperfine coupling constants of the proton dripline odd-odd $^{40}$Sc nucleus were deduced from the hyperfine spectrum of the $3d4s\,^3\text{D}_2$\,$\leftrightarrow$\,$3d4p\,^3\text{F}^\circ_3$ transition in Sc II, measured by the bunched beam collinear laser spectroscopy technique. The ground state magnetic dipole and electric quadrupole moments were determined for the first time as $\mu$\,=\,$+5.57(4)(2)\,\mu_N$ and $Q$\,=\,$+42(38)(28)\,e^2\;{\rm fm^2}$, respectively. The magnetic moment is well reproduced by the additivity rule with magnetic moments of neighboring odd-even nuclei in the vicinity of the doubly-magic $^{40}$Ca nucleus. An ab-initio multishell valence-space Hamiltonian was also employed to calculate the magnetic moment of $^{40}$Sc, which spans across the $sd$ and $fp$ nuclear shells, where we obtained good agreements.


title: On the Role of Longitudinal Currents in Radiating Systems of Charges

abstract: The time derivative of the charge density is linked to the current density by the continuity equation. However, it features only the longitudinal part of a current density, which is known to produce no radiation. This fact usually remains unnoticed though it poses a seemingly serious paradox, suggesting that the temporal variation of a charge density should be also irrelevant for radiation. We resolve this paradox by showing that the effective longitudinal currents are not spatially confined even when the time-dependent charge density that generates them is. This enforces the co-existence of the complementary (i.e. transverse) part of the current density through the Helmholtz decomposition. We illustrate the mechanics of the underlying non-locality of the Helmholtz decomposition in the case of a dynamic electric dipole, discussing its practical implication for underwater antenna communications. More generally, we explain the role of the Helmholtz decomposition in shaping the structure of the conventional multipole expansion.


title: Small-angle neutron scattering by spatially inhomogeneous ferromagnets with a nonzero average uniaxial anisotropy

abstract: Micromagnetic small-angle neutron scattering theory is well established for analyzing spin-misalignment scattering data of bulk ferromagnets. Here, this theory is extended to allow for a global uniaxial magnetic anisotropy (texture) of the material, in addition to the already included random zero-average local anisotropy. Macroscopic cross-sections and spin-misalignment response functions are computed analytically for several practically relevant mutual anisotropy and external magnetic field orientations in both parallel and perpendicular scattering geometries for field magnitudes both above and below the rotational saturation. Some of these expressions are tested on published experimental data of magnetic-field-annealed Vitroperm and plastically-deformed Ni, allowing to determine the corresponding global uniaxial anisotropy quality factors.


title: 60 Microlensing Events from the Three Years of Zwicky Transient Facility Phase One

abstract: Microlensing events have historically been discovered throughout the Galactic bulge and plane by surveys designed solely for that purpose. We conduct the first multi-year search for microlensing events on the Zwicky Transient Facility (ZTF), an all-sky optical synoptic survey that observes the entire visible Northern sky every few nights. We discover 60 high quality microlensing events in the three years of ZTF-I using the bulk lightcurves in the ZTF Public Data Release 5. 19 of our events are found outside of the Galactic plane ($|b| \geq 15^\circ$), nearly doubling the number of previously discovered events in the stellar halo from surveys pointed toward the Magellanic Clouds and the Andromeda Galaxy. We also record 1,558 ongoing candidate events as potential microlensing that can continue to be observed by ZTF-II for identification. The scalable and computationally efficient methods developed in this work can be applied to future synoptic surveys, such as the Vera C. Rubin Observatory's Legacy Survey of Space and Time and the Nancy Grace Roman Space Telescope, as they attempt to find microlensing events in even larger and deeper datasets.


title: Influences of social media usage on public attitudes and behavior towards COVID-19 vaccine in the Arab world

abstract: Background: Vaccination programs are effective only when a significant percentage of people are vaccinated. However, vaccine acceptance varies among communities around the world. Social media usage is arguably one of the factors affecting public attitudes towards vaccines. Objective: This study aims to identify if the social media usages factors can be used to predict attitudes and behavior towards the COVID-19 vaccines among the people in the Arab world. Methods: An online survey was conducted in the Arab countries and 217 Arab people participated in this study. Logistic regression was applied to identify what demographics and social media usage factors predict public attitudes and behavior towards the COVID-19 vaccines. Results: Of the 217 participants, 56.22% of them were willing to accept the vaccine and 41.47% of them were hesitant. This study shows that none of the social media usages factors were significant enough to predict the actual vaccine acceptance behavior. Whereas the analysis showed few of the social media usage factors can predict public attitudes towards the COVID-19 vaccines. For example, frequent social media users were 2.85 times more likely to agree that the risk of COVID-19 is being exaggerated (OR=2.85, 95% CI=0.86-9.45, p=0.046) than infrequent social media users. Whereas participants having more trust in vaccine information shared by their contacts are less likely to agree that decision-makers have verified that vaccines are safe (OR=0.528, 95% CI= 0.276-1.012, p=0.05). Conclusion: The use of social media and information shared on it may affect public attitudes towards COVID-19 vaccines. Therefore, disseminating correct and validated information about COVID-19 and other vaccines on social media is important for increasing public trust and countering the impact of incorrect and misinformation.


title: Dynamically Tagged Groups of Metal-Poor Stars II. The Radial Velocity Experiment Data Release 6

abstract: Orbital characteristics based on Gaia Early Data Release 3 astrometric parameters are analyzed for ${\sim} 8,000$ metal-poor stars ([Fe/H] $\leq -0.8$) compiled from the RAdial Velocity Experiment (RAVE) Data Release 6. Selected as metal-poor candidates based on broadband photometry, RAVE collected moderate-resolution ($R \sim 7,500$) spectra in the region of the Ca triplet for these stars. About $20\%$ of the stars in this sample also have medium-resolution ($1,200 \lesssim R \lesssim 2,000$) validation spectra obtained over a four-year campaign from $2014$ to $2017$ with a variety of telescopes. We match the candidate stars to photometric metallicity determinations from the Huang et al. recalibration of the Sky Mapper Southern Survey Data Release 2. We obtain dynamical clusters of these stars from the orbital energy and cylindrical actions using the \HDBSCAN ~unsupervised learning algorithm. We identify $179$ Dynamically Tagged Groups (DTGs) with between $5$ and $35$ members; $67$ DTGs have at least $10$ member stars. Milky Way (MW) substructures such as Gaia-Sausage-Enceladus, the Metal-Weak Thick Disk, the Splashed Disk, Thamnos, the Helmi Stream, and LMS-1 (Wukong) are identified. Associations with MW globular clusters are determined for $10$ DTGs; no recognized MW dwarf galaxies were associated with any of our DTGs. Previously identified dynamical groups are also associated with our DTGs, with emphasis placed on their structural determination and possible new identifications. We identify chemically peculiar stars as members of several DTGs; we find $22$ DTGs that are associated with \textit{r}-process-enhanced stars. Carbon-enhanced metal-poor (CEMP) stars are identified among the targets with available spectroscopy, and we assign these to morphological groups following the approach given by Yoon et al.


title: A Reciprocal Theorem for Finite Deformations in Incompressible Bodies

abstract: The reciprocal theorems of Maxwell and Betti are foundational in mechanics but have so far been restricted to infinitesimal deformations in elastic bodies. In this manuscript, we present a reciprocal theorem that relates solutions of a specific class of large deformation boundary value problems for incompressible bodies; these solutions are shown to identically satisfy the Maxwell-Betti theorem. The theorem has several potential applications such as development of alternative convenient experimental setups for the study of material failure through bulk and interfacial cavitation, and leveraging easier numerical implementation of equivalent auxiliary boundary value problems. The following salient features of the theorem are noted: (i) it applies to dynamics in addition to statics, (ii) it allows for large deformations, (iii) generic body shapes with several potential holes, and (iv) any general type of boundary conditions.


title: $\Sigma$-semicommutative rings and their skew PBW extensions

abstract: In this paper, we introduce the concept of $\Sigma$-semicommutative ring, for $\Sigma$ a finite family of endomorphisms of a ring $R$. We relate this class of rings with other classes of rings such that Abelian, reduced, $\Sigma$-rigid, nil-reversible and rings satisfying the $\Sigma$-skew reflexive nilpotent property. Also, we study some ring-theoretical properties of skew PBW extensions over $\Sigma$-semicommutative rings. We prove that if a ring $R$ is $\Sigma$-semicommutative with certain conditions of compatibility on derivations, then for every skew PBW extension $A$ over $R$, $R$ is Baer if and only if $R$ is quasi-Baer, and equivalently, $A$ is quasi-Baer if and only if $A$ is Baer. Finally, we consider some topological conditions for skew PBW extensions over $\Sigma$-semicommutative rings.


title: Signature Entrenchment and Conceptual Changes in Automated Theory Repair

abstract: Human beliefs change, but so do the concepts that underpin them. The recent Abduction, Belief Revision and Conceptual Change (ABC) repair system combines several methods from automated theory repair to expand, contract, or reform logical structures representing conceptual knowledge in artificial agents. In this paper we focus on conceptual change: repair not only of the membership of logical concepts, such as what animals can fly, but also concepts themselves, such that birds may be divided into flightless and flying birds, by changing the signature of the logical theory used to represent them. We offer a method for automatically evaluating entrenchment in the signature of a Datalog theory, in order to constrain automated theory repair to succinct and intuitive outcomes. Formally, signature entrenchment measures the inferential contributions of every logical language element used to express conceptual knowledge, i.e., predicates and the arguments, ranking possible repairs to retain valuable logical concepts and reject redundant or implausible alternatives. This quantitative measurement of signature entrenchment offers a guide to the plausibility of conceptual changes, which we aim to contrast with human judgements of concept entrenchment in future work.


title: Numerical simulation of flow over flapping wings in tandem: wingspan effects

abstract: We report direct numerical simulations of a pair of wings in horizontal tandem configuration, to analyze the effect of their aspect ratio on the flow and the aerodynamic performance of the system. The wings are immersed in a uniform free-stream at Reynolds number Re = 1000, and they undergo heaving and pitching oscillation with Strouhal number St = 0.7. The aspect ratios of forewing and hindwing vary between 2 and 4. The aerodynamic performance of the system is dictated by the interaction between the trailing edge vortex (TEV) shed by the forewing and the induced leading edge vortex formed on the hindwing. The aerodynamic performance of the forewing is similar to that of an isolated wing irrespective of the aspect ratio of the hindwing, with a small modulating effect produced by the forewing-hindwing interactions. On the other hand, the aerodynamic performance of the hindwing is clearly affected by the interaction with the forewing's TEV. Tandem configurations with a larger aspect ratio on the forewing than on the hindwing result in a quasi-two-dimensional flow structure on the latter. This yields an 8% increase in the time-averaged thrust coefficient of the hindwing, with no change in its propulsive efficiency.


title: The effect of dielectric environment on the brightening of neutral and charged dark excitons in WSe$_2$ monolayer

abstract: The dielectric environment of atomically-thin monolayer (ML) of semiconducting transition metal dichalcogenides affects both the electronic band gap and the excitonic binding energy in the ML. We investigate the effect of the environment on the in-plane magnetic field brightening of neutral and charged dark exciton emissions in the WSe$_2$ ML. The monolayers placed in three dielectric environments are studied, in particular, the ML encapsulated in hexagonal BN (hBN) flakes, the ML deposited on a hBN layer, and the ML embedded between the hBN flake and SiO$_2$/Si substrate. We observe that the brightening rates of the neutral and charged dark excitons depend on the dielectric environment, which may be related to the variation of the level of carrier concentration in the ML. Moreover, the surrounding media, characterized by different dielectric constants, influences weakly the relative energies of the neutral and charged dark excitons in reference to the bright ones.