title: Highly tunable spin Hall magnetoresistance in room-temperature magnetoelectric multiferroic, $\text{Sr}_{3}\text{Co}_{2}\text{Fe}_{24}\text{O}_{41}|$Pt hybrids

abstract: We present spin transport studies on a low-field, room-temperature magnetoelectric multiferroic polycrystalline $\text{Sr}_{3}\text{Co}_{2}\text{Fe}_{24}\text{O}_{41}$ (SCFO)|Pt heterostructure wherein a highly tunable transverse conical magnetic phase is responsible for static and dynamic magnetoelectric coupling. We measured angular dependence of spin Hall magnetoresistance (SMR) at constant magnetic fields ($H$) in the range of 50 to 100 kOe. Application of field below the critical value (2.5 kOe), yielded negative SMR and the $H$-evolution of normalized SMR exhibited a negative gradient. Further, an increase in the $H$ resulted in the positive slope of normalized SMR Vs. $H$ and later at higher $H$ around 14 kOe, a crossover from negative to positive SMR was observed. We employed a simple model for estimating the equilibrium magnetic configuration and computed the SMR modulation at various values of $H$. We argue that the tilting of the cone is dominant and in turn responsible for the observed nature of SMR below 2.5 kOe while, the closing of the cone-angle is pronounced at higher fields causing a reversal in sign of the SMR from negative to positive. Importantly, SMR experiments revealed that a change in the helicity with a reversal of the magnetic field has no influence on the observed SMR. Longitudinal spin Seebeck effect (LSSE) signal was measured to be 500 nV at 280 K, under application of thermal gradient, $\Delta T = 23$ K and field, 60 kOe. The observed LSSE signal, originating from pure magnon spin current, showed a similar $H$-dependent behavior as that of the magnetization of SCFO. Our detailed spin transport studies on polycrystalline SCFO|Pt heterostructure demonstrate high tunability of the amplitude and the sign of the SMR, highlighting its potential for novel spintronic devices such as SMR-based spin valves and voltage-controlled spin transport devices.


title: Dark Radiation Constraints on Heavy QCD Axions

abstract: The naturalness problem of PQ symmetry motivates study of the heavy QCD axion, with masses $m_a >$ 1 MeV generated at scales above the QCD scale, and low values of the PQ symmetry breaking scale, $f_a$. We compute the abundance of such axions in a model-independent way, assuming only that they freeze-out after reheating from inflation, and are not subsequently diluted by new physics. If these axions decay between neutrino decoupling and the last scatter era of the Cosmic Microwave Background (CMB), they dilute the neutrinos and their abundance is constrained by CMB measurements of the energy density in dark radiation, $N_{\rm eff}$. We accurately compute this bound using a numerical code to evolve the axion momentum distribution, including many key processes and effects previously ignored. We assume that the only relevant axion decays are to final states involving Standard Model particles. We determine regions of $(m_a, f_a)$ that will give a signal in $N_{\rm eff}$ at CMB Stage 4 experiments. We similarly compute the $N_{\rm eff}$ bound and CMB Stage 4 signal for heavy axions that can decay to light mirror photons. Finally, we compute the bounds on heavy axions with mass below 1 MeV that decay after the era of CMB last scatter, from their contribution to cold or hot dark matter or $N_{\rm eff}$ at this era.


title: Observational signatures of hot spots orbiting horizonless objects

abstract: Pushed by a number of advances, electromagnetic observatories have now reached the horizon scale of supermassive black holes. The existence and properties of horizons in our universe is one of the outstanding fundamental issues that can now be addressed. Here we investigate the ability to discriminate between black holes and compact, horizonless objects, focusing on the lensing of hot spots around compact objects. We work in particular with boson and Proca stars as central objects, and show that the absence of a horizon gives rise to a characteristic feature -- photons that plough through the central object and produce an extra image. This feature should be universal for central objects made of matter weakly coupled to the standard model.


title: Quenched random mass disorder in the large N theory of vector bosons

abstract: We study the critical bosonic O(N) vector model with quenched random mass disorder in the large N limit. Due to the replicated action which is sometimes not bounded from below, we avoid the replica trick and adopt a traditional approach to directly compute the disorder averaged physical observables. At $N=\infty$, we can exactly solve the disordered model. The resulting low energy behavior can be described by two scale invariant theories, one of which has an intrinsic scale. At finite $N$, we find that the previously proposed attractive disordered fixed point at $d=2$ continues to exist at $d=2+\epsilon$ spatial dimensions. We also studied the system in the $3<d<4$ spatial dimensions where the disorder is relevant at the Gaussian fixed point. However, no physical attractive fixed point is found right below four spatial dimensions. Nevertheless, the stable fixed point at $2+\epsilon$ dimensions can still survive at $d=3$ where the system has experimental realizations. Some critical exponents are predicted in order to be checked by future numerics and experiments.


title: On Bayesian Mechanics: A Physics of and by Beliefs

abstract: The aim of this paper is to introduce a field of study that has emerged over the last decade called Bayesian mechanics. Bayesian mechanics is a probabilistic mechanics, comprising tools that enable us to model systems endowed with a particular partition (i.e., into particles), where the internal states (or the trajectories of internal states) of a particular system encode the parameters of beliefs about external states (or their trajectories). These tools allow us to write down mechanical theories for systems that look as if they are estimating posterior probability distributions over the causes of their sensory states. This provides a formal language for modelling the constraints, forces, potentials, and other quantities determining the dynamics of such systems, especially as they entail dynamics on a space of beliefs (i.e., on a statistical manifold). Here, we will review the state of the art in the literature on the free energy principle, distinguishing between three ways in which Bayesian mechanics has been applied to particular systems (i.e., path-tracking, mode-tracking, and mode-matching). We go on to examine a duality between the free energy principle and the constrained maximum entropy principle, both of which lie at the heart of Bayesian mechanics, and discuss its implications.

categories: cond-mat.stat-mech math.DS nlin.AO physics.bio-ph


title: Real-time correlators in chaotic quantum many-body systems

abstract: We study real-time local correlators $\langle\mathcal{O}(\mathbf{x},t)\mathcal{O}(0,0)\rangle$ in chaotic quantum many-body systems. These correlators show universal structure at late times, determined by the dominant operator-space Feynman trajectories for the evolving operator $\mathcal{O}(\mathbf{x},t)$. The relevant trajectories involve the operator contracting to a point at both the initial and final time and so are structurally different from those dominating the out-of-time-order correlator. In the absence of conservation laws, correlations decay exponentially: $\langle\mathcal{O}(\mathbf{x},t)\mathcal{O}(0,0)\rangle\sim\exp(-s_\mathrm{eq} r(\mathbf{v}) t)$, where $\mathbf{v}= \mathbf{x}/ t$ defines a spacetime ray, and $r(\mathbf{v})$ is an associated decay rate. We express $r(\mathbf{v})$ in terms of cost functions for various spacetime structures. In 1+1D, operator histories can show a phase transition at a critical ray velocity $v_c$, where $r(\mathbf{v})$ is nonanalytic. At low $v$, the dominant Feynman histories are "fat": the operator grows to a size of order $t^\alpha\gg 1$ before contracting to a point again. At high $v$ the trajectories are "thin": the operator always remains of order-one size. In a Haar-random unitary circuit, this transition maps to a simple binding transition for a pair of random walks (the two spatial boundaries of the operator). In higher dimensions, thin trajectories always dominate. We discuss ways to extract the butterfly velocity $v_B$ from the time-ordered correlator, rather than the OTOC. Correlators in the random circuit may alternatively be computed with an effective Ising-like model: a special feature of the Ising weights for the Haar brickwork circuit gives $v_c=v_B$. This work addresses lattice models, but also suggests the possibility of morphological phase transitions for real-time Feynman diagrams in quantum field theories.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el hep-th quant-ph


title: Kinetic Mixing from Kaluza-Klein Modes: A Simple Construction for Portal Matter

abstract: The vector portal/kinetic mixing simplified model of dark matter, in which thermal dark matter of a mass ranging from a few MeV to a few GeV can be realized with a dark-sector $U(1)$, relies on a small kinetic mixing term between this dark $U(1)$ and the Standard Model (SM) hypercharge. It is well-known that kinetic mixing of the right magnitude can be generated at one loop by the inclusion of "portal matter" fields which are charged under both the dark $U(1)$ and the SM hypercharge, and it has been previously argued on phenomenological grounds that fermionic portal matter fields must exhibit a specific set of characteristics: They must be vector-like and have the same Standard Model group representations as existing SM fermions. A natural explanation for the presence of dark $U(1)$-charged copies of SM fermions would be to enlarge the dark gauge group and embed the SM and the portal matter into a single dark multiplet, however, previous works in this direction require significant ad hoc additions to ensure that the portal matter fields are vector-like while the SM fields are chiral, and rely on complicated dark Higgs sectors to realize the appropriate symmetry breaking. In this paper, we argue that a model with large extra dimensions can easily generate chiral SM fermions and vector-like portal matter from a single dark bulk multiplet, while allowing for a far simpler dark Higgs sector. We present a minimal construction of this "Kaluza-Klein (KK) portal matter" and explore its phenomenology at the LHC, noting that even our simple realization exhibits signatures unique from those of more conventional models with large extra dimensions and 4-D portal matter. Generically, the portal matter sector fields will be much lighter than the other KK fields in the model, so the portal matter sector has the potential to be the first observable experimental signature of an extra dimension.


title: MUSUBI (MegaCam Ultra-deep Survey: $u^\ast$-Band Imaging)-Data for the COSMOS and SXDS Fields

