title: Adaptive Reduced Basis Methods for Multiscale Problems and Large-scale PDE-constrained Optimization

abstract: This thesis presents recent advances in model order reduction methods with the primary aim to construct online-efficient reduced surrogate models for parameterized multiscale phenomena and accelerate large-scale PDE-constrained parameter optimization methods. In particular, we present several different adaptive RB approaches that can be used in an error-aware trust-region framework for progressive construction of a surrogate model used during a certified outer optimization loop. In addition, we elaborate on several different enhancements for the trust-region reduced basis (TR-RB) algorithm and generalize it for parameter constraints. Thanks to the a posteriori error estimation of the reduced model, the resulting algorithm can be considered certified with respect to the high-fidelity model. Moreover, we use the first-optimize-then-discretize approach in order to take maximum advantage of the underlying optimality system of the problem. In the first part of this thesis, the theory is based on global RB techniques that use an accurate FEM discretization as the high-fidelity model. In the second part, we focus on localized model order reduction methods and develop a novel online efficient reduced model for the localized orthogonal decomposition (LOD) multiscale method. The reduced model is internally based on a two-scale formulation of the LOD and, in particular, is independent of the coarse and fine discretization of the LOD. The last part of this thesis is devoted to combining both results on TR-RB methods and localized RB approaches for the LOD. To this end, we present an algorithm that uses adaptive localized reduced basis methods in the framework of a trust-region localized reduced basis (TR-LRB) algorithm. The basic ideas from the TR-RB are followed, but FEM evaluations of the involved systems are entirely avoided.


title: Local alterations of left arcuate fasciculus and transcallosal white matter microstructure in schizophrenia patients with medication-resistant auditory verbal hallucinations: A pilot study

abstract: Auditory verbal hallucinations (AVH) in schizophrenia (SZ) have been associated with abnormalities of the left arcuate fasciculus and transcallosal white matter projections linking homologous language areas of both hemispheres. While most studies have used a whole-tract approach, here we focused on analyzing local alterations of the above-mentioned pathways in SZ patients suffering medication-resistant AVH.Fractional anisotropy (FA) was estimated along the left arcuate fasciculus and interhemispheric projections of the rostral and caudal corpus callosum. Then, potential associations between white matter tracts and SZ symptoms were explored by correlating local site-by-site FA values and AVH severity estimated via the Auditory Hallucinations Rating Scale (AHRS). Compared to a sample of healthy controls, SZ patients displayed lower FA values in the rostral portion of the left arcuate fasciculus, near the frontal operculum, and in the left and right lateral regions of the rostral portion of the transcallosal pathways. In contrast, SZ patients showed higher FA values than healthy controls in the medial portion of the latter transcallosal pathway and in the midsagittal section of the interhemispheric auditory pathway. Finally, significant correlations were found between local FA values in the left arcuate fasciculus and the severity of the AVH's attentional salience. Contributing to the study of associations between local white matter alterations of language networks and SZ symptoms, our findings highlight local alterations of white matter integrity in these pathways linking language areas in SZ patients with AVH. We also hypothesize a link between the left arcuate fasciculus and the attentional capture of AVH.


title: Efficiency of Learning from Proof Blocks Versus Writing Proofs

abstract: Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a randomized controlled trial designed to measure the learning gains of using Proof Blocks for students learning proof by induction. The study participants were 332 students recruited after completing the first month of their discrete mathematics course. Students in the study took a pretest and read lecture notes on proof by induction, completed a brief (less than 1 hour) learning activity, and then returned one week later to complete the posttest. Depending on the experimental condition that each student was assigned to, they either completed only Proof Blocks problems, completed some Proof Blocks problems and some written proofs, or completed only written proofs for their learning activity. We find that students in the early phases of learning about proof by induction are able to learn just as much from reading lecture notes and using Proof Blocks as by reading lecture notes and writing proofs from scratch, but in far less time on task. This finding complements previous findings that Proof Blocks are useful exam questions and are viewed positively by students.


title: Probing the geometry of correlation matrices with randomized measurements

abstract: The generalized Bloch decomposition of a bipartite quantum state gives rise to a correlation matrix whose singular values provide rich information about non-local properties of the state, such as the dimensionality of entanglement. While some entanglement criteria based on the singular values exist, a complete understanding of the geometry of admissible correlation matrices is lacking. We provide a deeper insight into the geometry of the singular values of the correlation matrices of limited Schmidt number. First, we provide a link to the framework of randomized measurements and show how to obtain knowledge about the singular values in this framework by constructing observables that yield the same moments as one obtains from orthogonal averages over the Bloch sphere. We then focus on the case of separable states and characterize the boundary of the set of the first two non-vanishing moments by giving explicit constructions for some of the faces and extremal points. These constructions yield a connection between the geometry of the correlation matrices and the existence problems of maximal sets of mutually unbiased bases, as well as SIC-POVMs.


title: Green beam lines, a challenging concept

abstract: Due to increasing environmental and economic constraints, optimization of ion beam transport and equipment design becomes essential. The future should be equipped with planet-friendly facilities, that is, solutions that reduce environmental impact and improve economic competitiveness. The tendency to increase the intensity of the current and the power of the beams obliges us and brings us to new challenges. Installations tend to have larger dimensions with increased areas, volumes, weights and costs. A new ion beam transport prototype was developed and used as a test bed to identify key issues to reduce beam losses and preserve transverse phase-space distributions with large acceptance conditions.


title: Dynamic Pricing with Volume Discounts in Online Settings

abstract: According to the main international reports, more pervasive industrial and business-process automation, thanks to machine learning and advanced analytic tools, will unlock more than 14 trillion USD worldwide annually by 2030. In the specific case of pricing problems-which constitute the class of problems we investigate in this paper-, the estimated unlocked value will be about 0.5 trillion USD per year. In particular, this paper focuses on pricing in e-commerce when the objective function is profit maximization and only transaction data are available. This setting is one of the most common in real-world applications. Our work aims to find a pricing strategy that allows defining optimal prices at different volume thresholds to serve different classes of users. Furthermore, we face the major challenge, common in real-world settings, of dealing with limited data available. We design a two-phase online learning algorithm, namely PVD-B, capable of exploiting the data incrementally in an online fashion. The algorithm first estimates the demand curve and retrieves the optimal average price, and subsequently it offers discounts to differentiate the prices for each volume threshold. We ran a real-world 4-month-long A/B testing experiment in collaboration with an Italian e-commerce company, in which our algorithm PVD-B-corresponding to A configuration-has been compared with human pricing specialists-corresponding to B configuration. At the end of the experiment, our algorithm produced a total turnover of about 300 KEuros, outperforming the B configuration performance by about 55%. The Italian company we collaborated with decided to adopt our algorithm for more than 1,200 products since January 2022.


title: Learning to Communicate with Intent: An Introduction

abstract: We propose a novel framework to learn how to communicate with intent, i.e., to transmit messages over a wireless communication channel based on the end-goal of the communication. This stays in stark contrast to classical communication systems where the objective is to reproduce at the receiver side either exactly or approximately the message sent by the transmitter, regardless of the end-goal. Our procedure is general enough that can be adapted to any type of goal or task, so long as the said task is a (almost-everywhere) differentiable function over which gradients can be propagated. We focus on supervised learning and reinforcement learning (RL) tasks, and propose algorithms to learn the communication system and the task jointly in an end-to-end manner. We then delve deeper into the transmission of images and propose two systems, one for the classification of images and a second one to play an Atari game based on RL. The performance is compared with a joint source and channel coding (JSCC) communication system designed to minimize the reconstruction error of messages at the receiver side, and results show overall great improvement. Further, for the RL task, we show that while a JSCC strategy is not better than a random action selection strategy even at high SNRs, with our approach we get close to the upper bound even for low SNRs.


title: Characterizing entanglement dimensionality from randomized measurements

abstract: We consider the problem of detecting the dimensionality of entanglement with the use of correlations between measurements in randomized directions. First, exploiting the recently derived covariance matrix criterion for the entanglement dimensionality [S. Liu et al., arXiv:2208.04909], we derive an inequality that resembles well-known entanglement criteria, but contains different bounds for the different dimensionalities of entanglement. This criterion is invariant under local changes of $su(d)$ bases and can be used to find regions in the space of moments of randomized correlations, generalizing the results of [S. Imai et al., Phys. Rev. Lett. 126, 150501 (2021)] to the case of entanglement-dimensionality detection. In particular, we find analytical boundary curves for the different entanglement dimensionalities in the space of second- and fourth-order moments of randomized correlations for all dimensions $d_a = d_b = d$ of a bipartite system. We then show how our method works in practice, also considering a finite statistical sample of correlations, and we also show that it can detect more states than other entanglement-dimensionality criteria available in the literature, thus providing a method that is both very powerful and potentially simpler in practical scenarios. We conclude by discussing the partly open problem of the implementation of our method in the multipartite scenario.


title: Accelerating Nonequilibrium Green functions simulations with embedding selfenergies

