title: On harmonic symmetries for locally conformally K\"{a}hler manifolds

abstract: In this article, we study harmonic symmetries on the compact locally conformally K\"{a}hler manifold $M$ of $dim_{\mathbb{C}}=n$. The space of harmonic symmetries is a subspace of harmonic differential forms which defined by the kernel of a certain Laplacian-type operator $\square$. We observe that the spaces $\ker(\square)\cap\Omega^{l}=\{0\}$ for any $|l-n|\geq2$ and $\ker\Delta_{\bar{\partial}}\cap P^{k,n-1-k}\cap\ker(i_{\theta^{\sharp}})\cong\ker(\square^{k,n-1-k})$, $\ker\Delta_{\bar{\partial}}\cap P^{k,n-k}\cong\ker(\square^{k,n-k})$. Furthermore, suppose that $M$ is a Vaisman manifold, we prove that (i) $\alpha$ is $(n-1)$-form in $\ker(\square)$ if only if $\alpha$ is a transversally harmonic and transversally effective $\mathcal{V}$-foliate form; (ii) $\alpha$ is a $(p,n-p)$-form in $\ker(\square^{p,n-p})$ if only if there are two forms $\beta_{1}\in\mathcal{S}^{p-1,n-p}$ and $\beta_{2}\in\mathcal{S}^{p,n-p-1}$ such that $\alpha=\theta^{1,0}\wedge\beta_{1}+\theta^{0,1}\wedge\beta_{2}$.


title: Integrable systems associated to open extensions of type A and D Dubrovin-Frobenius manifolds

abstract: We investigate the solutions to open WDVV equation, associated to type A and D Dubrovin-Frobenius manifolds. We show that these solutions satisfy some stabilization condition and associate to both of them the systems of commuting PDEs. In the type A we show that the system of PDEs constructed coincides with the dispersionless modifiled KP hierarchy written in the Fay form.


title: Graph Representation Learning via Aggregation Enhancement

abstract: Graph neural networks (GNNs) have become a powerful tool for processing graph-structured data but still face challenges in effectively aggregating and propagating information between layers, which limits their performance. We tackle this problem with the kernel regression (KR) approach, using KR loss as the primary loss in self-supervised settings or as a regularization term in supervised settings. We show substantial performance improvements compared to state-of-the-art in both scenarios on multiple transductive and inductive node classification datasets, especially for deep networks. As opposed to mutual information (MI), KR loss is convex and easy to estimate in high-dimensional cases, even though it indirectly maximizes the MI between its inputs. Our work highlights the potential of KR to advance the field of graph representation learning and enhance the performance of GNNs. The code to reproduce our experiments is available at https://github.com/Anonymous1252022/KR_for_GNNs


title: Another view of Bipartite Ramsey numbers

abstract: For bipartite graphs $G$ and $H$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(G, H)$ of $G$ and $H$ is the smallest integer $n$, such that every red-blue coloring of $K_{m,n}$ results in a red $G$ or a blue $H$. Zhenming Bi, Gary Chartrand and Ping Zhang in \cite{bi2018another} evaluate this numbers for all positive integers $m$ when $G= K_{2,2}$ and $H \in \{K_{2,3}, K_{3,3}\}$, especially in a long and hard argument they showed that $BR_5(K_{2,2}, K_{3,3}) = BR_6(K_{2,2}, K_{3,3}) = 12$ and $BR_7(K_{2,2}, K_{3,3}) = BR_8(K_{2,2}, K_{3,3}) = 9$. In this article, by a short and easy argument we determine the exact value of $BR_m(K_{2,2}, K_{3,3})$ for each $m\geq 1$.


title: Potential destination discovery for low predictability individuals based on knowledge graph

abstract: Travelers may travel to locations they have never visited, which we call potential destinations of them. Especially under a very limited observation, travelers tend to show random movement patterns and usually have a large number of potential destinations, which make them difficult to handle for mobility prediction (e.g., destination prediction). In this paper, we develop a new knowledge graph-based framework (PDPFKG) for potential destination discovery of low predictability travelers by considering trip association relationships between them. We first construct a trip knowledge graph (TKG) to model the trip scenario by entities (e.g., travelers, destinations and time information) and their relationships, in which we introduce the concept of private relationship for complexity reduction. Then a modified knowledge graph embedding algorithm is implemented to optimize the overall graph representation. Based on the trip knowledge graph embedding model (TKGEM), the possible ranking of individuals' unobserved destinations to be chosen in the future can be obtained by calculating triples' distance. Empirically. PDPFKG is tested using an anonymous vehicular dataset from 138 intersections equipped with video-based vehicle detection systems in Xuancheng city, China. The results show that (i) the proposed method significantly outperforms baseline methods, and (ii) the results show strong consistency with traveler behavior in choosing potential destinations. Finally, we provide a comprehensive discussion of the innovative points of the methodology.


title: Combinatorial Cell Complexes: Duality, reconstruction and causal cobordisms

abstract: This thesis proposes a framework based on a notion of combinatorial cell complex (cc) whose cells are defined simply as finite sets of vertices. The cells of a cc are subject to four axioms involving a rank function that assigns a rank (or a dimension) to each cell. Our framework focuses on classes of cc admitting an inclusion-reversing duality map. We introduce a combinatorial notion of cobordism that allows us to single out a category whose morphisms are cobordisms having a causal structure. Our aim is to offer an approach to look for a combinatorial notion of quantum field theory having a built-in duality operation acting on the underlying space and not relying on any manifold structure. The introduction includes links with fields in Theoretical and Mathematical Physics related to Quantum Gravity and motivating our framework. We start by introducing cc and the duality map on a class of cc with empty boundary called closed cc. We then focus on the problem of reconstructing a certain class of cc from their cells of rank 2 and lower. Such cc are in particular duals to simplicial complexes with no boundary and their reconstruction is realized using a discrete notion of connection. Our next main result extends the duality map we defined on closed cc to a class of cc with boundary. An important by-product of the study of this extended duality map is the combinatorial notion of cobordism used in this work. We also introduce a general notion of subdivision of a cc via a map called reduction, as well as the dual notion of reduction called collapse. These two types of map characterize the structure of certain cc called slices, using sequences of maps called slice sequences. Slices are the basic building blocs of our definition of causal cobordisms and the dual of a slice sequence defines the composition of cobordisms, providing us with a category whose morphisms are causal cobordisms.


title: Metric-Affine Gauge theories of gravity: Foundations and new insights

abstract: This thesis covers several developments performed in metric-affine gravity. This alternative framework extends General Relativity by considering a more general connection than the one induced by the metric (i.e., arbitrary torsion and nonmetricity participate in the dynamics). We start by revising some mathematical aspects of the metric-affine framework, the way Lovelock and other invariants are extended to it and the construction of a gauge formalism. Then we focus on metric-affine pp-wave geometries and explore solutions of this type for the quadratic metric-affine Lagrangian (with even-parity invariants). Finally, in the last part of the manuscript, we analyze from a more field-theoretical point of view the viability of different extensions of General Relativity by guaranteeing the stability of their degrees of freedom.


title: Deep Non-Crossing Quantiles through the Partial Derivative

abstract: Quantile Regression (QR) provides a way to approximate a single conditional quantile. To have a more informative description of the conditional distribution, QR can be merged with deep learning techniques to simultaneously estimate multiple quantiles. However, the minimisation of the QR-loss function does not guarantee non-crossing quantiles, which affects the validity of such predictions and introduces a critical issue in certain scenarios. In this article, we propose a generic deep learning algorithm for predicting an arbitrary number of quantiles that ensures the quantile monotonicity constraint up to the machine precision and maintains its modelling performance with respect to alternative models. The presented method is evaluated over several real-world datasets obtaining state-of-the-art results as well as showing that it scales to large-size data sets.


title: KMS states on $C_c^{*}(\mathbb{N}^2)$

abstract: Let $C_c^{*}(\mathbb{N}^{2})$ be the universal $C^{*}$-algebra generated by a semigroup of isometries $\{v_{(m,n)}: m,n \in \mathbb{N}\}$ whose range projections commute. We analyse the structure of KMS states on $C_{c}^{*}(\mathbb{N}^2)$ for the time evolution determined by a homomorphism $c:\mathbb{Z}^{2} \to \mathbb{R}$. In contrast to the reduced version $C_{red}^{*}(\mathbb{N}^{2})$, we show that the set of KMS states on $C_{c}^{*}(\mathbb{N}^{2})$ has a rich structure. In particular, we exhibit uncountably many extremal KMS states of type I, II and III.


title: Extremal results on stepwise transmission irregular graphs

abstract: The transmission ${\rm Tr}_G(v)$ of a vertex $v$ of a connected graph $G$ is the sum of distances between $v$ and all other vertices in $G$. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)| =1$ holds for each edge $uv \in E(G)$. In this paper, extremal results on STI graphs with respect to the size and different metric properties are proved. Two extremal families appear in all the cases, balanced complete bipartite graphs of odd order and the so called odd hatted cycles.


title: Type-II Dirac Nodal Lines in double-kagome-layered CsV$_8$Sb$_{12}$

abstract: Lorentz-violating type-II Dirac nodal line semimetals (DNLSs), hosting curves of band degeneracy formed by two dispersion branches with the same sign of slope, represent a novel states of matter. While being studied extensively in theory, convincing experimental evidences of type-II DNLSs remain elusive. Recently, Vanadium-based kagome materials have emerged as a fertile ground to study the interplay between lattice symmetry and band topology. In this work, we study the low-energy band structure of double-kagome-layered CsV$_8$Sb$_{12}$ and identify it as a scarce type-II DNLS protected by mirror symmetry. We have observed multiple DNLs consisting of type-II Dirac cones close to or almost at the Fermi level via angle-resolved photoemission spectroscopy (ARPES). First-principle analyses show that spin-orbit coupling only opens a small gap, resulting effectively gapless ARPES spectra, yet generating large spin Berry curvature. These type-II DNLs, together with the interaction between a low-energy van Hove singularity and quasi-1D band as we observed in the same material, suggest CsV$_8$Sb$_{12}$ as an ideal platform for exploring novel transport properties such as chiral anomaly, the Klein tunneling and fractional quantum Hall effect.