abstract: The Subaru Hyper Suprime-Cam (HSC) Strategic Survey is the latest-generation multi-band optical imaging survey for galaxy evolution and structure formation. The "Ultra-Deep" component of the HSC survey provides $grizy$ broad-band images over $\sim3.4$ deg$^2$ to detection limits of $\sim26$-28 AB, along with narrow-band images, in the COSMOS and the SXDS fields. These images provide an unprecedented combination of depths and area coverage, for the studies galaxies up to $z\sim7$. However, the lack of coverage at $<4000$ Ang implies incomplete sampling of the rest-frame UV at $z\lesssim 3$, which is critically needed for understanding the buildup of stellar mass in the later cosmic time. We conducted a multi-year CFHT $u^\ast$-band imaging campaign in the two HSC Ultra-Deep fields with CFHT MegaCam. By including shallower archival data, we reach 5-$\sigma$ depths of $u^\ast=28.1$ and 28.4 (AB) at the centers of the COSMOS and SXDS fields, respectively, and $u^\ast=27.7$ and 27.8 in the central 1 deg$^2$ fields. The image quality is $\gtrsim0.90$ arcsec, fairly good for the $u^\ast$ band. Both the photometric and astrometric quality of our data are excellent. We show that the combination of our $u^\ast$-band and HSC data can lead to high-quality photometric redshifts at $z=0$-3, and robust measurements of rest-frame UV on galaxies at $0.4<z<0.6$ for distinguishing green-valley galaxies from star-forming and quiescent galaxies. We publicly release our reduced $u^\ast$-band images and reference catalogs that can be used readily for scientific studies.


title: The open past in an indeterministic physics

abstract: Discussions on indeterminism in physics focus on the possibility of an open future, i.e. the possibility of having potential alternative future events, the realisation of one of which is not fully determined by the present state of affairs. Yet, can indeterminism affect also the past, making it open as well? We show that by upholding principles of finiteness of information one can entail such a possibility. We provide a toy model that shows how the past could be fundamentally indeterminate, while also explaining the intuitive (and observed) asymmetry between the past -- which can be remembered, at least partially -- and the future -- which is impossible to fully predict.


title: Fully-charm and -bottom pentaquarks in a Lattice-QCD inspired quark model

abstract: The fully-charm and -bottom pentaquarks, \emph{i.e.} $cccc\bar{c}$ and $bbbb\bar{b}$, with spin-parity quantum numbers $J^P=\frac{1}{2}^-$, $\frac{3}{2}^-$ and $\frac{5}{2}^-$, are investigated within a Lattice-QCD inspired quark model, which has already successfully described the recently announced fully-charm tetraquark candidate $X(6900)$, and has also predicted several other fully-heavy tetraquarks. A powerful computational technique, based on the Gaussian expansion method combined with a complex-scaling range approach, is employed to predict, and distinguish, bound, resonance and scattering states of the mentioned five-body system. Both baryon-meson and diquark-diquark-antiquark configurations, along with all of their possible color channels are comprehensively considered. Narrow resonances are obtained in each spin-parity channel for the fully-charm and -bottom systems. Moreover, most of them seems to be compact multiquarks whose wave-functions are dominated by either hidden-color baryon-meson or diquark-diquark-antiquark structure, or by the coupling between them.


title: Second Quantization Approach to Many-Body Dispersion Interactions

abstract: The many-body dispersion (MBD) framework is a successful approach for modeling the long-range electronic correlation energy and optical response of systems with thousands of atoms. Inspired by field theory, here we develop a second-quantized MBD formalism (SQ-MBD) that recasts a system of atomic quantum Drude oscillators in a Fock-space representation. SQ-MBD provides (I) tools for projecting observables (interaction energy, transition multipoles, polarizability tensors) on coarse-grained representations of the atomistic system ranging from single atoms to large structural motifs, (ii) a quantum-information framework to analyze correlations and (non)separability among fragments in a given molecular complex, and (iii) a path toward the applicability of the MBD framework to molecular complexes with millions of atoms. The SQ-MBD approach offers novel insights into quantum fluctuations in molecular systems and enables direct coupling of collective plasmon-like MBD degrees of freedom with arbitrary environments, providing a tractable computational framework to treat dispersion interactions and polarization response in intricate systems.


title: Principal and complementary series representations at the late-time boundary of de Sitter

abstract: We demonstrate how free massive scalar fields in the set up that usually appears in early universe inflationary studies, correspond to the principal series and complementary series representations of the group SO(d+1,1) by introducing late-time operators and computing their two-point functions.


title: Learning to Ignore Adversarial Attacks

abstract: Despite the strong performance of current NLP models, they can be brittle against adversarial attacks. To enable effective learning against adversarial inputs, we introduce the use of rationale models that can explicitly learn to ignore attack tokens. We find that the rationale models can successfully ignore over 90% of attack tokens. This approach leads to consistent sizable improvements ($\sim$10%) over baseline models in robustness on three datasets for both BERT and RoBERTa, and also reliably outperforms data augmentation with adversarial examples alone. In many cases, we find that our method is able to close the gap between model performance on a clean test set and an attacked test set and hence reduce the effect of adversarial attacks.


title: Spherical objects in dimension two and three

abstract: This paper classifies spherical objects in various geometric settings in dimension two and three, including both minimal and partial crepant resolutions of Kleinian singularities, as well as arbitrary flopping 3-fold contractions with only Gorenstein terminal singularities. The main result is much more general: in each such setting, we prove that all objects in the associated null category with no negative Ext groups are the image, under the action of an appropriate braid or pure braid group, of some object in the heart of a bounded t-structure. The corollary is that all objects which admit no negative Exts, and for which the self-Hom space is one dimensional, are the images of the simples. A variation on this argument goes further, and classifies all bounded t-structures. There are multiple geometric, topological and algebraic consequences, primarily to autoequivalences and stability conditions. Our main new technique also extends into representation theory, and we establish that in the derived category of a finite dimensional algebra which is silting discrete, every object with no negative Ext groups lies in the heart of a bounded t-structure. As a consequence, every semibrick complex can be completed to a simple minded collection.


title: Existence and Stability of Nonequilibrium Steady States of Nernst-Planck-Navier-Stokes Systems

abstract: We consider the Nernst-Planck-Navier-Stokes system in a bounded domain of ${\mathbb {R}}^d$, $d=2,3$ with general nonequilibrium Dirichlet boundary conditions for the ionic concentrations. We prove the existence of smooth steady state solutions and present a sufficient condition in terms of only the boundary data that guarantees that these solutions have nonzero fluid velocity. We show that time evolving solutions are ultimately bounded uniformly, independently of their initial size. In addition, we consider one dimensional steady states with steady nonzero currents and show that they are globally nonlinearly stable as solutions in a three dimensional periodic strip, if the currents are sufficiently weak.


title: Electro-optic Fourier transform chronometry of pulsed quantum light

abstract: The power spectrum of an optical field can be acquired without a spectrally resolving detector by means of Fourier-transform spectrometry, based on measuring the temporal autocorrelation of the optical field. Analogously, we here perform temporal envelope measurements of ultrashort optical pulses without time resolved detection. We introduce the technique of Fourier transform chronometry, where the temporal envelope is acquired by measuring the frequency autocorrelation of the optical field in a linear interferometer. We apply our technique, which is the time-frequency conjugate measurement to Fourier-transform spectrometry, to experimentally measure the pulse envelope of classical and single photon light pulses.


title: Signatures of Dissipation Driven Quantum Phase Transition in Rabi Model

