title: RELAX: Representation Learning Explainability

abstract: Despite the significant improvements that representation learning via self-supervision has led to when learning from unlabeled data, no methods exist that explain what influences the learned representation. We address this need through our proposed approach, RELAX, which is the first approach for attribution-based explanations of representations. Our approach can also model the uncertainty in its explanations, which is essential to produce trustworthy explanations. RELAX explains representations by measuring similarities in the representation space between an input and masked out versions of itself, providing intuitive explanations and significantly outperforming the gradient-based baseline. We provide theoretical interpretations of RELAX and conduct a novel analysis of feature extractors trained using supervised and unsupervised learning, providing insights into different learning strategies. Finally, we illustrate the usability of RELAX in multi-view clustering and highlight that incorporating uncertainty can be essential for providing low-complexity explanations, taking a crucial step towards explaining representations.


title: Backbone and shortest-path exponents of the two-dimensional $Q$-state Potts model

abstract: We present a Monte Carlo study of the backbone and the shortest-path exponents of the two-dimensional $Q$-state Potts model in the Fortuin-Kasteleyn bond representation. We first use cluster algorithms to simulate the critical Potts model on the square lattice and obtain the backbone exponents $d_{\rm B} = 1.732 \, 0(3)$ and $1.794(2)$ for $Q=2,3$ respectively. However, for large $Q$, the study suffers from serious critical slowing down and slowly converging finite-size corrections. To overcome these difficulties, we consider the O$(n)$ loop model on the honeycomb lattice in the densely packed phase, which is regarded to correspond to the critical Potts model with $Q=n^2$. With a highly efficient cluster algorithm, we determine from domains enclosed by the loops $d_{\rm B} =1.643\,39(5), 1.732\,27(8), 1.793\,8(3), 1.838\,4(5), 1.875\,3(6)$ for $Q = 1, 2, 3, 2 \! + \! \sqrt{3}, 4$, respectively, and $d_{\rm min} = 1.094\,5(2), 1.067\,5(3), 1.047\,5(3), 1.032\,2(4)$ for $Q=2,3, 2+\sqrt{3}, 4$ respectively. Our estimates significantly improve over the existing results for both $d_{\rm B}$ and $d_{\rm min}$. Finally, by studying finite-size corrections in backbone-related quantities, we conjecture an exact formula as a function of $n$ for the leading correction exponent.


title: Gravitational waves from dark matter isocurvature

abstract: The primordial fluctuations on large scales are adiabatic, but on smaller scales this need not be the case. Here we derive the general analytical framework to compute the stochastic gravitational wave background induced by primordial cold dark matter isocurvature fluctuations on small scales. We find that large isocurvature fluctuations can yield an observable gravitational wave signal, with a spectrum distinct from the one induced by adiabatic perturbations, and we provide for the first time the exact analytic expression of the kernel necessary to compute this signal. We then forecast the constraining power of future gravitational wave detectors on dark matter isocurvature on small scales and find they will dramatically improve on existing constraints.


title: Global solution of anisotropic Quasi-Geostrophic Equations in Sobolev Space

abstract: In \cite{YZ}, the author proved the global existence of the two-dimensional anisotropic quasi-geostrophic equations with condition on the parameters $\alpha,$ $\beta$ in the Sobolev spaces $H^s( \R^2)$; $s\geq 2$. In this paper, we show that this equations has a global solution in the spaces $H^s(\R^2)$, where $\max\{2-2\alpha,2-2\beta\}< s<2$, with additional condition over $\alpha$ and $\beta$. The proof is based on the Gevrey-class regularity of the solution in neighborhood of zero.


title: What are Weak Links in the npm Supply Chain?

abstract: Modern software development frequently uses third-party packages, raising the concern of supply chain security attacks. Many attackers target popular package managers, like npm, and their users with supply chain attacks. In 2021 there was a 650% year-on-year growth in security attacks by exploiting Open Source Software's supply chain. Proactive approaches are needed to predict package vulnerability to high-risk supply chain attacks. The goal of this work is to help software developers and security specialists in measuring npm supply chain weak link signals to prevent future supply chain attacks by empirically studying npm package metadata. In this paper, we analyzed the metadata of 1.63 million JavaScript npm packages. We propose six signals of security weaknesses in a software supply chain, such as the presence of install scripts, maintainer accounts associated with an expired email domain, and inactive packages with inactive maintainers. One of our case studies identified 11 malicious packages from the install scripts signal. We also found 2,818 maintainer email addresses associated with expired domains, allowing an attacker to hijack 8,494 packages by taking over the npm accounts. We obtained feedback on our weak link signals through a survey responded to by 470 npm package developers. The majority of the developers supported three out of our six proposed weak link signals. The developers also indicated that they would want to be notified about weak links signals before using third-party packages. Additionally, we discussed eight new signals suggested by package developers.


title: FedNI: Federated Graph Learning with Network Inpainting for Population-Based Disease Prediction

abstract: Graph Convolutional Neural Networks (GCNs) are widely used for graph analysis. Specifically, in medical applications, GCNs can be used for disease prediction on a population graph, where graph nodes represent individuals and edges represent individual similarities. However, GCNs rely on a vast amount of data, which is challenging to collect for a single medical institution. In addition, a critical challenge that most medical institutions continue to face is addressing disease prediction in isolation with incomplete data information. To address these issues, Federated Learning (FL) allows isolated local institutions to collaboratively train a global model without data sharing. In this work, we propose a framework, FedNI, to leverage network inpainting and inter-institutional data via FL. Specifically, we first federatively train missing node and edge predictor using a graph generative adversarial network (GAN) to complete the missing information of local networks. Then we train a global GCN node classifier across institutions using a federated graph learning platform. The novel design enables us to build more accurate machine learning models by leveraging federated learning and also graph learning approaches. We demonstrate that our federated model outperforms local and baseline FL methods with significant margins on two public neuroimaging datasets.


title: Improving Face-Based Age Estimation with Attention-Based Dynamic Patch Fusion

abstract: With the increasing popularity of convolutional neural networks (CNNs), recent works on face-based age estimation employ these networks as the backbone. However, state-of-the-art CNN-based methods treat each facial region equally, thus entirely ignoring the importance of some facial patches that may contain rich age-specific information. In this paper, we propose a face-based age estimation framework, called Attention-based Dynamic Patch Fusion (ADPF). In ADPF, two separate CNNs are implemented, namely the AttentionNet and the FusionNet. The AttentionNet dynamically locates and ranks age-specific patches by employing a novel Ranking-guided Multi-Head Hybrid Attention (RMHHA) mechanism. The FusionNet uses the discovered patches along with the facial image to predict the age of the subject. Since the proposed RMHHA mechanism ranks the discovered patches based on their importance, the length of the learning path of each patch in the FusionNet is proportional to the amount of information it carries (the longer, the more important). ADPF also introduces a novel diversity loss to guide the training of the AttentionNet and reduce the overlap among patches so that the diverse and important patches are discovered. Through extensive experiments, we show that our proposed framework outperforms state-of-the-art methods on several age estimation benchmark datasets.


title: The Preliminary Results on Analysis of TAIGA-IACT Images Using Convolutional Neural Networks

abstract: The imaging Cherenkov telescopes TAIGA-IACT, located in the Tunka valley of the republic Buryatia, accumulate a lot of data in a short period of time which must be efficiently and quickly analyzed. One of the methods of such analysis is the machine learning, which has proven its effectiveness in many technological and scientific fields in recent years. The aim of the work is to study the possibility of the machine learning application to solve the tasks set for TAIGA-IACT: the identification of the primary particle of cosmic rays and reconstruction their physical parameters. In the work the method of Convolutional Neural Networks (CNN) was applied to process and analyze Monte-Carlo events simulated with CORSIKA. Also various CNN architectures for the processing were considered. It has been demonstrated that this method gives good results in the determining the type of primary particles of Extensive Air Shower (EAS) and the reconstruction of gamma-rays energy. The results are significantly improved in the case of stereoscopic observations.


title: On the weighted Bojanov-Chebyshev Problem and the sum of translates method of Fenton

abstract: Minimax and maximin problems are investigated for a special class of functions on the interval $[0,1]$. These functions are sums of translates of positive multiples of one kernel function and a very general external field function. Due to our very general setting the obtained minimax, equioscillation, and characterization results extend those of Bojanov, Fenton, Hardin, Kendall, Saff and Ambrus, Ball, Erd\'elyi. Moreover, we discover a surprising intertwining phenomenon of interval maxima, which provides new information even in the most classical extremal problem of Chebyshev.


title: Analysis of the HiSCORE Simulated Events in TAIGA Experiment Using Convolutional Neural Networks

abstract: TAIGA is a hybrid observatory for gamma-ray astronomy at high energies in range from 10 TeV to several EeV. It consists of instruments such as TAIGA-IACT, TAIGA-HiSCORE, and others. TAIGA-HiSCORE, in particular, is an array of wide-angle timing Cherenkov light stations. TAIGA-HiSCORE data enable to reconstruct air shower characteristics, such as air shower energy, arrival direction, and axis coordinates. In this report, we propose to consider the use of convolution neural networks in task of air shower characteristics determination. We use Convolutional Neural Networks (CNN) to analyze HiSCORE events, treating them like images. For this, the times and amplitudes of events recorded at HiSCORE stations are used. The work discusses a simple convolutional neural network and its training. In addition, we present some preliminary results on the determination of the parameters of air showers such as the direction and position of the shower axis and the energy of the primary particle and compare them with the results obtained by the traditional method.


title: Newtonian mechanics in a Riemannian manifold

abstract: The work done by Isaac Newton more than three hundred years ago, continues being a path to increase our knowledge of Nature. To better understand all the ideas behind it, one of the finest ways is to generalize them to wider situations. In this report we make a review of one of these enlargements, the one that bears the mechanical systems from the elementary homogeneous three dimensional Euclidean space to the more abstract geometry of a Riemannian manifold.


title: The $\sigma$-product of complete Erd\H{o}s space

