title: Interplay of Disorder and Point-Gap Topology: Chiral Modes, Localization and Non-Hermitian Anderson Skin Effect in One Dimension

abstract: Symmetry-protected spectral topology in non-Hermitian systems has interesting manifestations such as dynamically anomalous chiral currents and skin effect. We study the interplay between symmetries and disorder in a paradigmatic model for spectral topology - the non-reciprocal Su-Schrieffer-Heeger model. We numerically study the effect of disorder in on-site and non-reciprocal hopping terms. Using a real-space winding number, we investigate the impact of disorder on the spectral topology and the anomalous chiral modes under periodic boundary conditions. We discover a remarkable robustness of chiral current under disorder. The value of the chiral current retains the clean system value, is independent of disorder strength and is tracked completely by the real-space winding number for class A which has no symmetries, and class AIII, which has a sub-lattice symmetry. In class $D^\dagger$, which has $PT$-symmetric on-site gain and loss terms, we find that the disorder-averaged current is not robust while the winding number is robust. We study the localization physics using the inverse participation ratio and local density of states. As the disorder strength is increased, a mobility-edge phase with a finite winding appears. The abrupt vanishing of the winding number marks a transition from a partially localized to a fully localized phase. Under open boundary conditions, we observe a series of transitions through skin effect-partial skin effect-no skin effect phases. Further, we study the non-Hermitian Anderson skin effect (NHASE) for different symmetry classes, where the system without skin effect develops a disorder-driven skin effect at intermediate disorder values. Remarkably while NHASE is present for different classes, the real-space winding number shows a direct correspondence with it only when all symmetries are broken.


title: Improved well-posedness for the Triple-Deck and related models via concavity

abstract: We establish linearized well-posedness of the Triple-Deck system in Gevrey-$\frac32$ regularity in the tangential variable, under concavity assumptions on the background flow. Due to the recent result \cite{DietertGV}, one cannot expect a generic improvement of the result of \cite{IyerVicol} to a weaker regularity class than real analyticity. Our approach exploits two ingredients, through an analysis of space-time modes on the Fourier-Laplace side: i) stability estimates at the vorticity level, that involve the concavity assumption and a subtle iterative scheme adapted from \cite{GVMM} ii) smoothing properties of the Benjamin-Ono like equation satisfied by the Triple-Deck flow at infinity. Interestingly, our treatment of the vorticity equation also adapts to the so-called hydrostatic Navier-Stokes equations: we show for this system a similar Gevrey-$\frac32$ linear well-posedness result for concave data, improving at the linear level the recent work \cite{MR4149066}.


title: Exceptional sequences in the derived category of a gentle algebra

abstract: In this paper, using the correspondence of gentle algebras and dissections of marked surfaces, we study full exceptional sequences in the perfect derived category $\mathsf{K^b(A)}$ of a gentle algebra $\mathsf{A}$. We show that full exceptional sequences in $\mathsf{K^b(A)}$ exist if and only if the associated marked surface has no punctures and has at least two marked points on the boundary. Furthermore, by using induction on cuts of surfaces, we characterise when an exceptional sequence can be completed to a full exceptional sequence. If the genus of the associated surface is zero then we show that the action of the braid group together with the grading shift on full exceptional sequences in $\mathsf{K^b(A)}$ is transitive. For the case of surfaces of higher genus, we reduce the problem of transitivity to the problem of the existence of certain sequences of pairs of exceptional objects. Finally, we interpret the duality of a full exceptional sequence induced by the longest element in the associated symmetric group using Koszul duality.


title: Wideband Time Frequency Coding

abstract: In the wideband regime, the performance of many of the popular modulation schemes such as code division multiple access and orthogonal frequency division multiplexing falls quickly without channel state information. Obtaining the amount of channel information required for these techniques to work is costly and difficult, which suggests the need for schemes which can perform well without channel state information. In this work, we present one such scheme, called wideband time frequency coding, which achieves rates on the order of the additive white Gaussian noise capacity without requiring any channel state information. Wideband time frequency coding combines impulsive frequency shift keying with pulse position modulation, which allows for information to be encoded in both the transmitted frequency and the transmission time period. On the detection side, we propose a non-coherent decoder based on a square-law detector, akin to the optimal decoder for frequency shift keying based signals. The impacts of various parameters on the symbol error probability and capacity of wideband time frequency coding are investigated, and the results show that it is robust to shadowing and highly fading channels. When compared to other modulation schemes such as code division multiple access, orthogonal frequency division multiplexing, pulse position modulation, and impulsive frequency shift keying without channel state information, wideband time frequency coding achieves higher rates in the wideband regime, and performs comparably in smaller bandwidths.


title: 2022 Review of Data-Driven Plasma Science

abstract: Data science and technology offer transformative tools and methods to science. This review article highlights latest development and progress in the interdisciplinary field of data-driven plasma science (DDPS). A large amount of data and machine learning algorithms go hand in hand. Most plasma data, whether experimental, observational or computational, are generated or collected by machines today. It is now becoming impractical for humans to analyze all the data manually. Therefore, it is imperative to train machines to analyze and interpret (eventually) such data as intelligently as humans but far more efficiently in quantity. Despite the recent impressive progress in applications of data science to plasma science and technology, the emerging field of DDPS is still in its infancy. Fueled by some of the most challenging problems such as fusion energy, plasma processing of materials, and fundamental understanding of the universe through observable plasma phenomena, it is expected that DDPS continues to benefit significantly from the interdisciplinary marriage between plasma science and data science into the foreseeable future.


title: Sharing Construction Safety Inspection Experiences and Site-Specific Knowledge through XR-Augmented Visual Assistance

abstract: Early identification of on-site hazards is crucial for accident prevention in the construction industry. Currently, the construction industry relies on experienced safety advisors (SAs) to identify site hazards and generate mitigation measures to guide field workers. However, more than half of the site hazards remain unrecognized due to the lack of field experience or site-specific knowledge of some SAs. To address these limitations, this study proposed an Extended Reality (XR)-augmented visual assistance framework, including Virtual Reality (VR) and Augmented Reality (AR), that enables capturing and transferring subconscious inspection strategies between workers or workers/machines for a construction safety inspection. The purpose is to enhance SA's training and real-time situational awareness for identifying on-site hazards while reducing their mental workloads.


title: Attribution-based Explanations that Provide Recourse Cannot be Robust

abstract: Different users of machine learning methods require different explanations, depending on their goals. To make machine learning accountable to society, one important goal is to get actionable options for recourse, which allow an affected user to change the decision $f(x)$ of a machine learning system by making limited changes to its input $x$. We formalize this by providing a general definition of recourse sensitivity, which needs to be instantiated with a utility function that describes which changes to the decisions are relevant to the user. This definition applies to local attribution methods, which attribute an importance weight to each input feature. It is often argued that such local attributions should be robust, in the sense that a small change in the input $x$ that is being explained, should not cause a large change in the feature weights. However, we prove formally that it is in general impossible for any single attribution method to be both recourse sensitive and robust at the same time. It follows that there must always exist counterexamples to at least one of these properties. We provide such counterexamples for several popular attribution methods, including LIME, SHAP, Integrated Gradients and SmoothGrad. Our results also cover counterfactual explanations, which may be viewed as attributions that describe a perturbation of $x$. We further discuss possible ways to work around our impossibility result, for instance by allowing the output to consist of sets with multiple attributions, and we provide sufficient conditions for specific classes of continuous functions to be recourse sensitive. Finally, we strengthen our impossibility result for the restricted case where users are only able to change a single attribute of $x$, by providing an exact characterization of the functions $f$ to which impossibility applies.


title: Using Source Code Metrics for Predicting Metamorphic Relations at Method Level

abstract: Metamorphic testing (TM) examines the relations between inputs and outputs of test runs. These relations are known as metamorphic relations (MR). Currently, MRs are handpicked and require in-depth knowledge of the System Under Test (SUT), as well as its problem domain. As a result, the identification and selection of high-quality MRs is a challenge. \citeauthor{PMR1} suggested the Predicting Metamorphic Relations (PMR) approach for automatic prediction of applicable MRs picked from a predefined list. PMR is based on a Support Vector Machine (SVM) model using features derived from the Control Flow Graphs (CFGs) of 100 Java methods. The original study of \citeauthor{PMR1} showed encouraging results, but developing classification models from CFG-related features is costly. In this paper, we aim at developing a PMR approach that is less costly without losing performance. We complement the original PMR approach by considering other than CFG-related features. We define 21 features that can be directly extracted from source code and build several classifiers, including SVM models. Our results indicate that using the original CFG-based method-level features, in particular for a SVM with random walk kernel (RWK), achieve better predictions in terms of AUC-ROC for most of the candidate MRs than our models. However, for one of the candidate MRs, using source code features achieved the best AUC-ROC result (greater than 0.8).


title: Surface Analysis with Vision Transformers

abstract: The extension of convolutional neural networks (CNNs) to non-Euclidean geometries has led to multiple frameworks for studying manifolds. Many of those methods have shown design limitations resulting in poor modelling of long-range associations, as the generalisation of convolutions to irregular surfaces is non-trivial. Recent state-of-the-art performance of Vision Transformers (ViTs) demonstrates that a general-purpose architecture, which implements self-attention, could replace the local feature learning operations of CNNs. Motivated by the success of attention-modelling in computer vision, we extend ViTs to surfaces by reformulating the task of surface learning as a sequence-to-sequence problem and propose a patching mechanism for surface meshes. We validate the performance of the proposed Surface Vision Transformer (SiT) on two brain age prediction tasks in the developing Human Connectome Project (dHCP) dataset and investigate the impact of pre-training on model performance. Experiments show that the SiT outperforms many surface CNNs, while indicating some evidence of general transformation invariance. Code available at https://github.com/metrics-lab/surface-vision-transformers


title: A sharp $\alpha$-robust $L1$ scheme on graded meshes for two-dimensional time tempered fractional Fokker-Planck equation