abstract: By using worldline Monte Carlo technique, matrix product state and a variational approach \`a la Feynman, we investigate the equilibrium properties and relaxation features of the dissipative quantum Rabi model, where a two level system is coupled to a linear harmonic oscillator embedded in a viscous fluid. We show that, in the Ohmic regime, a Beretzinski-Kosterlitz-Thouless quantum phase transition occurs by varying the coupling strength between the two level system and the oscillator. This is a non perturbative result, occurring even for extremely low dissipation magnitude. By using state-of-the-art theoretical methods, we unveil the features of the relaxation towards the thermodynamic equilibrium, pointing out the signatures of quantum phase transition both in the time and frequency domains. We prove that, for low and moderate values of the dissipation, the quantum phase transition occurs in the deep strong coupling regime. We propose to realize this model by coupling a flux qubit and a damped LC oscillator.


title: Category ${\mathscr{C}}_{k}$ of multi-loop algebra representations versus modular representations: Questions of G. Lusztig

abstract: Lusztig defined an abelian category ${\mathscr{C}}_{k}$ of a class of representations of a multi-loop algebra and asked various questions connecting it to the modular representation theory of simple algebraic groups in char. p>0. The aim of this paper is to show that some of these questions have negative answer.


title: Effect of shake-up on the rate of a neutrinoless double electronic capture in $^{164}$Er

abstract: Traditionally double neutrinoless electronic capture is considered as a resonance process. We have fulfilled shake-off probability calculations, leading to ionization of the electron shell, in the case of $^{164}$Er. Allowance for the shake-off removes the requirement of resonance, leading to an increase of the capture rate. The contribution of the new mechanism increases the capture rate by a factor of 5.6 compared to the conventional resonance fluorescence mechanism. It also increases the probability of electron capture from higher shells, which must be foreseen in an experimental study. Moreover, effect of the shake-off can potentially expand the list of candidate nuclei for experiments.


title: Using Natural Language and Program Abstractions to Instill Human Inductive Biases in Machines

abstract: Strong inductive biases give humans the ability to quickly learn to perform a variety of tasks. Although meta-learning is a method to endow neural networks with useful inductive biases, agents trained by meta-learning may sometimes acquire very different strategies from humans. We show that co-training these agents on predicting representations from natural language task descriptions and programs induced to generate such tasks guides them toward more human-like inductive biases. Human-generated language descriptions and program induction models that add new learned primitives both contain abstract concepts that can compress description length. Co-training on these representations result in more human-like behavior in downstream meta-reinforcement learning agents than less abstract controls (synthetic language descriptions, program induction without learned primitives), suggesting that the abstraction supported by these representations is key.


title: CMB constraints on DHOST theories

abstract: We put constraints on the degenerate higher-order scalar-tensor (DHOST) theories using the Planck 2018 likelihoods. In our previous paper, we developed a Boltzmann solver incorporating the effective field theory parameterised by the six time-dependent functions, $\alpha_i$ $(i={\rm B},{\rm K},{\rm T},{\rm M},{\rm H})$ and $\beta_1$, which can describe the DHOST theories. Using the Markov-Chain Monte-Carlo method with our Boltzmann solver, we find the viable parameter region of the model parameters characterising the DHOST theories and the other standard cosmological parameters. First, we consider a simple model with $\alpha_{\rm K} = \Omega_{\rm DE}(t)/\Omega_{\rm DE}(t_0)$, $\alpha_{\rm B}=\alpha_{\rm T}=\alpha_{\rm M}=\alpha_{\rm H}=0$ and $\beta_1=\beta_{1,0}\Omega_{\rm DE}(t)/\Omega_{\rm DE}(t_0)$ in the $\Lambda$CDM background where $t_0$ is the present time and obtain $\beta_{1,0}=0.032_{-0.016}^{+0.013}$ (68\% c.l.). Next, we focus on another theory given by $\mathcal{L}_{\rm DHOST} = X + c_3X\Box\phi/\Lambda^3+ (M_{\rm pl}^2/2+c_4X^2/\Lambda^6)R + 48c_4^2X^2/(M_{\rm pl}^2\Lambda^{12}+2c_4\Lambda^6X^2)\phi^\mu\phi_{\mu\rho}\phi^{\rho\nu}\phi_\nu$ with $X:=\partial_\mu\phi\partial^{\mu}\phi$ and two positive constant parameters, $c_3$ and $c_4$. In this model, we consistently treat the background and the perturbations, and obtain $c_3 = 1.59^{+0.26}_{-0.28}$ and the upper bound on $c_4$, $c_4<0.0088$ (68\% c.l.).


title: Resummed next-to-soft corrections to rapidity distribution of Higgs Boson to $ \textbf{NNLO} + \overline{\textbf{NNLL} } $

abstract: We present the resumed predictions consisting of both soft-virtual(SV) as well as next-to-SV(NSV) threshold logarithms to all orders in perturbative QCD for the rapidity distribution of Higgs Boson till $\rm NNLO + \overline{NNLL}$ accuracy at LHC. Using our recent formalism\cite{Ajjath:2020lwb}, the resummation is carried out in the double Mellin space by restricting the NSV contributions only from diagonal $gg$ channel. We perform the inverse Mellin ransformation using the minimal prescription procedure and match it with the corresponding fixed order results. We do a detailed analysis of the numerical impact of the resummed result. The K-factor values at different logarithmic accuracy suggest that the prediction for the rapidity distribution converges and becomes more reliable at $\rm NNLO + \overline{NNLL}$ order. We further observed that the inclusion of resumed NSV contribution improves the renormalisation scale uncertainty at every order in perturbation theory. However, the uncertainty due to factorisation scale increases by the addition of resummed SV+NSV predictions to the fixed order rapidity distribution.


title: Agreement and Statistical Efficiency in Bayesian Perception Models

abstract: Bayesian models of group learning are studied in Economics since the 1970s. and more recently in computational linguistics. The models from Economics postulate that agents maximize utility in their communication and actions. The Economics models do not explain the ``probability matching" phenomena that are observed in many experimental studies. To address these observations, Bayesian models that do not formally fit into the economic utility maximization framework were introduced. In these models individuals sample from their posteriors in communication. In this work we study the asymptotic behavior of such models on connected networks with repeated communication. Perhaps surprisingly, despite the fact that individual agents are not utility maximizers in the classical sense, we establish that the individuals ultimately agree and furthermore show that the limiting posterior is Bayes optimal. We explore the interpretation of our results in terms of Large Language Models (LLMs). In the positive direction our results can be interpreted as stating that interaction between different LLMs can lead to optimal learning. However, we provide an example showing how misspecification may lead LLM agents to be overconfident in their estimates.


title: Locally induced Galois representations with exceptional residual images

abstract: In this paper, we classify all continuous Galois representations $\rho:\mathrm{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\to \mathrm{GL}_2(\overline{\mathbf{Q}}_p)$ which are unramified outside $\{p,\infty\}$ and locally induced at $p$, under the assumption that $\overline{\rho}$ is exceptional, that is, has image of order prime to $p$. We prove two results. If $f$ is a level one cuspidal eigenform and one of the $p$-adic Galois representations $\rho_f$ associated to $f$ has exceptional residual image, then $\rho_f$ is not locally induced and $a_p(f)\neq 0$. If $\rho$ is locally induced at $p$ and with exceptional residual image, and furthermore certain subfields of the fixed field of the kernel of $\overline{\rho}$ are assumed to have class numbers prime to $p$, then $\rho$ has finite image up to a twist.


title: Accelerating the creation of instance segmentation training sets through bounding box annotation

abstract: Collecting image annotations remains a significant burden when deploying CNN in a specific applicative context. This is especially the case when the annotation consists in binary masks covering object instances. Our work proposes to delineate instances in three steps, based on a semi-automatic approach: (1) the extreme points of an object (left-most, right-most, top, bottom pixels) are manually defined, thereby providing the object bounding-box, (2) a universal automatic segmentation tool like Deep Extreme Cut is used to turn the bounded object into a segmentation mask that matches the extreme points; and (3) the predicted mask is manually corrected. Various strategies are then investigated to balance the human manual annotation resources between bounding-box definition and mask correction, including when the correction of instance masks is prioritized based on their overlap with other instance bounding-boxes, or the outcome of an instance segmentation model trained on a partially annotated dataset. Our experimental study considers a teamsport player segmentation task, and measures how the accuracy of the Panoptic-Deeplab instance segmentation model depends on the human annotation resources allocation strategy. It reveals that the sole definition of extreme points results in a model accuracy that would require up to 10 times more resources if the masks were defined through fully manual delineation of instances. When targeting higher accuracies, prioritizing the mask correction among the training set instances is also shown to save up to 80\% of correction annotation resources compared to a systematic frame by frame correction of instances, for a same trained instance segmentation model accuracy.


title: Optimising creation operators for charmonium spectroscopy on the lattice

abstract: Smearing the bare quantum fields in lattice calculations before applying composite hadron creation operators has a long record of substantially improving overlaps onto low-lying energy eigenstates. A technique called distillation which defines smearing for quark fields as a low-rank linear projection operator into a small vector space of smooth gauge-covariant fields has proven to be both effective and versatile in hadron spectroscopy calculations albeit with significant computational cost . In this paper, more general operators in this space of smooth fields are introduced and optimised, which enhances the performance of the method when tested on systems of heavy quark-anti-quark pairs close to the charmonium energy scale.


title: Electron transport in a weakly disordered Weyl semimetal

abstract: Weyl semimetal is a solid material with isolated touching points between conduction and valence bands in its Brillouin zone -- Weyl points. Low energy excitations near these points exhibit a linear dispersion and act as relativistic massless particles. Weyl points are stable topological objects robust with respect to most perturbations. We study effects of weak disorder on the spectral and transport properties of Weyl semimetals in the limit of low energies. We use a model of Gaussian white-noise potential and apply dimensional regularization scheme near three dimensions to treat divergent terms in the perturbation theory. In the framework of self-consistent Born approximation, we find closed expressions for the average density of states and conductivity. Both quantities are analytic functions in the limit of zero energy. We also include interference terms beyond the self-consistent Born approximation up to the third order in the disorder strength. These interference corrections are stronger than the mean-field result and non-analytic as functions of energy. Our main result is the dependence of conductivity (in units $e^2/h$) on the electron concentration $\sigma = \sigma_0 - 0.891\, n^{1/3} + 0.115\, (n^{2/3}/\sigma_0) \ln|n|$.


title: Compressing the chronology of a temporal network with graph commutators

abstract: Studies of dynamics on temporal networks often represent the network as a series of "snapshots," static networks active for short durations of time. We argue that successive snapshots can be aggregated if doing so has little effect on the overlying dynamics. We propose a method to compress network chronologies by progressively combining pairs of snapshots whose matrix commutators have the smallest dynamical effect. We apply this method to epidemic modeling on real contact tracing data and find that it allows for significant compression while remaining faithful to the epidemic dynamics.


title: VPAIR -- Aerial Visual Place Recognition and Localization in Large-scale Outdoor Environments

abstract: Visual Place Recognition and Visual Localization are essential components in navigation and mapping for autonomous vehicles especially in GNSS-denied navigation scenarios. Recent work has focused on ground or close to ground applications such as self-driving cars or indoor-scenarios and low-altitude drone flights. However, applications such as Urban Air Mobility require operations in large-scale outdoor environments at medium to high altitudes. We present a new dataset named VPAIR. The dataset was recorded on board a light aircraft flying at an altitude of more than 300 meters above ground capturing images with a downwardfacing camera. Each image is paired with a high resolution reference render including dense depth information and 6-DoF reference poses. The dataset covers a more than one hundred kilometers long trajectory over various types of challenging landscapes, e.g. urban, farmland and forests. Experiments on this dataset illustrate the challenges introduced by the change in perspective to a bird's eye view such as in-plane rotations.


title: Quasi Black-Box Variational Inference with Natural Gradients for Bayesian Learning

abstract: We develop an optimization algorithm suitable for Bayesian learning in complex models. Our approach relies on natural gradient updates within a general black-box framework for efficient training with limited model-specific derivations. It applies within the class of exponential-family variational posterior distributions, for which we extensively discuss the Gaussian case for which the updates have a rather simple form. Our Quasi Black-box Variational Inference (QBVI) framework is readily applicable to a wide class of Bayesian inference problems and is of simple implementation as the updates of the variational posterior do not involve gradients with respect to the model parameters, nor the prescription of the Fisher information matrix. We develop QBVI under different hypotheses for the posterior covariance matrix, discuss details about its robust and feasible implementation, and provide a number of real-world applications to demonstrate its effectiveness.


title: Rational Design of Superconducting Metal Hydrides via Chemical Pressure Tuning

abstract: The high critical superconducting temperatures ($T_c$s) of metal hydride phases with clathrate-like hydrogen networks have generated great interest. Herein, we employ the Density Functional Theory-Chemical Pressure (DFT-CP) method to explain why certain electropositive elements adopt these structure types, whereas others distort the hydrogenic lattice, thereby decreasing the $T_c$. The progressive opening of the H$_{24}$ polyhedra in MH$_6$ phases is shown to arise from internal pressures exerted by large metal atoms, some of which may favor an even higher hydrogen content that loosens the metal atom coordination environments. The stability of the LaH$_{10}$ and LaBH$_8$ phases is tied to stuffing of their shared hydrogen network with either additional hydrogen or boron atoms. The predictive capabilities of DFT-CP are finally applied to the Y-X-H system to identify possible ternary additions yielding a superconducting phase stable to low pressures.


title: Aspects of kink-like structures in 2D dilaton gravity

abstract: The topological structures that arise from two-dimensional models are relevant physically and the first step towards understanding more complex systems. In this work, one studies the kink-like solutions of the matter field that emerge in a two-dimensional dilaton gravity scenario. Considering this scenario, we examine the linear stability of the matter field and the translational mode. Due to the specific profile of the solutions found, a differential configurational complexity (DCC) analysis of the system was necessary to confirm the nature of the structures. Furthermore, we study the interforce and scattering process, considering a pair of kink-antikink-like solutions in a fixed time ($t=0$).


title: Flat bands and band touching from real-space topology in hyperbolic lattices

abstract: Motivated by the recent experimental realizations of hyperbolic lattices in circuit quantum electrodynamics and in classical electric-circuit networks, we study flat bands and band-touching phenomena in such lattices. We analyze noninteracting nearest-neighbor hopping models on hyperbolic analogs of the kagome and dice lattices with heptagonal and octagonal symmetry. We show that two characteristic features of the energy spectrum of those models, namely the fraction of states in the flat band as well as the number of touching points between the flat band and the dispersive bands, can both be captured exactly by a combination of real-space topology arguments and a reciprocal-space description via the formalism of hyperbolic band theory. Furthermore, using real-space numerical diagonalization on finite lattices with periodic boundary conditions, we obtain new insights into higher-dimensional irreducible representations of the non-Euclidean (Fuchsian) translation group of hyperbolic lattices. First, we find that the fraction of states in the flat band is the same for Abelian and non-Abelian hyperbolic Bloch states. Second, we find that only Abelian states participate in the formation of touching points between the flat and dispersive bands.


title: Algebraic Central Limit Theorems: A Personal View on One of Wilhelm's Legacies -- To the Memory of Wilhelm von Waldenfels

abstract: Bringing forward the concept of convergence in moments from classical random variables to quantum random variables is what leads to what can be called algebraic central limit theorem for (classical and) quantum random variables. I reflect in a very personal way how such an idea is typical for the spirit of doing research in mathematics as I learned it in Wilhelm von Waldenfels's research group in Heidelberg.


title: Semiparametric Efficient Dimension Reduction in multivariate regression with an Inner Envelope

abstract: Recently, Su and Cook proposed a dimension reduction technique called the inner envelope which can be substantially more efficient than the original envelope or existing dimension reduction techniques for multivariate regression. However, their technique relied on a linear model with normally distributed error, which may be violated in practice. In this work, we propose a semiparametric variant of the inner envelope that does not rely on the linear model nor the normality assumption. We show that our proposal leads to globally and locally efficient estimators of the inner envelope spaces. We also present a computationally tractable algorithm to estimate the inner envelope. Our simulations and real data analysis show that our method is both robust and efficient compared to existing dimension reduction methods in a diverse array of settings.


title: Windowed Green function method for wave scattering by periodic arrays of 2D obstacles

abstract: This paper introduces a novel boundary integral equation (BIE) method for the numerical solution of problems of planewave scattering by periodic line arrays of two-dimensional penetrable obstacles. Our approach is built upon a direct BIE formulation that leverages the simplicity of the free-space Green function but in turn entails evaluation of integrals over the unit-cell boundaries. Such integrals are here treated via the window Green function method. The windowing approximation together with a finite-rank operator correction -- used to properly impose the Rayleigh radiation condition -- yield a robust second-kind BIE that produces super-algebraically convergent solutions throughout the spectrum, including at the challenging Rayleigh-Wood anomalies. The corrected windowed BIE can be discretized by means of off-the-shelf Nystr\"om and boundary element methods, and it leads to linear systems suitable for iterative linear-algebra solvers as well as standard fast matrix-vector product algorithms. A variety of numerical examples demonstrate the accuracy and robustness of the proposed methodology

categories: math.NA cs.NA physics.comp-ph physics.optics


title: Spatial stress correlations in strong colloidal gel

abstract: In this work, we systematically investigate for the first time the nature of stress correlations in soft colloidal gel materials which support tensile and compressive forces as well as finite rolling torque, as a function of system pressure. Similar to previous studies on frictional granular matter with only compressive forces and without any rolling torque, the full stress autocorrelation matrix is dictated by the pressure and torque autocorrelations due to mechanical balance and material isotropy constraints. Surprisingly, it is observed that the gel materials do not behave as a normal elastic solid close to the gel point as assumed loosely in the literature because the real space pressure fluctuations decay slower than the normal. We also demonstrate that at low pressure the fractal like structural correlation determines the pressure fluctuations and this is manifested in the real space in terms of inhomogeneous and anisotropic force networks formed due to large voids. Far away from the gel point, as the voids collapse under compression, the force chain network becomes homogeneous and isotropic and the pressure fluctuations become normal leading to normal elastic decay at long range, behaving similar to frictionless granular matter and glass. We also observe that the torque autocorrelation is not hyperuniform in the presence of rolling resistance close to the gel point. Furthermore, we link the abnormal pressure fluctuations to the non-hyperuniform behaviour of the system with respect to the local packing fraction fluctuations, thus relating the deviations from the normal elastic behaviour across various non-equilibrium systems under a common framework.


title: An Iteration Method for Solving Elliptic Equations

abstract: In this paper we use a natural iteration technique to prove existence of solutions to nonlinear Dirichlet problems. Among the examples included is the prescribed mean curvature equation. The nature of the technique allows applications to unbounded domains, as we show with domains of the form $\mathbb{R}^{n-1}\times\left(-d/2,d/2\right)$.


title: Local versus bulk circular dichroism enhancement by achiral all-dielectric nanoresonators

abstract: Large optical chirality in the vicinity of achiral high index dielectric nanostructures has been recently demonstrated as useful means of enhancing molecular circular dichroism. We theoretically study the spatial dependence of optical chirality enhancement in the vicinity of high index dielectric nanodisks and highlight its importance for the design of nanophotonic platforms for circular dichroism enhancement. Using a T-matrix framework, we demonstrate that depending on disk aspect ratio chirality is enhanced preferentially along different directions. We employ various statistical procedures (including surface, volume and orientation averaging) that are necessary to predict the enhancement of chiroptical effects and show that optimal properties of a nanostructure depend substantially on whether spatial maximum or average chirality enhancement is sought after. Similarly, the optimal choice of the nanostructure is influenced by the presence of substrate, which limits the space available to be occupied by analyte molecules and impacts the optical chirality in the vicinity of the nanostructure.


title: BolT: Fused Window Transformers for fMRI Time Series Analysis

abstract: Deep-learning models have enabled performance leaps in analysis of high-dimensional functional MRI (fMRI) data. Yet, many previous methods are suboptimally sensitive for contextual representations across diverse time scales. Here, we present BolT, a blood-oxygen-level-dependent transformer model, for analyzing multi-variate fMRI time series. BolT leverages a cascade of transformer encoders equipped with a novel fused window attention mechanism. Encoding is performed on temporally-overlapped windows within the time series to capture local representations. To integrate information temporally, cross-window attention is computed between base tokens in each window and fringe tokens from neighboring windows. To gradually transition from local to global representations, the extent of window overlap and thereby number of fringe tokens are progressively increased across the cascade. Finally, a novel cross-window regularization is employed to align high-level classification features across the time series. Comprehensive experiments on large-scale public datasets demonstrate the superior performance of BolT against state-of-the-art methods. Furthermore, explanatory analyses to identify landmark time points and regions that contribute most significantly to model decisions corroborate prominent neuroscientific findings in the literature.


title: Keck/NIRSPEC studies of He I in the atmospheres of two inflated hot gas giants orbiting K dwarfs: WASP-52b and WASP-177b

abstract: We present the detection of neutral helium at 10833A in the atmosphere of WASP-52b and tentative evidence of helium in the atmosphere of the grazing WASP-177b, using high-resolution observations acquired with the NIRSPEC instrument on the Keck II telescope. We detect excess absorption by helium in WASP-52b's atmosphere of $3.44 \pm 0.31$% ($11\sigma$), or equivalently $66 \pm 5$ atmospheric scale heights. This absorption is centered on the planet's rest frame ($\Delta v = 0.00 \pm 1.19$km s$^{-1}$). We model the planet's escape using a 1D Parker wind model and calculate its mass-loss rate to be $\sim 1.4 \times 10^{11}$g s$^{-1}$, or equivalently 0.5% of its mass per Gyr. For WASP-177b, we see evidence for red-shifted ($\Delta v = 6.02 +/- 1.88$km s$^{-1}$) helium-like absorption of $1.28 \pm 0.29$% (equal to $23 \pm 5$ atmospheric scale heights). However, due to residual systematics in the transmission spectrum of similar amplitude, we do not interpret this as significant evidence for He absorption in the planet's atmosphere. Using a 1D Parker wind model, we set a $3\sigma$ upper limit on WASP-177b's escape rate of $7.9 \times 10^{10}$ g s$^{-1}$. Our results, taken together with recent literature detections, suggest the tentative relation between XUV irradiation and He I absorption amplitude may be shallower than previously suggested. Our results highlight how metastable helium can advance our understanding of atmospheric loss and its role in shaping the exoplanet population.


title: On Computing Coercivity Constants in Linear Variational Problems Through Eigenvalue Analysis

abstract: In this work, we investigate the convergence of numerical approximations to coercivity constants of variational problems. These constants are essential components of rigorous error bounds for reduced-order modeling; extension of these bounds to the error with respect to exact solutions requires an understanding of convergence rates for discrete coercivity constants. The results are obtained by characterizing the coercivity constant as a spectral value of a self-adjoint linear operator; for several differential equations, we show that the coercivity constant is related to the eigenvalue of a compact operator. For these applications, convergence rates are derived and verified with numerical examples.


title: Variability and phase lags of the type-C quasi-periodic oscillation of MAXI J1348-630 with NICER

abstract: We study the properties of the type-C quasi-periodic oscillation (type-C QPO) of MAXI J1348-630 during its 2019 outburst and reflare with NICER. This is the first time that the evolution of the properties of type-C QPOs is studied during an outburst reflare. We found that the properties of the type-C QPO during the reflare are similar to those of type-C QPOs observed in other black-hole systems during outburst. This suggests that the physical processes responsible for type-C QPOs are the same in a reflare and in an outburst. We also found that the FWHM of a high-frequency broadband component observed during the reflare changes significantly with energy. We studied the energy-dependent fractional rms amplitude and phase lags of the type-C QPO from 0.5 keV to 12 keV. We found that the fractional rms amplitude increases up to 2-3 keV and then remains approximately constant above this energy, and the lag spectra of the type-C QPO are hard. We discuss the dependence of the fractional rms amplitude and phase lags with energy in the context of Comptonisation as the radiative mechanism driving the QPO rms and lag spectra.


title: Scalable Infrastructure for Workload Characterization of Cluster Traces

abstract: In the recent past, characterizing workloads has been attempted to gain a foothold in the emerging serverless cloud market, especially in the large production cloud clusters of Google, AWS, and so forth. While analyzing and characterizing real workloads from a large production cloud cluster benefits cloud providers, researchers, and daily users, analyzing the workload traces of these clusters has been an arduous task due to the heterogeneous nature of data. This article proposes a scalable infrastructure based on Google's dataproc for analyzing the workload traces of cloud environments. We evaluated the functioning of the proposed infrastructure using the workload traces of Google cloud cluster-usage-traces-v3. We perform the workload characterization on this dataset, focusing on the heterogeneity of the workload, the variations in job durations, aspects of resources consumption, and the overall availability of resources provided by the cluster. The findings reported in the paper will be beneficial for cloud infrastructure providers and users while managing the cloud computing resources, especially serverless platforms.


title: Jet substructure in pp collisions with ALICE

abstract: Jet substructure observables have been used by experiments at the Large Hadron Collider (LHC) as instruments to search for new physics as well as to study perturbative and nonperturbative processes in quantum chromodynamics (QCD). Some observables are infrared and collinear safe and thus easily comparable to first-principles calculations, while others offer direct insight into specific physical phenomena such as the quark-gluon plasma formed in heavy-ion collisions. The high-precision capability of the ALICE tracking system allows a unique opportunity at LHC energies to measure tracks with low transverse momentum, permitting high precision access to the softer components inside jets with an excellent angular resolution. We present some recent charged-particle jet substructure measurements in pp collisions with ALICE, including the generalized jet angularities, the angular jet axes differences, and the direct observation of the dead-cone effect in QCD using the primary Lund Plane. These results provide new insights into the evolution of jets by comparing ALICE measurements to predictions from different event generators and perturbative QCD calculations.


title: PrivFairFL: Privacy-Preserving Group Fairness in Federated Learning

abstract: Group fairness ensures that the outcome of machine learning (ML) based decision making systems are not biased towards a certain group of people defined by a sensitive attribute such as gender or ethnicity. Achieving group fairness in Federated Learning (FL) is challenging because mitigating bias inherently requires using the sensitive attribute values of all clients, while FL is aimed precisely at protecting privacy by not giving access to the clients' data. As we show in this paper, this conflict between fairness and privacy in FL can be resolved by combining FL with Secure Multiparty Computation (MPC) and Differential Privacy (DP). In doing so, we propose a method for training group-fair ML models in cross-device FL under complete and formal privacy guarantees, without requiring the clients to disclose their sensitive attribute values.


title: An intelligent controller for underactuated mechanical systems

abstract: This paper presents an intelligent controller for uncertain underactuated nonlinear systems. The adopted approach is based on sliding mode control and enhanced by an artificial neural network to cope with modeling inaccuracies and external disturbances that can arise. The sliding surfaces are defined as a linear combination of both actuated and unactuated variables. A radial basis function is added to compensate the performance drop when, in order to avoid the chattering phenomenon, the sign function is substituted by a saturation function in the conventional sliding mode controller. An application of the proposed scheme is introduced for an inverted pendulum, in order to illustrate the controller design method, and numerical results are presented to demonstrate the improved performance of the resulting intelligent controller.


title: Birkhoff-James Orthogonality and Its Local Symmetry in Some Sequence Spaces

abstract: We study Birkhoff-James orthogonality and its local symmetry in some sequence spaces namely $\ell_p,$ for $1\leq p\leq\infty$, $p\neq2$, $c$, $c_0$ and $c_{00}$. Using the characterization of the local symmetry of Birkhoff-James orthogonality, we characterize isometries of each of these spaces onto itself and obtain the Banach-Lamperti theorem for onto operators on the sequence spaces.


title: Bayesian error propagation for neural-net based parameter inference

abstract: Neural nets have become popular to accelerate parameter inferences, especially for the upcoming generation of galaxy surveys in cosmology. As neural nets are approximative by nature, a recurrent question has been how to propagate the neural net's approximation error, in order to avoid biases in the parameter inference. We present a Bayesian solution to propagating a neural net's approximation error and thereby debiasing parameter inference. We exploit that a neural net reports its approximation errors during the validation phase. We capture the thus reported approximation errors via the highest-order summary statistics, allowing us to eliminate the neural net's bias during inference, and propagating its uncertainties. We demonstrate that our method is quickly implemented and successfully infers parameters even for strongly biased neural nets. In summary, our method provides the missing element to judge the accuracy of a posterior if it cannot be computed based on an infinitely accurately theory code.


title: Simple Recurrence Improves Masked Language Models

abstract: In this work, we explore whether modeling recurrence into the Transformer architecture can both be beneficial and efficient, by building an extremely simple recurrent module into the Transformer. We compare our model to baselines following the training and evaluation recipe of BERT. Our results confirm that recurrence can indeed improve Transformer models by a consistent margin, without requiring low-level performance optimizations, and while keeping the number of parameters constant. For example, our base model achieves an absolute improvement of 2.1 points averaged across 10 tasks and also demonstrates increased stability in fine-tuning over a range of learning rates.


title: Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement

abstract: Causal models are playing an increasingly important role in machine learning, particularly in the realm of explainable AI. We introduce a conceptualisation for generating argumentation frameworks (AFs) from causal models for the purpose of forging explanations for the models' outputs. The conceptualisation is based on reinterpreting desirable properties of semantics of AFs as explanation moulds, which are means for characterising the relations in the causal model argumentatively. We demonstrate our methodology by reinterpreting the property of bi-variate reinforcement as an explanation mould to forge bipolar AFs as explanations for the outputs of causal models. We perform a theoretical evaluation of these argumentative explanations, examining whether they satisfy a range of desirable explanatory and argumentative properties.


title: Forecasting Argumentation Frameworks

abstract: We introduce Forecasting Argumentation Frameworks (FAFs), a novel argumentation-based methodology for forecasting informed by recent judgmental forecasting research. FAFs comprise update frameworks which empower (human or artificial) agents to argue over time about the probability of outcomes, e.g. the winner of a political election or a fluctuation in inflation rates, whilst flagging perceived irrationality in the agents' behaviour with a view to improving their forecasting accuracy. FAFs include five argument types, amounting to standard pro/con arguments, as in bipolar argumentation, as well as novel proposal arguments and increase/decrease amendment arguments. We adapt an existing gradual semantics for bipolar argumentation to determine the aggregated dialectical strength of proposal arguments and define irrational behaviour. We then give a simple aggregation function which produces a final group forecast from rational agents' individual forecasts. We identify and study properties of FAFs and conduct an empirical evaluation which signals FAFs' potential to increase the forecasting accuracy of participants.


title: Binary dynamics from Einstein-Maxwell theory at second post-Newtonian order using effective field theory

abstract: The detection of gravitational waves from binary black holes sources has opened the possibility to search for electric charges and "dark" charges on black holes, the latter being candidates for dark matter. This requires theoretical predictions about the effect of charges on the inspiral of binary black holes in order to place constraint on charges. The effects of these charges on the inspiral of binary black holes can be described using Einstein-Maxwell theory. They have previously been derived up to first post-Newtonian (1PN) order, and the results were recently used to place bounds on the charge-to-mass ratio on black holes. Here we use the effective field theory approach with a metric parameterization based on a temporal Kaluza-Klein decomposition with non-relativistic gravitational fields to arrive at the Lagrangian for binary motion under the influence of charges up to 2PN order.


title: Mean-field theory for double-well systems on degree-heterogeneous networks

abstract: Many complex dynamical systems in the real world, including ecological, climate, financial, and power-grid systems, often show critical transitions, or tipping points, in which the system's dynamics suddenly transit into a qualitatively different state. In mathematical models, tipping points happen as a control parameter gradually changes and crosses a certain threshold. Tipping elements in such systems may interact with each other as a network, and understanding the behavior of interacting tipping elements is a challenge because of the high dimensionality originating from the network. Here we develop a degree-based mean-field theory for a prototypical double-well system coupled on a network with the aim of understanding coupled tipping dynamics with a low-dimensional description. The method approximates both the onset of the tipping point and the position of equilibria with a reasonable accuracy. Based on the developed theory and numerical simulations, we also provide evidence for multistage tipping point transitions in networks of double-well systems.


title: Precision Determination of the Neutral Weak Form Factor of $^{48}$Ca

abstract: We report a precise measurement of the parity-violating asymmetry $A_{\rm PV}$ in the elastic scattering of longitudinally polarized electrons from $^{48}{\rm Ca}$. We measure $A_{\rm PV} =2668\pm 106\ {\rm (stat)}\pm 40\ {\rm (syst)}$ parts per billion, leading to an extraction of the neutral weak form factor $F_{\rm W} (q=0.8733$ fm$^{-1}) = 0.1304 \pm 0.0052 \ {\rm (stat)}\pm 0.0020\ {\rm (syst)}$ and the charge minus the weak form factor $F_{\rm ch} - F_{\rm W} = 0.0277\pm 0.0055$. The resulting neutron skin thickness $R_n-R_p=0.121 \pm 0.026\ {\rm (exp)} \pm 0.024\ {\rm (model)}$~fm is relatively thin yet consistent with many model calculations. The combined CREX and PREX results will have implications for future energy density functional calculations and on the density dependence of the symmetry energy of nuclear matter.


title: A framework for the development of intelligent mechanical systems

abstract: From autonomous vacuum cleaners to self-driving cars, intelligent mechanical systems are becoming an intrinsic part of our daily lives. In this work, a framework for the development of intelligent mechanical systems is presented.Considering that in this scenario the adopted control approach plays an essential role, I show that the proposed scheme should be able to not only adapt itself to changes in the environment, but also learn from its own experience.


title: From the origin of life to pandemics: Emergent phenomena in complex systems

abstract: When a large number of similar entities interact among each other and with their environment at a low scale, unexpected outcomes at higher spatio-temporal scales might spontaneously arise. This nontrivial phenomenon, known as emergence, characterizes a broad range of distinct complex systems -- from physical to biological and social ones -- and is often related to collective behavior. It is ubiquitous, from non-living entities such as oscillators that under specific conditions synchronize, to living ones, such as birds flocking or fish schooling. Despite the ample phenomenological evidence of the existence of systems' emergent properties, central theoretical questions to the study of emergence remain still unanswered, such as the lack of a widely accepted, rigorous definition of the phenomenon or the identification of the essential physical conditions that favour emergence. We offer here a general overview of the phenomenon of emergence and sketch current and future challenges on the topic. Our short review also serves as an introduction to the Theme Issue "Emergent phenomena in complex physical and socio-technical systems: from cells to societies", where we provide a synthesis of the contents tackled in the Issue and outline how they relate to these challenges, spanning from current advances in our understanding on the origin of life to the large-scale propagation of infectious diseases.


title: On trajectories of complex-valued interior transmission eigenvalues

abstract: This paper investigates properties of complex-valued eigenvalue trajectories for the interior transmission problem parametrized by the index of refraction for homogeneous media. Our theoretical analysis for the unit disk shows that the only intersection points with the real axis, as well as the unique trajectorial limit points as the refractive index tends to infinity, are Dirichlet eigenvalues of the Laplacian. Complementing numerical experiments even give rise to an underlying one-to-one correspondence between Dirichlet eigenvalues of the Laplacian and complex-valued interior transmission eigenvalue trajectories. We also examine other scatterers than the disk for which similar numerical observations can be made. We summarize our results in a conjecture for general simply-connected scatterers.


title: Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation

abstract: Payment channel networks (PCNs) are one of the most prominent solutions to the limited transaction throughput of blockchains. Nevertheless, PCNs suffer themselves from a throughput limitation due to the capital constraints of their channels. A similar dependence on high capital is also found in inter-bank payment settlements, where the so-called netting technique is used to mitigate liquidity demands. In this work, we alleviate this limitation by introducing the notion of transaction aggregation: instead of executing transactions sequentially through a PCN, we enable senders to aggregate multiple transactions and execute them simultaneously to benefit from several amounts that may "cancel out". Two direct advantages of our proposal is the decrease in intermediary fees paid by senders as well as the obfuscation of the transaction data from the intermediaries. We formulate the transaction aggregation as a computational problem, a generalization of the Bank Clearing Problem. We present a generic framework for the transaction aggregation execution, and thereafter we propose Wiser as an implementation of this framework in a specific hub-based setting. To overcome the NP-hardness of the transaction aggregation problem, in Wiser we propose a fixed-parameter linear algorithm for a special case of transaction aggregation as well as the Bank Clearing Problem. Wiser can also be seen as a modern variant of the Hawala money transfer system, as well as a decentralized implementation of the overseas remittance service of Wise.


title: Polymorphic self-assembly of helical tubules is kinetically controlled

abstract: In contrast to most self-assembling synthetic materials, which undergo unbounded growth, many biological self-assembly processes are self-limited. That is, the assembled structures have one or more finite dimensions that are much larger than the size scale of the individual monomers. In many such cases, the finite dimension is selected by a preferred curvature of the monomers, which leads to self-closure of the assembly. In this article, we study an example class of self-closing assemblies: cylindrical tubules that assemble from triangular monomers. By combining kinetic Monte Carlo simulations, free energy calculations, and simple theoretical models, we show that a range of programmable size scales can be targeted by controlling the intricate balance between the preferred curvature of the monomers and their interaction strengths. However, their assembly is kinetically controlled - the tubule morphology is essentially fixed shortly after closure, resulting in a distribution of tubule widths that is significantly broader than the equilibrium distribution. We develop a simple kinetic model based on this observation and the underlying free-energy landscape of assembling tubules that quantitatively describes the distributions. Our results are consistent with recent experimental observations of tubule assembly from triangular DNA origami monomers. The modeling framework elucidates design principles for assembling self-limited structures from synthetic components, such as artificial microtubules that have a desired width and chirality.


title: Analysis and sample size calculation within the responder stratified exponential survival model

abstract: The primary endpoint in oncology is usually overall survival, where differences between therapies may only be observable after many years. To avoid withholding of a promising therapy, preliminary approval based on a surrogate endpoint is possible. The approval can be confirmed later by assessing overall survival within the same study. In these trials, the correlation between surrogate endpoint and overall survival has to be taken into account for sample size calculation and analysis. For a binary surrogate endpoint, this relation can be modeled by means of the responder stratified exponential survival (RSES) model proposed by Xia, Cui, and Yang (2014). We derive properties of the model and confidence intervals based on Maximum Likelihood estimators. Furthermore, we present an approximate and an exact test for survival difference. Type I error rate, power, and required sample size for both newly developed tests are determined exactly. These characteristics are compared to those of the logrank test. We show that the exact test performs best. The power of the logrank test is considerably lower in some situations. We conclude that the logrank test should not be used within the RSES model. The proposed method for sample size calculation works well. The interpretability of our proposed methods is discussed.


title: A scalable and flexible Cox proportional hazards model for high-dimensional survival prediction and functional selection

abstract: Cox proportional hazards model is one of the most popular models in biomedical data analysis. There have been continuing efforts to improve the flexibility of such models for complex signal detection, for example, via additive functions. Nevertheless, the task to extend Cox additive models to accommodate high-dimensional data is nontrivial. When estimating additive functions, commonly used group sparse regularization may introduce excess smoothing shrinkage on additive functions, damaging predictive performance. Moreover, an "all-in-all-out" approach makes functional selection challenging to answer if nonlinear effects exist. We develop an additive Cox PH model to address these challenges in high-dimensional data analysis. Notably, we impose a novel spike-and-slab LASSO prior that motivates the bi-level functional selection on additive functions. A scalable and deterministic algorithm, EM-Coordinate Descent, is designed for scalable model fitting. We compare the predictive and computational performance against state-of-the-art models in simulation studies and metabolomics data analysis. The proposed model is broadly applicable to various fields of research, e.g. genomics and population health, via the freely available R package BHAM (https://boyiguo1.github.io/BHAM/).


title: Challenges in Measuring Bias via Open-Ended Language Generation

abstract: Researchers have devised numerous ways to quantify social biases vested in pretrained language models. As some language models are capable of generating coherent completions given a set of textual prompts, several prompting datasets have been proposed to measure biases between social groups -- posing language generation as a way of identifying biases. In this opinion paper, we analyze how specific choices of prompt sets, metrics, automatic tools and sampling strategies affect bias results. We find out that the practice of measuring biases through text completion is prone to yielding contradicting results under different experiment settings. We additionally provide recommendations for reporting biases in open-ended language generation for a more complete outlook of biases exhibited by a given language model. Code to reproduce the results is released under https://github.com/feyzaakyurek/bias-textgen.


title: Seeded Hierarchical Clustering for Expert-Crafted Taxonomies

abstract: Practitioners from many disciplines (e.g., political science) use expert-crafted taxonomies to make sense of large, unlabeled corpora. In this work, we study Seeded Hierarchical Clustering (SHC): the task of automatically fitting unlabeled data to such taxonomies using only a small set of labeled examples. We propose HierSeed, a novel weakly supervised algorithm for this task that uses only a small set of labeled seed examples. It is both data and computationally efficient. HierSeed assigns documents to topics by weighing document density against topic hierarchical structure. It outperforms both unsupervised and supervised baselines for the SHC task on three real-world datasets.


title: Representation Projection Invariance Mitigates Representation Collapse

abstract: Fine-tuning contextualized representations learned by pre-trained language models remains a prevalent practice in NLP. However, fine-tuning can lead to representation degradation (also known as representation collapse), which may result in instability, sub-optimal performance, and weak generalization. In this paper, we propose Representation Projection Invariance (REPINA), a novel regularization method to maintain the information content of representation and reduce representation collapse during fine-tuning by discouraging undesirable changes in the representations. We study the empirical behavior of the proposed regularization in comparison to 5 comparable baselines across 13 language understanding tasks (GLUE benchmark and six additional datasets). When evaluating in-domain performance, REPINA consistently outperforms other baselines on most tasks (10 out of 13). We also demonstrate its effectiveness in few-shot settings and robustness to label perturbation. As a by-product, we extend previous studies of representation collapse and propose several metrics to quantify it. Our empirical findings show that our approach is significantly more effective at mitigating representation collapse.


title: Switchable Electric Dipole from Polaron Localization in Dielectric Crystals

abstract: Ferroelectricity in crystals is associated with the displacement of ions or rotations of polar units. Here we consider the dipole created by donor doping ($D^+$) and the corresponding bound polaron ($e^-$).A dipole of 6.15 Debye is predicted, from Berry phase analysis, in the Ruddlesden-Popper phase of ${\rm Sr_3Ti_2O_7}$. A characteristic double-well potential is formed, which persists for high doping densities. The effective Hubbard $U$ interaction can vary the defect state from metallic, a two-dimensional polaron, through to a zero-dimensional polaron. The ferroelectric-like behavior reported here is localized and distinct from conventional spontaneous lattice polarization.


title: On Measuring Social Biases in Prompt-Based Multi-Task Learning

abstract: Large language models trained on a mixture of NLP tasks that are converted into a text-to-text format using prompts, can generalize into novel forms of language and handle novel tasks. A large body of work within prompt engineering attempts to understand the effects of input forms and prompts in achieving superior performance. We consider an alternative measure and inquire whether the way in which an input is encoded affects social biases promoted in outputs. In this paper, we study T0, a large-scale multi-task text-to-text language model trained using prompt-based learning. We consider two different forms of semantically equivalent inputs: question-answer format and premise-hypothesis format. We use an existing bias benchmark for the former BBQ and create the first bias benchmark in natural language inference BBNLI with hand-written hypotheses while also converting each benchmark into the other form. The results on two benchmarks suggest that given two different formulations of essentially the same input, T0 conspicuously acts more biased in question answering form, which is seen during training, compared to premise-hypothesis form which is unlike its training examples. Code and data are released under https://github.com/feyzaakyurek/bbnli.


title: Discriminative Feature Learning through Feature Distance Loss

abstract: Ensembles of Convolutional neural networks have shown remarkable results in learning discriminative semantic features for image classification tasks. Though, the models in the ensemble often concentrate on similar regions in images. This work proposes a novel method that forces a set of base models to learn different features for a classification task. These models are combined in an ensemble to make a collective classification. The key finding is that by forcing the models to concentrate on different features, the classification accuracy is increased. To learn different feature concepts, a so-called feature distance loss is implemented on the feature maps. The experiments on benchmark convolutional neural networks (VGG16, ResNet, AlexNet), popular datasets (Cifar10, Cifar100, miniImageNet, NEU, BSD, TEX), and different training samples (3, 5, 10, 20, 50, 100 per class) show the effectiveness of the proposed feature loss. The proposed method outperforms classical ensemble versions of the base models. The Class Activation Maps explicitly prove the ability to learn different feature concepts. The code is available at: https://github.com/2Obe/Feature-Distance-Loss.git


title: Low-Complexity Block Coordinate Descend Based Multiuser Detection for Uplink Grant-Free NOMA

abstract: Grant-free non-orthogonal multiple access (NOMA) scheme is considered as a promising candidate for the enabling of massive connectivity and reduced signalling overhead for Internet of Things (IoT) applications in massive machine-type communication (mMTC) networks. Exploiting the inherent nature of sporadic transmissions in the grant-free NOMA systems, compressed sensing based multiuser detection (CS-MUD) has been deemed as a powerful solution to user activity detection (UAD) and data detection (DD). In this paper, block coordinate descend (BCD) method is employed in CS-MUD to reduce the computational complexity. We propose two modified BCD based algorithms, called enhanced BCD (EBCD) and complexity reduction enhanced BCD (CR-EBCD), respectively. To be specific, by incorporating a novel candidate set pruning mechanism into the original BCD framework, our proposed EBCD algorithm achieves remarkable CS-MUD performance improvement. In addition, the proposed CR-EBCD algorithm further ameliorates the proposed EBCD by eliminating the redundant matrix multiplications during the iteration process. As a consequence, compared with the proposed EBCD algorithm, our proposed CR-EBCD algorithm enjoys two orders of magnitude complexity saving without any CS-MUD performance degradation, rendering it a viable solution for future mMTC scenarios. Extensive simulation results demonstrate the bound-approaching performance as well as ultra-low computational complexity.


title: On the reflexivity properties of Banach bundles and Banach modules

abstract: In this paper we investigate some reflexivity-type properties of separable measurable Banach bundles over a $\sigma$-finite measure space. Our two main results are the following: - The fibers of a bundle are uniformly convex (with a common modulus of convexity) if and only if the space of its $L^p$-sections is uniformly convex for every $p\in(1,\infty)$. - The fibers of a bundle are reflexive if and only if the space of its $L^p$-sections is reflexive. These results generalise the well-known corresponding ones for Lebesgue-Bochner spaces.


title: A fuzzy feedback linearization scheme applied to vibration control of a smart structure

abstract: Smart structures are usually designed with a stimulus-response mechanism to mimic the autoregulatory process of living systems. In this work, in order to simulate this natural and self-adjustable behavior, a fuzzy feedback linearization scheme is applied to a shape memory two-bar truss. This structural system exhibits both constitutive and geometrical nonlinearities presenting the snap-through behavior and chaotic dynamics. On this basis, a nonlinear controller is employed for vibration suppression in the chaotic smart truss. The control scheme is primarily based on feedback linearization and enhanced by a fuzzy inference system to cope with modeling inaccuracies and external disturbances. The overall control system performance is evaluated by means of numerical simulations, promoting vibration reduction and avoiding snap-through behavior.


title: uGLAD: Sparse graph recovery by optimizing deep unrolled networks

abstract: Probabilistic Graphical Models (PGMs) are generative models of complex systems. They rely on conditional independence assumptions between variables to learn sparse representations which can be visualized in a form of a graph. Such models are used for domain exploration and structure discovery in poorly understood domains. This work introduces a novel technique to perform sparse graph recovery by optimizing deep unrolled networks. Assuming that the input data $X\in\mathbb{R}^{M\times D}$ comes from an underlying multivariate Gaussian distribution, we apply a deep model on $X$ that outputs the precision matrix $\hat{\Theta}$, which can also be interpreted as the adjacency matrix. Our model, uGLAD, builds upon and extends the state-of-the-art model GLAD to the unsupervised setting. The key benefits of our model are (1) uGLAD automatically optimizes sparsity-related regularization parameters leading to better performance than existing algorithms. (2) We introduce multi-task learning based `consensus' strategy for robust handling of missing data in an unsupervised setting. We evaluate model results on synthetic Gaussian data, non-Gaussian data generated from Gene Regulatory Networks, and present a case study in anaerobic digestion.