abstract: We show that the $\sigma$-product of complete Erd\H{o}s space $\mathfrak E_{\mathrm{c}}$ is homeomorphic to the rational product $\mathbb Q\times \mathfrak E_{\mathrm{c}}$, answering a question by Rodrigo Hern\'{a}ndez-Guti\'{e}rrez and Alfredo Zaragoza.


title: Using data compression and randomization to build an unconditionally secure short key cipher

abstract: We consider the problem of constructing an unconditionally secure cipher for the case when the key length is less than the length of the encrypted message. (Unconditional security means that a computationally unbounded adversary cannot obtain information about the encrypted message without the key.) In this article, we propose data compression and randomization techniques combined with entropically-secure encryption. The resulting cipher can be used for encryption in such a way that the key length does not depend on the entropy or the length of the encrypted message; instead, it is determined by the required security level.


title: H\"older regularity for anisotropic $p$-Laplace equation

abstract: In this paper, we obtain local H\"older regularity for bounded, weak solutions to the anisotropic $p$-Laplace equation whose prototype structure is given by $$ \sum_{i=1}^N (|u_{x_i}|^{p_i-2}u_{x_i})_{x_i}=0,$$ where $1 < p_1 \leq p_2 \leq \cdots \leq p_N < \infty$. Under an additional assumption that double truncates of the solution are sub/super solution, we obtain H\"older regularity for the anisotropic equation.


title: On Efficient Transformer-Based Image Pre-training for Low-Level Vision

abstract: Pre-training has marked numerous state of the arts in high-level computer vision, while few attempts have ever been made to investigate how pre-training acts in image processing systems. In this paper, we tailor transformer-based pre-training regimes that boost various low-level tasks. To comprehensively diagnose the influence of pre-training, we design a whole set of principled evaluation tools that uncover its effects on internal representations. The observations demonstrate that pre-training plays strikingly different roles in low-level tasks. For example, pre-training introduces more local information to higher layers in super-resolution (SR), yielding significant performance gains, while pre-training hardly affects internal feature representations in denoising, resulting in limited gains. Further, we explore different methods of pre-training, revealing that multi-related-task pre-training is more effective and data-efficient than other alternatives. Finally, we extend our study to varying data scales and model sizes, as well as comparisons between transformers and CNNs-based architectures. Based on the study, we successfully develop state-of-the-art models for multiple low-level tasks. Code is released at https://github.com/fenglinglwb/EDT.


title: Decoherence of V$_{\rm B}^{-}$ spin defects in monoisotopic hexagonal boron nitride

abstract: Spin defects in hexagonal boron nitride (hBN) are promising quantum systems for the design of flexible two-dimensional quantum sensing platforms. Here we rely on hBN crystals isotopically enriched with either $^{10}$B or $^{11}$B to investigate the isotope-dependent properties of a spin defect featuring a broadband photoluminescence signal in the near infrared. By analyzing the hyperfine structure of the spin defect while changing the boron isotope, we first unambiguously confirm that it corresponds to the negatively-charged boron-vacancy center (${\rm V}_{\rm B}^-$). We then show that its spin coherence properties are slightly improved in $^{10}$B-enriched samples. This is supported by numerical simulations employing cluster correlation expansion methods, which reveal the importance of the hyperfine Fermi contact term for calculating the coherence time of point defects in hBN. Using cross-relaxation spectroscopy, we finally identify dark electron spin impurities as an additional source of decoherence. This work provides new insights into the properties of ${\rm V}_{\rm B}^-$ spin defects, which are valuable for the future development of hBN-based quantum sensing foils.


title: Explicit Numerical Methods for High Dimensional Stochastic Nonlinear Schr\"odinger Equation: Divergence, Regularity and Convergence

abstract: This paper focuses on the construction and analysis of explicit numerical methods of high dimensional stochastic nonlinear Schrodinger equations (SNLSEs). We first prove that the classical explicit numerical methods are unstable and suffer from the numerical divergence phenomenon. Then we propose a kind of explicit splitting numerical methods and prove that the structure-preserving splitting strategy is able to enhance the numerical stability. Furthermore, we establish the regularity analysis and strong convergence analysis of the proposed schemes for SNLSEs based on two key ingredients. One ingredient is proving new regularity estimates of SNLSEs by constructing a logarithmic auxiliary functional and exploiting the Bourgain space. Another one is providing a dedicated error decomposition formula and a novel truncated stochastic Gronwall's lemma, which relies on the tail estimates of underlying stochastic processes. In particular, our result answers the strong convergence problem of numerical methods for 2D SNLSEs emerged from [C. Chen, J. Hong and A. Prohl, Stoch. Partial Differ. Equ. Anal. Comput. 4 (2016), no. 2, 274-318] and [J. Cui and J. Hong, SIAM J. Numer. Anal. 56 (2018), no. 4, 2045-2069].


title: Off-shell Supersymmetric Continuous Spin Gauge Theory

abstract: We construct, for the first time, an off-shell supersymmetric continuous spin gauge theory in 4-dimensional Minkowski spacetime, in both constrained and unconstrained Lagrangian formulations. As an extension to the on-shell description [1], we employ an auxiliary field to close the algebra of supersymmetry transformations off-shell. The 4d $\mathcal{N}=1$ massless continuous spin supermultiplet is then denoted by $(\mathrm{\Phi}, \mathrm{H} \,; \mathrm{\Psi})$, comprised of a dynamical and a non-dynamical complex scalar continuous spin gauge fields $\mathrm{\Phi}$ and $\mathrm{H}$, as well as a Dirac continuous spin gauge field $\mathrm{\Psi}$. In particular, we demonstrate that the off-shell continuous spin supermultiplet, in a limit, reproduces off-shell supersymmetry transformations of the known scalar supermultiplet $(\,{\scriptstyle 0}\,,\, {\scriptstyle 1/2}\,)$, all integer-spin supermultiplets $(\,s\,,\, s\, {\scriptstyle +\, 1/2}\,),\, s\geqslant1$, and all half-integer spin supermultiplets $(\, s\, {\scriptstyle -\, 1/2}\,,\, s \,\,),\, s\geqslant1$.


title: Quantum radial basis function methods for scattered data fitting

abstract: Scattered data fitting is a frequently encountered problem for reconstructing an unknown function from given scattered data. Radial basis function (RBF) methods have proven to be highly useful to deal with this problem. We describe two quantum algorithms to efficiently fit scattered data based on globally and compactly supported RBFs respectively. For the globally supported RBF method, the core of the quantum algorithm relies on using coherent states to calculate the radial functions and a nonsparse matrix exponentiation technique for efficiently performing a matrix inversion. A quadratic speedup is achieved in the number of data over the classical algorithms. For the compactly supported RBF method, we mainly use the HHL algorithm as a subroutine to design an efficient quantum procedure that runs in time logarithmic in the number of data, achieving an exponential improvement over the classical methods.


title: A Short Proof of Convexity of Step-out Step-in Sequencing Games

abstract: The Step out-Step in sequencing game is a particular example of a game from the sequencing game framework of Curiel, Perderzoli, and Tijs, where coalitions of players in a queue may reorder themselves to improve the their overall cost, under some restrictions. Musegaas, Borm and Quant proved, in two papers, that a simple greedy algorithm correctly computes the valuation of a coalition, and that the game is convex. These proofs entail rather involved case analyses; in this note, we give short proofs of both results.


title: A maximum theorem for generalized convex functions

abstract: Motivated by the Maximum Theorem for convex functions (in the setting of linear spaces) and for subadditive functions (in the setting of Abelian semigroups), we establish a Maximum Theorem for the class of generalized convex functions, i.e., for functions $f:X\to \mathbb{R}$ that satisfy the inequality $f(x\circ y)\leq pf(x)+qf(y)$, where $\circ$ is a binary operation on $X$ and $p,q$ are positive constants. As an application, we also obtain an extension of the Karush--Kuhn--Tucker theorem for this class of functions.


title: On Picard group of moduli space of curves via $r$-spin structures

abstract: In this paper we obtain explicit expressions for Pandharipande-Pixton-Zvonkine relations in second rational cohomology of $\overline{\mathcal{M}}_{g,n}$ and comparing the result with Arbarello-Cornalba's theorem we prove Pixton's conjecture in this case.


title: Robust and Privacy-Preserving Collaborative Learning: A Comprehensive Survey

abstract: With the rapid demand of data and computational resources in deep learning systems, a growing number of algorithms to utilize collaborative machine learning techniques, for example, federated learning, to train a shared deep model across multiple participants. It could effectively take advantage of the resources of each participant and obtain a more powerful learning system. However, integrity and privacy threats in such systems have greatly obstructed the applications of collaborative learning. And a large amount of works have been proposed to maintain the model integrity and mitigate the privacy leakage of training data during the training phase for different collaborative learning systems. Compared with existing surveys that mainly focus on one specific collaborative learning system, this survey aims to provide a systematic and comprehensive review of security and privacy researches in collaborative learning. Our survey first provides the system overview of collaborative learning, followed by a brief introduction of integrity and privacy threats. In an organized way, we then detail the existing integrity and privacy attacks as well as their defenses. We also list some open problems in this area and opensource the related papers on GitHub: https://github.com/csl-cqu/awesome-secure-collebrative-learning-papers.


title: A Deep Learning Based Workflow for Detection of Lung Nodules With Chest Radiograph

abstract: PURPOSE: This study aimed to develop a deep learning-based tool to detect and localize lung nodules with chest radiographs(CXRs). We expected it to enhance the efficiency of interpreting CXRs and reduce the possibilities of delayed diagnosis of lung cancer. MATERIALS AND METHODS: We collected CXRs from NCKUH database and VBD, an open-source medical image dataset, as our training and validation data. A number of CXRs from the Ministry of Health and Welfare(MOHW) database served as our test data. We built a segmentation model to identify lung areas from CXRs, and sliced them into 16 patches. Physicians labeled the CXRs by clicking the patches. These labeled patches were then used to train and fine-tune a deep neural network(DNN) model, classifying the patches as positive or negative. Finally, we test the DNN model with the lung patches of CXRs from MOHW. RESULTS: Our segmentation model identified the lung regions well from the whole CXR. The Intersection over Union(IoU) between the ground truth and the segmentation result was 0.9228. In addition, our DNN model achieved a sensitivity of 0.81, specificity of 0.82, and AUROC of 0.869 in 98 of 125 cases. For the other 27 difficult cases, the sensitivity was 0.54, specificity 0.494, and AUROC 0.682. Overall, we obtained a sensitivity of 0.78, specificity of 0.79, and AUROC 0.837. CONCLUSIONS: Our two-step workflow is comparable to state-of-the-art algorithms in the sensitivity and specificity of localizing lung nodules from CXRs. Notably, our workflow provides an efficient way for specialists to label the data, which is valuable for relevant researches because of the relative rarity of labeled medical image data.