title: Characteristics of Effective Dark Matter in Nonlocal Gravity

abstract: Nonlocal gravity (NLG) is a classical nonlocal generalization of Einstein's theory of gravitation that has been constructed in close analogy with the nonlocal electrodynamics of media. According to NLG, what appears as dark matter in astrophysics and cosmology is in reality the nonlocal aspect of the universal gravitational interaction. We focus here on two main features of the effective dark matter in NLG, namely, (a) the density of effective dark matter in NLG is always finite and therefore cusp-free, and (b) there is less effective dark matter in dwarf galaxies than is generally assumed in the standard particle dark matter paradigm. The corresponding astrophysical implications of NLG in connection with three ultra-diffuse galaxies AGC 114905, 242019, and 219533 are discussed.


title: Backward timelike Compton scattering to decipher the photon content of the nucleon

abstract: The exclusive photoproduction off nucleon of a large invariant mass lepton pair in the backward region specified by the small Mandelstam variable $-u$ is discussed in the framework of collinear QCD factorization. The amplitude is factorized in terms of photon-to-nucleon Transition Distribution Amplitudes (TDAs) which encode the photon content of the nucleon. Model estimates of these new non-perturbative objects are described and the corresponding cross sections calculated. The background due to the electromagnetic Bethe-Heitler process is shown to be negligible in the kinematical regime of interest.


title: Fast Monte-Carlo Approximation of the Attention Mechanism

abstract: We introduce Monte-Carlo Attention (MCA), a randomized approximation method for reducing the computational cost of self-attention mechanisms in Transformer architectures. MCA exploits the fact that the importance of each token in an input sequence varies with respect to their attention scores; thus, some degree of error can be tolerable when encoding tokens with low attention. Using approximate matrix multiplication, MCA applies different error bounds to encode input tokens such that those with low attention scores are computed with relaxed precision, whereas errors of salient elements are minimized. MCA can operate in parallel with other attention optimization schemes and does not require model modification. We study the theoretical error bounds and demonstrate that MCA reduces attention complexity (in FLOPS) for various Transformer models by up to 11$\times$ in GLUE benchmarks without compromising model accuracy.


title: AI-Augmented Business Process Management Systems: A Research Manifesto

abstract: AI-Augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the execution of business processes with the aim of making these processes more adaptable, proactive, explainable, and context-sensitive. This manifesto presents a vision for ABPMSs and discusses research challenges that need to be surmounted to realize this vision. To this end, we define the concept of ABPMS, we outline the lifecycle of processes within an ABPMS, we discuss core characteristics of an ABPMS, and we derive a set of challenges to realize systems with these characteristics.


title: The Circular Matern Covariance Function and its Link to Markov Random Fields on the Circle

abstract: The link between Gaussian random fields and Markov random fields is well established based on a stochastic partial differential equation in Euclidean spaces, where the Mat\'ern covariance functions are essential. However, the Mat\'ern covariance functions are not always positive definite on circles and spheres. In this manuscript, we focus on the extension of this link to circles, and show that the link between Gaussian random fields and Markov random fields on circles is valid based on the circular Mat\'ern covariance function instead. First, we show that this circular Mat\'ern function is the covariance of the stationary solution to the stochastic differential equation on the circle with a formally defined white noise space measure. Then, for the corresponding conditional autoregressive model, we derive a closed form formula for its covariance function. Together with a closed form formula for the circular Mat\'ern covariance function, the link between these two random fields can be established explicitly. Additionally, it is known that the estimator of the mean is not consistent on circles, we provide an equivalent Gaussian measure explanation for this non-ergodicity issue.


title: Fast Relative Entropy Coding with A* coding

abstract: Relative entropy coding (REC) algorithms encode a sample from a target distribution $Q$ using a proposal distribution $P$, such that the expected codelength is $\mathcal{O}(D_{KL}[Q \,||\, P])$. REC can be seamlessly integrated with existing learned compression models since, unlike entropy coding, it does not assume discrete $Q$ or $P$, and does not require quantisation. However, general REC algorithms require an intractable $\Omega(e^{D_{KL}[Q \,||\, P]})$ runtime. We introduce AS* and AD* coding, two REC algorithms based on A* sampling. We prove that, for continuous distributions over $\mathbb{R}$, if the density ratio is unimodal, AS* has $\mathcal{O}(D_{\infty}[Q \,||\, P])$ expected runtime, where $D_{\infty}[Q \,||\, P]$ is the R\'enyi $\infty$-divergence. We provide experimental evidence that AD* also has $\mathcal{O}(D_{\infty}[Q \,||\, P])$ expected runtime. We prove that AS* and AD* achieve an expected codelength of $\mathcal{O}(D_{KL}[Q \,||\, P])$. Further, we introduce DAD*, an approximate algorithm based on AD* which retains its favourable runtime and has bias similar to that of alternative methods. Focusing on VAEs, we propose the IsoKL VAE (IKVAE), which can be used with DAD* to further improve compression efficiency. We evaluate A* coding with (IK)VAEs on MNIST, showing that it can losslessly compress images near the theoretically optimal limit.


title: Spintronics-compatible approach to solving maximum satisfiability problems with probabilistic computing, invertible logic and parallel tempering

abstract: The search of hardware-compatible strategies for solving NP-hard combinatorial optimization problems (COPs) is an important challenge of today s computing research because of their wide range of applications in real world optimization problems. Here, we introduce an unconventional scalable approach to face maximum satisfiability problems (Max-SAT) which combines probabilistic computing with p-bits, parallel tempering, and the concept of invertible logic gates. We theoretically show the spintronic implementation of this approach based on a coupled set of Landau-Lifshitz-Gilbert equations, showing a potential path for energy efficient and very fast (p-bits exhibiting ns time scale switching) architecture for the solution of COPs. The algorithm is benchmarked with hard Max-SAT instances from the 2016 Max-SAT competition (e.g., HG-4SAT-V150-C1350-1.cnf which can be described with 2851 p-bits), including weighted Max-SAT and Max-Cut problems.


title: Deciding Asynchronous Hyperproperties for Recursive Programs

abstract: We introduce a novel logic for asynchronous hyperproperties with a new mechanism to identify relevant positions on traces. While the new logic is more expressive than a related logic presented recently by Bozzelli et al., we obtain the same complexity of the model checking problem for finite state models. Beyond this, we study the model checking problem of our logic for pushdown models. We argue that the combination of asynchronicity and a non-regular model class studied in this paper constitutes the first suitable approach for hyperproperty model checking against recursive programs.


title: The Addition theorem for two-step nilpotent torsion groups

abstract: The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7]. In contrast, when it comes to metabelian groups, the additivity of the algebraic entropy fails [8]. Continuing the research within the class of locally finite groups, we prove that the Addition Theorem holds for two-step nilpotent torsion groups.


title: Neural-PIM: Efficient Processing-In-Memory with Neural Approximation of Peripherals

abstract: Processing-in-memory (PIM) architectures have demonstrated great potential in accelerating numerous deep learning tasks. Particularly, resistive random-access memory (RRAM) devices provide a promising hardware substrate to build PIM accelerators due to their abilities to realize efficient in-situ vector-matrix multiplications (VMMs). However, existing PIM accelerators suffer from frequent and energy-intensive analog-to-digital (A/D) conversions, severely limiting their performance. This paper presents a new PIM architecture to efficiently accelerate deep learning tasks by minimizing the required A/D conversions with analog accumulation and neural approximated peripheral circuits. We first characterize the different dataflows employed by existing PIM accelerators, based on which a new dataflow is proposed to remarkably reduce the required A/D conversions for VMMs by extending shift and add (S+A) operations into the analog domain before the final quantizations. We then leverage a neural approximation method to design both analog accumulation circuits (S+A) and quantization circuits (ADCs) with RRAM crossbar arrays in a highly-efficient manner. Finally, we apply them to build an RRAM-based PIM accelerator (i.e., \textbf{Neural-PIM}) upon the proposed analog dataflow and evaluate its system-level performance. Evaluations on different benchmarks demonstrate that Neural-PIM can improve energy efficiency by 5.36x (1.73x) and speed up throughput by 3.43x (1.59x) without losing accuracy, compared to the state-of-the-art RRAM-based PIM accelerators, i.e., ISAAC (CASCADE).


title: Lyapunov Conditions for Input-to-State Stability of Hybrid Systems with Memory

abstract: This paper studies input-to-state stability for hybrid systems with memory, which models hybrid dynamics affected by time delays. Using both Lyapunov-Razumikhin functions and Lyapunov-Krasovskii functionals, Lyapunov-based sufficient conditions are established for input-to-state stability. In addition, further extensions and relaxations are proposed for special cases, such as the stable flow/jump cases and the cases that Lyapunov functions do not decrease strictly during flow/jumps. Finally, two examples are used to illustrate the developed results.


title: Low redshift constraints on scale-covariant models

abstract: The search for a physical model which explains the observed recent acceleration of the universe is a compelling task of modern fundamental cosmology. Recently Fernandes \textit{et al.} presented low redshift observational constraints on a scale invariant model by Maeder. Phenomenologically this can be interpreted as a bimetric theory with a time-dependent cosmological constant. It was shown that a matter density $\Omega_m\sim0.3$ is a poor fit to the data, and the best-fit model would require a fluid with a much smaller density and a significantly positive equation of state parameter. This model is a particular case of an earlier and broader class of models by Canuto \textit{et al.}, which we study here. Specifically, we consider it in two distinct scenarios: as a genuine alternative to $\Lambda$CDM (i.e., without any cosmological constant) and as a parametric extension thereof (where both a cosmological constant and the new mechanism can coexist, and the relative contributions of both are determined by the data). We find that the first scenario can in principle fit the low-redshift data (but a good fit would require values of model parameters, such as the matter equation of state, in conflict with other data), while in the second one the deviation from $\Lambda$CDM is constrained to be small.