title: A Contrario multi-scale anomaly detection method for industrial quality inspection

abstract: Anomalies can be defined as any non-random structure which deviates from normality. Anomaly detection methods reported in the literature are numerous and diverse, as what is considered anomalous usually varies depending on particular scenarios and applications. In this work we propose an a contrario framework to detect anomalies in images applying statistical analysis to feature maps obtained via convolutions. We evaluate filters learned from the image under analysis via patch PCA, Gabor filters and the feature maps obtained from a pre-trained deep neural network (Resnet). The proposed method is multi-scale and fully unsupervised and is able to detect anomalies in a wide variety of scenarios. While the end goal of this work is the detection of subtle defects in leather samples for the automotive industry, we show that the same algorithm achieves state-of-the-art results in public anomalies datasets.


title: XMM-Newton and Swift Observations of the Seyfert 1 AGN NGC 5940

abstract: Probing the physics of the accretion flow around active galactic nuclei (AGN) is crucial to understanding their emission mechanisms as well as being able to constrain the geometrical and variability properties of the different regions around them. The soft X-ray excess -- usually observed below $\sim2\,\mathrm{keV}$ in excess of the dominant X-ray powerlaw continuum -- is one prominent feature that is commonly seen in type 1 Seyfert AGN and therefore readily provides a useful diagnostic of the accretion flow mechanism around these systems. NGC 5940 is a Seyfert 1 AGN which reveals strong, prominent soft X-ray excess below $\sim2\,\mathrm{keV}$ as seen in both its XMM-Newton and Swift observations. Model fit to the data revealed that this feature could be equally well explained by the ionised partial covering, the thermal Comptonisation and the blurred reflection models. Although the other models cannot be decisively ruled out with the data at hand, the lack of significant broad iron $K_{\alpha}$ as well as any significant emission/absorption line features in the reflection grating spectrometer (RGS) data tend to favour the thermal Comptonisation origin for the soft X-ray excess in NGC 5940.