title: Gaia EDR3 data of post-AGB stars with overabundance of s-process elements and their evolutionary status and binarity

abstract: Recently Kamath et al. (2021) analysed Gaia EDR3 data of eighteen post-AGB supergiants with overabundance of s-process elements. For some of these stars in their sample they find unusually very low absolute luminosities which is not in agreement with the s-process nucleosynthesis on the AGB stage of evolution. It appears that they have not taken into account the RUWE values of these stars. I have taken a look at the RUWE values of these eighteen post-AGB stars with over abundance of s-process elements. Of the eighteen stars thirteen have RUWE values much greater than 1.4 and hence their distances (absolute luminosities) are not reliable. As per the study of Stassun and Torres (2021) stars with Gaia EDR3 RUWE values greater than 1.4 are most likely unresolved binaries in Gaia data base. Thus some of the s-process rich post-AGB stars are most likely contain unresolved low-mass binary companions. Only five stars (IRAS 07134+1005, IRAS 08143-4406, IRAS 12360-5740, IRAS 19500-1709 and IRAS 22272+5435) of these eighteen s-process rich stars have accurate Gaia EDR3 parallaxes and RUWE values less than 1.4 and their absolute luminosities are in agreement with the post-AGB evolutionary tracks.


title: Inequalities involving Berezin norm and Berezin number

abstract: We obtain new inequalities involving Berezin norm and Berezin number of bounded linear operators defined on a reproducing kernel Hilbert space $\mathscr{H}.$ Among many inequalities obtained here, it is shown that if $A$ is a positive bounded linear operator on $\mathscr{H}$, then $\|A\|_{ber}=\textbf{ber}(A)$, where $\|A\|_{ber}$ and $\textbf{ber}(A)$ are the Berezin norm and Berezin number of $A$, respectively. In contrast to the numerical radius, this equality does not hold for selfadjoint operators, which highlights the necessity of studying Berezin number inequalities independently.


title: Relaxation shortcuts through boundary coupling

abstract: When a hot system cools down faster than an equivalent cold one, it exhibits the Mpemba Effect. This counterintuitive phenomenon was observed in several systems including water, magnetic alloys and polymers. In most experiments the system is coupled to the bath through its boundaries, but all theories so far assumed bulk coupling. Here we build a general framework for boundary coupling relaxation and show that the Mpemba effect persists in these cases. Surprisingly, it can survive even an arbitrarily weak couplings. An example is given in the Ising antiferromagnetic chain.


title: Pairs, trimers and BCS-BEC crossover near a flat band: the sawtooth lattice

abstract: We investigate pairing and superconductivity in the attractive Fermi Hubbard model on the one-dimensional sawtooth lattice, which exhibits a flat band by fine-tuning the hopping rates. We first solve the two-body problem, both analytically and numerically, to extract the binding energy and the effective mass of the pairs. Based on the DMRG method, we address the ground-state properties of the many-body system, assuming equal spin populations. We compare our results with those available for a linear chain, where the model is integrable by Bethe ansatz, and show that the multiband nature of the system substantially modifies the physics of the BCS-BEC crossover. Near a flat band, the chemical potential remains always close to its zero-density limit predicted by the two-body physics. In contrast, the pairing gap exhibits a remarkably strong density dependence and, differently from the pair binding energy, it is no longer peaked at the flat-band point. We show that these results can be interpreted in terms of polarization screening effects, due to an anomalous attraction between pairs in the medium and single fermions. Importantly, we unveil that three-body bound states (trimers) exist in the sawtooth lattice, in sharp contrast with the linear chain geometry, and we compute their binding energy. The nature of these states is investigated via a strong coupling variational approach, revealing that they originate from tunneling-induced exchange processes.


title: LUC at ComMA-2021 Shared Task: Multilingual Gender Biased and Communal Language Identification without using linguistic features

abstract: This work aims to evaluate the ability that both probabilistic and state-of-the-art vector space modeling (VSM) methods provide to well known machine learning algorithms to identify social network documents to be classified as aggressive, gender biased or communally charged. To this end, an exploratory stage was performed first in order to find relevant settings to test, i.e. by using training and development samples, we trained multiple algorithms using multiple vector space modeling and probabilistic methods and discarded the less informative configurations. These systems were submitted to the competition of the ComMA@ICON'21 Workshop on Multilingual Gender Biased and Communal Language Identification.


title: Demanding and Designing Aligned Cognitive Architectures

abstract: With AI systems becoming more powerful and pervasive, there is increasing debate about keeping their actions aligned with the broader goals and needs of humanity. This multi-disciplinary and multi-stakeholder debate must resolve many issues, here we examine three of them. The first issue is to clarify what demands stakeholders might usefully make on the designers of AI systems, useful because the technology exists to implement them. We make this technical topic more accessible by using the framing of cognitive architectures. The second issue is to move beyond an analytical framing that treats useful intelligence as being reward maximization only. To support this move, we define several AI cognitive architectures that combine reward maximization with other technical elements designed to improve alignment. The third issue is how stakeholders should calibrate their interactions with modern machine learning researchers. We consider how current fashions in machine learning create a narrative pull that participants in technical and policy discussions should be aware of, so that they can compensate for it. We identify several technically tractable but currently unfashionable options for improving AI alignment.


title: Mathematics of internal waves in a 2D aquarium

abstract: Following theoretical and experimental work of Maas et al we consider a linearized model for internal waves in effectively two dimensional aquaria. We provide a precise description of singular profiles appearing in long time wave evolution and associate them to classical attractors. That is done by microlocal analysis of the spectral Poincar\'e problem, leading in particular to a limiting absorption principle. Some aspects of the paper (for instance Section 6) can be considered as a natural microlocal continuation of the work of John on the Dirichlet problem for hyperbolic equations in two dimensions.


abstract: In this paper, we show that the stability analysis in the paper A note on stability of fractional logistic maps, Appl. Math. Lett. 125 (2022) 107787 is incorrect and repeat a proof of a theorem on the convergence of a convolution of the product of a converging series with a converging sequence. We also mention that the paper commented on should have been edited more carefully.


title: Metric-Affine Gravity as an Effective Field Theory

abstract: We discuss theories of gravity with independent metric (or frame field) and connection, from the point of view of effective field theory. We count the parity-even Lagrangian terms of dimension up to four and give explicit bases for the independent terms that contribute to the two-point function. We then give the decomposition of the linearized action on a complete basis of spin projectors and consider various subclasses of Metric-Affine Gravity theories (MAGs). We show that teleparallel theories can be dynamically equivalent to any metric theory of gravity and give the particle content of those whose Lagrangian contains only dimension-two terms. We point out the existence of a class of MAGs whose EOMs do not admit propagating degrees of freedoms. Finally, we construct simple MAGs that contain only a massless graviton and a state of spin/parity $2^-$ or $3^-$. As a side result, we write the relativistic wave equation for a spin/parity $2^-$ state.


title: UnweaveNet: Unweaving Activity Stories

abstract: Our lives can be seen as a complex weaving of activities; we switch from one activity to another, to maximise our achievements or in reaction to demands placed upon us. Observing a video of unscripted daily activities, we parse the video into its constituent activity threads through a process we call unweaving. To accomplish this, we introduce a video representation explicitly capturing activity threads called a thread bank, along with a neural controller capable of detecting goal changes and resuming of past activities, together forming UnweaveNet. We train and evaluate UnweaveNet on sequences from the unscripted egocentric dataset EPIC-KITCHENS. We propose and showcase the efficacy of pretraining UnweaveNet in a self-supervised manner.


title: Parameterized Approximation Algorithms for $k$-Center Clustering and Variants

abstract: $k$-center is one of the most popular clustering models. While it admits a simple 2-approximation in polynomial time in general metrics, the Euclidean version is NP-hard to approximate within a factor of 1.93, even in the plane, if one insists the dependence on $k$ in the running time be polynomial. Without this restriction, a classic algorithm yields a $2^{O((k\log k)/{\epsilon})}dn$-time $(1+\epsilon)$-approximation for Euclidean $k$-center, where $d$ is the dimension. We give a faster algorithm for small dimensions: roughly speaking an $O^*(2^{O((1/\epsilon)^{O(d)} \cdot k^{1-1/d} \cdot \log k)})$-time $(1+\epsilon)$-approximation. In particular, the running time is roughly $O^*(2^{O((1/\epsilon)^{O(1)}\sqrt{k}\log k)})$ in the plane. We complement our algorithmic result with a matching hardness lower bound. We also consider a well-studied generalization of $k$-center, called Non-uniform $k$-center (NUkC), where we allow different radii clusters. NUkC is NP-hard to approximate within any factor, even in the Euclidean case. We design a $2^{O(k\log k)}n^2$ time $3$-approximation for NUkC in general metrics, and a $2^{O((k\log k)/\epsilon)}dn$ time $(1+\epsilon)$-approximation for Euclidean NUkC. The latter time bound matches the bound for $k$-center.


title: End-to-End Learning of Multi-category 3D Pose and Shape Estimation