abstract: Real-time nonequilibrium Green functions (NEGF) have been very successful to simulate the dynamics of correlated many-particle systems far from equilibrium. However, NEGF simulations are computationally expensive since the effort scales cubically with the simulation duration. Recently we have introduced the G1--G2 scheme that allows for a dramatic reduction to time-linear scaling [Schl\"unzen, Phys. Rev. Lett. 124, 076601 (2020); Joost et al., Phys. Rev. B 101, 245101 (2020)]. Here we tackle another problem: the rapid growth of the computational effort with the system size. In many situations where the system of interest is coupled to a bath, to electric contacts or similar macroscopic systems for which a microscopic resolution of the electronic properties is not necessary, efficient simplifications are possible. This is achieved by the introduction of an embedding selfenergy -- a concept that has been successful in standard NEGF simulations. Here, we demonstrate how the embedding concept can be introduced into the G1--G2 scheme, allowing us to drastically accelerate NEGF embedding simulations. The approach is compatible with all advanced selfenergies that can be represented by the G1--G2 scheme [as described in Joost et al., Phys. Rev. B 105, 165155 (2022)] and retains the memory-less structure of the equations and their time linear scaling. As a numerical illustration we investigate the charge transfer between a Hubbard nanocluster and an additional site which is of relevance for the neutralization of ions in matter.


title: Quantum paraelectricity and structural phase transitions in strontium titanate beyond density-functional theory

abstract: We demonstrate an approach for calculating temperature-dependent quantum and anharmonic effects with beyond density-functional theory accuracy. By combining machine-learned potentials and the stochastic self-consistent harmonic approximation, we investigate the cubic to tetragonal transition in strontium titanate and show that the paraelectric phase is stabilized by anharmonic quantum fluctuations. We find that a quantitative understanding of the quantum paraelectric behavior requires a higher-level treatment of electronic correlation effects via the random phase approximation. This approach enables detailed studies of emergent properties in strongly anharmonic materials beyond density-functional theory.


title: Detecting deviations from Gaussianity in high-redshift CMB lensing maps

abstract: While the probability density function (PDF) of the cosmic microwave background (CMB) convergence field approximately follows a Gaussian distribution, primordial non-Gaussianities and small contributions from structures at low redshifts make the overall distribution slightly non-Gaussian. Some of the late-time component can be modelled using the distribution of galaxies and subtracted off from the original CMB lensing map to produce a map of matter distribution at high redshifts. Using this high-redshift mass map, we are able to directly study the early phases of structure formation. In this work, we forecast the detectability of signatures of non-Gaussianity due to nonlinear structure formation at $z>1.2$. Assuming the optimal case of no systematics, we find that it is challenging to detect such signatures in current surveys, but future experiments such as the deep field of CMB-S4 will be able to make detections of $\sim7\sigma$.


title: A (simple) classical algorithm for estimating Betti numbers

abstract: We describe a simple algorithm for estimating the $k$-th normalized Betti number of a simplicial complex over $n$ elements using the path integral Monte Carlo method. For a general simplicial complex, the running time of our algorithm is $n^{O\left(\frac{1}{\sqrt{\gamma}}\log\frac{1}{\varepsilon}\right)}$ with $\gamma$ measuring the spectral gap of the combinatorial Laplacian and $\varepsilon \in (0,1)$ the additive precision. In the case of a clique complex, the running time of our algorithm improves to $\left(n/\lambda_{\max}\right)^{O\left(\frac{1}{\sqrt{\gamma}}\log\frac{1}{\varepsilon}\right)}$ with $\lambda_{\max} \geq k$, where $\lambda_{\max}$ is the maximum eigenvalue of the combinatorial Laplacian. Our algorithm provides a classical benchmark for a line of quantum algorithms for estimating Betti numbers. On clique complexes it matches their running time when, for example, $\gamma \in \Omega(1)$ and $k \in \Omega(n)$.


title: Introduction to Online Nonstochastic Control

abstract: This text presents an introduction to an emerging paradigm in control of dynamical systems and differentiable reinforcement learning called online nonstochastic control. The new approach applies techniques from online convex optimization and convex relaxations to obtain new methods with provable guarantees for classical settings in optimal and robust control. The primary distinction between online nonstochastic control and other frameworks is the objective. In optimal control, robust control, and other control methodologies that assume stochastic noise, the goal is to perform comparably to an offline optimal strategy. In online nonstochastic control, both the cost functions as well as the perturbations from the assumed dynamical model are chosen by an adversary. Thus the optimal policy is not defined a priori. Rather, the target is to attain low regret against the best policy in hindsight from a benchmark class of policies. This objective suggests the use of the decision making framework of online convex optimization as an algorithmic methodology. The resulting methods are based on iterative mathematical optimization algorithms, and are accompanied by finite-time regret and computational complexity guarantees.

categories: cs.LG cs.RO cs.SY eess.SY math.OC stat.ML


title: TrafficCAM: A Versatile Dataset for Traffic Flow Segmentation

abstract: Traffic flow analysis is revolutionising traffic management. Qualifying traffic flow data, traffic control bureaus could provide drivers with real-time alerts, advising the fastest routes and therefore optimising transportation logistics and reducing congestion. The existing traffic flow datasets have two major limitations. They feature a limited number of classes, usually limited to one type of vehicle, and the scarcity of unlabelled data. In this paper, we introduce a new benchmark traffic flow image dataset called TrafficCAM. Our dataset distinguishes itself by two major highlights. Firstly, TrafficCAM provides both pixel-level and instance-level semantic labelling along with a large range of types of vehicles and pedestrians. It is composed of a large and diverse set of video sequences recorded in streets from eight Indian cities with stationary cameras. Secondly, TrafficCAM aims to establish a new benchmark for developing fully-supervised tasks, and importantly, semi-supervised learning techniques. It is the first dataset that provides a vast amount of unlabelled data, helping to better capture traffic flow qualification under a low cost annotation requirement. More precisely, our dataset has 4,402 image frames with semantic and instance annotations along with 59,944 unlabelled image frames. We validate our new dataset through a large and comprehensive range of experiments on several state-of-the-art approaches under four different settings: fully-supervised semantic and instance segmentation, and semi-supervised semantic and instance segmentation tasks. Our benchmark dataset will be released.


title: High-resolution atmospheric retrievals of WASP-121b transmission spectroscopy with ESPRESSO: Consistent relative abundance constraints across multiple epochs and instruments

abstract: Recent progress in high-resolution transmission spectroscopy has offered new avenues in which to characterise the atmospheres of transiting exoplanets. High-resolution cross-correlation spectroscopy allows for the unambiguous detection of molecules/atoms. It has also been used to map both atmospheric dynamics and longitudinal variations in the abundance of species across the morning and evening limbs. We present multiple VLT/ESPRESSO observations of the ultra-hot Jupiter WASP-121b, from which we constrain relative abundances of various neutral metals consistently across all observations, whilst accounting for the distortion of the exoplanet's signal caused by traditional data processing techniques. We also constrain planetary orbital velocities and $T$-$P$ profiles. We compare our abundance constraints with previous constraints using VLT/UVES transmission spectroscopy of WASP-121b, and find our results to be consistent between observations, and also in agreement with stellar values for species previously detected in the atmosphere of WASP-121b. Our retrieval framework can also be used to identify potential exospheric species, resulting in extended absorption features beyond the transit equivalent Roche limit of WASP-121b ($R_{\rm eqRL}$ $\sim$ 1.3 $R_{\rm p}$). H$\alpha$, Fe II, and Ca II were found to extend to high altitudes ($1.54\pm0.04$ $R_{\rm p}$, $1.17\pm0.01$ $R_{\rm p}$, and $2.52\pm0.34$ $R_{\rm p}$, respectively), which are broadly consistent with literature values. The consistency of our constraints across multiple high-resolution observations is a strong validation of our model filtering and retrieval framework, as well as the stability of the atmosphere over the timescales of months/years, and could allow for planet formation processes to be inferred from future ground-based observations of exoplanetary atmospheres.


title: AlphaSnake: Policy Iteration on a Nondeterministic NP-hard Markov Decision Process

abstract: Reinforcement learning has recently been used to approach well-known NP-hard combinatorial problems in graph theory. Among these problems, Hamiltonian cycle problems are exceptionally difficult to analyze, even when restricted to individual instances of structurally complex graphs. In this paper, we use Monte Carlo Tree Search (MCTS), the search algorithm behind many state-of-the-art reinforcement learning algorithms such as AlphaZero, to create autonomous agents that learn to play the game of Snake, a game centered on properties of Hamiltonian cycles on grid graphs. The game of Snake can be formulated as a single-player discounted Markov Decision Process (MDP) where the agent must behave optimally in a stochastic environment. Determining the optimal policy for Snake, defined as the policy that maximizes the probability of winning - or win rate - with higher priority and minimizes the expected number of time steps to win with lower priority, is conjectured to be NP-hard. Performance-wise, compared to prior work in the Snake game, our algorithm is the first to achieve a win rate over $0.5$ (a uniform random policy achieves a win rate $< 2.57 \times 10^{-15}$), demonstrating the versatility of AlphaZero in approaching NP-hard environments.


title: Cross-Modal Adapter for Text-Video Retrieval

abstract: Text-video retrieval is an important multi-modal learning task, where the goal is to retrieve the most relevant video for a given text query. Recently, pre-trained models, e.g., CLIP, show great potential on this task. However, as pre-trained models are scaling up, fully fine-tuning them on text-video retrieval datasets has a high risk of overfitting. Moreover, in practice, it would be costly to train and store a large model for each task. To overcome the above issues, we present a novel $\textbf{Cross-Modal Adapter}$ for parameter-efficient fine-tuning. Inspired by adapter-based methods, we adjust the pre-trained model with a few parameterization layers. However, there are two notable differences. First, our method is designed for the multi-modal domain. Secondly, it allows early cross-modal interactions between CLIP's two encoders. Although surprisingly simple, our approach has three notable benefits: (1) reduces $\textbf{99.6}\%$ of fine-tuned parameters, and alleviates the problem of overfitting, (2) saves approximately 30% of training time, and (3) allows all the pre-trained parameters to be fixed, enabling the pre-trained model to be shared across datasets. Extensive experiments demonstrate that, without bells and whistles, it achieves superior or comparable performance compared to fully fine-tuned methods on MSR-VTT, MSVD, VATEX, ActivityNet, and DiDeMo datasets. The code will be available at \url{https://github.com/LeapLabTHU/Cross-Modal-Adapter}.


title: Quasi-countable inverse semigroups as metric spaces, and the uniform Roe algebras of locally finite inverse semigroups

abstract: Given any quasi-countable, in particular any countable inverse semigroup $S$, we introduce a way to equip $S$ with a proper and right subinvariant extended metric. This generalizes the notion of proper, right invariant metrics for discrete countable groups. Such a metric is shown to be unique up to bijective coarse equivalence of the semigroup, and hence depends essentially only on $S$. This allows us to unambiguously define the uniform Roe algebra of $S$, which we prove can be realized as a canonical crossed product of $\ell^\infty(S)$ and $S$. We relate these metrics to the analogous metrics on Hausdorff \'{e}tale groupoids. Using this setting, we study those inverse semigroups with asymptotic dimension $0$. Generalizing results known for groups, we show that these are precisely the locally finite inverse semigroups, and are further characterized by having strongly quasi-diagonal uniform Roe algebras. We show that, unlike in the group case, having a finite uniform Roe algebra is strictly weaker and is characterized by $S$ being locally $\mathcal L$-finite, and equivalently sparse as a metric space.


title: Predicting Human Mobility via Self-supervised Disentanglement Learning

abstract: Deep neural networks have recently achieved considerable improvements in learning human behavioral patterns and individual preferences from massive spatial-temporal trajectories data. However, most of the existing research concentrates on fusing different semantics underlying sequential trajectories for mobility pattern learning which, in turn, yields a narrow perspective on comprehending human intrinsic motions. In addition, the inherent sparsity and under-explored heterogeneous collaborative items pertaining to human check-ins hinder the potential exploitation of human diverse periodic regularities as well as common interests. Motivated by recent advances in disentanglement learning, in this study we propose a novel disentangled solution called SSDL for tackling the next POI prediction problem. SSDL primarily seeks to disentangle the potential time-invariant and time-varying factors into different latent spaces from massive trajectories data, providing an interpretable view to understand the intricate semantics underlying human diverse mobility representations. To address the data sparsity issue, we present two realistic trajectory augmentation approaches to enhance the understanding of both the human intrinsic periodicity and constantly-changing intents. In addition, we devise a POI-centric graph structure to explore heterogeneous collaborative signals underlying historical check-ins. Extensive experiments conducted on four real-world datasets demonstrate that our proposed SSDL significantly outperforms the state-of-the-art approaches -- for example, it yields up to 8.57% improvements on ACC@1.


title: A Modified Mesh with Individually Monitored Interferometers for Fast Programmable Optical Processors

abstract: We demonstrate a novel mesh of interferometers for programmable optical processors. Employing an efficient programming scheme, the proposed architecture improves energy efficiency by 83% maintaining the same computation accuracy for weight matrix changes at 2 kHz.


title: Particle approximation of the doubly parabolic Keller-Segel equation in the plane

abstract: In this work, we study a stochastic system of N particles associated with the parabolic-parabolic Keller-Segel system. This particle system is singular and non Markovian in that its drift term depends on the past of the particles. When the sensitivity parameter is sufficiently small, we show that this particle system indeed exists for any $N\geq 2$, we show tightness in $N$ of its empirical measure, and that any weak limit point of this empirical measure, as $N\to\infty$, solves some nonlinear martingale problem, which in particular implies that its family of time-marginals solves the parabolic-parabolic Keller-Segel system in some weak sense. The main argument of the proof consists of a Markovianization of the interaction kernel: We show that, in some loose sense, the two-by-two path-dependant interaction can be controlled by a two-by-two Coulomb interaction, as in the parabolic-elliptic case.


title: A Detailed Look at the Most Obscured Galactic Nuclei in the Mid-Infrared

abstract: Context. Compact Obscured Nuclei (CONs) are an extreme phase of galaxy evolution where rapid supermassive black hole growth and$/$or compact star-forming activity is completely obscured by gas and dust. Aims. We investigate the properties of CONs in the mid-infrared and explore techniques aimed at identifying these objects such as through the equivalent width (EW) ratios of their Polycyclic Aromatic Hydrocarbon (PAH) features. Methods. We model Spitzer spectra by decomposing the continua into nuclear and star-forming components from which we then measure the nuclear optical depth, $\tau_N$, of the $9.8 \mu$m silicate absorption feature. We also use Spitzer spectral maps to investigate how PAH EW ratios vary with aperture size for objects hosting CONs. Results. We find that the nuclear optical depth, $\tau_N$, strongly correlates with the HCN-vib emission line in the millimetre for CONs with a Pearson correlation coefficient of 0.91. We find the PAH EW ratios technique to be effective at selecting CONs and robust against highly inclined galaxies where strong dust lanes may mimic a CON like spectrum by producing a high $\tau_N$. Our analysis of the Spitzer spectral maps showed that the efficacy of the PAH EW ratios to isolate CONs is reduced when there is a strong star-forming component from the host galaxy. In addition, we find that the use of the inferred nuclear optical depth is a reliable method to identify CONs in $36^{+8}_{-7}\%$ of ULIRGs and $17^{+3}_{-3}\%$ of LIRGs, consistent with previous work. Conclusions. We confirm mid-IR spectra to be a powerful diagnostic of CONs where the increased sensitivity of JWST will allow identification of CONs at cosmic noon revealing this extreme but hidden phase of galaxy evolution.


title: Well-posedness and stability analysis of a landscape evolution model

abstract: In this paper, we consider a system of partial differential equations modeling the evolution of a landscape. A ground surface is eroded by the flow of water over it, either by sedimentation or dilution. The system is composed by three evolution equations on the elevation of the ground surface, the fluid height and the concentration of sediment in the fluid layer. We first consider the well-posedness of the system and show that it is well posed for short time and under the assumption that the initial fluid height does not vanish. Then, we focus on pattern formation in the case of a film flow over an inclined erodible plane. For that purpose, we carry out a spectral stability analysis of constant state solutions in order to determine instability conditions and identify a mechanism for pattern formations. These patterns, which are rills and gullies, are the starting point of the formation of rivers and valleys in landscapes. Finally, we make some numerical simulations of the full system in order to validate the spectral instability scenario, and determine the resulting patterns.


title: The de Rham stack and the variety of very good splittings of a curve

abstract: The stack of relative splittings of a special Azumaya algebra plays a key role in the Non-Abelian Hodge Theory for curves in positive characteristics. In this paper, we define and study an open substack consisting of the so-called very good splittings. We show that, when using very good splittings, the Non-Abelian Hodge isomorphism preserves the semistable loci on the Dolbeault and the de Rham sides. We also show that the stack of very good splittings admits a quasi-projective tame moduli space. As a consequence, we show that the derived pushforwards of the intersection complexes by the Hitchin and the de Rham-Hitchin morphisms are isomorphic and they have isomorphic perverse cohomology sheaves.


title: Growing evidence for high-energy neutrinos originating in radio blazars

abstract: Evidence for bright radio blazars being high-energy neutrino sources was found in recent years. However, specifics of how and where these particles get produced still need to be determined. In this paper, we add 14 new IceCube events from 2020-2022 to update our analysis of the neutrino-blazars connection. We test and refine earlier findings by utilising the total of 71 track-like high-energy IceCube events from 2009-2022. We correlate them with the complete sample of 3412 extragalactic radio sources selected by their compact radio emission. We demonstrate that neutrinos are statistically associated with radio-bright blazars with a post-trial p-value of 3*10^-4. In addition to this statistical study, we confirm previous individual neutrino-blazar associations, find and discuss several new ones. Notably, PKS 1741-038 was selected earlier and had a second neutrino detected from its direction in 2022; PKS 0735+168 has experienced a major flare across the whole electromagnetic spectrum coincidently with a neutrino arrival from that direction in 2021.


title: Optimal Constrained Task Planning as Mixed Integer Programming

abstract: For robots to successfully execute tasks assigned to them, they must be capable of planning the right sequence of actions. These actions must be both optimal with respect to a specified objective and satisfy whatever constraints exist in their world. We propose an approach for robot task planning that is capable of planning the optimal sequence of grounded actions to accomplish a task given a specific objective function while satisfying all specified numerical constraints. Our approach accomplishes this by encoding the entire task planning problem as a single mixed integer convex program, which it then solves using an off-the-shelf Mixed Integer Programming solver. We evaluate our approach on several mobile manipulation tasks in both simulation and on a physical humanoid robot. Our approach is able to consistently produce optimal plans while accounting for all specified numerical constraints in the mobile manipulation tasks. Open-source implementations of the components of our approach as well as videos of robots executing planned grounded actions in both simulation and the physical world can be found at this url: https://adubredu.github.io/gtpmip


title: Finite Approximations for Mean Field Type Multi-Agent Control and Their Near Optimality

abstract: We study a multi-agent mean field type control problem in discrete time where the agents aim to find a socially optimal strategy and where the state and action spaces for the agents are assumed to be continuous. The agents are only weakly coupled through the distribution of their state variables. The problem in its original form can be formulated as a classical Markov decision process (MDP), however, this formulation suffers from several practical difficulties. In this work, we attempt to overcome the curse of dimensionality, coordination complexity between the agents, and the necessity of perfect feedback collection from all the agents (which might be hard to do for large populations.) We provide several approximations: we establish the near optimality of the action and state space discretization of the agents under standard regularity assumptions for the considered formulation by constructing and studying the measure valued MDP counterpart for finite and infinite population settings. It is a well known approach to consider the infinite population problem for mean-field type models, since it provides symmetric policies for the agents which simplifies the coordination between the agents. However, the optimality analysis is harder as the state space of the measure valued infinite population MDP is continuous (even after space discretization of the agents). Therefore, as a final step, we provide further approximations for the infinite population problem by focusing on smaller sized sub-population distributions.


title: On the Sample Complexity of Two-Layer Networks: Lipschitz vs. Element-Wise Lipschitz Activation

abstract: We investigate the sample complexity of bounded two-layer neural networks using different activation functions. In particular, we consider the class $$ \mathcal{H} = \left\{\textbf{x}\mapsto \langle \textbf{v}, \sigma \circ W\textbf{b} + \textbf{b} \rangle : \textbf{b}\in\mathbb{R}^d, W \in \mathbb{R}^{\mathcal{T}\times d}, \textbf{v} \in \mathbb{R}^{\mathcal{T}}\right\} $$ where the spectral norm of $W$ and $\textbf{v}$ is bounded by $O(1)$, the Frobenius norm of $W$ is bounded from its initialization by $R > 0$, and $\sigma$ is a Lipschitz activation function. We prove that if $\sigma$ is element-wise, then the sample complexity of $\mathcal{H}$ has only logarithmic dependency in width and that this complexity is tight, up to logarithmic factors. We further show that the element-wise property of $\sigma$ is essential for a logarithmic dependency bound in width, in the sense that there exist non-element-wise activation functions whose sample complexity is linear in width, for widths that can be up to exponential in the input dimension. For the upper bound, we use the recent approach for norm-based bounds named Approximate Description Length (ADL) by arXiv:1910.05697. We further develop new techniques and tools for this approach that will hopefully inspire future works.


title: The role of the magnetic fields in GRB outflows

abstract: Gamma-ray bursts (GRBs) are bright extragalactic flashes of gamma-ray radiation and briefly the most energetic explosions in the Universe. Their catastrophic origin (the merger of compact objects or the collapse of massive stars) drives the formation of a newborn compact remnant (black hole or magnetar) that powers two highly relativistic jets. To distinguish between magnetized and baryonic jet models and ultimately determine the power source for these energetic explosions, our team studies the polarization of the light during the first minutes after the explosion (using novel instruments on fully autonomous telescopes around the globe) to directly probe the magnetic field properties in these extragalactic jets. This technology allowed the detection of highly polarized optical light in GRB 120308A and confirmed the presence of mildly magnetized jets with large-scale primordial magnetic fields in a reduced sample of GRBs (e.g. GRB 090102, GRB 110205A, GRB 101112A, GRB 160625B). Here we discuss the observations of the most energetic and first GRB detected at very high TeV energies, GRB 190114C, which opens a new frontier in GRB magnetic field studies suggesting that some jets can be launched highly magnetized and that the collapse and destruction of these magnetic fields at very early times may have powered the explosion itself. Additionally, our most recent polarimetric observations of the jet of GRB 141220A indicate that, when the jetted ejected material is decelerated by the surrounding environment, the magnetic field amplification mechanisms at the front shock (needed to generate the observed synchrotron emission) produce small magnetic domains. These measurements validate theoretical expectations and contrast with previous observations that suggest large magnetic domains in collisionless shocks (i.e. GRB 091208B).


title: Beating ringdowns of near-degenerate mechanical resonances

abstract: Mechanical resonators that possess coupled modes with harmonic frequency relations have recently sparked interest due to their suitability for controllable energy transfer and non-Hermitian dynamics. Here, we show coupling between high Q-factor ($>\!\!10^4$) resonances with a nearly 1:1 frequency relation in spatially-symmetric microresonators. We develop and demonstrate a method to analyze their dynamical behavior based on the simultaneous and resonant detection of both spectral peaks, and validate this with experimental results. The frequency difference between the peaks modulates their ringdown, and creates a beat pattern in the linear decay. This method applies both to the externally driven and the Brownian motion (thermal) regime, and allows characterization of both linear and nonlinear parameters. The mechanism behind this method renders it broadly applicable to both optical and electrical readout, as well as to different mechanical systems. This will aid studies using near-degenerate mechanical modes, for e.g., optomechanical energy transfer, synchronization and gyroscopic sensors.

categories: physics.app-ph cond-mat.mes-hall physics.class-ph physics.optics


title: Sensitivity of Resonant Axion Haloscopes to Quantum Electromagnetodynamics

abstract: Recently interactions between putative axions and magnetic monopoles have been revisited by two of us [arXiv:2205.02605 [hep-ph]]. It has been shown that significant modifications to conventional axion electrodynamics arise due to these interactions, so that the axion-photon coupling parameter space is expanded from one parameter $g_{a\gamma\gamma}$ to three $(g_{a\gamma\gamma},g_{aAB},g_{aBB})$. We implement Poynting theorem to determine how to exhibit sensitivity to $g_{aAB}$ and $g_{aBB}$ using resonant haloscopes, allowing new techniques to search for axions and a possible indirect way to determine if magnetically charged matter exists.

categories: hep-ph gr-qc hep-ex physics.ins-det quant-ph


title: Revisiting leptonic nonunitarity

abstract: In the presence of extra neutrino states at high scales, the low-energy effective $3\times 3$ leptonic mixing matrix (LMM) is in general nonunitary. We revisit the question of what is our current knowledge of individual LMM matrix elements without assuming unitarity. We first demonstrate that a minimal set of experimental constraints suffices in bounding LMM nonunitarity parameters to the level of ${\cal O}(10^{-3})$, without the use of neutrino oscillation data. We then revisit oscillation results as a complementary cross-check, using different physics and different experimental techniques to probe a similar parameter space. We correct some common misconceptions in the neutrino nonunitarity literature resulting from an incautious treatment of input parameters. We find that neutrino oscillation experiments can constrain LMM nonclosure, but, contrary to claims in the literature, are completely insensitive to the overall normalization of the LMM. Thus we conclude that oscillation experiments, including the future DUNE experiment, have no power in excluding nonunitarity altogether.


title: Why Deep Learning Generalizes

abstract: Very large deep learning models trained using gradient descent are remarkably resistant to memorization given their huge capacity, but are at the same time capable of fitting large datasets of pure noise. Here methods are introduced by which models may be trained to memorize datasets that normally are generalized. We find that memorization is difficult relative to generalization, but that adding noise makes memorization easier. Increasing the dataset size exaggerates the characteristics of that dataset: model access to more training samples makes overfitting easier for random data, but somewhat harder for natural images. The bias of deep learning towards generalization is explored theoretically, and we show that generalization results from a model's parameters being attracted to points of maximal stability with respect to that model's inputs during gradient descent.


title: Design, Optimization, and Blackbox Optimization of Laser Systems

abstract: Chirped pulse amplification (CPA) and subsequent nonlinear optical (NLO) systems constitute the backbone of myriad advancements in semiconductor and additive manufacturing, communication networks, biology and medicine, defense and national security, and a host of other sectors over the past decades. Accurately and efficiently modeling CPA and NLO-based laser systems is challenging because of the multitude of coupled linear and nonlinear processes and high variability in simulation frameworks. The lack of fully-integrated models severely hampers further advances in tailoring existing or materializing new CPA+NLO systems. Such tools are the key to enabling emerging optimization and inverse design approaches reliant on data-driven machine learning methods. Here, we present a modular start-to-end software model encompassing an array of amplifier designs and nonlinear optics techniques. The simulator renders time- and frequency-resolved electromagnetic fields alongside essential physical characteristics of energy, fluence, and spectral distribution. To demonstrate its robustness and real-world applicability -- specifically, reverse engineering, system optimization, and inverse design -- we present a case study on the LCLS-II photo-injector laser, representative of a high-power and spectro-temporally non-trivial CPA+NLO system.


title: Primes in arithmetic progressions to large moduli, and shifted primes without large prime factors

abstract: We prove the infinitude of shifted primes $p-1$ without prime factors above $p^{0.2844}$. This refines $p^{0.2961}$ from Baker and Harman in 1998. Consequently, we obtain an improved lower bound on the the distribution of Carmichael numbers. Our main technical result is a new mean value theorem for primes in arithmetic progressions to large moduli. Namely, we estimate primes of size $x$ with quadrilinear forms of moduli up to $x^{17/32}$. This extends moduli beyond $x^{11/21}$, recently obtained by Maynard, improving $x^{29/56}$ from well-known 1986 work of Bombieri, Friedlander, and Iwaniec.


title: GRASMOS: Graph Signage Model Selection for Gene Regulatory Networks

abstract: Signed networks, i.e., networks with positive and negative edges, commonly arise in various domains from social media to epidemiology. Modeling signed networks has many practical applications, including the creation of synthetic data sets for experiments where obtaining real data is difficult. Influential prior works proposed and studied various graph topology models, as well as the problem of selecting the most fitting model for different application domains. However, these topology models are typically unsigned. In this work, we pose a novel Maximum-Likelihood-based optimization problem for modeling signed networks given their topology and showcase it in the context of gene regulation. Regulatory interactions of genes play a key role in organism development, and when broken can lead to serious organism abnormalities and diseases. Our contributions are threefold: First, we design a new class of signage models for a given topology. Based on the parameter setting, we discuss its biological interpretations for gene regulatory networks (GRNs). Second, we design algorithms computing the Maximum Likelihood -- depending on the parameter setting, our algorithms range from closed-form expressions to MCMC sampling. Third, we evaluated the results of our algorithms on synthetic datasets and real-world large GRNs. Our work can lead to the prediction of unknown gene regulations, the generation of biological hypotheses, and realistic GRN benchmark datasets.


title: CPT-V: A Contrastive Approach to Post-Training Quantization of Vision Transformers

abstract: When considering post-training quantization, prior work has typically focused on developing a mixed precision scheme or learning the best way to partition a network for quantization. In our work, CPT-V, we look at a general way to improve the accuracy of networks that have already been quantized, simply by perturbing the quantization scales. Borrowing the idea of contrastive loss from self-supervised learning, we find a robust way to jointly minimize a loss function using just 1,000 calibration images. In order to determine the best performing quantization scale, CPT-V contrasts the features of quantized and full precision models in a self-supervised fashion. Unlike traditional reconstruction-based loss functions, the use of a contrastive loss function not only rewards similarity between the quantized and full precision outputs but also helps in distinguishing the quantized output from other outputs within a given batch. In addition, in contrast to prior works, CPT-V proposes a block-wise evolutionary search to minimize a global contrastive loss objective, allowing for accuracy improvement of existing vision transformer (ViT) quantization schemes. For example, CPT-V improves the top-1 accuracy of a fully quantized ViT-Base by 10.30%, 0.78%, and 0.15% for 3-bit, 4-bit, and 8-bit weight quantization levels. Extensive experiments on a variety of other ViT architectures further demonstrate its robustness in extreme quantization scenarios. Our code is available at <link>.


title: Asymptotics for the spectral function on Zoll manifolds

abstract: On a smooth, compact, Riemannian manifold without boundary $(M,g)$, let $\Delta_g$ be the Laplace--Beltrami operator. We define the orthogonal projection operator \[\Pi_{I_\lambda}: L^2(M)\to \bigoplus\limits_{\lambda_j\in I_\lambda}\ker(\Delta_g+\lambda_j^2)\] for an interval $I_\lambda$ centered around $\lambda\in\mathbb R$ of a small, fixed length. The Schwartz kernel, $\Pi_{I_\lambda}(x,y)$, of this operator plays a key role in the analysis of monochromatic random waves, a model for high energy eigenfunctions. It is expected that $\Pi_{I_\lambda}(x,y)$ has universal asymptotics as $\lambda \to \infty$ in a shrinking neighborhood of the diagonal in $M\times M$ (provided $I_\lambda$ is chosen appropriately) and hence that certain statistics for monochromatic random waves have universal behavior. These asymptotics are well known for the torus and the round sphere, and were recently proved to hold near points in $M$ with few geodesic loops by Canzani-Hanin. In this article, we prove that the same universal asymptotics hold in the opposite case of Zoll manifolds; that is, manifolds all of whose geodesics are closed with a common period.


title: Mechanical configurable nanopatterning of polar topological states and formation of post-skyrmion

abstract: The controllable phase transition and nanopatterning of topological states in a ferroelectric system under external stimuli are critical for realizing the potential applications in nanoelectronic devices such as logic, memory, race-track, etc. Herein, using the phase-field simulations, we demonstrate the mechanical manipulation of polar skyrmions in ferroelectric superlattices by applying external local compressive stress through an atomic force microscopy (AFM) tip. Different switching pathways are observed: under small to moderate force (<1 uN), the skyrmions coalesce to form a long stripe; while increasing the applied load (e.g., above 2 uN) leads to the suppression of spontaneous polarization, forming a new metastable topological structure, namely the post-skyrmion. It is constructed by attaching multiple merons onto a center Bloch skyrmion, showing a topological charge of 1.5 (under 2 uN) or 2 (under 3 uN). We have further designed a mechanical nanopatterning process, where the stripes can form a designed pattern by moving the AFM tip (write), which can also be switched back to a full skyrmion state under an applied electric field (erase). We believe this study will spur further interest in mechanical manipulation and nanopatterning of polar topological phases through mechanical forces.


title: Language Conditioned Spatial Relation Reasoning for 3D Object Grounding

abstract: Localizing objects in 3D scenes based on natural language requires understanding and reasoning about spatial relations. In particular, it is often crucial to distinguish similar objects referred by the text, such as "the left most chair" and "a chair next to the window". In this work we propose a language-conditioned transformer model for grounding 3D objects and their spatial relations. To this end, we design a spatial self-attention layer that accounts for relative distances and orientations between objects in input 3D point clouds. Training such a layer with visual and language inputs enables to disambiguate spatial relations and to localize objects referred by the text. To facilitate the cross-modal learning of relations, we further propose a teacher-student approach where the teacher model is first trained using ground-truth object labels, and then helps to train a student model using point cloud inputs. We perform ablation studies showing advantages of our approach. We also demonstrate our model to significantly outperform the state of the art on the challenging Nr3D, Sr3D and ScanRefer 3D object grounding datasets.


title: Mode Entanglement in Fermionic and Bosonic Harmonium

abstract: Mode entanglement in many-body quantum systems is an active area of research. It provides crucial insight into the suitability of many-body systems for quantum information processing tasks. Local super-selection rules must be taken into account when assessing the amount of physically accessible entanglement. This requires amending well-established entanglement measures by incorporating local parity and local particle number constraints. In this paper, we report on mode entanglement present in the analytically solvable system of N-Harmonium. To the knowledge of the authors, this is the first analytic study of the physically accessible mode and mode-mode entanglement of an interacting many-body system in a continuous state space. We find that super-selection rules dramatically reduce the amount of physically accessible entanglement, which vanishes entirely in some cases. Our results strongly suggest the need to re-evaluate intra and inter-mode entanglement in other fermionic and bosonic systems.


title: HARDVS: Revisiting Human Activity Recognition with Dynamic Vision Sensors

abstract: The main streams of human activity recognition (HAR) algorithms are developed based on RGB cameras which are suffered from illumination, fast motion, privacy-preserving, and large energy consumption. Meanwhile, the biologically inspired event cameras attracted great interest due to their unique features, such as high dynamic range, dense temporal but sparse spatial resolution, low latency, low power, etc. As it is a newly arising sensor, even there is no realistic large-scale dataset for HAR. Considering its great practical value, in this paper, we propose a large-scale benchmark dataset to bridge this gap, termed HARDVS, which contains 300 categories and more than 100K event sequences. We evaluate and report the performance of multiple popular HAR algorithms, which provide extensive baselines for future works to compare. More importantly, we propose a novel spatial-temporal feature learning and fusion framework, termed ESTF, for event stream based human activity recognition. It first projects the event streams into spatial and temporal embeddings using StemNet, then, encodes and fuses the dual-view representations using Transformer networks. Finally, the dual features are concatenated and fed into a classification head for activity prediction. Extensive experiments on multiple datasets fully validated the effectiveness of our model. Both the dataset and source code will be released on \url{https://github.com/Event-AHU/HARDVS}.


title: Computing First-Passage Times with the Functional Renormalisation Group

abstract: We use Functional Renormalisation Group (FRG) techniques to analyse the behaviour of a spectator field, $\sigma$, during inflation that obeys an overdamped Langevin equation. We briefly review how a derivative expansion of the FRG can be used to obtain Effective Equations of Motion (EEOM) for the one- and two-point function and derive the EEOM for the three-point function. We show how to compute quantities like the amplitude of the power spectrum and the spectral tilt from the FRG. We do this explicitly for a potential with multiple barriers and show that in general many different potentials will give identical predictions for the spectral tilt suggesting that observations are agnostic to localised features in the potential. Finally we use the EEOM to compute first-passage time (FPT) quantities for the spectator field. The EEOM for the one- and two-point function are enough to accurately predict the average time taken $\left\langle \mathcal{N}\right\rangle$ to travel between two field values with a barrier in between and the variation in that time $\delta \mathcal{N}^2$. It can also accurately resolve the full PDF for time taken $\rho (\mathcal{N})$, predicting the correct exponential tail. This suggests that an extension of this analysis to the inflaton can correctly capture the exponential tail that is expected in models producing Primordial Black Holes.


title: On the evaluation of solar wind's heating rates

abstract: Solar wind heating rates have often been calculated by fitting plasma and magnetic field data with a set of model functions. In this letter, we show that the rates obtained by such an approach strongly depend on the rather arbitrary choice one makes for these model functions. An alternative approach, consisting in monitoring the radial evolution of the adiabatic invariants, based on locally and consistently measured plasma and magnetic field parameters, is free from such a flaw. We apply this technique to a recently released Helios proton dataset, and confirm the existence of a clear perpendicular heating of solar wind's protons. On the other hand, no significant change in the parallel adiabatic invariant is visible in the data. We conclude that to date, and in the distance range of 0.3 to 1 AU, no clear observation of a deviation of solar wind's protons from parallel adiabaticity has ever been made.


title: Calculating QCD Phase Diagram Trajectories of Nuclear Collisions using a Semi-analytical Model

abstract: At low to moderate collision energies where the parton formation time $\tau_F$ is not small compared to the nuclear crossing time, the finite nuclear thickness significantly affects the energy density $\epsilon(t)$ and net conserved-charge densities such as the net-baryon density $n_B(t)$ produced in heavy ion collisions. As a result, at low to moderate energies the trajectory in the QCD phase diagram is also affected by the finite nuclear thickness. Here, we first discuss our semi-analytical model and its results on $\epsilon(t)$, $n_B(t)$, $n_Q(t)$, and $n_S(t)$ in central Au+Au collisions. We then compare the $T(t)$, $\mu_B(t)$, $\mu_Q(t)$, and $\mu_S(t)$ extracted with the ideal gas equation of state (EoS) with quantum statistics to those extracted with a lattice QCD-based EoS. We also compare the $T-\mu_B$ trajectories with the RHIC chemical freezeout data. Finally, we discuss the effect of transverse flow on the trajectories.


title: Operads in Derived Deformation Theory

abstract: A theorem by Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. In his work, Lurie has distilled the axioms that the algebras appearing in the formal moduli problem need to satisfy, and worked out the case of $\mathbb{E}_\infty$-algebras using an incarnation of the Koszul duality, in the setting of $\infty$-operads. The more recent work of Calaque-Campos-Nuiten extends Lurie's work to obtain an equivalence between formal moduli problem parameterized by a colored operad, and algebras over its Koszul dual operad. This manuscript is both, a pedagogical exposition, and a questioning of their work, with modest, but original, supporting lemmas.


title: Exposing the threshold structure of loop integrals

abstract: The understanding of the physical laws determining the infrared behaviour of amplitudes is a longstanding and topical problem. In this paper, we show that energy conservation alone implies strong constraints on the threshold singularity structure of Feynman diagrams. In particular, we show that it implies a representation of loop integrals in terms of Fourier transforms of non-simplicial convex cones. We then engineer a triangulation that has a direct diagrammatic interpretation in terms of a straightforward edge-contraction operation. We use it to develop an algorithmic procedure that performs the Fourier integrations in closed form, yielding the novel Cross-Free Family three-dimensional representation of loop integrals. Contrary to the TOPT and LTD representations, its singularity structure is entirely and elegantly expressed in terms of the graph-theoretic notions of connectedness and crossing. These results can be used to classify infrared-finite scattering theories, numerically evaluate loop integrals and to simplify threshold regularisation procedures.


title: A Project on Cyclic Ordering of Some Families of Graphs

abstract: Let $G$ be an $n$-vertex connected graph. A cyclic base ordering of $G$ is a cyclic ordering of all edges such that every cyclically consecutive $n-1$ edges induce a spanning tree of $G$. In this project, we study cyclic base ordering of triangular grid graphs, series composition of graphs, generalized theta graphs, and circulant graphs.


title: Categorical Semantics for Model Comparison Games for Description Logics

abstract: A categorical approach to study model comparison games in terms of comonads was recently initiated by Abramsky et al. In this work, we analyse games that appear naturally in the context of description logics and supplement them with suitable game comonads. More precisely, we consider expressive sublogics of ALCSelfIbO, namely, the logics that extend ALC with any combination of inverses, nominals, safe boolean roles combinations, and Self operator. Our construction augments and modifies the so-called modal comonad by Abramsky and Shah. The approach that we took heavily relies on the use of relative comonads, which we leverage to encapsulate additional capabilities within the bisimulation games in a compositional manner.


title: Social Networks are Divulging Your Identity behind Crypto Addresses

abstract: Cryptocurrencies, such as Bitcoin and Ethereum, are becoming increasingly prevalent mainly due to their anonymity, decentralization, transparency, and security. However, the completely public ledger makes the trace and analysis of each account possible as long as the identity behind the public address is revealed. Theoretically, social networks could make that happen when addresses are posted on social network platforms using accounts containing personal information. To verify such a possibility, we have collected public data from two major platforms, i.e. Twitter and Reddit, aiming to find potential privacy leakage behind the ETH public address. In the end, an easy-to-use retrieval application is also built for a better illustration.


title: A Spreader Ranking Algorithm for Extremely Low-budget Influence Maximization in Social Networks using Community Bridge Nodes

abstract: In recent years, social networking platforms have gained significant popularity among the masses like connecting with people and propagating ones thoughts and opinions. This has opened the door to user-specific advertisements and recommendations on these platforms, bringing along a significant focus on Influence Maximisation (IM) on social networks due to its wide applicability in target advertising, viral marketing, and personalized recommendations. The aim of IM is to identify certain nodes in the network which can help maximize the spread of certain information through a diffusion cascade. While several works have been proposed for IM, most were inefficient in exploiting community structures to their full extent. In this work, we propose a community structures-based approach, which employs a K-Shell algorithm in order to generate a score for the connections between seed nodes and communities for low-budget scenarios. Further, our approach employs entropy within communities to ensure the proper spread of information within the communities. We choose the Independent Cascade (IC) model to simulate information spread and evaluate it on four evaluation metrics. We validate our proposed approach on eight publicly available networks and find that it significantly outperforms the baseline approaches on these metrics, while still being relatively efficient.


title: Energy-Efficient Driving in Connected Corridors via Minimum Principle Control: Vehicle-in-the-Loop Experimental Verification in Mixed Fleets

abstract: Connected and automated vehicles (CAVs) can plan and actuate control that explicitly considers performance, system safety, and actuation constraints in a manner more efficient than their human-driven counterparts. In particular, eco-driving is enabled through connected exchange of information from signalized corridors that share their upcoming signal phase and timing (SPaT). This is accomplished in the proposed control approach, which follows first principles to plan a free-flow acceleration-optimal trajectory through green traffic light intervals by Pontryagin's Minimum Principle in a feedback manner. Urban conditions are then imposed from exogeneous traffic comprised of a mixture of human-driven vehicles (HVs) - as well as other CAVs. As such, safe disturbance compensation is achieved by implementing a model predictive controller (MPC) to anticipate and avoid collisions by issuing braking commands as necessary. The control strategy is experimentally vetted through vehicle-in-the-loop (VIL) of a prototype CAV that is embedded into a virtual traffic corridor realized through microsimulation. Up to 36% fuel savings are measured with the proposed control approach over a human-modelled driver, and it was found connectivity in the automation approach improved fuel economy by up to 26% over automation without. Additionally, the passive energy benefits realizable for human drivers when driving behind downstream CAVs are measured, showing up to 22% fuel savings in a HV when driving behind a small penetration of connectivity-enabled automated vehicles.


title: Minimum Path Cover in Parameterized Linear Time

abstract: A minimum path cover (MPC) of a directed acyclic graph (DAG) $G = (V,E)$ is a minimum-size set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic polynomial problem, dating back to Dilworth's and Fulkerson's results in the 1950s. Since the size $k$ of an MPC (also known as the width) can be small in practical applications, research has also studied algorithms whose running time is parameterized on $k$. We obtain a new MPC parameterized algorithm for DAGs running in time $O(k^2|V| + |E|)$. Our algorithm is the first solving the problem in parameterized linear time. Additionally, we obtain an edge sparsification algorithm preserving the width of a DAG but reducing $|E|$ to less than $2|V|$. This algorithm runs in time $O(k^2|V|)$ and requires an MPC of a DAG as input, thus its total running time is the same as the running time of our MPC algorithm.


title: On the Impact of LTE-U on Wi-Fi Performance

abstract: With the exponential growth in mobile data traffic taking place currently and projected into the future, mobile operators need cost effective ways to manage the load of their networks. Traditionally, this has been achieved by offloading mobile traffic onto Wi-Fi networks due to their low cost and ubiquitous deployment. Recently, LTE operating in the unlicensed spectrum has drawn significant interests from mobile operators due to the availability of the unlicensed spectrum. However, the deployment of LTE networks in the unlicensed band poses significant challenges to the performance of current and future Wi-Fi networks. We discuss the LTE and Wi-Fi coexistence challenges and present analysis on performance degradation of the Wi-Fi networks at the presence of LTE.


title: Physics of warped dimensions: discrete and continuous spectra

abstract: Using two different warped five-dimensional (5D) models with two branes along the extra dimension, we study the Green's functions and the spectral properties of some of the fields propagating in the bulk. While the first model has a discrete spectrum of Kaluza-Klein (KK) modes, the second one has a continuous spectrum above a mass gap. We also study the positivity of the spectral functions, as well as the coupling of the graviton and the radion with SM matter fields.


title: The Dynamical Degrees of Rational Surface Automorphisms

abstract: The induced action on the Picard group of a rational surface automorphism with positive entropy can be identified with an element of the Coxeter group associated to $E_n, n\ge 10$ diagram. It follows that the set of dynamical degrees of rational surface automorphisms is a subset of the spectral radii of elements in the Coxeter group. This article concerns the realizability of an element of the Coxeter group as an automorphism on a rational surface with an irreducible reduced anti-canonical curve. For any unrealizable element, we explicitly construct a realizable element with the same spectral radius. Hence, we show that the set of dynamical degrees and the set of spectral radii of the Coxeter group are, in fact, identical. This has been shown by Uehara in \cite{Uehara:2010} by explicitly constructing a rational surface automorphism. This construction depends on a decomposition of an element of the Coxeter group. Our proof is conceptual and provides a simple description of elements of the Coxeter group, which are realized by automorphisms on anti-canonical rational surfaces.


title: Multi-Camera Multi-Object Tracking on the Move via Single-Stage Global Association Approach

abstract: The development of autonomous vehicles generates a tremendous demand for a low-cost solution with a complete set of camera sensors capturing the environment around the car. It is essential for object detection and tracking to address these new challenges in multi-camera settings. In order to address these challenges, this work introduces novel Single-Stage Global Association Tracking approaches to associate one or more detection from multi-cameras with tracked objects. These approaches aim to solve fragment-tracking issues caused by inconsistent 3D object detection. Moreover, our models also improve the detection accuracy of the standard vision-based 3D object detectors in the nuScenes detection challenge. The experimental results on the nuScenes dataset demonstrate the benefits of the proposed method by outperforming prior vision-based tracking methods in multi-camera settings.


title: Influencer Detection with Dynamic Graph Neural Networks

abstract: Leveraging network information for prediction tasks has become a common practice in many domains. Being an important part of targeted marketing, influencer detection can potentially benefit from incorporating dynamic network representation. In this work, we investigate different dynamic Graph Neural Networks (GNNs) configurations for influencer detection and evaluate their prediction performance using a unique corporate data set. We show that using deep multi-head attention in GNN and encoding temporal attributes significantly improves performance. Furthermore, our empirical evaluation illustrates that capturing neighborhood representation is more beneficial that using network centrality measures.


title: Features for the 0-1 knapsack problem based on inclusionwise maximal solutions

abstract: Decades of research on the 0-1 knapsack problem led to very efficient algorithms that are able to quickly solve large problem instances to optimality. This prompted researchers to also investigate whether relatively small problem instances exist that are hard for existing solvers and investigate which features characterize their hardness. Previously the authors proposed a new class of hard 0-1 knapsack problem instances and demonstrated that the properties of so-called inclusionwise maximal solutions (IMSs) can be important hardness indicators for this class. In the current paper, we formulate several new computationally challenging problems related to the IMSs of arbitrary 0-1 knapsack problem instances. Based on generalizations of previous work and new structural results about IMSs, we formulate polynomial and pseudopolynomial time algorithms for solving these problems. From this we derive a set of 14 computationally expensive features, which we calculate for two large datasets on a supercomputer in approximately 540 CPU-hours. We show that the proposed features contain important information related to the empirical hardness of a problem instance that was missing in earlier features from the literature by training machine learning models that can accurately predict the empirical hardness of a wide variety of 0-1 knapsack problem instances. Using the instance space analysis methodology, we also show that hard 0-1 knapsack problem instances are clustered together around a relatively dense region of the instance space and several features behave differently in the easy and hard parts of the instance space.


title: $k$-Distance Magic Labeling and Long Brush Graphs

abstract: We define a labeling $f:$ $V(G)$ $\rightarrow$ $\{1, 2, \ldots, n\}$ on a graph $G$ of order $n \geq 3$ as a \emph{$k$-distance magic} ($k$-DM) if $\sum_{w\in \partial N_k(u)}{ f(w)}$ is a constant and independent of $u\in V(G)$ where $\partial N_k(u)$ = $\{v\in V(G): d(u, v) = k\}$, $k\in\mathbb{N}$. Graph $G$ is called a \emph{$k$-DM} if it has a $k$-DM labeling(L). Long Brush is a graph $G$ with $V(G)$ = $\{u_1, u_2, . . . , u_n,$ $v_1, v_2, . . . , v_{m}\}$, a path $P_n$ = $u_1$ $u_2$ . . . $u_n$ and $E(G)$ = $E(P_n)$ $\cup$ $\{u_1v_i:$ $i$ = 1 to $m\}$ $\cup$ $E(<v_1, v_2, . . . , v_{m}>)$, $m+n \geq 3$ and $m,n\in\mathbb{N}$. We denoted this graph by $LP_{n, m}$. In this paper, using partition techniques, we obtain families of $k$-DM graphs and prove that $(i)$ For $k,n \geq 3$, $m \geq 2$ and $k,m,n\in\mathbb{N}$, $LP_{n,m}$ is $k$-DM if and only if $m(m-1) \leq 2n$ and $k$ = $n$; (ii) For every $k\in\mathbb{N}_0$ and a given $m \geq 2$, $LP_{\frac{m(m-1)}{2}+k, m}$ is a $(\frac{m(m-1)}{2}+k)$-DM graph; (iii) For $m \geq 3$, $LP_{1,m}$ = $K_1(u_1)+(K_{m_1} \cup K_{m_2} \cup ... \cup K_{m_x})$, $x \geq 2$, $1 \leq m_1 \leq m_2 \leq ... \leq m_x$, $m_1+m_2+...+m_x$ = $m$, $m_1+m_2 \geq 3$ and $m_1,m_2,...,m_x,x\in\mathbb{N}$, $LP_{1,m}$ is 2-DM if and only if $u_1$ is assigned with a suitable $j$ and $J_{m+1}\setminus \{j\}$ is partitioned into $x$ constant sum partites of orders $m_1,m_2,...,m_x$, $1 \leq j \leq m+1$; (iv) For $m \geq 2$ if $LP_{2,m}$ contains two pendant vertices, then $LP_{2,m}$ is not a $2$-DM graph; (v) For $m \geq 2$ and $n \geq 3$, if $LP_{n,m}$ contains three pendant vertices, then $LP_{n,m}$ is not a $2$-DM graph; and (vi) for $m_1$ = 1 to 22, we obtain all possible values of $m$ for which $LP_{1, m}$ = $u_1 + (K_{m_1} \cup K_{m_2})$ is 2-DM, $m_1 \leq m_2$, $m = m_1+m_2 \geq 3$ and $m_1,m_2\in\mathbb{N}$.


title: Sobolev regularity of the canonical solutions to $\bar\partial$ on product domains

abstract: Let $\Omega$ be a product domain in $\mathbb C^n, n\ge 2$, where each slice has smooth boundary. We observe that the canonical solution operator for the $\bar\partial$ equation on $\Omega$ is bounded in $W^{k,p}(\Omega)$, $k\in \mathbb Z^+, 1<p<\infty$. This Sobolev regularity is sharp in view of Kerzman-type examples.


title: Euclid in a nutshell

abstract: Euclid is a European Space Agency (ESA) mission designed to constrain the properties of dark energy and gravity via weak gravitational lensing and galaxy clustering. It will carry out a wide area imaging and spectroscopy survey in visible and near-infrared bands, covering approximately 15 000 deg2 of the extragalactic sky in six years. Euclid will be equipped with a 1.2 m diameter Silicon Carbide (SiC) mirror telescope feeding two instruments built by the Euclid Consortium: a high-quality panoramic visible imager and a near-infrared photometer and spectrograph. These proceedings briefly describe the satellite and its instruments, which are optimised for pristine point spread function and reduced stray light, producing very crisp images. Furthermore, we summarise the survey strategy, the global scheduling, and the preparations for the satellite commissioning and the Science Data Centers to produce scientific data.


title: SNOWMASS Neutrino Frontier NF10 Topical Group Report: Neutrino Detectors

abstract: We discuss here future neutrino detectors with physics goals ranging from the eV to the EeV scale. The focus is on future enabling technologies for such detectors, rather than existing detectors or those under construction. The report includes methodologies across the broad spectrum of neutrino physics: liquid noble and other cryogenic detectors, includin LAr and LXe TPCs; photon-based detectors including technologies enabling hybrid Cherenkov/scintillation detectors; low-threshold detectors which use a wide variety of technologies to probe physics like coherent neutrino-nucleus scattering or detection of cosmic background neutrinos; and ultra-high energy detectors including optical and radio detectors, as well as tracking detectors for use at the forward physics facility of the LHC


title: Growing Black Holes through Successive Mergers in Galactic Nuclei: I. Methods and First Results

abstract: We present a novel, few-body computational framework designed to shed light on the likelihood of forming intermediate-mass (IM) and supermassive (SM) black holes (BHs) in nuclear star clusters (NSCs) through successive BH mergers, initiated with a single BH seed. Using observationally motivated NSC profiles, we find that the probability of a ${\sim}100 \, M_\odot$ BH to grow beyond ${\sim}1000 \, M_\odot$ through successive mergers ranges from ${\sim}0.1\%$ in low-density, low-mass clusters to nearly $90\%$ in high-mass, high-density clusters. However, in the most massive NSCs, the growth timescale can be very long ($\gtrsim 1\,$Gyr); vice versa, while growth is least likely in less massive NSCs, it is faster there, requiring as little as ${\sim}0.1\,$Gyr. The increased gravitational focusing in systems with lower velocity dispersions is the primary contributor to this behavior. We find that there is a simple "7-strikes-and-you're-in" rule governing the growth of BHs: our results suggest that if the seed survives 7 to 10 successive mergers without being ejected (primarily through gravitational wave recoil kicks), the growing BH will most likely remain in the cluster and will then undergo runaway, continuous growth all the way to the formation of an SMBH (under the simplifying assumption adopted here of a fixed background NSC). Furthermore, we find that rapid mergers enforce a dynamically-mediated "mass gap" between about ${50-300 \, M_\odot}$ in an NSC.


title: All-set-homogeneous spaces

abstract: A metric space is said to be all-set-homogeneous if any of its partial isometries can be extended to a genuine isometry. We give a classification of a certain subclass of all-set-homogeneous length spaces.


title: Network-Wide Task Offloading With LEO Satellites: A Computation and Transmission Fusion Approach

abstract: Computing tasks are ubiquitous in space missions. Conventionally, these tasks are offloaded to ground servers for computation, where the transmission of raw data on satellite-to-ground links severely constrains the performance. To overcome this limitation, recent works offload tasks to visible low-earth-orbit (LEO) satellites. However, this offloading scheme is difficult to achieve good performance in actual networks with uneven loads because visible satellites over hotspots tend to be overloaded. Therefore, it is urgent to extend the offloading targets to the entire network. To address the network-wide offloading problem, we propose a metagraph-based computation and transmission fusion offloading scheme for multi-tier networks. Specifically, virtual edges, between the original network and its duplicate, are generated to fuse computation and transmission in single-tier networks. Then, a metagraph is employed to integrate the fusion in multi-tier networks. After assigning appropriate edge weights to the metagraph, the network-wide offloading problem can be solved by searching the shortest path. In addition, we apply the proposed scheme to solve the spatial computation offloading problem in a real multi-tier network. The superiority of the proposed scheme over two benchmark schemes are proved theoretically and empirically. Simulation results show that the proposed scheme decreases the weighted average delay by up to 87.51% and 18.70% compared with the ground offloading scheme and the visible offloading scheme, respectively.


title: Quasinormal modes, shadow and thermodynamics of black holes coupled with nonlinear electrodynamics and cloud of strings

abstract: We construct an exact black hole solution for the Einstein gravity coupled with the nonlinear electrodynamics (which corresponds to the Maxwell electrodynamics in the weak field limit) in the presence of a cloud of strings as the source. We study the thermodynamical properties of the black hole solutions and derive the corrected first-law of thermodynamics. The presence of a cloud of strings does not affect the stability of the present black hole. However, a second-order phase transition exists for this system at a critical horizon radius. Furthermore, we study the quasinormal modes and their shadow radius. In addition, we find that, upon variation, the parameters of the theory show different aspects of the optical characteristics of the black hole solutions.


title: The Primordial Particle Accelerator of the Cosmos

abstract: In a previous paper we have shown that superluminal particles are allowed by the general relativistic theory of gravity provided that the metric is locally Euclidean. Here we calculate the probability density function of a canonical ensemble of superluminal particles as function of temperature. This is done for both space-times invariant under Lorentz symmetry group, and for space times invariant under an Euclidean symmetry group. Although only the Lorentzian metric is stable for normal matter density, an Euclidian metric can be created under special gravitational circumstances and persist in a limited region of space-time consisting of the very early universe which is characterized by extremely high densities and temperatures. Superluminal particles also allow attaining thermodynamic equilibrium at a shorter duration and also suggest a rapid expansion of the matter density, thus making mechanism such as inflation (which demands invoking and ad-hoc scalar field) redundant. This is in accordance with Occam's razor.


title: An Alternate Left-Right Symmetric Model with Dirac Neutrinos

abstract: We study a different variant of Left-Right Symmetric Model, incorporating Dirac type neutrinos. In the absence of the bi-doublet scalars, the possibility of a universal seesaw type of mass generation mechanism for all the Standard Model charged fermions have been discussed. The model has been constructed by extending the Standard Model particle spectrum with heavy vector-like fermions as well as different scalar multiplets. We have shown that this model can generate non zero neutrino mass through loop mediated processes. The parameters which are involved in neutrino mass generation mechanism can satisfy the neutrino oscillation data for both normal and inverted hierarchy. The lightest charged Higgs plays a crucial role in neutrino mass generation mechanism and can have mass of $\mathcal{O}[\text{GeV}]$. We have systematically studied different constraints which are relevant for the charged Higgs phenomenology. In addition to that we also briefly discuss discovery prospects of the charged Higgs at different colliders.


title: Verified Reversible Programming for Verified Lossless Compression

abstract: Lossless compression implementations typically contain two programs, an encoder and a decoder, which are required to be inverse to one another. We observe that a significant class of compression methods, based on asymmetric numeral systems (ANS), have shared structure between the encoder and decoder -- the decoder program is the 'reverse' of the encoder program -- allowing both to be simultaneously specified by a single, reversible function. To exploit this, we have implemented a small reversible language, embedded in Agda, which we call 'Flipper' (available at https://github.com/j-towns/flipper). Agda supports formal verification of program properties, and the compiler for our reversible language (which is implemented as an Agda macro), produces not just an encoder/decoder pair of functions but also a proof that they are inverse to one another. Thus users of the language get formal verification 'for free'. We give a small example use-case of Flipper in this paper, and plan to publish a full compression implementation soon.


title: Mock Galaxy Surveys for HST and JWST from the IllustrisTNG Simulations

abstract: We present and analyze a series of synthetic galaxy survey fields based on the IllustrisTNG Simulation suite. With the Illustris public data release and JupyterLab service, we generated a set of twelve lightcone catalogs covering areas from 5 to 365 square arcminutes, similar to several JWST Cycle 1 programs, including JADES, CEERS, PRIMER, and NGDEEP. From these catalogs, we queried the public API to generate simple mock images in a series of broadband filters used by JWST-NIRCam and the Hubble Space Telescope cameras. This procedure generates wide-area simulated mosaic images that can support investigating the predicted evolution of galaxies alongside real data. Using these mocks, we demonstrate a few simple science cases, including morphological evolution and close pair selection. We publicly release the catalogs and mock images through MAST, along with the code used to generate these projects, so that the astrophysics community can make use of these products in their scientific analyses of JWST deep field observations.


title: Towards Automated Design of Bayesian Optimization via Exploratory Landscape Analysis

abstract: Bayesian optimization (BO) algorithms form a class of surrogate-based heuristics, aimed at efficiently computing high-quality solutions for numerical black-box optimization problems. The BO pipeline is highly modular, with different design choices for the initial sampling strategy, the surrogate model, the acquisition function (AF), the solver used to optimize the AF, etc. We demonstrate in this work that a dynamic selection of the AF can benefit the BO design. More precisely, we show that already a na\"ive random forest regression model, built on top of exploratory landscape analysis features that are computed from the initial design points, suffices to recommend AFs that outperform any static choice, when considering performance over the classic BBOB benchmark suite for derivative-free numerical optimization methods on the COCO platform. Our work hence paves a way towards AutoML-assisted, on-the-fly BO designs that adjust their behavior on a run-by-run basis.


title: Dimensional homogeneity constrained gene expression programming for discovering governing equations

abstract: Data-driven discovery of governing equations is of great significance for helping us understand intrinsic mechanisms and build physical models. Recently, numerous highly innovative algorithms have emerged, aimed at inversely discovering the underlying governing equations from data, such as sparse regression-based methods and symbolic regression-based methods. Along this direction, a novel dimensional homogeneity constrained gene expression programming (DHC-GEP) method is proposed in this work. DHC-GEP simultaneously discovers the forms and coefficients of functions using basic mathematical operators and physical variables, without requiring pre-assumed candidate functions. The constraint of dimensional homogeneity is capable of filtering out the overfitting equations effectively. The key advantages of DHC-GEP compared to Original-GEP, including being more robust to hyperparameters, the noise level and the size of datasets, are demonstrated on two benchmark studies. Furthermore, DHC-GEP is employed to discover the unknown constitutive relations of two representative non-equilibrium flows. Galilean invariance and the second law of thermodynamics are imposed as constraints to enhance the reliability of the discovered constitutive relations. Comparisons, both quantitative and qualitative, indicate that the derived constitutive relations are more accurate than the conventional Burnett equations in a wide range of Knudsen number and Mach number, and are also applicable to the cases beyond the parameter space of the training data.


title: Analyse der Entwicklungstreiber milit\"arischer Schwarmdrohnen durch Natural Language Processing

abstract: Military drones are taking an increasingly prominent role in armed conflict, and the use of multiple drones in a swarm can be useful. Who the drivers of the research are and what sub-domains exist is analyzed and visually presented in this research using NLP techniques based on 946 studies. Most research is conducted in the Western world, led by the United States, the United Kingdom, and Germany. Through Tf-idf scoring, it is shown that countries have significant differences in the subdomains studied. Overall, 2019 and 2020 saw the most works published, with significant interest in military swarm drones as early as 2008. This study provides a first glimpse into research in this area and prompts further investigation.


title: Did They Really Tweet That? Querying Fact-Checking Sites and Politwoops to Determine Tweet Misattribution

abstract: Screenshots of social media posts have become common place on social media sites. While screenshots definitely serve a purpose, their ubiquity enables the spread of fabricated screenshots of posts that were never actually made, thereby proliferating misattribution disinformation. With the motivation of detecting this type of disinformation, we researched developing methods of querying the Web for evidence of a tweet's existence. We developed software that automatically makes search queries utilizing the body of alleged tweets to a variety of services (Google, Snopes built-in search, and Reuters built-in search) in an effort to find fact-check articles and other evidence of supposedly made tweets. We also developed tools to automatically search the site Politwoops for a particular tweet that may have been made and deleted by an elected official. In addition, we developed software to scrape fact-check articles from the sites Reuters.com and Snopes.com in order to derive a ``truth rating" from any given article from these sites. For evaluation, we began the construction of a ground truth dataset of tweets with known evidence (currently only Snopes fact-check articles) on the live web, and we gathered MRR and P@1 values based on queries made using only the bodies of those tweets. These queries showed that the Snopes built-in search was effective at finding appropriate articles about half of the time with MRR=0.5500 and P@1=0.5333, while Google when used with the site:snopes.com operator was generally effective at finding the articles in question, with MRR=0.8667 and P@1=0.8667.


title: AligNeRF: High-Fidelity Neural Radiance Fields via Alignment-Aware Training

abstract: Neural Radiance Fields (NeRFs) are a powerful representation for modeling a 3D scene as a continuous function. Though NeRF is able to render complex 3D scenes with view-dependent effects, few efforts have been devoted to exploring its limits in a high-resolution setting. Specifically, existing NeRF-based methods face several limitations when reconstructing high-resolution real scenes, including a very large number of parameters, misaligned input data, and overly smooth details. In this work, we conduct the first pilot study on training NeRF with high-resolution data and propose the corresponding solutions: 1) marrying the multilayer perceptron (MLP) with convolutional layers which can encode more neighborhood information while reducing the total number of parameters; 2) a novel training strategy to address misalignment caused by moving objects or small camera calibration errors; and 3) a high-frequency aware loss. Our approach is nearly free without introducing obvious training/testing costs, while experiments on different datasets demonstrate that it can recover more high-frequency details compared with the current state-of-the-art NeRF models. Project page: \url{https://yifanjiang.net/alignerf.}


title: Influence Maximization in Social Networks using Discretized Harris Hawks Optimization Algorithm and Neighbour Scout Strategy

abstract: Influence Maximization (IM) is the task of determining k optimal influential nodes in a social network to maximize the influence spread using a propagation model. IM is a prominent problem for viral marketing, and helps significantly in social media advertising. However, developing effective algorithms with minimal time complexity for real-world social networks still remains a challenge. While traditional heuristic approaches have been applied for IM, they often result in minimal performance gains over the computationally expensive Greedy-based and Reverse Influence Sampling-based approaches. In this paper, we propose the discretization of the nature-inspired Harris Hawks Optimisation meta-heuristic algorithm using community structures for optimal selection of seed nodes for influence spread. In addition to Harris Hawks intelligence, we employ a neighbour scout strategy algorithm to avoid blindness and enhance the searching ability of the hawks. Further, we use a candidate nodes-based random population initialization approach, and these candidate nodes aid in accelerating the convergence process for the entire populace. We evaluate the efficacy of our proposed DHHO approach on six social networks using the Independent Cascade model for information diffusion. We observe that DHHO is comparable or better than competing meta-heuristic approaches for Influence Maximization across five metrics, and performs noticeably better than competing heuristic approaches.


title: A Metallurgical Inspection Method to Assess the Damage in Performance-Limiting Nb3Sn Accelerator Magnet Coils

abstract: The design and production of Nb3Sn-based dipole and quadrupole magnets is critical for the realization of the High-Luminosity Large Hadron Collider (HL-LHC) at the European Organization for Nuclear Research (CERN). Nb3Sn superconducting coils are aimed at enhancing the bending and focusing strengths of accelerator magnets for HL-LHC and beyond. Due to the brittle nature of Nb3Sn, the coil fabrication steps are very challenging and require very careful QA/QC. Flaws in the Nb3Sn filaments may lead to quenches, and eventually, performance limitation below nominal during magnet testing. A novel inspection method, including advanced non-destructive and destructive techniques, was developed to explore the root-causes of quenches occurring in performance-limiting coils. The most relevant results obtained for MQXF coils through this innovative inspection method are presented. This approach allows for precise assessment of the physical events associated to the quenches experienced b y magnet coils, mainly occurring under the form of damaged strands with transversely broken sub-elements. Coil-slice preparation, micro-optical observations of transverse and longitudinal cross-sections, and a deep etching technique of copper will be illustrated in the present work, with a focus on the results achieved for a CERN coil from a non-conforming quadrupole magnet prototype, and two coils fabricated in the US, in the framework of the Accelerator Upgrade Project (AUP) collaboration, from two different non-conforming quadrupole magnets, respectively. The results obtained through the proposed inspection method will be illustrated.


title: Comment on "Canonical transcorrelated theory with projected Slater-type geminals" [J. Chem. Phys. 136, 084107 (2012)]

abstract: This Comment identifies errors in the formalism/implementation reported in Ref. 1 and discusses some aspects of that work that were not fully specified in the original publication. This Comment also provides reference numerical results for a simple system to ease future implementation of the approach by other researchers.


title: An efficient combination of quantum error correction and authentication

abstract: When sending quantum information over a channel, we want to ensure that the message remains intact. Quantum error correction and quantum authentication both aim to protect (quantum) information, but approach this task from two very different directions: error-correcting codes protect against probabilistic channel noise and are meant to be very robust against small errors, while authentication codes prevent adversarial attacks and are designed to be very sensitive against any error, including small ones. In practice, when sending an authenticated state over a noisy channel, one would have to wrap it in an error-correcting code to counterbalance the sensitivity of the underlying authentication scheme. We study the question of whether this can be done more efficiently by combining the two functionalities in a single code. To illustrate the potential of such a combination, we design the threshold code, a modification of the trap authentication code which preserves that code's authentication properties, but which is naturally robust against depolarizing channel noise. We show that the threshold code needs polylogarithmically fewer qubits to achieve the same level of security and robustness, compared to the naive composition of the trap code with any concatenated CSS code. We believe our analysis opens the door to combining more general error-correction and authentication codes, which could improve the practicality of the resulting scheme.