title: How do people incorporate advice from artificial agents when making physical judgments?

abstract: How do people build up trust with artificial agents? Here, we study a key component of interpersonal trust: people's ability to evaluate the competence of another agent across repeated interactions. Prior work has largely focused on appraisal of simple, static skills; in contrast, we probe competence evaluations in a rich setting with agents that learn over time. Participants played a video game involving physical reasoning paired with one of four artificial agents that suggested moves each round. We measure participants' decisions to accept or revise their partner's suggestions to understand how people evaluated their partner's ability. Overall, participants collaborated successfully with their agent partners; however, when revising their partner's suggestions, people made sophisticated inferences about the competence of their partner from prior behavior. Results provide a quantitative measure of how people integrate a partner's competence into their own decisions and may help facilitate better coordination between humans and artificial agents.


title: Trust, Professional Vision and Diagnostic Work

abstract: In this paper we consider some empirical materials from our ongoing research into forms of everyday detection and diagnosis work in healthcare settings, and how these relate to issues of trust; trust in people, in technology, processes and in data.


title: Theoretical analysis of FMR-driven spin pumping current and its properties via Self-Consistent Harmonic Approximation

abstract: We applied the Self-Consistent Harmonic Approximation (SCHA), combined with coherent states formalism, to study the ferromagnetic resonance (FMR) in a ferromagentic/normal metal junction. Due to the interface interaction, the FMR-generated spin current is injected from the magnetic insulator to the normal metal, the so-called spin pumping. Ordinarily, ferromagnetic models are described by bosonic representation or phenomenological theories; however, in a coherent magnetization state, the SCHA is the more natural choice to treat FMR problems. Over the years, the SCHA has successfully applied to investigate ferro and antiferromagnetism in a wide range of scenarios. The main point of the SCHA formalism involves the adoption of a quadratic model for which corrections are included through temperature-dependent renormalization parameters. Therefore, the SCHA is an efficient method for determining the properties of magnetically ordered phases. Using the SCHA, we obtained the temperature dependence of FMR-driven spin pumping. In addition, we found the spin-mix conductance, the additional damping from the angular momentum injection into the normal metal side, and the magnetic susceptibility. The SCHA outcomes are in remarkable agreement with the results of the literature.