abstract: In this paper, we are concerned with the numerical solution for the two-dimensional time fractional Fokker-Planck equation with tempered fractional derivative of order $\alpha$. Although some of its variants are considered in many recent numerical analysis papers, there are still some significant differences. Here we first provide the regularity estimates of the solution. And then a modified $L$1 scheme inspired by the middle rectangle quadrature formula on graded meshes is employed to compensate for the singularity of the solution at $t\rightarrow 0^{+}$, while the five-point difference scheme is used in space. Stability and convergence are proved in the sence of $L^{\infty}$ norm, then a sharp error estimate $\mathscr{O}(\tau^{\min\{2-\alpha, r\alpha\}})$ is derived on graded meshes. Furthermore, unlike the bounds proved in the previous works, the constant multipliers in our analysis do not blow up as the Caputo fractional derivative $\alpha$ approaches the classical value of 1. Finally, we perform the numerical experiments to verify the effectiveness and convergence order of the presented algorithms.


title: D$^2$NeRF: Self-Supervised Decoupling of Dynamic and Static Objects from a Monocular Video

abstract: Given a monocular video, segmenting and decoupling dynamic objects while recovering the static environment is a widely studied problem in machine intelligence. Existing solutions usually approach this problem in the image domain, limiting their performance and understanding of the environment. We introduce Decoupled Dynamic Neural Radiance Field (D$^2$NeRF), a self-supervised approach that takes a monocular video and learns a 3D scene representation which decouples moving objects, including their shadows, from the static background. Our method represents the moving objects and the static background by two separate neural radiance fields with only one allowing for temporal changes. A naive implementation of this approach leads to the dynamic component taking over the static one as the representation of the former is inherently more general and prone to overfitting. To this end, we propose a novel loss to promote correct separation of phenomena. We further propose a shadow field network to detect and decouple dynamically moving shadows. We introduce a new dataset containing various dynamic objects and shadows and demonstrate that our method can achieve better performance than state-of-the-art approaches in decoupling dynamic and static 3D objects, occlusion and shadow removal, and image segmentation for moving objects.


title: Origin of oscillatory structures in the magnetothermal conductivity of the putative Kitaev magnet $\alpha$-RuCl$_3$

abstract: The layered honeycomb magnet $\alpha$-RuCl$_3$ has been suggested to exhibit a field-induced quantum spin liquid state, in which the reported large thermal Hall effect close to the half-quantized value still remains a subject of debate. Recently, oscillatory structures of the magnetothermal conductivity were reported and interpreted as quantum oscillations of charge-neutral particles. To investigate the origin of these oscillatory structures, we performed a comprehensive measurement of the in-plane magnetothermal conductivity $\kappa(H)$ down to low temperature (100 mK), as well as magnetization $M$, for single crystals grown by two different techniques: Bridgman and chemical vapor transport. The results show a series of dips in $\kappa(H)$ and peaks in the field derivative of $M$ located at the same fields independent of the growth method. We argue that these structures originate from field-induced phase transitions rather than quantum oscillations. The positions of several of these features are temperature-dependent and connected to the magnetic phase transitions in zero field: the main transition at 7 K and weaker additional transitions which likely arise from secondary phases at 10 K and 13 K. In contrast to what is expected for quantum oscillations, the magnitude of the structure in $\kappa(H)$ is smaller for the higher conductivity crystal and decreases rapidly upon cooling below 1 K.


title: On the $k$-independence number of graph products

abstract: The $k$-independence number of a graph, $\alpha_k(G)$, is the maximum size of a set of vertices at pairwise distance greater than $k$, or alternatively, the independence number of the $k$-th power graph $G^k$. Although it is known that $\alpha_k(G)=\alpha(G^k)$, this, in general, does not hold for most graph products, and thus the existing bounds for $\alpha$ of graph products cannot be used. In this paper we present sharp upper bounds for the $k$-independence number of several graph products. In particular, we focus on the Cartesian, tensor, strong, and lexicographic products. Some of the bounds previously known in the literature for $k=1$ follow as corollaries of our main results.


title: Multi-agent Multi-target Path Planning in Markov Decision Processes

abstract: Missions for autonomous systems often require agents to visit multiple targets in complex operating conditions. This work considers the problem of visiting a set of targets in minimum time by a team of non-communicating agents in a Markov decision process (MDP). The single-agent problem is at least NP-complete by reducing it to a Hamiltonian path problem. We first discuss an optimal algorithm based on Bellman's optimality equation that is exponential in the number of target states. Then, we trade-off optimality for time complexity by presenting a suboptimal algorithm that is polynomial at each time step. We prove that the proposed algorithm generates optimal policies for certain classes of MDPs. Extending our procedure to the multi-agent case, we propose a target partitioning algorithm that approximately minimizes the expected time to visit the targets. We prove that our algorithm generates optimal partitions for clustered target scenarios. We present the performance of our algorithms on random MDPs and gridworld environments inspired by ocean dynamics. We show that our algorithms are much faster than the optimal procedure and more optimal than the currently available heuristic.


title: Complex interplay between 3d and 4f magnetic systems and magnetic chirality in multiferroic Dy$_{1-x}$Ho$_x$MnO$_3$ ($x = 0, 0.2$)

abstract: Structural, magnetic and multiferroic properties of single crystals of Dy$_{1-x}$Ho$_x$MnO$_3$ ($x = 0, 0.2$) were investigated by the different methods of polarized and classical neutron diffraction and macroscopic methods in order to determine the effect of Ho doping on the magneto-electric behavior of the title compounds. It is shown that substitution by Ho of 20% on the position of Dy do not change overall crystal symmetry of compound. It remains of Pnma type for both compositions down to the very low temperatures. Magnetic ordering do not change the crystal structure. Precise magnetic order and it detailed temperature and field evolution both in the pristine and substituted compounds we determined using single crystal neutron diffraction and magnetization measurements. The results show a complex interplay between transition metal and rear earth magnetic sub lattices leading to so-called "Mn-controlled" and "Dy-controlled" magnetic states. Using polarized neutron diffraction 3D character of rear earth magnetic order in Dy$_{0.8}$Ho$_{0.2}$MnO$_3$ in contract to DyMnO$_3$ and occurrence of the chiral type magnetic structure on Mn subsystem could be revealed. The influence of the external electric field on the magnetic chirality could be directly evidenced, proving strong magneto-electric coupling in multiferroic phase. The study of the electric polarization under similar temperatures and fields on the same samples provides the direct correlation between the results of the microscopic and macroscopic investigations.


title: Bayesian inference of signatures of hyperons inside neutron stars

