title: Observational constraints on Tsallis holographic dark energy with Ricci horizon cutoff

abstract: In this research, we are interested in constraining the nonlinear interacting and noninteracting Tsallis holographic dark energy (THDE) with Ricci horizon cutoff by employing three observational datasets. To this aim, the THDE with Ricci horizon considering the noninteraction and nonlinear interaction terms will be fitted by the SNe Ia, SNe Ia+H(z), and SNe Ia+H(z)+GRB samples to investigate the Hubble ($H(z)$), dark energy equation of state ($\omega_{DE}$), effective equation of state ($\omega_{eff}$), and deceleration ($q$) parameters. Investigating the $H(z)$ parameter illustrates that our models are in good consistent with respect to observation. Also, it can reveal the turning point for both noninteracting and nonlinear interacting THDE with Ricci cutoff in the late time era. Next, the analysis of the $\omega_{DE}$ for our models displays that the dark energy can experience the phantom state at the current time. However, it lies in the quintessence regime in the early era and approaches the cosmological constant in the late-time epoch. Similar results will be for the $\omega_{eff}$ parameter with this difference that the $\omega_{eff}$ will experience the quintessence region at the current redshift. Next to the mentioned parameters, the study of the $q$ parameter indicates that the models satisfy an acceptable transition phase from the matter to the dark energy-dominated era. After that, the classical stability ($v_{s}^{2}$) will be analyzed for our models. The $v_{s}^{2}$ shows that the noninteracting and nonlinear interacting THDE with Ricci cutoff will be stable in the past era, unstable in the present, and progressive epochs. Then, we will employ the $Jerk$ ($J$) and $OM$ parameters to distinguish between our models and the $\Lambda CDM$ model. Finally, we will calculate the age of the Universe for the THDE and nonlinear interacting THDE with Ricci as the IR cutoff.


title: Unification of Nonlinear Anomalous Hall Effect and Nonreciprocal Magnetoresistance in Metals by the Quantum Geometry

abstract: The quantum geometry has significant consequences in determining transport and optical properties in quantum materials. Here, we use a semiclassical formalism coupled with perturbative corrections unifying the nonlinear anomalous Hall effect (NLAHE) and nonreciprocal magnetoresistance (NMR, longitudinal resistance) from the quantum geometry. In the dc limit, both transverse and longitudinal nonlinear conductivities include a term due to the normalized quantum metric dipole. The quantum metric contribution is intrinsic and does not scale with the quasiparticle lifetime. We demonstrate the coexistence of a NLAHE and NMR in films of the doped antiferromagentic topological insulator MnBi$_2$Te$_4$. Our work indicates that both longitudinal and transverse nonlinear transport provide a sensitive probe of the quantum geometry in solids.


title: Lifting to Parity Decision Trees Via Stifling