title: Spatial analyticity of solutions for a coupled system of generalized KdV equations

abstract: The solution of a coupled system consisting of generalized Korteweg-de Vries-type equations is obtained for all time where the initial data are analytic on a band in the complex plane. We show that the width of this band decreases algebraically with time.


title: Extremal Random Forests

abstract: Classical methods for quantile regression fail in cases where the quantile of interest is extreme and only few or no training data points exceed it. Asymptotic results from extreme value theory can be used to extrapolate beyond the range of the data, and several approaches exist that use linear regression, kernel methods or generalized additive models. Most of these methods break down if the predictor space has more than a few dimensions or if the regression function of extreme quantiles is complex. We propose a method for extreme quantile regression that combines the flexibility of random forests with the theory of extrapolation. Our extremal random forest (ERF) estimates the parameters of a generalized Pareto distribution, conditional on the predictor vector, by maximizing a local likelihood with weights extracted from a quantile random forest. We penalize the shape parameter in this likelihood to regularize its variability in the predictor space. Under general domain of attraction conditions, we show consistency of the estimated parameters in both the unpenalized and penalized case. Simulation studies show that our ERF outperforms both classical quantile regression methods and existing regression approaches from extreme value theory. We apply our methodology to extreme quantile prediction for U.S. wage data.


title: Exact Results for Interacting Hard Rigid Rotors on a d-Dimensional Lattice

abstract: We study the entropy of a set of identical hard objects, of general shape, with each object pivoted on the vertices of a d-dimensional regular lattice of lattice spacing a, but can have arbitrary orientations. When the pivoting point is situated asymmetrically on the object, we show that there is a range of lattice spacings a, where in any orientation, a particle can overlap with at most one of its neighbors. In this range, the entropy of the system of particles can be expressed exactly in terms of the grand partition function of coverings of the base lattice by dimers at a finite negative activity. The exact entropy in this range is fully determined by the second virial coefficient. Calculation of the partition function is also shown to be reducible to that of the same model with discretized orientations. We determine the exact functional form of the probability distribution function of orientations at a site. This depends on the density of dimers for the given activity in the dimer problem, that we determine by summing the corresponding Mayer series numerically. These results are verified by numerical simulations.


title: The Gini Index in Algebraic Combinatorics and Representation Theory

abstract: The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the "Lorenz curve" of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we will define a Gini index on the set of integer partitions and prove some combinatorial results related to it; culminating in the proof of an identity for the expected value of the Gini index. We will then discuss symmetric polynomials, and show that the Gini index can be understood as the degrees of certain Kostka-foulkes polynomials. This identification yields a generalization whereby we may define a Gini index on the irreducible representations of a complex reflection group, or connected reductive linear algebraic group.


title: Anticipation-Free Training for Simultaneous Machine Translation

abstract: Simultaneous machine translation (SimulMT) speeds up the translation process by starting to translate before the source sentence is completely available. It is difficult due to limited context and word order difference between languages. Existing methods increase latency or introduce adaptive read-write policies for SimulMT models to handle local reordering and improve translation quality. However, the long-distance reordering would make the SimulMT models learn translation mistakenly. Specifically, the model may be forced to predict target tokens when the corresponding source tokens have not been read. This leads to aggressive anticipation during inference, resulting in the hallucination phenomenon. To mitigate this problem, we propose a new framework that decompose the translation process into the monotonic translation step and the reordering step, and we model the latter by the auxiliary sorting network (ASN). The ASN rearranges the hidden states to match the order in the target language, so that the SimulMT model could learn to translate more reasonably. The entire model is optimized end-to-end and does not rely on external aligners or data. During inference, ASN is removed to achieve streaming. Experiments show the proposed framework could outperform previous methods with less latency.


title: A Two-Step Approach to Optimal Dynamic Pricing in Multi-Demand Combinatorial Markets

abstract: Online markets are a part of everyday life, and their rules are governed by algorithms. Assuming participants are inherently self-interested, well designed rules can help to increase social welfare. Many algorithms for online markets are based on prices: the seller is responsible for posting prices while buyers make purchases which are most profitable given the posted prices. To make adjustments to the market the seller is allowed to update prices at certain timepoints. Posted prices are an intuitive way to design a market. Despite the fact that each buyer acts selfishly, the seller's goal is often assumed to be that of social welfare maximization. Berger, Eden and Feldman recently considered the case of a market with only three buyers where each buyer has a fixed number of goods to buy and the profit of a bought bundle of items is the sum of profits of the items in the bundle. For such markets, Berger et. al. showed that the seller can maximize social welfare by dynamically updating posted prices before arrival of each buyer. B\'{e}rczi, B\'{e}rczi-Kov\'{a}cs and Sz\"{o}gi showed that the social welfare can be maximized also when each buyer is ready to buy at most two items. We study the power of posted prices with dynamical updates in more general cases. First, we show that the result of Berger et. al. can be generalized from three to four buyers. Then we show that the result of B\'{e}rczi, B\'{e}rczi-Kov\'{a}cs and Sz\"{o}gi can be generalized to the case when each buyer is ready to buy up to three items. We also show that a dynamic pricing is possible whenever there are at most two allocations maximizing social welfare.


title: General 2-path Problem

abstract: In this paper, some preliminaries about signal flow graph, linear time-invariant system on F(z) and computational complexity are first introduced in detail. In order to synthesize the necessary and sufficient condition on F(z) for a general 2-path problem, the sufficient condition on F(z) or R and necessary conditions on F(z) for a general 2-path problem are secondly analyzed respectively. Moreover, an equivalent sufficient and necessary condition on R whether there exists a general 2-path is deduced in detail. Finally, the computational complexity of the algorithm for this equivalent sufficient and necessary condition is introduced so that it means that the general 2-path problem is a P problem.


title: Investigation of the two-cut phase region in the complex cubic ensemble of random matrices

abstract: We investigate the phase diagram of the complex cubic unitary ensemble of random matrices with the potential $V(M)=-\frac{1}{3}M^3+tM$ where $t$ is a complex parameter. As proven in our previous paper, the whole phase space of the model, $t\in\mathbb C$, is partitioned into two phase regions, $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$, such that in $O_{\mathsf{one-cut}}$ the equilibrium measure is supported by one Jordan arc (cut) and in $O_{\mathsf{two-cut}}$ by two cuts. The regions $O_{\mathsf{one-cut}}$ and $O_{\mathsf{two-cut}}$ are separated by critical curves, which can be calculated in terms of critical trajectories of an auxiliary quadratic differential. In our previous work the one-cut phase region was investigated in detail. In the present paper we investigate the two-cut region. We prove that in the two-cut region the endpoints of the cuts are analytic functions of the real and imaginary parts of the parameter $t$, but not of the parameter $t$ itself. We also obtain the semiclassical asymptotics of the orthogonal polynomials associated with the ensemble of random matrices and their recurrence coefficients. The proofs are based on the Riemann--Hilbert approach to semiclassical asymptotics of the orthogonal polynomials and the theory of $S$-curves and quadratic differentials.


title: Discovering Invariant Rationales for Graph Neural Networks

abstract: Intrinsic interpretability of graph neural networks (GNNs) is to find a small subset of the input graph's features -- rationale -- which guides the model prediction. Unfortunately, the leading rationalization models often rely on data biases, especially shortcut features, to compose rationales and make predictions without probing the critical and causal patterns. Moreover, such data biases easily change outside the training distribution. As a result, these models suffer from a huge drop in interpretability and predictive performance on out-of-distribution data. In this work, we propose a new strategy of discovering invariant rationale (DIR) to construct intrinsically interpretable GNNs. It conducts interventions on the training distribution to create multiple interventional distributions. Then it approaches the causal rationales that are invariant across different distributions while filtering out the spurious patterns that are unstable. Experiments on both synthetic and real-world datasets validate the superiority of our DIR in terms of interpretability and generalization ability on graph classification over the leading baselines. Code and datasets are available at https://github.com/Wuyxin/DIR-GNN.


title: Modelling Ethnogenesis

abstract: Following the ideas of L.N.Gumilev, we introduce the mathematical model of ethnogenesis which describes the dynamics of subgroups in the developing polity in terms of ordinary differential equations. The bust dynamics associated with the rise and fall of civilisations is modelled as an excitation process, which is the non-linear phenomenon, well known in mathematical biology. We consider deterministic as well as the stochastic version of the model. We also expand the model to study the interaction between two polities undergoing ethnogenesis. Investigation is performed using analytical methods as well as numerical integration (i.e. MATLAB simulation).


title: Comparison of Matrix Norm Sparsification

abstract: A well-known approach in the design of efficient algorithms, called matrix sparsification, approximates a matrix $A$ with a sparse matrix $A'$. Achlioptas and McSherry [2007] initiated a long line of work on spectral-norm sparsification, which aims to guarantee that $\|A'-A\|\leq \epsilon \|A\|$ for error parameter $\epsilon>0$. Various forms of matrix approximation motivate considering this problem with a guarantee according to the Schatten $p$-norm for general $p$, which includes the spectral norm as the special case $p=\infty$. We investigate the relation between fixed but different $p\neq q$, that is, whether sparsification in the Schatten $p$-norm implies (existentially and/or algorithmically) sparsification in the Schatten $q\text{-norm}$ with similar sparsity. An affirmative answer could be tremendously useful, as it will identify which value of $p$ to focus on. Our main finding is a surprising contrast between this question and the analogous case of $\ell_p$-norm sparsification for vectors: For vectors, the answer is affirmative for $p<q$ and negative for $p>q$, but for matrices we answer negatively for almost all sufficiently distinct $p\neq q$. In addition, our explicit constructions may be of independent interest.


