title: Generic Orthotopes

abstract: This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect to traditional topological, structural, or combinatorial considerations. Generic orthotopes have a pleasant "homogeneity" property, somewhat like a smoothly bounded compact subset of Euclidean space. Thus, as soon as we demand that every vertex of an orthogonal polytope be a floral arrangement, as defined here, many derivative structures such as faces and cross-sections are also described by floral arrangements. We also give formulas for the volume and Euler characteristic of a generic orthotope using a couple of statistics that are defined naturally for floral arrangements.


title: Smoothing of 1-cycles over finite fields

abstract: Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also prove a generalized version of Poonen's Bertini theorem over finite fields. Given a very ample line bundle $\mathcal{L}$ on $X$ and an arbitrary line bundle $\mathcal{M}$, this version implies the existence of a global section of $\mathcal{M}\otimes \mathcal{L}^{\otimes d}$ for sufficiently large $d$ whose divisor is smooth.


title: The full set of Polarized Deep Inelastic Scattering Structure Functions at NNLO accuracy

abstract: We present the second order contributions to the coefficient functions for the parity violating polarized structure functions $g_L$ and $g_4$, thus completing the $\mathcal{O}(\alpha_S^2)$ knowledge on DIS structure functions. We obtain the missing $\mathcal{O}(\alpha_S^2)$ pieces from the known parity conserving unpolarized coefficient functions. We also present a phenomenological analysis for the phase space region the future Electron-Ion Collider is set to explore.


title: Blocking Delaunay Triangulations from the Exterior

abstract: Given two distinct point sets $P$ and $Q$ in the plane, we say that $Q$ \emph{blocks} $P$ if no two points of $P$ are adjacent in any Delaunay triangulation of $P\cup Q$. Aichholzer et al. (2013) showed that any set $P$ of $n$ points in general position can be blocked by $\frac{3}{2}n$ points and that every set $P$ of $n$ points in convex position can be blocked by $\frac{5}{4}n$ points. Moreover, they conjectured that, if $P$ is in convex position, $n$ blocking points are sufficient and necessary. The necessity was recently shown by Biniaz (2021) who proved that every point set in general position requires $n$ blocking points. Here we investigate the variant, where blocking points can only lie outside of the convex hull of the given point set. We show that $\frac{5}{4}n-O(1)$ such \emph{exterior-blocking} points are sometimes necessary, even if the given point set is in convex position. As a consequence we obtain that, if the conjecture of Aichholzer et al. for the original setting was true, then minimal blocking sets of some point configurations $P$ would have to contain points inside of the convex hull of $P$.


title: Optical spin-wave detection beyond the diffraction limit

abstract: Spin waves are proposed as information carriers for next-generation computing devices because of their low power consumption. Moreover, their wave-like nature allows for novel computing paradigms. Conventional methods to detect spin waves are based either on electrical induction, limiting the downscaling and efficiency complicating eventual implementation, or on light scattering, where the minimum detectable spin-wave wavelength is set by the wavelength of the laser. In this Article we demonstrate magneto-optical detection of spin waves beyond the diffraction limit using a metallic grating that selectively absorbs laser light. Specifically, we demonstrate the detection of propagating spin waves with a wavelength of 700 nm using a diffraction-limited laser spot with a size of 10 $\mu$m in 20 nm thick Py strips. Additionally, we show that this grating is selective to the wavelength of the spin wave, providing wavevector-selective spin-wave detection. This should open up new avenues towards the integration of the burgeoning fields of photonics and magnonics, and aid in the optical detection of spin waves in the short-wavelength exchange regime for fundamental research.


title: Fast dispersion tailoring of multimode photonic crystal resonators

abstract: We introduce a numerical procedure which permits to drastically accelerate the design of multimode photonic crystal resonators. Specifically, we demonstrate that the optical response of an important class of such nanoscale structures is reproduced accurately by a simple, one-dimensional model, within the entire spectral range of interest. This model can describe a variety of tapered photonic crystal structures. Orders of magnitude faster to solve, our approach can be used to optimize certain properties of the nanoscale cavity. Here we consider the case of a nanobeam cavity, where the confinement results from the modulation of its width. The profile of the width is optimized, in order to flatten the resonator dispersion profile (so that all modes are equally spaced in frequency). This result is particularly relevant for miniaturizing parametric generators of non-classical light, optical nano-combs and mode-locked laser sources. Our method can be easily extended to complex geometries, described by multiple parameters.


title: Model-Based Derivative-Free Optimization Methods and Software

abstract: This thesis studies derivative-free optimization (DFO), particularly model-based methods and software. These methods are motivated by optimization problems for which it is impossible or prohibitively expensive to access the first-order information of the objective function and possibly the constraint functions. In particular, this thesis presents PDFO, a package we develop to provide both MATLAB and Python interfaces to Powell's model-based DFO solvers, namely COBYLA, UOBYQA, NEWUOA, BOBYQA, and LINCOA. Moreover, a significant part of this thesis is devoted to developing a new DFO method based on the sequential quadratic programming (SQP) method. Therefore, we present an overview of the SQP method and provide some perspectives on its theory and practice. In particular, we show that the objective function of the SQP subproblem is a natural quadratic approximation of the original objective function in the tangent space of a surface. Finally, we elaborate on developing our new DFO method, named COBYQA after Constrained Optimization BY Quadratic Approximations. This derivative-free trust-region SQP method is designed to tackle nonlinearly constrained optimization problems that admit equality and inequality constraints. An important feature of COBYQA is that it always respects bound constraints, if any, which is motivated by applications where the objective function is undefined when bounds are violated. We expose extensive numerical experiments of COBYQA, showing evident advantages of COBYQA compared with Powell's DFO solvers. These experiments demonstrate that COBYQA is an excellent successor to COBYLA as a general-purpose DFO solver. This is the Ph.D. thesis finished under the supervision of Dr. Zaikun Zhang and Prof. Xiaojun Chen at The Hong Kong Polytechnic University. Financial support was provided by the UGC of Hong Kong under the Hong Kong Ph.D. Fellowship Scheme.


title: Revealing the interior structure of icy moons with a Bayesian approach to magnetic induction measurements

abstract: Some icy moons and small bodies in the solar system are believed to host subsurface liquid water oceans. The interaction of these saline, electrically conductive oceans with time-varying external magnetic fields generates induced magnetic fields. Magnetometry observations of these induced fields in turn enable the detection and characterization of these oceans. We present a framework for characterizing the interiors of icy moons using multi-frequency induction and Bayesian inference applied to magnetometry measurements anticipated from the upcoming Europa Clipper mission. Using simulated data from the Europa Clipper Magnetometer (ECM), our approach can accurately retrieve a wide range of plausible internal structures for Europa. In particular, the ocean conductivity is recovered to within ${\pm}50\%$ for all internal structure scenarios considered and the ocean thickness can be retrieved to within ${\pm}25~\mathrm{km}$ for five out of seven scenarios. Characterization of the ice shell thickness to ${\pm}50\%$ is possible for six of seven scenarios. Our recovery of the ice shell thickness is highly contingent on accurate modeling of magnetic fields arising from the interaction of Europa with the ambient magnetospheric plasma, while the ocean thickness is more modestly affected and the ocean conductivity retrieval is largely unchanged. Furthermore, we find that the addition of a priori constraints (e.g., static gravity measurements) can yield improved ocean characterization compared to magnetometry alone, suggesting that multi-instrument techniques can play a key role in revealing the interiors of Europa and other ocean worlds.


title: HCL: Improving Graph Representation with Hierarchical Contrastive Learning

abstract: Contrastive learning has emerged as a powerful tool for graph representation learning. However, most contrastive learning methods learn features of graphs with fixed coarse-grained scale, which might underestimate either local or global information. To capture more hierarchical and richer representation, we propose a novel Hierarchical Contrastive Learning (HCL) framework that explicitly learns graph representation in a hierarchical manner. Specifically, HCL includes two key components: a novel adaptive Learning to Pool (L2Pool) method to construct more reasonable multi-scale graph topology for more comprehensive contrastive objective, a novel multi-channel pseudo-siamese network to further enable more expressive learning of mutual information within each scale. Comprehensive experimental results show HCL achieves competitive performance on 12 datasets involving node classification, node clustering and graph classification. In addition, the visualization of learned representation reveals that HCL successfully captures meaningful characteristics of graphs.


title: Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations

abstract: For any suitable base category $\mathcal{V} $, we find that $\mathcal{V} $-fully faithful lax epimorphisms in $\mathcal{V} $-$\mathsf{Cat} $ are precisely those $\mathcal{V}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ whose induced $\mathcal{V} $-functors $\mathsf{Cauchy} F \colon \mathsf{Cauchy} \mathcal{A} \to \mathsf{Cauchy} \mathcal{B} $ between the Cauchy completions are equivalences. For the case $\mathcal{V} = \mathsf{Set} $, this is equivalent to requiring that the induced functor $\mathsf{CAT} \left( F,\mathsf{Cat}\right) $ between the categories of split (op)fibrations is an equivalence. By reducing the study of effective descent functors with respect to the indexed category of split (op)fibrations $\mathcal{F}$ to the study of the codescent factorization, we find that these observations on fully faithful lax epimorphisms provide us with a characterization of (effective) $\mathcal{F}$-descent morphisms in the category of small categories $\mathcal{Cat}$; namely, we find that they are precisely the (effective) descent morphisms with respect to the indexed categories of discrete opfibrations -- previously studied by Sobral. We include some comments on the Beck-Chevalley condition and future work.


title: Performance-Efficiency Trade-Offs in Adapting Language Models to Text Classification Tasks

abstract: Pre-trained language models (LMs) obtain state-of-the-art performance when adapted to text classification tasks. However, when using such models in real-world applications, efficiency considerations are paramount. In this paper, we study how different training procedures that adapt LMs to text classification perform, as we vary model and train set size. More specifically, we compare standard fine-tuning, prompting, and knowledge distillation (KD) when the teacher was trained with either fine-tuning or prompting. Our findings suggest that even though fine-tuning and prompting work well to train large LMs on large train sets, there are more efficient alternatives that can reduce compute or data cost. Interestingly, we find that prompting combined with KD can reduce compute and data cost at the same time.