abstract: The possible signatures of the presence of hyperons inside neutron stars are discussed within a Bayesian inference framework applied to a set of models based on a density-dependent relativistic mean-field description of hadronic matter. Nuclear matter properties, hypernuclei properties, and observational information are used to constrain the models. General properties of neutron stars such as the maximum mass, radius, tidal deformability, proton fraction, hyperon fraction, and speed of sound are discussed. It is shown that the two solar mass constraint imposes that neutron stars described by equations of state that include hyperons have on average a larger radius, $\gtrsim 0.5$km, and a larger tidal deformability, $\gtrsim 150$, than the stars determined from a nucleonic equation of state, while the speed of sound at the center of the star is more than 25\% smaller. If a 1.4 M$_\odot$ star with a radius $\lesssim 12.5$ km is measured it is quite improbable that a massive star described by the same model contains hyperons. A similar conclusion is drawn if a two solar mass star with a radius $\lesssim 11.5$ km or a neutron star with a mass above 2.2 M$_\odot$ is observed: the possible hyperon content of these stars is ruled out or very reduced. The hyperon presence inside neutron stars is compatible with the present NICER mass-radius observations of the pulsars PSR J0030+0451 and PSR J0740+6620 and the gravitational wave detection GW170817. {It is shown that if the polytropic index $\gamma=\partial\ln p/\partial\ln\epsilon$ takes values of the order of 1.75 at not too large densities, it may indicate the onset of some kind of exotic matter, but not necessarily of deconfined quark matter.


title: Sectorial Mertens and Mirsky formulae for imaginary quadratic number fields

abstract: We extend formulae of Mertens and Mirsky on the asymptotic behaviour of the standard Euler function to the Euler functions of principal rings of integers of imaginary quadratic number fields, giving versions in angular sector and with congruences.


title: Homogenisation of local colloid evolution induced by reaction and diffusion

abstract: We consider the homogenisation of a coupled reaction-diffusion process in a porous medium with evolving microstructure. A concentration-dependent reaction rate at the interface of the pores with the solid matrix induces a concentration-dependent evolution of the domain. Hence, the evolution is fully coupled with the reaction-diffusion process. In order to pass to the homogenisation limit, we employ the two-scale-transformation method. Thus, we homogenise a highly non-linear problem in a periodic and in time cylindrical domain instead. The homogenisation result is a reaction-diffusion equation, which is coupled with an internal variable, representing the local evolution of the pore structure.


title: SaccadeNet: Towards Real-time Saccade Prediction for Virtual Reality Infinite Walking

abstract: Modern Redirected Walking (RDW) techniques significantly outperform classical solutions. Nevertheless, they are often limited by their heavy reliance on eye-tracking hardware embedded within the VR headset to reveal redirection opportunities. We propose a novel RDW technique that leverages the temporary blindness induced due to saccades for redirection. However, unlike the state-of-the-art, our approach does not impose additional eye-tracking hardware requirements. Instead, SaccadeNet, a deep neural network, is trained on head rotation data to predict saccades in real-time during an apparent head rotation. Rigid transformations are then applied to the virtual environment for redirection during the onset duration of these saccades. However, SaccadeNet is only effective when combined with moderate cognitive workload that elicits repeated head rotations. We present three user studies. The relationship between head and gaze directions is confirmed in the first user study, followed by the training data collection in our second user study. Then, after some fine-tuning experiments, the performance of our RDW technique is evaluated in a third user study. Finally, we present the results demonstrating the efficacy of our approach. It allowed users to walk up a straight virtual distance of at least 38 meters from within a $3.5 x 3.5m^2$ of the physical tracked space. Moreover, our system unlocks saccadic redirection on widely used consumer-grade hardware without eye-tracking.


title: Spin field-effect transistors based on massless birefringent Dirac fermions in polar Dirac semimetals

abstract: The Datta-Das-type spin field-effect transistor, using a two-dimensional electron gas in a semiconductor heterostructure as a channel, plays a key role in spintronics. Here, we theoretically present a type of spin field-effect transistor based on massless birefringent Dirac fermions in polar Dirac semimetals. The manipulation of spin arises from the existence of the strong spin-orbit coupling, polar space groups, and Dirac cones in a single phase. The oscillatory channel conductance can be controlled by the sign of gate voltage in addition to its magnitude due to the gapless band structures of polar Dirac semimetals. Such spin field-effect transistor provides guidance for the further design of spintronic devices.


title: Geo-Neus: Geometry-Consistent Neural Implicit Surfaces Learning for Multi-view Reconstruction

abstract: Recently, neural implicit surfaces learning by volume rendering has become popular for multi-view reconstruction. However, one key challenge remains: existing approaches lack explicit multi-view geometry constraints, hence usually fail to generate geometry consistent surface reconstruction. To address this challenge, we propose geometry-consistent neural implicit surfaces learning for multi-view reconstruction. We theoretically analyze that there exists a gap between the volume rendering integral and point-based signed distance function (SDF) modeling. To bridge this gap, we directly locate the zero-level set of SDF networks and explicitly perform multi-view geometry optimization by leveraging the sparse geometry from structure from motion (SFM) and photometric consistency in multi-view stereo. This makes our SDF optimization unbiased and allows the multi-view geometry constraints to focus on the true surface optimization. Extensive experiments show that our proposed method achieves high-quality surface reconstruction in both complex thin structures and large smooth regions, thus outperforming the state-of-the-arts by a large margin.


title: Mixing Properties of Stable Random Fields Indexed by Amenable and Hyperbolic Groups

abstract: We show that any stationary symmteric $\alpha$-stable ($S\alpha S$) random field indexed by a countable amenable group $G$ is weakly mixing if and only if it is generated by a null action, extending works of Samorodnitsky and Wang-Roy-Stoev for abelian groups to all amenable groups. This enables us to improve significantly the domain of a recently discovered connection to von Neumann algebras. We also establish ergodicity of stationary $S\alpha S$ fields associated with boundary and double boundary actions of a hyperbolic group $G$, where the boundary is equipped with either the Patterson-Sullivan or the hitting measure of a random walk, and the double boundary is equipped with the Bowen-Margulis-Sullivan measure.


title: LEXpander: applying colexification networks to automated lexicon expansion

abstract: Recent approaches to text analysis from social media and other corpora rely on word lists to detect topics, measure meaning, or to select relevant documents. These lists are often generated by applying computational lexicon expansion methods to small, manually-curated sets of root words. Despite the wide use of this approach, we still lack an exhaustive comparative analysis of the performance of lexicon expansion methods and how they can be improved with additional linguistic data. In this work, we present LEXpander, a method for lexicon expansion that leverages novel data on colexification, i.e. semantic networks connecting words based on shared concepts and translations to other languages. We evaluate LEXpander in a benchmark including widely used methods for lexicon expansion based on various word embedding models and synonym networks. We find that LEXpander outperforms existing approaches in terms of both precision and the trade-off between precision and recall of generated word lists in a variety of tests. Our benchmark includes several linguistic categories and sentiment variables in English and German. We also show that the expanded word lists constitute a high-performing text analysis method in application cases to various corpora. This way, LEXpander poses a systematic automated solution to expand short lists of words into exhaustive and accurate word lists that can closely approximate word lists generated by experts in psychology and linguistics.


title: Intrinsic Cheeger energy for the intrinsically Lipschitz constants

abstract: Recently, in the metric spaces, Le Donne and the author introduced the so-called intrinsically Lipschitz sections. The main aim of this note is to adapt Cheeger theory for the classical Lipschitz constants in our new context. More precisely, we define the intrinsic Cheeger energy from $L^2(Y,\R^s)$ to $[0,+\infty],$ where $(Y,d_Y,\mm)$ is a metric measure space and we characterize it in terms of a suitable notion of relaxed slope. In order to get this result, in more general context, we establish some properties of the intrinsically Lipschitz constants like the Leibniz formula, the product formula and the upper semicontinuity of the asymptotic intrinsically Lipschitz constant.


title: The Relation between Type III Radio Storms and CIR Energetic Particles

abstract: We report on a study that compares energetic particle fluxes in corotating interaction regions (CIRs) associated with type III radio storm with those in nonstorm CIRs. In a case study, we compare the CIR particle events on 2010October 21 and 2005 November 2. The two events have similar solar and solar wind circumstances, except that the former is associated with a type III radio storm and has a higher CIR particle flux and fluence. We also perform a statistical study, which shows that the proton and electron fluences are higher in the storm associated CIRs by factor of about 6 and 8, respectively than those in the storm-free CIRs.


title: Predicting Day-Ahead Stock Returns using Search Engine Query Volumes: An Application of Gradient Boosted Decision Trees to the S&P 100

abstract: The internet has changed the way we live, work and take decisions. As it is the major modern resource for research, detailed data on internet usage exhibits vast amounts of behavioral information. This paper aims to answer the question whether this information can be facilitated to predict future returns of stocks on financial capital markets. In an empirical analysis it implements gradient boosted decision trees to learn relationships between abnormal returns of stocks within the S&P 100 index and lagged predictors derived from historical financial data, as well as search term query volumes on the internet search engine Google. Models predict the occurrence of day-ahead stock returns in excess of the index median. On a time frame from 2005 to 2017, all disparate datasets exhibit valuable information. Evaluated models have average areas under the receiver operating characteristic between 54.2% and 56.7%, clearly indicating a classification better than random guessing. Implementing a simple statistical arbitrage strategy, models are used to create daily trading portfolios of ten stocks and result in annual performances of more than 57% before transaction costs. With ensembles of different data sets topping up the performance ranking, the results further question the weak form and semi-strong form efficiency of modern financial capital markets. Even though transaction costs are not included, the approach adds to the existing literature. It gives guidance on how to use and transform data on internet usage behavior for financial and economic modeling and forecasting.


title: Natural radioactivity & associated radiological health hazards in soil around Van Eck Power plant, Windhoek, Namibia

abstract: Primordial radionuclides such as uranium (U-238), thorium (Th-232), and potassium (K-40) and their progenies contained in coal can be a source of concern to the environment in a thermal coal-powered plant. In this study, the average activity concentrations of Ra-226, Th-232, and K-40 in the soil around the Van Eck coal-fired power plant in Namibia were determined by the means of the gamma-ray spectrometry technique. The obtained average activity concentrations in the studied soil samples range from 7.74 to 20.04, 8.59 to 31.74, and 108.8 to 484.9 Bq/kg with an average of 13.33, 17.73, and 269.6 Bq/kg for Ra-226, Th-232, and K-40, respectively, which were slightly higher than the Windhoek background values. The estimated radiological health hazards were within the prescribed international reference values. The dose rates to which the residents within the 15 km radius are subjected due to combustion activities at the power plant were within the public exposure limits.


title: Open-source Framework for Transonic Boundary Layer Natural Transition Analysis over Complex Geometries in Nektar++

abstract: We introduce an open-source and unified framework for transition analysis for laminar boundary layer natural transition at transonic conditions and over complex geometries, where surface irregularities may be present. Different computational tools are integrated in the framework, and therefore overcomes the difficulties of two separate and usually quite disparate processes when using $e^N$ method for transition analysis. To generate a baseflow with desired pressure distribution, appropriate pressure compatible inflow boundary condition needs to be developed and enforced. We first derive the system for 1D numerical stability analysis for boundary conditions, and construct three types of pressure compatible inflow. We demonstrate that the entropy-pressure compatible inflow is stable unlike other choices. Compared with the steady baseflow computation, the unsteady simulation for the disturbance field is more challenging for compressible flows because of complex wave reflections, which can easily contaminate the results. We therefore introduce the two main sources of wave decontamination and corresponding methods to obtain clean signal. The workflow within the framework is then verified by computing the disturbance development in 2D flat plate boundary layer flows at Mach $0.8$. The $N$-factors over a clean flat plate and a flat plate with a forward-facing step are generated, and agree well with the results from the reference. Following the verified workflow, We then analyze the disturbance growth on a wing section of the CRM-NLF model. The N-factor on a 2D simulation is generated and studied.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: coVariance Neural Networks

abstract: Graph neural networks (GNN) are an effective framework that exploit inter-relationships within graph-structured data for learning. Principal component analysis (PCA) involves the projection of data on the eigenspace of the covariance matrix and draws similarities with the graph convolutional filters in GNNs. Motivated by this observation, we study a GNN architecture, called coVariance neural network (VNN), that operates on sample covariance matrices as graphs. We theoretically establish the stability of VNNs to perturbations in the covariance matrix, thus, implying an advantage over standard PCA-based data analysis approaches that are prone to instability due to principal components associated with close eigenvalues. Our experiments on real-world datasets validate our theoretical results and show that VNN performance is indeed more stable than PCA-based statistical approaches. Moreover, our experiments on multi-resolution datasets also demonstrate that VNNs are amenable to transferability of performance over covariance matrices of different dimensions; a feature that is infeasible for PCA-based approaches.


title: Reflective Graphs, Ollivier curvature, effective diameter, and rigidity

abstract: We give a discrete Bonnet Myers type theorem for the effective diameter assuming positive Ollivier curvature. We prove that this diameter bound is attained if and only if the graph is a cocktail party graph, a Johnson graph, a halved cube, a Schl\"afli graph, a Gosset graph, or a cartesian product of the mentioned graphs with same Ollivier curvature. As a key step in the proof, we introduce the notion of reflective graphs as graphs such that for any two neighbors there exists a certain self-inverse automorphism mapping one neighbor to another. We classify these graphs as arbitrary cartesian products of the graphs mentioned before.


title: Automatic diagnosis of schizophrenia and attention deficit hyperactivity disorder in rs-fMRI modality using convolutional autoencoder model and interval type-2 fuzzy regression

abstract: Nowadays, many people worldwide suffer from brain disorders, and their health is in danger. So far, numerous methods have been proposed for the diagnosis of Schizophrenia (SZ) and attention deficit hyperactivity disorder (ADHD), among which functional magnetic resonance imaging (fMRI) modalities are known as a popular method among physicians. This paper presents an SZ and ADHD intelligent detection method of resting-state fMRI (rs-fMRI) modality using a new deep learning method. The University of California Los Angeles dataset, which contains the rs-fMRI modalities of SZ and ADHD patients, has been used for experiments. The FMRIB software library toolbox first performed preprocessing on rs-fMRI data. Then, a convolutional Autoencoder model with the proposed number of layers is used to extract features from rs-fMRI data. In the classification step, a new fuzzy method called interval type-2 fuzzy regression (IT2FR) is introduced and then optimized by genetic algorithm, particle swarm optimization, and gray wolf optimization (GWO) techniques. Also, the results of IT2FR methods are compared with multilayer perceptron, k-nearest neighbors, support vector machine, random forest, and decision tree, and adaptive neuro-fuzzy inference system methods. The experiment results show that the IT2FR method with the GWO optimization algorithm has achieved satisfactory results compared to other classifier methods. Finally, the proposed classification technique was able to provide 72.71% accuracy.


title: Learning Generalizable Risk-Sensitive Policies to Coordinate in Decentralized Multi-Agent General-Sum Games

abstract: While various multi-agent reinforcement learning methods have been proposed in cooperative settings, few works investigate how self-interested learning agents achieve mutual coordination in decentralized general-sum games and generalize pre-trained policies to non-cooperative opponents during execution. In this paper, we present Generalizable Risk-Sensitive Policy (GRSP). GRSP learns the distributions over agent's return and estimate a dynamic risk-seeking bonus to discover risky coordination strategies. Furthermore, to avoid overfitting to training opponents, GRSP learns an auxiliary opponent modeling task to infer opponents' types and dynamically alter corresponding strategies during execution. Empirically, agents trained via GRSP can achieve mutual coordination during training stably and avoid being exploited by non-cooperative opponents during execution. To the best of our knowledge, it is the first method to learn coordination strategies between agents both in iterated prisoner's dilemma (IPD) and iterated stag hunt (ISH) without shaping opponents or rewards, and firstly consider generalization during execution. Furthermore, we show that GRSP can be scaled to high-dimensional settings.


title: A Reduction to Binary Approach for Debiasing Multiclass Datasets

abstract: We propose a novel reduction-to-binary (R2B) approach that enforces demographic parity for multiclass classification with non-binary sensitive attributes via a reduction to a sequence of binary debiasing tasks. We prove that R2B satisfies optimality and bias guarantees and demonstrate empirically that it can lead to an improvement over two baselines: (1) treating multiclass problems as multi-label by debiasing labels independently and (2) transforming the features instead of the labels. Surprisingly, we also demonstrate that independent label debiasing yields competitive results in most (but not all) settings. We validate these conclusions on synthetic and real-world datasets from social science, computer vision, and healthcare.


title: On Darmon's program for the generalized Fermat equation, I

abstract: In 2000, Darmon described a program to study the generalized Fermat equation using modularity of abelian varieties of $\mathrm{GL}_2$-type over totally real fields. The original approach was based on hard open conjectures, which have made it difficult to apply in practice. In this paper, building on the progress surrounding the modular method from the last two decades, we analyze and expand the current limits of this program by developing all the necessary ingredients to use Frey abelian varieties for new Diophantine applications. In particular, we deal with all but the fifth and last step in the modular method for Fermat equations of signature $(r,r,p)$ in almost full generality. As an application, for all integers $n \geq 2$, we give a resolution of the generalized Fermat equation $x^{11} + y^{11} = z^n$ for solutions $(a,b,c)$ such that $a + b$ satisfies certain $2$- or $11$-adic conditions. Moreover, the tools developed can be viewed as an advance in addressing a difficulty not treated in Darmon's original program: even assuming `big image' conjectures about residual Galois representations, one still needs to find a method to eliminate Hilbert newforms at the Serre level which do not have complex multiplication. In fact, we are able to reduce the problem of solving $x^5 + y^5 = z^p$ to Darmon's `big image conjecture', thus completing a line of ideas suggested in his original program, and notably only needing the Cartan case of his conjecture.


title: Snapture -- A Novel Neural Architecture for Combined Static and Dynamic Hand Gesture Recognition

abstract: As robots are expected to get more involved in people's everyday lives, frameworks that enable intuitive user interfaces are in demand. Hand gesture recognition systems provide a natural way of communication and, thus, are an integral part of seamless Human-Robot Interaction (HRI). Recent years have witnessed an immense evolution of computational models powered by deep learning. However, state-of-the-art models fall short in expanding across different gesture domains, such as emblems and co-speech. In this paper, we propose a novel hybrid hand gesture recognition system. Our architecture enables learning both static and dynamic gestures: by capturing a so-called "snapshot" of the gesture performance at its peak, we integrate the hand pose along with the dynamic movement. Moreover, we present a method for analyzing the motion profile of a gesture to uncover its dynamic characteristics and which allows regulating a static channel based on the amount of motion. Our evaluation demonstrates the superiority of our approach on two gesture benchmarks compared to a CNNLSTM baseline. We also provide an analysis on a gesture class basis that unveils the potential of our Snapture architecture for performance improvements. Thanks to its modular implementation, our framework allows the integration of other multimodal data like facial expressions and head tracking, which are important cues in HRI scenarios, into one architecture. Thus, our work contributes both to gesture recognition research and machine learning applications for non-verbal communication with robots.


title: Justifying Social-Choice Mechanism Outcome for Improving Participant Satisfaction

abstract: In many social-choice mechanisms the resulting choice is not the most preferred one for some of the participants, thus the need for methods to justify the choice made in a way that improves the acceptance and satisfaction of said participants. One natural method for providing such explanations is to ask people to provide them, e.g., through crowdsourcing, and choosing the most convincing arguments among those received. In this paper we propose the use of an alternative approach, one that automatically generates explanations based on desirable mechanism features found in theoretical mechanism design literature. We test the effectiveness of both of the methods through a series of extensive experiments conducted with over 600 participants in ranked voting, a classic social choice mechanism. The analysis of the results reveals that explanations indeed affect both average satisfaction from and acceptance of the outcome in such settings. In particular, explanations are shown to have a positive effect on satisfaction and acceptance when the outcome (the winning candidate in our case) is the least desirable choice for the participant. A comparative analysis reveals that the automatically generated explanations result in similar levels of satisfaction from and acceptance of an outcome as with the more costly alternative of crowdsourced explanations, hence eliminating the need to keep humans in the loop. Furthermore, the automatically generated explanations significantly reduce participants' belief that a different winner should have been elected compared to crowdsourced explanations.


title: Braille Letter Reading: A Benchmark for Spatio-Temporal Pattern Recognition on Neuromorphic Hardware

abstract: Spatio-temporal pattern recognition is a fundamental ability of the brain which is required for numerous real-world activities. Recent deep learning approaches have reached outstanding accuracies in such tasks, but their implementation on conventional embedded solutions is still very computationally and energy expensive. Tactile sensing in robotic applications is a representative example where real-time processing and energy efficiency are required. Following a brain-inspired computing approach, we propose a new benchmark for spatio-temporal tactile pattern recognition at the edge through Braille letter reading. We recorded a new Braille letters dataset based on the capacitive tactile sensors of the iCub robot's fingertip. We then investigated the importance of spatial and temporal information as well as the impact of event-based encoding on spike-based computation. Afterward, we trained and compared feedforward and recurrent Spiking Neural Networks (SNNs) offline using Backpropagation Through Time (BPTT) with surrogate gradients, then we deployed them on the Intel Loihi neuromorphic chip for fast and efficient inference. We compared our approach to standard classifiers, in particular to the Long Short-Term Memory (LSTM) deployed on the embedded NVIDIA Jetson GPU, in terms of classification accuracy, power, energy consumption, and delay. Our results show that the LSTM reaches ~97% of accuracy, outperforming the recurrent SNN by ~17% when using continuous frame-based data instead of event-based inputs. However, the recurrent SNN on Loihi with event-based inputs is ~500 times more energy-efficient than the LSTM on Jetson, requiring a total power of only ~30 mW. This work proposes a new benchmark for tactile sensing and highlights the challenges and opportunities of event-based encoding, neuromorphic hardware, and spike-based computing for spatio-temporal pattern recognition at the edge.


title: A Review of Mobile Mapping Systems: From Sensors to Applications

abstract: The evolution of mobile mapping systems (MMSs) has gained more attention in the past few decades. MMSs have been widely used to provide valuable assets in different applications. This has been facilitated by the wide availability of low-cost sensors, the advances in computational resources, the maturity of the mapping algorithms, and the need for accurate and on-demand geographic information system (GIS) data and digital maps. Many MMSs combine hybrid sensors to provide a more informative, robust, and stable solution by complementing each other. In this paper, we present a comprehensive review of the modern MMSs by focusing on 1) the types of sensors and platforms, where we discuss their capabilities, limitations, and also provide a comprehensive overview of recent MMS technologies available in the market, 2) highlighting the general workflow to process any MMS data, 3) identifying the different use cases of mobile mapping technology by reviewing some of the common applications, and 4) presenting a discussion on the benefits, challenges, and share our views on the potential research directions.