abstract: We show that the deterministic decision tree complexity of a (partial) function or relation $f$ lifts to the deterministic parity decision tree (PDT) size complexity of the composed function/relation $f \circ g$ as long as the gadget $g$ satisfies a property that we call stifling. We observe that several simple gadgets of constant size, like Indexing on 3 input bits, Inner Product on 4 input bits, Majority on 3 input bits and random functions, satisfy this property. It can be shown that existing randomized communication lifting theorems ([G\"{o}\"{o}s, Pitassi, Watson. SICOMP'20], [Chattopadhyay et al. SICOMP'21]) imply PDT-size lifting. However there are two shortcomings of this approach: first they lift randomized decision tree complexity of $f$, which could be exponentially smaller than its deterministic counterpart when either $f$ is a partial function or even a total search problem. Second, the size of the gadgets in such lifting theorems are as large as logarithmic in the size of the input to $f$. Reducing the gadget size to a constant is an important open problem at the frontier of current research. Our result shows that even a random constant-size gadget does enable lifting to PDT size. Further, it also yields the first systematic way of turning lower bounds on the width of tree-like resolution proofs of the unsatisfiability of constant-width CNF formulas to lower bounds on the size of tree-like proofs in the resolution with parity system, i.e., $\textit{Res}$($\oplus$), of the unsatisfiability of closely related constant-width CNF formulas.


title: An MPI-based parallel genetic algorithm for multiple geographical feature label placement based on the hybrid of fixed-sliding models

abstract: Multiple geographical feature label placement (MGFLP) has been a fundamental problem in geographic information visualization for decades. The nature of label positioning is proven an NP-hard problem, where the complexity of such a problem is directly influenced by the volume of input datasets. Advances in computer technology and robust approaches have addressed the problem of labeling. However, what is less considered in recent studies is the computational complexity of MGFLP, which significantly decreases the adoptability of those recently introduced approaches. In this study, an MPI parallel genetic algorithm is proposed for MGFLP based on a hybrid of fixed position model and sliding model to label fixed-types of geographical features. To evaluate the quality of label placement, a quality function is defined based on four quality metrics, label-feature conflict, label-label conflict, label ambiguity factor, and label position priority for points and polygons. Experimental results reveal that the proposed algorithm significantly reduced the overall score of the quality function and the computational time of label placement compared to the previous studies. The algorithm achieves a result in less than one minute with 6 label-feature conflicts, while Parallel-MS (Lessani et al., 2021) obtains the result in more than 20 minutes with 12 label-feature conflicts for the same dataset.


title: Monodromy free linear equations and many-body systems

abstract: We further develop the approach to many-body systems based on finding conditions of existence of meromorphic solutions to certain linear partial differential and difference equations which serve as auxiliary linear problems for nonlinear integrable equations such as KP, BKP, CKP and different versions of the Toda lattice. These conditions imply equations of the time evolution for poles of singular solutions to the nonlinear equations which are equations of motion for integrable many-body systems of Calogero-Moser and Ruijsenaars-Schneider type. A new many-body system is introduced, which governs dynamics of poles of elliptic solutions to the Toda lattice of type B.


title: A Tutorial on Neural Networks and Gradient-free Training

abstract: This paper presents a compact, matrix-based representation of neural networks in a self-contained tutorial fashion. Specifically, we develop neural networks as a composition of several vector-valued functions. Although neural networks are well-understood pictorially in terms of interconnected neurons, neural networks are mathematical nonlinear functions constructed by composing several vector-valued functions. Using basic results from linear algebra, we represent a neural network as an alternating sequence of linear maps and scalar nonlinear functions, also known as activation functions. The training of neural networks requires the minimization of a cost function, which in turn requires the computation of a gradient. Using basic multivariable calculus results, the cost gradient is also shown to be a function composed of a sequence of linear maps and nonlinear functions. In addition to the analytical gradient computation, we consider two gradient-free training methods and compare the three training methods in terms of convergence rate and prediction accuracy.


title: Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems

abstract: Over the past two decades, researchers and engineers have extensively studied the problem of how to enable a software system to deal with uncertain operating conditions. One prominent solution to this problem is self-adaptation, which equips a software system with a feedback loop that resolves uncertainties during operation and adapts the system to deal with them when necessary. Most self-adaptation approaches developed so far use decision-making mechanisms that focus on achieving a set of goals, i.e., that select for execution the adaptation option with the best estimated benefit. A few approaches have also considered the estimated (one-off) cost of executing the candidate adaptation options. We argue that besides benefit and cost, decision-making in self-adaptive systems should also consider the estimated risk the system or its users would be exposed to if an adaptation option were selected for execution. Balancing all three factors when evaluating the options for adaptation when mitigating uncertainty is essential, not only for satisfying the concerns of the stakeholders, but also to ensure safety and public acceptance of self-adaptive systems. In this paper, we present an ISO/IEC/IEEE 42010 compatible architectural viewpoint that considers the estimated benefit, cost, and risk as core factors of each adaptation option considered in self-adaptation. The viewpoint aims to support software architects responsible for designing robust decision-making mechanisms for self-adaptive systems.


title: High-efficiency energy harvesting based on nonlinear Hall rectifier

abstract: Noncentrosymmetric quantum materials can convert AC input current into DC transverse current through the nonlinear Hall effect at zero magnetic field. We analyze the AC-DC power conversion efficiency of such ``Hall rectifier'' and suggest its application in wireless charging and energy harvesting. Our key observation is that the development of Hall voltage results in a change of longitudinal resistance, resulting in a violation of Ohm's law due to the nonlinear Hall effect. This feedback mechanism balances the input power and the output power and hence is crucial to understanding the power transfer from source to load. We derive a general expression for the power conversion efficiency in terms of material parameters, external load resistance, and input power. As the Hall current is perpendicular to the electric field and does not generate Joule heating by itself, we obtain high power conversion efficiency when the Hall angle (which increases with the input power) is large and the load resistance is optimized. Promising materials for high-efficiency Hall rectifiers are also discussed.


title: Maximum Likelihood Estimation for a Markov-Modulated Jump-Diffusion Model

abstract: We propose a method for obtaining maximum likelihood estimates (MLEs) of a Markov-Modulated Jump-Diffusion Model (MMJDM) when the data is a discrete time sample of the diffusion process, the jumps follow a Laplace distribution, and the parameters of the diffusion are controlled by a Markov Jump Process (MJP). The data can be viewed as incomplete observation of a model with a tractable likelihood function. Therefore we use the EM-algorithm to obtain MLEs of the parameters. We validate our method with simulated data. The motivation for obtaining estimates of this model is that stock prices have distinct drift and volatility at distinct periods of time. The assumption is that these phases are modulated by macroeconomic environments whose changes are given by discontinuities or jumps in prices. This model improves on the stock prices representation of classical models such as the model of Black and Scholes or Merton's Jump-Diffusion Model (JDM). We fit the model to the stock prices of Amazon and Netflix during a 15-years period and use our method to estimate the MLEs.


title: Interval Valued Fuzzy Modeling and Indirect Adaptive Control of Quadrotor

abstract: In this paper, a combination of fuzzy clustering estimation and sliding mode control is used to control a quadrotor system, whose mathematical model is complex and has unknown elements, including structure, parameters, and so on. In addition, they may be affected by external environmental disturbances. At first, the nonlinear unknown part of the system is estimated by a fuzzy model, A new method is presented for constructing a Takagi-Sugeno (TS) interval-valued fuzzy model (IVFM) based on inputoutput data of the identified system. Following the construction of the fuzzy model that estimates the unknown part of the quadrotor system, a control and on-line adjusting of the fuzzy modeled part of dynamics is used. In this step, the system model will be estimated in adaptive form so that the dynamic equations can be used in sliding mode control. Finally, the proposed technique is applied, and the simulation results are presented to show the effectiveness of this approach in controlling the quadrotor with unknown nonlinear dynamics.


title: QMKPy: A Python Testbed for the Quadratic Multiple Knapsack Problem

abstract: QMKPy provides a Python framework for modeling and solving the quadratic multiple knapsack problem (QMKP). It is primarily aimed at researchers who develop new solution algorithms for the QMKP. QMKPy therefore mostly functions as a testbed to quickly implement novel algorithms and compare their results with existing ones. However, the package also already includes implementations of established algorithms for those who only need to solve a QMKP as part of their research.


title: Topological Data Analysis for Speech Processing

abstract: We apply topological data analysis (TDA) to speech classification problems and to the introspection of a pretrained speech model, HuBERT. To this end, we introduce a number of topological and algebraic features derived from Transformer attention maps and embeddings. We show that a simple linear classifier built on top of such features outperforms a fine-tuned classification head. In particular, we achieve an improvement of about $9\%$ accuracy and $5\%$ ERR on four common datasets; on CREMA-D, the proposed feature set reaches a new state of the art performance with accuracy $80.155$. We also show that topological features are able to reveal functional roles of speech Transformer heads; e.g., we find the heads capable to distinguish between pairs of sample sources (natural/synthetic) or voices without any downstream fine-tuning. Our results demonstrate that TDA is a promising new approach for speech analysis, especially for tasks that require structural prediction. Appendices, an introduction to TDA, and other additional materials are available here - https://topohubert.github.io/speech-topology-webpages/


title: Gamma Ray Bursters and Black Holes in the Gravity's Rainbow

abstract: In this letter, we analyze the modification to the thermodynamics of a Schwarzchild black hole and a Kerr black hole due to gravity's rainbow. The metric for these black holes will be made energy dependent. This will be done by using rainbow functions motivated from the hard spectra from gamma-ray bursters at cosmological distances. This modification of the metric by these rainbow functions will in turn modify the temperature and entropy of these black holes. We will also discuss how this effects the formation of virtual black holes.


title: Weak Cosmic Censorship and Second Law of Black Hole Thermodynamics in Higher Derivative Gravity

abstract: Infalling matter may destroy a black hole and expose the naked singularity. Thus, Penrose proposed the weak cosmic censorship conjecture to avoid such a possibility. On the other hand, if the black hole is not destroyed by infalling matter, from the second law of black hole thermodynamics, the black hole entropy should increase due to the information carried by the infalling matter. In this work, we demonstrate by examples of perturbative near-extremal black holes in higher derivative gravity theories that the second law implies weak cosmic censorship. We also compare our proposal to the one developed by Sorce and Wald based on the first law of black hole thermodynamics and show that the latter fails to yield weak cosmic censorship in such cases. Finally, we give proof of our proposal for generic gravity theories.


title: GENNAPE: Towards Generalized Neural Architecture Performance Estimators

abstract: Predicting neural architecture performance is a challenging task and is crucial to neural architecture design and search. Existing approaches either rely on neural performance predictors which are limited to modeling architectures in a predefined design space involving specific sets of operators and connection rules, and cannot generalize to unseen architectures, or resort to zero-cost proxies which are not always accurate. In this paper, we propose GENNAPE, a Generalized Neural Architecture Performance Estimator, which is pretrained on open neural architecture benchmarks, and aims to generalize to completely unseen architectures through combined innovations in network representation, contrastive pretraining, and fuzzy clustering-based predictor ensemble. Specifically, GENNAPE represents a given neural network as a Computation Graph (CG) of atomic operations which can model an arbitrary architecture. It first learns a graph encoder via Contrastive Learning to encourage network separation by topological features, and then trains multiple predictor heads, which are soft-aggregated according to the fuzzy membership of a neural network. Experiments show that GENNAPE pretrained on NAS-Bench-101 can achieve superior transferability to 5 different public neural network benchmarks, including NAS-Bench-201, NAS-Bench-301, MobileNet and ResNet families under no or minimum fine-tuning. We further introduce 3 challenging newly labelled neural network benchmarks: HiAML, Inception and Two-Path, which can concentrate in narrow accuracy ranges. Extensive experiments show that GENNAPE can correctly discern high-performance architectures in these families. Finally, when paired with a search algorithm, GENNAPE can find architectures that improve accuracy while reducing FLOPs on three families.


title: Rational $p$-adic Hodge theory for $d$-de Rham-proper stacks

abstract: In this follow-up paper we show that smooth Hodge-proper stacks over $\mathcal O_K$ are $\mathbb Q_p$-locally acyclic: namely the natural map between \'etale $\mathbb Q_p$-cohomology of the algebraic and Raynaud generic fibers is an equivalence. This establishes the $\mathbb Q_p$-case of general conjectures made in our previous work. As a corollary, we get that if a smooth Artin stack over $K$ has a smooth Hodge-proper model over $\mathcal O_K$, its $\mathbb Q_p$-\'etale cohomology is a crystalline Galois representation. We then also establish a truncated version of the above results in more general setting of smooth $d$-de Rham-proper stacks over $\mathcal O_K$: here we only require first $d$ de Rham cohomology groups be finitely-generated over $\mathcal O_K$. As an application, we deduce a certain purity-type statement for \'etale $\mathbb Q_p$-cohomology of Raynaud generic fiber, as well as crystallinity of a first several \'etale cohomology groups in the presence of a Cohen--Macauley model over $\mathcal O_K$ in the schematic setting.


title: AIO-P: Expanding Neural Performance Predictors Beyond Image Classification

abstract: Evaluating neural network performance is critical to deep neural network design but a costly procedure. Neural predictors provide an efficient solution by treating architectures as samples and learning to estimate their performance on a given task. However, existing predictors are task-dependent, predominantly estimating neural network performance on image classification benchmarks. They are also search-space dependent; each predictor is designed to make predictions for a specific architecture search space with predefined topologies and set of operations. In this paper, we propose a novel All-in-One Predictor (AIO-P), which aims to pretrain neural predictors on architecture examples from multiple, separate computer vision (CV) task domains and multiple architecture spaces, and then transfer to unseen downstream CV tasks or neural architectures. We describe our proposed techniques for general graph representation, efficient predictor pretraining and knowledge infusion techniques, as well as methods to transfer to downstream tasks/spaces. Extensive experimental results show that AIO-P can achieve Mean Absolute Error (MAE) and Spearman's Rank Correlation (SRCC) below 1% and above 0.5, respectively, on a breadth of target downstream CV tasks with or without fine-tuning, outperforming a number of baselines. Moreover, AIO-P can directly transfer to new architectures not seen during training, accurately rank them and serve as an effective performance estimator when paired with an algorithm designed to preserve performance while reducing FLOPs.


title: Integrated distance sampling models for simple point counts

abstract: Point counts (PCs) are widely used in biodiversity surveys, but despite numerous advantages, simple PCs suffer from several problems: detectability, and therefore abundance, is unknown; systematic spatiotemporal variation in detectability produces biased inferences, and unknown survey area prevents formal density estimation and scaling-up to the landscape level. We introduce integrated distance sampling (IDS) models that combine distance sampling (DS) with simple PC or detection/nondetection (DND) data and capitalize on the strengths and mitigate the weaknesses of each data type. Key to IDS models is the view of simple PC and DND data as aggregations of latent DS surveys that observe the same underlying density process. This enables estimation of separate detection functions, along with distinct covariate effects, for all data types. Additional information from repeat or time-removal surveys, or variable survey duration, enables separate estimation of the availability and perceptibility components of detectability. IDS models reconcile spatial and temporal mismatches among data sets and solve the above-mentioned problems of simple PC and DND data. To fit IDS models, we provide JAGS code and the new IDS() function in the R package unmarked. Extant citizen-science data generally lack adjustments for detection biases, but IDS models address this shortcoming, thus greatly extending the utility and reach of these data. In addition, they enable formal density estimation in hybrid designs, which efficiently combine distance sampling with distance-free, point-based PC or DND surveys. We believe that IDS models have considerable scope in ecology, management, and monitoring.


title: The Bounded Gaussian Mechanism for Differential Privacy

abstract: The Gaussian mechanism is one differential privacy mechanism commonly used to protect numerical data. However, it may be ill-suited to some applications because it has unbounded support and thus can produce invalid numerical answers to queries, such as negative ages or human heights in the tens of meters. One can project such private values onto valid ranges of data, though such projections lead to the accumulation of private query responses at the boundaries of such ranges, thereby harming accuracy. Motivated by the need for both privacy and accuracy over bounded domains, we present a bounded Gaussian mechanism for differential privacy, which has support only on a given region. We present both univariate and multivariate versions of this mechanism and illustrate a significant reduction in variance relative to comparable existing work.


title: A partial stochastic equilibrium model and its limiting behaviour

abstract: The existence of a (partial) market equilibrium price is proved in a complete, continuous time finite-agent market setting. The economic agents act as price takers in a fully competitive setting and maximize exponential utility from terminal wealth. As the number $N$ of economic agents goes to infinity, the BSDE system of $N$ equations characterizing the equilibrium asset price dynamics decouples. Due to the system's symmetry, the influence of the mean field of the agents, conditionally on the common noise, becomes deterministic.


title: ObjCAViT: Improving Monocular Depth Estimation Using Natural Language Models And Image-Object Cross-Attention

abstract: While monocular depth estimation (MDE) is an important problem in computer vision, it is difficult due to the ambiguity that results from the compression of a 3D scene into only 2 dimensions. It is common practice in the field to treat it as simple image-to-image translation, without consideration for the semantics of the scene and the objects within it. In contrast, humans and animals have been shown to use higher-level information to solve MDE: prior knowledge of the nature of the objects in the scene, their positions and likely configurations relative to one another, and their apparent sizes have all been shown to help resolve this ambiguity. In this paper, we present a novel method to enhance MDE performance by encouraging use of known-useful information about the semantics of objects and inter-object relationships within a scene. Our novel ObjCAViT module sources world-knowledge from language models and learns inter-object relationships in the context of the MDE problem using transformer attention, incorporating apparent size information. Our method produces highly accurate depth maps, and we obtain competitive results on the NYUv2 and KITTI datasets. Our ablation experiments show that the use of language and cross-attention within the ObjCAViT module increases performance. Code is released at https://github.com/DylanAuty/ObjCAViT.


title: Coherent cohomology of Shimura varieties, motivic cohomology, and archimedean $L$-packets

abstract: We formulate an analogue of the archimedean motivic action conjecture of Prasanna--Venkatesh for irregular cohomological automorphic forms on Shimura varieties, which appear on multiple degrees of coherent cohomology of Shimura varieties. Such multiple appearances are due to many infinity types in a single $L$-packet with equal minimal $K$-types. Accordingly, we formulate the conjecture comparing periods of forms of different automorphic representations. We provide evidences for the conjecture by showing its compatibility with existing conjectures on periods of automorphic forms. The conjectures suggest the existence of certain operations which move between different infinity types in an $L$-packet.


title: Genetic Programming with Local Scoring

abstract: We present new techniques for synthesizing programs through sequences of mutations. Among these are (1) a method of local scoring assigning a score to each expression in a program, allowing us to more precisely identify buggy code, (2) suppose-expressions which act as an intermediate step to evolving if-conditionals, and (3) cyclic evolution in which we evolve programs through phases of expansion and reduction. To demonstrate their merits, we provide a basic proof-of-concept implementation which we show evolves correct code for several functions manipulating integers and lists, including some that are intractable by means of existing Genetic Programming techniques.


title: NeRFInvertor: High Fidelity NeRF-GAN Inversion for Single-shot Real Image Animation

abstract: Nerf-based Generative models have shown impressive capacity in generating high-quality images with consistent 3D geometry. Despite successful synthesis of fake identity images randomly sampled from latent space, adopting these models for generating face images of real subjects is still a challenging task due to its so-called inversion issue. In this paper, we propose a universal method to surgically fine-tune these NeRF-GAN models in order to achieve high-fidelity animation of real subjects only by a single image. Given the optimized latent code for an out-of-domain real image, we employ 2D loss functions on the rendered image to reduce the identity gap. Furthermore, our method leverages explicit and implicit 3D regularizations using the in-domain neighborhood samples around the optimized latent code to remove geometrical and visual artifacts. Our experiments confirm the effectiveness of our method in realistic, high-fidelity, and 3D consistent animation of real faces on multiple NeRF-GAN models across different datasets.


title: Stochastic particle advection velocimetry (SPAV): theory, simulations, and proof-of-concept experiments

abstract: Particle tracking velocimetry (PTV) is widely used to measure time-resolved, three-dimensional velocity and pressure fields in fluid dynamics research. Inaccurate localization and tracking of particles is a key source of error in PTV, especially for single camera defocusing, plenoptic imaging, and digital in-line holography (DIH) sensors. To address this issue, we developed stochastic particle advection velocimetry (SPAV): a statistical data loss that improves the accuracy of PTV. SPAV is based on an explicit particle advection model that predicts particle positions over time as a function of the estimated velocity field. The model can account for non-ideal effects like drag on inertial particles. A statistical data loss that compares the tracked and advected particle positions, accounting for arbitrary localization and tracking uncertainties, is derived and approximated. We implement our approach using a physics-informed neural network, which simultaneously minimizes the SPAV data loss, a Navier-Stokes physics loss, and a wall boundary loss, where appropriate. Results are reported for simulated and experimental DIH-PTV measurements of laminar and turbulent flows. Our statistical approach significantly improves the accuracy of PTV reconstructions compared to a conventional data loss, resulting in an average reduction of error close to 50%. Furthermore, our framework can be readily adapted to work with other data assimilation techniques like state observer, Kalman filter, and adjoint-variational methods.


title: Behavior of Gordian graphs at infinity

abstract: The present paper refers to the knot theory and is devoted to the study of global properties of Gordian graphs of various local moves. In 2005, Gambaudo and Ghys raised the question of the behavior at infinity of the crossing change Gordian graph. They proposed studying its "ends", that is, unbounded connected components of complements of bounded subsets. We provide a complete description of the behavior at infinity for local moves from three well-known infinite families, namely, rational moves, $C(n)$-moves, and $H(n)$-moves (note that each of the first two families contains the crossing change). Also, in 2005, March\'e gave a different perspective on the behavior of Gordian graphs at infinity, proposing to consider complements of finite subsets. We describe the behavior at infinity in this sense for all local moves with the infinite neighborhood of the unknot in the corresponding Gordian graph.


title: Gaia Data Release 3: All-sky classification of 12.4 million variable sources into 25 classes

abstract: Gaia DR3 contains 1.8 billion sources with G-band photometry, 1.5 billion of which with BP and RP photometry, complemented by positions on the sky, parallax, and proper motion. The median number of field-of-view transits in the three photometric bands is between 40 and 44 measurements per source and covers 34 months of data collection. We pursue a classification of Galactic and extra-galactic objects that are detected as variable by Gaia across the whole sky. Supervised machine learning (eXtreme Gradient Boosting and Random Forest) was employed to generate multi-class, binary, and meta-classifiers that classified variable objects with photometric time series in the G, BP, and RP bands. Classification results comprise 12.4 million sources (selected from a much larger set of potential variable objects) and include about 9 million variable stars classified into 22 variability types in the Milky Way and nearby galaxies such as the Magellanic Clouds and Andromeda, plus thousands of supernova explosions in distant galaxies, 1 million active galactic nuclei, and almost 2.5 million galaxies. The identification of galaxies was made possible by the artificial variability of extended objects as detected by Gaia, so they were published in the galaxy_candidates table of the Gaia DR3 archive, separate from the classifications of genuine variability (in the vari_classifier_result table). The latter contains 24 variability classes or class groups of periodic and non-periodic variables (pulsating, eclipsing, rotating, eruptive, cataclysmic, stochastic, and microlensing), with amplitudes from a few milli-magnitudes to several magnitudes.


title: Multi-level Parareal algorithm with Averaging for Oscillatory Problems

abstract: The present study is an extension of the work done in Parareal convergence for oscillatory pdes with finite time-scale separation (2019), A. G. Peddle, T. Haut, and B. Wingate, [16], and An asymptotic parallel-in-time method for highly oscillatory pdes (2014), T. Haut and B. Wingate, [10], where a two-level Parareal method with averaging is examined. The method proposed in this paper is a multi-level Parareal method with arbitrarily many levels, which is not restricted to the two-level case. We give an asymptotic error estimate which reduces to the two-level estimate for the case when only two levels are considered. Introducing more than two levels has important consequences for the averaging procedure, as we choose separate averaging windows for each of the different levels, which is an additional new feature of the present study. The different averaging windows make the proposed method especially appropriate for multi-scale problems, because we can introduce a level for each intrinsic scale of the problem and adapt the averaging procedure such that we reproduce the behavior of the model on the particular scale resolved by the level. The computational complexity of the new method is investigated and the efficiency is studied on several examples.


title: Half-integer conductance plateau at the $\nu = 2/3$ fractional quantum Hall state in a quantum point contact

abstract: The $\nu = 2/3$ fractional quantum Hall state is the hole-conjugate state to the primary Laughlin $\nu = 1/3$ state. We investigate transmission of edge states through quantum point contacts fabricated on a GaAs/AlGaAs heterostructure designed to have a sharp confining potential. When a small but finite bias is applied, we observe an intermediate conductance plateau with $G = 0.5 \frac{e^2}{h}$. This plateau is observed in multiple QPCs, and persists over a significant range of magnetic field, gate voltage, and source-drain bias, making it a robust feature. Using a simple model which considers scattering and equilibration between counterflowing charged edge modes, we find this half-integer quantized plateau to be consistent with full reflection of an inner counterpropagating -1/3 edge mode while the outer integer mode is fully transmitted. In a QPC fabricated on a different heterostructure which has a softer confining potential, we instead observe an intermediate conductance plateau at $G = \frac{1}{3} \frac{e^2}{h}$. These results provide support for a model at $\nu = 2/3$ in which the edge transitions from a structure having an inner upstream -1/3 charge mode and outer downstream integer mode to a structure with two downstream 1/3 charge modes when the confining potential is tuned from sharp to soft and disorder prevails.


title: Behavior near the extinction time for systems of differential equations with sublinear dissipation terms

abstract: This paper is focused on the the behavior near the extinction time of solutions of systems of ordinary differential equations with a sublinear dissipation term. Suppose the dissipation tern is a product of a linear operator $A$ and a positively homogeneous scalar function $H$ of a negative degree $-\alpha$. Then any solution with an extinction time $T_*$ behaves like $(T_*-t)^{1/\alpha}\xi_*$ as time $t\to T_*^-$, where $\xi_*$ is an eigenvector of $A$. The proof first establishes the asymptotic behaviors of the "Dirichlet" quotient and the normalized solution. They are then combined with a perturbation technique that requires the function $H$ to satisfy some pointwise H\"older-like condition. The result allows the higher order terms to be general and the nonlinear function $H$ to take very complicated forms.


title: Asymptotics of the solution of the Cauchy problem for a singularly perturbed system of hyperbolic equations

abstract: An asymptotic expansion with respect to a small parameter of a singularly perturbed system of hyperbolic equations, describing vibrations of two rigidly connected strings is constructed. Under certain conditions imposed on these problems, the principal term of the asymptotic expansion of the solution is described by the Korteweg-de Vries equation.


title: Impact of Dzyaloshinskii-Moriya and anisotropic exchange interactions on the cubic kagome antiferromagnets Mn$_3$X and Mn$_3$AB

abstract: We perform a symmetry analysis of the ABC-stacked kagome planes of Mn atoms common to the $L1_2$ Mn$_3$X and antiperovskite Mn$_3$AB alloys. In addition to the single-ion-anisotropy and Kitaev-type anisotropic exchange known to stabilize 120{\deg} spin structures in these materials, our analysis results in a staggered Dzyaloshinskii-Moriya interaction and further gamma-type anisotropic exchange between nearest-neighbor spins. The presence of these new terms is shown not to affect the energetics of the 120{\deg} ground-states which explains their absence in prior minimal magnetic models. We go on to show, however, that their influence becomes apparent when spin-wave excitations are considered. We highlight these effects by calculating inelastic neutron scattering cross-sections to illustrate experimental means of probing the existence and relative strengths of these cloaked interactions.


title: Tight Certification of Adversarially Trained Neural Networks via Nonconvex Low-Rank Semidefinite Relaxations

abstract: Adversarial training is well-known to produce high-quality neural network models that are empirically robust against adversarial perturbations. Nevertheless, once a model has been adversarially trained, one often desires a certification that the model is truly robust against all future attacks. Unfortunately, when faced with adversarially trained models, all existing approaches have significant trouble making certifications that are strong enough to be practically useful. Linear programming (LP) techniques in particular face a "convex relaxation barrier" that prevent them from making high-quality certifications, even after refinement with mixed-integer linear programming (MILP) and branch-and-bound (BnB) techniques. In this paper, we propose a nonconvex certification technique, based on a low-rank restriction of a semidefinite programming (SDP) relaxation. The nonconvex relaxation makes strong certifications comparable to much more expensive SDP methods, while optimizing over dramatically fewer variables comparable to much weaker LP methods. Despite nonconvexity, we show how off-the-shelf local optimization algorithms can be used to achieve and to certify global optimality in polynomial time. Our experiments find that the nonconvex relaxation almost completely closes the gap towards exact certification of adversarially trained models.


title: Maxitive monetary risk measures on subsets of $L^0$: worst-case risk assessment and sharp large deviations

abstract: In risk analysis, worst-case risk assessments are performed using maxitive monetary risk measures. In this article, we investigate maxitive monetary risk measures on subsets of \( L^0 \). We prove that a monetary risk measure is maxitive and continuous from below if and only if it is a penalized worst-case risk measure. We characterize the usual worst-case risk measure as the unique maxitive and law-invariant monetary risk measure. We apply the results to large deviation theory by providing a general criterion to establish a sharp large deviation estimate of a sequence of probability measures. Additionally, we prove new limit results for sequences of distorted expectations.


title: Pex: Memory-efficient Microcontroller Deep Learning through Partial Execution

abstract: Embedded and IoT devices, largely powered by microcontroller units (MCUs), could be made more intelligent by leveraging on-device deep learning. One of the main challenges of neural network inference on an MCU is the extremely limited amount of read-write on-chip memory (SRAM, < 512 kB). SRAM is consumed by the neural network layer (operator) input and output buffers, which, traditionally, must be in memory (materialised) for an operator to execute. We discuss a novel execution paradigm for microcontroller deep learning, which modifies the execution of neural networks to avoid materialising full buffers in memory, drastically reducing SRAM usage with no computation overhead. This is achieved by exploiting the properties of operators, which can consume/produce a fraction of their input/output at a time. We describe a partial execution compiler, Pex, which produces memory-efficient execution schedules automatically by identifying subgraphs of operators whose execution can be split along the feature ("channel") dimension. Memory usage is reduced further by targeting memory bottlenecks with structured pruning, leading to the co-design of the network architecture and its execution schedule. Our evaluation of image and audio classification models: (a) establishes state-of-the-art performance in low SRAM usage regimes for considered tasks with up to +2.9% accuracy increase; (b) finds that a 4x memory reduction is possible by applying partial execution alone, or up to 10.5x when using the compiler-pruning co-design, while maintaining the classification accuracy compared to prior work; (c) uses the recovered SRAM to process higher resolution inputs instead, increasing accuracy by up to +3.9% on Visual Wake Words.


title: Exponentiation of coefficient systems and exponential motives

abstract: We construct new six-functor formalisms capturing cohomological invariants of varieties with potentials. Starting from any six-functor formalism $C$, encoded as a coefficient system, we associate a new six-functor formalism $C_{\text{exp}}$. This requires in particular constructing the convolution product symmetric monoidal structure at the $\infty$-categorical level. We study $C_{\text{exp}}$ and how it relates to $C$. We also define motives in $C_{\text{exp}}$ attached to varieties with potential and study their properties.


title: Quantum Initial Conditions for Curved Inflating Universes

abstract: We discuss the challenges of motivating, constructing, and quantising a canonically-normalised inflationary perturbation in spatially curved universes. We show that this has historically proved challenging due to the interaction of non-adiabaticity with spatial curvature. We propose a novel curvature perturbation which is canonically normalised, unique up to a single scalar parameter. This corrected quantisation has potentially observational consequences via modifications to the primordial power spectrum at large angular scales, as well as theoretical implications for quantisation procedures in curved cosmologies filled with a scalar field.


title: Efficient Reinforcement Learning Through Trajectory Generation

abstract: A key barrier to using reinforcement learning (RL) in many real-world applications is the requirement of a large number of system interactions to learn a good control policy. Off-policy and Offline RL methods have been proposed to reduce the number of interactions with the physical environment by learning control policies from historical data. However, their performances suffer from the lack of exploration and the distributional shifts in trajectories once controllers are updated. Moreover, most RL methods require that all states are directly observed, which is difficult to be attained in many settings. To overcome these challenges, we propose a trajectory generation algorithm, which adaptively generates new trajectories as if the system is being operated and explored under the updated control policies. Motivated by the fundamental lemma for linear systems, assuming sufficient excitation, we generate trajectories from linear combinations of historical trajectories. For linear feedback control, we prove that the algorithm generates trajectories with the exact distribution as if they are sampled from the real system using the updated control policy. In particular, the algorithm extends to systems where the states are not directly observed. Experiments show that the proposed method significantly reduces the number of sampled data needed for RL algorithms.


title: Safe and Efficient Reinforcement Learning Using Disturbance-Observer-Based Control Barrier Functions

abstract: Safe reinforcement learning (RL) with assured satisfaction of hard state constraints during training has recently received a lot of attention. Safety filters, e.g., based on control barrier functions (CBFs), provide a promising way for safe RL via modifying the unsafe actions of an RL agent on the fly. Existing safety filter-based approaches typically involve learning of uncertain dynamics and quantifying the learned model error, which leads to conservative filters before a large amount of data is collected to learn a good model, thereby preventing efficient exploration. This paper presents a method for safe and efficient RL using disturbance observers (DOBs) and control barrier functions (CBFs). Unlike most existing safe RL methods that deal with hard state constraints, our method does not involve model learning, and leverages DOBs to accurately estimate the pointwise value of the uncertainty, which is then incorporated into a robust CBF condition to generate safe actions. The DOB-based CBF can be used as a safety filter with model-free RL algorithms by minimally modifying the actions of an RL agent whenever necessary to ensure safety throughout the learning process. Simulation results on a unicycle and a 2D quadrotor demonstrate that the proposed method outperforms a state-of-the-art safe RL algorithm using CBFs and Gaussian processes-based model learning, in terms of safety violation rate, and sample and computational efficiency.


title: Quantum fluctuations in one-dimensional supersolids

abstract: In one-dimension, quantum fluctuations prevent the appearance of long-range order in a supersolid, and only quasi long-range order can survive. We derive this quantum critical behavior and study its influence on the superfluid response and properties of the solid. The analysis is based on an effective low-energy description accounting for the two coupled Goldstone modes. We find that the quantum phase transition from the superfluid to the supersolid is shifted by quantum fluctuations from its mean-field prediction. However, for current experimental parameters with dipolar atomic gases, this shift is not observable and the transition appears to be mean-field like.


title: Mixed Valence Pseudobrookite Al$_{1.75}$Ti$_{1.25}$O$_5$: High Temperature Phase Transitions, Magnetism and Resistivity

abstract: Dark blue single crystals of Al$_{1.75}^{3+}$ Ti$_{1.0}^{4+}$ Ti$_{0.25}^{3+}$O$_5$ were grown with a novel synthesis method based on the reaction of a Ti3+/Ti4+ containing langbeinite melt and Al$_2$O$_3$. The obtained needles crystallize in the pseudobrookite structure and undergo two reversible phase transitions from orthorhombic Cmcm to C2/m first and subsequently to C2 symmetry. Like the known aluminum titanate pseudobrookites, anistropic thermal expansion is observed. The temperature evolution of the crystal structure reveals some insights into the mechanism leading to the decomposition of the Al$_{1.75}$Ti$_{1.25}$O$_5$ above 725$^\circ$C. The magnetic and electrical properties are discussed and compared to other reported aluminum titanate pseudobrookites.


title: Definitions of entwinement

abstract: Entwinement was first introduced as the CFT dual to extremal, non-minimal geodesics of quotiented AdS$_3$ spaces. It was heuristically meant to capture the entanglement of internal, gauged degrees of freedom, for instance in the symmetric product orbifold CFT of the D1/D5 brane system. The literature now contains different, and sometimes inequivalent, field theory definitions of entwinement. In this paper, we build a discretized lattice model of symmetric product orbifold CFTs, and explicitly construct a gauge-invariant reduced density matrix whose von Neumann entropy agrees with the holographic computation of entwinement. Refining earlier notions, our construction gives meaning to the entwinement of an interval of given size within a long string of specific length. We discuss similarities and differences with previous definitions of entwinement.


title: The Hierarchy Problem and the Top Yukawa: An Alternative to Top Partner Solutions

abstract: We discuss the role of the top-quark Yukawa coupling $y_t$ concerning the hierarchy problem and construct an alternative scheme to the conventional solutions with top partners. In traditional models, like SUSY or composite Higgs, top partners cancel the top loop contribution to the Higgs quadratic term. The lack of evidence for such colored partners however drives these models into more and more fine-tuned regions. Here, an alternative means to mitigate the top loop, allowing for natural electroweak symmetry breaking, is presented. Emphasizing that we have not measured the top-Higgs interactions at high scales yet, we envisage scenarios where this interaction is only approaching its sizable strength in the infra-red, but gets strongly suppressed at high scales. We first discuss possible effects via a modification of the running of the top Yukawa coupling. Then, we turn to models where the top Yukawa is generated at one-loop level. Originated from a dimension-six operator, it drops when crossing the mass threshold of new degrees of freedom. In either case, the top partners are replaced by some new top-philic particles with strong interaction. Thus, a very different phenomenology, such as large top mass running and signals in four top final states, is introduced, which will be discussed in detail. With the assistance of this mechanism, the solution to the hierarchy problem can be pushed to a (well-defined) higher scale, and a final test of naturalness might be deferred to a 100 TeV Collider, like the FCC.


title: The Reflected Entanglement Spectrum for Free Fermions

abstract: We consider the reflected entropy and the associated entanglement spectrum for free fermions reduced to two intervals in 1+1 dimensions. Working directly in the continuum theory the reflected entropy can be extracted from the spectrum of a singular integral equation whose kernel is determined by the known free fermion modular evolved correlation function. We find the spectrum numerically and analytically in certain limits. For intervals that almost touch the reflected entanglement spectrum approaches the spectrum of the thermal density matrix. This suggests that the reflected entanglement spectrum is well suited to the task of extracting physical data of the theory directly from the ground state wave function.


title: CLIPascene: Scene Sketching with Different Types and Levels of Abstraction

abstract: In this paper, we present a method for converting a given scene image into a sketch using different types and multiple levels of abstraction. We distinguish between two types of abstraction. The first considers the fidelity of the sketch, varying its representation from a more precise portrayal of the input to a looser depiction. The second is defined by the visual simplicity of the sketch, moving from a detailed depiction to a sparse sketch. Using an explicit disentanglement into two abstraction axes -- and multiple levels for each one -- provides users additional control over selecting the desired sketch based on their personal goals and preferences. To form a sketch at a given level of fidelity and simplification, we train two MLP networks. The first network learns the desired placement of strokes, while the second network learns to gradually remove strokes from the sketch without harming its recognizability and semantics. Our approach is able to generate sketches of complex scenes including those with complex backgrounds (e.g., natural and urban settings) and subjects (e.g., animals and people) while depicting gradual abstractions of the input scene in terms of fidelity and simplicity.


title: CREPE: Open-Domain Question Answering with False Presuppositions

abstract: Information seeking users often pose questions with false presuppositions, especially when asking about unfamiliar topics. Most existing question answering (QA) datasets, in contrast, assume all questions have well defined answers. We introduce CREPE, a QA dataset containing a natural distribution of presupposition failures from online information-seeking forums. We find that 25% of questions contain false presuppositions, and provide annotations for these presuppositions and their corrections. Through extensive baseline experiments, we show that adaptations of existing open-domain QA models can find presuppositions moderately well, but struggle when predicting whether a presupposition is factually correct. This is in large part due to difficulty in retrieving relevant evidence passages from a large text corpus. CREPE provides a benchmark to study question answering in the wild, and our analyses provide avenues for future work in better modeling and further studying the task.


title: Twice-Marked Banana Graphs & Brill-Noether Generality

abstract: We analyze a family of graphs known as banana graphs, with two marked vertices, through the lens of Hurwitz-Brill-Noether theory. As an application, we construct explicit new examples of finite graphs which are Brill-Noether general. These are the first such examples since the analysis of chains of loops by Cools, Draisma, Payne and Robeva. The graphs constructed are chains of loops and "theta graphs," which are banana graphs of genus 2. We also demonstrate that almost all banana graphs of genus at least 3 cannot be used for this purpose, due either to failure of a submodularity condition or to the presence of far too many inversions in certain permutations associated to divisors called transmission permutations.


title: Corner cases of the tau method: symmetrically imposing boundary conditions on hypercubes

abstract: Polynomial spectral methods produce fast, accurate, and flexible solvers for broad ranges of PDEs with one bounded dimension, where the incorporation of general boundary conditions is well understood. However, automating extensions to domains with multiple bounded dimensions is challenging because of difficulties in imposing boundary conditions at shared edges and corners. Past work has included various workarounds, such as the anisotropic inclusion of partial boundary data at shared edges or approaches that only work for specific boundary conditions. Here we present a general system for imposing boundary conditions for elliptic equations on hypercubes. We take an approach based on the generalized tau method, which allows for a wide range of boundary conditions for many different spectral schemes. The generalized tau method has the distinct advantage that the specified polynomial residual determines the exact algebraic solution; afterwards, any stable numerical scheme will find the same result. We can, therefore, provide one-to-one comparisons to traditional collocation and Galerkin methods within the tau framework. As an essential requirement, we add specific tau corrections to the boundary conditions, in addition to the bulk PDE, which produce a unique set of compatible boundary data at shared subsurfaces. Our approach works with general boundary conditions that commute on intersecting subsurfaces, including Dirichlet, Neumann, Robin, and any combination of these on all boundaries. The boundary tau corrections can be made hyperoctahedrally symmetric and easily incorporated into existing solvers. We present the method explicitly for the Poisson equation in two and three dimensions and describe its extension to arbitrary elliptic equations (e.g. biharmonic) in any dimension.


title: SinGRAF: Learning a 3D Generative Radiance Field for a Single Scene

abstract: Generative models have shown great promise in synthesizing photorealistic 3D objects, but they require large amounts of training data. We introduce SinGRAF, a 3D-aware generative model that is trained with a few input images of a single scene. Once trained, SinGRAF generates different realizations of this 3D scene that preserve the appearance of the input while varying scene layout. For this purpose, we build on recent progress in 3D GAN architectures and introduce a novel progressive-scale patch discrimination approach during training. With several experiments, we demonstrate that the results produced by SinGRAF outperform the closest related works in both quality and diversity by a large margin.


title: The canonical global quantization of symplectic varieties in characteristic $p$

abstract: Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In this paper we construct a functorial in $(X, [\eta])$ formal quantization of the category $\mathrm{QCoh}(X)$ of quasi-coherent sheaves on $X$. We also construct its natural extension to a quasi-coherent sheaf of categories $\mathrm{QCoh}_h$ on the product $X^{(1)} \times {\mathbb S}$ of the Frobenius twist of $X$ and the projective line ${\mathbb S}=\mathbb P^1$, viewed as the one-point compactification of $\mathrm{Spec}\ \! k[h]$. Its global sections over $X^{(1)} \times \{0\}$ is the category of quasi-coherent sheaves on $X$. If $X$ is affine, $\mathrm{QCoh}_h$, restricted to $X^{(1)}\times \mathrm{Spf} \ \! k[[h]]$, is equivalent to the category of modules over the distinguished "Frobenius-constant" quantization of $(X,[\eta])$ defined by Bezrukavnikov and Kaledin.


title: Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

abstract: Approximation fixpoint theory (AFT) is an abstract and general algebraic framework for studying the semantics of nonmonotonic logics. It provides a unifying study of the semantics of different formalisms for nonmonotonic reasoning, such as logic programming, default logic and autoepistemic logic. In this paper, we extend AFT to dealing with non-deterministic constructs that allow to handle indefinite information, represented e.g. by disjunctive formulas. This is done by generalizing the main constructions and corresponding results of AFT to non-deterministic operators, whose ranges are sets of elements rather than single elements. The applicability and usefulness of this generalization is illustrated in the context of disjunctive logic programming.


title: Plateau-reduced Differentiable Path Tracing

abstract: Current differentiable renderers provide light transport gradients with respect to arbitrary scene parameters. However, the mere existence of these gradients does not guarantee useful update steps in an optimization. Instead, inverse rendering might not converge due to inherent plateaus, i.e., regions of zero gradient, in the objective function. We propose to alleviate this by convolving the high-dimensional rendering function that maps scene parameters to images with an additional kernel that blurs the parameter space. We describe two Monte Carlo estimators to compute plateau-free gradients efficiently, i.e., with low variance, and show that these translate into net-gains in optimization error and runtime performance. Our approach is a straightforward extension to both black-box and differentiable renderers and enables optimization of problems with intricate light transport, such as caustics or global illumination, that existing differentiable renderers do not converge on.


title: Interpretability with full complexity by constraining feature information

abstract: Interpretability is a pressing issue for machine learning. Common approaches to interpretable machine learning constrain interactions between features of the input, rendering the effects of those features on a model's output comprehensible but at the expense of model complexity. We approach interpretability from a new angle: constrain the information about the features without restricting the complexity of the model. Borrowing from information theory, we use the Distributed Information Bottleneck to find optimal compressions of each feature that maximally preserve information about the output. The learned information allocation, by feature and by feature value, provides rich opportunities for interpretation, particularly in problems with many features and complex feature interactions. The central object of analysis is not a single trained model, but rather a spectrum of models serving as approximations that leverage variable amounts of information about the inputs. Information is allocated to features by their relevance to the output, thereby solving the problem of feature selection by constructing a learned continuum of feature inclusion-to-exclusion. The optimal compression of each feature -- at every stage of approximation -- allows fine-grained inspection of the distinctions among feature values that are most impactful for prediction. We develop a framework for extracting insight from the spectrum of approximate models and demonstrate its utility on a range of tabular datasets.


title: Quadruple Shehu Transform and its Applications

abstract: In this current article, we introduce the quadruple Shehu transform and its inverse. We also introduce some properties of quadruple Shehu transform. The Convolution theorem and its proof are also discussed. Further, to solve homogeneous and nonhomogeneous partial differential equation we use this transform.


title: Improved spectral projection estimates

abstract: We obtain new improved spectral projection estimates on manifolds of non-positive curvature, including sharp ones for relatively large spectral windows for general tori. Our results are stronger than those in an earlier work of the first and third authors [6], and the arguments have been greatly simplified. We more directly make use of pointwise estimates that are implicit in the work of Berard [2] and avoid the use of weak-type spaces that were used in the previous works [6] and [22]. We also simplify and strengthen the bilinear arguments by exploiting the use of microlocal $L^2\to L^{q_c}$ Kakeya-Nikodym estimates and avoiding the of $L^2\to L^2$ ones as in earlier results. This allows us to prove new results for manifolds of negative curvature and some new sharp estimates for tori. We also have new and improved techniques in two dimensions for general manifolds of non-positive curvature.


title: Variational Laplace Autoencoders

abstract: Variational autoencoders employ an amortized inference model to approximate the posterior of latent variables. However, such amortized variational inference faces two challenges: (1) the limited posterior expressiveness of fully-factorized Gaussian assumption and (2) the amortization error of the inference model. We present a novel approach that addresses both challenges. First, we focus on ReLU networks with Gaussian output and illustrate their connection to probabilistic PCA. Building on this observation, we derive an iterative algorithm that finds the mode of the posterior and apply full-covariance Gaussian posterior approximation centered on the mode. Subsequently, we present a general framework named Variational Laplace Autoencoders (VLAEs) for training deep generative models. Based on the Laplace approximation of the latent variable posterior, VLAEs enhance the expressiveness of the posterior while reducing the amortization error. Empirical results on MNIST, Omniglot, Fashion-MNIST, SVHN and CIFAR10 show that the proposed approach significantly outperforms other recent amortized or iterative methods on the ReLU networks.


title: Positive feedback, quenching and sequential super star cluster (SSC) formation in NGC 4945

abstract: We have used ALMA imaging (resolutions 0.1\arcsec-0.4\arcsec) of ground and vibrationally excited lines of HCN and HC$_3$N toward the nucleus of NGC 4945 to trace the protostellar phase in Super Star Clusters (proto-SSC). Out of the 14 identified SSCs, we find that 8 are in the proto-SSC phase showing vibrational HCN emission with 5 of them also showing vibrational HC$_3$N emission. We estimate proto-SSC ages of 5-9.7$\times$10$^4$ yr. The more evolved ones, with only HCN emission, are close to reach the Zero Age Main Sequence (ZAMS; ages $\gtrsim$10$^5$ yr). The excitation of the parental cloud seems to be related to the SSC evolutionary stage, with high ($\sim$65 K) and low ($\sim$25 K) rotational temperatures for the youngest proto and ZAMS SSCs, respectively. Heating by the HII regions in the SSC ZAMS phase seems to be rather local. The youngest proto-SSCs are located at the edges of the molecular outflow, indicating SSC formation by positive feedback in the shocked regions. The proto-SSCs in NGC 4945 seem to be more evolved than in the starburst galaxy NGC 253. We propose that sequential SSC formation can explain the spatial distribution and different ages of the SSCs in both galaxies.


title: On the de Bruijn-Newman constant: a new approach

abstract: The conjecture of Newman, proposed in 1976 by Newman, states that all zeros of $\Xi_\aleph \left( \lambda \right)$ are real for $\aleph \in \mathbb{R}$. Its equivalent statement is that $\mathbb{M}_\aleph \left( \tau \right)$ has purely imaginary zeros for $\aleph \in \mathbb{R}$. It is well known that $\mathbb{M}_\aleph \left( \tau \right)$ is an even entire function of order one. This article addresses the product representation for $\mathbb{M}_\aleph \left( \tau \right)$ by the works of Hadamard and Csordas, Norfolk and Varga. We establish a new class of $\mathbb{M}_\aleph \left( \tau \right)$ by its series and product. Based on the obtained result, we prove that it has only purely imaginary zeros for $\aleph \in \mathbb{R}$. This implies that the conjecture of Newman is true.


title: A numerical study on the role of instabilities on multi-wavelength emission signatures of blazar jets

abstract: Blazars, a class of active galaxies whose jets are relativistic and collimated flows of plasma directed along the line of sight and are prone to a slew of magneto-hydrodynamic (MHD) instabilities. We aim to study the interplay of radiation and particle acceleration processes in regulating the multi-band emission and variability signatures from blazars. In particular, the goal is to decipher the impact of shocks arising due to MHD instabilities in driving the longterm variable emission signatures from blazars. In this regard, we have performed RMHD simulations of a representative section of blazar jet. The jet is evolved using a hybrid Eulerian-Lagrangian framework to account for radiative losses due to synchrotron process and particle acceleration due to shocks. Additionally, we have incorporated and validated radiative losses due to the external Compton (EC) process that are relevant for blazars. We have further compared the effects of different radiation mechanisms through numerical simulation of 2D slab jet as a validation test. Finally, we have carried out a parametric study to quantify the effect of magnetic fields and external radiation field characteristics by performing 3D simulations of a plasma column. The synthetic light curves and spectral energy distribution (SEDs) are analysed to qualitatively understand the impact of instability driven shocks. We observe that shocks produced with the evolution of instabilities give rise to flaring signatures in the high energy band. The impact of such shocks is also evident from the instantaneous flattening of the synchrotron component of the SEDs. At later stages, we observe the transition in X-ray emission from the synchrotron process to that dominated by EC. The inclusion of the EC process also gives rise to gamma-ray emission and shows signatures of mild Compton dominance as typically seen in Low Synchrotron Peaked blazars.


title: NuSTAR Observes Two Bulgeless Galaxies: No Hard X-ray AGN Detected in NGC 4178 or J0851+3926

abstract: The discovery over the last several decades of moderate luminosity AGNs in disk-dominated galaxies - which show no "classical" bulges - suggests that secular mechanisms represent an important growth pathway for supermassive black holes in these systems. We present new follow-up NuSTAR observations of the optically-elusive AGNs in two bulgeless galaxies, NGC 4178 and J0851+3926. NGC 4178 was originally reported as hosting an AGN based on the detection of [Ne V] mid-infrared emission detected by Spitzer, and based on Chandra X-ray imaging it has since been argued to host either a heavily obscured AGN or a supernova remnant. J0851+3926 was originally identified as an AGN based on its WISE mid-IR colors, and follow-up near-infrared spectroscopy previously revealed a hidden broad line region, offering compelling evidence for an optically-elusive AGN. Neither AGN is detected within the new NuSTAR imaging, and we derive upper limits on the hard X-ray 10-24 keV fluxes of $<7.41\times10^{-14}$ erg cm$^{-2}$ s$^{-1}$ and $<9.40\times10^{-14}$ erg cm$^{-2}$ s$^{-1}$ for the AGNs in NGC 4178 and J0851+3926, respectively. If these non-detections are due to large absorbing columns along the line of sight, the non-detections in NGC 4178 and J0851+3926 could be explained with column densities of log($N_{\rm{H}}/\rm{cm}^2)>24.2$ and log($N_{\rm{H}}/\rm{cm}^2)>24.1$, respectively. The nature of the nuclear activity in NGC 4178 remains inconclusive; it is plausible that the [Ne V] traces a period of higher activity in the past, but that the AGN is relatively quiescent now. The non-detection in J0851+3926 and multiwavelength properties are consistent with the AGN being heavily obscured.


title: Model-Free Forecasting of Partially Observable Spatiotemporally Chaotic Systems

abstract: Reservoir computing is a powerful tool for forecasting turbulence because its simple architecture has the computational efficiency to handle large systems. Its implementation, however, often requires full state-vector measurements and knowledge of the system nonlinearities. We use nonlinear projector functions to expand the system measurements to a high dimensional space and then feed them to a reservoir to obtain forecasts. We demonstrate the application of such reservoir computing networks on spatiotemporally chaotic systems, which model several features of turbulence. We show that using radial basis functions as nonlinear projectors enables complex system nonlinearities to be captured robustly even with only partial observations and without knowing the governing equations. Finally, we show that when measurements are sparse or incomplete and noisy, such that even the governing equations become inaccurate, our networks can still produce reasonably accurate forecasts, thus paving the way towards model-free forecasting of practical turbulent systems.


title: Investigating the Feasibility of Virtual Reality for Emotion Regulation with Youth

abstract: The ability to regulate and cope with strong emotions is essential for maintaining our mental health and well-being. However, learning how to emotionally regulate can be a bit of a mystery since it is largely an invisible process and it can be difficult to conjure up strong emotions to practice regulating them. This is where virtual reality (or VR) comes in. VR is a computer-generated 3D environment where the user experiences a simulated world through 360 visuals, stereo audio, and 3D interaction with tracking sensors. VR is a very visceral experience that feels 'real' even though you know it isn't. If a virtual ball came flying at your head, you would duck! My past research shows that we can provide VR experiences that elicit strong emotional reactions so that people can practice coping and regulating their emotional responses. For example, I helped create a VR experience of being in nature and then going into space to see the Earth; it created the emotional reaction of awe and wonder that led to a deeper connection with our planet. This shows that emotional VR experiences can impact our emotions and behaviour both in VR and beyond. My research proposal is to investigate the feasibility of emotion regulation skills development in VR with teenagers. The idea is to simulate emotional experiences (like the 1st day of high school) as a means to develop emotion regulation skills so that they will be able to better cope with their emotions. I will lead the design, development, and evaluation of this VR experience and work directly with youth to meet their needs. This proof of concept prototype is the first step in developing a VR platform that provides youth with an effective way to regulate their emotions and improve their mental health from their own homes, which will lead to improvements in education, socio-emotional, and economic outcomes for youth in Canada and globally.


title: Slowing Plants, Slowing Home

abstract: The Anthropocene is causing a global crisis in recent decades. Facing this challenge, increasing attempts are being made to explore the more-than-human-centred perspective in HCI and design. Our research sets out to explore the ways of experiencing and interacting with plants with a case study on the slowness of plants. Utilising existing time-lapse technology, we investigate the role of IoT technologies in associating biological slowness with the networked technological environment of the home. In the experiment, we chose the humidity level of the environment as the variable to synchronise the movement of smart curtains and plants. We propose a relationship-centred strategy that uses an inclusive feature of a microclimate, like humidity, instead of the plant itself, for human-plant interaction. Furthermore, it indicates a 'plant-decentred' perspective to spark critical reflection on the taken-for-granted perception of isolating a person or a plant as an individual entity.


title: Advanced Audio Aid for Blind People

abstract: One of the most important senses in human life is vision, without it life is totally filled with darkness. According to WHO globally millions of people are visually impaired estimated there are 285 million, of whom some millions are blind. Unfortunately, there are around 2.4 million people are blind in our beloved country Pakistan. Human are a crucial part of society and the blind community is a main part of society. The technologies are grown so far to make the life of humans easier more comfortable and more reliable for. However, this disability of the blind community would reduce their chance of using such innovative products. Therefore, the visually impaired community believe that they are burden to other societies and they do not capture in normal activities separates the blind people from society and because of this believe did not participate in the normally tasks of society . The visual impair people mainly face most of the problems in this real-time The aim of this work is to turn the real time world into an audio world by telling blind person about the objects in their way and can read printed text. This will enable blind persons to identify the things and read the text without any external help just by using the object detection and reading system in real time. Objective of this work: i) Object detection ii) Read printed text, using state-of-the-art (SOTA) technology.


