title: ILMART: Interpretable Ranking with Constrained LambdaMART

abstract: Interpretable Learning to Rank (LtR) is an emerging field within the research area of explainable AI, aiming at developing intelligible and accurate predictive models. While most of the previous research efforts focus on creating post-hoc explanations, in this paper we investigate how to train effective and intrinsically-interpretable ranking models. Developing these models is particularly challenging and it also requires finding a trade-off between ranking quality and model complexity. State-of-the-art rankers, made of either large ensembles of trees or several neural layers, exploit in fact an unlimited number of feature interactions making them black boxes. Previous approaches on intrinsically-interpretable ranking models address this issue by avoiding interactions between features thus paying a significant performance drop with respect to full-complexity models. Conversely, ILMART, our novel and interpretable LtR solution based on LambdaMART, is able to train effective and intelligible models by exploiting a limited and controlled number of pairwise feature interactions. Exhaustive and reproducible experiments conducted on three publicly-available LtR datasets show that ILMART outperforms the current state-of-the-art solution for interpretable ranking of a large margin with a gain of nDCG of up to 8%.


title: Towards Responsible AI: A Design Space Exploration of Human-Centered Artificial Intelligence User Interfaces to Investigate Fairness

abstract: With Artificial intelligence (AI) to aid or automate decision-making advancing rapidly, a particular concern is its fairness. In order to create reliable, safe and trustworthy systems through human-centred artificial intelligence (HCAI) design, recent efforts have produced user interfaces (UIs) for AI experts to investigate the fairness of AI models. In this work, we provide a design space exploration that supports not only data scientists but also domain experts to investigate AI fairness. Using loan applications as an example, we held a series of workshops with loan officers and data scientists to elicit their requirements. We instantiated these requirements into FairHIL, a UI to support human-in-the-loop fairness investigations, and describe how this UI could be generalized to other use cases. We evaluated FairHIL through a think-aloud user study. Our work contributes better designs to investigate an AI model's fairness-and move closer towards responsible AI.


title: Algebras over a symmetric fusion category and integrations

abstract: We study the symmetric monoidal 2-category of finite semisimple module categories over a symmetric fusion category. In particular, we study $E_n$-algebras in this 2-category and compute their $E_n$-centers for $n=0,1,2$. We also compute the factorization homology of stratified surfaces with coefficients given by $E_n$-algebras in this 2-category for $n=0,1,2$ satisfying certain anomaly-free conditions.


title: A note on Cheeger's isoperimetric constant

abstract: In this short exposition we provide a simplified proof of Buser's result for Cheeger's isoperimetric constant.


title: Anti-Forgery: Towards a Stealthy and Robust DeepFake Disruption Attack via Adversarial Perceptual-aware Perturbations

abstract: DeepFake is becoming a real risk to society and brings potential threats to both individual privacy and political security due to the DeepFaked multimedia are realistic and convincing. However, the popular DeepFake passive detection is an ex-post forensics countermeasure and failed in blocking the disinformation spreading in advance. To address this limitation, researchers study the proactive defense techniques by adding adversarial noises into the source data to disrupt the DeepFake manipulation. However, the existing studies on proactive DeepFake defense via injecting adversarial noises are not robust, which could be easily bypassed by employing simple image reconstruction revealed in a recent study MagDR. In this paper, we investigate the vulnerability of the existing forgery techniques and propose a novel \emph{anti-forgery} technique that helps users protect the shared facial images from attackers who are capable of applying the popular forgery techniques. Our proposed method generates perceptual-aware perturbations in an incessant manner which is vastly different from the prior studies by adding adversarial noises that is sparse. Experimental results reveal that our perceptual-aware perturbations are robust to diverse image transformations, especially the competitive evasion technique, MagDR via image reconstruction. Our findings potentially open up a new research direction towards thorough understanding and investigation of perceptual-aware adversarial attack for protecting facial images against DeepFakes in a proactive and robust manner. We open-source our tool to foster future research. Code is available at https://github.com/AbstractTeen/AntiForgery/.


title: Weak consistency of P-time event graphs

abstract: P-time event graphs (P-TEGs) are event graphs where the residence time of tokens in places is bounded by specified time windows. In this paper, we define a new property of PTEGs, called weak consistency. In weakly consistent P-TEGs, the amount of times a transition can fire before the first violation of a time constraint can be made as large as desired. We show the practical implications of this property and, based on previous results in graph theory, we formulate an algorithm of strongly polynomial time complexity that verifies it. From this algorithm, it is possible to determine, in pseudo-polynomial time, the maximum number of firings before the first constraint violation in a P-TEG.


title: On localisation of eigenfunctions of the Laplace operator

abstract: We prove (i) a simple sufficient geometric condition for localisation of a sequence of first Dirichlet eigenfunctions provided the corresponding Dirichlet Laplacians satisfy a uniform Hardy inequality, and (ii) localisation of a sequence of first Dirichlet eigenfunctions for a wide class of elongating horn-shaped domains. We give examples of sequences of simply connected, planar, polygonal domains for which the corresponding sequence of first eigenfunctions with either Dirichlet, or Neumann, boundary conditions $\kappa$-localise in $L^2$.


title: Sex and Gender in the Computer Graphics Research Literature

abstract: We survey the treatment of sex and gender in the Computer Graphics research literature from an algorithmic fairness perspective. The established practices on the use of gender and sex in our community are scientifically incorrect and constitute a form of algorithmic bias with potential harmful effects. We propose ways of addressing these as technical limitations.


title: Where are my Neighbors? Exploiting Patches Relations in Self-Supervised Vision Transformer

abstract: Vision Transformers (ViTs) enabled the use of the transformer architecture on vision tasks showing impressive performances when trained on big datasets. However, on relatively small datasets, ViTs are less accurate given their lack of inductive bias. To this end, we propose a simple but still effective Self-Supervised Learning (SSL) strategy to train ViTs, that without any external annotation or external data, can significantly improve the results. Specifically, we define a set of SSL tasks based on relations of image patches that the model has to solve before or jointly the supervised task. Differently from ViT, our RelViT model optimizes all the output tokens of the transformer encoder that are related to the image patches, thus exploiting more training signals at each training step. We investigated our methods on several image benchmarks finding that RelViT improves the SSL state-of-the-art methods by a large margin, especially on small datasets. Code is available at: https://github.com/guglielmocamporese/relvit.


title: Improved Aberth-Ehrlich root-finding algorithm and its further application for Binary Microlensing

abstract: In gravitational microlensing formalism and for modeling binary light curves, the key step is solving the binary lens equation. Currently, a combination of the Newton's and Laguerre's methods which was first introduced by Skowron \& Gould (SG) is used while modeling binary light curves. In this paper, we first introduce a fast root-finding algorithm for univariate polynomials based on the Aberth-Ehrlich (AE) method which was first developed in 1967 as an improvement over the Newton's method. AE algorithm has proven to be much faster than Newton's, Laguerre's and Durand-Kerner methods and unlike other root-finding algorithms, it is able to produce all the roots simultaneously. After improving the basic AE algorithm and discussing its properties, we will optimize it for solving binary lens equations, which are fifth degree polynomials with complex coefficients. Our method is about $1.8$ to $2.0$ times faster than the SG algorithm. Since, for calculating magnification factors for point-like or finite source stars, it is necessary to solve the binary lens equation and find the positions of the produced images in the image plane first, this new method will improve the speed and accuracy of binary microlensing modeling.


title: Field-free superconducting diode effect in noncentrosymmetric superconductor/ferromagnet multilayers

abstract: The diode effect is fundamental to electronic devices and is widely used in rectifiers and AC-DC converters. At low temperatures, however, conventional semiconductor diodes possess a high resistivity, which yields energy loss and heating during operation. The superconducting diode effect (SDE), which relies on broken inversion symmetry in a superconductor may mitigate this obstacle: in one direction a zero-resistance supercurrent can flow through the diode, but for the opposite direction of current flow, the device enters the normal state with ohmic resistance. The application of a magnetic field can induce SDE in Nb/V/Ta superlattices with a polar structure, in superconducting devices with asymmetric patterning of pinning centres, or in superconductor/ferromagnet hybrid devices with induced vortices. The need for an external magnetic field limits their practical application. Recently, a field-free SDE was observed in a NbSe2/Nb3Br8/NbSe2 junction, and it originates from asymmetric Josephson tunneling that is induced by the Nb3Br8 barrier and the associated NbSe2/Nb3Br8 interfaces. Here, we present another implementation of zero-field SDE using noncentrosymmetric [Nb/V/Co/V/Ta]20 multilayers. The magnetic layers provide the necessary symmetry breaking and we can tune the SDE by adjusting the structural parameters, such as the constituent elements, film thickness, stacking order, and number of repetitions. We control the polarity of the SDE through the magnetization direction of the ferromagnetic layers. Artificially stacked structures, as the one used in this work, are of particular interest as they are compatible with microfabrication techniques and can be integrated with devices such as Josephson junctions. Energy-loss-free SDEs as presented in this work may therefore enable novel non-volatile memories and logic circuits with ultralow power consumption.


title: DEP-RL: Embodied Exploration for Reinforcement Learning in Overactuated and Musculoskeletal Systems

abstract: Muscle-actuated organisms are capable of learning an unparalleled diversity of dexterous movements despite their vast amount of muscles. Reinforcement learning (RL) on large musculoskeletal models, however, has not been able to show similar performance. We conjecture that ineffective exploration in large overactuated action spaces is a key problem. This is supported by the finding that common exploration noise strategies are inadequate in synthetic examples of overactuated systems. We identify differential extrinsic plasticity (DEP), a method from the domain of self-organization, as being able to induce state-space covering exploration within seconds of interaction. By integrating DEP into RL, we achieve fast learning of reaching and locomotion in musculoskeletal systems, outperforming current approaches in all considered tasks in sample efficiency and robustness.