title: Seven recommendations for alternatives to the common analysis of variance (ANOVA) with application in the life sciences -- using R

abstract: Standard ANOVA is among the most widely used tests in the life sciences and beyond. Several alternatives are proposed to provide simultaneous confidence intervals, ensure tight control of FWER, be robust to variance heterogeneity, avoid pre-testing for global effect (for one-way designs) or irrelevant interaction (for multi-way designs) prior to multiple comparison procedures. On the basis of selected examples, the R programs are provided for this purpose.


title: Median Pixel Difference Convolutional Network for Robust Face Recognition

abstract: Face recognition is one of the most active tasks in computer vision and has been widely used in the real world. With great advances made in convolutional neural networks (CNN), lots of face recognition algorithms have achieved high accuracy on various face datasets. However, existing face recognition algorithms based on CNNs are vulnerable to noise. Noise corrupted image patterns could lead to false activations, significantly decreasing face recognition accuracy in noisy situations. To equip CNNs with built-in robustness to noise of different levels, we proposed a Median Pixel Difference Convolutional Network (MeDiNet) by replacing some traditional convolutional layers with the proposed novel Median Pixel Difference Convolutional Layer (MeDiConv) layer. The proposed MeDiNet integrates the idea of traditional multiscale median filtering with deep CNNs. The MeDiNet is tested on the four face datasets (LFW, CA-LFW, CP-LFW, and YTF) with versatile settings on blur kernels, noise intensities, scales, and JPEG quality factors. Extensive experiments show that our MeDiNet can effectively remove noisy pixels in the feature map and suppress the negative impact of noise, leading to achieving limited accuracy loss under these practical noises compared with the standard CNN under clean conditions.