title: Interpreting Deep Learning by Establishing a Rigorous Corresponding Relationship with Renormalization Group

abstract: In this paper, we focus on the interpretability of deep neural network. Our work is motivated by the renormalization group (RG) in statistical mechanics. RG plays the role of a bridge connecting microscopical properties and macroscopic properties, the coarse graining procedure of it is quite similar with the calculation between layers in the forward propagation of the neural network algorithm. From this point of view we establish a rigorous corresponding relationship between the deep neural network (DNN) and RG. Concretely, we consider the most general fully connected network structure and real space RG of one dimensional Ising model. We prove that when the parameters of neural network achieve their optimal value, the limit of coupling constant of the output of neural network equals to the fixed point of the coupling constant in RG of one dimensional Ising model. This conclusion shows that the training process of neural network is equivalent to RG and therefore the network extract macroscopic feature from the input data just like RG.


title: Operationalizing Specifications, In Addition to Test Sets for Evaluating Constrained Generative Models

abstract: In this work, we present some recommendations on the evaluation of state-of-the-art generative models for constrained generation tasks. The progress on generative models has been rapid in recent years. These large-scale models have had three impacts: firstly, the fluency of generation in both language and vision modalities has rendered common average-case evaluation metrics much less useful in diagnosing system errors. Secondly, the same substrate models now form the basis of a number of applications, driven both by the utility of their representations as well as phenomena such as in-context learning, which raise the abstraction level of interacting with such models. Thirdly, the user expectations around these models and their feted public releases have made the technical challenge of out of domain generalization much less excusable in practice. Subsequently, our evaluation methodologies haven't adapted to these changes. More concretely, while the associated utility and methods of interacting with generative models have expanded, a similar expansion has not been observed in their evaluation practices. In this paper, we argue that the scale of generative models could be exploited to raise the abstraction level at which evaluation itself is conducted and provide recommendations for the same. Our recommendations are based on leveraging specifications as a powerful instrument to evaluate generation quality and are readily applicable to a variety of tasks.