title: Co-creation and ownership for AI radio

abstract: Recent breakthroughs in AI-generated music open the door for new forms for co-creation and co-creativity. We present Artificial$.\!$fm, a proof-of-concept casual creator that blends AI-music generation, subjective ratings, and personalized recommendation for the creation and curation of AI-generated music. Listeners can rate emergent songs to steer the evolution of future music. They can also personalize their preferences to better navigate the possibility space. As a "slow creator" with many human stakeholders, Artificial$.\!$fm is an example of how casual creators can leverage human curation at scale to collectively navigate a possibility space. It also provides a case study to reflect on how ownership should be considered in these contexts. We report on the design and development of Artificial$.\!$fm, and provide a legal analysis on the ownership of artifacts generated on the platform.


title: Nonunique fraction of Fock exchange for defects in two-dimensional materials

abstract: By investigating the vacancy and substitutional defects in monolayer WS$_2$ with hybrid functionals, we find that there is no unique amount of Fock exchange that concurrently satisfies the generalized Koopmans' condition and reproduces the band gap and band-edge positions. Fixing the mixing parameter of Fock exchange based upon the band gap can lead to qualitatively incorrect defect physics in two-dimensional materials. Instead, excellent agreement is achieved with experiment and many-body perturbation theory within $GW$ approximation once the mixing parameters are tuned individually for the defects and the band edges. We show the departure from a unique optimized mixing parameter is inherent to two-dimensional systems as the band edges experience a reduced screening whilst the localized defects are subject to bulklike screening.


title: Physics-based neural network for non-invasive control of coherent light in scattering media

abstract: Optical imaging through complex media, such as biological tissues or fog, is challenging due to light scattering. In the multiple scattering regime, wavefront shaping provides an effective method to retrieve information; it relies on measuring how the propagation of different optical wavefronts are impacted by scattering. Based on this principle, several wavefront shaping techniques were successfully developed, but most of them are highly invasive and limited to proof-of-principle experiments. Here, we propose to use a neural network approach to non-invasively characterize and control light scattering inside the medium and also to retrieve information of hidden objects buried within it. Unlike most of the recently-proposed approaches, the architecture of our neural network with its layers, connected nodes and activation functions has a true physical meaning as it mimics the propagation of light in our optical system. It is trained with an experimentally-measured input/output dataset built from a series of incident light patterns and corresponding camera snapshots. We apply our physics-based neural network to a fluorescence microscope in epi-configuration and demonstrate its performance through numerical simulations and experiments. This flexible method can include physical priors and we show that it can be applied to other systems as, for example, non-linear or coherent contrast mechanisms.


title: Rotate the ReLU to implicitly sparsify deep networks

abstract: In the era of Deep Neural Network based solutions for a variety of real-life tasks, having a compact and energy-efficient deployable model has become fairly important. Most of the existing deep architectures use Rectifier Linear Unit (ReLU) activation. In this paper, we propose a novel idea of rotating the ReLU activation to give one more degree of freedom to the architecture. We show that this activation wherein the rotation is learned via training results in the elimination of those parameters/filters in the network which are not important for the task. In other words, rotated ReLU seems to be doing implicit sparsification. The slopes of the rotated ReLU activations act as coarse feature extractors and unnecessary features can be eliminated before retraining. Our studies indicate that features always choose to pass through a lesser number of filters in architectures such as ResNet and its variants. Hence, by rotating the ReLU, the weights or the filters that are not necessary are automatically identified and can be dropped thus giving rise to significant savings in memory and computation. Furthermore, in some cases, we also notice that along with saving in memory and computation we also obtain improvement over the reported performance of the corresponding baseline work in the popular datasets such as MNIST, CIFAR-10, CIFAR-100, and SVHN.


title: Attack-Agnostic Adversarial Detection

abstract: The growing number of adversarial attacks in recent years gives attackers an advantage over defenders, as defenders must train detectors after knowing the types of attacks, and many models need to be maintained to ensure good performance in detecting any upcoming attacks. We propose a way to end the tug-of-war between attackers and defenders by treating adversarial attack detection as an anomaly detection problem so that the detector is agnostic to the attack. We quantify the statistical deviation caused by adversarial perturbations in two aspects. The Least Significant Component Feature (LSCF) quantifies the deviation of adversarial examples from the statistics of benign samples and Hessian Feature (HF) reflects how adversarial examples distort the landscape of the model's optima by measuring the local loss curvature. Empirical results show that our method can achieve an overall ROC AUC of 94.9%, 89.7%, and 94.6% on CIFAR10, CIFAR100, and SVHN, respectively, and has comparable performance to adversarial detectors trained with adversarial examples on most of the attacks.


title: Spectroscopic Characterization of the Quantum Linear-Zigzag Transition in Trapped Ions

abstract: While engineered quantum systems are a general route to the manipulation of multipartite quantum states, access in a physical system to a continuous quantum phase transition under sufficient control offers the possibility of an intrinsic source of entangled states. To this end we realize the quantum version of the linear-zigzag structural transition for arrays of up to five ground state-cooled ions held in a linear Paul trap and we demonstrate several of the control requirements towards entangled-state interferometry near the critical point. Using in-situ spectroscopy we probe the energy level structure and occupation of the soft mode associated with the structural transition, and show a stable critical point and majority ground state occupation crossing the transition. We resolve biases arising from trap electrode asymmetries that change the nature of the transition, show that they can be suppressed by varying the ion number, and demonstrate control of the transition bias using optical dipole forces.


title: Semantic Room Wireframe Detection from a Single View

abstract: Reconstruction of indoor surfaces with limited texture information or with repeated textures, a situation common in walls and ceilings, may be difficult with a monocular Structure from Motion system. We propose a Semantic Room Wireframe Detection task to predict a Semantic Wireframe from a single perspective image. Such predictions may be used with shape priors to estimate the Room Layout and aid reconstruction. To train and test the proposed algorithm we create a new set of annotations from the simulated Structured3D dataset. We show qualitatively that the SRW-Net handles complex room geometries better than previous Room Layout Estimation algorithms while quantitatively out-performing the baseline in non-semantic Wireframe Detection.