title: CogVideo: Large-scale Pretraining for Text-to-Video Generation via Transformers

abstract: Large-scale pretrained transformers have created milestones in text (GPT-3) and text-to-image (DALL-E and CogView) generation. Its application to video generation is still facing many challenges: The potential huge computation cost makes the training from scratch unaffordable; The scarcity and weak relevance of text-video datasets hinder the model understanding complex movement semantics. In this work, we present 9B-parameter transformer CogVideo, trained by inheriting a pretrained text-to-image model, CogView2. We also propose multi-frame-rate hierarchical training strategy to better align text and video clips. As (probably) the first open-source large-scale pretrained text-to-video model, CogVideo outperforms all publicly available models at a large margin in machine and human evaluations.


title: 3D-model ShapeNet Core Classification using Meta-Semantic Learning

abstract: Understanding 3D point cloud models for learning purposes has become an imperative challenge for real-world identification such as autonomous driving systems. A wide variety of solutions using deep learning have been proposed for point cloud segmentation, object detection, and classification. These methods, however, often require a considerable number of model parameters and are computationally expensive. We study a semantic dimension of given 3D data points and propose an efficient method called Meta-Semantic Learning (Meta-SeL). Meta-SeL is an integrated framework that leverages two input 3D local points (input 3D models and part-segmentation labels), providing a time and cost-efficient, and precise projection model for a number of 3D recognition tasks. The results indicate that Meta-SeL yields competitive performance in comparison with other complex state-of-the-art work. Moreover, being random shuffle invariant, Meta-SeL is resilient to translation as well as jittering noise.


title: FaIRCoP: Facial Image Retrieval using Contrastive Personalization

abstract: Retrieving facial images from attributes plays a vital role in various systems such as face recognition and suspect identification. Compared to other image retrieval tasks, facial image retrieval is more challenging due to the high subjectivity involved in describing a person's facial features. Existing methods do so by comparing specific characteristics from the user's mental image against the suggested images via high-level supervision such as using natural language. In contrast, we propose a method that uses a relatively simpler form of binary supervision by utilizing the user's feedback to label images as either similar or dissimilar to the target image. Such supervision enables us to exploit the contrastive learning paradigm for encapsulating each user's personalized notion of similarity. For this, we propose a novel loss function optimized online via user feedback. We validate the efficacy of our proposed approach using a carefully designed testbed to simulate user feedback and a large-scale user study. Our experiments demonstrate that our method iteratively improves personalization, leading to faster convergence and enhanced recommendation relevance, thereby, improving user satisfaction. Our proposed framework is also equipped with a user-friendly web interface with a real-time experience for facial image retrieval.


title: Bridging Effective Field Theories and Generalized Hydrodynamics

abstract: Generalized Hydrodynamics (GHD) has recently been devised as a method to solve the dynamics of integrable quantum many-body systems beyond the mean-field approximation. In its original form, a major limitation is the inability to predict equal-time correlations. Here we present a new method to treat thermal fluctuations of a 1D bosonic degenerate gas within the GHD framework. We show how the standard results using the thermodynmaic Bethe ansatz can be obtained through sampling of collective bosonic excitations, revealing the connection or duality between GHD and effective field theories such as the standard hydrodynamic equations. As an example, we study the damping of a coherently excited density wave and show how equal-time phase correlation functions can be extracted from the GHD evolution. Our results present a conceptually new way of treating fluctuations beyond the linearized regime of GHD.


title: Deep-learning-based reconstruction of the neutrino direction and energy for in-ice radio detectors

abstract: Ultra-high-energy (UHE) neutrinos ($>10^{16}$ eV) can be measured cost-effectively using in-ice radio detection, which has been explored successfully in pilot arrays. A large radio detector is currently being constructed in Greenland with the potential to measure the first UHE neutrino, and an order-of-magnitude more sensitive detector is being planned with IceCube-Gen2. For such shallow radio detector stations, we present an end-to-end reconstruction of the neutrino energy and direction using deep neural networks (DNNs) developed and tested on simulated data. The DNN determines the energy with a standard deviation of a factor of two around the true energy ($\sigma \approx$ 0.3 in $\log_{10}(E)$), which meets the science requirements of UHE neutrino detectors. For the first time, we are able to predict the neutrino direction precisely for all event topologies including the complicated electron neutrino charged-current ($\nu_e$-CC) interactions. The obtained angular resolution shows a narrow peak at $\mathcal{O}$($1^\circ)$ with extended tails that push the 68\% quantile for non-$\nu_e$-CC (resp. $\nu_e$-CC interactions) to $4^\circ (5^\circ)$. This highlights the advantages of DNNs for modeling the complex correlations in radio detector data, thereby enabling measurement of neutrino energy and direction.


title: A parton branching with transverse momentum dependent splitting functions

abstract: Off-shell, transverse-momentum dependent splitting functions can be defined from the high-energy limit of partonic decay amplitudes. Based on these splitting functions, we construct Sudakov form factors and formulate a new parton branching algorithm. We present a first Monte Carlo implementation of the algorithm. We use the numerical results to verify explicitly momentum sum rules for TMD parton distributions.


title: On Maximizing Sums of Non-monotone Submodular and Linear Functions

abstract: We study the problem of Regularized Unconstrained Submodular Maximization (RegularizedUSM) as defined by Bodek and Feldman [BF22]. In this problem, you are given a non-monotone non-negative submodular function $f:2^{\mathcal N}\to \mathbb R_{\ge 0}$ and a linear function $\ell:2^{\mathcal N}\to \mathbb R$ over the same ground set $\mathcal N$, and the objective is to output a set $T\subseteq \mathcal N$ approximately maximizing the sum $f(T)+\ell(T)$. Specifically, an algorithm is said to provide an $(\alpha,\beta)$-approximation for RegularizedUSM if it outputs a set $T$ such that $\mathbb E[f(T)+\ell(T)]\ge \max_{S\subseteq \mathcal N}[\alpha \cdot f(S)+\beta\cdot \ell(S)]$. We also study the setting where $S$ and $T$ are subject to a matroid constraint, which we refer to as Regularized Constrained Submodular Maximization (RegularizedCSM). For both RegularizedUSM and RegularizedCSM, we provide improved $(\alpha,\beta)$-approximation algorithms for the cases of non-positive $\ell$, non-negative $\ell$, and unconstrained $\ell$. In particular, for the case of unconstrained $\ell$, we are the first to provide nontrivial $(\alpha,\beta)$-approximations for RegularizedCSM, and the $\alpha$ we obtain for RegularizedUSM is superior to that of [BF22] for all $\beta\in (0,1)$. In addition to approximation algorithms, we provide improved inapproximability results for all of the aforementioned cases. In particular, we show that the $\alpha$ our algorithm obtains for RegularizedCSM with unconstrained $\ell$ is tight for $\beta\ge \frac{e}{e+1}$. We also show 0.478-inapproximability for maximizing a submodular function where $S$ and $T$ are subject to a cardinality constraint, improving the long-standing 0.491-inapproximability result due to Gharan and Vondrak [GV10].


title: SOM-CPC: Unsupervised Contrastive Learning with Self-Organizing Maps for Structured Representations of High-Rate Time Series

abstract: Continuous monitoring with an ever-increasing number of sensors has become ubiquitous across many application domains. However, acquired time series are typically high-dimensional and difficult to interpret. Expressive deep learning (DL) models have gained popularity for dimensionality reduction, but the resulting latent space often remains difficult to interpret. In this work we propose SOM-CPC, a model that visualizes data in an organized 2D manifold, while preserving higher-dimensional information. We address a largely unexplored and challenging set of scenarios comprising high-rate time series, and show on both synthetic and real-life data (physiological data and audio recordings) that SOM-CPC outperforms strong baselines like DL-based feature extraction, followed by conventional dimensionality reduction techniques, and models that jointly optimize a DL model and a Self-Organizing Map (SOM). SOM-CPC has great potential to acquire a better understanding of latent patterns in high-rate data streams.


title: New Self-similar Euler Flows: gradient catastrophe without shock formation

abstract: We consider self-similar solutions to the full compressible Euler system for an ideal gas in two and three space dimensions. The system admits a 2-parameter family of similarity solutions depending on parameters $\lambda$ and $\kappa$. Requiring locally finite amounts of mass, momentum, and energy imply certain constraints on $\lambda$ and $\kappa$. Further constraints are imposed for particular types of flows. E.g., Guderley's pioneering construction of an unbounded converging shock wave invading a quiescent fluid, requires $\kappa=0$ and $\lambda>1$. In this work we analyze the regime $0<\lambda<1$, which does not appear to have been addressed previously. Our findings include: (i) non-existence of Guderley shock solutions; (ii) existence of bounded and continuous incoming similarity flows in 3-d provided $\kappa$ takes the value $\hat\kappa=\frac{2(1-\lambda)}{\gamma-1}$, $\lambda$ is sufficiently small, and $\gamma$ is sufficiently large; (iii) continuation of the latter flows beyond collapse as globally defined and continuous similarity solutions. A key feature of these solutions is that they, in contrast to Guderley solutions, remain bounded at time of collapse, while the density, velocity, and sound speed all suffer gradient blowup. It is noteworthy that, notwithstanding infinite gradients at collapse, no shock wave appears. The analysis is based on a combination of analytical and numerical calculations.