title: A Light-weight, Effective and Efficient Model for Label Aggregation in Crowdsourcing

abstract: Due to the noises in crowdsourced labels, label aggregation (LA) has emerged as a standard procedure to post-process crowdsourced labels. LA methods estimate true labels from crowdsourced labels by modeling worker qualities. Most existing LA methods are iterative in nature. They need to traverse all the crowdsourced labels multiple times in order to jointly and iteratively update true labels and worker qualities until convergence. Consequently, these methods have high space and time complexities. In this paper, we treat LA as a dynamic system and model it as a Dynamic Bayesian network. From the dynamic model we derive two light-weight algorithms, LA\textsuperscript{onepass} and LA\textsuperscript{twopass}, which can effectively and efficiently estimate worker qualities and true labels by traversing all the labels at most twice. Due to the dynamic nature, the proposed algorithms can also estimate true labels online without re-visiting historical data. We theoretically prove the convergence property of the proposed algorithms, and bound the error of estimated worker qualities. We also analyze the space and time complexities of the proposed algorithms and show that they are equivalent to those of majority voting. Experiments conducted on 20 real-world datasets demonstrate that the proposed algorithms can effectively and efficiently aggregate labels in both offline and online settings even if they traverse all the labels at most twice.


title: The Hitchiker's Guide to Successful Living Lab Operations