title: Utilizing Language-Image Pretraining for Efficient and Robust Bilingual Word Alignment

abstract: Word translation without parallel corpora has become feasible, rivaling the performance of supervised methods. Recent findings have shown that the accuracy and robustness of unsupervised word translation (UWT) can be improved by making use of visual observations, which are universal representations across languages. In this work, we investigate the potential of using not only visual observations but also pretrained language-image models for enabling a more efficient and robust UWT. Specifically, we develop a novel UWT method dubbed Word Alignment using Language-Image Pretraining (WALIP), which leverages visual observations via the shared embedding space of images and texts provided by CLIP models (Radford et al., 2021). WALIP has a two-step procedure. First, we retrieve word pairs with high confidences of similarity, computed using our proposed image-based fingerprints, which define the initial pivot for the word alignment. Second, we apply our robust Procrustes algorithm to estimate the linear mapping between two embedding spaces, which iteratively corrects and refines the estimated alignment. Our extensive experiments show that WALIP improves upon the state-of-the-art performance of bilingual word alignment for a few language pairs across different word embeddings and displays great robustness to the dissimilarity of language pairs or training corpora for two word embeddings.


title: A General Framework for Powerful Confounder Adjustment in Omics Association Studies

abstract: Genomic data are subject to various sources of confounding, such as demographic variables, biological heterogeneity, and batch effects. To identify genomic features associated with a variable of interest in the presence of confounders, the traditional approach involves fitting a confounder-adjusted regression model to each genomic feature, followed by multiplicity correction. This study shows that the traditional approach was sub-optimal and proposes a new two-dimensional false discovery rate control framework (2dFDR+) that provides significant power improvement over the conventional method and applies to a wide range of settings. 2dFDR+ uses marginal independence test statistics as auxiliary information to filter out less promising features, and FDR control is performed based on conditional independence test statistics in the remaining features. 2dFDR+ provides (asymptotically) valid inference from samples in settings where the conditional distribution of the genomic variables given the covariate of interest and the confounders is arbitrary and completely unknown. To achieve this goal, our method requires the conditional distribution of the covariate given the confounders to be known or can be estimated from the data. We develop a new procedure to simultaneously select the two cutoff values for the marginal and conditional independence test statistics. 2dFDR+ is proved to offer asymptotic FDR control and dominate the power of the traditional procedure. Promising finite sample performance is demonstrated via extensive simulations and real data applications.