abstract: In this paper, we study the representation of the shape and pose of objects using their keypoints. Therefore, we propose an end-to-end method that simultaneously detects 2D keypoints from an image and lifts them to 3D. The proposed method learns both 2D detection and 3D lifting only from 2D keypoints annotations. In addition to being end-to-end from images to 3D keypoints, our method also handles objects from multiple categories using a single neural network. We use a Transformer-based architecture to detect the keypoints, as well as to summarize the visual context of the image. This visual context information is then used while lifting the keypoints to 3D, to allow context-based reasoning for better performance. Our method can handle occlusions as well as a wide variety of object classes. Our experiments on three benchmarks demonstrate that our method performs better than the state-of-the-art. Our source code will be made publicly available.


title: On convex and concave sequences and their applications

abstract: The aim of this paper is to introduce and to investigate the basic properties of $q$-convex, $q$-affine and $q$-concave sequences and to establish their surprising connection to Chebyshev polynomials of the first and of the second kind. One of the main results shows that $q$-concave sequences are the pointwise minima of $q$-affine sequences. As an application, we consider a nonlinear selfmap of the $n$-dimensional space and prove that it has a unique fixed point. For the proof of this result, we introduce a new norm on the space in terms of a $q$-concave sequence and show that the nonlinear operator becomes a contraction with respect to this norm, and hence, the Banach Fixed Point theorem can be applied.


title: Toposes of Monoid Actions

abstract: We study toposes of actions of monoids on sets. We begin with ordinary actions, producing a class of presheaf toposes which we characterize. As groundwork for considering topological monoids, we branch out into a study of supercompactly generated toposes (a class strictly larger than presheaf toposes). This enables us to efficiently study and characterize toposes of continuous actions of topological monoids on sets, where the latter are viewed as discrete spaces. Finally, we refine this characterization into necessary and sufficient conditions for a supercompactly generated topos to be equivalent to a topos of this form.


title: Tractable Fragments of the Maximum Nash Welfare Problem

abstract: We study the problem of maximizing Nash welfare (MNW) while allocating indivisible goods to asymmetric agents. The Nash welfare of an allocation is the weighted geometric mean of agents' utilities, and the allocation with maximum Nash welfare is known to satisfy several desirable fairness and efficiency properties. However, computing such an MNW allocation is NP-hard, even for two agents with identical, additive valuations. Hence, we aim to identify tractable classes that either admit a PTAS, an FPTAS, or an exact polynomial-time algorithm. To this end, we design a PTAS for finding an MNW allocation for the case of asymmetric agents with identical, additive valuations, thus generalizing a similar result for symmetric agents. Our techniques can also be adapted to give a PTAS for the problem of computing the optimal $p$-mean welfare. We also show that an MNW allocation can be computed exactly in polynomial time for identical agents with $k$-ary valuations when $k$ is a constant, where every agent has at most $k$ different values for the goods. Next, we consider the special case where every agent finds at most two goods valuable, and show that this class admits an efficient algorithm, even for general monotone valuations. In contrast, we note that when agents can value three or more goods, maximizing Nash welfare is NP-hard, even when agents are symmetric and have additive valuations, showing our algorithmic result is essentially tight. Finally, we show that for constantly many asymmetric agents with additive valuations, the MNW problem admits an FPTAS.


title: Multi-turn RNN-T for streaming recognition of multi-party speech

abstract: Automatic speech recognition (ASR) of single channel far-field recordings with an unknown number of speakers is traditionally tackled by cascaded modules. Recent research shows that end-to-end (E2E) multi-speaker ASR models can achieve superior recognition accuracy compared to modular systems. However, these models do not ensure real-time applicability due to their dependency on full audio context. This work takes real-time applicability as the first priority in model design and addresses a few challenges in previous work on multi-speaker recurrent neural network transducer (MS-RNN-T). First, we introduce on-the-fly overlapping speech simulation during training, yielding 14% relative word error rate (WER) improvement on LibriSpeechMix test set. Second, we propose a novel multi-turn RNN-T (MT-RNN-T) model with an overlap-based target arrangement strategy that generalizes to an arbitrary number of speakers without changes in the model architecture. We investigate the impact of the maximum number of speakers seen during training on MT-RNN-T performance on LibriCSS test set, and report 28% relative WER improvement over the two-speaker MS-RNN-T. Third, we experiment with a rich transcription strategy for joint recognition and segmentation of multi-party speech. Through an in-depth analysis, we discuss potential pitfalls of the proposed system as well as promising future research directions.


title: Symbolic Specialization of Rewriting Logic Theories with Presto

abstract: This paper introduces Presto, a symbolic partial evaluator for Maude's rewriting logic theories that can improve system analysis and verification. In Presto, the automated optimization of a conditional rewrite theory R (whose rules define the concurrent transitions of a system) is achieved by partially evaluating, with respect to the rules of R, an underlying, companion equational logic theory E that specifies the algebraic structure of the system states of R. This can be particularly useful for specializing an overly general equational theory E whose operators may obey complex combinations of associativity, commutativity, and/or identity axioms, when being plugged into a host rewrite theory R as happens, for instance, in protocol analysis, where sophisticated equational theories for cryptography are used. Presto implements different unfolding operators that are based on folding variant narrowing (the symbolic engine of Maude's equational theories). When combined with an appropriate abstraction algorithm, they allow the specialization to be adapted to the theory termination behavior and bring significant improvement while ensuring strong correctness and termination of the specialization. We demonstrate the effectiveness of Presto in several examples of protocol analysis where it achieves a significant speed-up. Actually, the transformation provided by Presto may cut down an infinite folding variant narrowing space to a finite one, and moreover, some of the costly algebraic axioms and rule conditions may be eliminated as well. As far as we know, this is the first partial evaluator for Maude that respects the semantics of functional, logic, concurrent, and object-oriented computations. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Integrating Knowledge in End-to-End Automatic Speech Recognition for Mandarin-English Code-Switching

abstract: Code-Switching (CS) is a common linguistic phenomenon in multilingual communities that consists of switching between languages while speaking. This paper presents our investigations on end-to-end speech recognition for Mandarin-English CS speech. We analyse different CS specific issues such as the properties mismatches between languages in a CS language pair, the unpredictable nature of switching points, and the data scarcity problem. We exploit and improve the state-of-the-art end-to-end system by merging nonlinguistic symbols, by integrating language identification using hierarchical softmax, by modeling sub-word units, by artificially lowering the speaking rate, and by augmenting data using speed perturbed technique and several monolingual datasets to improve the final performance not only on CS speech but also on monolingual benchmarks in order to make the system more applicable on real life settings. Finally, we explore the effect of different language model integration methods on the performance of the proposed model. Our experimental results reveal that all the proposed techniques improve the recognition performance. The best combined system improves the baseline system by up to 35% relatively in terms of mixed error rate and delivers acceptable performance on monolingual benchmarks.


title: HVTR: Hybrid Volumetric-Textural Rendering for Human Avatars

abstract: We propose a novel neural rendering pipeline, Hybrid Volumetric-Textural Rendering (HVTR), which synthesizes virtual human avatars from arbitrary poses efficiently and at high quality. First, we learn to encode articulated human motions on a dense UV manifold of the human body surface. To handle complicated motions (e.g., self-occlusions), we then leverage the encoded information on the UV manifold to construct a 3D volumetric representation based on a dynamic pose-conditioned neural radiance field. While this allows us to represent 3D geometry with changing topology, volumetric rendering is computationally heavy. Hence we employ only a rough volumetric representation using a pose-conditioned downsampled neural radiance field (PD-NeRF), which we can render efficiently at low resolutions. In addition, we learn 2D textural features that are fused with rendered volumetric features in image space. The key advantage of our approach is that we can then convert the fused features into a high-resolution, high-quality avatar by a fast GAN-based textural renderer. We demonstrate that hybrid rendering enables HVTR to handle complicated motions, render high-quality avatars under user-controlled poses/shapes and even loose clothing, and most importantly, be efficient at inference time. Our experimental results also demonstrate state-of-the-art quantitative results.


title: New Fixed Figure Results with the Notion of $k$-Ellipse

abstract: In this paper, as a geometric approach to the fixed-point theory, we prove new fixed-figure results using the notion of $k$-ellipse on a metric space. For this purpose, we are inspired by the Caristi type contraction, Kannan type contraction, Chatterjea type contraction and \'{C}iri\'{c} type contraction. After that, we give some existence and uniqueness theorems of a fixed $k$-ellipse. We also support our obtained results with illustrative examples. Finally, we present a new application to the $S$-Shaped Rectified Linear Activation Unit ($SReLU$) to show the importance of our theoretical results.


title: Bulk-edge correspondence and trapping at a non-Hermitian topological interface

abstract: In Hermitian systems, according to the bulk-edge correspondence interfacing two topological optical media with different bulk topological numbers implies the existence of edge states, which can trap light at the interface. However, such a general scenario can be violated when dealing with non-Hermitian systems. Here we show that interfacing two semi-infinite Hatano-Nelson chains with different bulk topological numbers can result in the existence of infinitely many edge (interface) states, however light waves cannot be rather generally trapped at the interface.


title: Control of a Hexapod Robot Considering Terrain Interaction

abstract: Bio-inspired walking hexapod robots are a relatively young branch in robotics in both state of the art and applications. Despite their high degree of flexibility and adaptability derived by their redundant design, the research field that compliments their abilities is still very lacking. In this paper will be proposed state-of-the-art hexapod robot specific control architecture that allows for full control over robot speed, body orientation and walk gait type to employ. Furthermore terrain interaction will be deeply investigated, leading to the development of a terrain-adapting control algorithm that will allow the robot to react swiftly to terrain shape and asperities such as non-linearities and non-continuity within the workspace. It will be presented a dynamic model derived from the interpretation of the hexapod movement to be comparable to these of the base-platform PKM machines, and said model will be validated through Matlab SimMechanicsTM physics simulation. A feed-back control system able to recognize leg-terrain touch and react accordingly to assure movement stability will then be developed. Finally results coming from an experimental campaign based of the PhantomX AX Metal Hexapod Mark II robotic platform by Trossen RoboticsTM is reported.


title: On the non primality of certain symmetric ideals