abstract: Living labs have been established across different countries to evaluate how the interaction between humans and buildings can be optimized to improve comfort, health, and energy savings. However, existing living labs can be too project-specific, not scalable, and inflexible for comparison against other labs. Furthermore, the lack of transparency in its software infrastructure inhibits opportunities for critique and reuse, reducing the platform's overall potential. In the face of climate change and global energy shortage, we envision the future of living labs to be open source and scalable to support the integration of different IoTs, subjective measures, human-building interactions, security, and privacy contexts. In this work, we share our living lab software stack and present our experience developing a platform that supports qualitative and quantitative experiments from the ground up. We propose the first open-source interoperable living lab platform for multidisciplinary smart environment research.


title: Resolving Uncertain Case Identifiers in Interaction Logs: A User Study

abstract: Modern software systems are able to record vast amounts of user actions, stored for later analysis. One of the main types of such user interaction data is click data: the digital trace of the actions of a user through the graphical elements of an application, website or software. While readily available, click data is often missing a case notion: an attribute linking events from user interactions to a specific process instance in the software. In this paper, we propose a neural network-based technique to determine a case notion for click data, thus enabling process mining and other process analysis techniques on user interaction data. We describe our method, show its scalability to datasets of large dimensions, and we validate its efficacy through a user study based on the segmented event log resulting from interaction data of a mobility sharing company. Interviews with domain experts in the company demonstrate that the case notion obtained by our method can lead to actionable process insights.