title: Remarks on sharp boundary estimates for singular and degenerate Monge-Amp\`ere equations

abstract: By constructing appropriate smooth, possibly non-convex supersolutions, we establish sharp lower bounds near the boundary for the modulus of nontrivial solutions to singular and degenerate Monge-Amp\`ere equations of the form $\det D^2 u =|u|^q$ with zero boundary condition on a bounded domain in $\mathbb{R}^n$. These bounds imply that currently known global H\"older regularity results for these equations are optimal for all $q$ negative, and almost optimal for $0\leq q\leq n-2$. Our study also establishes the optimality of global $C^{\frac{1}{n}}$ regularity for convex solutions to the Monge-Amp\`ere equation with finite total Monge-Amp\`ere measure. Moreover, when $0\leq q<n-2$, the unique solution has its gradient blowing up near any flat part of the boundary. The case of $q$ being $0$ is related to surface tensions in dimer models. We also obtain new global log-Lipschitz estimates, and apply them to the Abreu's equation with degenerate boundary data.


title: Networked Sensing in 6G Cellular Networks: Opportunities and Challenges

abstract: Radar and wireless communication are widely acknowledged as the two most successful applications of the radio technology over the past decades. Recently, there is a trend in both academia and industry to achieve integrated sensing and communication (ISAC) in one system via utilizing a common radio spectrum and the same hardware platform. This article will discuss about the possibility of exploiting the future sixth-generation (6G) cellular network to realize ISAC. Our vision is that the cellular base stations (BSs) deployed all over the world can be transformed into a powerful sensor to provide highresolution localization services. Specifically, motivated by the joint encoding/decoding gain in multi-cell coordinated communication, we advocate the adoption of the networked sensing technique in 6G network to achieve the above goal, where the BSs can share the sensing information with each other for jointly estimating the locations and velocities of the targets. Several opportunities and challenges to realize networked sensing in the 6G era will be revealed in this article. Moreover, the future research directions for this promising trend will be outlined as well.


title: Incentivizing Combinatorial Bandit Exploration

abstract: Consider a bandit algorithm that recommends actions to self-interested users in a recommendation system. The users are free to choose other actions and need to be incentivized to follow the algorithm's recommendations. While the users prefer to exploit, the algorithm can incentivize them to explore by leveraging the information collected from the previous users. All published work on this problem, known as incentivized exploration, focuses on small, unstructured action sets and mainly targets the case when the users' beliefs are independent across actions. However, realistic exploration problems often feature large, structured action sets and highly correlated beliefs. We focus on a paradigmatic exploration problem with structure: combinatorial semi-bandits. We prove that Thompson Sampling, when applied to combinatorial semi-bandits, is incentive-compatible when initialized with a sufficient number of samples of each arm (where this number is determined in advance by the Bayesian prior). Moreover, we design incentive-compatible algorithms for collecting the initial samples.


title: A kinetic description of the body size distributions of species

abstract: In this paper, by resorting to classical methods of statistical mechanics, we build a kinetic model able to reproduce the observed statistical weight distribution of many diverse species. The kinetic description of the time variations of the weight distribution is based on elementary interactions that describe in a qualitative and quantitative way successive evolutionary updates, and determine explicit equilibrium distributions. Numerical fittings on mammalian eutherians of the order Chiroptera population illustrates the effectiveness of the approach.


title: Memory gradient method for multiobjective optimization

abstract: In this paper, we propose a new descent method, termed as multiobjective memory gradient method, for finding Pareto critical points of a multiobjective optimization problem. The main thought in this method is to select a combination of the current descent direction and past multi-step iterative information as a new search direction and to obtain a stepsize by virtue of two types of strategies. It is proved that the developed direction with suitable parameters always satisfies the sufficient descent condition at each iteration. Based on mild assumptions, we obtain the global convergence and the rates of convergence for our method. Computational experiments are given to demonstrate the effectiveness of the proposed method.


title: MRI turbulence in accretion discs at large magnetic Prandtl numbers

abstract: The effect of large magnetic Prandtl number $\text{Pm}$ (the ratio of viscosity to resistivity) on the turbulent transport and energetics of the magnetorotational instability (MRI) is poorly understood, despite the realization of this regime in astrophysical environments as disparate as discs from binary neutron star mergers, the inner regions of low mass X-ray binaries and active galactic nuclei, and the interiors of protoneutron stars. We investigate the MRI dynamo and associated turbulence in the regime $\text{Pm}>1$ by carrying out fully compressible, 3D MHD shearing box simulations using the finite-volume code \textsc{PLUTO}, focusing mostly on the case of Keplerian shear relevant to accretion discs. We find that when the magnetic Reynolds number is kept fixed, the turbulent transport (as parameterized by $\alpha$, the ratio of stress to thermal pressure) scales with the magnetic Prandtl number as $\alpha \sim \text{Pm}^{\delta}$, with $\delta \sim 0.5-0.7$ up to $\text{Pm} \sim 128$. However, this scaling weakens as the magnetic Reynolds number is increased. Importantly, compared to previous studies, we find a new effect at very large $\text{Pm}$ -- the turbulent energy and stress begin to plateau, no longer depending on ${\rm Pm}$. To understand these results we have carried out a detailed analysis of the turbulent dynamics in Fourier space, focusing on the effect of increasing $\text{Pm}$ on the transverse cascade -- a key non-linear process induced by the disc shear flow that is responsible for the sustenance of MRI turbulence. Finally, we find that $\alpha$-$\text{Pm}$ scaling is sensitive to the box vertical-to-radial aspect ratio, as well as to the background shear.


title: Transient spin injection efficiencies at ferromagnet/metal interfaces

abstract: Spin injection across interfaces driven by ultrashort optical pulses on femtosecond timescales constitutes a new way to design spintronics applications. Targeted utilization of this phenomenon requires knowledge of the efficiency of non-equilibrium spin injection. From a quantitative comparison of ab-initio time-dependent density functional theory and interface-sensitive, time-resolved non-linear optical experiment, we determine the spin injection efficiencies (SIE) across ferromagnetic/metal interfaces and discuss their microscopic origin, i.e. the influence of spin-orbit coupling and the interface electronic structure. Moreover, we find that the SIE can be optimized through laser pulse and materials parameters, namely the fluence, pulse duration, and substrate material.


title: Wielding Intermittency with Cycle Expansions

abstract: As periodic orbit theory works badly on computing the observable averages of dynamical systems with intermittency, we propose a scheme to cooperate with cycle expansion and perturbation theory so that we can deal with intermittent systems and compute the averages more precisely. Periodic orbit theory assumes that the shortest unstable periodic orbits build the framework of the system and provides cycles expansion to compute dynamical quantities based on them, while the perturbation theory can locally analyze the structure of dynamical systems. The dynamical averages may be obtained more precisely by combining the two techniques together. Based on the integrability near the marginal orbits and the hyperbolicity in the part away from the singularities in intermittent systems, the chief idea of this paper is to revise intermittent maps and maintain the natural measure produced by the original maps. We get the natural measure near the singularity through the Taylor expansions and periodic orbit theory captures the natural measure in the other parts of the phase space. We try this method on 1-dimensional intermittent maps with single singularity, and more precise results are achieved.


title: Spatial properties of entangled two-photon absorption

abstract: We experimentally study entangled two-photon absorption in Rhodamine 6G as a function of the spatial properties of a high flux of broadband entangled photon pairs. We first demonstrate a key signature dependence of the entangled two-photon absorption rate on the type of entangled pair flux attenuation: linear, when the laser pump power is attenuated, and quadratic, when the pair flux itself experiences linear loss. We then perform a fluorescence-based Z-scan measurement to study the influence of beam waist size on the entangled two-photon absorption process and compare this to classical single- and two-photon absorption processes. We demonstrate that the entangled two-photon absorption shares a beam waist dependence similar to that of classical two-photon absorption. This result presents an additional argument for the wide range of contrasting values of quoted entangled two-photon absorption cross-sections of dyes in literature.


title: Benign Overfitting in Classification: Provably Counter Label Noise with Larger Models

abstract: Studies on benign overfitting provide insights for the success of overparameterized deep learning models. In this work, we examine whether overfitting is truly benign in real-world classification tasks. We start with the observation that a ResNet model overfits benignly on Cifar10 but not benignly on ImageNet. To understand why benign overfitting fails in the ImageNet experiment, we theoretically analyze benign overfitting under a more restrictive setup where the number of parameters is not significantly larger than the number of data points. Under this mild overparameterization setup, our analysis identifies a phase change: unlike in the previous heavy overparameterization settings, benign overfitting can now fail in the presence of label noise. Our analysis explains our empirical observations, and is validated by a set of control experiments with ResNets. Our work highlights the importance of understanding implicit bias in underfitting regimes as a future direction.


title: Fast generation of simple directed social network graphs with reciprocal edges and high clustering

abstract: Online social networks have emerged as useful tools to communicate or share information and news on a daily basis. One of the most popular networks is Twitter, where users connect to each other via directed follower relationships. Researchers have studied Twitter follower graphs and described them with various topological features. Collecting Twitter data, especially crawling the followers of users, is a tedious and time-consuming process and the data needs to be treated carefully due to its sensitive nature, containing personal user information. We therefore aim at the fast generation of synthetic directed social network graphs with reciprocal edges and high clustering. Our proposed method is based on a previously developed model, but relies on less hyperparameters and has a significantly lower runtime. Results show that the method does not only replicate the crawled directed Twitter graphs well w.r.t. several topological features and the application of an epidemics spreading process, but that it is also highly scalable which allows the fast creation of bigger graphs that exhibit similar properties as real-world networks.


title: Pencils of singular quadrics of constant rank and their orbits

abstract: We give a geometric description of singular pencils of quadrics of constant rank, relating them to the splitting type of some naturally associated vector bundles on $\mathbb{P}^1$. Then we study their orbits in the Grassmannian of lines, under the natural action of the general linear group.


title: helyOS: A customized off-the-shelf solution for autonomous driving applications in delimited areas

abstract: Microservice Architectures (MSA), known to successfully handle complex software systems, are emerging as the new paradigm for automotive software. The design of an MSA requires correct subdivision of the software system and implementation of the communication between components. These tasks demand both software expertise and domain knowledge. In this context, we developed an MSA framework pre-tailored to meet the requirements of autonomous driving applications in delimited areas - the helyOS framework. The framework decomposes complex applications in predefined microservice domains and provides a communication backbone for event messages and data. This paper demonstrates how such a tailored MSA framework can accelerate the development by prompting a quick start for the integration of motion planning algorithms, device controllers, vehicles simulators and web-browser interfaces.


title: On a Steklov spectrum in Electromagnetics

abstract: After presenting various concepts and results concerning the classical Steklov eigenproblem, we focus on analogous problems for time-harmonic Maxwell's equations in a cavity. In this direction, we discuss recent rigorous results concerning natural Steklov boundary value problems for the curlcurl operator. Moreover, we explicitly compute eigenvalues and eigenfunctions in the unit ball of the three-dimensional Euclidean space by using classical vector spherical harmonics.


title: Proximally Sensitive Error for Anomaly Detection and Feature Learning

abstract: Mean squared error (MSE) is one of the most widely used metrics to expression differences between multi-dimensional entities, including images. However, MSE is not locally sensitive as it does not take into account the spatial arrangement of the (pixel) differences, which matters for structured data types like images. Such spatial arrangements carry information about the source of the differences; therefore, an error function that also incorporates the location of errors can lead to a more meaningful distance measure. We introduce Proximally Sensitive Error (PSE), through which we suggest that a regional emphasis in the error measure can 'highlight' semantic differences between images over syntactic/random deviations. We demonstrate that this emphasis can be leveraged upon for the task of anomaly/occlusion detection. We further explore its utility as a loss function to help a model focus on learning representations of semantic objects instead of minimizing syntactic reconstruction noise.


title: Stable and high quality electron beams from staged laser and plasma wakefield accelerators

abstract: We present experimental results on a plasma wakefield accelerator (PWFA) driven by high-current electron beams from a laser wakefield accelerator (LWFA). In this staged setup stable and high quality (low divergence and low energy spread) electron beams are generated at an optically-generated hydrodynamic shock in the PWFA. The energy stability of the beams produced by that arrangement in the PWFA stage is comparable to both single-stage laser accelerators and plasma wakefield accelerators driven by conventional accelerators. Simulations support that the intrinsic insensitivity of PWFAs to driver energy fluctuations can be exploited to overcome stability limitations of state-of-the-art laser wakefield accelerators when adding a PWFA stage. Furthermore, we demonstrate the generation of electron bunches with energy spread and divergence superior to single-stage LW-FAs, resulting in bunches with dense phase space and an angular-spectral charge density beyond the initial drive beam parameters. These results unambiguously show that staged LWFA-PWFA can help to tailor the electron-beam quality for certain applications and to reduce the influence of fluctuating laser drivers on the electron-beam stability. This encourages further development of this new class of staged wakefield acceleration as a viable scheme towards compact, high-quality electron beam sources.


title: Convergence of Stein Variational Gradient Descent under a Weaker Smoothness Condition

abstract: Stein Variational Gradient Descent (SVGD) is an important alternative to the Langevin-type algorithms for sampling from probability distributions of the form $\pi(x) \propto \exp(-V(x))$. In the existing theory of Langevin-type algorithms and SVGD, the potential function $V$ is often assumed to be $L$-smooth. However, this restrictive condition excludes a large class of potential functions such as polynomials of degree greater than $2$. Our paper studies the convergence of the SVGD algorithm for distributions with $(L_0,L_1)$-smooth potentials. This relaxed smoothness assumption was introduced by Zhang et al. [2019a] for the analysis of gradient clipping algorithms. With the help of trajectory-independent auxiliary conditions, we provide a descent lemma establishing that the algorithm decreases the $\mathrm{KL}$ divergence at each iteration and prove a complexity bound for SVGD in the population limit in terms of the Stein Fisher information.


title: Religiosity and Innovation Attitudes: An Instrumental Variables Analysis

abstract: Estimating the influence of religion on innovation is challenging because of both complexness and endogeneity. In order to untangle these issues, we use several measures of religiosity, adopt an individual-level approach to innovation and employ the instrumental variables method. We analyse the effect of religiosity on individual attitudes that are either favourable or unfavourable to innovation, presenting an individual's propensity to innovate. We instrument one's religiosity with the average religiosity of people of the same sex, age range, and religious affiliation who live in countries with the same dominant religious denomination. The results strongly suggest that each measure of religiosity has a somewhat negative effect on innovation attitudes. The diagnostic test results and sensitivity analyses support the main findings. We propose three causality channels from religion to innovation: time allocation, the fear of uncertainty, and conventional roles reinforced by religion.


title: HIEN: Hierarchical Intention Embedding Network for Click-Through Rate Prediction

abstract: Click-through rate (CTR) prediction plays an important role in online advertising and recommendation systems, which aims at estimating the probability of a user clicking on a specific item. Feature interaction modeling and user interest modeling methods are two popular domains in CTR prediction, and they have been studied extensively in recent years. However, these methods still suffer from two limitations. First, traditional methods regard item attributes as ID features, while neglecting structure information and relation dependencies among attributes. Second, when mining user interests from user-item interactions, current models ignore user intents and item intents for different attributes, which lacks interpretability. Based on this observation, in this paper, we propose a novel approach Hierarchical Intention Embedding Network (HIEN), which considers dependencies of attributes based on bottom-up tree aggregation in the constructed attribute graph. HIEN also captures user intents for different item attributes as well as item intents based on our proposed hierarchical attention mechanism. Extensive experiments on both public and production datasets show that the proposed model significantly outperforms the state-of-the-art methods. In addition, HIEN can be applied as an input module to state-of-the-art CTR prediction methods, bringing further performance lift for these existing models that might already be intensively used in real systems.


title: Differentially Private Shapley Values for Data Evaluation

abstract: The Shapley value has been proposed as a solution to many applications in machine learning, including for equitable valuation of data. Shapley values are computationally expensive and involve the entire dataset. The query for a point's Shapley value can also compromise the statistical privacy of other data points. We observe that in machine learning problems such as empirical risk minimization, and in many learning algorithms (such as those with uniform stability), a diminishing returns property holds, where marginal benefit per data point decreases rapidly with data sample size. Based on this property, we propose a new stratified approximation method called the Layered Shapley Algorithm. We prove that this method operates on small (O(\polylog(n))) random samples of data and small sized ($O(\log n)$) coalitions to achieve the results with guaranteed probabilistic accuracy, and can be modified to incorporate differential privacy. Experimental results show that the algorithm correctly identifies high-value data points that improve validation accuracy, and that the differentially private evaluations preserve approximate ranking of data.


title: Neural Network Verification with Proof Production

abstract: Deep neural networks (DNNs) are increasingly being employed in safety-critical systems, and there is an urgent need to guarantee their correctness. Consequently, the verification community has devised multiple techniques and tools for verifying DNNs. When DNN verifiers discover an input that triggers an error, that is easy to confirm; but when they report that no error exists, there is no way to ensure that the verification tool itself is not flawed. As multiple errors have already been observed in DNN verification tools, this calls the applicability of DNN verification into question. In this work, we present a novel mechanism for enhancing Simplex-based DNN verifiers with proof production capabilities: the generation of an easy-to-check witness of unsatisfiability, which attests to the absence of errors. Our proof production is based on an efficient adaptation of the well-known Farkas' lemma, combined with mechanisms for handling piecewise-linear functions and numerical precision errors. As a proof of concept, we implemented our technique on top of the Marabou DNN verifier. Our evaluation on a safety-critical system for airborne collision avoidance shows that proof production succeeds in almost all cases and requires only minimal overhead.


title: The robust way to stack and bag: the local Lipschitz way

abstract: Recent research has established that the local Lipschitz constant of a neural network directly influences its adversarial robustness. We exploit this relationship to construct an ensemble of neural networks which not only improves the accuracy, but also provides increased adversarial robustness. The local Lipschitz constants for two different ensemble methods - bagging and stacking - are derived and the architectures best suited for ensuring adversarial robustness are deduced. The proposed ensemble architectures are tested on MNIST and CIFAR-10 datasets in the presence of white-box attacks, FGSM and PGD. The proposed architecture is found to be more robust than a) a single network and b) traditional ensemble methods.


title: The volume of random simplices from elliptical distributions in high dimension

abstract: Random simplices and more general random convex bodies of dimension $p$ in $\mathbb{R}^n$ with $p\leq n$ are considered, which are generated by random vectors having an elliptical distribution. In the high-dimensional regime, that is, if $p\to\infty$ and $n\to\infty$ in such a way that $p/n\to\gamma\in(0,1)$, a central and a stable limit theorem for the logarithmic volume of random simplices and random convex bodies is shown. The result follows from a related central limit theorem for the log-determinant of $p\times n$ random matrices whose rows are copies of a random vector with an elliptical distribution, which is established as well.


title: Landslide4Sense: Reference Benchmark Data and Deep Learning Models for Landslide Detection

abstract: This study introduces \textit{Landslide4Sense}, a reference benchmark for landslide detection from remote sensing. The repository features 3,799 image patches fusing optical layers from Sentinel-2 sensors with the digital elevation model and slope layer derived from ALOS PALSAR. The added topographical information facilitates the accurate detection of landslide borders, which recent researches have shown to be challenging using optical data alone. The extensive data set supports deep learning (DL) studies in landslide detection and the development and validation of methods for the systematic update of landslide inventories. The benchmark data set has been collected at four different times and geographical locations: Iburi (September 2018), Kodagu (August 2018), Gorkha (April 2015), and Taiwan (August 2009). Each image pixel is labelled as belonging to a landslide or not, incorporating various sources and thorough manual annotation. We then evaluate the landslide detection performance of 11 state-of-the-art DL segmentation models: U-Net, ResU-Net, PSPNet, ContextNet, DeepLab-v2, DeepLab-v3+, FCN-8s, LinkNet, FRRN-A, FRRN-B, and SQNet. All models were trained from scratch on patches from one quarter of each study area and tested on independent patches from the other three quarters. Our experiments demonstrate that ResU-Net outperformed the other models for the landslide detection task. We make the multi-source landslide benchmark data (Landslide4Sense) and the tested DL models publicly available at \url{https://www.iarai.ac.at/landslide4sense}, establishing an important resource for remote sensing, computer vision, and machine learning communities in studies of image classification in general and applications to landslide detection in particular.


title: Feature Selection for Discovering Distributional Treatment Effect Modifiers

abstract: Finding the features relevant to the difference in treatment effects is essential to unveil the underlying causal mechanisms. Existing methods seek such features by measuring how greatly the feature attributes affect the degree of the {\it conditional average treatment effect} (CATE). However, these methods may overlook important features because CATE, a measure of the average treatment effect, cannot detect differences in distribution parameters other than the mean (e.g., variance). To resolve this weakness of existing methods, we propose a feature selection framework for discovering {\it distributional treatment effect modifiers}. We first formulate a feature importance measure that quantifies how strongly the feature attributes influence the discrepancy between potential outcome distributions. Then we derive its computationally efficient estimator and develop a feature selection algorithm that can control the type I error rate to the desired level. Experimental results show that our framework successfully discovers important features and outperforms the existing mean-based method.


title: One Positive Label is Sufficient: Single-Positive Multi-Label Learning with Label Enhancement

abstract: Multi-label learning (MLL) learns from the examples each associated with multiple labels simultaneously, where the high cost of annotating all relevant labels for each training example is challenging for real-world applications. To cope with the challenge, we investigate single-positive multi-label learning (SPMLL) where each example is annotated with only one relevant label, and show that one can successfully learn a theoretically grounded multi-label classifier for the problem. In this paper, a novel SPMLL method named SMILE, i.e., Single-positive MultI-label learning with Label Enhancement, is proposed. Specifically, an unbiased risk estimator is derived, which could be guaranteed to approximately converge to the optimal risk minimizer of fully supervised learning and shows that one positive label of each instance is sufficient to train the predictive model. Then, the corresponding empirical risk estimator is established via recovering the latent soft label as a label enhancement process, where the posterior density of the latent soft labels is approximate to the variational Beta density parameterized by an inference model. Experiments on benchmark datasets validate the effectiveness of the proposed method.


title: Efficient Scheduling of Data Augmentation for Deep Reinforcement Learning

abstract: In deep reinforcement learning (RL), data augmentation is widely considered as a tool to induce a set of useful priors about semantic consistency and improve sample efficiency and generalization performance. However, even when the prior is useful for generalization, distilling it to RL agent often interferes with RL training and degenerates sample efficiency. Meanwhile, the agent is forgetful of the prior due to the non-stationary nature of RL. These observations suggest two extreme schedules of distillation: (i) over the entire training; or (ii) only at the end. Hence, we devise a stand-alone network distillation method to inject the consistency prior at any time (even after RL), and a simple yet efficient framework to automatically schedule the distillation. Specifically, the proposed framework first focuses on mastering train environments regardless of generalization by adaptively deciding which {\it or no} augmentation to be used for the training. After this, we add the distillation to extract the remaining benefits for generalization from all the augmentations, which requires no additional new samples. In our experiments, we demonstrate the utility of the proposed framework, in particular, that considers postponing the augmentation to the end of RL training.


title: QCD preheating: New frontier of baryogenesis

abstract: We find that QCD can create the cosmological matter abundance via out-of-equilibrium processes during the QCD phase transition, that is what we call the QCD preheating, where the dynamic transition of the QCD vacuum characterized by the quark condensate takes place instantaneously. This mechanism works when the Universe undergoes subsequent supercooled QCD transition. We also find that the QCD preheating can work to create the baryon asymmetry of the Universe if there is the new physics communicated with QCD. These are new pictures of the thermal history around the QCD-phase transition epoch, and thus the dynamic aspect of the QCD vacuum opens a new frontier to explore low-scale matter generation such as baryogenesis. Pursuing the QCD reheating era would also help deeply understanding the subatomic-scale physics in the thermal history of the Universe.


title: Deep Learning Opacity in Scientific Discovery

abstract: Philosophers have recently focused on critical, epistemological challenges that arise from the opacity of deep neural networks. One might conclude from this literature that doing good science with opaque models is exceptionally challenging, if not impossible. Yet, this is hard to square with the recent boom in optimism for AI in science alongside a flood of recent scientific breakthroughs driven by AI methods. In this paper, I argue that the disconnect between philosophical pessimism and scientific optimism is driven by a failure to examine how AI is actually used in science. I show that, in order to understand the epistemic justification for AI-powered breakthroughs, philosophers must examine the role played by deep learning as part of a wider process of discovery. The philosophical distinction between the 'context of discovery' and the 'context of justification' is helpful in this regard. I demonstrate the importance of attending to this distinction with two cases drawn from the scientific literature, and show that epistemic opacity need not diminish AI's capacity to lead scientists to significant and justifiable breakthroughs.


title: Circular designs for total effects under interference models

abstract: This paper studies circular designs for interference models, where a treatment assigned to a plot also affects its neighboring plots within a block. For the purpose of estimating total effects, the circular neighbor balanced design was shown to be universally optimal among designs which do not allow treatments to be neighbors of themselves. Our study shows that self-neighboring block sequences are actually the main ingredient for an optimal design. Here, we adopt the approximate design framework and study optimal designs in the whole design space. Our approach is flexible enough to accommodate all possible design parameters, that is the block size and the number of blocks and treatments. This approach can be broken down into two main steps: the identification of the minimal supporting set of block sequences and the optimality condition built on it. The former is critical for reducing the computational time from almost infinity to seconds. Meanwhile, the task of finding the minimal set is normally achieved through numerical methods, which can only handle small block sizes. Our approach is of a hybrid nature in order to deal with all design sizes. When block size is not large, we provide explicit expressions of the minimal set instead of relying on numerical methods. For larger block sizes when a typical numerical method would fail, we theoretically derived a reasonable size intermediate set of sequences, from which the minimal set can be quickly derived through a customized algorithm. Taking it further, the optimality conditions allow us to obtain both symmetric and asymmetric designs. Lastly, we also investigate the trade-off issue between circular and noncircular designs, and provide guidelines on the choices.


title: Magnetic octupole tensor decomposition and second-order magnetoelectric effect

abstract: We discuss the second-order magnetoelectric effect, in which a quadratic or bilinear electric field induces a linear magnetization, in terms of the ferroic ordering of magnetic octupoles. We present the decomposition of a general rank-3 tensor into its irreducible spherical tensors, then reduce the decomposition to the specific case of the magnetic octupole tensor, $\mathcal{M}_{ijk} = \int \mu_i (\mathbf{r}) r_j r_k d^3 \mathbf{r}$. We use first-principles density functional theory to compute the size of the local magnetic multipoles on the chromium ions in the prototypical magnetoelectric Cr$_2$O$_3$, and show that, in addition to the well established local magnetic dipoles and magnetoelectric multipoles, the magnetic octupoles are non-zero. The magnetic octupoles in Cr$_2$O$_3$ have an anti-ferroic arrangement, so their net second-order magnetoelectric response is zero. Therefore they form a kind of hidden order, which could be revealed as a linear magnetic (antiferromagnetic) response to a non-zone-center (uniform) quadratic electric field.


title: Frequency Response Analysis for Reset Control Systems: Application to Predict Precision of Motion Systems

abstract: The frequency response analysis describes the steady-state responses of a system to sinusoidal inputs at different frequencies, providing control engineers with an effective tool for designing control systems in the frequency domain. However, conducting this analysis for closed-loop reset systems is challenging due to system nonlinearity. This paper addresses this challenge through two key contributions. First, it introduces novel analysis methods for both open-loop and closed-loop reset control systems at steady states. These methods decompose the frequency responses of reset systems into base-linear and nonlinear components. Second, building upon this analysis, the paper develops closed-loop higher-order sinusoidal-input describing functions for reset control systems at steady states. These functions facilitate the analysis of frequency-domain properties, establish a connection between open-loop and closed-loop analysis, and enable the prediction of time-domain performance for reset systems. The accuracy and effectiveness of the proposed methods are successfully validated through simulations and experiments conducted on a reset Proportional-Integral-Derivative (PID) controlled precision motion system.


title: Vietnamese Hate and Offensive Detection using PhoBERT-CNN and Social Media Streaming Data

abstract: Society needs to develop a system to detect hate and offense to build a healthy and safe environment. However, current research in this field still faces four major shortcomings, including deficient pre-processing techniques, indifference to data imbalance issues, modest performance models, and lacking practical applications. This paper focused on developing an intelligent system capable of addressing these shortcomings. Firstly, we proposed an efficient pre-processing technique to clean comments collected from Vietnamese social media. Secondly, a novel hate speech detection (HSD) model, which is the combination of a pre-trained PhoBERT model and a Text-CNN model, was proposed for solving tasks in Vietnamese. Thirdly, EDA techniques are applied to deal with imbalanced data to improve the performance of classification models. Besides, various experiments were conducted as baselines to compare and investigate the proposed model's performance against state-of-the-art methods. The experiment results show that the proposed PhoBERT-CNN model outperforms SOTA methods and achieves an F1-score of 67,46% and 98,45% on two benchmark datasets, ViHSD and HSD-VLSP, respectively. Finally, we also built a streaming HSD application to demonstrate the practicality of our proposed system.


title: Joint Active and Passive Beamforming Design for Reconfigurable Intelligent Surface Enabled Integrated Sensing and Communication

abstract: To exploit the potential of the RIS in supporting ISAC, this paper proposes a novel joint active and passive beamforming design for RIS-enabled ISAC system in consideration of the target size. First, the detection probability for target sensing is derived in closed-form based on the illumination power on an approximated scattering surface area of the target, and a new concept of ultimate detection resolution (UDR) is defined for the first time to measure the target detection capability. Then, an optimization problem is formulated to maximize the SNR at the UE under a minimum detection probability constraint. To solve the non-convex problem, a novel alternative optimization approach is developed. In this approach, the solutions of the communication and sensing beamformers are obtained by our proposed bisection-search based method. The optimal receive combining vector is derived from an equivalent Rayleigh-quotient problem. To optimize the RIS phase shifts, the Charnes-Cooper transformation is conducted to cope with the fractional objective, and a novel convexification process is proposed to convexify the detection probability constraint with matrix operations and a real-valued first-order Taylor expansion. After the convexification, a successive convex approximation (SCA) based algorithm is designed to yield a suboptimal phase-shift solution. Finally, the overall optimization algorithm is built, followed by detailed analysis on its computational complexity, convergence behavior and problem feasibility condition. Extensive simulations are carried out to testify the analytical properties of the proposed beamforming design, and to reveal two important trade-offs, namely, communication vs. sensing trade-off and UDR vs. sensing-duration trade-off. In comparison with several existing benchmarks, our proposed approach is validated to be superior when detecting targets with practical sizes.


title: Minimum-Cost Flows Over Time

abstract: In this paper we show that every maximum minimum-cost flow over time problem has an optimal solution with a repeated structure if the given time horizon is large enough.


title: Amodal Cityscapes: A New Dataset, its Generation, and an Amodal Semantic Segmentation Challenge Baseline

abstract: Amodal perception terms the ability of humans to imagine the entire shapes of occluded objects. This gives humans an advantage to keep track of everything that is going on, especially in crowded situations. Typical perception functions, however, lack amodal perception abilities and are therefore at a disadvantage in situations with occlusions. Complex urban driving scenarios often experience many different types of occlusions and, therefore, amodal perception for automated vehicles is an important task to investigate. In this paper, we consider the task of amodal semantic segmentation and propose a generic way to generate datasets to train amodal semantic segmentation methods. We use this approach to generate an amodal Cityscapes dataset. Moreover, we propose and evaluate a method as baseline on Amodal Cityscapes, showing its applicability for amodal semantic segmentation in automotive environment perception. We provide the means to re-generate this dataset on github.


title: Collaborative Bimanual Manipulation Using Optimal Motion Adaptation and Interaction Control

abstract: This work developed collaborative bimanual manipulation for reliable and safe human-robot collaboration, which allows remote and local human operators to work interactively for bimanual tasks. We proposed an optimal motion adaptation to retarget arbitrary commands from multiple human operators into feasible control references. The collaborative manipulation framework has three main modules: (1) contact force modulation for compliant physical interactions with objects via admittance control; (2) task-space sequential equilibrium and inverse kinematics optimization, which adapts interactive commands from multiple operators to feasible motions by satisfying the task constraints and physical limits of the robots; and (3) an interaction controller adopted from the fractal impedance control, which is robust to time delay and stable to superimpose multiple control efforts for generating desired joint torques and controlling the dual-arm robots. Extensive experiments demonstrated the capability of the collaborative bimanual framework, including (1) dual-arm teleoperation that adapts arbitrary infeasible commands that violate joint torque limits into continuous operations within safe boundaries, compared to failures without the proposed optimization; (2) robust maneuver of a stack of objects via physical interactions in presence of model inaccuracy; (3) collaborative multi-operator part assembly, and teleoperated industrial connector insertion, which validate the guaranteed stability of reliable human-robot co-manipulation.


title: Variance Reduction is an Antidote to Byzantines: Better Rates, Weaker Assumptions and Communication Compression as a Cherry on the Top

abstract: Byzantine-robustness has been gaining a lot of attention due to the growth of the interest in collaborative and federated learning. However, many fruitful directions, such as the usage of variance reduction for achieving robustness and communication compression for reducing communication costs, remain weakly explored in the field. This work addresses this gap and proposes Byz-VR-MARINA - a new Byzantine-tolerant method with variance reduction and compression. A key message of our paper is that variance reduction is key to fighting Byzantine workers more effectively. At the same time, communication compression is a bonus that makes the process more communication efficient. We derive theoretical convergence guarantees for Byz-VR-MARINA outperforming previous state-of-the-art for general non-convex and Polyak-Lojasiewicz loss functions. Unlike the concurrent Byzantine-robust methods with variance reduction and/or compression, our complexity results are tight and do not rely on restrictive assumptions such as boundedness of the gradients or limited compression. Moreover, we provide the first analysis of a Byzantine-tolerant method supporting non-uniform sampling of stochastic gradients. Numerical experiments corroborate our theoretical findings.


title: Hecke's Theorem on the Different for $3$-Manifolds

abstract: Hecke has shown that the different of an extension of number fields is a square in the class group. We prove an analog for branched covers of closed $3$-manifolds saying that the branch divisor is a square in the first homology group.


title: Analysis of the Evolution of a Multi-Ribbon Flare and Failed Filament Eruption

abstract: How filaments form and erupt are topics about which solar researchers have wondered since more than a century and that are still open to debate. We present observations of a filament formation, its failed eruption, and the associated flare (SOL2019-05-09T05:51) that occurred in active region (AR) 12740 using data from SDO, STEREO-A, IRIS, and NSO/GONG. AR 12740 was a decaying region formed by a very disperse following polarity and a strong leading spot, surrounded by a highly dynamic zone where moving magnetic features (MMFs) were seen constantly diverging from the spot. Our analysis indicates that the filament was formed by the convergence of fibrils at a location where magnetic flux cancellation was observed. Furthermore, we conclude that its destabilization was also related to flux cancellation associated to the constant shuffling of the MMFs. A two-ribbon flare occurred associated to the filament eruption; however, because the large-scale magnetic configuration of the AR was quadrupolar, two additional flare ribbons developed far from the two main ones. We model the magnetic configuration of the AR using a force-free field approach at the AR scale size. This local model is complemented by a global potential-field source-surface one. Based on the local model, we propose a scenario in which the filament failed eruption and flare are due to two reconnection processes, one occurring below the erupting filament, leading to the two-ribbon flare, and another one above it between the filament flux-rope configuration and the large-scale closed loops. Our computation of the reconnected magnetic flux added to the erupting flux rope, compared to that of the large-scale field overlying it, lets us conclude that the latter was large enough to prevent the filament eruption. A similar conjecture can be drawn from the computation of the magnetic tension derived from the global field model.


title: MAI-SIM: interferometric multicolor structured illumination microscopy for everybody

abstract: Sub-diffraction resolution, gentle sample illumination, and the possibility to image in multiple colors make Structured Illumination Microscopy (SIM) an imaging technique which is particularly well suited for live cell observations. Here, we present Machine learning Assisted Interferometric-SIM (MAI-SIM), an easy-to-implement method for high speed SIM imaging in multiple colors. The instrument is based on an interferometer design in which illumination patterns are generated, rotated, and stepped in phase through movement of a single galvanometric mirror element. The design is robust, flexible, and the pattern generation process works for all wavelengths. We complement the unique properties of interferometric SIM with a machine learning toolbox that is simple and efficient to use and is superior to existing methods for the reconstruction of super-resolved images recorded by the instrument. The framework permits real-time SIM reconstructions to be performed in multiple colors, providing the user with instant visualization of the super-resolved images. We demonstrate the capability of MAI-SIM on live biological samples and capture super-resolution images in multiple colors simultaneously over large fields of view. Finally, we embrace a fully open design philosophy to bring the advantages of MAI-SIM to as many users as possible and provide full details on system design and software.


title: When happy accidents spark creativity: Bringing collaborative speculation to life with generative AI

abstract: Generative AI techniques like those that synthesize images from text (text-to-image models) offer new possibilities for creatively imagining new ideas. We investigate the capabilities of these models to help communities engage in conversations about their collective future. In particular, we design and deploy a facilitated experience where participants collaboratively speculate on utopias they want to see, and then produce AI-generated imagery from those speculations. In a series of in-depth user interviews, we invite participants to reflect on the generated images and refine their visions for the future. We synthesize findings with a bespoke community zine on the experience. We observe that participants often generated ideas for implementing their vision and drew new lateral considerations as a result of viewing the generated images. Critically, we find that the unexpected difference between the participant's imagined output and the generated image is what facilitated new insight for the participant. We hope our experimental model for co-creation, computational creativity, and community reflection inspires the use of generative models to help communities and organizations envision better futures.


title: Long-lived qubit entanglement by surface plasmon polaritons in a Weyl semimetal

abstract: We investigate spontaneous entanglement of two qubits mediated by nonreciprocal surface plasmon polaritons (SPPs) in a Weyl semimetal. In the absence of external magnetic fields, the topology of the Weyl semimetal even gives rise to nonreciprocal SPPs that are topologically protected and reside inside the photonic gap. We utilize this nonreciprocal SPP as a mediator of entanglement of two spatially-separated qubits. Our two main findings are: (1) the nonreciprocal SPP gives better quantum entanglement than the reciprocal one, and (2) the achieved entanglement is sufficiently long-lived compared to the entanglement using SPPs in conventional metals.


title: Deepfake Caricatures: Amplifying attention to artifacts increases deepfake detection by humans and machines

abstract: Deepfakes pose a serious threat to digital well-being by fueling misinformation. As deepfakes get harder to recognize with the naked eye, human users become increasingly reliant on deepfake detection models to decide if a video is real or fake. Currently, models yield a prediction for a video's authenticity, but do not integrate a method for alerting a human user. We introduce a framework for amplifying artifacts in deepfake videos to make them more detectable by people. We propose a novel, semi-supervised Artifact Attention module, which is trained on human responses to create attention maps that highlight video artifacts. These maps make two contributions. First, they improve the performance of our deepfake detection classifier. Second, they allow us to generate novel "Deepfake Caricatures": transformations of the deepfake that exacerbate artifacts to improve human detection. In a user study, we demonstrate that Caricatures greatly increase human detection, across video presentation times and user engagement levels. Overall, we demonstrate the success of a human-centered approach to designing deepfake mitigation methods.


title: Impact of loss function in Deep Learning methods for accurate retinal vessel segmentation

abstract: The retinal vessel network studied through fundus images contributes to the diagnosis of multiple diseases not only found in the eye. The segmentation of this system may help the specialized task of analyzing these images by assisting in the quantification of morphological characteristics. Due to its relevance, several Deep Learning-based architectures have been tested for tackling this problem automatically. However, the impact of loss function selection on the segmentation of the intricate retinal blood vessel system hasn't been systematically evaluated. In this work, we present the comparison of the loss functions Binary Cross Entropy, Dice, Tversky, and Combo loss using the deep learning architectures (i.e. U-Net, Attention U-Net, and Nested UNet) with the DRIVE dataset. Their performance is assessed using four metrics: the AUC, the mean squared error, the dice score, and the Hausdorff distance. The models were trained with the same number of parameters and epochs. Using dice score and AUC, the best combination was SA-UNet with Combo loss, which had an average of 0.9442 and 0.809 respectively. The best average of Hausdorff distance and mean square error were obtained using the Nested U-Net with the Dice loss function, which had an average of 6.32 and 0.0241 respectively. The results showed that there is a significant difference in the selection of loss function


title: Averaging of random variables and fields

abstract: We will prove that by averaging of random variables (r.v.) and random fields (r.f.) its tails of distributions do not increase in comparison with the tails of source variables, essentially or almost exact, under very weak conditions.


title: Dynamical Abelianization and anomalies in chiral gauge theories

abstract: We explore the idea that in some class of strongly-coupled chiral $SU(N)$ gauge theories the infrared dynamics might be characterized by a bifermion condensate in the adjoint representation of the color gauge group. As an illustration, in this work we revisit an $SU(N)$ chiral gauge theory with Weyl fermions in a symmetric ($\psi$) and anti-antisymmetric ($\chi$) tensor representations, together with eight fermions in the anti-fundamental representations ($\eta$), which we called $\psi\chi\eta$ model in the previous investigations. We study the infrared dynamics of this system more carefully, by assuming dynamical Abelianization, a phenomenon familiar from ${\cal N}=2$ supersymmetric gauge theories, and by analyzing the way various continuous and discrete symmetries are realized at low energies. We submit then these ideas to a more stringent test, by taking into account some higher-form symmetries and the consequent mixed anomalies. A detailed analysis of the mixed anomalies involving certain $0$-form $U(1)$ symmetries and the color-flavor locked $1$-form $Z_N$ symmetry in the $\psi\chi\eta$ system shows that the proposed infrared dynamics is consistent with it.


title: Privacy-Preserving Epidemiological Modeling on Mobile Graphs

abstract: Over the last two years, governments all over the world have used a variety of containment measures to control the spread of COVID-19, such as contact tracing, social distance regulations, and curfews. Epidemiological simulations are commonly used to assess the impact of those policies before they are implemented in actuality. Unfortunately, their predictive accuracy is hampered by the scarcity of relevant empirical data, concretely detailed social contact graphs. As this data is inherently privacy-critical, there is an urgent need for a method to perform powerful epidemiological simulations on real-world contact graphs without disclosing sensitive information. In this work, we present RIPPLE, a privacy-preserving epidemiological modeling framework that enables the execution of a wide range of standard epidemiological models for any infectious disease on a population's most recent real contact graph while keeping all contact information private locally on the participants' devices. In this regard, we also present PIR-SUM, a novel extension to private information retrieval that allows users to securely download the sum of a set of elements from a database rather than individual elements. Our theoretical constructs are supported by a proof-of-concept implementation in which we show that a 2-week simulation over a population of half a million can be finished in 7 minutes with each participant consuming less than 50 KB of data.


title: Piezo- and pyroelectricity in Zirconia: a study with machine learned force fields

abstract: The discovery of very large piezo- and pyroelectric effects in ZrO2 and HfO2-based thin films opens up new opportunities to develop silicon-compatible sensor and actor devices. The effects are amplified close to the polar-orthorhombic to tetragonal phase transition temperature. Molecular dynamics is the preferred technique to simulate such effects, though its application has to solve the dilemma between sufficient accuracy and sufficient efficiency of the interatomic force field. Here we present a deep neural network-based interatomic force field of ZrO2 learned from ab initio data using a systematic learning procedure in the Deep Potential framework. The model potential is verified to predict a variety of structural and dynamic properties with an accuracy comparable to density functional theory calculations. Then the Deep Potential model is used to reproduce the different thermal expansion and piezo and pyroelectric phenomena in ZrO2 with molecular dynamics calculations. At low temperature simulating the direct effect we find negative values for the piezo-and pyroelectric coefficients matching the ab initio calculations. Approaching the phase transition temperature these values remain negative and become large. Simulating the field induced effect above the phase transition temperature we find positive, giant piezo-electric coefficients matching the observations. The model is able to explain the large values and the sign of the experimental observations in relation to the polar-orthorhombic to tetragonal phase transition. The model furthermore explains the recently observed giant dielectric constant in a similiar system.


title: On Parking Functions and The Tower of Hanoi

abstract: The displacement of a parking function measures the total difference between where cars want to park and where they ultimately park. In this article, we prove that the set of parking functions of length $n$ with displacement one is in bijection with the set of ideal states in the famous Tower of Hanoi game with $n+1$ disks and $n+1$ pegs, both sets being enumerated by the Lah numbers.


title: Multi-Contact Motion Retargeting using Whole-body Optimization of Full Kinematics and Sequential Force Equilibrium

abstract: This paper presents a multi-contact motion adaptation framework that enables teleoperation of high degree-of-freedom (DoF) robots, such as quadrupeds and humanoids, for loco-manipulation tasks in multi-contact settings. Our proposed algorithms optimize whole-body configurations and formulate the retargeting of multi-contact motions as sequential quadratic programming, which is robust and stable near the edges of feasibility constraints. Our framework allows real-time operation of the robot and reduces cognitive load for the operator because infeasible commands are automatically adapted into physically stable and viable motions on the robot. The results in simulations with full dynamics demonstrated the effectiveness of teleoperating different legged robots interactively and generating rich multi-contact movements. We evaluated the computational efficiency of the proposed algorithms, and further validated and analyzed multi-contact loco-manipulation tasks on humanoid and quadruped robots by reaching, active pushing and various traversal on uneven terrains.


title: Vorticity convergence from Boltzmann to 2D incompressible Euler equations below Yudovich class

abstract: It is challenging to perform a multiscale analysis of mesoscopic systems exhibiting singularities at the macroscopic scale. In this paper, we study the hydrodynamic limit of the Boltzmann equations $$\mathrm{St} \partial_t F + v\cdot \nabla_x F = \frac{1}{\mathrm{Kn}} Q(F ,F ) $$ toward the singular solutions of 2D incompressible Euler equations whose vorticity is unbounded $$\partial_t u + u \cdot \nabla_x u + \nabla_x p = 0,\text{div }u =0.$$ We obtain a microscopic description of the singularity through the so-called kinetic vorticity and understand its behavior in the vicinity of the macroscopic singularity. As a consequence of our new analysis, we settle affirmatively an open problem of the hydrodynamic limit toward Lagrangian solutions of the 2D incompressible Euler equation whose vorticity is unbounded ($\omega \in L^\mathfrak{p}$ for any fixed $1 \leq \mathfrak{p} < \infty$). Moreover, we prove the convergence of kinetic vorticities toward the vorticity of the Lagrangian solution of the Euler equation. In particular, we obtain the rate of convergence when the vorticity blows up moderately in $L^\mathfrak{p}$ as $\mathfrak{p} \rightarrow \infty$ (localized Yudovich class).


title: Backend compiler phases for trapped-ion quantum computers

abstract: A promising architecture for scaling up quantum computers based on trapped ions are so called Quantum Charged-Coupled Devices (QCCD). These consist of multiple ion traps, each designed for solving specific tasks, that are connected by transport links. In this paper we present the backend compiler phases needed for running quantum circuits on a QCCD architecture, while providing strategies to solve the optimization problems that occur when generating assembly instructions. We implement and test these strategies for the QVLS-Q1 chip architecture.


title: Grassmann higher-order tensor renormalization group approach for two-dimensional strong-coupling QCD

abstract: We present a tensor-network approach for two-dimensional strong-coupling QCD with staggered quarks at nonzero chemical potential. After integrating out the gauge fields at infinite coupling, the partition function can be written as a full contraction of a tensor network consisting of coupled local numeric and Grassmann tensors. To evaluate the partition function and to compute observables, we develop a Grassmann higher-order tensor renormalization group method, specifically tailored for this model. During the coarsening procedure, the blocking of adjacent Grassmann tensors is performed analytically, and the total number of Grassmann variables in the tensor network is reduced by a factor of two at each coarsening step. The coarse-site numeric tensors are truncated using higher-order singular value decompositions. The method is validated by comparing the partition function, the chiral condensate and the baryon density computed with the tensor method with exact analytical results on small lattices up to volumes of $4\times4$. For larger volumes, we present first tensor results for the chiral condensate as a function of the mass and volume, and observe that the chiral symmetry is not broken dynamically in two dimensions. We also present tensor results for the number density as a function of the chemical potential, which hint at a first-order phase transition.


title: Experimental demonstration of topological bounds in quantum metrology

abstract: Quantum metrology is deeply connected to quantum geometry, through the fundamental notion of quantum Fisher information. Inspired by advances in topological matter, it was recently suggested that the Berry curvature and Chern numbers of band structures can dictate strict lower bounds on metrological properties, hence establishing a strong connection between topology and quantum metrology. In this work, we provide a first experimental verification of such topological bounds, by performing optimal quantum multi-parameter estimation and achieving the best possible measurement precision. By emulating the band structure of a Chern insulator, we experimentally determine the metrological potential across a topological phase transition, and demonstrate strong enhancement in the topologically non-trivial regime. Our work opens the door to metrological applications empowered by topology, with potential implications for quantum many-body systems.


title: Schwinger boson theory of the J1,J2=J3 kagome antiferromagnet

abstract: We study the kagome antiferromagnet for quantum spin-1/2 with first J1, second J2 and third J3 neighbour exchanges, along the J2 = J3 = J line. We use Schwinger-boson mean-field theory for the precise determination of the phase diagram, and two different rewritings of the Hamiltonian to build an intuition about the origin of the transitions. The spin liquid obtained at J = 0 remains essentially stable over a large window, up to J = 1/3, because it is only weakly frustrated by the J term. Then at J = 1/2, the intermediate Z2 spin liquid condenses into a long-range chiral order because of the change of nature of local magnetic fluctuations. As a side benefit, our Hamiltonian rewriting offers an exact solution for the ground state of our model on a Husimi cactus.


title: Ribbons in Garside monoids

abstract: We expound the properties of ribbons in a setting which is general enough to encompass spherical Artin monoids and dual braid monoids of well-generated complex reflection groups. We generalize to our setting results on parabolic subgroups of spherical Artin group of Godelle, Cumplido, and others.


title: Multilinear transference of Fourier and Schur multipliers acting on non-commutative $L_p$-spaces

abstract: Let $G$ be a locally compact unimodular group, and let $\phi$ be some function of $n$ variables on $G$. To such a $\phi$, one can associate a multilinear Fourier multiplier, which acts on some $n$-fold product of the non-commutative $L_p$-spaces of the group von Neumann algebra. One may also define an associated Schur multiplier, which acts on an $n$-fold product of Schatten classes $S_p(L_2(G))$. We generalize well-known transference results from the linear case to the multilinear case. In particular, we show that the so-called `multiplicatively bounded $(p_1,\ldots,p_n)$-norm' of a multilinear Schur multiplier is bounded above by the corresponding multiplicatively bounded norm of the Fourier multiplier, with equality whenever the group is amenable. Further, we prove that the bilinear Hilbert transform is not bounded as a vector valued map $L_{p_1}(\mathbb{R}, S_{p_1}) \times L_{p_2}(\mathbb{R}, S_{p_2}) \rightarrow L_{1}(\mathbb{R}, S_{1})$, whenever $p_1$ and $p_2$ are such that $\frac{1}{p_1} + \frac{1}{p_2} = 1$. A similar result holds for certain Calder\'on-Zygmund type operators. This is in contrast to the non-vector valued Euclidean case.