abstract: Let $R =k[x_1, \cdots, x_n,\cdots]$ be the infinite variable polynomial ring equipped with the natural $\mathfrak{S}_\infty$ action, where $k$ is a field of characteristic zero. In recent work \cite{NS21}, Nagpal--Snowden gave an indirect proof that $\mathfrak{S}_\infty$-ideal generated by $(x_1-x_2)^{2n}$ is not $\mathfrak{S}_\infty$-prime. In this paper, we give a direct proof, with explicit elements. We further formulate some conjectures on possible generalizations of the result.


title: Investigation of Faddeev variant of embedding theory

abstract: Faddeev variant of embedding theory is an example of using the embedding approach for the description of gravity. In the original form of the embedding approach, the gravity is described by an embedding function of a four-dimensional surface representing our spacetime. In Faddeev variant, the independent variable is a non-square vielbein, which is a derivative of embedding function in embedding theory. We study the possibility of the existence of extra solutions in Faddeev variant, which makes this theory non-equivalent to GR. To separate the degrees of freedom corresponding to extra matter, we propose a formulation of this theory as GR with an additional contribution to the action. We analyze the equations of motion for a specific class of solutions corresponding to a weak gravitational field. We construct a simple exact solution corresponding to arbitrary matter and nontrivial torsion, which is an extra solution in Faddeev variant in the absence of real matter.


title: Option Pricing Model with Transaction Costs

abstract: The author presents alternatives to the Black-Scholes european call option pricing model by incorporating different transaction cost structures in the replicating strategy. In particular, an exponentially decreasing structure is proposed and developed.


title: Exact matrix product state representation and convergence of a fully correlated electronic wavefunction in the infinite basis limit

abstract: In this article we present the exact representation of a fully correlated electronic wavefunction as the single-particle basis approaches completeness. It consists of a half-infinite chain of matrices of exponentially increasing size. The complete basis limit is illustrated numerically using the density matrix renormalization group method by computing the core-valence entanglement in the C$_2$ ground state in increasing subsets of cc-pVTZ and pVQZ bases until convergence is reached.


title: Multi-photon multi-quantum transitions in the spin-3/2 silicon-vacancy centers of SiC

abstract: Silicon vacancy centers in silicon carbide are promising candidates for storing and manipulating quantum information. Implementation of fast quantum gates is an essential requirement for quantum information processing. In a low magnetic field, the resonance frequencies of silicon vacancy spins are in the range of a few MHz, the same order of magnitude as the Rabi frequencies of typical control fields. As a consequence, the rotating wave approximation becomes invalid and nonlinear processes like the absorption and emission of multiple photons become relevant. This work focuses on multi-photon transitions of negatively charged silicon vacancies driven by a strong RF field. We present continuous-wave optically detected magnetic resonance (ODMR) spectra measured at different RF powers to identify the 1-, 2-, and 3-RF photon transitions of different types of the silicon vacancy in the 6$H$-SIC polytype. Time-resolved experiments of Rabi oscillations and free induction decays of these multiple RF photon transitions were observed for the first time. Apart from zero-field data, we also present spectra in magnetic fields with different strength and orientation with respect to the system's symmetry axis.


title: Hiding pebbles when the output alphabet is unary

abstract: Pebble transducers are nested two-way transducers which can drop marks (named "pebbles") on their input word. Blind transducers have been introduced by Nguy\^en et al. as a subclass of pebble transducers, which can nest two-way transducers but cannot drop pebbles on their input. In this paper, we study the classes of functions computed by pebble and blind transducers, when the output alphabet is unary. Our main result shows how to decide if a function computed by a pebble transducer can be computed by a blind transducer. We also provide characterizations of these classes in terms of Cauchy and Hadamard products, in the spirit of rational series. Furthermore, pumping-like characterizations of the functions computed by blind transducers are given.


title: Nonzero-sum stochastic impulse games with an application in competitive retail energy markets

abstract: We study a nonzero-sum stochastic differential game with both players adopting impulse controls, on a finite time horizon. The objective of each player is to maximize her total expected discounted profits. The resolution methodology relies on the connection between Nash equilibrium and the corresponding system of quasi-variational inequalities (QVIs in short). We prove, by means of the weak dynamic programming principle for the stochastic differential game, that the value function of each player is a constrained viscosity solution to the associated QVIs system in the class of linear growth functions. We also introduce a family of value functions converging to our value function of each player, and which is characterized as the unique constrained viscosity solutions of an approximation of our QVIs system. This convergence result is useful for numerical purpose. We apply a probabilistic numerical scheme which approximates the solution of the QVIs system to the case of the competition between two electricity retailers. We show how our model reproduces the qualitative behaviour of electricity retail competition.


title: Modelling of Received Signals in Molecular Communication Systems based machine learning: Comparison of azure machine learning and Python tools

abstract: Molecular communication (MC) implemented on Nano networks has extremely attractive characteristics in terms of energy efficiency, dependability, and robustness. Even though, the impact of incredibly slow molecule diffusion and high variability environments remains unknown. Analysis and designs of communication systems usually rely on developing mathematical models that describe the communication channel. However, the underlying channel models are unknown in some systems, such as MC systems, where chemical signals are used to transfer information. In these cases, a new method to analyze and design is needed. In this paper, we concentrate on one critical aspect of the MC system, modelling MC received signal until time t , and demonstrate that using tools from ML makes it promising to train detectors that can be executed well without any information about the channel model. Machine learning (ML) is one of the intelligent methodologies that has shown promising results in the domain. This paper applies Azure Machine Learning (Azure ML) for flexible pavement maintenance regressions problems and solutions. For prediction, four parameters are used as inputs: the receiver radius, transmitter radius, distance between receiver and transmitter, and diffusion coefficient, while the output is mAP (mean average precision) of the received signal. Azure ML enables algorithms that can learn from data and experiences and accomplish tasks without having to be coded. In the established Azure ML, the regression algorithms such as, boost decision tree regression, Bayesian linear regression, neural network, and decision forest regression are selected. The best performance is chosen as an optimality criterion. Finally, a comparison that shows the potential benefits of Azure ML tool over programmed based tool (Python), used by developers on local PCs, is demonstrated


title: Heisenberg spins on an anisotropic triangular lattice: PdCrO2 under uniaxial stress

abstract: When Heisenberg spins interact antiferromagnetically on a triangular lattice and nearest-neighbor interactions dominate, the ground state is 120$^{\circ}$ antiferromagnetism. In this work, we probe the response of this state to lifting the triangular symmetry, through investigation of the triangular antiferromagnet PdCrO$_2$ under uniaxial stress by neutron diffraction and resistivity measurements. The periodicity of the magnetic order is found to change rapidly with applied stress; the rate of change indicates that the magnetic anisotropy is roughly forty times the stress-induced bond length anisotropy. At low stress, the incommensuration period becomes extremely long, on the order of 1000 lattice spacings; no locking of the magnetism to commensurate periodicity is detected. Separately, the magnetic structure is found to undergo a first-order transition at a compressive stress of $\sim$0.4 GPa, at which the interlayer ordering switches from a double- to a single-q structure.


title: On negative results concerning weak-Hardy means

abstract: We establish the test which allows to show that a mean does not admit a weak-Hardy property. As a result we prove that Hardy and weak-Hardy properties are equivalent in the class of homogeneous, symmetric, repetition invariant, and Jensen concave mean on $\mathbb{R}_+$. More precisely, for every mean $\mathscr{M} \colon \bigcup_{n=1}^\infty \mathbb{R}_+^n \to \mathbb{R}$ as above, the inequality $$\mathscr{M}(a_1)+\mathscr{M}(a_1,a_2)+\dots<\infty$$ holds for all $a \in \ell^1(\mathbb{R}_+)$ if and only if there exists a positive, real constant $C$ (depending only on $\mathscr{M}$) such that $$\mathscr{M}(a_1)+\mathscr{M}(a_1,a_2)+\dots<C \cdot (a_1+a_2+\cdots)$$ for every sequence $a \in \ell^1(\mathbb{R}_+)$.


title: Proceedings Twelfth International Workshop on Graph Computational Models

abstract: This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd June 2021. Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International GCM Workshop series is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas.


title: Autofocusing Self-Imaging: The Symmetric Pearcey Talbot-like Effect

abstract: The Talbot like effect of symmetric Pearcey beams (SPBs) is presented numerically and experimentally in the free space. Owing to the Talbot like effect, the SPBs have the property of periodic and multiple autofocusing. Meanwhile, the focal positions and focal times of SPBs are controlled by the beam shift factor and the distribution factors. What is more, the beam shift factor can also affect the Talbot-like effect and the Talbot period. Therefore, several tiny optical bottles can be generated under the appropriate parameter setting. It is believed that the results can diversify the application of the Talbot effect.


title: Quantum Approximate Optimization Algorithm applied to the binary perceptron

abstract: We apply digitized Quantum Annealing (QA) and Quantum Approximate Optimization Algorithm (QAOA) to a paradigmatic task of supervised learning in artificial neural networks: the optimization of synaptic weights for the binary perceptron. At variance with the usual QAOA applications to MaxCut, or to quantum spin-chains ground state preparation, the classical Hamiltonian is characterized by highly non-local multi-spin interactions. Yet, we provide evidence for the existence of optimal smooth solutions for the QAOA parameters, which are transferable among typical instances of the same problem, and we prove numerically an enhanced performance of QAOA over traditional QA. We also investigate on the role of the QAOA optimization landscape geometry in this problem, showing that the detrimental effect of a gap-closing transition encountered in QA is also negatively affecting the performance of our implementation of QAOA.


title: Sequential Estimation of Temporally Evolving Latent Space Network Models

abstract: In this article we focus on dynamic network data which describe interactions among a fixed population through time. We model this data using the latent space framework, in which the probability of a connection forming is expressed as a function of low-dimensional latent coordinates associated with the nodes, and consider sequential estimation of model parameters via Sequential Monte Carlo (SMC) methods. In this setting, SMC is a natural candidate for estimation which offers greater scalability than existing approaches commonly considered in the literature, allows for estimates to be conveniently updated given additional observations and facilitates both online and offline inference. We present a novel approach to sequentially infer parameters of dynamic latent space network models by building on techniques from the high-dimensional SMC literature. Furthermore, we examine the scalability and performance of our approach via simulation, demonstrate the flexibility of our approach to model variants and analyse a real-world dataset describing classroom contacts.