title: Configurational Forces in Penetration Processes

abstract: With a loose reference to problems of penetration in biomechanics (for instance, a nanoparticle penetrating through a cell's membrane or a cell sucked with a pipette), the role of configurational forces is investigated during the process in which a compliant intruder is inserted into an elastic structure. For insertion into a rigid constraint, a configurational force proportional to the square of the strain needed to deform the body, which is penetrating, is found. This force has a more complex structure when the compliance of the constraint is kept into account, but in all cases, it tends to expel the penetrating body.


title: Effects of target anisotropy on harmonic measure and mean first-passage time

abstract: In this paper, we investigate the influence of target anisotropy on two characteristics of diffusion-controlled reactions: harmonic measure density and mean first-passage time. First, we compute the volume-averaged harmonic measure density on prolate and oblate spheroidal targets inside a confining domain in three dimensions. This allows us to quantify the uniformity of this density in the small target limit. Second, we derive an explicit expression of the mean first-passage time to such targets and analyze the effect of anisotropy. In particular, we illustrate the accuracy of the capacitance approximation for small targets.


title: Combined numerical methods for solving time-varying semilinear differential-algebraic equations with the use of spectral projectors and recalculation

abstract: Two combined numerical methods for solving time-varying semilinear differential-algebraic equations (DAEs) are obtained. The convergence and correctness of the methods are proved. When constructing the methods, time-varying spectral projectors which can be found numerically are used. This enables to numerically solve the DAE in the original form without additional analytical transformations. To improve the accuracy of the second method, recalculation is used. The developed methods are applicable to the DAEs with the continuous nonlinear part which may not be differentiable in time, and the restrictions of the type of the global Lipschitz condition are not used in the presented theorems on the DAE global solvability and the convergence of the methods. This extends the scope of methods. The fulfillment of the conditions of the global solvability theorem ensures the existence of a unique exact solution on any given time interval, which enables to seek an approximate solution also on any time interval. Numerical examples illustrating the capabilities of the methods and their effectiveness in various situations are provided. To demonstrate this, mathematical models of the dynamics of electrical circuits are considered. It is shown that the results of the theoretical and numerical analyses of these models are consistent.


title: Autotuning PID control using Actor-Critic Deep Reinforcement Learning

abstract: This work is an exploratory research concerned with determining in what way reinforcement learning can be used to predict optimal PID parameters for a robot designed for apple harvest. To study this, an algorithm called Advantage Actor Critic (A2C) is implemented on a simulated robot arm. The simulation primarily relies on the ROS framework. Experiments for tuning one actuator at a time and two actuators a a time are run, which both show that the model is able to predict PID gains that perform better than the set baseline. In addition, it is studied if the model is able to predict PID parameters based on where an apple is located. Initial tests show that the model is indeed able to adapt its predictions to apple locations, making it an adaptive controller.


title: Attentional Ptycho-Tomography (APT) for three-dimensional nanoscale X-ray imaging with minimal data acquisition and computation time

abstract: Noninvasive X-ray imaging of nanoscale three-dimensional objects, e.g. integrated circuits (ICs), generally requires two types of scanning: ptychographic, which is translational and returns estimates of complex electromagnetic field through ICs; and tomographic scanning, which collects complex field projections from multiple angles. Here, we present Attentional Ptycho-Tomography (APT), an approach trained to provide accurate reconstructions of ICs despite incomplete measurements, using a dramatically reduced amount of angular scanning. Training process includes regularizing priors based on typical IC patterns and the physics of X-ray propagation. We demonstrate that APT with 12-time reduced angles achieves fidelity comparable to the gold standard with the original set of angles. With the same set of reduced angles, APT also outperforms baseline reconstruction methods. In our experiments, APT achieves 108-time aggregate reduction in data acquisition and computation without compromising quality. We expect our physics-assisted machine learning framework could also be applied to other branches of nanoscale imaging.


title: Scalable Pathogen Detection from Next Generation DNA Sequencing with Deep Learning

abstract: Next-generation sequencing technologies have enhanced the scope of Internet-of-Things (IoT) to include genomics for personalized medicine through the increased availability of an abundance of genome data collected from heterogeneous sources at a reduced cost. Given the sheer magnitude of the collected data and the significant challenges offered by the presence of highly similar genomic structure across species, there is a need for robust, scalable analysis platforms to extract actionable knowledge such as the presence of potentially zoonotic pathogens. The emergence of zoonotic diseases from novel pathogens, such as the influenza virus in 1918 and SARS-CoV-2 in 2019 that can jump species barriers and lead to pandemic underscores the need for scalable metagenome analysis. In this work, we propose MG2Vec, a deep learning-based solution that uses the transformer network as its backbone, to learn robust features from raw metagenome sequences for downstream biomedical tasks such as targeted and generalized pathogen detection. Extensive experiments on four increasingly challenging, yet realistic diagnostic settings, show that the proposed approach can help detect pathogens from uncurated, real-world clinical samples with minimal human supervision in the form of labels. Further, we demonstrate that the learned representations can generalize to completely unrelated pathogens across diseases and species for large-scale metagenome analysis. We provide a comprehensive evaluation of a novel representation learning framework for metagenome-based disease diagnostics with deep learning and provide a way forward for extracting and using robust vector representations from low-cost next generation sequencing to develop generalizable diagnostic tools.


title: Impact of Business Analytics and Decision Support Systems on e-commerce in SMEs

abstract: With the advancement in the marketing channel, the use of e-commerce has increased tremendously therefore the basic objective of this study is to analyze the impact of business analytics and decision support systems on e-commerce in small and medium enterprises. Small and medium enterprises are becoming a priority for economies as by implementing some policies and regulations these businesses could encourage gain development on an international level. The objective of this study is to analyze the impact of business analytics and decision support systems on e-commerce in small and medium enterprises that investigate the relationship between business analytics and decision support systems in e-commerce businesses. To evaluate the impact of both on e-commerce the, descriptive analysis approach is adopted that reviews the research of different scholars who adopted different plans and strategies to predict the relationship between e-commerce and business analytics. The study contributes to the literature by examining the impact of business analytics in SMEs and provides a comprehensive understanding of its relationship with the decision support system. After analyzing the impact of business analytics and decision support system in SMEs, the research also highlights some limitations and provide future recommendations that are helpful to overcome these limitations.


title: Knowledge-augmented Deep Learning and Its Applications: A Survey

abstract: Deep learning models, though having achieved great success in many different fields over the past years, are usually data hungry, fail to perform well on unseen samples, and lack of interpretability. Various prior knowledge often exists in the target domain and their use can alleviate the deficiencies with deep learning. To better mimic the behavior of human brains, different advanced methods have been proposed to identify domain knowledge and integrate it into deep models for data-efficient, generalizable, and interpretable deep learning, which we refer to as knowledge-augmented deep learning (KADL). In this survey, we define the concept of KADL, and introduce its three major tasks, i.e., knowledge identification, knowledge representation, and knowledge integration. Different from existing surveys that are focused on a specific type of knowledge, we provide a broad and complete taxonomy of domain knowledge and its representations. Based on our taxonomy, we provide a systematic review of existing techniques, different from existing works that survey integration approaches agnostic to taxonomy of knowledge. This survey subsumes existing works and offers a bird's-eye view of research in the general area of knowledge-augmented deep learning. The thorough and critical reviews of numerous papers help not only understand current progresses but also identify future directions for the research on knowledge-augmented deep learning.


title: ESG In Corporate Filings: An AI Perspective

abstract: Our main contribution is that we are using AI to discern the key drivers of variation of ESG mentions in the corporate filings. With AI, we are able to separate "dimensions" along which the corporate management presents their ESG policies to the world. These dimensions are 1) diversity, 2) hazardous materials, and 3) greenhouse gasses. We are also able to identify separate "background" dimensions of unofficial ESG activity in the firms, which provide more color into the firms and their shareholders' thinking about their ESG processes. We then measure investors' response to the ESG activity "factors". The AI techniques presented can assist in building better, more reliable and useful ESG ratings systems.