title: A Normal Form for Matrix Multiplication Schemes

abstract: Schemes for exact multiplication of small matrices have a large symmetry group. This group defines an equivalence relation on the set of multiplication schemes. There are algorithms to decide whether two schemes are equivalent. However, for a large number of schemes a pairwise equivalence check becomes cumbersome. In this paper we propose an algorithm to compute a normal form of matrix multiplication schemes. This allows us to decide pairwise equivalence of a larger number of schemes efficiently.


title: A perspective on the current state-of-the-art of quantum computing for drug discovery applications

abstract: Computational chemistry is an essential tool in the pharmaceutical industry. Quantum computing is a fast evolving technology that promises to completely shift the computational capabilities in many areas of chemical research by bringing into reach currently impossible calculations. This perspective illustrates the near-future applicability of quantum computation to pharmaceutical problems. We briefly summarize and compare the scaling properties of state-of-the-art quantum algorithms, and provide novel estimates of the quantum computational cost of simulating progressively larger embedding regions of a pharmaceutically relevant covalent protein-drug complex involving the drug Ibrutinib. Carrying out these calculations requires an error-corrected quantum architecture, that we describe. Our estimates showcase that recent developments on quantum algorithms have dramatically reduced the quantum resources needed to run fully quantum calculations in active spaces of around 50 orbitals and electrons, from estimated over 1000 years using the Trotterisation approach to just a few days with sparse qubitisation, painting a picture of fast and exciting progress in this nascent field.