title: Uniqueness of the Inflationary Higgs Scalar for Neutron Stars and Failure of non-inflationary Approximations

abstract: Neutron stars are perfect candidates to investigate the effects of a modified gravity theory, since the curvature effects are significant and more importantly, potentially testable. In most cases studied in the literature in the context of massive scalar-tensor theories, inflationary models were examined. The most important of scalar-tensor models is the Higgs model, which, depending on the values of the scalar field, can be approximated by different scalar potentials, one of which is the inflationary. Since it is not certain how large the values of the scalar field will be at the near vicinity and inside a neutron star, in this work we will answer the question, which potential form of the Higgs model is more appropriate in order for it to describe consistently a static neutron star. As we will show numerically, the non-inflationary Higgs potential, which is valid for certain values of the scalar field in the Jordan frame, leads to extremely large maximum neutron star masses, however the model is not self-consistent, because the scalar field approximation used for the derivation of the potential, is violated both at the center and at the surface of the star. These results shows the uniqueness of the inflationary Higgs potential, since it is the only approximation for the Higgs model, that provides self-consistent results.


title: Definable K\H{o}nig theorems

abstract: Let $X$ be a Polish space with Borel probability measure $\mu,$ and let $G$ be a Borel graph on $X$ with no odd cycles and maximum degree $\Delta(G).$ We show that the Baire measurable edge chromatic number of $G$ is at most $\Delta(G)+1$, and if $G$ is $\mu$-hyperfinite then the $\mu$-measurable edge chromatic number obeys the same bound. More generally, we show that $G$ has Borel edge chromatic number at most $\Delta(G)$ plus its asymptotic separation index.


title: Parallel Algorithms for Adding a Collection of Sparse Matrices

abstract: We develop a family of parallel algorithms for the SpKAdd operation that adds a collection of k sparse matrices. SpKAdd is a much needed operation in many applications including distributed memory sparse matrix-matrix multiplication (SpGEMM), streaming accumulations of graphs, and algorithmic sparsification of the gradient updates in deep learning. While adding two sparse matrices is a common operation in Matlab, Python, Intel MKL, and various GraphBLAS libraries, these implementations do not perform well when adding a large collection of sparse matrices. We develop a series of algorithms using tree merging, heap, sparse accumulator, hash table, and sliding hash table data structures. Among them, hash-based algorithms attain the theoretical lower bounds both on the computational and I/O complexities and perform the best in practice. The newly-developed hash SpKAdd makes the computation of a distributed-memory SpGEMM algorithm at least 2x faster than that the previous state-of-the-art algorithms.


title: Stable Conformal Prediction Sets

abstract: When one observes a sequence of variables $(x_1, y_1), \ldots, (x_n, y_n)$, Conformal Prediction (CP) is a methodology that allows to estimate a confidence set for $y_{n+1}$ given $x_{n+1}$ by merely assuming that the distribution of the data is exchangeable. CP sets have guaranteed coverage for any finite population size $n$. While appealing, the computation of such a set turns out to be infeasible in general, e.g. when the unknown variable $y_{n+1}$ is continuous. The bottleneck is that it is based on a procedure that readjusts a prediction model on data where we replace the unknown target by all its possible values in order to select the most probable one. This requires computing an infinite number of models, which often makes it intractable. In this paper, we combine CP techniques with classical algorithmic stability bounds to derive a prediction set computable with a single model fit. We demonstrate that our proposed confidence set does not lose any coverage guarantees while avoiding the need for data splitting as currently done in the literature. We provide some numerical experiments to illustrate the tightness of our estimation when the sample size is sufficiently large, on both synthetic and real datasets.


title: Molding Photon Emission with Hybrid Plasmon-Emitter Coupled Metasurfaces

abstract: Directional emission of photons with designed polarizations and orbital angular momenta is crucial for exploiting full potential of quantum emitters (QEs) within quantum information technologies. Capitalizing on the concept of hybrid plasmon-QE coupled metasurfaces, we develop a holography-based design approach allowing one to construct surface nanostructures for outcoupling QE-excited circularly diverging surface plasmon polaritons (SPPs) into well-collimated beams of photons with desirable polarization characteristics propagating along given directions. Using the well-established simulation framework, we demonstrate the efficiency and versatility of the developed approach by analyzing different hybrid SPP-QE coupled metasurfaces designed for generation of linearly, radially and circularly polarized photons propagating in various off-axis directions. Our work enables the design of single-photon sources with radiation channels that have distinct directional and polarization characteristics, extending thereby possibilities for designing complex photonic systems for quantum information processing. Moreover, we believe that the developed scattering holography approach is generally useful when employing surface electromagnetic excitations, including SPP modes, as reference waves for signal wave reconstruction.


title: Pseudogauge field driven acoustoelectric current in two-dimensional hexagonal Dirac materials

abstract: Using a diagrammatic scheme, we study the acoustoelectric effects in two-dimensional (2D) hexagonal Dirac materials due to the sound-induced pseudo-gauge field. We analyze both uniform and {\em spatially dispersive} currents in response to copropagating and counterpropagating sound waves, respectively. In addition to the longitudinal acoustoelectric current, we obtain an exotic {\em transverse} charge current flowing perpendicular to the sound propagation direction owing to the interplay of transverse and longitudinal gauge field components $j_T\propto A_L A^\ast_T$. In contrast to the almost isotropic directional profile of the longitudinal uniform current, a highly anisotropic transverse component $j_T\sim\sin(6\theta)$ is achieved that stems from the inherited three-fold symmetry of the hexagonal lattice. However, both longitudinal and transverse parts of the dispersive current are predicted to be strongly anisotropic $\sim\sin^2(3\theta)$ or $\cos^2(3\theta)$. We quantitatively estimate the pseudogauge field contribution to the acoustoelectric current that can be probed in future experiments in graphene and other 2D hexagonal Dirac materials.


title: Nonabelian Twists of the $D_4$ Theory

abstract: We study theories of type $D_4$ in class-S, with nonabelian outer-automorphism twists around various cycles of the punctured Riemann surface $C$. We propose an extension of previous formul\ae\ for the superconformal index to cover this case and classify the SCFTs corresponding to fixtures (3-punctured spheres). We then go on to study families of SCFTs corresponding to once-punctured tori and 4-punctured spheres. These exhibit new behaviours, not seen in previous investigations. In particular, the generic theory with 4 punctures on the sphere from non-commuting $\mathbb{Z}_2$ twisted sectors has six distinct weakly-coupled descriptions.


title: Effects of boosting on extragalactic components: methods and statistical studies

abstract: In this work we examine the impact of our motion with respect to the CMB rest frame on statistics of CMB maps by examining the one-, two-, three- and four- point statistics of simulated maps of the CMB and Sunyaev-Zeldovich (SZ) effects. We validate boosting codes by comparing their outcomes for temperature and polarization power spectra up to $\ell \simeq 6000$. We derive and validate a new analytical formula for the computation of the boosted power spectrum of a signal with a generic frequency dependence. As an example we show how this increases the boosting correction to the power spectrum of CMB intensity measurements by $\sim 30\%$ at 150 GHz. We examine the effect of boosting on thermal and kinetic SZ power spectra from semianalytical and hydrodynamical simulations; the boosting correction is generally small for both simulations, except when considering frequencies near the tSZ null. For the non-Gaussian statistics, in general we find that boosting has no impact with two exceptions. We find that, whilst the statistics of the CMB convergence field are unaffected, quadratic estimators that are used to measure this field can become biased at the $O(1)\%$ level by boosting effects. We present a simple modification to the standard estimators that removes this bias. Second, bispectrum estimators can receive a systematic bias from the Doppler induced quadrupole when there is anisotropy in the sky -- in practice this anisotropy comes from masking and inhomogenous noise. This effect is unobservable and already removed by existing analysis methods.


title: On Causal Inference for Data-free Structured Pruning

abstract: Neural networks (NNs) are making a large impact both on research and industry. Nevertheless, as NNs' accuracy increases, it is followed by an expansion in their size, required number of compute operations and energy consumption. Increase in resource consumption results in NNs' reduced adoption rate and real-world deployment impracticality. Therefore, NNs need to be compressed to make them available to a wider audience and at the same time decrease their runtime costs. In this work, we approach this challenge from a causal inference perspective, and we propose a scoring mechanism to facilitate structured pruning of NNs. The approach is based on measuring mutual information under a maximum entropy perturbation, sequentially propagated through the NN. We demonstrate the method's performance on two datasets and various NNs' sizes, and we show that our approach achieves competitive performance under challenging conditions.


title: A model of opinion dynamics with echo chambers explains the spatial distribution of vaccine hesitancy

abstract: Vaccination hesitancy is a major obstacle to achieving and maintaining herd immunity. It is therefore of prime importance for public health authorities to understand the dynamics of an anti-vaccine opinion in the population. We introduce a novel mathematical model of opinion dynamics with spatial reinforcement, which can generate echo chambers, i.e. opinion bubbles in which information that is incompatible with one's entrenched worldview, is likely disregarded. In a first mathematical part, we scale the model both to a deterministic limit and to a weak-effects limit, and obtain bifurcations, phase transitions, and the invariant measure. In a second part, we fit our model to measles and meningococci vaccination coverage across 413 districts in Germany. We reveal that strong echo chambers explain the occurrence and persistence of the anti-vaccination opinion. We predict and compare the effectiveness of different policies aimed at influencing opinion dynamics in order to increase vaccination uptake.


title: Graph Neural Network Predictions of Metal Organic Framework CO2 Adsorption Properties