title: Strong CP problem, electric dipole moment, and fate of the axion

abstract: Three hard problems! In this talk I investigate the long-distance properties of quantum chromodynamics in the presence of a topological theta term. This is done on the lattice, using the gradient flow to isolate the long-distance modes in the functional integral measure and tracing it over successive length scales. It turns out that the color fields produced by quarks and gluons are screened, and confinement is lost, for vacuum angles theta > 0, thus providing a natural solution of the strong CP problem. This solution is compatible with recent lattice calculations of the electric dipole moment of the neutron, while it excludes the axion extension of the Standard Model.


title: DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection

abstract: As Android malware is growing and evolving, deep learning has been introduced into malware detection, resulting in great effectiveness. Recent work is considering hybrid models and multi-view learning. However, they use only simple features, limiting the accuracy of these approaches in practice. In this paper, we propose DeepCatra, a multi-view learning approach for Android malware detection, whose model consists of a bidirectional LSTM (BiLSTM) and a graph neural network (GNN) as subnets. The two subnets rely on features extracted from statically computed call traces leading to critical APIs derived from public vulnerabilities. For each Android app, DeepCatra first constructs its call graph and computes call traces reaching critical APIs. Then, temporal opcode features used by the BiLSTM subnet are extracted from the call traces, while flow graph features used by the GNN subnet are constructed from all the call traces and inter-component communications. We evaluate the effectiveness of DeepCatra by comparing it with several state-of-the-art detection approaches. Experimental results on over 18,000 real-world apps and prevalent malware show that DeepCatra achieves considerable improvement, e.g., 2.7% to 14.6% on F1-measure, which demonstrates the feasibility of DeepCatra in practice.


title: QCD corrections in $tq\gamma$ production at hadron colliders

abstract: We study QCD corrections for the associated production of a single top quark and a photon ($tq\gamma$ production) at hadron colliders. We calculate the NLO cross section at LHC and future collider energies for a variety of kinematical cuts, and we estimate uncertainties from scale dependence and from parton distributions. We also calculate differential distributions in top-quark transverse-momentum and rapidity as well as photon energy. Finally, we study higher-order corrections from soft-gluon emission for this process, and we provide approximate NNLO (aNNLO) results for the cross section and top-quark differential distributions. We also compare our calculations with recent measurements from CMS and ATLAS at the LHC and find that the aNNLO corrections improve the comparison between the data and the Standard Model predictions.


title: Polynomial Functors and Shannon Entropy

abstract: Past work shows that one can associate a notion of Shannon entropy to a Dirichlet polynomial, regarded as an empirical distribution. Indeed, entropy can be extracted from any d:Dir by a two-step process, where the first step is a rig homomorphism out of Dir, the *set* of Dirichlet polynomials, with rig structure given by standard addition and multiplication. In this short note, we show that this rig homomorphism can be upgraded to a rig *functor*, when we replace the set of Dirichlet polynomials by the *category* of ordinary (Cartesian) polynomials. In the Cartesian case, the process has three steps. The first step is a rig functor PolyCart -> Poly sending a polynomial p to (dp)y, where dp is the derivative of p. The second is a rig functor Poly -> Set x Set^op, sending a polynomial q to the pair (q(1),Gamma(q)), where Gamma(q)=Poly(q,y) can be interpreted as the global sections of q viewed as a bundle, and q(1) as its base. To make this precise we define what appears to be a new distributive monoidal structure on Set x Set^op, which can be understood geometrically in terms of rectangles. The last step, as for Dirichlet polynomials, is simply to extract the entropy as a real number from a pair of sets (A,B); it is given by log A - log B^(1/A) and can be thought of as the log aspect ratio of the rectangle.


title: Making Secure Software Insecure without Changing Its Code: The Possibilities and Impacts of Attacks on the DevOps Pipeline

abstract: Companies are misled into thinking they solve their security issues by using a DevSecOps system. This paper aims to answer the question: Could a DevOps pipeline be misused to transform a securely developed application into an insecure one? To answer the question, we designed a typical DevOps pipeline utilizing Kubernetes (K8s} as a case study environment and analyzed the applicable threats. Then, we developed four attack scenarios against the case study environment: maliciously abusing the user's privilege of deploying containers within the K8s cluster, abusing the Jenkins instance to modify files during the continuous integration, delivery, and deployment systems (CI/CD) build phase, modifying the K8s DNS layer to expose an internal IP to external traffic, and elevating privileges from an account with create, read, update, and delete (CRUD) privileges to root privileges. The attacks answer the research question positively: companies should design and use a secure DevOps pipeline and not expect that using a DevSecOps environment alone is sufficient to deliver secure software.


title: Self-stabilizing Byzantine Fault-tolerant Repeated Reliable Broadcast