title: Levelness versus nearly Gorensteinness of homogeneous domains

abstract: Levelness and nearly Gorensteinness are well-studied properties of graded rings as a generalized notion of Gorensteinness. In this paper, we compare the strength of these properties. For any Cohen-Macaulay homogeneous affine semigroup ring R, we give a necessary condition for R to be non-Gorenstein and nearly Gorenstein in terms of the h-vector of R and we show that if R is nearly Gorenstein with Cohen-Macaulay type 2, then it is level. We also show that if Cohen-Macaulay type is more than 2, there are 2-dimensional counterexamples. Moreover, we characterize nearly Gorensteinness of Stanley-Reisner rings of low-dimensional simplicial complexes.


title: FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks

abstract: Algorithmic decision making driven by neural networks has become very prominent in applications that directly affect people's quality of life. In this paper, we study the problem of verifying, training, and guaranteeing individual fairness of neural network models. A popular approach for enforcing fairness is to translate a fairness notion into constraints over the parameters of the model. However, such a translation does not always guarantee fair predictions of the trained neural network model. To address this challenge, we develop a counterexample-guided post-processing technique to provably enforce fairness constraints at prediction time. Contrary to prior work that enforces fairness only on points around test or train data, we are able to enforce and guarantee fairness on all points in the input domain. Additionally, we propose an in-processing technique to use fairness as an inductive bias by iteratively incorporating fairness counterexamples in the learning process. We have implemented these techniques in a tool called FETA. Empirical evaluation on real-world datasets indicates that FETA is not only able to guarantee fairness on-the-fly at prediction time but also is able to train accurate models exhibiting a much higher degree of individual fairness.