title: Points of bounded height on weighted projective spaces over global function fields

abstract: In this note we give an asymptotic formula for the number of rational points of bounded height on weighted projective spaces over global function fields.


title: Where is the ringdown? Reconstructing quasinormal modes from dispersive waves

abstract: We study the generation and propagation of gravitational waves in scalar-tensor gravity using numerical relativity simulations of scalar field collapses beyond spherical symmetry. This allows us to compare the tensor and additional massive scalar waves that are excited. As shown in previous work in spherical symmetry, massive propagating scalar waves decay faster than 1/r and disperse, resulting in an inverse chirp. These effects obscure the ringdown in any extracted signal by mixing it with the transient responses of the collapse during propagation. In this paper we present a simple method to rewind the extracted signals to horizon formation, which allows us to clearly identify the ringdown phase and extract the amplitudes of the scalar quasinormal modes, quantifying their excitation in strong gravity events and verifying the frequencies to perturbative calculations. The effects studied are relevant to any theories in which the propagating waves have a dispersion relation, including the tensor case.


title: Simplex Neural Population Learning: Any-Mixture Bayes-Optimality in Symmetric Zero-sum Games

abstract: Learning to play optimally against any mixture over a diverse set of strategies is of important practical interests in competitive games. In this paper, we propose simplex-NeuPL that satisfies two desiderata simultaneously: i) learning a population of strategically diverse basis policies, represented by a single conditional network; ii) using the same network, learn best-responses to any mixture over the simplex of basis policies. We show that the resulting conditional policies incorporate prior information about their opponents effectively, enabling near optimal returns against arbitrary mixture policies in a game with tractable best-responses. We verify that such policies behave Bayes-optimally under uncertainty and offer insights in using this flexibility at test time. Finally, we offer evidence that learning best-responses to any mixture policies is an effective auxiliary task for strategic exploration, which, by itself, can lead to more performant populations.


title: Functor calculus via non-cubes

abstract: In this paper we study versions of Goodwillie's calculus of functors that use diagrams other than cubes. We first prove that the universal excisive approximation exists for a larger class of diagrams, which we call shapes. We then study the extension of the Taylor tower that contains all of these approximations. We prove that its limit agrees with the limit of the tower using certain criteria for the existence of maps between two excisive approximations. Lastly we investigate the question when a shape yields a notion of excision equivalent to one of the classical ones.


title: Quantum correlations in molecules: from quantum resourcing to chemical bonding

abstract: The second quantum revolution is all about exploiting the quantum nature of atoms and molecules to execute quantum information processing tasks. To support this growing endeavor and by anticipating the key role of quantum chemistry therein, our work establishes a toolbox for systematically exploring, quantifying and dissecting correlation effects in quantum chemical systems. By utilizing the geometric picture of quantum states we compare -- on a unified basis and in an operationally meaningful way -- total, quantum and classical correlation and entanglement in molecular ground states. To maximize the quantum informational resourcefulness of molecules an orbital optimization scheme is provided, leading to a paradigm-shifting insight: A single covalent bond equates to the entanglement $2\ln(2)$. This novel and more versatile perspective on electronic structure suggests a generalization of valence bond theory, overcoming deficiencies of modern chemical bonding theories.


title: Compressed Hierarchical Representations for Multi-Task Learning and Task Clustering

abstract: In this paper, we frame homogeneous-feature multi-task learning (MTL) as a hierarchical representation learning problem, with one task-agnostic and multiple task-specific latent representations. Drawing inspiration from the information bottleneck principle and assuming an additive independent noise model between the task-agnostic and task-specific latent representations, we limit the information contained in each task-specific representation. It is shown that our resulting representations yield competitive performance for several MTL benchmarks. Furthermore, for certain setups, we show that the trained parameters of the additive noise model are closely related to the similarity of different tasks. This indicates that our approach yields a task-agnostic representation that is disentangled in the sense that its individual dimensions may be interpretable from a task-specific perspective.


title: Electronic band structure in pristine and Sulfur-doped Ta$_2$NiSe$_5$

abstract: We present an angle-resolved photoemission study of the electronic band structure of the excitonic insulator Ta$_2$NiSe$_5$, as well as its evolution upon Sulfur doping. Our experimental data show that while the excitonic insulating phase is still preserved at a Sulfur-doping level of 25$\%$, such phase is heavily suppressed when there is a substantial amount, $\sim$ 50$\%$, of S-doping at liquid nitrogen temperatures. Moreover, our photon energy-dependent measurements reveal a clear three dimensionality of the electronic structure, both in Ta$_2$NiSe$_5$ and Ta$_2$Ni(Se$_{1-x}$S$_x$)$_5$ ($x=0.25, 0.50$) compounds. This suggests a reduction of electrical and thermal conductivities, which might make these compounds less suitable for electronic transport applications.


title: An Effective and Efficient Evolutionary Algorithm for Many-Objective Optimization

abstract: In evolutionary multiobjective optimization, effectiveness refers to how an evolutionary algorithm performs in terms of converging its solutions into the Pareto front and also diversifying them over the front. This is not an easy job, particularly for optimization problems with more than three objectives, dubbed many-objective optimization problems. In such problems, classic Pareto-based algorithms fail to provide sufficient selection pressure towards the Pareto front, whilst recently developed algorithms, such as decomposition-based ones, may struggle to maintain a set of well-distributed solutions on certain problems (e.g., those with irregular Pareto fronts). Another issue in some many-objective optimizers is rapidly increasing computational requirement with the number of objectives, such as hypervolume-based algorithms and shift-based density estimation (SDE) methods. In this paper, we aim to address this problem and develop an effective and efficient evolutionary algorithm (E3A) that can handle various many-objective problems. In E3A, inspired by SDE, a novel population maintenance method is proposed to select high-quality solutions in the environmental selection procedure. We conduct extensive experiments and show that E3A performs better than 11 state-of-the-art many-objective evolutionary algorithms in quickly finding a set of well-converged and well-diversified solutions.


title: Connecting Entropy Scaling and Density Scaling

abstract: It is shown that the residual entropy (entropy minus that of the ideal gas at the same temperature and density) is mostly synonymous with the independent variable of density scaling, identifying a direct link between these two approaches. The two-body residual entropy is demonstrated to not be a suitable surrogate for the total residual entropy in the gas phase. The residual entropy and the effective hardness of interaction (itself a derivative at constant residual entropy) are studied for the Lennard-Jones monomer and dimer as well as a range of rigid molecular models for carbon dioxide. It is observed that the density scaling exponent is related to the two-body interactions.


title: Effect of wall slip on laminar flow past a circular cylinder