title: A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models

abstract: We have recently witnessed a number of impressive results on hard mathematical reasoning problems with language models. At the same time, the robustness of these models has also been called into question; recent works have shown that models can rely on shallow patterns in the problem description when generating a solution. Building on the idea of behavioral testing, we propose a novel framework, which pins down the causal effect of various factors in the input, e.g., the surface form of the problem text, the operands, and math operators on the output solution. By grounding the behavioral analysis in a causal graph describing an intuitive reasoning process, we study the behavior of language models in terms of robustness and sensitivity to direct interventions in the input space. We apply our framework on a test bed of math word problems. Our analysis shows that robustness does not appear to continuously improve as a function of size, but the GPT-3 Davinci models (175B) achieve a dramatic improvement in both robustness and sensitivity compared to all other GPT variants.


title: Ore extensions of commutative rings and the Dixmier-Moeglin equivalence

abstract: We consider Ore extensions of the form $T:=R[x;\sigma,\delta]$ with $R$ a commutative integral domain that is finitely generated over a field $k$. We show that if $T$ has Gelfand-Kirillov dimension less than four then a prime ideal $P\in {\rm Spec}(T)$ is primitive if and only if $\{P\}$ is locally closed in ${\rm Spec}(T)$, if and only if the Goldie ring of quotients of $T/P$ has centre that is an algebraic extension of $k$. We also show that there are examples for which these equivalences do not all hold for $T$ of integer Gelfand-Kirillov dimension greater than or equal to $4$.


title: Asymptotic decay towards steady states of solutions to very fast and singular diffusion equations

abstract: We analyze long-time behavior of solutions to a class of problems related to very fast and singular diffusion porous medium equations having nonhomogeneous in space and time source terms with zero mean. In dimensions two and three, we determine critical values of porous medium exponent for the asymptotic $H^1$-convergence of the solutions to a unique nonhomogeneous positive steady state generally to hold.


title: Ontology Development is Consensus Creation, Not (Merely) Representation

abstract: Ontology development methodologies emphasise knowledge gathering from domain experts and documentary resources, and knowledge representation using an ontology language such as OWL or FOL. However, working ontologists are often surprised by how challenging and slow it can be to develop ontologies. Here, with a particular emphasis on the sorts of ontologies that are content-heavy and intended to be shared across a community of users (reference ontologies), we propose that a significant and heretofore under-emphasised contributor of challenges during ontology development is the need to create, or bring about, consensus in the face of disagreement. For this reason reference ontology development cannot be automated, at least within the limitations of existing AI approaches. Further, for the same reason ontologists are required to have specific social-negotiating skills which are currently lacking in most technical curricula.


title: Bootstrapping NLP tools across low-resourced African languages: an overview and prospects