title: Dynamic Fingerprints of Synthetic Antiferromagnet Nanostructures with Interfacial Dzyaloshinskii-Moriya Interaction

abstract: Synthetic antiferromagnet (SAF) nanostructures with interfacial Dzyaloshinskii-Moriya interaction can host topologically distinct spin textures such as skyrmions and thus are regarded as promising candidates for both spintronics and magnonics applications. Here, we present comprehensive micromagnetic simulations of such material systems and discuss the rich phase diagrams that contain various types of magnetic configurations. Aside from the static properties, we further discuss the resonant excitations of the calculated magnetic states which include individual skyrmions and skyrmioniums. Finally, the internal modes of SAF skyrmion clusters are studied and discussed in the context of magnetic sensing applications based on the dynamic fingerprint in broadband ferromagnetic resonance measurements.


title: On the decay of one-dimensional locally and partially dissipated hyperbolic systems

abstract: We study the time-asymptotic behavior of linear hyperbolic systems under partial dissipation which is localized in suitable subsets of the domain. More precisely, we recover the classical decay rates of partially dissipative systems satisfying the stability condition (SK) with a time-delay depending only on the velocity of each component and the size of the undamped region. To quantify this delay, we assume that the undamped region is a bounded space-interval and that the system without space-restriction on the dissipation satisfies the stability condition (SK). The former assumption ensures that the time spent by the characteristics of the system in the undamped region is finite and the latter that whenever the damping is active the solutions decay. Our approach consists in reformulating the system into n coupled transport equations and showing that the time-decay estimates are delayed by the sum of the times each characteristics spend in the undamped region.