abstract: A numerical study of two-dimensional flow past a confined circular cylinder with slip wall is performed. A dimensionless number, Knudsen number ($Kn$) is used to describe the slip length of cylinder wall. The Reynolds number ($Re$) and Knudsen number ($Kn$) ranges considered are $Re = [1, 180]$ and $Kn = [0, \infty)$, respectively. Time-averaged flow separation angle ($\bar{\theta_s}$), dimensionless recirculation length ($\bar{L_s}$) and the tangential velocity ($\bar{u_{\tau}}$) distributed on the cylinder's wall, drag coefficient ($\bar{C_d}$) and drag reduction ($DR$) are investigated. The time-averaged tangential velocity distribution on the cylinder's wall fit well with the formula $\bar{u_{\tau}} = [\frac{\alpha}{1+{\beta}e^{-{\gamma}({\pi}-{\theta})}}+{\delta}]sin(\theta) $, where the coefficients ($\alpha$, $\beta$, $\gamma$, $\delta$) are related with $Re$ and $Kn$. Several scaling-laws are found, $log(\bar{u_{{\tau}max}})\sim{log(Re)}$ and $\bar{u_{{\tau}max}}\sim{Kn}$ for low $Kn$, ($\bar{u_{{\tau}max}}$ is the maximum tangential velocity on the cylinder's wall), $log(DR)\sim{log(Re)}$ ($Re\leq45$ and $Kn\leq0.1$), $log(DR)\sim{log(Kn)}$ ($Kn\leq0.05$). At low $Re$, $DR_v$ (the friction drag reduction) is the main source of $DR$. However, $DR_p$ (the differential pressure drag reduction) contributes the most to $DR$ at high $Re$ ($Re>\sim60$) and $Kn$ over a critical number. $DR_v$ is found almost independent to $Re$.


title: Orbifolds as microlinear types in synthetic differential cohesive homotopy type theory

abstract: Informally, an orbifold is a smooth space whose points may have finitely many internal symmetries. Formally, however, the notion of orbifold has been presented in a number of different guises -- from Satake's V-manifolds to Moerdijk and Pronk's proper \'etale groupoids -- which do not on their face resemble the informal definition. The reason for this divergence between formalism and intuition is that the points of spaces cannot have internal symmetries in traditional, set-level foundations. The extra data of these symmetries must be carried around and accounted for throughout the theory. More drastically, maps between orbifolds presented in the usual ways cannot be defined pointwise. In this paper, we will put forward a definition of orbifold in synthetic differential cohesive homotopy type theory: an orbifold is a microlinear type for which the type of identifications between any two points is properly finite. In homotopy type theory, a point of a type may have internal symmetries, and we will be able to construct examples of orbifolds by defining their type of points directly. Moreover, the mapping space between two orbifolds is merely the type of functions. We will justify this synthetic definition by proving, internally, that every proper \'etale groupoid is an orbifold. In this way, we will show that the synthetic theory faithfully extends the usual theory of orbifolds. Along the way, we will investigate the microlinearity of higher types such as \'etale groupoids, showing that the methods of synthetic differential geometry generalize gracefully to higher analogues of smooth spaces. We will also investigate the relationship between the Dubuc-Penon and open-cover definitions of compactness in synthetic differential geometry, and show that any discrete, Dubuc-Penon compact subset of a second-countable manifold is subfinitely enumerable.


title: Analyses of Hydrogen-stripped core-collapse supernovae using MOSFiT and MESA based tools

abstract: In this work, we employ two publicly available analysis tools to study four hydrogen(H)--stripped core--collapse supernovae (CCSNe) namely, SN 2009jf, iPTF13bvn, SN 2015ap, and SN 2016bau. We use the Modular Open-Source Fitter for Transients ({\tt MOSFiT}) to model the multi band light curves. {\tt MOSFiT} analyses show ejecta masses (log M$_{ej}$) of $0.80_{-0.13}^{+0.18}$ M$_{\odot}$, $0.15_{-0.09}^{+0.13}$ M$_{\odot}$, $0.19_{-0.03}^{+0.03}$ M$_{\odot}$, and $0.19_{+0.02}^{-0.01}$ M$_{\odot}$ for SN 2009jf, iPTF13vn, SN 2015ap, and SN 2016au, respectively. Later, Modules for Experiments in Stellar Astrophysics ({\tt MESA}), is used to construct models of stars from pre-main sequence upto core collapse which serve as the possible progenitors of these H-stripped CCSNe. Based on literature, we model a 12 M$_{\odot}$ ZAMS star as the possible progenitor for iPTF13vn, SN 2015ap, and SN 2016bau while a 20 M$_{\odot}$ ZAMS star is modeled as the possible progenitor for SN 2009jf. Glimpses of stellar engineering and the physical properties of models at various stages of their lifetime have been presented to demonstrate the usefulness of these analysis threads to understand the observed properties of several classes of transients in detail.


title: Core-collapse supernova from a possible progenitor star of 100 M$_{\odot}$

abstract: In this work, we study the synthetic explosions of a massive star. We take a 100 M$_{\odot}$ zero--age main--sequence (ZAMS) star and evolve it until the onset of core-collapse using {\tt MESA}. Then, the resulting star model is exploded using the publicly available stellar explosion code, {\tt STELLA}. The outputs of {\tt STELLA} calculations provide us the bolometric light curve and photospheric velocity evolution along with other physical properties of the underlying supernova. In this paper, the effects of having large Hydrogen-envelope on the supernova light curve have been explored. We also explore the effects of the presence of different amounts of nickel mass and the effect of changing the explosion energy of the resulting supernovae from such heavy progenitors, on their bolometric light curves and photospheric velocities.


title: Radially and azimuthally pure vortex beams from phase-amplitude metasurfaces

abstract: To exploit the full potential of the transverse spatial structure of light using the Laguerre-Gaussian basis, it is necessary to control the azimuthal and radial components of the photons. Vortex phase elements are commonly used to generate these modes of light, offering precise control over the azimuthal index but neglect the radially dependent amplitude term which defines their associated corresponding transverse profile. Here we experimentally demonstrate the generation of high purity Laguerre-Gaussian beams with a single step on-axis transformation implemented with a dielectric phase-amplitude metasurface. By vectorially structuring the input beam and projecting it onto an orthogonal polarisation basis, we can sculpt any vortex beam in phase and amplitude. We characterize the azimuthal and radial purity of the generated vortex beams, reaching a purity of 98% for a vortex beam with $\ell=50$ and $p=0$. Furthermore, we comparatively show that the purity of the generated vortex beams outperform those generated with other well-established phase-only metasurface approaches. In addition, we highlight the formation of 'ghost' orbital angular momentum orders from azimuthal gratings (analogous to ghost orders in ruled gratings), which have not been widely studied to date. Our work brings higher-order vortex beams and their unlimited potential within reach of wide adoption.


title: One Policy is Enough: Parallel Exploration with a Single Policy is Near-Optimal for Reward-Free Reinforcement Learning

abstract: Although parallelism has been extensively used in reinforcement learning (RL), the quantitative effects of parallel exploration are not well understood theoretically. We study the benefits of simple parallel exploration for reward-free RL in linear Markov decision processes (MDPs) and two-player zero-sum Markov games (MGs). In contrast to the existing literature, which focuses on approaches that encourage agents to explore a diverse set of policies, we show that using a single policy to guide exploration across all agents is sufficient to obtain an almost-linear speedup in all cases compared to their fully sequential counterpart. Furthermore, we demonstrate that this simple procedure is near-minimax optimal in the reward-free setting for linear MDPs. From a practical perspective, our paper shows that a single policy is sufficient and provably near-optimal for incorporating parallelism during the exploration phase.


title: Geometries and fabrication methods for 3D printing ion traps

abstract: The majority of microfabricated ion traps in use for quantum information processing are of the 2D 'surface-electrode' type or of the 3D 'wafer' type. Surface-electrode traps greatly simplify fabrication and hold the promise of allowing trapped-ion quantum computers to scale via standard semiconductor industry fabrication techniques. However, their geometry constrains them to having much lower trapping efficiency, depth, and harmonicity compared to 3D geometries. Conversely 3D geometries offer superior trap performance but fabrication is more complex, limiting potential to scale. We describe new 'trench' geometries that exist in the design space between these two paradigms. They still allow for a simple, planar electrode layer but with much more favourable trapping properties. We propose such traps could be 3D-printed over a 2D wafer with microfabricated components already integrated into it, thus retaining all the integration techniques and scaling advantages of surface-electrode traps. As a proof of principle we use 2-photon direct laser writing lithography to print the required electrode structures with the proposed geometry.


title: Contrary Inferences for Classical Histories within the Consistent Histories Formulation of Quantum Theory

abstract: In the histories formulation of quantum theory, sets of coarse-grained histories, that are called consistent, obey classical probability rules. It has been argued that these sets can describe the semi-classical behaviour of closed quantum systems. Most physical scenarios admit multiple different consistent sets and one can view each consistent set as a separate context. Using propositions from different consistent sets to make inferences leads to paradoxes such as the contrary inferences first noted by Kent [Physical Review Letters, 78(15):2874, 1997]. Proponents of the consistent histories formulation argue that one should not mix propositions coming from different consistent sets in making logical arguments, and that paradoxes such as the aforementioned contrary inferences are nothing else than the usual microscopic paradoxes of quantum contextuality as first demonstrated by Kochen and Specker theorem. In this contribution we use the consistent histories to describe a macroscopic (semi-classical) system to show that paradoxes involving contextuality (mixing different consistent sets) persist even in the semi-classical limit. This is distinctively different from the contextuality of standard quantum theory, where the contextuality paradoxes do not persist in the semi-classical limit. Specifically, we consider different consistent sets for the arrival time of a semi-classical wave packet in an infinite square well. Surprisingly, we get consistent sets that disagree on whether the motion of the semi-classical system, that started within a subregion, ever left that subregion or not. Our results point to the need for constraints, additional to the consistency condition, to recover the correct semi-classical limit in this formalism and lead to the motto `all consistent sets are equal', but `some consistent sets are more equal than others'.


title: VQ-AR: Vector Quantized Autoregressive Probabilistic Time Series Forecasting

abstract: Time series models aim for accurate predictions of the future given the past, where the forecasts are used for important downstream tasks like business decision making. In practice, deep learning based time series models come in many forms, but at a high level learn some continuous representation of the past and use it to output point or probabilistic forecasts. In this paper, we introduce a novel autoregressive architecture, VQ-AR, which instead learns a \emph{discrete} set of representations that are used to predict the future. Extensive empirical comparison with other competitive deep learning models shows that surprisingly such a discrete set of representations gives state-of-the-art or equivalent results on a wide variety of time series datasets. We also highlight the shortcomings of this approach, explore its zero-shot generalization capabilities, and present an ablation study on the number of representations. The full source code of the method will be available at the time of publication with the hope that researchers can further investigate this important but overlooked inductive bias for the time series domain.


title: From Keypoints to Object Landmarks via Self-Training Correspondence: A novel approach to Unsupervised Landmark Discovery

abstract: This paper proposes a novel paradigm for the unsupervised learning of object landmark detectors. Contrary to existing methods that build on auxiliary tasks such as image generation or equivariance, we propose a self-training approach where, departing from generic keypoints, a landmark detector and descriptor is trained to improve itself, tuning the keypoints into distinctive landmarks. To this end, we propose an iterative algorithm that alternates between producing new pseudo-labels through feature clustering and learning distinctive features for each pseudo-class through contrastive learning. With a shared backbone for the landmark detector and descriptor, the keypoint locations progressively converge to stable landmarks, filtering those less stable. Compared to previous works, our approach can learn points that are more flexible in terms of capturing large viewpoint changes. We validate our method on a variety of difficult datasets, including LS3D, BBCPose, Human3.6M and PennAction, achieving new state of the art results.


title: FedWalk: Communication Efficient Federated Unsupervised Node Embedding with Differential Privacy

abstract: Node embedding aims to map nodes in the complex graph into low-dimensional representations. The real-world large-scale graphs and difficulties of labeling motivate wide studies of unsupervised node embedding problems. Nevertheless, previous effort mostly operates in a centralized setting where a complete graph is given. With the growing awareness of data privacy, data holders who are only aware of one vertex and its neighbours demand greater privacy protection. In this paper, we introduce FedWalk, a random-walk-based unsupervised node embedding algorithm that operates in such a node-level visibility graph with raw graph information remaining locally. FedWalk is designed to offer centralized competitive graph representation capability with data privacy protection and great communication efficiency. FedWalk instantiates the prevalent federated paradigm and contains three modules. We first design a hierarchical clustering tree (HCT) constructor to extract the structural feature of each node. A dynamic time warping algorithm seamlessly handles the structural heterogeneity across different nodes. Based on the constructed HCT, we then design a random walk generator, wherein a sequence encoder is designed to preserve privacy and a two-hop neighbor predictor is designed to save communication cost. The generated random walks are then used to update node embedding based on a SkipGram model. Extensive experiments on two large graphs demonstrate that Fed-Walk achieves competitive representativeness as a centralized node embedding algorithm does with only up to 1.8% Micro-F1 score and 4.4% Marco-F1 score loss while reducing about 6.7 times of inter-device communication per walk.


title: Nonexpansive Markov Operators and Random Function Iterations for Stochastic Fixed Point Problems

abstract: We study the convergence of random function iterations for finding an invariant measure of the corresponding Markov operator. We call the problem of finding such an invariant measure the stochastic fixed point problem. This generalizes earlier work studying the stochastic feasibility problem, namely, to find points that are, with probability 1, fixed points of the random functions. When no such points exist, the stochastic feasibility problem is called inconsistent, but still under certain assumptions, the more general stochastic fixed point problem has a solution and the random function iterations converge to an invariant measure for the corresponding Markov operator. We show how common structures in deterministic fixed point theory can be exploited to establish existence of invariant measures and convergence in distribution of the Markov chain. This framework specializes to many applications of current interest including, for instance, stochastic algorithms for large-scale distributed computation, and deterministic iterative procedures with computational error. The theory developed in this study provides a solid basis for describing the convergence of simple computational methods without the assumption of infinite precision arithmetic or vanishing computational errors.


title: Learning brain MRI quality control: a multi-factorial generalization problem

abstract: Due to the growing number of MRI data, automated quality control (QC) has become essential, especially for larger scale analysis. Several attempts have been made in order to develop reliable and scalable QC pipelines. However, the generalization of these methods on new data independent of those used for learning is a difficult problem because of the biases inherent in MRI data. This work aimed at evaluating the performances of the MRIQC pipeline on various large-scale datasets (ABIDE, N = 1102 and CATI derived datasets, N = 9037) used for both training and evaluation purposes. We focused our analysis on the MRIQC preprocessing steps and tested the pipeline with and without them. We further analyzed the site-wise and study-wise predicted classification probability distributions of the models without preprocessing trained on ABIDE and CATI data. Our main results were that a model using features extracted from MRIQC without preprocessing yielded the best results when trained and evaluated on large multi-center datasets with a heterogeneous population (an improvement of the ROC-AUC score on unseen data of 0.10 for the model trained on a subset of the CATI dataset). We concluded that a model trained with data from a heterogeneous population, such as the CATI dataset, provides the best scores on unseen data. In spite of the performance improvement, the generalization abilities of the models remain questionable when looking at the site-wise/study-wise probability predictions and the optimal classification threshold derived from them.


title: The continuity of $p$-rationality and a lower bound for $p'$-degree characters of finite groups

abstract: Let $p$ be a prime and $G$ a finite group. We propose a strong bound for the number of $p'$-degree irreducible characters of $G$ in terms of the commutator factor group of a Sylow $p$-subgroup of $G$. The bound arises from a recent conjecture of Navarro and Tiep [NT21] on fields of character values and a phenomenon called the continuity of $p$-rationality level of $p'$-degree characters. This continuity property in turn is predicted by the celebrated McKay-Navarro conjecture [Nav04]. We achieve both the bound and the continuity property for $p=2$.


title: Resummation Scales and the Assessment of Theoretical Uncertainties in Parton Distribution Functions

abstract: We discuss perturbative solutions of renormalization group equations, and propose the use of resummation scale techniques in assessing theoretical uncertainties on the extraction of parton distribution functions from data.


title: Sharp asymptotics for arm probabilities in critical planar percolation

abstract: In this work, we consider critical planar site percolation on the triangular lattice and derive sharp estimates on the asymptotics of the probability of half-plane $j$-arm events for $j \geq 1$ and planar (polychromatic) $j$-arm events for $j>1$. These estimates greatly improve previous results and in particular answer (a large part of) a question of Schramm (ICM Proc., 2006).


title: Variational inference via Wasserstein gradient flows

abstract: Along with Markov chain Monte Carlo (MCMC) methods, variational inference (VI) has emerged as a central computational approach to large-scale Bayesian inference. Rather than sampling from the true posterior $\pi$, VI aims at producing a simple but effective approximation $\hat \pi$ to $\pi$ for which summary statistics are easy to compute. However, unlike the well-studied MCMC methodology, algorithmic guarantees for VI are still relatively less well-understood. In this work, we propose principled methods for VI, in which $\hat \pi$ is taken to be a Gaussian or a mixture of Gaussians, which rest upon the theory of gradient flows on the Bures--Wasserstein space of Gaussian measures. Akin to MCMC, it comes with strong theoretical guarantees when $\pi$ is log-concave.


title: Inferring 3D change detection from bitemporal optical images

abstract: Change detection is one of the most active research areas in Remote Sensing (RS). Most of the recently developed change detection methods are based on deep learning (DL) algorithms. This kind of algorithms is generally focused on generating two-dimensional (2D) change maps, thus only identifying planimetric changes in land use/land cover (LULC) and not considering nor returning any information on the corresponding elevation changes. Our work goes one step further, proposing two novel networks, able to solve simultaneously the 2D and 3D CD tasks, and the 3DCD dataset, a novel and freely available dataset precisely designed for this multitask. Particularly, the aim of this work is to lay the foundations for the development of DL algorithms able to automatically infer an elevation (3D) CD map -- together with a standard 2D CD map --, starting only from a pair of bitemporal optical images. The proposed architectures, to perform the task described before, consist of a transformer-based network, the MultiTask Bitemporal Images Transformer (MTBIT), and a deep convolutional network, the Siamese ResUNet (SUNet). Particularly, MTBIT is a transformer-based architecture, based on a semantic tokenizer. SUNet instead combines, in a siamese encoder, skip connections and residual layers to learn rich features, capable to solve efficiently the proposed task. These models are, thus, able to obtain 3D CD maps from two optical images taken at different time instants, without the need to rely directly on elevation data during the inference step. Encouraging results, obtained on the novel 3DCD dataset, are shown. The code and the 3DCD dataset are available at https://sites.google.com/uniroma1.it/3dchangedetection/home-page.


title: Synthesizing Configuration Tactics for Exercising Hidden Options in Serverless Systems

abstract: A proper configuration of an information system can ensure accuracy and efficiency, among other system objectives. Conversely, a poor configuration can have a significant negative impact on the system's performance, reliability, and cost. Serverless systems, which are comprised of many functions and managed services, especially risk exposure to misconfigurations, with many provider- and platform-specific, often intransparent and 'hidden' settings. In this paper, we argue to pay close attention to the configuration of serverless systems to exercise options with known accuracy, cost and time. Based on a literature study and long-term serverless systems development experience, we present nine tactics to unlock potentially neglected and unknown options in serverless systems.


title: Cone-constrained Monotone Mean-Variance Portfolio Selection Under Diffusion Models

abstract: We consider monotone mean-variance (MMV) portfolio selection problems with a conic convex constraint under diffusion models, and their counterpart problems under mean-variance (MV) preferences. We obtain the precommitted optimal strategies to both problems in closed form and find that they coincide, without and with the presence of the conic constraint. This result generalizes the equivalence between MMV and MV preferences from non-constrained cases to a specific constrained case. A comparison analysis reveals that the orthogonality property under the conic convex set is a key to ensuring the equivalence result.


title: SAR Despeckling Using Overcomplete Convolutional Networks

abstract: Synthetic Aperture Radar (SAR) despeckling is an important problem in remote sensing as speckle degrades SAR images, affecting downstream tasks like detection and segmentation. Recent studies show that convolutional neural networks(CNNs) outperform classical despeckling methods. Traditional CNNs try to increase the receptive field size as the network goes deeper, thus extracting global features. However,speckle is relatively small, and increasing receptive field does not help in extracting speckle features. This study employs an overcomplete CNN architecture to focus on learning low-level features by restricting the receptive field. The proposed network consists of an overcomplete branch to focus on the local structures and an undercomplete branch that focuses on the global structures. We show that the proposed network improves despeckling performance compared to recent despeckling methods on synthetic and real SAR images.


title: On orthogonal discriminants of characters

abstract: An ordinary character $\chi $ of a finite group is called orthogonally stable, if all non-degenerate invariant quadratic forms on any module affording the character $\chi $ have the same discriminant. This is the orthogonal discriminant, $\disc(\chi )$, of $\chi $, a square class of the character field. Based on experimental evidence we conjecture that the orthogonal discriminant is always an odd square class in the sense of Definition 1.4. This note proves this conjecture for finite solvable groups. For $p$-group there is an explicit formula for $\disc(\chi )$ that reads $\disc(\chi ) = (-p)^{\chi(1)/2}$ if $p\equiv 3 \pmod{4}$ and $\disc (\chi ) = (-1)^{\chi(1)/2}$ for $p=2$.


title: Computational Wavelet Method for Multidimensional Integro-Partial Differential Equation of Distributed Order

abstract: This article provides an effective computational algorithm based on Legendre wavelet (LW) and standard tau approach to approximate the solution of multi-dimensional distributed order time-space fractional weakly singular integro-partial differential equation (DOT-SFWSIPDE). To the best of our understanding, the proposed computational algorithm is new and has not been previously applied for solving DOT-SFWSIPDE. The matrix representation of distributed order fractional derivatives, integer order derivatives and weakly singular kernel associated with the integral based on LWare established to find the numerical solutions of the proposed DOT-SFWSIPDE. Moreover, the association of standard tau rule and Legendre-Gauss quadrature (LGQ) techniques along with constructed matrix representation of differential and integral operators diminish DOT-SFWSIPDE into system of linear algebraic equations. Error bounds, convergence analysis, numerical algorithms and also error estimation of the DOT-SFWSIPDE are regorously investigated. For the reliability of the proposed computational algorithm, numerous test examples has been incorporated in the manuscript to ensure the robustness and theoretical results of proposed technique.