abstract: We study a well-known communication abstraction called Byzantine Reliable Broadcast (BRB). This abstraction is central in the design and implementation of fault-tolerant distributed systems, as many fault-tolerant distributed applications require communication with provable guarantees on message deliveries. Our study focuses on fault-tolerant implementations for message-passing systems that are prone to process-failures, such as crashes and malicious behavior. At PODC 1983, Bracha and Toueg, in short, BT, solved the BRB problem. BT has optimal resilience since it can deal with t < n/3 Byzantine processes, where n is the number of processes. The present work aims at the design of an even more robust solution than BT by expanding its fault-model with self-stabilization, a vigorous notion of fault-tolerance. In addition to tolerating Byzantine and communication failures, self-stabilizing systems can recover after the occurrence of arbitrary transient-faults. These faults represent any violation of the assumptions according to which the system was designed to operate (provided that the algorithm code remains intact). We propose, to the best of our knowledge, the first self-stabilizing Byzantine fault-tolerant (BFT) solution for repeated BRB in signature-free message-passing systems (that follows BT's problem specifications). Our contribution includes a self-stabilizing variation on a BT that solves a single-instance BRB for asynchronous systems. We also consider the problem of recycling instances of single-instance BRB. Our self-stabilizing BFT recycling for time-free systems facilitates the concurrent handling of a predefined number of BRB invocations and, by this way, can serve as the basis for self-stabilizing BFT consensus.


title: Oscillating singular integral operators on graded Lie groups revisited

abstract: In this work we extend the Euclidean theory of oscillating singular integrals due to Fefferman and Stein to arbitrary graded Lie groups. Our approach reveals the strong compatibility between the geometric measure theory of a graded Lie group and the Fourier analysis associated with Rockland operators. Our criteria are presented in terms of the H\"ormander condition of the kernel of the operator, and its group Fourier transform. One of the novelties of this work, is that we use the infinitesimal representation of a Rockland operator to measure the decay of the Fourier transform of the kernel.


title: A different NMR view of cuprate superconductors

abstract: Nuclear magnetic resonance (NMR) is a powerful quantum probe, but the early conclusions on the physics of the cuprates, based on a limited set of data, have to be revised in view of recent findings and results from extensive literature analyses of most NMR data. These show two coupled electronic spin components that influence the nuclei, most easily seen with the planar Cu shift anisotropy. One component is spin from the recently identified ubiquitous metallic excitations, the other due to the intrinsic, antiferromagnetically coupled electronic Cu spin. Both components and its intricate interaction leave their imprint on nuclear shifts and relaxation. They also show a family dependence seen in the charge sharing between planar Cu and O. The main phenomena of the doping and temperature dependences of the interplay between both spins components are discussed in terms of an apparent phenomenology that awaits explanation from theory.


title: Boundedness of oscillating singular integrals on Lie groups of polynomial growth

abstract: We investigate the boundedness of oscillating singular integrals on Lie groups of polynomial growth in order to extend the classical oscillating conditions due to Fefferman and Stein for the boundedness of oscillating convolution operators. Kernel criteria are presented in terms of a fixed sub-Riemannian structure on the group induced by a sub-Laplacian associated to a H\"ormander system of vector fields. In the case where the group is graded, kernel criteria are presented in terms of the Fourier analysis associated to an arbitrary Rockland operator.


title: A Theoretical Comparison of Graph Neural Network Extensions

abstract: We study and compare different Graph Neural Network extensions that increase the expressive power of GNNs beyond the Weisfeiler-Leman test. We focus on (i) GNNs based on higher order WL methods, (ii) GNNs that preprocess small substructures in the graph, (iii) GNNs that preprocess the graph up to a small radius, and (iv) GNNs that slightly perturb the graph to compute an embedding. We begin by presenting a simple improvement for this last extension that strictly increases the expressive power of this GNN variant. Then, as our main result, we compare the expressiveness of these extensions to each other through a series of example constructions that can be distinguished by one of the extensions, but not by another one. We also show negative examples that are particularly challenging for each of the extensions, and we prove several claims about the ability of these extensions to count cliques and cycles in the graph.


title: Computational Metacognition

abstract: Computational metacognition represents a cognitive systems perspective on high-order reasoning in integrated artificial systems that seeks to leverage ideas from human metacognition and from metareasoning approaches in artificial intelligence. The key characteristic is to declaratively represent and then monitor traces of cognitive activity in an intelligent system in order to manage the performance of cognition itself. Improvements in cognition then lead to improvements in behavior and thus performance. We illustrate these concepts with an agent implementation in a cognitive architecture called MIDCA and show the value of metacognition in problem-solving. The results illustrate how computational metacognition improves performance by changing cognition through meta-level goal operations and learning.


title: N-HiTS: Neural Hierarchical Interpolation for Time Series Forecasting

abstract: Recent progress in neural forecasting accelerated improvements in the performance of large-scale forecasting systems. Yet, long-horizon forecasting remains a very difficult task. Two common challenges afflicting the task are the volatility of the predictions and their computational complexity. We introduce N-HiTS, a model which addresses both challenges by incorporating novel hierarchical interpolation and multi-rate data sampling techniques. These techniques enable the proposed method to assemble its predictions sequentially, emphasizing components with different frequencies and scales while decomposing the input signal and synthesizing the forecast. We prove that the hierarchical interpolation technique can efficiently approximate arbitrarily long horizons in the presence of smoothness. Additionally, we conduct extensive large-scale dataset experiments from the long-horizon forecasting literature, demonstrating the advantages of our method over the state-of-the-art methods, where N-HiTS provides an average accuracy improvement of almost 20% over the latest Transformer architectures while reducing the computation time by an order of magnitude (50 times). Our code is available at bit.ly/3VA5DoT


title: On Graphs of Sets of Reduced Words

abstract: Any permutation in the finite symmetric group can be written as a product of simple transpositions $s_i = (i~i+1)$. For a fixed permutation $\sigma \in \mathfrak{S}_n$ the products of minimal length are called reduced decompositions or reduced words, and the collection of all such reduced words is denoted $\mathcal{R}(\sigma)$. Any reduced word of $\sigma$ can be transformed into any other by a sequence of commutation moves or long braid moves. One area of interest in these sets are the congruence classes defined by using only braid or only commutation relations. The set $\mathcal{R}(\sigma)$ can be drawn as a graph, $G(\sigma)$, where the vertices are the reduced words, and the edges denote the presence of a commutation or braid move between the words. This paper presents new work on subgraph structures in $G(\sigma)$, as well as new formulas to count the number of braid edges and commutation edges in $G(\sigma)$. We also include work on bounds for the number of braid and commutation classes in $\mathcal{R}(\sigma)$.


title: A Dataset for Medical Instructional Video Classification and Question Answering

abstract: This paper introduces a new challenge and datasets to foster research toward designing systems that can understand medical videos and provide visual answers to natural language questions. We believe medical videos may provide the best possible answers to many first aids, medical emergency, and medical education questions. Toward this, we created the MedVidCL and MedVidQA datasets and introduce the tasks of Medical Video Classification (MVC) and Medical Visual Answer Localization (MVAL), two tasks that focus on cross-modal (medical language and medical video) understanding. The proposed tasks and datasets have the potential to support the development of sophisticated downstream applications that can benefit the public and medical practitioners. Our datasets consist of 6,117 annotated videos for the MVC task and 3,010 annotated questions and answers timestamps from 899 videos for the MVAL task. These datasets have been verified and corrected by medical informatics experts. We have also benchmarked each task with the created MedVidCL and MedVidQA datasets and proposed the multimodal learning methods that set competitive baselines for future research.


title: Eightfold way to dark states in SU(3) cold gases with two-body losses

abstract: We study the quantum dynamics of a one-dimensional SU(3)-symmetric system of cold atoms in the presence of two-body losses. We exploit the representation theory of SU(3), the so-called eightfold way, as a scheme to organize the dark states of the dissipative dynamics in terms of generalized Dicke states and show how they are dynamically approached, both in the weakly- and and strongly-interacting and dissipative regimes. Our results are relevant for a wide class of alkaline-earth(-like) gases experiments, paving the way to the dissipative preparation and exploitation of generalized Dicke states.


title: Compressible vortex structures and their role in the onset of hydrodynamic turbulence

abstract: We study formation of quasi two-dimensional (thin pancakes) vortex structures in three-dimensional flows, and quasi one-dimensional structures in two-dimensional hydrodynamics. These structures are formed at high Reynolds numbers, when their evolution is described at the leading order by the Euler equations for an ideal incompressible fluid. We show numerically and analytically that the compression of these structures and, as a consequence, the increase in their amplitudes is related to the compressibility of the frozen-in-fluid fields: the field of continuously distributed vortex lines in the three-dimensional case and the field of vorticity rotor (divorticity) for two-dimensional flows. We find that the growth of vorticity and divorticity can be considered as a process of breaking of the corresponding fields. At high intensities, the process demonstrates a Kolmogorov-type scaling relating the maximum amplitude with the characteristic width of the structures. The possible role of these coherent structures is analyzed in the formation of the turbulent Kolmogorov spectrum, as well as the Kraichnan spectrum corresponding to a constant flux of enstrophy in the case of two-dimensional turbulence.


title: Learning Collective Action under Risk Diversity

abstract: Collective risk dilemmas (CRDs) are a class of n-player games that represent societal challenges where groups need to coordinate to avoid the risk of a disastrous outcome. Multi-agent systems incurring such dilemmas face difficulties achieving cooperation and often converge to sub-optimal, risk-dominant solutions where everyone defects. In this paper we investigate the consequences of risk diversity in groups of agents learning to play CRDs. We find that risk diversity places new challenges to cooperation that are not observed in homogeneous groups. We show that increasing risk diversity significantly reduces overall cooperation and hinders collective target achievement. It leads to asymmetrical changes in agents' policies -- i.e. the increase in contributions from individuals at high risk is unable to compensate for the decrease in contributions from individuals at low risk -- which overall reduces the total contributions in a population. When comparing RL behaviors to rational individualistic and social behaviors, we find that RL populations converge to fairer contributions among agents. Our results highlight the need for aligning risk perceptions among agents or develop new learning techniques that explicitly account for risk diversity.


title: Differences in Social Media Usage Exist Between Western and Middle-East Countries

abstract: In this paper, we empirically analyze two examples of a Western (DE) versus Middle-East (SA) Online Social Messaging App. By focusing on the system interactions over time in comparison, we identify inherent differences in user engagement. We take a deep dive and shed light onto differences in user attention shifts and showcase their structural implications to the user experience. Our main findings show that in comparison to the German counterparts, the Saudi communities prefer creating content in longer conversations, while voting more conservative.


title: Cryptocurrency Valuation: An Explainable AI Approach

abstract: Currently, there are no convincing proxies for the fundamentals of cryptocurrency assets. We propose a new market-to-fundamental ratio, the price-to-utility (PU) ratio, utilizing unique blockchain accounting methods. We then proxy various existing fundamental-to-market ratios by Bitcoin historical data and find they have little predictive power for short-term bitcoin returns. However, PU ratio effectively predicts long-term bitcoin returns than alternative methods. Furthermore, we verify the explainability of PU ratio using machine learning. Finally, we present an automated trading strategy advised by the PU ratio that outperforms the conventional buy-and-hold and market-timing strategies. Our research contributes to explainable AI in finance from three facets: First, our market-to-fundamental ratio is based on classic monetary theory and the unique UTXO model of Bitcoin accounting rather than ad hoc; Second, the empirical evidence testifies the buy-low and sell-high implications of the ratio; Finally, we distribute the trading algorithms as open-source software via Python Package Index for future research, which is exceptional in finance research.

categories: econ.GN cs.AI cs.CR q-fin.CP q-fin.EC stat.ML


title: Will Metaverse be NextG Internet? Vision, Hype, and Reality

abstract: Metaverse, with the combination of the prefix "meta" (meaning transcending) and the word "universe", has been deemed as the next-generation (NextG) Internet. It aims to create a shared virtual space that connects all virtual worlds via the Internet, where users, represented as digital avatars, can communicate and collaborate as if they are in the physical world. Nevertheless, there is still no unified definition of the Metaverse. This article first presents our vision of what the key requirements of Metaverse should be and reviews what has been heavily advocated by the industry and the positions of various high-tech companies. It then briefly introduces existing social virtual reality (VR) platforms that can be viewed as early prototypes of Metaverse and conducts a reality check by diving into the network operation and performance of two representative platforms, Workrooms from Meta and AltspaceVR from Microsoft. Finally, it concludes by discussing several opportunities and future directions for further innovation.


title: Road User Position Prediction in Urban Environments via Locally Weighted Learning

abstract: This paper focuses on the problem of predicting the future position of a target road user given its current state, consisting of position and velocity. A weighted average approach is adopted, where the weights are determined from data containing the state trajectories of previously observed road users. In particular, a similarity function is introduced to extract from data those previously observed road users' states that are most similar to the target's one. This formulation results in an easily interpretable model with few parameters to calibrate. The performance of this weighted average model(WAM) is evaluated on the same real-world data as state-of-the-art methods, showing promising results. WAM outperforms the baseline constant velocity model at longer prediction horizons, making WAM suitable for motion planning applications. WAM and a baseline neural network model performs comparably. Still, WAM has only three parameters which are easily interpretable, while the complex neural network model has thousands of parameters which are difficult to analyze.


title: Augmenting Novelty Search with a Surrogate Model to Engineer Meta-Diversity in Ensembles of Classifiers

abstract: Using Neuroevolution combined with Novelty Search to promote behavioural diversity is capable of constructing high-performing ensembles for classification. However, using gradient descent to train evolved architectures during the search can be computationally prohibitive. Here we propose a method to overcome this limitation by using a surrogate model which estimates the behavioural distance between two neural network architectures required to calculate the sparseness term in Novelty Search. We demonstrate a speedup of 10 times over previous work and significantly improve on previous reported results on three benchmark datasets from Computer Vision -- CIFAR-10, CIFAR-100, and SVHN. This results from the expanded architecture search space facilitated by using a surrogate. Our method represents an improved paradigm for implementing horizontal scaling of learning algorithms by making an explicit search for diversity considerably more tractable for the same bounded resources.


title: Quasinormal ringing of general spherically symmetric parametrized black holes

abstract: The general parametrization of spherically symmetric and asymptotically flat black-hole spacetimes in arbitrary metric theories of gravity was suggested in [3]. The parametrization is based on the continued fraction expansion in terms of the compact radial coordinate and has superior convergence and strict hierarchy of parameters. It is known that some observable quantities, related to particle motion around the black hole, such as the eikonal quasinormal modes, radius of the shadow, frequency at the innermost stable circular orbit, and others, depend mostly on only a few of the lowest coefficients of the parametrization. Here we continue this approach by studying the dominant (low-lying) quasinormal modes for such generally parametrized black holes. We show that, due to the hierarchy of parameters, the dominant quasinormal frequencies are also well determined by only the first few coefficients of the expansion for the so-called moderate black-hole geometries. The latter are characterized by a relatively slow change of the metric functions in the radiation zone near the black hole. The nonmoderate metrics, which change strongly between the event horizon and the innermost stable circular orbit are usually characterized by echoes or by the distinctive (from the Einstein case) quasinormal ringing which does not match the current observational data. Therefore, the compact description of a black-hole spacetime in terms of the truncated general parametrization is an effective formalism for testing strong gravity and imposing constraints on allowed black-hole geometries.


title: Clearing Payments in Dynamic Financial Networks

abstract: This paper proposes a novel dynamical model for determining clearing payments in financial networks. We extend the classical Eisenberg-Noe model of financial contagion to multiple time periods, allowing financial operations to continue after possible initial pseudo defaults, thus permitting nodes to recover and eventually fulfil their liabilities. Optimal clearing payments in our model are computed by solving a suitable linear program, both in the full matrix payments case and in the pro-rata constrained case. We prove that the proposed model obeys the \emph{priority of debt claims} requirement, that is, each node at every step either pays its liabilities in full, or it pays out all its balance. In the pro-rata case, the optimal dynamic clearing payments are unique, and can be determined via a time-decoupled sequential optimization approach.

categories: math.OC cs.CE cs.SY eess.SY q-fin.MF q-fin.RM


title: Interpretable AI-based Large-scale 3D Pathloss Prediction Model for enabling Emerging Self-Driving Networks

abstract: In modern wireless communication systems, radio propagation modeling to estimate pathloss has always been a fundamental task in system design and optimization. The state-of-the-art empirical propagation models are based on measurements in specific environments and limited in their ability to capture idiosyncrasies of various propagation environments. To cope with this problem, ray-tracing based solutions are used in commercial planning tools, but they tend to be extremely time-consuming and expensive. We propose a Machine Learning (ML)-based model that leverages novel key predictors for estimating pathloss. By quantitatively evaluating the ability of various ML algorithms in terms of predictive, generalization and computational performance, our results show that Light Gradient Boosting Machine (LightGBM) algorithm overall outperforms others, even with sparse training data, by providing a 65% increase in prediction accuracy as compared to empirical models and 13x decrease in prediction time as compared to ray-tracing. To address the interpretability challenge that thwarts the adoption of most ML-based models, we perform extensive secondary analysis using SHapley Additive exPlanations (SHAP) method, yielding many practically useful insights that can be leveraged for intelligently tuning the network configuration, selective enrichment of training data in real networks and for building lighter ML-based propagation model to enable low-latency use-cases.


title: Learning Optimal Topology for Ad-hoc Robot Networks

abstract: In this paper, we synthesize a data-driven method to predict the optimal topology of an ad-hoc robot network. This problem is technically a multi-task classification problem. However, we divide it into a class of multi-class classification problems that can be more efficiently solved. For this purpose, we first compose an algorithm to create ground-truth optimal topologies associated with various configurations of a robot network. This algorithm incorporates a complex collection of optimality criteria that our learning model successfully manages to learn. This model is an stacked ensemble whose output is the topology prediction for a particular robot. Each stacked ensemble instance constitutes three low-level estimators whose outputs will be aggregated by a high-level boosting blender. Applying our model to a network of 10 robots displays over 80% accuracy in the prediction of optimal topologies corresponding to various configurations of the cited network.


title: Training and Evaluating a Jupyter Notebook Data Science Assistant

abstract: We study the feasibility of a Data Science assistant powered by a sequence-to-sequence transformer by training a new model JuPyT5 on all publicly available Jupyter Notebook GitHub repositories and developing a new metric: Data Science Problems (DSP). DSP is a collection of 1119 problems curated from 306 pedagogical notebooks with 92 dataset dependencies, natural language and Markdown problem descriptions, and assert-based unit tests. These notebooks were designed to test university students' mastery of various Python implementations of Math and Data Science, and we now leverage them to study the ability of JuPyT5 to understand and pass the tests. We analyze the content of DSP, validate its quality, and we find that given 100 sampling attempts JuPyT5 is able to solve 77.5\% of the DSP problems. We further present various ablation and statistical analyses and compare DSP to other recent natural language to code benchmarks.


title: Joint Quantile Disease Mapping with Application to Malaria and G6PD Deficiency

abstract: Statistical analysis based on quantile regression methods is more comprehensive, flexible, and less sensitive to outliers when compared to mean regression methods. When the link between different diseases are of interest, joint disease mapping is useful for measuring directional correlation between them. Most studies study this link through multiple correlated mean regressions. In this paper we propose a joint quantile regression framework for multiple diseases where different quantile levels can be considered. We are motivated by the theorized link between the presence of Malaria and the gene deficiency G6PD, where medical scientist have anecdotally discovered a possible link between high levels of G6PD and lower than expected levels of Malaria initially pointing towards the occurrence of G6PD inhibiting the occurrence of Malaria. This link cannot be investigated with mean regressions and thus the need for flexible joint quantile regression in a disease mapping framework. Our joint quantile disease mapping model can be used for linear and non-linear effects of covariates by stochastic splines, since we define it as a latent Gaussian model. We perform Bayesian inference of this model using the INLA framework embedded in the R software package INLA. Finally, we illustrate the applicability of model by analyzing the malaria and G6PD deficiency incidences in 21 African countries using linked quantiles of different levels.


title: Aggregating Global Features into Local Vision Transformer

abstract: Local Transformer-based classification models have recently achieved promising results with relatively low computational costs. However, the effect of aggregating spatial global information of local Transformer-based architecture is not clear. This work investigates the outcome of applying a global attention-based module named multi-resolution overlapped attention (MOA) in the local window-based transformer after each stage. The proposed MOA employs slightly larger and overlapped patches in the key to enable neighborhood pixel information transmission, which leads to significant performance gain. In addition, we thoroughly investigate the effect of the dimension of essential architecture components through extensive experiments and discover an optimum architecture design. Extensive experimental results CIFAR-10, CIFAR-100, and ImageNet-1K datasets demonstrate that the proposed approach outperforms previous vision Transformers with a comparatively fewer number of parameters.


title: COIN++: Neural Compression Across Modalities

abstract: Neural compression algorithms are typically based on autoencoders that require specialized encoder and decoder architectures for different data modalities. In this paper, we propose COIN++, a neural compression framework that seamlessly handles a wide range of data modalities. Our approach is based on converting data to implicit neural representations, i.e. neural functions that map coordinates (such as pixel locations) to features (such as RGB values). Then, instead of storing the weights of the implicit neural representation directly, we store modulations applied to a meta-learned base network as a compressed code for the data. We further quantize and entropy code these modulations, leading to large compression gains while reducing encoding time by two orders of magnitude compared to baselines. We empirically demonstrate the feasibility of our method by compressing various data modalities, from images and audio to medical and climate data.


title: Modularity-based Backbone Extraction in Weighted Complex Networks

abstract: The constantly growing size of real-world networks is a great challenge. Therefore, building a compact version of networks allowing their analyses is a must. Backbone extraction techniques are among the leading solutions to reduce network size while preserving its features. Coarse-graining merges similar nodes to reduce the network size, while filter-based methods remove nodes or edges according to a specific statistical property. Since community structure is ubiquitous in real-world networks, preserving it in the backbone extraction process is of prime interest. To this end, we propose a filter-based method. The so-called "modularity vitality backbone" removes nodes with the lower contribution to the network's modularity. Experimental results show that the proposed strategy outperforms the "overlapping nodes ego backbone" and the "overlapping nodes and hub backbone." These two backbone extraction processes recently introduced have proved their efficacy to preserve better the information of the original network than the popular disparity filter.


title: Naturality and functoriality in involutive Heegaard Floer homology

abstract: We prove first-order naturality of involutive Heegaard Floer homology, and furthermore construct well-defined maps on involutive Heegaard Floer homology associated to cobordisms between three-manifolds. We also prove analogous naturality and functoriality results for involutive Floer theory for knots and links. The proof relies on the doubling model for the involution, as well as several variations.


title: A Topological Centrality Measure for Directed Networks

abstract: Given a directed network $ G $, we are interested in studying the qualitative features of $ G $ which govern how perturbations propagate across $ G $. Various classical centrality measures have been already developed and proven useful to capture qualitative features and behaviors for undirected networks. In this paper, we use topological data analysis (TDA) to adapt measures of centrality to capture both directedness and non-local propagating behaviors in networks. We introduce a new metric for computing centrality in directed weighted networks, namely the quasi-centrality measure. We compute these metrics on trade networks to illustrate that our measure successfully captures propagating effects in the network and can also be used to identify sources of shocks that can disrupt the topology of directed networks. Moreover, we introduce a method that gives a hierarchical representation of the topological influences of nodes in a directed network.


title: Robinson-Schensted Algorithms Obtained from Tableau Recursions

abstract: The numbers $f_\lambda$ of standard tableaux of shape $\lambda\vdash n$ satisfy 2 fundamental recursions: $f_\lambda = \sum f_{\lambda^-}$ and $(n + 1)f_\lambda=\sum f_{\lambda^+}$, where $\lambda^-$ and $\lambda^+$ run over all shapes obtained from $\lambda$ by adding or removing a square respectively. The first of these recursions is trivial; the second can be proven algebraically from the first. These recursions together imply algebraically the dimension formula $n! =\sum f_\lambda^2$ for the irreducible representations of $S_n$. We show that a combinatorial analysis of this classical algebraic argument produces an infinite family of algorithms, among which are the classical Robinson-Schensted row and column insertion algorithms. Each of our algorithms yields a bijective proof of the dimension formula.


title: Scaling Gaussian Process Optimization by Evaluating a Few Unique Candidates Multiple Times

abstract: Computing a Gaussian process (GP) posterior has a computational cost cubical in the number of historical points. A reformulation of the same GP posterior highlights that this complexity mainly depends on how many \emph{unique} historical points are considered. This can have important implication in active learning settings, where the set of historical points is constructed sequentially by the learner. We show that sequential black-box optimization based on GPs (GP-Opt) can be made efficient by sticking to a candidate solution for multiple evaluation steps and switch only when necessary. Limiting the number of switches also limits the number of unique points in the history of the GP. Thus, the efficient GP reformulation can be used to exactly and cheaply compute the posteriors required to run the GP-Opt algorithms. This approach is especially useful in real-world applications of GP-Opt with high switch costs (e.g. switching chemicals in wet labs, data/model loading in hyperparameter optimization). As examples of this meta-approach, we modify two well-established GP-Opt algorithms, GP-UCB and GP-EI, to switch candidates as infrequently as possible adapting rules from batched GP-Opt. These versions preserve all the theoretical no-regret guarantees while improving practical aspects of the algorithms such as runtime, memory complexity, and the ability of batching candidates and evaluating them in parallel.


title: Sparse Centroid-Encoder: A Nonlinear Model for Feature Selection

abstract: Autoencoders have been widely used as a nonlinear tool for data dimensionality reduction. While autoencoders don't utilize the label information, Centroid-Encoders (CE)\cite{ghosh2022supervised} use the class label in their learning process. In this study, we propose a sparse optimization using the Centroid-Encoder architecture to determine a minimal set of features that discriminate between two or more classes. The resulting algorithm, Sparse Centroid-Encoder (SCE), extracts discriminatory features in groups using a sparsity inducing $\ell_1$-norm while mapping a point to its class centroid. One key attribute of SCE is that it can extract informative features from a multi-modal data set, i.e., data sets whose classes appear to have multiple clusters. The algorithm is applied to a wide variety of real world data sets, including single-cell data, high dimensional biological data, image data, speech data, and accelerometer sensor data. We compared our method to various state-of-the-art feature selection techniques, including supervised Concrete Autoencoders (SCAE), Feature Selection Network (FsNet), deep feature selection (DFS), Stochastic Gate (STG), and LassoNet. We empirically showed that SCE features often produced better classification accuracy than other methods on sequester test set.


title: Grammatical cues to subjecthood are redundant in a majority of simple clauses across languages

abstract: Grammatical cues are sometimes redundant with word meanings in natural language. For instance, English word order rules constrain the word order of a sentence like "The dog chewed the bone" even though the status of "dog" as subject and "bone" as object can be inferred from world knowledge and plausibility. Quantifying how often this redundancy occurs, and how the level of redundancy varies across typologically diverse languages, can shed light on the function and evolution of grammar. To that end, we performed a behavioral experiment in English and Russian and a cross-linguistic computational analysis measuring the redundancy of grammatical cues in transitive clauses extracted from corpus text. English and Russian speakers (n=484) were presented with subjects, verbs, and objects (in random order and with morphological markings removed) extracted from naturally occurring sentences and were asked to identify which noun is the subject of the action. Accuracy was high in both languages (~89% in English, ~87% in Russian). Next, we trained a neural network machine classifier on a similar task: predicting which nominal in a subject-verb-object triad is the subject. Across 30 languages from eight language families, performance was consistently high: a median accuracy of 87%, comparable to the accuracy observed in the human experiments. The conclusion is that grammatical cues such as word order are necessary to convey subjecthood and objecthood in a minority of naturally occurring transitive clauses; nevertheless, they can (a) provide an important source of redundancy and (b) are crucial for conveying intended meaning that cannot be inferred from the words alone, including descriptions of human interactions, where roles are often reversible (e.g., Ray helped Lu/Lu helped Ray), and expressing non-prototypical meanings (e.g., "The bone chewed the dog.").


title: Fixed product preserving mappings on Banach algebras

abstract: In this paper, we describe linear maps between complex Banach algebras that preserve products equal to fixed elements. This generalizes some important special cases where the fixed elements are the zero or identity element. First we show that if such map preserves products equal to a finite-rank operator, then it must also preserve the zero product. In several instances, this is enough to show that a product preserving map must be a scalar multiple of an algebra homomorphism. Second, we explore a more general problem concerning the existence of product preserving maps and the relationship between the fixed elements. Lastly, motivated by Kaplansky's problem on invertibility preservers, we show that maps preserving products equal to fixed invertible elements are either homomorphisms or antihomomorphisms multiplied on the left by a fixed element.


title: Physics and chemistry-based constitutive framework for thermo-chemically aged elastomer using phase-field approach

abstract: We propose a physics and chemistry-based constitutive framework to predict the stress responses of thermo-chemically aged elastomers and capture their brittle failure using the phase-field approach. High-temperature aging in the presence of oxygen causes the macromolecular network of elastomers to undergo complex chemical reactions inducing two main mechanisms: chain-scission and crosslinking. Chemical crosslinking contributes to the stiffening behavior characterizing the brittle response of aged elastomers. In this work, we first modify the Helmholtz free energy to incorporate the effect of thermo-chemically-driven crosslinking processes. Then, we equip the constitutive description with phase-field to capture the induced brittle failure via a strain-based criterion for fracture. We show that our proposed framework is self-contained and requires only four main material properties whose evolution due to thermo-chemical aging is characterized entirely by the change of the crosslink density obtained based on chemical characterization experiments. The developed constitutive framework is first solved analytically for the case of uniaxial tension in a homogeneous bar to highlight the interconnection between all four material properties. Then, the framework is numerically implemented within a finite element (FE) context via a user-element subroutine (UEL) in the commercial FE software Abaqus to simulate more complicated geometries and loading states. The framework is finally validated with respect to a set of experimental results available in the literature. The comparison confirms that the proposed constitutive framework can accurately predict the mechanical response of thermo-chemically aged elastomers. Further numerical examples are provided to demonstrate the effects of evolving material properties on the response of specimens containing pre-existing cracks.


title: Investigating Centrality Measures in Social Networks with Community Structure

abstract: Centrality measures are crucial in quantifying the influence of the members of a social network. Although there has been a great deal of work dealing with this issue, the vast majority of classical centrality measures are agnostic of the community structure characterizing many social networks. Recent works have developed community-aware centrality measures that exploit features of the community structure information encountered in most real-world complex networks. In this paper, we investigate the interactions between 5 popular classical centrality measures and 5 community-aware centrality measures using 8 real-world online networks. Correlation as well as similarity measures between both type of centrality measures are computed. Results show that community-aware centrality measures can be divided into two groups. The first group, which includes Bridging centrality, Community Hub-Bridge and Participation Coefficient, provides distinctive node information as compared to classical centrality. This behavior is consistent across the networks. The second group which includes Community-based Mediator and Number of Neighboring Communities is characterized by more mixed results that vary across networks.


title: Existence of global attractors and convergence of solutions for the Cahn-Hilliard equation on manifolds with conical singularities

abstract: We consider the Cahn-Hilliard equation on manifolds with conical singularities and prove existence of global attractors in higher order Mellin-Sobolev spaces with asymptotics. We also show convergence of solutions in the same spaces to an equilibrium point and provide asymptotic behavior of the equilibrium near the conical tips in terms of the local geometry.


title: Quantum backflow of a Dirac fermion on a ring

abstract: We study the quantum backflow problem of a relativistic charged Dirac fermion constrained to move on a ring of radius $R$. Using the relativistic current operator we compute the probability flux through a generic time interval to show emergence of quantum backflow. We also discuss the limiting case when the particle moves along a line.


title: Superintegrability summary

abstract: We enumerate generalizations of the superintegrability property $<character>\ \sim {\rm character}$ and illuminate possible general structures behind them. We collect variations of original formulas available up to date and emphasize the remaining difference between the cases of Hermitian and complex matrices, bosonic and fermionic ones. Especially important is that the story is in no way restricted to Gaussian potentials.


title: How Correlated are Community-aware and Classical Centrality Measures in Complex Networks?

abstract: Unlike classical centrality measures, recently developed community-aware centrality measures use a network's community structure to identify influential nodes in complex networks. This paper investigates their relationship on a set of fifty real-world networks originating from various domains. Results show that classical and community-aware centrality measures generally exhibit low to medium correlation values. These results are consistent across networks. Transitivity and efficiency are the most influential macroscopic network features driving the correlation variation between classical and community-aware centrality measures. Additionally, the mixing parameter, the modularity, and the Max-ODF are the main mesoscopic topological properties exerting the most substantial effect.


title: Provable Domain Generalization via Invariant-Feature Subspace Recovery

abstract: Domain generalization asks for models trained over a set of training environments to perform well in unseen test environments. Recently, a series of algorithms such as Invariant Risk Minimization (IRM) has been proposed for domain generalization. However, Rosenfeld et al. (2021) shows that in a simple linear data model, even if non-convexity issues are ignored, IRM and its extensions cannot generalize to unseen environments with less than $d_s+1$ training environments, where $d_s$ is the dimension of the spurious-feature subspace. In this paper, we propose to achieve domain generalization with Invariant-feature Subspace Recovery (ISR). Our first algorithm, ISR-Mean, can identify the subspace spanned by invariant features from the first-order moments of the class-conditional distributions, and achieve provable domain generalization with $d_s+1$ training environments under the data model of Rosenfeld et al. (2021). Our second algorithm, ISR-Cov, further reduces the required number of training environments to $O(1)$ using the information of second-order moments. Notably, unlike IRM, our algorithms bypass non-convexity issues and enjoy global convergence guarantees. Empirically, our ISRs can obtain superior performance compared with IRM on synthetic benchmarks. In addition, on three real-world image and text datasets, we show that both ISRs can be used as simple yet effective post-processing methods to improve the worst-case accuracy of (pre-)trained models against spurious correlations and group shifts.


title: Prospects for the detection of the Diffuse Supernova Neutrino Background with the experiments SK-Gd and JUNO

abstract: The advent of gadolinium-loaded Super-Kamiokande (SK-Gd) and of the soon-to-start JUNO liquid scintillator detector marks a substantial improvement in the global sensitivity for the Diffuse Supernova Neutrino Background (DSNB). The present article reviews the detector properties most relevant for the DSNB searches in both experiments and estimates the expected signal and background levels. Based on these inputs, we evaluate the sensitivity of both experiments individually and combined. Using a simplified statistical approach, we find that both SK-Gd and JUNO have the potential to reach $>$3$\sigma$ evidence of the DSNB signal within 10 years of measurement. The combined results are likely to enable a $5\sigma$ discovery of the DSNB signal within the next decade.

categories: astro-ph.HE astro-ph.IM hep-ex hep-ph physics.ins-det


title: Combining Covariate Adjustment with Group Sequential, Information Adaptive Designs to Improve Randomized Trial Efficiency

abstract: In clinical trials, there is potential to improve precision and reduce the required sample size by appropriately adjusting for baseline variables in the statistical analysis. This is called covariate adjustment. Despite recommendations by regulatory agencies in favor of covariate adjustment, it remains underutilized leading to inefficient trials. We address two obstacles that make it challenging to use covariate adjustment. A first obstacle is the incompatibility of many covariate adjusted estimators with commonly used boundaries in group sequential designs (GSDs). A second obstacle is the uncertainty at the design stage about how much precision gain will result from covariate adjustment. We propose a method that modifies the original estimator so that it becomes compatible with GSDs, while increasing or leaving unchanged the estimator's precision. Our approach allows the use of any asymptotically linear estimator, which covers many estimators used in randomized trials. Building on this, we propose using an information adaptive design, that is, continuing the trial until the required information level is achieved. Such a design adapts to the amount of precision gain and can lead to faster, more efficient trials, without sacrificing validity or power. We evaluate estimator performance in simulations that mimic features of a completed stroke trial.


title: Gelfand-Kirillov dimension and the $p$-adic Jacquet-Langlands correspondence

abstract: We bound the Gelfand-Kirillov dimension of unitary Banach space representations of $p$-adic reductive groups, whose locally analytic vectors afford an infinitesimal character. We use the bound to study Hecke eigenspaces in completed cohomology of Shimura curves and $p$-adic Banach space representations of the group of units of a quarternion algebra over $\mathbb Q_p$ appearing in the $p$-adic Jacquet-Langlands correspondence, deducing finiteness results in favourable cases.


title: Asynchronous Opinion Dynamics in Social Networks

abstract: Opinion spreading in a society decides the fate of elections, the success of products, and the impact of political or social movements. The model by Hegselmann and Krause is a well-known theoretical model to study such opinion formation processes in social networks. In contrast to many other theoretical models, it does not converge towards a situation where all agents agree on the same opinion. Instead, it assumes that people find an opinion reasonable if and only if it is close to their own. The system converges towards a stable situation where agents sharing the same opinion form a cluster, and agents in different clusters do not \mbox{influence each other.} We focus on the social variant of the Hegselmann-Krause model where agents are connected by a social network and their opinions evolve in an iterative process. When activated, an agent adopts the average of the opinions of its neighbors having a similar opinion. By this, the set of influencing neighbors of an agent may change over time. To the best of our knowledge, social Hegselmann-Krause systems with asynchronous opinion updates have only been studied with the complete graph as social network. We show that such opinion dynamics with random agent activation are guaranteed to converge for any social network. We provide an upper bound of $\mathcal{O}(n|E|^2 (\varepsilon/\delta)^2)$ on the expected number of opinion updates until convergence, where $|E|$ is the number of edges of the social network. For the complete social network we show a bound of $\mathcal{O}(n^3(n^2 + (\varepsilon/\delta)^2))$ that represents a major improvement over the previously best upper bound of $\mathcal{O}(n^9 (\varepsilon/\delta)^2)$. Our bounds are complemented by simulations that indicate asymptotically matching lower bounds.


title: Spectral stability of the $curl curl$ operator via uniform Gaffney inequalities on perturbed electromagnetic cavities

abstract: We prove spectral stability results for the $curl curl$ operator subject to electric boundary conditions on a cavity upon boundary perturbations. The cavities are assumed to be sufficiently smooth but we impose weak restrictions on the strength of the perturbations. The methods are of variational type and are based on two main ingredients: the construction of suitable Piola-type transformations between domains and the proof of uniform Gaffney inequalities obtained by means of uniform a priori $H^2$-estimates for the Poisson problem of the Dirichlet Laplacian. The uniform a priori estimates are proved by using the results of V. Maz'ya and T. Shaposhnikova based on Sobolev multipliers. Connections to boundary homogenization problems are also indicated.


title: Multimodal Maximum Entropy Dynamic Games

abstract: Environments with multi-agent interactions often result a rich set of modalities of behavior between agents due to the inherent suboptimality of decision making processes when agents settle for satisfactory decisions. However, existing algorithms for solving these dynamic games are strictly unimodal and fail to capture the intricate multimodal behaviors of the agents. In this paper, we propose MMELQGames (Multimodal Maximum-Entropy Linear Quadratic Games), a novel constrained multimodal maximum entropy formulation of the Differential Dynamic Programming algorithm for solving generalized Nash equilibria. By formulating the problem as a certain dynamic game with incomplete and asymmetric information where agents are uncertain about the cost and dynamics of the game itself, the proposed method is able to reason about multiple local generalized Nash equilibria, enforce constraints with the Augmented Lagrangian framework and also perform Bayesian inference on the latent mode from past observations. We assess the efficacy of the proposed algorithm on two illustrative examples: multi-agent collision avoidance and autonomous racing. In particular, we show that only MMELQGames is able to effectively block a rear vehicle when given a speed disadvantage and the rear vehicle can overtake from multiple positions.


title: Compositionality as Lexical Symmetry

abstract: In tasks like semantic parsing, instruction following, and question answering, standard deep networks fail to generalize compositionally from small datasets. Many existing approaches overcome this limitation with model architectures that enforce a compositional process of sentence interpretation. In this paper, we present a domain-general and model-agnostic formulation of compositionality as a constraint on symmetries of data distributions rather than models. Informally, we prove that whenever a task can be solved by a compositional model, there is a corresponding data augmentation scheme -- a procedure for transforming examples into other well formed examples -- that imparts compositional inductive bias on any model trained to solve the same task. We describe a procedure called LEXSYM that discovers these transformations automatically, then applies them to training data for ordinary neural sequence models. Unlike existing compositional data augmentation procedures, LEXSYM can be deployed agnostically across text, structured data, and even images. It matches or surpasses state-of-the-art, task-specific models on COGS semantic parsing, SCAN and ALCHEMY instruction following, and CLEVR-COGENT visual question answering datasets.


title: Performance of the modified Becke-Johnson potential employing the pseudopotential plane-wave approach for band structure calculations

abstract: The modified Becke-Johnson exchange potential combined with local-density approximation correlation (mBJLDA) has recently attracted interest because it provides highly improved band gaps at a very low computational cost. In this work we performed an extensive investigation of the performance of the mBJLDA potential employing a norm-conserving pseudopotential plane-waves approach (mBJLDA@PP), as implemented in the abinit code, using a test set of 83 solids representing a wide range of semiconductors and insulators. Our results confirm the conclusion of our previous study that the number of electrons treated as valence in the pseudopotentials of the cations can have a significant impact on the calculated mBJLDA@PP band gaps. More specifically, while the use of typical pseudopotentials leads to accurate band gaps of certain systems, it yields significantly underestimated band gaps for other systems compared to experiment and to those of the all-electron mBJLDA (mBJLDA@AE) approach. The classes of the latter systems are identified, and this problem is resolved by including some outer core states as valence. The resulting mean absolute error in the calculated band gaps (compared to experiment) is of 0.46 eV, which is comparable to that of the mBJLDA@AE band gaps, reflecting the accuracy and reliability of the mBJLDA@PP approach for the band gap calculations.


title: PLATINUM: Semi-Supervised Model Agnostic Meta-Learning using Submodular Mutual Information

abstract: Few-shot classification (FSC) requires training models using a few (typically one to five) data points per class. Meta learning has proven to be able to learn a parametrized model for FSC by training on various other classification tasks. In this work, we propose PLATINUM (semi-suPervised modeL Agnostic meTa-learnIng usiNg sUbmodular Mutual information), a novel semi-supervised model agnostic meta-learning framework that uses the submodular mutual information (SMI) functions to boost the performance of FSC. PLATINUM leverages unlabeled data in the inner and outer loop using SMI functions during meta-training and obtains richer meta-learned parameterizations for meta-test. We study the performance of PLATINUM in two scenarios - 1) where the unlabeled data points belong to the same set of classes as the labeled set of a certain episode, and 2) where there exist out-of-distribution classes that do not belong to the labeled set. We evaluate our method on various settings on the miniImageNet, tieredImageNet and Fewshot-CIFAR100 datasets. Our experiments show that PLATINUM outperforms MAML and semi-supervised approaches like pseduo-labeling for semi-supervised FSC, especially for small ratio of labeled examples per class.


title: The Geometry of Robust Value Functions

abstract: The space of value functions is a fundamental concept in reinforcement learning. Characterizing its geometric properties may provide insights for optimization and representation. Existing works mainly focus on the value space for Markov Decision Processes (MDPs). In this paper, we study the geometry of the robust value space for the more general Robust MDPs (RMDPs) setting, where transition uncertainties are considered. Specifically, since we find it hard to directly adapt prior approaches to RMDPs, we start with revisiting the non-robust case, and introduce a new perspective that enables us to characterize both the non-robust and robust value space in a similar fashion. The key of this perspective is to decompose the value space, in a state-wise manner, into unions of hypersurfaces. Through our analysis, we show that the robust value space is determined by a set of conic hypersurfaces, each of which contains the robust values of all policies that agree on one state. Furthermore, we find that taking only extreme points in the uncertainty set is sufficient to determine the robust value space. Finally, we discuss some other aspects about the robust value space, including its non-convexity and policy agreement on multiple states.