title: On Sums of Semibounded Cantor Sets

abstract: Motivated by questions arising in the study of the spectral theory of models of aperiodic order, we investigate sums of functions of semibounded closed subsets of the real line. We show that under suitable thickness assumptions on the sets and growth assumptions on the functions, the sums of such sets contain half-lines. We also give examples to show our criteria are sharp in suitable regimes.


title: A Near-Optimal Best-of-Both-Worlds Algorithm for Online Learning with Feedback Graphs

abstract: We consider online learning with feedback graphs, a sequential decision-making framework where the learner's feedback is determined by a directed graph over the action set. We present a computationally efficient algorithm for learning in this framework that simultaneously achieves near-optimal regret bounds in both stochastic and adversarial environments. The bound against oblivious adversaries is $\tilde{O} (\sqrt{\alpha T})$, where $T$ is the time horizon and $\alpha$ is the independence number of the feedback graph. The bound against stochastic environments is $O\big( (\ln T)^2 \max_{S\in \mathcal I(G)} \sum_{i \in S} \Delta_i^{-1}\big)$ where $\mathcal I(G)$ is the family of all independent sets in a suitably defined undirected version of the graph and $\Delta_i$ are the suboptimality gaps. The algorithm combines ideas from the EXP3++ algorithm for stochastic and adversarial bandits and the EXP3.G algorithm for feedback graphs with a novel exploration scheme. The scheme, which exploits the structure of the graph to reduce exploration, is key to obtain best-of-both-worlds guarantees with feedback graphs. We also extend our algorithm and results to a setting where the feedback graphs are allowed to change over time.