abstract: The increasing CO2 level is a critical concern and suitable materials are needed to capture such gases from the environment. While experimental and conventional computational methods are useful in finding such materials, they are usually slow and there is a need to expedite such processes. We use Atomistic Line Graph Neural Network (ALIGNN) method to predict CO2 adsorption in metal organic frameworks (MOF), which are known for their high functional tunability. We train ALIGNN models for hypothetical MOF (hMOF) database with 137953 MOFs with grand canonical Monte Carlo (GCMC) based CO2 adsorption isotherms. We develop high accuracy and fast models for pre-screening applications. We apply the trained model on CoREMOF database and computationally rank them for experimental synthesis. In addition to the CO2 adsorption isotherm, we also train models for electronic bandgaps, surface area, void fraction, lowest cavity diameter, and pore limiting diameter, and illustrate the strength and limitation of such graph neural network models. For a few candidate MOFs we carry out GCMC calculations to evaluate the deep-learning (DL) predictions.


title: Direct and approximately valid probabilistic inference on a class of statistical functionals

abstract: Existing frameworks for probabilistic inference assume the quantity of interest is the parameter of a posited statistical model. In machine learning applications, however, often there is no statistical model/parameter; the quantity of interest is a statistical functional, a feature of the underlying distribution. Model-based methods can only handle such problems indirectly, via marginalization from a model parameter to the real quantity of interest. Here we develop a generalized inferential model (IM) framework for direct probabilistic uncertainty quantification on the quantity of interest. In particular, we construct a data-dependent, bootstrap-based possibility measure for uncertainty quantification and inference. We then prove that this new approach provides approximately valid inference in the sense that the plausibility values assigned to hypotheses about the unknowns are asymptotically well-calibrated in a frequentist sense. Among other things, this implies that confidence regions for the underlying functional derived from our proposed IM are approximately valid. The method is shown to perform well in key examples, including quantile regression, and in a personalized medicine application.


title: On-line Estimation of the Parameters of the Windmill Power Coefficient

abstract: Wind turbines are often controlled to harvest the maximum power from the wind, which corresponds to the operation at the top of the bell-shaped power coefficient graph. Such a mode of operation may be achieved implementing an extremum seeking data-based strategy, which is an invasive technique that requires the injection of harmonic disturbances. Another approach is based on the knowledge of the analytic expression of the power coefficient function, an information usually unreliably provided by the turbine manufacturer. In this paper we propose a globally, exponentially convergent on-line estimator of the parameters entering into the windmill power coefficient function. This corresponds to the solution of an identification problem for a nonlinear, nonlinearly parameterized, underexcited system. To the best of our knowledge we have provided the first solution to this challenging, practically important, problem.


title: Valid inferential models for prediction in supervised learning problems

abstract: Prediction, where observed data is used to quantify uncertainty about a future observation, is a fundamental problem in statistics. Prediction sets with coverage probability guarantees are a common solution, but these do not provide probabilistic uncertainty quantification in the sense of assigning beliefs to relevant assertions about the future observable. Alternatively, we recommend the use of a {\em probabilistic predictor}, a data-dependent (imprecise) probability distribution for the to-be-predicted observation given the observed data. It is essential that the probabilistic predictor be reliable or valid, and here we offer a notion of validity and explore its behavioral and statistical implications. In particular, we show that valid probabilistic predictors must be imprecise, that they avoid sure loss, and that they lead to prediction procedures with desirable frequentist error rate control properties. We provide a general construction of a provably valid probabilistic predictor, which has close connections to the powerful conformal prediction machinery, and we illustrate this construction in regression and classification applications.


title: Reduction of Order and Transseries Structure of Radiation Reaction