title: Estimating the prevalence of malicious extraterrestrial civilizations

abstract: This paper attempts to provide an estimation of the prevalence of hostile extraterrestrial civilizations through an extrapolation of the probability that we, as the human civilization, would attack or invade an inhabited exoplanet once we become a Type-1 civilization in the Kardashev Scale capable of nearby interstellar travel. The estimation is based on the world's history of invasions in the last century, the military capabilities of the countries involved, and the global growth rate of energy consumption. Upper limits of standard deviations are used in order to obtain the estimated probability of extraterrestrial invasion by a civilization whose planet we send a message to. Results show that such probability is two orders of magnitude lower than the impact probability of a planet-killer asteroid. These findings could serve as a starting point for an international debate about sending the first serious interstellar radio messages to nearby potentially habitable planets.


title: Two-weighted estimates of the multilinear fractional integral operator between weighted Lebesgue and Lipschitz spaces with optimal parameters

abstract: Given an $m$-tuple of weights $\vec{v}=(v_1,\dots,v_m)$, we characterize the classes of pairs $(w,\vec{v})$ involved with the boundedness properties of the multilinear fractional integral operator from $\prod_{i=1}^mL^{p_i}\left(v_i^{p_i}\right)$ into suitable Lipschitz spaces associated to a parameter $\delta$, $\mathcal{L}_w(\delta)$. Our results generalize some previous estimates not only for the linear case but also for the unweighted problem in the multilinear context. We emphasize the study related to the range of the parameters involved with the problem described above, which is optimal in the sense that they become trivial outside of the region obtained. We also exhibit nontrivial examples of pairs of weights in this region.