title: Experimental demonstration of superdirective spherical dielectric antenna

abstract: An experimental demonstration of directivities exceeding the fundamental Kildal limit, a phenomenon called superdirectivity, is provided for spherical high-index dielectric antennas with an electric dipole excitation. A directivity factor of about 10 with a total efficiency of more than 80\% for an antenna having a size of a third of the wavelength was measured. High directivities are shown to be associated with constructive interference of particular electric and magnetic modes of an open spherical resonator. Both analytic solution for a point dipole and a full-wave rigorous simulation for a realistic dipole antenna were employed for optimization and analysis, yielding an excellent agreement between experimentally measured and numerically predicted directivities. The use of high-index low-loss ceramics can significantly reduce the physical size of such antennas while maintaining their overall high radiation efficiency. Such antennas can be attractive for various high-frequency applications, such as antennas for the Internet of things, smart city systems, 5G network systems, and others. The demonstrated concept can be scaled in frequency.


title: Abstract Model of Continuous-Time Quantum Walk Based on Bernoulli Functionals and Perfect State Transfer

abstract: In this paper, we present an abstract model of continuous-time quantum walk (CTQW) based on Bernoulli functionals and show that the model has perfect state transfer (PST), among others. Let $\mathfrak{h}$ be the space of square integrable complex-valued Bernoulli functionals, which is infinitely dimensional. First, we construct on a given subspace $\mathfrak{h}_L \subset \mathfrak{h}$ a self-adjoint operator $\Delta_L$ via the canonical unitary involutions on $\mathfrak{h}$, and by analyzing its spectral structure we find out all its eigenvalues. Then, we introduce an abstract model of CTQW with $\mathfrak{h}_L$ as its state space, which is governed by the Schr\"{o}dinger equation with $\Delta_L$ as the Hamiltonian. We define the time-average probability distribution of the model, obtain an explicit expression of the distribution, and, especially, we find the distribution admits a symmetry property. We also justify the model by offering a graph-theoretic interpretation to the operator $\Delta_L$ as well as to the model itself. Finally, we prove that the model has PST at time $t=\frac{\pi}{2}$. Some other interesting results are also proven of the model.