title: On inference of quantization from gravitationally induced entanglement

abstract: Observable signatures of the quantum nature of gravity at low energies have recently emerged as a promising new research field. One prominent avenue is to test for gravitationally induced entanglement between two mesoscopic masses prepared in spatial superposition. Here we analyze such proposals and what one can infer from them about the quantum nature of gravity, as well as the electromagnetic analogues of such tests. We show that it is not possible to draw conclusions about mediators: even within relativistic physics, entanglement generation can equally be described in terms of mediators or in terms of non-local processes -- relativity does not dictate a local channel. Such indirect tests therefore have limited ability to probe the nature of the process establishing the entanglement as their interpretation is inherently ambiguous. We also show that cosmological observations already demonstrate some aspects of quantization that these proposals aim to test. Nevertheless, the proposed experiments would probe how gravity is sourced by spatial superpositions of matter, an untested new regime of quantum physics.


title: Learning to Sequence and Blend Robot Skills via Differentiable Optimization

abstract: In contrast to humans and animals who naturally execute seamless motions, learning and smoothly executing sequences of actions remains a challenge in robotics. This paper introduces a novel skill-agnostic framework that learns to sequence and blend skills based on differentiable optimization. Our approach encodes sequences of previously-defined skills as quadratic programs (QP), whose parameters determine the relative importance of skills along the task. Seamless skill sequences are then learned from demonstrations by exploiting differentiable optimization layers and a tailored loss formulated from the QP optimality conditions. Via the use of differentiable optimization, our work offers novel perspectives on multitask control. We validate our approach in a pick-and-place scenario with planar robots, a pouring experiment with a real humanoid robot, and a bimanual sweeping task with a human model.


title: Learning common structures in a collection of networks. An application to food webs

abstract: Let a collection of networks represent interactions within several (social or ecological) systems. We pursue two objectives: identifying similarities in the topological structures that are held in common between the networks and clustering the collection into sub-collections of structurally homogeneous networks. We tackle these two questions with a probabilistic model based approach. We propose an extension of the Stochastic Block Model (SBM) adapted to the joint modeling of a collection of networks. The networks in the collection are assumed to be independent realizations of SBMs. The common connectivity structure is imposed through the equality of some parameters. The model parameters are estimated with a variational Expectation-Maximization (EM) algorithm. We derive an ad-hoc penalized likelihood criterion to select the number of blocks and to assess the adequacy of the consensus found between the structures of the different networks. This same criterion can also be used to cluster networks on the basis of their connectivity structure. It thus provides a partition of the collection into subsets of structurally homogeneous networks. The relevance of our proposition is assessed on two collections of ecological networks. First, an application to three stream food webs reveals the homogeneity of their structures and the correspondence between groups of species in different ecosystems playing equivalent ecological roles. Moreover, the joint analysis allows a finer analysis of the structure of smaller networks. Second, we cluster 67 food webs according to their connectivity structures and demonstrate that five mesoscale structures are sufficient to describe this collection.


title: Highly connected subgraphs with large chromatic number

abstract: For integers $k\ge1$ and $m\ge2$, let $g(k,m)$ be the least integer $n\ge1$ such that every graph with chromatic number at least $n$ contains a $(k+1)$-connected subgraph with chromatic number at least $m$. Refining the recent result Gir\~ao and Narayanan that $g(k-1,k)\le 7k+1$ for all $k\ge2$, we prove that $g(k,m)\le \max(m+2k-2,\lceil(3+\frac{1}{16})k\rceil)$ for all $k\ge1$ and $m\ge2$. This sharpens earlier results of Alon, Kleitman, Saks, Seymour, and Thomassen, of Chudnovsky, Penev, Scott, and Trotignon, and of Penev, Thomass\'{e}, and Trotignon. Our result implies that $g(k,k+1)\le\lceil(3+\frac{1}{16})k\rceil$ for all $k\ge1$, making a step closer towards a conjecture of Thomassen from 1983 that $g(k,k+1)\le 3k+1$, which was originally a result with a false proof and was the starting point of this research area.