title: A (strictly) contemporary perspective on trans-Planckian censorship

abstract: I critically discuss a controversial 'trans-Planckian censorship' conjecture, which has recently been introduced to researchers working at the intersection of fundamental physics and cosmology. My focus explicitly avoids any appeals to contingent research within string theory (the sociological origins of the conjecture) or regarding the more general (quantum) gravitational 'swampland'. Rather, I concern myself with the conjecture's foundations in our current, well-trodden physics of quantized fields, spacetime, and (classical) gravity. In doing so, I locate what exactly within trans-Planckian censorship amounts to a departure from current physics -- identifying what is, ultimately, so conjectural about the conjecture.


title: Anti-van der Waerden Numbers of Graph Products of Cycles

abstract: A $k$-term arithmetic progression ($k$-AP) in a graph $G$ is a list of vertices such that each consecutive pair of vertices is the same distance apart. If $c$ is a coloring function of the vertices of $G$ and a $k$-AP in $G$ has each vertex colored distinctly, then that $k$-AP is a rainbow $k$-AP. The anti-van der Waerden number of a graph $G$ with respect to $k$ is the least positive integer $r$ such that every surjective coloring with domain $V(G)$ and codomain $\{1,2,\dots,r\} = [r]$ is guaranteed to have a rainbow $k$-AP. This paper focuses on $3$-APs and graph products with cycles. Specifically, the anti-van der Waerden number with respect to $3$ is determined precisely for $P_m \square C_n$, $C_m\square C_n$ and $G\square C_{2n+1}$.


title: SparseLNR: Accelerating Sparse Tensor Computations Using Loop Nest Restructuring

abstract: Sparse tensor algebra computations have become important in many real-world applications like machine learning, scientific simulations, and data mining. Hence, automated code generation and performance optimizations for tensor algebra kernels are paramount. Recent advancements such as the Tensor Algebra Compiler (TACO) greatly generalize and automate the code generation for tensor algebra expressions. However, the code generated by TACO for many important tensor computations remains suboptimal due to the absence of a scheduling directive to support transformations such as distribution/fusion. This paper extends TACO's scheduling space to support kernel distribution/loop fusion in order to reduce asymptotic time complexity and improve locality of complex tensor algebra computations. We develop an intermediate representation (IR) for tensor operations called branched iteration graph which specifies breakdown of the computation into smaller ones (kernel distribution) and then fuse (loop fusion) outermost dimensions of the loop nests, while the innermost dimensions are distributed, to increase data locality. We describe exchanges of intermediate results between space iteration spaces, transformation in the IR, and its programmatic invocation. Finally, we show that the transformation can be used to optimize sparse tensor kernels. Our results show that this new transformation significantly improves the performance of several real-world tensor algebra computations compared to TACO-generated code.


title: Flip Distance and Triangulations of a Ball

abstract: It is known that the flip distance between two triangulations of a convex polygon is related to the minimum number of tetrahedra in the triangulation of some polyhedron. It is interesting to know whether these two numbers are the same. In this work, we find examples to show that the two numbers are different in nature, and their ratio can be arbitrarily close to $\frac{3}{2}$.


title: Effective Integration of Weighted Cost-to-go and Conflict Heuristic within Suboptimal CBS

abstract: Conflict-Based Search (CBS) is a popular multi-agent path finding (MAPF) solver that employs a low-level single agent planner and a high-level constraint tree to resolve conflicts. The vast majority of modern MAPF solvers focus on improving CBS by reducing the size of this tree through various strategies with few methods modifying the low level planner. Typically low level planners in existing CBS methods use an unweighted cost-to-go heuristic, with suboptimal CBS methods also using a conflict heuristic to help the high level search. In this paper, we show that, contrary to prevailing CBS beliefs, a weighted cost-to-go heuristic can be used effectively alongside the conflict heuristic in two possible variants. In particular, one of these variants can obtain large speedups, 2-100x, across several scenarios and suboptimal CBS methods. Importantly, we discover that performance is related not to the weighted cost-to-go heuristic but rather to the relative conflict heuristic weight's ability to effectively balance low-level and high-level work. Additionally, to the best of our knowledge, we show the first theoretical relation of prioritized planning and bounded suboptimal CBS and demonstrate that our methods are their natural generalization. Update March 2024: We found that the relative speedup decreases to around 1.2-10x depending on how the conflict heuristic is computed (see appendix for more details).


title: $G$-subdiffusion equation that describes transient subdiffusion

abstract: A $g$--subdiffusion equation with fractional Caputo time derivative with respect to another function $g$ is used to describe a process of a continuous transition from subdiffusion with parameters $\alpha$ and $D_\alpha$ to subdiffusion with parameters $\beta$ and $D_\beta$. The parameters are defined by the time evolution of the mean square displacement of diffusing particle $\sigma^2(t)=2D_i t^i/\Gamma(1+i)$, $i=\alpha,\beta$. The function $g$ controls the process at "intermediate" times. The $g$--subdiffusion equation is more general than the "ordinary" fractional subdiffusion equation with constant parameters, it has potentially wide application in modelling diffusion processes with changing parameters.


title: Trans-Planckian Philosophy of Cosmology

abstract: I provide some philosophical groundwork for the recently proposed 'trans-Planckian censorship' conjecture in theoretical physics. In particular, I argue that structure formation in early universe cosmology is, at least as we typically understand it, autonomous with regards to quantum gravity, the high energy physics that governs the Planck regime in our universe. Trans-Planckian censorship is then seen as a means of rendering this autonomy an empirical constraint within ongoing quantum gravity research.