abstract: Computing and Internet access are substantially growing markets in Southern Africa, which brings with it increasing demands for local content and tools in indigenous African languages. Since most of those languages are low-resourced, efforts have gone into the notion of bootstrapping tools for one African language from another. This paper provides an overview of these efforts for Niger-Congo B (`Bantu') languages. Bootstrapping grammars for geographically distant languages has been shown to still have positive outcomes for morphology and rules or grammar-based natural language generation. Bootstrapping with data-driven approaches to NLP tasks is difficult to use meaningfully regardless geographic proximity, which is largely due to lexical diversity due to both orthography and vocabulary. Cladistic approaches in comparative linguistics may inform bootstrapping strategies and similarity measures might serve as proxy for bootstrapping potential as well, with both fertile ground for further research.


title: Expected Mordell-Weil rank heuristics through Sato-Tate, Birch and Swinnerton-Dyer conjectures

abstract: We present an heuristic argument for the prediction of expected Mordell-Weil rank of elliptic curves over number fields, using Birch and Swinnerton-Dyer's original conjecture and Sato-Tate conjectures. We do calculations in some cases and raise questions about their relations, if any, with the predictions of various average rank models that have been considered.


title: Adversarial Transformer for Repairing Human Airway Segmentation

abstract: Discontinuity in the delineation of peripheral bronchioles hinders the potential clinical application of automated airway segmentation models. Moreover, the deployment of such models is limited by the data heterogeneity across different centres, and pathological abnormalities also make achieving accurate robust segmentation in distal small airways difficult. Meanwhile, the diagnosis and prognosis of lung diseases often rely on evaluating structural changes in those anatomical regions. To address this gap, this paper presents a patch-scale adversarial-based refinement network that takes in preliminary segmentation along with original CT images and outputs a refined mask of the airway structure. The method is validated on three different datasets encompassing healthy cases, cases with cystic fibrosis and cases with COVID-19. The results are quantitatively evaluated by seven metrics and achieved more than a 15% rise in detected length ratio and detected branch ratio, showing promising performance compared to previously proposed models. The visual illustration also proves our refinement guided by a patch-scale discriminator and centreline objective functions is effective in detecting discontinuities and missing bronchioles. Furthermore, the generalizability of our refinement pipeline is tested on three previous models and improves their segmentation completeness significantly.


title: Evolution of Neural Tangent Kernels under Benign and Adversarial Training

abstract: Two key challenges facing modern deep learning are mitigating deep networks' vulnerability to adversarial attacks and understanding deep learning's generalization capabilities. Towards the first issue, many defense strategies have been developed, with the most common being Adversarial Training (AT). Towards the second challenge, one of the dominant theories that has emerged is the Neural Tangent Kernel (NTK) -- a characterization of neural network behavior in the infinite-width limit. In this limit, the kernel is frozen, and the underlying feature map is fixed. In finite widths, however, there is evidence that feature learning happens at the earlier stages of the training (kernel learning) before a second phase where the kernel remains fixed (lazy training). While prior work has aimed at studying adversarial vulnerability through the lens of the frozen infinite-width NTK, there is no work that studies the adversarial robustness of the empirical/finite NTK during training. In this work, we perform an empirical study of the evolution of the empirical NTK under standard and adversarial training, aiming to disambiguate the effect of adversarial training on kernel learning and lazy training. We find under adversarial training, the empirical NTK rapidly converges to a different kernel (and feature map) than standard training. This new kernel provides adversarial robustness, even when non-robust training is performed on top of it. Furthermore, we find that adversarial training on top of a fixed kernel can yield a classifier with $76.1\%$ robust accuracy under PGD attacks with $\varepsilon = 4/255$ on CIFAR-10.


title: Neutron Lifetime Anomaly and Big Bang Nucleosynthesis

abstract: We calculate the Big Bang Nucleosynthesis abundances for helium-4 and deuterium for a range of neutron lifetimes, $\tau_n = 840 - 1050$ s, using the state-of-the-art Python package \textsc{PRyMordial}. We show the results for two different nuclear reaction rates, calculated by NACRE II [1] and the PRIMAT [2] collaborations.


title: Benchmarks and results of the two-band Hubbard model from the Gutzwiller conjugate gradient minimization theory

abstract: Ground-state properties, such as energies and double occupancies, of a one-dimensional two-band Hubbard model are calculated using a first principles Gutzwiller conjugate gradient minimization theory. The favorable agreement with the results from the density matrix renormalization group theory demonstrates the accuracy of our method. A rotationally invariant approach is further incorporated into the method to greatly reduce the computational complexity with a speedup of 300 times. Moreover, we investigate the Mott transition between a metal and a Mott insulator by evaluating the charge gap. With greatly reduced computational effort, our method reproduces the phase diagram in reasonable agreement with the density matrix renormalization group theory.


title: On Small Black Holes in String Theory

abstract: We discuss the worldsheet sigma-model whose target space is the $d+1$ dimensional Euclidean Schwarzschild black hole. We argue that in the limit where the Hawking temperature of the black hole, $T$, approaches the Hagedorn temperature, $T_H$, it can be described in terms of a generalized version of the Horowitz-Polchinski effective theory. For $d\geq6$, where the Horowitz-Polchinski EFT [1,2] does not have suitable solutions, the modified effective Lagrangian allows one to study the black hole CFT in an expansion in powers of $d-6$ and $T_H-T$. At $T=T_H$, the sigma model is non-trivial for all $d>6$. It exhibits an enhanced $SU(2)$ symmetry, and is described by a non-abelian Thirring model with a radially dependent coupling. The resulting picture connects naturally to the results of [3-5], that relate Schwarzschild black holes in flat spacetime at large $d$ to the two dimensional black hole. We also discuss an analogous open string system, in which the black hole is replaced by a system of two separated D-branes connected by a throat. In this system, the asymptotic separation of the branes plays the role of the inverse temperature. At the critical separation, the system is described by a Kondo-type model, which again exhibits an enhanced $SU(2)$ symmetry. At large $d$, the brane system gives rise to the hairpin brane [6].


title: Proceedings of the Dialogue Robot Competition 2022

abstract: The proceedings contain papers on the dialogue systems developed by the twelve teams participating in DRC2022, as well as an overview paper summarizing the competition.


title: BlanketGen - A synthetic blanket occlusion augmentation pipeline for MoCap datasets

abstract: Human motion analysis has seen drastic improvements recently, however, due to the lack of representative datasets, for clinical in-bed scenarios it is still lagging behind. To address this issue, we implemented BlanketGen, a pipeline that augments videos with synthetic blanket occlusions. With this pipeline, we generated an augmented version of the pose estimation dataset 3DPW called BlanketGen-3DPW. We then used this new dataset to fine-tune a Deep Learning model to improve its performance in these scenarios with promising results. Code and further information are available at https://gitlab.inesctec.pt/brain-lab/brain-lab-public/blanket-gen-releases.


title: On the Longest Flip Sequence to Untangle Segments in the Plane

abstract: A set of segments in the plane may form a Euclidean TSP tour or a matching, among others. Optimal TSP tours as well as minimum weight perfect matchings have no crossing segments, but several heuristics and approximation algorithms may produce solutions with crossings. To improve such solutions, we can successively apply a flip operation that replaces a pair of crossing segments by non-crossing ones. This paper considers the maximum number D(n) of flips performed on n segments. First, we present reductions relating D(n) for different sets of segments (TSP tours, monochromatic matchings, red-blue matchings, and multigraphs). Second, we show that if all except t points are in convex position, then D(n) = O(tn^2), providing a smooth transition between the convex O(n^2) bound and the general O(n^3) bound. Last, we show that if instead of counting the total number of flips, we only count the number of distinct flips, then the cubic upper bound improves to O(n^{8/3}).


title: Exponentially Stable Adaptive Control Under Semi-PE Condition

abstract: A novel method of exponentially stable adaptive control to compensate for matched parametric uncertainty under a mild condition of semi-persistent excitation (s-PE) of a regressor with piecewise-constant rank and nullspace is proposed. It is based on the generalized dynamic regressor extension and mixing procedure developed earlier by the authors, does not require high adaptive gain or data stacks and ensures: 1) exponential convergence of the tracking error to zero and the parameter one to a bounded set when the regressor is s-PE, 2) adjustable parameters transients of first-order type (each scalar parameter is adjusted using a separate first-order scalar differential equation), 3) alertness to change of the uncertainty parameters values, and 4) boundedness of all signals when the regressor is not s-PE. The main salient feature of the proposed approach is that the exponential stability is guaranteed when the controller parameters estimates converge to the values that are indistinguishable from the true ones. The results of numerical experiments fully support the theoretical analysis and demonstrate the advantages of the proposed method.


title: Entropy and periodic orbits for ASH attractors

abstract: In this paper we prove that any asymptotically sectional-hyperbolic (ASH) attractor associated to a three-dimensional $C^1$ vector field $X$ is entropy-expansive and has periodic orbits. The ASH property means that any point outside the stable manifolds of the singularities has arbitrarily large hyperbolic times. The results obtained in this paper extend, to this context, those obtained for singular-hyperbolic attractors.


title: The space-time line element for static ellipsoidal objects

abstract: In this paper, we solved the Einstein's field equation and obtained a line element for static, ellipsoidal objects characterized by the linear eccentricity ($\eta$) instead of quadrupole parameter ($q$). This line element recovers the Schwarzschild line element when $\eta$ is zero. In addition to that it also reduces to the Schwarzschild line element, if we neglect terms of the order of $r^{-2}$ or higher which are present within the expressions for metric elements for large distances. Furthermore, as the ellipsoidal character of the derived line element is maintained by the linear eccentricity ($\eta$), which is an easily measurable parameter, this line element could be more suitable for various analytical as well as observational studies.


title: Neuro-Symbolic Causal Reasoning Meets Signaling Game for Emergent Semantic Communications

abstract: Semantic communication (SC) aims to communicate reliably with minimal data transfer while simultaneously providing seamless connectivity to heterogeneous services and users. In this paper, a novel emergent SC (ESC) system framework is proposed and is composed of a signaling game for emergent language design and a neuro-symbolic (NeSy) artificial intelligence (AI) approach for causal reasoning. In order to design the language, the signaling game is solved using an alternating maximization between the communicating node's utilities. The emergent language helps create a context-aware transmit vocabulary (minimal semantic representation) and aids the reasoning process (enabling generalization to unseen scenarios) by splitting complex messages into simpler reasoning tasks for the receiver. The causal description at the transmitter is then modeled (a neural component) as a posterior distribution of the relevant attributes present in the data. Using the reconstructed causal state, the receiver evaluates a set of logical formulas (symbolic part) to execute its task. The nodes NeSy reasoning components are implemented by the recently proposed AI tool called Generative Flow Networks, and they are optimized for higher semantic reliability. The ESC system is designed to enhance the novel metrics of semantic information, reliability, distortion and similarity that are designed using rigorous algebraic properties from category theory thereby generalizing the metrics beyond Shannon's notion of uncertainty. Simulation results validate the ability of ESC to communicate efficiently (with reduced bits) and achieve better semantic reliability than conventional wireless and state-of-the-art systems that do not exploit causal reasoning capabilities.


title: Eco-evolution from deep time to contemporary dynamics: the role of timescales and rate modulators

abstract: Eco-evolutionary dynamics, or eco-evolution for short, are thought to involve rapid demography (ecology) and equally rapid phenotypic changes (evolution) leading to novel, emergent system behaviours. This focus on contemporary dynamics is likely due to accumulating evidence for rapid evolution, from classical laboratory microcosms and natural populations, including the iconic Trinidadian guppies. We argue that this view is too narrow, preventing the successful integration of ecology and evolution. While maintaining that eco-evolution involves emergence, we highlight that this may also be true for slow ecology and evolution which unfold over thousands or millions of years, such as the feedbacks between riverine geomorphology and plant evolution. We thereby integrate geomorphology and biome-level feedbacks into eco-evolution, significantly extending its scope. Most importantly, we emphasize that eco-evolutionary systems need not be frozen in state-space: We identify modulators of ecological and evolutionary rates, like temperature or sensitivity to mutation, which can synchronize or desynchronize ecology and evolution. We speculate that global change may increase the occurrence of eco-evolution and emergent system behaviours which represents substantial challenges for prediction. Our perspective represents an attempt to integrate ecology and evolution across disciplines, from gene-regulatory networks to geomorphology and across timescales, from contemporary dynamics to deep time.


title: Neural Network-Based Multi-Target Detection within Correlated Heavy-Tailed Clutter

abstract: This work addresses the problem of range-Doppler multiple target detection in a radar system in the presence of slow-time correlated and heavy-tailed distributed clutter. Conventional target detection algorithms assume Gaussian-distributed clutter, but their performance is significantly degraded in the presence of correlated heavy-tailed distributed clutter. Derivation of optimal detection algorithms with heavy-tailed distributed clutter is analytically intractable. Furthermore, the clutter distribution is frequently unknown. This work proposes a deep learning-based approach for multiple target detection in the range-Doppler domain. The proposed approach is based on a unified NN model to process the time-domain radar signal for a variety of signal-to-clutter-plus-noise ratios (SCNRs) and clutter distributions, simplifying the detector architecture and the neural network training procedure. The performance of the proposed approach is evaluated in various experiments using recorded radar echoes, and via simulations, it is shown that the proposed method outperforms the conventional cell-averaging constant false-alarm rate (CA-CFAR), the ordered-statistic CFAR (OS-CFAR), and the adaptive normalized matched-filter (ANMF) detectors in terms of probability of detection in the majority of tested SCNRs and clutter scenarios.


title: Interpolating Boundary Conditions on $AdS_2$

abstract: We consider two instances of boundary conditions for massless scalars on $AdS_2$ that interpolate between the Dirichlet and Neumann cases while preserving scale invariance. Assessing invariance under the full $SL(2;\mathds{R})$ conformal group is not immediate given their non-local nature. To further clarify this issue, we compute holographically 2- and 4-point correlation functions using the aforementioned boundary conditions and study their transformation properties. Concretely, motivated by the dual description of some multi-parametric families of Wilson loops in ABJM theory, we look at the excitations of an open string around an $AdS_2\subset AdS_4\times\mathbb{CP}^3$ worldsheet, thus obtaining correlators of operators inserted along a $1$-dimensional defect in ${\cal N}=6$ super Chern-Simons-matter theory at strong coupling. Of the two types of boundary conditions analyzed, only one leads to the expected functional structure for conformal primaries; the other exhibits covariance under translations and rescalings but not under special conformal transformations.


title: On two new kinds of restricted sumsets

abstract: Let $A_1,\ldots,A_n$ be finite subsets of an additive abelian group $G$ with $|A_1|=\cdots=|A_n|\ge2$. Concerning the two new kinds of restricted sumsets $$L(A_1,\ldots,A_n)=\{a_1+\cdots+a_n:\ a_1\in A_1,\ldots,a_n\in A_n,\ \text{and}\ a_i\not=a_{i+1} \ \text{for}\ 1\le i<n\}$$ and $$C(A_1,\ldots,A_n)=\{a_1+\cdots+a_n:\ a_i\in A_i\ (1\le i\le n),\ \text{and}\ a_i\not=a_{i+1} \ \text{for}\ 1\le i<n,\ \text{and}\ a_n\not=a_1\}$$ recently introduced by the second author, when $G$ is the additive group of a field we obtain lower bounds for $|L(A_1,\ldots,A_n)|$ and $|C(A_1,\ldots,A_n)|$ via the polynomial method. Moreover, when $G$ is torsion-free and $A_1=\cdots=A_n$, we determine completely when $|L(A_1,\ldots,A_n)|$ or $|C(A_1,\ldots,A_n)|$ attains its lower bound.


title: Optimization of side lobe level of linear antenna array using nature optimized ants bridging solutions(NOABS)

abstract: Nature inspired algorithms has brought solutions to complex problems in optimization where the optimization and solution of complex problems is highly complex and nonlinear. There is a need to use proper design of the cost function or the fitness function in terms of the parameters to be optimized, this can be used in solving any type of such problems. In this paper the nature inspired algorithms has played important role in the optimal design of antenna array with improved radiation characteristics. In this paper, 20 elements linearly spaced array is used as an example of nature inspired optimization in antenna array system. This bridge inspired army ant algorithm(NOABS) is used to reduce the side lobes and to improve the other radiation characteristics to show the effect of the optimization on design characteristics by implementation of NOABS nature inspired algorithm. The entire simulation is carried out on 20 elements linear antenna array.


title: A Lindemann-Weierstrass theorem for $E$-functions

abstract: $E$-functions were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function. After developments of Siegel's methods by Shidlovskii, Nesterenko and Andr\'e, Beukers proved in 2006 an optimal result on the algebraic independence of the values of $E$-functions. Since then, it seems that no general result was stated concerning the relations between the values of a single $E$-function. We prove that Andr\'e's theory of $E$-operators and Beuker's result lead to a Lindemann-Weierstrass theorem for $E$-functions.


title: Holomorphic Floer Theory and the Fueter Equation

abstract: We outline a proposal for a $2$-category $\mathrm{Fuet}_M$ associated to a hyperk\"ahler manifold $M$, which categorifies the subcategory of the Fukaya category of $M$ generated by complex Lagrangians. Morphisms in this $2$-category are formally the Fukaya--Seidel categories of holomorphic symplectic action functionals. As such, $\mathrm{Fuet}_M$ is based on counting maps to $M$ satisfying the Fueter equation with boundary values on holomorphic Lagrangians. We make the first step towards constructing this category by establishing some basic analytic results about Fueter maps, such as the energy bound and maximum principle. When $M=T^*X$ is the cotangent bundle of a K\"ahler manifold $X$ and $(L_0, L_1)$ are the zero section and the graph of the differential of a holomorphic function $F: X \to \mathbb{C}$, we prove that all Fueter maps correspond to the complex gradient trajectories of $F$ in $X$, which relates our proposal to the Fukaya--Seidel category of $F$. This is a complexification of Floer's theorem on pseudo-holomorphic strips in cotangent bundles. Throughout the paper, we suggest problems and research directions for analysts and geometers that may be interested in the subject.


title: Ollivier-Ricci Curvature for Hypergraphs: A Unified Framework

abstract: Bridging geometry and topology, curvature is a powerful and expressive invariant. While the utility of curvature has been theoretically and empirically confirmed in the context of manifolds and graphs, its generalization to the emerging domain of hypergraphs has remained largely unexplored. On graphs, the Ollivier-Ricci curvature measures differences between random walks via Wasserstein distances, thus grounding a geometric concept in ideas from probability theory and optimal transport. We develop ORCHID, a flexible framework generalizing Ollivier-Ricci curvature to hypergraphs, and prove that the resulting curvatures have favorable theoretical properties. Through extensive experiments on synthetic and real-world hypergraphs from different domains, we demonstrate that ORCHID curvatures are both scalable and useful to perform a variety of hypergraph tasks in practice.


title: Ferromagnetic domains in the large-$U$ Hubbard model with a few holes: an FCIQMC study

abstract: Two-dimensional Hubbard lattices with two or three holes are investigated as a function of $U$ in the large-$U$ limit. In the so-called Nagaoka limit (one-hole system at infinite $U$), it is known that the Hubbard model exhibits a ferromagnetic ground-state. Here, by means of exact FCIQMC simulations applied to periodic lattices up to 24 sites, we compute spin-spin correlation functions as a function of increasing $U$. The correlation functions clearly demonstrate the onset of ferromagnetic domains, centred on individual holes. The overall total spin of the wavefunctions remain the lowest possible (0, or $\frac{1}{2}$, depending on the number of holes). The ferromagnetic domains appear at interaction strengths comparable to the critical interaction strengths of the Nagaoka transition in finite systems with strictly one hole. The existence of such ferromagnetic domains is the signature of Nagaoka physics in Hubbard systems with a small (but greater than one) number of holes.


title: Clip-Tuning: Towards Derivative-free Prompt Learning with a Mixture of Rewards

abstract: Derivative-free prompt learning has emerged as a lightweight alternative to prompt tuning, which only requires model inference to optimize the prompts. However, existing work did not take full advantage of the over-parameterized characteristics of large pre-trained language models (PLMs). In this paper, we propose Clip-Tuning, a simple yet effective method that adopts diverse frozen "thinned" networks of PLMs to obtain a mixture of rewards and thus advance the derivative-free prompt learning. The thinned networks consist of all the hidden units that survive a stationary dropout strategy, whose inference predictions reflect an ensemble of partial views over prompted training samples. Our method outperforms previous gradient-free prompt learning methods and achieves parity with gradient-based counterparts on seven language understanding benchmarks under few-shot settings.


title: The privacy issue of counterfactual explanations: explanation linkage attacks

abstract: Black-box machine learning models are being used in more and more high-stakes domains, which creates a growing need for Explainable AI (XAI). Unfortunately, the use of XAI in machine learning introduces new privacy risks, which currently remain largely unnoticed. We introduce the explanation linkage attack, which can occur when deploying instance-based strategies to find counterfactual explanations. To counter such an attack, we propose k-anonymous counterfactual explanations and introduce pureness as a new metric to evaluate the validity of these k-anonymous counterfactual explanations. Our results show that making the explanations, rather than the whole dataset, k- anonymous, is beneficial for the quality of the explanations.


title: Homogenization and dimension reduction of the Stokes-problem with Navier-Slip condition in thin perforated layers

abstract: We study a Stokes system posed in a thin perforated layer with a Navier-slip condition on the internal oscillating boundary from two viewpoints: 1) dimensional reduction of the layer and 2) homogenization of the perforated structure. Assuming the perforations are periodic, both aspects can be described through a small parameter $\epsilon>0,$ which is related to the thickness of the layer as well as the size of the periodic structure. By letting $\epsilon$ tend to zero, we prove that the sequence of solutions converges to a limit which satisfies a well-defined macroscopic problem. More precisely, the limit velocity and limit pressure satisfy a two pressure Stokes model, from which a Darcy law for thin layers can be derived. Due to non-standard boundary conditions, some additional terms appear in Darcy's law.


title: Analysis of GMRES for Low-Rank and Small-Norm Perturbations of the Identity Matrix

abstract: In many applications, linear systems arise where the coefficient matrix takes the special form ${\bf I} + {\bf K} + {\bf E}$, where ${\bf I}$ is the identity matrix of dimension $n$, ${\rm rank}({\bf K}) = p \ll n$, and $\|{\bf E}\| \leq \epsilon < 1$. GMRES convergence rates for linear systems with coefficient matrices of the forms ${\bf I} + {\bf K}$ and ${\bf I} + {\bf E}$ are guaranteed by well-known theory, but only relatively weak convergence bounds specific to matrices of the form ${\bf I} + {\bf K} + {\bf E}$ currently exist. In this paper, we explore the convergence properties of linear systems with such coefficient matrices by considering the pseudospectrum of ${\bf I} + {\bf K}$. We derive a bound for the GMRES residual in terms of $\epsilon$ when approximately solving the linear system $({\bf I} + {\bf K} + {\bf E}){\bf x} = {\bf b}$ and identify the eigenvalues of ${\bf I} + {\bf K}$ that are sensitive to perturbation. In particular, while a clustered spectrum away from the origin is often a good indicator of fast GMRES convergence, that convergence may be slow when some of those eigenvalues are ill-conditioned. We show there can be at most $2p$ eigenvalues of ${\bf I} + {\bf K}$ that are sensitive to small perturbations. We present numerical results when using GMRES to solve a sequence of linear systems of the form $({\bf I} + {\bf K}_j + {\bf E}_j){\bf x}_j = {\bf b}_j$ that arise from the application of Broyden's method to solve a nonlinear partial differential equation.


title: Towards Global Neural Network Abstractions with Locally-Exact Reconstruction

abstract: Neural networks are a powerful class of non-linear functions. However, their black-box nature makes it difficult to explain their behaviour and certify their safety. Abstraction techniques address this challenge by transforming the neural network into a simpler, over-approximated function. Unfortunately, existing abstraction techniques are slack, which limits their applicability to small local regions of the input domain. In this paper, we propose Global Interval Neural Network Abstractions with Center-Exact Reconstruction (GINNACER). Our novel abstraction technique produces sound over-approximation bounds over the whole input domain while guaranteeing exact reconstructions for any given local input. Our experiments show that GINNACER is several orders of magnitude tighter than state-of-the-art global abstraction techniques, while being competitive with local ones.


title: Query Semantic Reconstruction for Background in Few-Shot Segmentation

abstract: Few-shot segmentation (FSS) aims to segment unseen classes using a few annotated samples. Typically, a prototype representing the foreground class is extracted from annotated support image(s) and is matched to features representing each pixel in the query image. However, models learnt in this way are insufficiently discriminatory, and often produce false positives: misclassifying background pixels as foreground. Some FSS methods try to address this issue by using the background in the support image(s) to help identify the background in the query image. However, the backgrounds of theses images is often quite distinct, and hence, the support image background information is uninformative. This article proposes a method, QSR, that extracts the background from the query image itself, and as a result is better able to discriminate between foreground and background features in the query image. This is achieved by modifying the training process to associate prototypes with class labels including known classes from the training data and latent classes representing unknown background objects. This class information is then used to extract a background prototype from the query image. To successfully associate prototypes with class labels and extract a background prototype that is capable of predicting a mask for the background regions of the image, the machinery for extracting and using foreground prototypes is induced to become more discriminative between different classes. Experiments for both 1-shot and 5-shot FSS on both the PASCAL-5i and COCO-20i datasets demonstrate that the proposed method results in a significant improvement in performance for the baseline methods it is applied to. As QSR operates only during training, these improved results are produced with no extra computational complexity during testing.


title: The exploration of hot and dense nuclear matter: Introduction to relativistic heavy-ion physics

abstract: This article summarizes our present knowledge about nuclear matter at the highest energy densities and its formation in relativistic heavy ion collisions. We review what is known about the structure and properties of the quark-gluon plasma and survey the observables that are used to glean information about it from experimental data.


title: Efficient Global Planning in Large MDPs via Stochastic Primal-Dual Optimization

abstract: We propose a new stochastic primal-dual optimization algorithm for planning in a large discounted Markov decision process with a generative model and linear function approximation. Assuming that the feature map approximately satisfies standard realizability and Bellman-closedness conditions and also that the feature vectors of all state-action pairs are representable as convex combinations of a small core set of state-action pairs, we show that our method outputs a near-optimal policy after a polynomial number of queries to the generative model. Our method is computationally efficient and comes with the major advantage that it outputs a single softmax policy that is compactly represented by a low-dimensional parameter vector, and does not need to execute computationally expensive local planning subroutines in runtime.


title: Easy-plane antiferromagnet in tilted field: gap in magnon spectrum and susceptibility

abstract: Motivated by recent experimental data on dichloro-tetrakis thiourea-nickel (DTN) [T.A. Soldatov $\textit{et al}$, Phys. Rev. B ${\bf 101}$, 104410 (2020)], a model of antiferromagnet on a tetragonal lattice with single-ion easy-plane anisotropy in the tilted external magnetic field is considered. Using the smallness of the in-plane field component, we analytically address field dependence of the energy gap in ``acoustic'' magnon mode and transverse uniform magnetic susceptibility in the ordered phase. It is shown that the former is non-monotonic due to quantum fluctuations, which was indeed observed experimentally. The latter is essentially dependent on the ``optical'' magnon rate of decay on two magnons. At magnetic fields close to the one which corresponds to the center of the ordered phase, it leads to experimentally observed dynamical diamagnetism phenomenon.


title: Virtual Triggering: a Technique to Segment Cryptographic Processes in Side Channel Traces

abstract: Side-Channel Attacks (SCAs) exploit data correla-tion in signals leaked from devices to jeopardize confidentiality. Locating and synchronizing segments of interest in traces from Cryptographic Processes (CPs) is a key step of the attack. The most common method consists in generating a trigger signal to indicate to the attacker the start of a CP. This paper proposes a method called Virtual Triggering (VT) that removes the need for the trigger signal and automates trace segmentation. When the time between repetitions is not constant, further trace alignment techniques are required. Building on VT, we propose a simple method to learn representative segment templates from a profiling device similar to the victim, and to automatically locate and pull out these segments from other victim devices using simple pattern recognition. We evaluate VT on screaming channel attacks [1], which initially used a Frequency Component (FC) known to appear at a single time in leaked signals, as a trigger to segment traces. We demonstrate that VT not only performs equivalently to FC on a standard attack scenario, but we also show how using VT with the automatic pullout technique improves the attack efficiency and enables more realistic attack scenarios. Thanks to VT, screaming channel attacks can now: (1) succeed with only half of the segments collected compared to the FC trigger from the original attack; and (2) absorb time variations between CPs.


title: Mesoscopic Central Limit Theorem for non-Hermitian Random Matrices

abstract: We prove that the mesoscopic linear statistics $\sum_i f(n^a(\sigma_i-z_0))$ of the eigenvalues $\{\sigma_i\}_i$ of large $n\times n$ non-Hermitian random matrices with complex centred i.i.d. entries are asymptotically Gaussian for any $H^{2}_0$-functions $f$ around any point $z_0$ in the bulk of the spectrum on any mesoscopic scale $0<a<1/2$. This extends our previous result [arXiv:1912.04100], that was valid on the macroscopic scale, $a=0$, to cover the entire mesoscopic regime. The main novelty is a local law for the product of resolvents for the Hermitization of $X$ at spectral parameters $z_1, z_2$ with an improved error term in the entire mesoscopic regime $|z_1-z_2|\gg n^{-1/2}$. The proof is dynamical; it relies on a recursive tandem of the characteristic flow method and the Green function comparison idea combined with a separation of the unstable mode of the underlying stability operator.


title: Validation of Composite Systems by Discrepancy Propagation

abstract: Assessing the validity of a real-world system with respect to given quality criteria is a common yet costly task in industrial applications due to the vast number of required real-world tests. Validating such systems by means of simulation offers a promising and less expensive alternative, but requires an assessment of the simulation accuracy and therefore end-to-end measurements. Additionally, covariate shifts between simulations and actual usage can cause difficulties for estimating the reliability of such systems. In this work, we present a validation method that propagates bounds on distributional discrepancy measures through a composite system, thereby allowing us to derive an upper bound on the failure probability of the real system from potentially inaccurate simulations. Each propagation step entails an optimization problem, where -- for measures such as maximum mean discrepancy (MMD) -- we develop tight convex relaxations based on semidefinite programs. We demonstrate that our propagation method yields valid and useful bounds for composite systems exhibiting a variety of realistic effects. In particular, we show that the proposed method can successfully account for data shifts within the experimental design as well as model inaccuracies within the simulation.


title: A survey of open questions in adaptive therapy: bridging mathematics and clinical translation

abstract: Adaptive therapy is a dynamic cancer treatment protocol that updates (or "adapts") treatment decisions in anticipation of evolving tumor dynamics. This broad term encompasses many possible dynamic treatment protocols of patient-specific dose modulation or dose timing. Adaptive therapy maintains high levels of tumor burden to benefit from the competitive suppression of treatment-sensitive subpopulations on treatment-resistant subpopulations. This evolution-based approach to cancer treatment has been integrated into several ongoing or planned clinical trials, including treatment of metastatic castrate resistant prostate cancer, ovarian cancer, and BRAF-mutant melanoma. In the previous few decades, experimental and clinical investigation of adaptive therapy has progressed synergistically with mathematical and computational modeling. In this work, we discuss 11 open questions in cancer adaptive therapy mathematical modeling. The questions are split into three sections: 1) the necessary components of mathematical models of adaptive therapy 2) design and validation of dosing protocols, and 3) challenges and opportunities in clinical translation.


title: In-silico analysis of the influence of pulmonary vein configuration on left atrial haemodynamics and thrombus formation in a large cohort

abstract: Atrial fibrillation (AF) is considered the most common human arrhythmia. Around 99\% of thrombi in non-valvular AF are formed in the left atrial appendage (LAA). Studies suggest that abnormal LAA haemodynamics and the subsequently stagnated flow are the factors triggering clot formation. However, the relation between LAA morphology, the blood pattern and the triggering is not fully understood. Moreover, the impact of structures such as the pulmonary veins (PVs) on LA haemodynamics has not been thoroughly studied due to the difficulties of acquiring appropriate data. On the other hand, in-silico studies and flow simulations allow a thorough analysis of haemodynamics, analysing the 4D nature of blood flow patterns under different boundary conditions. However, the reduced number of cases reported on the literature of these studies has been a limitation. The main goal of this work was to study the influence of PVs on left atrium (LA) and LAA haemodynamics. Computational fluid dynamics simulations were run on 52 patients, the largest cohort so far in the literature, where different parameters were individually studied: pulmonary veins orientation and configuration; LAA and LA volumes and its ratio; and flow velocities. Our computational analysis showed how the right pulmonary vein height and angulation have a great influence on LA haemodynamics. Additionally, we found that LAA with great bending with its tip pointing towards the mitral valve could contribute to favour flow stagnation.


title: Embedded Silicon-Organic Integrated Neuromorphic System

abstract: The development of artificial intelligence (AI) and robotics are both based on the tenet of "science and technology are people-oriented", and both need to achieve efficient communication with the human brain. Based on multi-disciplinary research in systems neuroscience, computer architecture, and functional organic materials, we proposed the concept of using AI to simulate the operating principles and materials of the brain in hardware to develop brain-inspired intelligence technology, and realized the preparation of neuromorphic computing devices and basic materials. We simulated neurons and neural networks in terms of material and morphology, using a variety of organic polymers as the base materials for neuroelectronic devices, for building neural interfaces as well as organic neural devices and silicon neural computational modules. We assemble organic artificial synapses with simulated neurons from silicon-based Field-Programmable Gate Array (FPGA) into organic artificial neurons, the basic components of neural networks, and later construct biological neural network models based on the interpreted neural circuits. Finally, we also discuss how to further build neuromorphic devices based on these organic artificial neurons, which have both a neural interface friendly to nervous tissue and interact with information from real biological neural networks.


title: Cardy Expansion of 3d Superconformal Indices and Corrections to the Dual Black Hole Entropy

abstract: We consider the superconformal index of three-dimensional ${\cal N}=2$ supersymmetric field theories computed via localization on $S^1\times S^2$. We systematically develop an expansion where the ratio of the radius of $S^1$ to the radius of $S^2$ is taken very small -- a Cardy-like expansion. We emphasize the sub-leading structures in this Cardy-like expansion as well as their interplay with the large-$N$ limit for theories with gauge group of the form product of $U(N)$ factors. We demonstrate that taking the large-$N$ limit first leads to an expression for the index that only includes terms proportional to $1/\beta$ and powers of $\beta^{i=0,1,2}$ where $\beta$ is the ratio of radii. As we depart from the $\beta\to 0$ limit for finite $N$, we find indications of non-perturbative contributions of the form $e^{-1/\beta}$. For the ABJM theory we explore the implications of the Cardy-like expansion for corrections to the entropy of the rotating, electricallly charged, asymptotically AdS$_4$ dual black hole. Interestingly, we find that the corrections in $\beta$ to the entropy can be accounted for by appropriately shifting the electric charges and the angular momentum


title: Structure of Working Memory in Children From 3 to 8 Years Old

abstract: Several models of working memory (WM) have been proposed in the literature. Most of the research on the architecture of WM is based on adults or older children, but less is known about younger children. In this study, we tested various models of WM on a sample of 739 Italian children from 3 to 8 years old. Participants were assessed with 12 WM tasks, systematically varying the modality and level of executive control required (based on the number of activities to be performed at once: retention alone, ignoring distractors, and dealing with dual tasks). We examined younger children, n = 501, Mage = 56.8 months (SD = 6.4, 48% males) and older children, n = 238, Mage = 80.0 months (SD = 9.0, 58% males) separately using multigroup confirmatory factor analyses. A Bayesian analytical approach was adopted. Our results suggested that a four-factor model distinguishing between verbal, visual, spatial-simultaneous, and spatial-sequential components of WM achieved the best fit. Overall, the WM structure was very similar in the two groups. We further explored this result with an additional model with a central executive factor loaded on high-control tasks only, and found evidence for the presence of an executive control component. The contribution of this factor in terms of explained variance was only modest, however. Our findings demonstrate that it is important to distinguish between WM components in young children.


title: Efficient Dataset Distillation Using Random Feature Approximation

abstract: Dataset distillation compresses large datasets into smaller synthetic coresets which retain performance with the aim of reducing the storage and computational burden of processing the entire dataset. Today's best-performing algorithm, \textit{Kernel Inducing Points} (KIP), which makes use of the correspondence between infinite-width neural networks and kernel-ridge regression, is prohibitively slow due to the exact computation of the neural tangent kernel matrix, scaling $O(|S|^2)$, with $|S|$ being the coreset size. To improve this, we propose a novel algorithm that uses a random feature approximation (RFA) of the Neural Network Gaussian Process (NNGP) kernel, which reduces the kernel matrix computation to $O(|S|)$. Our algorithm provides at least a 100-fold speedup over KIP and can run on a single GPU. Our new method, termed an RFA Distillation (RFAD), performs competitively with KIP and other dataset condensation algorithms in accuracy over a range of large-scale datasets, both in kernel regression and finite-width network training. We demonstrate the effectiveness of our approach on tasks involving model interpretability and privacy preservation.


title: Grid cells and their potential application in AI

abstract: Since their Nobel Prize winning discovery in 2005, grid cells have been studied extensively by neuroscientists. Their multi-scale periodic firing rates tiling the environment as the animal moves around has been shown as critical for path integration. Multiple experiments have shown that grid cells also fire for other representations such as olfactory, attention mechanisms, imagined movement, and concept organization potentially acting as a form of neural recycling and showing the possible brain mechanism for cognitive maps that Tolman envisioned in 1948. Grid cell integration into artificial neural networks may enable more robust, generalized, and smarter computers. In this paper we give an overview of grid cell research since their discovery, their role in neuroscience and cognitive science, and possible future directions of artificial intelligence research.


title: Ground states of Heisenberg spin clusters from a cluster-based projected Hartree-Fock approach

abstract: Recent work on approximating ground states of Heisenberg spin clusters by projected Hartree-Fock theory (PHF) is extended to a cluster-based ansatz (cPHF). Whereas PHF variationally optimizes a site-spin product state for the restoration of spin- and point-group symmetry, cPHF groups sites into discrete clusters and uses a cluster-product state as the broken-symmetry reference. Intracluster correlation is thus already included at the mean-field level and intercluster correlation is introduced through symmetry projection. Variants of cPHF differing in the broken and restored symmetries are evaluated for ground states and singlet-triplet gaps of antiferromagnetic spin rings for various cluster sizes, where cPHF in general affords a significant improvement over ordinary PHF, although the division into clusters lowers the cyclical symmetry. On the other hand, certain two- or three-dimensional spin arrangements permit cluster groupings compatible with the full spatial symmetry. We accordingly demonstrate that cPHF yields approximate ground states with correct spin and point-group quantum numbers for honeycomb lattice fragments and symmetric polyhedra.


title: The DAMIC-M Experiment: Status and First Results

abstract: The DAMIC-M (DArk Matter In CCDs at Modane) experiment employs thick, fully depleted silicon charged-coupled devices (CCDs) to search for dark matter particles with a target exposure of 1 kg-year. A novel skipper readout implemented in the CCDs provides single electron resolution through multiple non-destructive measurements of the individual pixel charge, pushing the detection threshold to the eV-scale. DAMIC-M will advance by several orders of magnitude the exploration of the dark matter particle hypothesis, in particular of candidates pertaining to the so-called "hidden sector." A prototype, the Low Background Chamber (LBC), with 20g of low background Skipper CCDs, has been recently installed at Laboratoire Souterrain de Modane and is currently taking data. We will report the status of the DAMIC-M experiment and first results obtained with LBC commissioning data.

categories: hep-ex astro-ph.IM nucl-ex physics.ins-det


title: Charged Current Anomalies with Baryons

abstract: Motivated by the first observation of $\Lambda_b\to\Lambda_c~\tau\bar{\nu}$ by LHCb, we discuss various observables that can be derived from angular distribution of this decay which, if measured, could be essential for explanation of the $b\to c\tau\bar{\nu}$ anomalies. Furthermore, we show that the measurement of $R_{\Lambda_c}=\mathcal{B}(\Lambda_b\to\Lambda_c\tau\bar{\nu})/\mathcal{B}(\Lambda_b\to\Lambda_c\mu\bar{\nu})$ does not change the current global picture arising from $R_D^{\rm}$ and $R_{D^*}^{\rm}$ being larger than predicted in the Standard Model. Finally, we show the example of a few angular observables, with and without a secondary decay, that could have a strong discriminating power on New Physics.


title: The quest for the definition of life

abstract: The intricacy and diversity inherent in living organisms present a formidable obstacle to the establishment of a universally accepted definition. Life manifests in a multitude of forms, exhibiting various attributes such as growth, reproduction, responsiveness to stimuli, adaptation, and homeostasis. However, each of these characteristics can also be observed to some degree within certain non-living systems, leading to a blurring of boundaries and generating conceptual complexities. In this manuscript, I demonstrate that the transformation of a non-living entity into a living organism does not adhere to a specific temporal boundary that unequivocally designates the onset of life. Through mathematical analysis, I have demonstrated that a comprehensive definition of living beings does not exist, which means that there are no clear boundaries in the chemical processes that turn non-living entities into living ones. In other words, living organisms do not possess unique characteristics that can completely set them apart from non-living entities. Therefore, no definitive definition exists that unequivocally distinguishes living things from non-living things.


title: Forward Proton Measurements with ATLAS

abstract: The ALFA subdetector is designed to measure elastic proton-proton scattering from which the total cross section and $\rho$-parameter are determined. In 2016, special runs at a center-of-mass energy of $\sqrt{s} = 13$\,TeV and with $\beta^\star = 2.5$\,km were recorded.


title: Stress-Tuned Optical Transitions in Layered 1T-MX2 (M= Hf, Zr, Sn; X= S, Se) Crystals

abstract: Optical measurements under externally applied stresses allow us to study the materials' electronic structure by comparing the pressure evolution of optical peaks obtained from experiments and theoretical calculations. We examine the stress-induced changes in electronic structure for the thermodynamically stable 1T polytype of selected MX2 compounds (M=Hf, Zr, Sn; X=S, Se), using the density functional theory. We demonstrate that considered 1T-MX2 materials are semiconducting with indirect character of the band gap, irrespective to the employed pressure as predicted using modified Becke-Johnson potential. We determine energies of direct interband transitions between bands extrema and in band-nesting regions close to Fermi level. Generally, the studied transitions are optically active, exhibiting in-plane polarization of light. Finally, we quantify their energy trends under external hydrostatic, uniaxial, and biaxial stresses by determining the linear pressure coefficients. Generally, negative pressure coefficients are obtained implying the narrowing of the band gap. The semiconducting-to-metal transition are predicted under hydrostatic pressure. We discuss these trends in terms of orbital composition of involved electronic bands. In addition, we demonstrate that the measured pressure coefficients of HfS2 and HfSe2 absorption edges are in perfect agreement with our predictions. Comprehensive and easy-to-interpret tables containing the optical features are provided to form the basis for assignation of optical peaks in future measurements.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.other physics.comp-ph


title: Neural Networks for Local Search and Crossover in Vehicle Routing: A Possible Overkill?

abstract: Extensive research has been conducted, over recent years, on various ways of enhancing heuristic search for combinatorial optimization problems with machine learning algorithms. In this study, we investigate the use of predictions from graph neural networks (GNNs) in the form of heatmaps to improve the Hybrid Genetic Search (HGS), a state-of-the-art algorithm for the Capacitated Vehicle Routing Problem (CVRP). The crossover and local-search components of HGS are instrumental in finding improved solutions, yet these components essentially rely on simple greedy or random choices. It seems intuitive to attempt to incorporate additional knowledge at these levels. Throughout a vast experimental campaign on more than 10,000 problem instances, we show that exploiting more sophisticated strategies using measures of node relatedness (heatmaps, or simply distance) within these algorithmic components can significantly enhance performance. However, contrary to initial expectations, we also observed that heatmaps did not present significant advantages over simpler distance measures for these purposes. Therefore, we faced a common -- though rarely documented -- situation of overkill: GNNs can indeed improve performance on an important optimization task, but an ablation analysis demonstrated that simpler alternatives perform equally well.


title: Twist-dependent intra- and interlayer excitons in moire MoSe2 homobilayers

abstract: Optoelectronic properties of van der Waals homostructures can be selectively engineered by the relative twist angle between layers. Here, we study the twist-dependent moire coupling in MoSe2 homobilayers. For small angles, we find a pronounced redshift of the K-K and {\Gamma}-K excitons accompanied by a transition from K-K to {\Gamma}-K emission. Both effects can be traced back to the underlying moire pattern in the MoSe2 homobilayers, as confirmed by our low-energy continuum model for different moire excitons. We identify two distinct intralayer moire excitons for R-stacking, while H-stacking yields two degenerate intralayer excitons due to inversion symmetry. In both cases, bright interlayer excitons are found at higher energies. The performed calculations are in excellent agreement with experiment and allow us to characterize the observed exciton resonances, providing insight about the layer composition and relevant stacking configuration of different moire exciton species.


title: Language-Integrated Query for Temporal Data (Extended version)

abstract: Modern applications often manage time-varying data. Despite decades of research on temporal databases, which culminated in the addition of temporal data operations into the SQL:2011 standard, temporal data query and manipulation operations are unavailable in most mainstream database management systems, leaving developers with the unenviable task of implementing such functionality from scratch. In this paper, we extend \emph{language-integrated query} to support writing temporal queries and updates in a uniform host language, with the language performing the required rewriting to emulate temporal capabilities automatically on any standard relational database. We introduce two core languages, $\lambda_{\mathsf{TLINQ}}$ and $\lambda_{\mathsf{VLINQ}}$, for manipulating transaction time and valid time data respectively, and formalise existing implementation strategies by giving provably correct semantics-preserving translations into a non-temporal core language, $\lambda_{\mathsf{LINQ}}$. We show how existing work on query normalisation supports a surprisingly simple implementation strategy for \emph{sequenced joins}. We implement our approach in the Links programming language, and describe a non-trivial case study based on curating COVID-19 statistics.


title: Experiencer-Specific Emotion and Appraisal Prediction

abstract: Emotion classification in NLP assigns emotions to texts, such as sentences or paragraphs. With texts like "I felt guilty when he cried", focusing on the sentence level disregards the standpoint of each participant in the situation: the writer ("I") and the other entity ("he") could in fact have different affective states. The emotions of different entities have been considered only partially in emotion semantic role labeling, a task that relates semantic roles to emotion cue words. Proposing a related task, we narrow the focus on the experiencers of events, and assign an emotion (if any holds) to each of them. To this end, we represent each emotion both categorically and with appraisal variables, as a psychological access to explaining why a person develops a particular emotion. On an event description corpus, our experiencer-aware models of emotions and appraisals outperform the experiencer-agnostic baselines, showing that disregarding event participants is an oversimplification for the emotion detection task.


title: Do Vision-and-Language Transformers Learn Grounded Predicate-Noun Dependencies?

abstract: Recent advances in vision-and-language modeling have seen the development of Transformer architectures that achieve remarkable performance on multimodal reasoning tasks. Yet, the exact capabilities of these black-box models are still poorly understood. While much of previous work has focused on studying their ability to learn meaning at the word-level, their ability to track syntactic dependencies between words has received less attention. We take a first step in closing this gap by creating a new multimodal task targeted at evaluating understanding of predicate-noun dependencies in a controlled setup. We evaluate a range of state-of-the-art models and find that their performance on the task varies considerably, with some models performing relatively well and others at chance level. In an effort to explain this variability, our analyses indicate that the quality (and not only sheer quantity) of pretraining data is essential. Additionally, the best performing models leverage fine-grained multimodal pretraining objectives in addition to the standard image-text matching objectives. This study highlights that targeted and controlled evaluations are a crucial step for a precise and rigorous test of the multimodal knowledge of vision-and-language models.


title: Monitoring Constraints in Business Processes Using Object-Centric Constraint Graphs

abstract: Constraint monitoring aims to monitor the violation of constraints in business processes, e.g., an invoice should be cleared within 48 hours after the corresponding goods receipt, by analyzing event data. Existing techniques for constraint monitoring assume that a single case notion exists in a business process, e.g., a patient in a healthcare process, and each event is associated with the case notion. However, in reality, business processes are object-centric, i.e., multiple case notions (objects) exist, and an event may be associated with multiple objects. For instance, an Order-To-Cash (O2C) process involves order, item, delivery, etc., and they interact when executing an event, e.g., packing multiple items together for a delivery. The existing techniques produce misleading insights when applied to such object-centric business processes. In this work, we propose an approach to monitoring constraints in object-centric business processes. To this end, we introduce Object-Centric Constraint Graphs (OCCGs) to represent constraints that consider the interaction of objects. Next, we evaluate the constraints represented by OCCGs by analyzing Object-Centric Event Logs (OCELs) that store the interaction of different objects in events. We have implemented a web application to support the proposed approach and conducted two case studies using a real-life SAP ERP system.


title: Influence and Influenceability: Global Directionality in Directed Complex Networks

abstract: Knowing which nodes are influential in a complex network and whether the network can be influenced by a small subset of nodes is a key part of network analysis. However, many traditional measures of importance focus on node level information without considering the global network architecture. We use the method of Trophic Analysis to study directed networks and show that both "influence" and "influenceability" in directed networks depend on the hierarchical structure and the global directionality, as measured by the trophic levels and trophic coherence, respectively. We show that in directed networks trophic hierarchy can explain: the nodes that can reach the most others; where the eigenvector centrality localises; which nodes shape the behaviour in opinion or oscillator dynamics; and which strategies will be successful in generalised rock-paper-scissors games. We show, moreover, that these phenomena are mediated by the global directionality. We also highlight other structural properties of real networks related to influenceability, such as the pseudospectra, which depend on trophic coherence. These results apply to any directed network and the principles highlighted, that node hierarchy is essential for understanding network influence, mediated by global directionality, are applicable to many real-world dynamics.


title: A Non-Asymptotic Moreau Envelope Theory for High-Dimensional Generalized Linear Models

abstract: We prove a new generalization bound that shows for any class of linear predictors in Gaussian space, the Rademacher complexity of the class and the training error under any continuous loss $\ell$ can control the test error under all Moreau envelopes of the loss $\ell$. We use our finite-sample bound to directly recover the "optimistic rate" of Zhou et al. (2021) for linear regression with the square loss, which is known to be tight for minimal $\ell_2$-norm interpolation, but we also handle more general settings where the label is generated by a potentially misspecified multi-index model. The same argument can analyze noisy interpolation of max-margin classifiers through the squared hinge loss, and establishes consistency results in spiked-covariance settings. More generally, when the loss is only assumed to be Lipschitz, our bound effectively improves Talagrand's well-known contraction lemma by a factor of two, and we prove uniform convergence of interpolators (Koehler et al. 2021) for all smooth, non-negative losses. Finally, we show that application of our generalization bound using localized Gaussian width will generally be sharp for empirical risk minimizers, establishing a non-asymptotic Moreau envelope theory for generalization that applies outside of proportional scaling regimes, handles model misspecification, and complements existing asymptotic Moreau envelope theories for M-estimation.


title: Do Content Management Systems Impact the Security of Free Content Websites? A Correlation Analysis

abstract: This paper investigates the potential causes of the vulnerabilities of free content websites to address risks and maliciousness. Assembling more than 1,500 websites with free and premium content, we identify their content management system (CMS) and malicious attributes. We use frequency analysis at both the aggregate and per category of content (books, games, movies, music, and software), utilizing the unpatched vulnerabilities, total vulnerabilities, malicious count, and percentiles to uncover trends and affinities of usage and maliciousness of CMS{'s} and their contribution to those websites. Moreover, we find that, despite the significant number of custom code websites, the use of CMS{'s} is pervasive, with varying trends across types and categories. Finally, we find that even a small number of unpatched vulnerabilities in popular CMS{'s} could be a potential cause for significant maliciousness.


title: Decoding a Neural Retriever's Latent Space for Query Suggestion

abstract: Neural retrieval models have superseded classic bag-of-words methods such as BM25 as the retrieval framework of choice. However, neural systems lack the interpretability of bag-of-words models; it is not trivial to connect a query change to a change in the latent space that ultimately determines the retrieval results. To shed light on this embedding space, we learn a "query decoder" that, given a latent representation of a neural search engine, generates the corresponding query. We show that it is possible to decode a meaningful query from its latent representation and, when moving in the right direction in latent space, to decode a query that retrieves the relevant paragraph. In particular, the query decoder can be useful to understand "what should have been asked" to retrieve a particular paragraph from the collection. We employ the query decoder to generate a large synthetic dataset of query reformulations for MSMarco, leading to improved retrieval performance. On this data, we train a pseudo-relevance feedback (PRF) T5 model for the application of query suggestion that outperforms both query reformulation and PRF information retrieval baselines.


title: Minimal Entanglement and Emergent Symmetries in Low-energy QCD

abstract: We study low-energy scattering of spin-1/2 baryons from the perspective of quantum information science, focusing on the correlation between entanglement minimization and the appearance of accidental symmetries. The baryon transforms as an octet under the SU(3) flavor symmetry and its interactions below the pion threshold are described by contact operators in an effective field theory (EFT) of QCD. Despite there being 64 channels in the 2-to-2 scattering, only six independent operators in the EFT are predicted by SU(3). We show that successive entanglement minimization in SU(3)-symmetric channels are correlated with increasingly large emergent symmetries in the EFT. In particular, we identify scattering channels whose entanglement suppression are indicative of emergent SU(6), SO(8), SU(8), and SU(16) symmetries. We also observe the appearance of non-relativistic conformal invariance in channels with unnaturally large scattering lengths. Improved precision from lattice simulations could help determine the degree of entanglement suppression, and consequently the amount of accidental symmetry, in low-energy QCD.


title: Optimal Policies for Age and Distortion in a Discrete-Time Model

abstract: We study a discrete-time model where each packet has a cost of not being sent -- this cost might depend on the packet content. We study the tradeoff between the age and the cost where the sender is confined to packet-based strategies. The optimal tradeoff is found by an appropriate formulation of the problem as a Markov Decision Process (MDP). We show that the optimal tradeoff can be attained with finite-memory policies and we devise an efficient policy iteration algorithm to find these optimal policies. We further study a related problem where the transmitted packets are subject to erasures. We show that the optimal policies for our problem are also optimal for this new setup. Allowing coding across packets significantly extends the packet-based strategies. We show that when the packet payloads are small, the performance can be improved by coding.


title: Tuning bulk topological magnon properties with light-induced magnons

abstract: Although theoretical modelling and inelastic neutron scattering measurements have indicated the presence of topological magnon bands in multiple quantum magnets, experiments remain unable to detect signal of magnon thermal Hall effect in the quantum magnets, which is a consequence of magnons condensation at the bottom of the bands following Bose Einstein statistics as well as the concentration of Berry curvature at the higher energies. In a recent work, Malz et al.[Nature Communications 10, 3937 (2019)] have shown that topological magnons in edge states in a finite sample can be amplified using tailored electromagnetic fields. We extend their approach by showing that a uniform electromagnetic field can selectively amplify magnons with finite Berry curvature by breaking inversion symmetry of a lattice. Using this approach, we demonstrate the generation of bulk topological magnons in a Heisenberg ferromagnet on the breathing kagome lattice and the consequent amplification of thermal Hall effect.


title: Online Feedback Equilibrium Seeking

abstract: This paper proposes a unifying design framework for dynamic feedback controllers that track solution trajectories of time-varying generalized equations, such as local minimizers of nonlinear programs or competitive equilibria (e.g., Nash) of non-cooperative games. Inspired by the feedback optimization paradigm, the core idea of the proposed approach is to re-purpose classic iterative algorithms for solving generalized equations (e.g., Josephy--Newton, forward-backward splitting) as dynamic feedback controllers by integrating online measurements of the continuous-time nonlinear plant. Sufficient conditions for closed-loop stability and robustness of the algorithm-plant cyber-physical interconnection are derived in a sampled-data setting by combining and tailoring results from (monotone) operator, fixed-point, and nonlinear systems theory. Numerical simulations on smart building automation and competitive supply-chain management are presented to support the theoretical findings.


title: A Survey on Graph Counterfactual Explanations: Definitions, Methods, Evaluation, and Research Challenges

abstract: Graph Neural Networks (GNNs) perform well in community detection and molecule classification. Counterfactual Explanations (CE) provide counter-examples to overcome the transparency limitations of black-box models. Due to the growing attention in graph learning, we focus on the concepts of CE for GNNs. We analysed the SoA to provide a taxonomy, a uniform notation, and the benchmarking datasets and evaluation metrics. We discuss fourteen methods, their evaluation protocols, twenty-two datasets, and nineteen metrics. We integrated the majority of methods into the GRETEL library to conduct an empirical evaluation to understand their strengths and pitfalls. We highlight open challenges and future work.


title: AutoPrognosis 2.0: Democratizing Diagnostic and Prognostic Modeling in Healthcare with Automated Machine Learning

abstract: Diagnostic and prognostic models are increasingly important in medicine and inform many clinical decisions. Recently, machine learning approaches have shown improvement over conventional modeling techniques by better capturing complex interactions between patient covariates in a data-driven manner. However, the use of machine learning introduces a number of technical and practical challenges that have thus far restricted widespread adoption of such techniques in clinical settings. To address these challenges and empower healthcare professionals, we present a machine learning framework, AutoPrognosis 2.0, to develop diagnostic and prognostic models. AutoPrognosis leverages state-of-the-art advances in automated machine learning to develop optimized machine learning pipelines, incorporates model explainability tools, and enables deployment of clinical demonstrators, without requiring significant technical expertise. Our framework eliminates the major technical obstacles to predictive modeling with machine learning that currently impede clinical adoption. To demonstrate AutoPrognosis 2.0, we provide an illustrative application where we construct a prognostic risk score for diabetes using the UK Biobank, a prospective study of 502,467 individuals. The models produced by our automated framework achieve greater discrimination for diabetes than expert clinical risk scores. Our risk score has been implemented as a web-based decision support tool and can be publicly accessed by patients and clinicians worldwide. In addition, AutoPrognosis 2.0 is provided as an open-source python package. By open-sourcing our framework as a tool for the community, clinicians and other medical practitioners will be able to readily develop new risk scores, personalized diagnostics, and prognostics using modern machine learning techniques.


title: Physical Layer Security in Random NOMA-Enabled Heterogeneous Networks

abstract: The performance of physical layer secrecy approach in non-orthogonal multiple access (NOMA)-enabled heterogeneous networks (HetNets) is analyzed in this paper. A $K$-tier multi-cell HetNet is considered, comprising NOMA adopted in all tiers. The base stations, legitimate users (in a two-user NOMA setup), and passive eavesdroppers, all with single-antenna, are randomly distributed. Assuming independent Poisson point processes for node distribution, stochastic geometry approaches are exploited to characterize the ergodic secrecy rate. A lower bound on the ergodic secrecy rate along with closed-form expressions for the lower bound on the ergodic rates of the legitimate users in a special case are derived. Moreover, simpler expressions for the ergodic secrecy rate are obtained in the interference-limited regime with vanishing noise variance. The effect of multi-tier technology, NOMA, and physical layer secrecy are investigated using numerical results. The results reveal that applying HetNet to a secure multi-cell NOMA system improves the spectrum efficiency performance.


title: Cyclic codes from low differentially uniform functions

abstract: Cyclic codes have many applications in consumer electronics, communication and data storage systems due to their efficient encoding and decoding algorithms. An efficient approach to constructing cyclic codes is the sequence approach. In their articles [Discrete Math. 321, 2014] and [SIAM J. Discrete Math. 27(4), 2013], Ding and Zhou constructed several classes of cyclic codes from almost perfect nonlinear (APN) functions and planar functions over finite fields and presented some open problems on cyclic codes from highly nonlinear functions. This article focuses on these exciting works by investigating new insights in this research direction. Specifically, its objective is twofold. The first is to provide a complement with some former results and present correct proofs and statements on some known ones on the cyclic codes from the APN functions. The second is studying the cyclic codes from some known functions processing low differential uniformity. Along with this article, we shall provide answers to some open problems presented in the literature. The first one concerns Open Problem 1, proposed by Ding and Zhou in Discrete Math. 321, 2014. The two others are Open Problems 5.16 and 5.25, raised by Ding in [SIAM J. Discrete Math. 27(4), 2013].


title: Ultrafast Electron Diffraction with MeV Electron Source from a Laser Wakefield Accelerator

abstract: MeV ultrafast electron diffraction (UED) is a widely used technology for ultrafast structural dynamic studies of matters in numerous areas. The development of laser wakefield accelerator (LWFA) envisions great potential of advanced all-optical electron source based on LWFA in UED applications. We experimentally demonstrated that an LWFA-based device with a miniaturized permanent magnet beamline can generate and manipulate electron beams suitable for UED. In the beam transmission, the LWFA electron beams with intrinsic short duration stretch due to energy spread and then are compressed by a following double bend achromat. The optimized double bend achromat can make the beamline isochronous such that the arrival time jitter induced by the shot-to-shot energy fluctuation can be eliminated, and allow the advantage of the natural laser-beam synchronization for LWFAs to emerge. With the energy filtering, the beam energy spread can be reduced to 3% (FWHM) while a sufficient amount of charge (11.9 fC) per bunch for diffraction is retained. Start-to-end simulations showed that the bunch length reaches ~30 fs (rms) with the same experimental configuration. Clear single-shot and multi-shot diffraction patterns of single-crystalline gold samples are obtained and the derived lattice constant agrees excellently with the real value. Our proof-of-principle experiments open the door to the detection of ultrafast structural dynamics using MeV LWFA beams, and pave the way for the UED applications with sub-10-fs temporal resolution.


title: Casimir nanoparticle levitation in vacuum with broadband perfect magnetic conductor metamaterials

abstract: The levitation of nanoparticles is essential in various branches of research. Casimir forces are natural candidates to tackle it but the lack of broadband metamaterials precluded repulsive forces in vacuum. We show sub-micron nanoparticle levitation in vacuum only based on the design of a broadband metamaterial perfect magnetic conductor surface, where the force is mostly given by the (quantum) zero-point contribution. In the harmonic regime of the center of mass dynamics, the characteristic frequency depends linearly on Planck's constant $\hbar$ while independent of the nanoparticle's volume.


title: Learning shape distributions from large databases of healthy organs: applications to zero-shot and few-shot abnormal pancreas detection

abstract: We propose a scalable and data-driven approach to learn shape distributions from large databases of healthy organs. To do so, volumetric segmentation masks are embedded into a common probabilistic shape space that is learned with a variational auto-encoding network. The resulting latent shape representations are leveraged to derive zeroshot and few-shot methods for abnormal shape detection. The proposed distribution learning approach is illustrated on a large database of 1200 healthy pancreas shapes. Downstream qualitative and quantitative experiments are conducted on a separate test set of 224 pancreas from patients with mixed conditions. The abnormal pancreas detection AUC reached up to 65.41% in the zero-shot configuration, and 78.97% in the few-shot configuration with as few as 15 abnormal examples, outperforming a baseline approach based on the sole volume.


title: Augmenting Multi-Turn Text-to-SQL Datasets with Self-Play

abstract: The task of context-dependent text-to-SQL aims to convert multi-turn user utterances to formal SQL queries. This is a challenging task due to both the scarcity of training data from which to learn complex contextual dependencies and to generalize to unseen databases. In this paper we explore augmenting the training datasets using self-play, which leverages contextual information to synthesize new interactions to adapt the model to new databases. We first design a SQL-to-text model conditioned on a sampled goal query, which represents a user's intent, that then converses with a text-to-SQL semantic parser to generate new interactions. We then filter the synthesized interactions and retrain the models with the augmented data. We find that self-play improves the accuracy of a strong baseline on SParC and CoSQL, two widely used cross-domain text-to-SQL datasets. Our analysis shows that self-play simulates various conversational thematic relations, enhances cross-domain generalization and improves beam-search.


title: Robust Singular Values based on L1-norm PCA

abstract: Singular-Value Decomposition (SVD) is a ubiquitous data analysis method in engineering, science, and statistics. Singular-value estimation, in particular, is of critical importance in an array of engineering applications, such as channel estimation in communication systems, electromyography signal analysis, and image compression, to name just a few. Conventional SVD of a data matrix coincides with standard Principal-Component Analysis (PCA). The L2-norm (sum of squared values) formulation of PCA promotes peripheral data points and, thus, makes PCA sensitive against outliers. Naturally, SVD inherits this outlier sensitivity. In this work, we present a novel robust non-parametric method for SVD and singular-value estimation based on a L1-norm (sum of absolute values) formulation, which we name L1-cSVD. Accordingly, the proposed method demonstrates sturdy resistance against outliers and can facilitate more reliable data analysis and processing in a wide range of engineering applications.


title: Triplet Losses-based Matrix Factorization for Robust Recommendations

abstract: Much like other learning-based models, recommender systems can be affected by biases in the training data. While typical evaluation metrics (e.g. hit rate) are not concerned with them, some categories of final users are heavily affected by these biases. In this work, we propose using multiple triplet losses terms to extract meaningful and robust representations of users and items. We empirically evaluate the soundness of such representations through several "bias-aware" evaluation metrics, as well as in terms of stability to changes in the training set and agreement of the predictions variance w.r.t. that of each user.


title: Cop and robber on finite spaces

abstract: A cop tries to capture a robber in a topological space $X$ being unable to see him. For which spaces $X$ does the cop have a strategy which allows him to capture the robber independently of his efforts to escape? In other words, when is there a curve $\gamma: \mathbb{R}_{\ge 0}\to X$ which has a coincidence with any other curve in $X$. We analyze in particular the case of finite topological spaces and discover general results and exotic examples about paths in these spaces.