abstract: The Landau-Lifshitz equation is obtained from the Lorentz-Abraham-Dirac equation through `reduction of order'. It is the first in a divergent series of approximations that, after resummation, eliminate runaway solutions. Using Borel plane and transseries analysis we explain why this is, and show that a non-perturbative formulation of reduction of order can retain runaway solutions. We also apply transseries analysis to solutions of the Lorentz-Abraham-Dirac equation, essentially treating them as expansions in both time and a coupling. Our results illustrate some aspects of such expansions under changes of variables and limits.


title: Semisimple Algebras and PI-Invariants of Finite Dimensional Algebras

abstract: Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$. By Kemer's theory it is known that such $\Sigma$ exists. We show there exists a semisimple algebra $U$ which satisfies the following conditions. $(1)$ There exists an algebra $A \in \mathcal{M}_{\Gamma}$ with Wedderburn-Malcev decomposition $A \cong U \oplus J_{A}$, where $J_{A}$ is the Jacobson's radical of $A$ $(2)$ If $B \in \mathcal{M}_{\Gamma}$ and $B \cong B_{ss} \oplus J_{B}$ is its Wedderburn-Malcev decomposition then $U$ is a direct summand of $B_{ss}$. We refer to $U$ as the unique minimal semisimple algebra corresponding to $\Gamma$. We fully extend this result to the non-affine $G$-graded setting where $G$ is a finite group. In particular we show that if $A$ and $B$ are finite dimensional $G_{2}:= \mathbb{Z}_{2} \times G$-graded simple algebras then they are $G_{2}$-graded isomorphic if and only if $E(A)$ and $E(B)$ are $G$-graded PI-equivalent, where $E$ is the unital infinite dimensional Grassmann algebra and $E(A)$ is the Grassmann envelope of $A$.


title: Mass-gap extreme mass ratio inspirals

abstract: In this work, we propose a new subclass of extreme-mass-ratio-inspirals (EMRIs): mass-gap EMRIs, consisting of a compact object in the lower mass gap $\sim (2.5-5) M_\odot$ and a massive black hole (MBH). The mass-gap object (MGO) may be a primordial black hole or produced from a delayed supernova explosion. We calculate the formation rate of mass-gap EMRIs in both the (dry) loss-cone channel and the (wet) active galactic nucleus disk channel by solving Fokker-Planck-type equations for the phase-space distribution. In the dry channel, the mass-gap EMRI rate is strongly suppressed compared to the EMRI rate of stellar-mass black holes (sBHs) as a result of mass segregation effect. In the wet channel, the suppression is roughly equal to the mass ratio of sBHs over MGOs, because the migration speed of a compact object in an active galactic nucleus disk is proportional to its mass. We find that the wet channel is much more promising to produce mass-gap EMRIs observable by spaceborne gravitation wave detectors. (Non-)detection of mass-gap EMRIs may be used to distinguish different supernova explosion mechanisms and constrainthe abundance of primordial black holes around MBHs.


title: When cold, dense quarks in 1+1 and 3+1 dimensions are not a Fermi liquid

abstract: We analyze the behavior of quarks coupled to a $SU(N_c)$ gauge theory in 1+1 dimensions. In the limit of strong coupling, the model reduces to a Wess-Zumino-Novikov-Witten (WZNW) model. At nonzero density, excitations near the Fermi surface form a non-Fermi liquid. With $N_f$ flavors, the finite density of quarks reduce to a free $U(1)$ field, which governs fluctuations in baryon number, together with a WZNW $SU(N_f)$ nonlinear sigma model at level $N_c$, from the pion/kaon modes. We compute the singularity in the charge susceptibility at the Fermi surface and the attendant power law correlations. We suggest that this is relevant to the quarkyonic regime of cold, dense QCD in 3+1 dimensions, in the limit that the Fermi surface is covered by many small patches, and the theory is effectively one dimensional. In this regime the dominant excitations near the Fermi surface are not baryons, but gapless bosonic modes.


title: TensorLy-Quantum: Quantum Machine Learning with Tensor Methods

abstract: Simulation is essential for developing quantum hardware and algorithms. However, simulating quantum circuits on classical hardware is challenging due to the exponential scaling of quantum state space. While factorized tensors can greatly reduce this overhead, tensor network-based simulators are relatively few and often lack crucial functionalities. To address this deficiency, we created TensorLy-Quantum, a Python library for quantum circuit simulation that adopts the PyTorch API. Our library leverages the optimized tensor methods of the existing TensorLy ecosystem to represent, simulate, and manipulate large-scale quantum circuits. Through compact tensor representations and efficient operations, TensorLy-Quantum can scale to hundreds of qubits on a single GPU and thousands of qubits on multiple GPUs. TensorLy-Quantum is open-source and accessible at https://github.com/tensorly/quantum


title: Visualization of Topological Boundary Modes Manifesting Topological Nodal-Point Superconductivity

abstract: The extension of the topological classification of band insulators to topological semimetals gave way to the topology classes of Dirac, Weyl, and nodal line semimetals with their unique Fermi arc and drum head boundary modes. Similarly, there are several suggestions to employ the classification of topological superconductors for topological nodal superconductors with Majorana boundary modes. Here, we show that the surface 1H termination of the transition metal dichalcogenide compound 4Hb-TaS$_2$, in which 1T-TaS$_2$ and 1H-TaS$_2$ layers are interleaved, has the phenomenology of a topological nodal point superconductor. We find in scanning tunneling spectroscopy a residual density of states within the superconducting gap. An exponentially decaying bound mode is imaged within the superconducting gap along the boundaries of the exposed 1H layer characteristic of a gapless Majorana edge mode. The anisotropic nature of the localization length of the edge mode aims towards topological nodal superconductivity. A zero-bias conductance peak is further imaged within fairly isotropic vortex cores. All our observations are accommodated by a theoretical model of a two-dimensional nodal Weyl-like superconducting state, which ensues from inter-orbital Cooper pairing. The observation of an intrinsic topological nodal superconductivity in a layered material will pave the way for further studies of Majorana edge modes and its applications in quantum information processing.


title: Chaotic micro-comb based parallel ranging

abstract: The transition to chaos is ubiquitous in nonlinear systems ranging from fluid dynamics and superconducting circuits to biological organisms. Optical systems driven out of equilibrium such as lasers and supercontinuum generation exhibit chaotic states of light with fluctuations of both amplitude and phase and can give rise to Levy statistics, turbulence, and rogue waves. Spatio-temporal chaos also occurs in continuous-wave driven photonic chip based Kerr micro-resonators, where it is referred to as chaotic modulation instability. Such modulation instability states have generally been considered impractical for applications, in contrast to their coherent light state counterparts, which include soliton or dark-pulse states. Here we demonstrate that incoherent and chaotic states of light in an optical microresonator can be harnessed to implement unambiguous and interference-immune massively parallel coherent laser ranging by using the intrinsic random amplitude and phase modulation of the chaotic comb lines. We utilize 40 distinct lines of a microresonator frequency comb operated in the modulation instability regime. Each line carries more than 1 GHz noise bandwidth, which greatly surpasses the cavity linewidth, and enables to retrieve the distance of objects with cm-scale resolution. Our approach utilizes one of the most widely accessible microcomb states, and offers -- in contrast to dissipative Kerr soliton states -- high conversion efficiency, as well as flat optical spectra, and alleviates the need for complex laser initiation routines. Moreover the approach generates wideband signal modulation without requiring any electro-optical modulator or microwave synthesizer. Viewed more broadly, similar optical systems capable of chaotic dynamics could be applied to random modulation optical ranging as well as spread spectrum communication and optical cryptography systems.


title: Skew power series rings over a prime base ring

abstract: In this paper, we investigate the structure of skew power series rings of the form $S = R[[x;\sigma,\delta]]$, where $R$ is a complete filtered ring and $(\sigma,\delta)$ is a skew derivation respecting the filtration. Our main focus is on the case in which $\sigma\delta = \delta\sigma$, and we aim to use techniques in non-commutative valuation theory to address the long-standing open question: if $P$ is an invariant prime ideal of $R$, is $PS$ a prime ideal of $S$? When $R$ has characteristic $p$, our results reduce this to a finite-index problem. We also give preliminary results in the "Iwasawa algebra" case $\delta = \sigma - \mathrm{id}_R$ in arbitrary characteristic. A key step in our argument will be to show that for a large class of Noetherian algebras, the nilradical is "almost" $(\sigma,\delta)$-invariant in a certain sense.


title: Stochastic Sandpile on a Cycle

abstract: In the stochastic sandpile model on a graph, particles interact pairwise as follows: if two particles occupy the same vertex, they must each take an independent random walk step with some probability $0<p<1$ of not moving. These interactions continue until each site has no more than one particle on it. We provide a formal coupling between the stochastic sandpile and the activated random walk models, and we use the coupling to show that for the stochastic sandpile with $n$ particles on the cycle graph $\mathbb{Z}_n,$ the system stabilizes in $O(n^3)$ time for all initial particle configurations, provided that $p(n)$ tends to $1$ sufficiently rapidly as $n \rightarrow \infty$.


title: Random walks in cones revisited

abstract: In this paper we continue our study of a multidimensional random walk with zero mean and finite variance killed on leaving a cone. We suggest a new approach that allows one to construct a positive harmonic function in Lipschitz cones under minimal moment conditions. This approach allows one also to obtain more accurate information about the behaviour of the harmonic function not far from the boundary of the cone. We also prove limit theorems under new moment conditions.


title: On the Erd\H{o}s-Purdy problem and the Zarankiewitz problem for semialgebraic graphs

abstract: Erd\H{o}s and Purdy, and later Agarwal and Sharir, conjectured that any set of $n$ points in $\mathbb R^{d}$ determine at most $Cn^{d/2}$ congruent $k$-simplices for even $d$. We obtain the first significant progress towards this conjecture, showing that this number is at most $C n^{3d/4}$ for $k<d$. As a consequence, we obtain an upper bound of $C n^{3d/4+2}$ for the number of similar $k$-simplices determined by $n$ points in $\mathbb R^d$, which improves the results of Agarwal, Apfelbaum, Purdy and Sharir. This problem is motivated by the problem of exact pattern matching. We also address Zarankiewicz-type questions of finding the maximum number of edges in semi-algebraic graphs with no $K_{u,u}$. Here, we improve the previous result of Fox, Pach, Sheffer, Suk, and Zahl, and Do for $d\le 4$, as well as for any $d$ and moderately large $u$. We get an improvement of their results for any $d$ and $u$ for unit-distance graphs, which was one of the main applications of their results. From a more general prospective, our results are proved using classical cutting techniques. In the recent years, we saw a great development of the polynomial partitioning method in incidence geometry that followed the breakthrough result by Guth and Katz. One consequence of that development is that the attention of the researchers in incidence geometry swayed in polynomial techniques. In this paper, we argue that there is a number of open problems where classical techniques work better.


title: An infinite $\{3,7\}$-surface

abstract: A classical question in geometry is whether surfaces with given geometric features can be realized as embedded surfaces in Euclidean space. In this paper, we construct an immersed, but not embedded, infinite $\{3,7\}$-surface in $\mathbb{R}^3$ that is a cover of Klein's quartic.


title: Towards a Singular Value Decomposition and spectral theory for all rings

abstract: We propose definitions of SVD, spectral decomposition (for self-adjoint matrices) and Jordan decomposition which make sense for all rings. For many rings, these decompositions can be shown to exist. For some specific rings, these decompositions are complicated to describe in full and prove the existence of. These decompositions have occurred piecemeal in the literature. We conjecture that they exist for many rings, including all Clifford algebras over the real numbers and complex numbers. The origin of this programme is not directly in module theory or linear algebra.


title: Efficient Modeling of Spatial Extremes over Large Geographical Domains

abstract: Various natural phenomena exhibit spatial extremal dependence at short spatial distances. However, existing models proposed in the spatial extremes literature often assume that extremal dependence persists across the entire domain. This is a strong limitation when modeling extremes over large geographical domains, and yet it has been mostly overlooked in the literature. We here develop a more realistic Bayesian framework based on a novel Gaussian scale mixture model, with the Gaussian process component defined by a stochastic partial differential equation yielding a sparse precision matrix, and the random scale component modeled as a low-rank Pareto-tailed or Weibull-tailed spatial process determined by compactly-supported basis functions. We show that our proposed model is approximately tail-stationary and that it can capture a wide range of extremal dependence structures. Its inherently sparse structure allows fast Bayesian computations in high spatial dimensions based on a customized Markov chain Monte Carlo algorithm prioritizing calibration in the tail. We fit our model to analyze heavy monsoon rainfall data in Bangladesh. Our study shows that our model outperforms natural competitors and that it fits precipitation extremes well. We finally use the fitted model to draw inference on long-term return levels for marginal precipitation and spatial aggregates.


title: Mobility-Aware Performance in Hybrid RF and Terahertz Wireless Networks

abstract: Using tools from stochastic geometry, this paper develops a tractable framework to analyze the performance of a mobile user in a two-tier wireless network operating on sub-6GHz and terahertz (THz) transmission frequencies. Specifically, using an equivalence distance approach, we characterize the overall handoff (HO) probability in terms of the horizontal and vertical HO and mobility-aware coverage probability. In addition, we characterize novel coverage probability expressions for THz network in the presence of molecular absorption noise and highlight its significant impact on the users' performance. Specifically, we derive a novel closed-form expression for the Laplace Transform of the cumulative molecular noise and interference observed by a mobile user in a hybrid RF-THz network. Furthermore, we provide a novel approximation to derive the conditional distance distributions of a typical user in a hybrid RF-THz network. Finally, using the overall HO probability and coverage probability expressions, the mobility-aware probability of coverage has been derived in a hybrid RF-THz network. Our mathematical results validate the correctness of the derived expressions using Monte-Carlo simulations. The results offer insights into the adverse impact of users' mobility and molecular noise in THz transmissions on the probability of coverage of mobile users. Our results demonstrate that a small increase in the intensity of terahertz base-stations (TBSs) (about 5 times) can increase the HO probability much more compared to the case when the intensity of RF BSs (RBSs) is increased by 100 times. Furthermore, we note that high molecular absorption can be beneficial (in terms of minimizing interference and molecular noise) for specific deployment intensity of TBSs and the benefits can outweigh the drawbacks of signal degradation due to molecular absorption.


title: Parameterized Algorithms for Kidney Exchange

abstract: In kidney exchange programs, multiple patient-donor pairs each of whom are otherwise incompatible, exchange their donors to receive compatible kidneys. The Kidney Exchange problem is typically modelled as a directed graph where every vertex is either an altruistic donor or a pair of patient and donor; directed edges are added from a donor to its compatible patients. The computational task is to find if there exists a collection of disjoint cycles and paths starting from altruistic donor vertices of length at most l_c and l_p respectively that covers at least some specific number t of non-altruistic vertices (patients). We study parameterized algorithms for the kidney exchange problem in this paper. Specifically, we design FPT algorithms parameterized by each of the following parameters: (1) the number of patients who receive kidney, (2) treewidth of the input graph + max{l_p, l_c}, and (3) the number of vertex types in the input graph when l_p <= l_c. We also present interesting algorithmic and hardness results on the kernelization complexity of the problem. Finally, we present an approximation algorithm for an important special case of Kidney Exchange.


title: SSDNet: State Space Decomposition Neural Network for Time Series Forecasting

abstract: In this paper, we present SSDNet, a novel deep learning approach for time series forecasting. SSDNet combines the Transformer architecture with state space models to provide probabilistic and interpretable forecasts, including trend and seasonality components and previous time steps important for the prediction. The Transformer architecture is used to learn the temporal patterns and estimate the parameters of the state space model directly and efficiently, without the need for Kalman filters. We comprehensively evaluate the performance of SSDNet on five data sets, showing that SSDNet is an effective method in terms of accuracy and speed, outperforming state-of-the-art deep learning and statistical methods, and able to provide meaningful trend and seasonality components.


title: A Predictive Autonomous Decision Aid for Calibrating Human-Autonomy Reliance in Multi-Agent Task Assignment

abstract: In this work, we develop a game-theoretic modeling of the interaction between a human operator and an autonomous decision aid when they collaborate in a multi-agent task allocation setting. In this setting, we propose a decision aid that is designed to calibrate the operator's reliance on the aid through a sequence of interactions to improve overall human-autonomy team performance. The autonomous decision aid employs a long short-term memory (LSTM) neural network for human action prediction and a Bayesian parameter filtering method to improve future interactions, resulting in an aid that can adapt to the dynamics of human reliance. The proposed method is then tested against a large set of simulated human operators from the choice prediction competition (CPC18) data set, and shown to significantly improve human-autonomy interactions when compared to a myopic decision aid that only suggests predicted human actions without an understanding of reliance.