categories: quant-ph math-ph math.FA math.MP math.PR


title: Location analysis of players in UEFA EURO 2020 and 2022 using generalized valuation of defense by estimating probabilities

abstract: Analyzing defenses in team sports is generally challenging because of the limited event data. Researchers have previously proposed methods to evaluate football team defense by predicting the events of ball gain and being attacked using locations of all players and the ball. However, they did not consider the importance of the events, assumed the perfect observation of all 22 players, and did not fully investigated the influence of the diversity (e.g., nationality and sex). Here, we propose a generalized valuation method of defensive teams by score-scaling the predicted probabilities of the events. Using the open-source location data of all players in broadcast video frames in football games of men's Euro 2020 and women's Euro 2022, we investigated the effect of the number of players on the prediction and validated our approach by analyzing the games. Results show that for the predictions of being attacked, scoring, and conceding, all players' information was not necessary, while that of ball gain required information on three to four offensive and defensive players. With game analyses we explained the excellence in defense of finalist teams in Euro 2020. Our approach might be applicable to location data from broadcast video frames in football games.


title: Optical multi-task learning using multi-wavelength diffractive deep neural networks

abstract: Photonic neural networks are brain-inspired information processing technology using photons instead of electrons to perform artificial intelligence (AI) tasks. However, existing architectures are designed for a single task but fail to multiplex different tasks in parallel within a single monolithic system due to the task competition that deteriorates the model performance. This paper proposes a novel optical multi-task learning system by designing multi-wavelength diffractive deep neural networks (D2NNs) with the joint optimization method. By encoding multi-task inputs into multi-wavelength channels, the system can increase the computing throughput and significantly alle-viate the competition to perform multiple tasks in parallel with high accuracy. We design the two-task and four-task D2NNs with two and four spectral channels, respectively, for classifying different inputs from MNIST, FMNIST, KMNIST, and EMNIST databases. The numerical evaluations demonstrate that, under the same network size, mul-ti-wavelength D2NNs achieve significantly higher classification accuracies for multi-task learning than single-wavelength D2NNs. Furthermore, by increasing the network size, the multi-wavelength D2NNs for simultaneously performing multiple tasks achieve comparable classification accuracies with respect to the individual training of multiple single-wavelength D2NNs to perform tasks separately. Our work paves the way for developing the wave-length-division multiplexing technology to achieve high-throughput neuromorphic photonic computing and more general AI systems to perform multiple tasks in parallel.