title: Material Prediction for Design Automation Using Graph Representation Learning

abstract: Successful material selection is critical in designing and manufacturing products for design automation. Designers leverage their knowledge and experience to create high-quality designs by selecting the most appropriate materials through performance, manufacturability, and sustainability evaluation. Intelligent tools can help designers with varying expertise by providing recommendations learned from prior designs. To enable this, we introduce a graph representation learning framework that supports the material prediction of bodies in assemblies. We formulate the material selection task as a node-level prediction task over the assembly graph representation of CAD models and tackle it using Graph Neural Networks (GNNs). Evaluations over three experimental protocols performed on the Fusion 360 Gallery dataset indicate the feasibility of our approach, achieving a 0.75 top-3 micro-f1 score. The proposed framework can scale to large datasets and incorporate designers' knowledge into the learning process. These capabilities allow the framework to serve as a recommendation system for design automation and a baseline for future work, narrowing the gap between human designers and intelligent design agents.


title: Radio interferometric imaging of RS Oph bipolar ejecta for the 2021 nova outburst

abstract: The recurrent nova and symbiotic binary RS Oph erupted again in August 2021 for its eighth known outburst. As part of a multi-epoch and frequency campaign, we observed RS Oph 34 days after the outburst at 5 GHz with the European VLBI Network (EVN). The radio image is elongated over the east-west direction for a total extension of about 90 mas (or about 240 AU at the Gaia DR3 distance d=2.68 [-0.15/+0.17] kpc), and shows a bright and compact central component coincident with the Gaia astrometric position, and two lobes east and west of it, expanding perpendicular to the orbital plane. By comparing with the evolution of emission-line profiles on optical spectra, we found the leading edge of the lobes to be expanding at 7550 km/s, and i=54 deg as the orbital inclination of the binary. The 2021 radio structure is remarkably similar to that observed following the 2006 eruption. The obscuring role of the density enhancement on the orbital plane (DEOP) is discussed in connection to the time-dependent visibility of the receding lobe in the background to the DEOP, and the origin of the triple-peaked profiles is traced to the ring structure formed by the nova ejecta impacting the DEOP.


title: Multi-wavelength Observations of MWC 297: Constraints on Disk Inclination and Mass Outflow

abstract: MWC 297 is a young, early-type star driving an ionized outflow and surrounded by warm, entrained dust. Previous analyses of near- and mid-IR interferometric images suggest that the emission at these wavelengths arises from a compact accretion disk with a moderate ($i < 40$ degrees) inclination. We have obtained 5-40 micron images of MWC 297 with FORCAST on SOFIA, as well as near-infrared spectra acquired with SpeX on the IRTF and radio data obtained with the VLA and BIMA, and supplemented these with archival data from Herschel/PACS and SPIRE. The FORCAST images, combined with the VLA data, indicate that the outflow lobes are aligned nearly north-south and are well separated. Simple geometrical modeling of the FORCAST images suggests that the disk driving the outflow has an inclination of $55\pm 5$ degrees, in disagreement with the results of the interferometric analyses. Analysis of the SpeX data, with a wind model, suggests the the mass loss rate is on the order of $6.0 \pm ^{3.7}_{1.7} \times 10^{-7} M_\odot ~\mathrm{yr}^{-1}$ and the extinction to the source is $A_V \sim 8.1 \pm^{2.5}_{1.5}$ mag. We have combined our data with values from the literature to generate the spectral energy distribution of the source from $0.35~ \mu$m to $6$ cm and estimate the total luminosity. We find the total luminosity to be about $7900 ~ L_\odot$, if we include emission from an extended region around the star, only slightly below that expected for a B1.5V star. The reddening must be produced by dust along the line of sight, but distant from the star.


title: Real topological Hochschild homology of schemes

abstract: We prove that real topological Hochschild homology THR for schemes with involution satisfies base change and descent for the Z/2-isovariant \'etale topology. As an application, we provide computations for the projective line (with and without involution) and the higher dimensional projective spaces.


title: Rethinking Resolution in the Context of Efficient Video Recognition

abstract: In this paper, we empirically study how to make the most of low-resolution frames for efficient video recognition. Existing methods mainly focus on developing compact networks or alleviating temporal redundancy of video inputs to increase efficiency, whereas compressing frame resolution has rarely been considered a promising solution. A major concern is the poor recognition accuracy on low-resolution frames. We thus start by analyzing the underlying causes of performance degradation on low-resolution frames. Our key finding is that the major cause of degradation is not information loss in the down-sampling process, but rather the mismatch between network architecture and input scale. Motivated by the success of knowledge distillation (KD), we propose to bridge the gap between network and input size via cross-resolution KD (ResKD). Our work shows that ResKD is a simple but effective method to boost recognition accuracy on low-resolution frames. Without bells and whistles, ResKD considerably surpasses all competitive methods in terms of efficiency and accuracy on four large-scale benchmark datasets, i.e., ActivityNet, FCVID, Mini-Kinetics, Something-Something V2. In addition, we extensively demonstrate its effectiveness over state-of-the-art architectures, i.e., 3D-CNNs and Video Transformers, and scalability towards super low-resolution frames. The results suggest ResKD can serve as a general inference acceleration method for state-of-the-art video recognition. Our code will be available at https://github.com/CVMI-Lab/ResKD.


title: Quantum Hair in Electrodynamics and Gravity

abstract: We demonstrate the existence of quantum hair in electrodynamics and gravity using effective action techniques. In the case of electrodynamics we use the Euler-Heisenberg effective action while in the case of quantum gravity we use the unique effective action. We give a general formulation of these effects which applies to both theories and discuss analogies and differences between them. Furthermore, we present a QED analog to black hole evaporation. Spontaneous pair production in the external field of a ball of charge is analogous to Hawking radiation from black holes. Assuming spherical symmetry, the Gauss law prevents the external field from depending on the density profile of the ball. Quantum corrections violate these expectations, showing that quantum radiation can encode classically forbidden information about the source.


title: Machine learning constraints on deviations from general relativity from the large scale structure of the Universe

abstract: We use a particular machine learning approach, called the genetic algorithms (GA), in order to place constraints on deviations from general relativity (GR) via a possible evolution of Newton's constant $\mu\equiv G_\mathrm{eff}/G_\mathrm{N}$ and of the dark energy anisotropic stress $\eta$, both defined to be equal to one in GR. Specifically, we use a plethora of background and linear-order perturbations data, such as type Ia supernovae, baryon acoustic oscillations, cosmic chronometers, redshift space distortions and $E_g$ data. We find that although the GA is affected by the lower quality of the currently available data, especially from the $E_g$ data, the reconstruction of Newton's constant is consistent with a constant value within the errors. On the other hand, the anisotropic stress deviates strongly from unity due to the sparsity and the systematics of the $E_g$ data. Finally, we also create synthetic data based on a next-generation survey and forecast the limits of any possible detection of deviations from GR. In particular, we use two fiducial models: one based on the cosmological constant $\Lambda$CDM model and another on a model with an evolving Newton's constant, dubbed $\mu$CDM. We find that the GA reconstructions of $\mu(z)$ and $\eta(z)$ can be constrained to within a few percent of the fiducial models and in the case of the $\mu$CDM mocks, they can also provide a strong detection of several $\sigma$s, thus demonstrating the utility of the GA reconstruction approach.


title: Data-driven numerical site response

abstract: Prediction of ground motion triggered by earthquakes is a prime concern for both the seismology community and geotechnical earthquake engineering one. The subfield occupied with such a problem is termed site response analysis (SRA), its one-dimensional flavor (1D-SRA) being particularly popular given its simplicity. Despite the simple geometrical setting, a paramount challenge remains when it comes to numerically consider intense shaking in the soft upper soil strata of the crust: how to mathematically model the high-strain, dissipative, potentially rate-dependent soil behavior. Both heuristics models and phenomenological constitutive laws have been developed to meet the challenge, neither of them being exempt of either numerical limitations or physical inadequacies or both. We propose herein to bring the novel data-driven paradigm to bear, thus giving away with the need to construct constitutive behavior models altogether. Data-driven computational mechanics (DDCM) is a novel paradigm in solid mechanics that is gaining popularity; in particular, the multiscale version of it relies on studying the response of the microstructure (in the case of soil, representative volumes containing grains) to populate a dataset that is later used to inform the response at the macroscale. This manuscript presents the first application of multiscale DDCM to 1D-SRA: first, we demonstrate its capacity to handle wave propagation problems using discrete datasets, obtained via sampling grain ensembles using the discrete element method (DEM), in lieu of a constitutive law and then we apply it specifically to analyze the propagation of harmonic waves in a soft soil deposit that overlies rigid bedrock. We validate the implementation via comparison to regular finite elements analyses (FEA) and demonstrate that traditional amplification functions are recovered when using the DDCM.


title: Subsampling for Knowledge Graph Embedding Explained

abstract: In this article, we explain the recent advance of subsampling methods in knowledge graph embedding (KGE) starting from the original one used in word2vec.


title: Search for Majoron at the COMET Experiment

abstract: A new Goldstone particle named Majoron is introduced in order to explain the origin of neutrino mass by some new physics models assuming that neutrinos are Majorana particle. By expanding signal region and using likelihood analysis, it becomes possible to search for Majoron at experiments that is originally designed to search for $\mu-e$ conversion. For the COMET experiment, the sensitivity of process $\mu \rightarrow eJ$ is able to reach ${\mathcal{B}}(\mu \rightarrow eJ)=2.3\times 10^{-5}$ in Phase-I and $O(10^{-8})$ in Phase-II. Meanwhile, the sensitivities to search for Majoron at future experiments are also discussed in this article.


title: Evaluating the impact of noise on the performance of the Variational Quantum Eigensolver

abstract: Quantum computers are expected to be highly beneficial for chemistry simulations, promising significant improvements in accuracy and speed. The most prominent algorithm for chemistry simulations on NISQ devices is the Variational Quantum Eigensolver (VQE). It is a hybrid quantum-classical algorithm which calculates the ground state energy of a Hamiltonian based on parametrized quantum circuits, while a classical optimizer is used to find optimal parameter values. However, quantum hardware is affected by noise, and it needs to be understood to which extent it can degrade the performance of the VQE algorithm. In this paper, we study the impact of noise on the example of the hydrogen molecule. First, we compare the VQE performance for a set of various optimizers, from which we find NFT to be the most suitable one. Next, we quantify the effect of different noise sources by systematically increasing their strength. The noise intensity is varied around values common to superconducting devices of IBM Q, and curve fitting is used to model the relationship between the obtained energy values and the noise magnitude. Since the amount of noise in a circuit highly depends on its architecture, we perform our studies for different ansatzes, including both hardware-efficient and chemistry-inspired ones.


title: Efficient Random Walk based Sampling with Inverse Degree

abstract: Random walk sampling methods have been widely used in graph sampling in recent years, while it has bias towards higher degree nodes in the sample. To overcome this deficiency, classical methods such as MHRW design weighted walking by repeating low-degree nodes while rejecting high-degree nodes, so that the long-term behavior of Markov chain can achieve uniform distribution. This modification, however, may make the sampler stay in the same node for several times, leading to undersampling. To address this issue, we propose a sampling framework that only need current and candidate node degree to improve the performance of graph sampling methods. We also extend our original idea to a more general framework. Our extended IDRW method finds a balance between the large deviation problem of SRW and sample rejection problem in MHRW. We evaluate our technique in simulation by running extensive experiments on various real-world datasets, and the result show that our method improves the accuracy compared with the state of art techniques. We also investigate the effect of the parameter and give the suggested range for a better usage in application.


title: Timely pandemic countermeasures reduce both health damage and economic loss: Generality of the exact solution

abstract: Balancing pandemic control and economics is challenging, as the numerical analysis assuming specific economic conditions complicates obtaining predictable general findings. In this study, we analytically demonstrate how adopting timely moderate measures helps reconcile medical effectiveness and economic impact, and explain it as a consequence of the general finding of ``economic irreversibility" by comparing it with thermodynamics. A general inequality provides the guiding principles on how such measures should be implemented. The methodology leading to the exact solution is a novel theoretical contribution to the econophysics literature.


title: FONDUE: an algorithm to find the optimal dimensionality of the latent representations of variational autoencoders

abstract: When training a variational autoencoder (VAE) on a given dataset, determining the optimal number of latent variables is mostly done by grid search: a costly process in terms of computational time and carbon footprint. In this paper, we explore the intrinsic dimension estimation (IDE) of the data and latent representations learned by VAEs. We show that the discrepancies between the IDE of the mean and sampled representations of a VAE after only a few steps of training reveal the presence of passive variables in the latent space, which, in well-behaved VAEs, indicates a superfluous number of dimensions. Using this property, we propose FONDUE: an algorithm which quickly finds the number of latent dimensions after which the mean and sampled representations start to diverge (i.e., when passive variables are introduced), providing a principled method for selecting the number of latent dimensions for VAEs and autoencoders.


title: Out-of-Distribution Detection with Hilbert-Schmidt Independence Optimization

abstract: Outlier detection tasks have been playing a critical role in AI safety. There has been a great challenge to deal with this task. Observations show that deep neural network classifiers usually tend to incorrectly classify out-of-distribution (OOD) inputs into in-distribution classes with high confidence. Existing works attempt to solve the problem by explicitly imposing uncertainty on classifiers when OOD inputs are exposed to the classifier during training. In this paper, we propose an alternative probabilistic paradigm that is both practically useful and theoretically viable for the OOD detection tasks. Particularly, we impose statistical independence between inlier and outlier data during training, in order to ensure that inlier data reveals little information about OOD data to the deep estimator during training. Specifically, we estimate the statistical dependence between inlier and outlier data through the Hilbert-Schmidt Independence Criterion (HSIC), and we penalize such metric during training. We also associate our approach with a novel statistical test during the inference time coupled with our principled motivation. Empirical results show that our method is effective and robust for OOD detection on various benchmarks. In comparison to SOTA models, our approach achieves significant improvement regarding FPR95, AUROC, and AUPR metrics. Code is available: \url{https://github.com/jylins/hood}.


title: Implementation of antiproton generator in Geant4

abstract: A generator of antiproton ($\bar{p}$) in Geant4 has been developed using a theoretical model with the consideration of near-threshold treatment and used preliminarily in COMET experiment. The precision of this generator has been verified by comparing with experimental results taken in CERN (1970) and ITEP (1994). By implementing this generator into official data analysis framework of COMET, the yield of $\bar{p}$ in COMET experiment can be evaluated properly. Background caused by $\bar{p}$ can also be estimated by this generator in future, which will instruct the design and optimization. Moreover, this generator can also be used in the simulation of other experiments involving near-threshold $\bar{p}$ generation.


title: Evolutionary Dynamics of Sustainable Blockchains

abstract: The energy sustainability of blockchains, whose consensus protocol rests on the Proof-of-Work, nourishes a heated debate. The underlying issue lies in a highly energy-consuming process, defined as mining, required to validate crypto-asset transactions. Mining is the process of solving a cryptographic puzzle, incentivised by the possibility of gaining a reward. The higher the number of users performing mining, i.e. miners, the higher the overall electricity consumption of a blockchain. For that reason, mining constitutes a negative environmental externality. Here, we study whether miners' interests can meet the collective need to curb energy consumption. To this end, we introduce the Crypto-Asset Game, namely a model based on the framework of Evolutionary Game Theory devised for studying the dynamics of a population whose agents can play as crypto-asset users or as miners. The energy consumption of mining impacts the payoff of both strategies, representing a direct cost for miners and an environmental factor for crypto-asset users. The proposed model, studied via numerical simulations, shows that, in some conditions, the agent population can reach a strategy profile that optimises global energy consumption, i.e. composed of a low density of miners. To conclude, can a Proof-of-Work-based blockchain become energetically sustainable? Our results suggest that blockchain protocol parameters could have a relevant role in the global energy consumption of this technology.


title: Feedback Exchange and Online Affinity: A Case Study of Online Fanfiction Writers

abstract: Feedback is a critical piece of the creative process. Prior CSCW research has invented peer-based and crowd-based systems that exchange feedback between online strangers at scale. However, creators run into socio-psychological challenges when engaging in online critique exchange with people they have never met. In this study, we step back and take a different approach to investigate online feedback by casting our attention to creators in online affinity spaces, where feedback exchange happens naturally as part of the interest-driven participatory culture. We present an interview study with 29 fanfiction writers that investigated how they seek feedback online, and how they identified and built connections with feedback providers. We identify four distinct feedback practices and unpack the social needs in feedback exchange. Our findings surface the importance of affinity and trust in online feedback exchange and illustrate how writers built relationships with feedback providers in public and private online spaces. Inspired by the powerful stories we heard about connection and feedback, we conclude with a series of design considerations for future feedback systems\textemdash namely addressing a range of social needs in feedback, helping feedback seekers signal interests and identity, supporting authentic relationships in feedback exchange, and building inclusive, safe community spaces for feedback.


title: Polynomial atlases on manifolds

abstract: We consider manifolds whose transition maps are restrictions of polynomial mappings $\mathbb{R}^n\to\mathbb{R}^n$, and use them to give an equivalent statement of the Jacobian conjecture over the real field.


title: Statistical effects of the observer's peculiar velocity on source number counts

abstract: The velocity of the Sun with respect to the cosmic microwave background (CMB) can be extracted from the CMB dipole, provided its intrinsic dipole is assumed to be small in comparison. This interpretation is consistent, within fairly large error bars, with the measurement of the correlations between neighboring CMB multipoles induced by the velocity of the observer, which effectively breaks isotropy. In contrast, the source number count dipole was reported to privilege a velocity of the observer with an amplitude which is about twice as large as the one extracted from the entirely kinematic interpretation of the CMB dipole, with error bars which indicate a more and more significant tension. In this work, we study the effect of the peculiar velocity of the observer on correlations of nearby multipoles in the source number counts. We provide an unbiased estimator for the kinetic dipole amplitude, which is proportional to the peculiar velocity of the observer and we compute the expected signal to noise ratio. Near future experiments can achieve better than 5$\%$ constraints on the velocity of the Sun with our estimator.


title: A Variational Approach to SKT and Balanced Metrics

abstract: We investigate compact complex manifolds endowed with SKT or balanced metrics. In each case we define a new functional whose critical points are proved to be precisely the K\"ahler metrics, if any, on the manifold. As general manifolds of either type need not admit K\"ahler metrics, this provides an approach to new obstructions to K\"ahlerianity within these two families of metrics.


title: The ALMA Survey of 70 $\mu \rm m$ Dark High-mass Clumps in Early Stages (ASHES). VII: Chemistry of Embedded Dense Cores

abstract: We present a study of chemistry toward 294 dense cores in 12 molecular clumps using the data obtained from the ALMA Survey of 70 $\mu \rm m$ dark High-mass clumps in Early Stages (ASHES). We identified 97 protostellar cores and 197 prestellar core candidates based on the detection of outflows and molecular transitions of high upper energy levels ($E_{u}/k > 45$ K). The detection rate of the N$_{2}$D$^{+}$ emission toward the protostellar cores is 38%, which is higher than 9% for the prestellar cores, indicating that N$_{2}$D$^{+}$ does not exclusively trace prestellar cores. The detection rates of the DCO$^{+}$ emission are 35% for the prestellar cores and 49% for the protostellar cores, which are higher than those of N$_{2}$D$^{+}$, implying that DCO$^{+}$ appears more frequently than N$_{2}$D$^{+}$ in both prestellar and protostellar cores. Both N$_{2}$D$^{+}$ and DCO$^{+}$ abundances appear to decrease from the prestellar to protostellar stage. The DCN, C$_{2}$D and $^{13}$CS emission lines are rarely seen in the dense cores of early evolutionary phases. The detection rate of the H$_{2}$CO emission toward dense cores is 52%, three times higher than that of CH$_{3}$OH (17%). In addition, the H$_{2}$CO detection rate, abundance, line intensities, and line widths increase with the core evolutionary status, suggesting that the H$_{2}$CO line emission is sensitive to protostellar activity.


title: On the volumes of linear subvarieties in moduli spaces of projectivized Abelian differentials

abstract: For $k \in \mathbb{Z}_{>0}$, let $\mathcal{H}^{(k)}_{g,n}$ denote the vector bundle over $\mathfrak{M}_{g,n}$ whose every fiber consists of meromorphic $k$-differentials with poles of order at most $k-1$ on a fixed Riemman surface of genus $g$ with $n$ marked points (all the poles must be located at the marked points). The bundle $\mathcal{H}^{(k)}_{g,n}$ and its associated projective bundle $\mathbb{P}\mathcal{H}^{(k)}_{g,n}$ admit natural extensions, denoted by $\overline{\mathcal{H}}^{(k)}_{g,n}$ and $\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}$ respectively, to the Deligne-Mumford compactification $\overline{\mathfrak{M}}_{g,n}$ of $\mathfrak{M}_{g,n}$. We prove the following statement: let $\mathcal{M}$ be a subvariety of dimension $d$ of the projective bundle $\mathbb{P}\mathcal{H}^{(k)}_{g,n}$. Denote by $\mathscr{O}(-1)_{\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}}$ the tautological line bundle over $\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}$. Then the integral of the $d$-th power of the curvature form of the Hodge norm on $\mathscr{O}(-1)_{\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}}$ over the smooth part of $\mathcal{M}$ is equal to the intersection number of the $d$-th power of the divisor representing $\mathscr{O}(-1)_{\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}}$ and the closure of $\mathcal{M}$ in $\mathbb{P}\overline{\mathcal{H}}^{(k)}_{g,n}$. As a consequence, if $\mathcal{M}$ is a linear subvariety of the projectivized Hodge bundle $\mathbb{P}\mathcal{H}_{g,n}(=\mathbb{P}\mathcal{H}^{(1)}_{g,n})$ whose local coordinates do not involve relative periods, then the volume of $\mathcal{M}$ can be computed by the self-intersection number of the tautological line bundle on the closure of $\mathcal{M}$ in $\mathbb{P}\overline{\mathcal{H}}_{g,n}(=\mathbb{P}\overline{\mathcal{H}}^{(1)}_{g,n})$.


title: Fast-FNet: Accelerating Transformer Encoder Models via Efficient Fourier Layers

abstract: Transformer-based language models utilize the attention mechanism for substantial performance improvements in almost all natural language processing (NLP) tasks. Similar attention structures are also extensively studied in several other areas. Although the attention mechanism enhances the model performances significantly, its quadratic complexity prevents efficient processing of long sequences. Recent works focused on eliminating the disadvantages of computational inefficiency and showed that transformer-based models can still reach competitive results without the attention layer. A pioneering study proposed the FNet, which replaces the attention layer with the Fourier Transform (FT) in the transformer encoder architecture. FNet achieves competitive performances concerning the original transformer encoder model while accelerating training process by removing the computational burden of the attention mechanism. However, the FNet model ignores essential properties of the FT from the classical signal processing that can be leveraged to increase model efficiency further. We propose different methods to deploy FT efficiently in transformer encoder models. Our proposed architectures have smaller number of model parameters, shorter training times, less memory usage, and some additional performance improvements. We demonstrate these improvements through extensive experiments on common benchmarks.


title: Word to Sentence Visual Semantic Similarity for Caption Generation: Lessons Learned

abstract: This paper focuses on enhancing the captions generated by image-caption generation systems. We propose an approach for improving caption generation systems by choosing the most closely related output to the image rather than the most likely output produced by the model. Our model revises the language generation output beam search from a visual context perspective. We employ a visual semantic measure in a word and sentence level manner to match the proper caption to the related information in the image. The proposed approach can be applied to any caption system as a post-processing based method.


title: Spatial Signal Design for Positioning via End-to-End Learning

abstract: This letter considers the problem of end-to-end learning for joint optimization of transmitter precoding and receiver processing for mmWave downlink positioning. Considering a multiple-input single-output (MISO) scenario, we propose a novel autoencoder (AE) architecture to estimate user-equipment(UE) position with multiple base-stations (BSs) and demonstrate that end-to-end learning can match model-based design, both for angle of departure (AoD) and position estimation, under ideal conditions without model deficits and outperform it in the presence of hardware impairments.


title: Maker-Breaker is solved in polynomial time on hypergraphs of rank 3

abstract: In the Maker-Breaker positional game, Maker and Breaker take turns picking vertices of a hypergraph $H$, and Maker wins if and only if he claims all the vertices of some edge of $H$. This paper provides a general framework to study Maker-Breaker games, centered on the notion of danger at a vertex $x$, which is a subhypergraph representing an urgent threat that Breaker must hit with his next pick if Maker picks $x$. We then apply this concept in hypergraphs of rank 3, providing a structural characterization of the winner with perfect play as well as optimal strategies for both players based on danger intersections. We construct a family $\mathcal{F}$ of dangers such that a hypergraph $H$ of rank 3 is a Breaker win if and only if the $\mathcal{F}$-dangers at $x$ in $H$ intersect for all $x$. By construction of $\mathcal{F}$, this will mean that $H$ is a Maker win if and only if Maker can guarantee the appearance, within the first three rounds of play, of a very specific elementary subhypergraph (on which Maker easily wins). This last result has a consequence on the algorithmic complexity of deciding which player has a winning strategy on a given hypergraph: this problem, which is known to be PSPACE-complete on 6-uniform hypergraphs, is in polynomial time on hypergraphs of rank 3. This validates a conjecture by Rahman and Watson. Another corollary of our result is that, if Maker has a winning strategy on a hypergraph of rank 3, then he can ensure to claim an edge in a number of rounds that is logarithmic in the number of vertices. Note: The present updated version of this deposit provides a counterexample to a similar result which was incorrectly claimed recently (arXiv:2209.11202).


title: Relative homotopy approach to topological phases in quantum walks

abstract: Discrete-time quantum walks (DTQWs) provide a convenient platform for a realisation of many topological phases in noninteracting systems. They often offer more possibilities than systems with a static Hamiltonian. Nevertheless, researchers are still looking for DTQW symmetries protecting topological phases and for definitions of appropriate topological invariants. Although majority of DTQW studies on this topic focus on the so called split-step quantum walk, two distinct topological phases can be observed in more basic models. Here we infer topological properties of the basic DTQWs directly from the mapping of the Brillouin zone to the Bloch Hamiltonian. We show that for translation symmetric systems they can be characterized by a homotopy relative to special points. We also propose a new topological invariant corresponding to this concept. This invariant indicates the number of edge states at the interface between two distinct phases.


title: Structural identifiability analysis of epidemic models based on differential equations: A tutorial-based primer

abstract: The successful application of epidemic models hinges on our ability to estimate model parameters from limited observations reliably. An often-overlooked step before estimating model parameters consists of ensuring that the model parameters are structurally identifiable from the observed states of the system. In this tutorial-based primer, intended for a diverse audience, including students training in dynamic systems, we review and provide detailed guidance for conducting structural identifiability analysis of differential equation epidemic models based on a differential algebra approach using DAISY (Differential Algebra for Identifiability of SYstems) and \textit{Mathematica} (Wolfram Research). This approach aims to uncover any existing parameter correlations that preclude their estimation from the observed variables. We demonstrate this approach through examples, including tutorial videos of compartmental epidemic models previously employed to study transmission dynamics and control. We show that the lack of structural identifiability may be remedied by incorporating additional observations from different model states, assuming that the system's initial conditions are known, using prior information to fix some parameters involved in parameter correlations, or modifying the model based on existing parameter correlations. We also underscore how the results of structural identifiability analysis can help enrich compartmental diagrams of differential-equation models by indicating the observed state variables and the results of the structural identifiability analysis.


title: ComplexWoundDB: A Database for Automatic Complex Wound Tissue Categorization

abstract: Complex wounds usually face partial or total loss of skin thickness, healing by secondary intention. They can be acute or chronic, figuring infections, ischemia and tissue necrosis, and association with systemic diseases. Research institutes around the globe report countless cases, ending up in a severe public health problem, for they involve human resources (e.g., physicians and health care professionals) and negatively impact life quality. This paper presents a new database for automatically categorizing complex wounds with five categories, i.e., non-wound area, granulation, fibrinoid tissue, and dry necrosis, hematoma. The images comprise different scenarios with complex wounds caused by pressure, vascular ulcers, diabetes, burn, and complications after surgical interventions. The dataset, called ComplexWoundDB, is unique because it figures pixel-level classifications from $27$ images obtained in the wild, i.e., images are collected at the patients' homes, labeled by four health professionals. Further experiments with distinct machine learning techniques evidence the challenges in addressing the problem of computer-aided complex wound tissue categorization. The manuscript sheds light on future directions in the area, with a detailed comparison among other databased widely used in the literature.


title: Introductory Review of Swarm Intelligence Techniques

abstract: With the rapid upliftment of technology, there has emerged a dire need to fine-tune or optimize certain processes, software, models or structures, with utmost accuracy and efficiency. Optimization algorithms are preferred over other methods of optimization through experimentation or simulation, for their generic problem-solving abilities and promising efficacy with the least human intervention. In recent times, the inducement of natural phenomena into algorithm design has immensely triggered the efficiency of optimization process for even complex multi-dimensional, non-continuous, non-differentiable and noisy problem search spaces. This chapter deals with the Swarm intelligence (SI) based algorithms or Swarm Optimization Algorithms, which are a subset of the greater Nature Inspired Optimization Algorithms (NIOAs). Swarm intelligence involves the collective study of individuals and their mutual interactions leading to intelligent behavior of the swarm. The chapter presents various population-based SI algorithms, their fundamental structures along with their mathematical models.


title: Uniform Exact Reconstruction of Sparse Signals and Low-rank Matrices from Phase-Only Measurements

abstract: In phase-only compressive sensing (PO-CS), our goal is to recover low-complexity signals (e.g., sparse signals, low-rank matrices) from the phase of complex linear measurements. While perfect recovery of signal direction in PO-CS was observed quite early, the exact reconstruction guarantee for a fixed, real signal was recently done by Jacques and Feuillen [IEEE Trans. Inf. Theory, 67 (2021), pp. 4150-4161]. However, two questions remain open: the uniform recovery guarantee and exact recovery of complex signal. In this paper, we almost completely address these two open questions. We prove that, all complex sparse signals or low-rank matrices can be uniformly, exactly recovered from a near optimal number of complex Gaussian measurement phases. By recasting PO-CS as a linear compressive sensing problem, the exact recovery follows from restricted isometry property (RIP). Our approach to uniform recovery guarantee is based on covering arguments that involve a delicate control of the (original linear) measurements with overly small magnitude. To work with complex signal, a different sign-product embedding property and a careful rescaling of the sensing matrix are employed. In addition, we show an extension that the uniform recovery is stable under moderate bounded noise. We also propose to add Gaussian dither before capturing the phases to achieve full reconstruction with norm information. Experimental results are reported to corroborate and demonstrate our theoretical results.


title: Abductive forgetting

abstract: Abductive forgetting is removing variables from a logical formula while maintaining its abductive explanations. It is defined in either of two ways, depending on its intended application. Both differ from the usual forgetting, which maintains consequences rather than explanations. Differently from that, abductive forgetting from a propositional formula may not be expressed by any propositional formula. A necessary and sufficient condition tells when it is. Checking this condition is \P{3}-complete, and is in \P{4} if minimality of explanations is required. A way to guarantee expressibility of abductive forgetting is to switch from propositional to default logic. Another is to introduce new variables.


title: Multi-encoder attention-based architectures for sound recognition with partial visual assistance

abstract: Large-scale sound recognition data sets typically consist of acoustic recordings obtained from multimedia libraries. As a consequence, modalities other than audio can often be exploited to improve the outputs of models designed for associated tasks. Frequently, however, not all contents are available for all samples of such a collection: For example, the original material may have been removed from the source platform at some point, and therefore, non-auditory features can no longer be acquired. We demonstrate that a multi-encoder framework can be employed to deal with this issue by applying this method to attention-based deep learning systems, which are currently part of the state of the art in the domain of sound recognition. More specifically, we show that the proposed model extension can successfully be utilized to incorporate partially available visual information into the operational procedures of such networks, which normally only use auditory features during training and inference. Experimentally, we verify that the considered approach leads to improved predictions in a number of evaluation scenarios pertaining to audio tagging and sound event detection. Additionally, we scrutinize some properties and limitations of the presented technique.


title: Advanced Skills by Learning Locomotion and Local Navigation End-to-End

abstract: The common approach for local navigation on challenging environments with legged robots requires path planning, path following and locomotion, which usually requires a locomotion control policy that accurately tracks a commanded velocity. However, by breaking down the navigation problem into these sub-tasks, we limit the robot's capabilities since the individual tasks do not consider the full solution space. In this work, we propose to solve the complete problem by training an end-to-end policy with deep reinforcement learning. Instead of continuously tracking a precomputed path, the robot needs to reach a target position within a provided time. The task's success is only evaluated at the end of an episode, meaning that the policy does not need to reach the target as fast as possible. It is free to select its path and the locomotion gait. Training a policy in this way opens up a larger set of possible solutions, which allows the robot to learn more complex behaviors. We compare our approach to velocity tracking and additionally show that the time dependence of the task reward is critical to successfully learn these new behaviors. Finally, we demonstrate the successful deployment of policies on a real quadrupedal robot. The robot is able to cross challenging terrains, which were not possible previously, while using a more energy-efficient gait and achieving a higher success rate.


title: Boosting device-independent cryptography with tripartite nonlocality

abstract: Device-independent (DI) protocols, such as DI conference key agreement (DICKA) and DI randomness expansion (DIRE), certify private randomness by observing nonlocal correlations when two or more parties test a Bell inequality. While most DI protocols are restricted to bipartite Bell tests, harnessing multipartite nonlocal correlations may lead to better performance. Here, we consider tripartite DICKA and DIRE protocols based on testing multipartite Bell inequalities, specifically: the Mermin-Ardehali-Belinskii-Klyshko (MABK) inequality, and the Holz and the Parity-CHSH inequalities introduced in the context of DICKA protocols. We evaluate the asymptotic performance of the DICKA (DIRE) protocols in terms of their conference key rate (net randomness generation rate), by deriving lower bounds on the conditional von Neumann entropy of one party's outcome and two parties' outcomes. For the Holz inequality, we prove a tight analytical lower bound on the one-outcome entropy and conjecture a tight lower bound on the two-outcome entropy. We additionally re-derive the analytical one-outcome entropy bound for the MABK inequality with a much simpler method and obtain a numerical lower bound on the two-outcome entropy for the Parity-CHSH inequality. Our simulations show that DICKA and DIRE protocols employing tripartite Bell inequalities can significantly outperform their bipartite counterparts. Moreover, we establish that genuine multipartite entanglement is not a precondition for multipartite DIRE while its necessity for DICKA remains an open question.


title: Language and Intelligence, Artificial vs. Natural or What Can and What Cannot AI Do with NL?

abstract: In this talk, I argue that there are certain pragmatic features of natural language (that I will call 'productivity' and 'malleability', on top of syntactical generativity and semantical compositionality), which are not only hard, but even impossible to capture in an artificial language used by an AI system, and the reason for this is to be found in certain deep, metaphysical differences between artificial and natural intelligence, accounting for the differences in their respective processes of concept-formation.


title: Mapping Charge Excitations in Generalized Wigner Crystals

abstract: Transition metal dichalcogenide-based moire superlattices exhibit very strong electron-electron correlations, thus giving rise to strongly correlated quantum phenomena such as generalized Wigner crystal states. Theoretical studies predict that unusual quasiparticle excitations across the correlated gap between upper and lower Hubbard bands can arise due to long-range Coulomb interactions in generalized Wigner crystal states. Here we describe a new scanning single-electron charging (SSEC) spectroscopy technique with nanometer spatial resolution and single-electron charge resolution that enables us to directly image electron and hole wavefunctions and to determine the thermodynamic gap of generalized Wigner crystal states in twisted WS2 moire heterostructures. High-resolution SSEC spectroscopy was achieved by combining scanning tunneling microscopy (STM) with a monolayer graphene sensing layer, thus enabling the generation of individual electron and hole quasiparticles in generalized Wigner crystals. We show that electron and hole quasiparticles have complementary wavefunction distributions and that thermodynamic gaps of order 50meV exist for the 1/3 and 2/3 generalized Wigner crystal states.


title: Adaptation of Autoencoder for Sparsity Reduction From Clinical Notes Representation Learning

abstract: When dealing with clinical text classification on a small dataset recent studies have confirmed that a well-tuned multilayer perceptron outperforms other generative classifiers, including deep learning ones. To increase the performance of the neural network classifier, feature selection for the learning representation can effectively be used. However, most feature selection methods only estimate the degree of linear dependency between variables and select the best features based on univariate statistical tests. Furthermore, the sparsity of the feature space involved in the learning representation is ignored. Goal: Our aim is therefore to access an alternative approach to tackle the sparsity by compressing the clinical representation feature space, where limited French clinical notes can also be dealt with effectively. Methods: This study proposed an autoencoder learning algorithm to take advantage of sparsity reduction in clinical note representation. The motivation was to determine how to compress sparse, high-dimensional data by reducing the dimension of the clinical note representation feature space. The classification performance of the classifiers was then evaluated in the trained and compressed feature space. Results: The proposed approach provided overall performance gains of up to 3% for each evaluation. Finally, the classifier achieved a 92% accuracy, 91% recall, 91% precision, and 91% f1-score in detecting the patient's condition. Furthermore, the compression working mechanism and the autoencoder prediction process were demonstrated by applying the theoretic information bottleneck framework.


title: Screw functions of Dirichlet series in the extended Selberg class

abstract: We introduce screw functions for Dirichlet series in the extended Selberg class. Then we prove that the Grand Riemann Hypothesis for a member of the extended Selberg class is equivalent to the nonpositivity of the corresponding screw function.


title: Continuous Non-Archimedean and p-adic Welch Bounds

abstract: We prove the continuous non-Archimedean (resp. p-adic) Banach space and Hilbert space versions of non-Archimedean (resp. p-adic) Welch bounds proved by M. Krishna. We formulate continuous non-Archimedean and p-adic functional Zauner conjectures.


title: On convergence rate bounds for a class of nonlinear Markov chains

abstract: A new approach is developed for evaluating the convergence rate for nonlinear Markov chains (MC) based on the recently developed spectral radius technique of markovian coupling for linear MC and the idea of small nonlinear perturbations of linear MC. The method further enhances recent advances in the problem of convergence for such models. The new convergence rate may be used, in particular, for the justification of $D$-condition in the Extreme Values theory.


title: Targeted Separation and Convergence with Kernel Discrepancies

abstract: Maximum mean discrepancies (MMDs) like the kernel Stein discrepancy (KSD) have grown central to a wide range of applications, including hypothesis testing, sampler selection, distribution approximation, and variational inference. In each setting, these kernel-based discrepancy measures are required to (i) separate a target P from other probability measures or even (ii) control weak convergence to P. In this article we derive new sufficient and necessary conditions to ensure (i) and (ii). For MMDs on separable metric spaces, we characterize those kernels that separate Bochner embeddable measures and introduce simple conditions for separating all measures with unbounded kernels and for controlling convergence with bounded kernels. We use these results on $\mathbb{R}^d$ to substantially broaden the known conditions for KSD separation and convergence control and to develop the first KSDs known to exactly metrize weak convergence to P. Along the way, we highlight the implications of our results for hypothesis testing, measuring and improving sample quality, and sampling with Stein variational gradient descent.


title: Where2comm: Communication-Efficient Collaborative Perception via Spatial Confidence Maps

abstract: Multi-agent collaborative perception could significantly upgrade the perception performance by enabling agents to share complementary information with each other through communication. It inevitably results in a fundamental trade-off between perception performance and communication bandwidth. To tackle this bottleneck issue, we propose a spatial confidence map, which reflects the spatial heterogeneity of perceptual information. It empowers agents to only share spatially sparse, yet perceptually critical information, contributing to where to communicate. Based on this novel spatial confidence map, we propose Where2comm, a communication-efficient collaborative perception framework. Where2comm has two distinct advantages: i) it considers pragmatic compression and uses less communication to achieve higher perception performance by focusing on perceptually critical areas; and ii) it can handle varying communication bandwidth by dynamically adjusting spatial areas involved in communication. To evaluate Where2comm, we consider 3D object detection in both real-world and simulation scenarios with two modalities (camera/LiDAR) and two agent types (cars/drones) on four datasets: OPV2V, V2X-Sim, DAIR-V2X, and our original CoPerception-UAVs. Where2comm consistently outperforms previous methods; for example, it achieves more than $100,000 \times$ lower communication volume and still outperforms DiscoNet and V2X-ViT on OPV2V. Our code is available at https://github.com/MediaBrain-SJTU/where2comm.


title: Riemann operators on higher $K$-groups

abstract: We introduce Riemann operators acting on Quillen's higher $K$--groups $K_{n}(A)$ for the integer ring $A$ of an algebraic number field $K$. Especially we prove that gamma factors of Dedekind zeta function of $K$ are obtained as regularized determinants of Riemann operators.


title: Minimal Parabolic subgroups and Automorphism groups of Schubert varieties-II

abstract: Let $G$ be a simple algebraic group of adjoint type over the field $\mathbb{C}$ of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ In this article, we show that $\alpha$ is a co-minuscule root if and only if for any parabolic subgroup $Q$ containing $B$ properly, there is no Schubert variety $X_{Q}(w)$ in $G/Q$ such that the minimal parabolic subgroup $P_{\alpha}$ of $G$ is the connected component, containing the identity automorphism of the group of all algebraic automorphisms of $X_{Q}(w).$


title: Efficient Multi-Prize Lottery Tickets: Enhanced Accuracy, Training, and Inference Speed

abstract: Recently, Diffenderfer and Kailkhura proposed a new paradigm for learning compact yet highly accurate binary neural networks simply by pruning and quantizing randomly weighted full precision neural networks. However, the accuracy of these multi-prize tickets (MPTs) is highly sensitive to the optimal prune ratio, which limits their applicability. Furthermore, the original implementation did not attain any training or inference speed benefits. In this report, we discuss several improvements to overcome these limitations. We show the benefit of the proposed techniques by performing experiments on CIFAR-10.


title: The Radius of PSR J0740+6620 from NICER with NICER Background Estimates

abstract: We report a revised analysis for the radius, mass, and hot surface regions of the massive millisecond pulsar PSR J0740+6620, studied previously with joint fits to NICER and XMM-Newton data by Riley et al. (2021) and Miller et al. (2021). We perform a similar Bayesian estimation for the pulse-profile model parameters, except that instead of fitting simultaneously the XMM-Newton data, we use the best available NICER background estimates to constrain the number of photons detected from the source. This approach eliminates any potential issues in the cross-calibration between these two instruments, providing thus an independent check of the robustness of the analysis. The obtained neutron star parameter constraints are compatible with the already published results, with a slight dependence on how conservative the imposed background limits are. A tighter lower limit causes the inferred radius to increase, and a tighter upper limit causes it to decrease. We also extend the study of the inferred emission geometry to examine the degree of deviation from antipodality of the hot regions. We show that there is a significant offset to an antipodal spot configuration, mainly due to the non-half-cycle azimuthal separation of the two emitting spots. The offset angle from the antipode is inferred to be above 25 degrees with 84% probability. This seems to exclude a centered-dipolar magnetic field in PSR J0740+6620.


title: Towards Direct Comparison of Community Structures in Social Networks

abstract: Community detection algorithms are in general evaluated by comparing evaluation metric values for the communities obtained with different algorithms. The evaluation metrics that are used for measuring quality of the communities incorporate the topological information of entities like connectivity of the nodes within or outside the communities. However, while comparing the metric values it loses direct involvement of topological information of the communities in the comparison process. In this paper, a direct comparison approach is proposed where topological information of the communities obtained with two algorithms are compared directly. A quality measure namely \emph{Topological Variance (TV)} is designed based on direct comparison of topological information of the communities. Considering the newly designed quality measure, two ranking schemes are developed. The efficacy of proposed quality metric as well as the ranking scheme is studied with eight widely used real-world datasets and six community detection algorithms.


title: Risk-Aware Model Predictive Path Integral Control Using Conditional Value-at-Risk

abstract: In this paper, we present a novel Model Predictive Control method for autonomous robots subject to arbitrary forms of uncertainty. The proposed Risk-Aware Model Predictive Path Integral (RA-MPPI) control utilizes the Conditional Value-at-Risk (CVaR) measure to generate optimal control actions for safety-critical robotic applications. Different from most existing Stochastic MPCs and CVaR optimization methods that linearize the original dynamics and formulate control tasks as convex programs, the proposed method directly uses the original dynamics without restricting the form of the cost functions or the noise. We apply the novel RA-MPPI controller to an autonomous vehicle to perform aggressive driving maneuvers in cluttered environments. Our simulations and experiments show that the proposed RA-MPPI controller can achieve about the same lap time with significantly fewer collisions compared to the baseline MPPI controller. The proposed controller performs on-line computation at an update frequency of up to 80Hz, utilizing modern Graphics Processing Units (GPUs) to multi-thread the generation of trajectories as well as the CVaR values.


title: Impact of temporal resolution on convolutional recurrent networks for audio tagging and sound event detection

abstract: Many state-of-the-art systems for audio tagging and sound event detection employ convolutional recurrent neural architectures. Typically, they are trained in a mean teacher setting to deal with the heterogeneous annotation of the available data. In this work, we present a thorough analysis of how changing the temporal resolution of these convolutional recurrent neural networks - which can be done by simply adapting their pooling operations - impacts their performance. By using a variety of evaluation metrics, we investigate the effects of adapting this design parameter under several sound recognition scenarios involving different needs in terms of temporal localization.


title: Computer Vision Applied to In-Situ Specimen Orientation Adjustment for Quantitative SEM Analysis

abstract: Quantitative analysis methods based on the usage of a scanning electron microscope (SEM), such as energy dispersive x-ray spectroscopy, often require specimens to have a flat surface oriented normal to the electron beam. In-situ procedures for putting microscopic flat surfaces into this orientation generally rely on stereoscopic methods that measure the change in surface vector projections when the surface is tilted by some known angle. Although these methods have been used in the past, there is no detailed statistical analysis of the uncertainties involved in such methods, which leaves an uncertainty in how precisely a specimen can be oriented. Here, we present a first principles derivation of a specimen orientation method and apply our method to a flat sample to demonstrate it. Unlike previous works, we develop a computer vision program using the Scale Invariant Feature Transform to automate and expedite the process of making measurements on our SEM images, thus enabling a detailed statistical analysis of the method with a large sample size. We find that our specimen orientation method is able to orient flat surfaces with high precision and can further provide insight into errors involved in the standard SEM rotation and tilt operations.


title: Sums of Powers of Primes II

abstract: For a real number $k$, define $\pi_k(x) = \sum_{p\le x} p^k$. When $k>0$, we prove that $$ \pi_k(x) - \pi(x^{k+1}) = \Omega_{\pm}\left(\frac{x^{\frac12+k}}{\log x} \log\log\log x\right) $$ as $x\to\infty$, and we prove a similar result when $-1<k<0$. This strengthens a result in a paper by J. Gerard and the author and it corrects a flaw in a proof in that paper. We also quantify the observation from that paper that $\pi_k(x) - \pi(x^{k+1})$ is usually negative when $k>0$ and usually positive when $-1<k<0$.


title: Codes parameterized by the edges of a bipartite graph with a perfect matching

abstract: In this paper we study the main characteristics of some evaluation codes parameterized by the edges of a bipartite graph with a perfect matching.


title: Supersymmetric reshaping and higher-dimensional rearrangement of photonic lattices

abstract: Integrated Jx photonic lattices, inspired by the quantum harmonic oscillator and due to their equidistant eigenvalue spectrum, have been proven extremely useful for various applications, such as perfect imaging and coherent transfer of quantum states. However, to date their large-scale implementation remains challenging. We apply concepts from supersymmetry to construct two-dimensional (2D) systems with spectra identical to that of one-dimensional (1D) Jx lattices. While exhibiting different dynamics, these 2D systems retain the key imaging and state transfer properties of the 1D Jx lattice. Our method extends to other systems with separable spectra, facilitates experimental fabrication, and may increase robustness to fabrication imperfections in large-scale photonic circuits.


title: Asymmetric Laplace scale mixtures for the distribution of cryptocurrency returns

abstract: Recent studies about cryptocurrency returns show that its distribution can be highly-peaked, skewed, and heavy-tailed, with a large excess kurtosis. To accommodate all these peculiarities, we propose the asymmetric Laplace scale mixture (ALSM) family of distributions. Each member of the family is obtained by dividing the scale parameter of the conditional asymmetric Laplace (AL) distribution by a convenient mixing random variable taking values on all or part of the positive real line and whose distribution depends on a parameter vector $\boldsymbol{\theta}$ providing greater flexibility to the resulting ALSM. Advantageously with respect to the AL distribution, the members of our family allow for a wider range of values for skewness and kurtosis. For illustrative purposes, we consider different mixing distributions; they give rise to ALSMs having a closed-form probability density function where the AL distribution is obtained as a special case under a convenient choice of $\boldsymbol{\theta}$. We examine some properties of our ALSMs such as hierarchical and stochastic representations and moments of practical interest. We describe an EM algorithm to obtain maximum likelihood estimates of the parameters for all the considered ALSMs. We fit these models to the returns of two cryptocurrencies, considering several classical distributions for comparison. The analysis shows how our models represent a valid alternative to the considered competitors in terms of AIC, BIC, and likelihood-ratio tests.


title: AirTrack: Onboard Deep Learning Framework for Long-Range Aircraft Detection and Tracking

abstract: Detect-and-Avoid (DAA) capabilities are critical for safe operations of unmanned aircraft systems (UAS). This paper introduces, AirTrack, a real-time vision-only detect and tracking framework that respects the size, weight, and power (SWaP) constraints of sUAS systems. Given the low Signal-to-Noise ratios (SNR) of far away aircraft, we propose using full resolution images in a deep learning framework that aligns successive images to remove ego-motion. The aligned images are then used downstream in cascaded primary and secondary classifiers to improve detection and tracking performance on multiple metrics. We show that AirTrack outperforms state-of-the art baselines on the Amazon Airborne Object Tracking (AOT) Dataset. Multiple real world flight tests with a Cessna 182 interacting with general aviation traffic and additional near-collision flight tests with a Bell helicopter flying towards a UAS in a controlled setting showcase that the proposed approach satisfies the newly introduced ASTM F3442/F3442M standard for DAA. Empirical evaluations show that our system has a probability of track of more than 95% up to a range of 700m. Video available at https://youtu.be/H3lL_Wjxjpw .


title: SIT 45: An interacting, compact, and star-forming isolated galaxy triplet

abstract: The merging system SIT 45 (UGC 12589) is an unusual isolated galaxy triplet, consisting of three merging late-type galaxies, out of 315 systems in the SIT (SDSS-based catalogue of Isolated Triplets). The main aims of this work are to study its dynamical evolution and star formation history (SFH), as well as its dependence on its local and large-scale environment. To study its dynamics, parameters such as the velocity dispersion ($\sigma_{v}$), the harmonic radius ($R_{H}$), the crossing time ($H_0t_c$), and the virial mass ($M_{vir}$), along with the compactness of the triplet ($S$) were considered. To constrain the SFH, we used CIGALE to fit its observed spectral energy distribution using multi-wavelength data from the ultraviolet to the infrared. According to its SFH, SIT 45 presents star-formation, where the galaxies also present recent ($\sim $200 Myr) star-formation increase, indicating that this activity may have been triggered by the interaction. Its dynamical configuration suggests that the system is highly evolved in comparison to the SIT. However this is not expected for systems composed of star-forming late-type galaxies, based on observations in compact groups. We conclude that SIT 45 is a system of three interacting galaxies that are evolving within the same dark matter halo, where its compact configuration is a consequence of the on-going interaction, rather than due to a long-term evolution (as suggested from its $H_0t_c$ value). We consider two scenarios for the present configuration of the triplet, one where one of the members is a tidal galaxy, and another where this galaxy arrives to the system after the interaction. Both scenarios need further exploration. The isolated triplet SIT 45 is therefore an ideal system to study short timescale mechanisms ($\sim 10^8$ years), such as starbursts triggered by interactions which are more frequent at higher redshift.


title: Configurations of spheres in $\#^n \mathbb{C} P^2$

abstract: By taking the complements of embeddings of sphere plumbings in connected sums of $\mathbb{C} P^2$, we construct examples of simply connected four-manifolds with lens space boundary and $b_2 = 1$. The resulting boundaries include many lens spaces that cannot come from integer surgery on any knot in $S^3$, so the corresponding four-manifolds cannot be built by attaching a single two-handle to $B^4$. Using similar constructions, we give an example of an embedded sphere in $\#^4 \mathbb{C} P^2$ with self-intersection number $20$, and conjecture that this is the maximum possible.


title: Perfect splitting of two-photon pulses

abstract: We employ a cascaded system approach to numerically simulate the interaction of photon pulses with a two-level scatterer in a chiral waveguide QED setup. It is possible to expand any pure state of two photons as a superposition of orthogonal two-photon pulses. We show that the scattering of a two-photon pulse of suitable duration may lead to an entangled output state between predominately two equally populated two-photon states. In a complementary wave packet basis, this state is a product state of two orthogonal single photon wave packets. The time reversal of the above scattering process allows for a perfect combination of distinguishable single-photon wave packet into a single-mode pulse carrying two identical photons.


title: Kernels of categorical resolutions of nodal singularities

abstract: In this paper we study derived categories of nodal singularities. We show that for all nodal singularities there is a categorical resolution whose kernel is generated by a $2$ or $3$-spherical object, depending on the dimension. We apply this result to the case of nodal cubic fourfolds, where we describe the kernel generator of the categorical resolution as an object in the bounded derived category of the associated degree six K3 surface. This paper originated from one of the problem sessions at the Interactive Workshop and Hausdorff School "Hyperk\"ahler Geometry", Bonn, September 6-10, 2021.


title: Edge-assisted Collaborative Digital Twin for Safety-Critical Robotics in Industrial IoT

abstract: Digital Twin technology is playing a pivotal role in the modern industrial evolution. Especially, with the technological progress in the Internet-of-Things (IoT) and the increasing trend in autonomy, multi-sensor equipped robotics can create practical digital twin, which is particularly useful in the industrial applications for operations, maintenance and safety. Herein, we demonstrate a real-world digital twin of a safety-critical robotics applications with a Franka-Emika-Panda robotic arm. We develop and showcase an edge-assisted collaborative digital twin for dynamic obstacle avoidance which can be useful in real-time adaptation of the robots while operating in the uncertain and dynamic environments in industrial IoT.


title: Inter-order relations between moments of a Student $t$ distribution, with an application to $L_p$-quantiles

abstract: This paper introduces inter-order formulas for partial and complete moments of a Student $t$ distribution with $n$ degrees of freedom. We show how the partial moment of order $n - j$ about any real value $m$ can be expressed in terms of the partial moment of order $j - 1$ for $j$ in $\{1,\dots, n \}$. Closed form expressions for the complete moments are also established. We then focus on $L_p$-quantiles, which represent a class of generalized quantiles defined through an asymmetric $p$-power loss function. Based on the results obtained, we also show that for a Student $t$ distribution the $L_{n-j+1}$-quantile and the $L_j$-quantile coincide at any confidence level $\tau$ in $(0, 1)$.


title: Digital Twin in Safety-Critical Robotics Applications: Opportunities and Challenges

abstract: Digital Twin technology is being envisioned to be an integral part of the industrial evolution in modern generation. With the rapid advancement in the Internet-of-Things (IoT) technology and increasing trend of automation, integration between the virtual and the physical world is now realizable to produce practical digital twins. However, the existing definitions of digital twin is incomplete and sometimes ambiguous. Herein, we conduct historical review and analyze the modern generic view of digital twin to create its new extended definition. We also review and discuss the existing work in digital twin in safety-critical robotics applications. Especially, the usage of digital twin in industrial applications necessitates autonomous and remote operations due to environmental challenges. However, the uncertainties in the environment may need close monitoring and quick adaptation of the robots which need to be safety-proof and cost effective. We demonstrate a case study on developing a framework for safety-critical robotic arm applications and present the system performance to show its advantages, and discuss the challenges and scopes ahead.


title: Rigid comparison geometry for Riemannian bands and open incomplete manifolds

abstract: Comparison theorems are foundational to our understanding of the geometric features implied by various curvature constraints. This paper considers manifolds with a positive lower bound on either scalar, 2-Ricci, or Ricci curvature, and contains a variety of theorems which provide sharp relationships between this bound and notions of {\em{width}}. Some inequalities leverage geometric quantities such as boundary mean curvature, while others involve topological conditions in the form of linking requirements or homological constraints. In several of these results open and incomplete manifolds are studied, one of which partially addresses a conjecture of Gromov in this setting. The majority of results are accompanied by rigidity statements which isolate various model geometries -- both complete and incomplete -- including a new characterization of round lens spaces, and other models that have not appeared elsewhere. As a byproduct, we additionally give new and quantitative proofs of several classical comparison statements such as Bonnet-Myers' and Frankel's Theorem, as well as a version of Llarull's Theorem and a notable fact concerning asymptotically flat manifolds. The results that we present vary significantly in character, however a common theme is present in that the lead role in each proof is played by \emph{spacetime harmonic functions}, which are solutions to a certain elliptic equation originally designed to study mass in mathematical general relativity.


title: Minimalistic Collective Perception with Imperfect Sensors

abstract: Collective perception is a foundational problem in swarm robotics, in which the swarm must reach consensus on a coherent representation of the environment. An important variant of collective perception casts it as a best-of-$n$ decision-making process, in which the swarm must identify the most likely representation out of a set of alternatives. Past work on this variant primarily focused on characterizing how different algorithms navigate the speed-vs-accuracy tradeoff in a scenario where the swarm must decide on the most frequent environmental feature. Crucially, past work on best-of-$n$ decision-making assumes the robot sensors to be perfect (noise- and fault-less), limiting the real-world applicability of these algorithms. In this paper, we derive from first principles an optimal, probabilistic framework for minimalistic swarm robots equipped with flawed sensors. Then, we validate our approach in a scenario where the swarm collectively decides the frequency of a certain environmental feature. We study the speed and accuracy of the decision-making process with respect to several parameters of interest. Our approach can provide timely and accurate frequency estimates even in presence of severe sensory noise.


title: Limit Profile for Projections of Random Walks on Groups

abstract: Establishing cutoff -- an abrupt transition from "not mixed" to "well mixed" -- is a classical topic in the theory of mixing times for Markov chains. Interest has grown recently in determining not only the existence of cutoff and the order of its mixing time and window, but the exact shape, or profile, of the convergence inside the window. Classical techniques, such as coupling or $\ell_2$-bounds, are typically too crude to establish this and there has been a push to develop general techniques. We build upon this work, extending from conjugacy-invariant random walks on groups to certain projections. We exemplify our method by analysing the $k$-particle interchange process on the complete $n$-graph with $k \asymp n$. This is a projection of the random-transpositions card shuffle, which corresponds to $k = n$, analysed by Teyssier.


title: Relative braid group symmetries on $\imath$quantum groups of Kac-Moody type

abstract: Recently, relative braid group actions on $\imath$quantum groups of arbitrary finite types have been constructed by Wang and the author. In this paper, we extend that construction to $\imath$quantum groups of Kac-Moody type. We formulate root vectors for $\imath$quantum groups in both recursive forms and closed $\imath$divided power forms. We show that the relative braid group symmetries send root vectors to root vectors.


title: On Asymptotic and Continuous Group Orlicz Cohomology

abstract: We generalize some results on asymptotic and continuous group $L^p$-cohomology to Orlicz cohomology. In particular, we show that asymptotic Orlicz cohomology is a quasi-isometry invariant and that both notions coincide in the case of a locally compact second countable group. The case of degree $1$ is studied in more detail.


title: Data-Enabled Predictive Control for Fast Charging of Lithium-Ion Batteries with Constraint Handling

abstract: Fast charging of lithium-ion batteries has gained extensive research interests, but most of existing methods are either based on simple rule-based charging profiles or require explicit battery models that are non-trivial to identify accurately. In this paper, instead of relying on parametric battery models that are costly to derive and calibrate, we employ a novel data-enabled predictive control (DeePC) paradigm to perform safe and optimal fast charging for lithium-ion batteries. The developed DeePC methodology is based on behavioral system theory and directly utilizes the input-output measurements from the battery system to predict the future trajectory and compute the optimal control policy. Constraints on input current and battery states are incorporated in the DeePC formulation to ensure battery fast charging with safe operations. Furthermore, we propose a principal component analysis based scheme to reduce the dimension of the optimization variables in the DeePC algorithm, which significantly enhances the computation efficiency without compromising the charging performance. Numerical simulations are performed on a high-fidelity battery simulator to validate the efficacy of the proposed fast charging strategy.


title: Automatic Identification and Classification of Share Buybacks and their Effect on Short-, Mid- and Long-Term Returns

abstract: This thesis investigates share buybacks, specifically share buyback announcements. It addresses how to recognize such announcements, the excess return of share buybacks, and the prediction of returns after a share buyback announcement. We illustrate two NLP approaches for the automated detection of share buyback announcements. Even with very small amounts of training data, we can achieve an accuracy of up to 90%. This thesis utilizes these NLP methods to generate a large dataset consisting of 57,155 share buyback announcements. By analyzing this dataset, this thesis aims to show that most companies, which have a share buyback announced are underperforming the MSCI World. A minority of companies, however, significantly outperform the MSCI World. This significant overperformance leads to a net gain when looking at the averages of all companies. If the benchmark index is adjusted for the respective size of the companies, the average overperformance disappears, and the majority underperforms even greater. However, it was found that companies that announce a share buyback with a volume of at least 1% of their market cap, deliver, on average, a significant overperformance, even when using an adjusted benchmark. It was also found that companies that announce share buybacks in times of crisis emerge better than the overall market. Additionally, the generated dataset was used to train 72 machine learning models. Through this, it was able to find many strategies that could achieve an accuracy of up to 77% and generate great excess returns. A variety of performance indicators could be improved across six different time frames and a significant overperformance was identified. This was achieved by training several models for different tasks and time frames as well as combining these different models, generating significant improvement by fusing weak learners, in order to create one strong learner.


title: Quadratic twists of genus one curves and Diophantine quintuples

abstract: Motivated by the theory of Diophantine $m$-tuples, we study rational points on quadratic twists $H^d:d y^2=(x^2+6x-18)(-x^2+2x+2)$, where $|d|$ is a prime. If we denote by $S(X)=\{ d \in \mathbb{Z}: H^d(\mathbb{Q})\ne \emptyset, |d| \textrm{ is a prime}\textrm{ and } |d| < X\},$ then, by assuming some standard conjectures about the ranks of elliptic curves in the family of quadratic twists, we prove that as $X \rightarrow \infty$ $$\frac{43}{256}+o(1)\le \frac{\#S(X)}{2\pi(X)}\le \frac{46}{256}+o(1).$$


title: Relativistic Liquids: GENERIC or EIT?

abstract: We study the GENERIC hydrodynamic theory for relativistic liquids formulated by Ottinger and collaborators. We use the maximum entropy principle to derive its conditions for linear stability (in an arbitrary reference frame) and for relativistic causality. In addition, we show that, in the linear regime, its field equations can be recast into a symmetric-hyperbolic form. Once rewritten in this way, the linearised field equations turn out to be a particular realization of the Israel-Stewart theory, where some of the Israel-Stewart free parameters are constrained. This also allows us to reinterpret the GENERIC framework in view of the principles of Extended Irreversible Thermodynamics (EIT) and to discuss its physical relevance to model (possibly viscoelastic) fluids.


title: SAPA: Similarity-Aware Point Affiliation for Feature Upsampling

abstract: We introduce point affiliation into feature upsampling, a notion that describes the affiliation of each upsampled point to a semantic cluster formed by local decoder feature points with semantic similarity. By rethinking point affiliation, we present a generic formulation for generating upsampling kernels. The kernels encourage not only semantic smoothness but also boundary sharpness in the upsampled feature maps. Such properties are particularly useful for some dense prediction tasks such as semantic segmentation. The key idea of our formulation is to generate similarity-aware kernels by comparing the similarity between each encoder feature point and the spatially associated local region of decoder features. In this way, the encoder feature point can function as a cue to inform the semantic cluster of upsampled feature points. To embody the formulation, we further instantiate a lightweight upsampling operator, termed Similarity-Aware Point Affiliation (SAPA), and investigate its variants. SAPA invites consistent performance improvements on a number of dense prediction tasks, including semantic segmentation, object detection, depth estimation, and image matting. Code is available at: https://github.com/poppinace/sapa


title: Trends, Opportunities, and Challenges in Using Restricted Device Authentication in Fog Computing

abstract: The few resources available on devices restricted in Internet of Things are an important issue when we think about security. In this perspective, our work proposes a agile systematic review literature on works involving the Internet of Things, authentication, and Fog Computing. As a result, related works, opportunities, and challenges found at these areas' intersections were brought, supporting other researchers and developers who work in these areas.


title: On Efficient Online Imitation Learning via Classification

abstract: Imitation learning (IL) is a general learning paradigm for tackling sequential decision-making problems. Interactive imitation learning, where learners can interactively query for expert demonstrations, has been shown to achieve provably superior sample efficiency guarantees compared with its offline counterpart or reinforcement learning. In this work, we study classification-based online imitation learning (abbrev. $\textbf{COIL}$) and the fundamental feasibility to design oracle-efficient regret-minimization algorithms in this setting, with a focus on the general nonrealizable case. We make the following contributions: (1) we show that in the $\textbf{COIL}$ problem, any proper online learning algorithm cannot guarantee a sublinear regret in general; (2) we propose $\textbf{Logger}$, an improper online learning algorithmic framework, that reduces $\textbf{COIL}$ to online linear optimization, by utilizing a new definition of mixed policy class; (3) we design two oracle-efficient algorithms within the $\textbf{Logger}$ framework that enjoy different sample and interaction round complexity tradeoffs, and conduct finite-sample analyses to show their improvements over naive behavior cloning; (4) we show that under the standard complexity-theoretic assumptions, efficient dynamic regret minimization is infeasible in the $\textbf{Logger}$ framework. Our work puts classification-based online imitation learning, an important IL setup, into a firmer foundation.


title: Distance Measures for Geometric Graphs

abstract: A geometric graph is a combinatorial graph, endowed with a geometry that is inherited from its embedding in a Euclidean space. Formulation of a meaningful measure of (dis-)similarity in both the combinatorial and geometric structures of two such geometric graphs is a challenging problem in pattern recognition. We study two notions of distance measures for geometric graphs, called the geometric edit distance (GED) and geometric graph distance (GGD). While the former is based on the idea of editing one graph to transform it into the other graph, the latter is inspired by inexact matching of the graphs. For decades, both notions have been lending themselves well as measures of similarity between attributed graphs. If used without any modification, however, they fail to provide a meaningful distance measure for geometric graphs -- even cease to be a metric. We have curated their associated cost functions for the context of geometric graphs. Alongside studying the metric properties of GED and GGD, we investigate how the two notions compare. We further our understanding of the computational aspects of GGD by showing that the distance is $\mathcal{NP}$-hard to compute, even if the graphs are planar and arbitrary cost coefficients are allowed.


title: Test Coverage for Network Configurations

abstract: We develop NetCov, the first tool to reveal which network configuration lines are being tested by a suite of network tests. It helps network engineers improve test suites and thus increase network reliability. A key challenge in its development is that many network tests test the data plane instead of testing the configurations (control plane) directly. We must be able to efficiently infer which configuration elements contribute to tested data plane elements, even when such contributions are non-local (on remote devices) or non-deterministic. NetCov uses an information flow graph based model that precisely captures various forms of contributions and a scalable method to lazily infer contributions. Using it, we show that an existing test suite for Internet2 (a nation-wide backbone network in the USA) covers only 26% of the configuration lines. The feedback from NetCov makes it easy to define new tests that improve coverage. For Internet2, adding just three such tests covers an additional 17% of the lines.


title: Variationally Mimetic Operator Networks

abstract: In recent years operator networks have emerged as promising deep learning tools for approximating the solution to partial differential equations (PDEs). These networks map input functions that describe material properties, forcing functions and boundary data to the solution of a PDE. This work describes a new architecture for operator networks that mimics the form of the numerical solution obtained from an approximate variational or weak formulation of the problem. The application of these ideas to a generic elliptic PDE leads to a variationally mimetic operator network (VarMiON). Like the conventional Deep Operator Network (DeepONet) the VarMiON is also composed of a sub-network that constructs the basis functions for the output and another that constructs the coefficients for these basis functions. However, in contrast to the DeepONet, the architecture of these sub-networks in the VarMiON is precisely determined. An analysis of the error in the VarMiON solution reveals that it contains contributions from the error in the training data, the training error, the quadrature error in sampling input and output functions, and a "covering error" that measures the distance between the test input functions and the nearest functions in the training dataset. It also depends on the stability constants for the exact solution operator and its VarMiON approximation. The application of the VarMiON to a canonical elliptic PDE and a nonlinear PDE reveals that for approximately the same number of network parameters, on average the VarMiON incurs smaller errors than a standard DeepONet and a recently proposed multiple-input operator network (MIONet). Further, its performance is more robust to variations in input functions, the techniques used to sample the input and output functions, the techniques used to construct the basis functions, and the number of input functions.


title: Health checkup test of the standard cosmological model in view of recent Cosmic Microwave Background Anisotropies experiments

abstract: We present an updated data-analysis comparison of the most recent observations of the Cosmic Microwave Background temperature anisotropies and polarization angular power spectra released by four different experiments: the Planck satellite on one side, and the Atacama Cosmology Telescope (ACTPol) and the South Pole Telescope (SPT-3G), combined with the WMAP satellite 9-years observation data in order to be "Planck-independent" on the other side. We investigate in a systematic way 8 extended cosmological models that differ from the baseline $\Lambda$CDM case by the inclusion of many different combinations of additional degrees of freedom, with the aim of finding a viable minimal extended model that can bring all the CMB experiments in agreement. Our analysis provides several hints for anomalies in the CMB angular power spectra in tension with the standard cosmological model that persist even in these multi-parameter spaces. This indicates that either significant unaccounted-for systematics in the CMB data are producing biased results or that $\Lambda$CDM is an incorrect/incomplete description of Nature. We conclude that only future independent high-precision CMB temperature and polarization measurements could provide a definitive answer.


title: Emergence of new optical resonances in single-layer transition metal dichalcogenides with atomic-size phase patterns

abstract: Atomic-scale control of light-matter interactions represent the ultimate frontier for many applications in photonics and quantum technology. Two-dimensional semiconductors, including transition metal dichalcogenides, are a promising platform to achieve such control due to the combination of an atomically thin geometry and convenient photophysical properties. Here, we demonstrate that a variety of durable polymorphic structures can be combined to generate additional optical resonances beyond the standard excitons. We theoretically predict and experimentally show that atomic-sized patches of 1T phase within the 1H matrix form unique electronic bands that give rise to new and robust optical resonances with strong absorption, circularly polarized emission and long radiative lifetime. The atomic manipulation of two-dimensional semiconductors opens unexplored scenarios for light harvesting devices and exciton-based photonics.


title: Dissipation properties of transport noise in the two-layer quasi-geostrophic model

abstract: A stochastic version of the two-layer quasi-geostrophic model (2LQG) with multiplicative transport noise is analysed. This popular intermediate complexity model describes large scale atmosphere and ocean dynamics at the mid-latitudes. The transport noise, which acts on both layers, accounts for the unresolved small scales. After establishing the well-posedness of the perturbed equations, we show that, under a suitable scaling of the noise, the solutions converge to the deterministic 2LQG model with enhanced dissipation. Moreover, these solutions converge to the deterministic stationary ones on the long time horizon.


title: Realistic Hair Synthesis with Generative Adversarial Networks

abstract: Recent successes in generative modeling have accelerated studies on this subject and attracted the attention of researchers. One of the most important methods used to achieve this success is Generative Adversarial Networks (GANs). It has many application areas such as; virtual reality (VR), augmented reality (AR), super resolution, image enhancement. Despite the recent advances in hair synthesis and style transfer using deep learning and generative modelling, due to the complex nature of hair still contains unsolved challenges. The methods proposed in the literature to solve this problem generally focus on making high-quality hair edits on images. In this thesis, a generative adversarial network method is proposed to solve the hair synthesis problem. While developing this method, it is aimed to achieve real-time hair synthesis while achieving visual outputs that compete with the best methods in the literature. The proposed method was trained with the FFHQ dataset and then its results in hair style transfer and hair reconstruction tasks were evaluated. The results obtained in these tasks and the operating time of the method were compared with MichiGAN, one of the best methods in the literature. The comparison was made at a resolution of 128x128. As a result of the comparison, it has been shown that the proposed method achieves competitive results with MichiGAN in terms of realistic hair synthesis, and performs better in terms of operating time.


title: New gaps on the Lagrange and Markov spectra

abstract: Let $L$ and $M$ denote the Lagrange and Markov spectra, respectively. It is known that $L\subset M$ and that $M\setminus L\neq\varnothing$. In this work, we exhibit new gaps of $L$ and $M$ using two methods. First, we derive such gaps by describing a new portion of $M\setminus L$ near to 3.938: this region (together with three other candidates) was found by investigating the pictures of $L$ recently produced by V. Delecroix and the last two authors with the aid of an algorithm explained in one of the appendices to this paper. As a by-product, we also get the largest known elements of $M\setminus L$ and we improve upon a lower bound on the Hausdorff dimension of $M\setminus L$ obtained by the last two authors together with M. Pollicott and P. Vytnova (heuristically, we get a new lower bound of $0.593$ on the dimension of $M\setminus L$). Secondly, we use a renormalisation idea and a thickness criterion (reminiscent from the third author's PhD thesis) to detect infinitely many maximal gaps of $M$ accumulating to Freiman's gap preceding the so-called Hall's ray $[4.52782956616...,\infty)\subset L$.


title: On (Simple) Decision Tree Rank

abstract: In the decision tree computation model for Boolean functions, the depth corresponds to query complexity, and size corresponds to storage space. The depth measure is the most well-studied one, and is known to be polynomially related to several non-computational complexity measures of functions such as certificate complexity. The size measure is also studied, but to a lesser extent. Another decision tree measure that has received very little attention is the minimal rank of the decision tree, first introduced by Ehrenfeucht and Haussler in 1989. This measure is closely related to the logarithm of the size, but is not polynomially related to depth, and hence it can reveal additional information about the complexity of a function. It is characterised by the value of a Prover-Delayer game first proposed by Pudl\'ak and Impagliazzo in the context of tree-like resolution proofs. In this paper we study this measure further. We obtain an upper bound on depth in terms of rank and Fourier sparsity. We obtain upper and lower bounds on rank in terms of (variants of) certificate complexity. We also obtain upper and lower bounds on the rank for composed functions in terms of the depth of the outer function and the rank of the inner function. This allow us to easily recover known asympotical lower bounds on logarithm of the size for Iterated AND-OR and Iterated 3-bit Majority. We compute the rank exactly for several natural functions and use them to show that all the bounds we have obtained are tight. We also show that rank in the simple decision tree model can be used to bound query complexity, or depth, in the more general conjunctive decision tree model. Finally, we improve upon the known size lower bound for the Tribes function and conclude that in the size-rank relationship for decision trees, obtained by Ehrenfeucht and Haussler, the upper bound for Tribes is asymptotically tight.


title: Learning and Deploying Robust Locomotion Policies with Minimal Dynamics Randomization

abstract: Training deep reinforcement learning (DRL) locomotion policies often require massive amounts of data to converge to the desired behaviour. In this regard, simulators provide a cheap and abundant source. For successful sim-to-real transfer, exhaustively engineered approaches such as system identification, dynamics randomization, and domain adaptation are generally employed. As an alternative, we investigate a simple strategy of random force injection (RFI) to perturb system dynamics during training. We show that the application of random forces enables us to emulate dynamics randomization. This allows us to obtain locomotion policies that are robust to variations in system dynamics. We further extend RFI, referred to as extended random force injection (ERFI), by introducing an episodic actuation offset. We demonstrate that ERFI provides additional robustness for variations in system mass offering on average a 53% improved performance over RFI. We also show that ERFI is sufficient to perform a successful sim-to-real transfer on two different quadrupedal platforms, ANYmal C and Unitree A1, even for perceptive locomotion over uneven terrain in outdoor environments.


title: Environmental and Social Sustainability of Creative-Ai

abstract: The recent developments of artificial intelligence increase its capability for the creation of arts in both largely autonomous and collaborative contexts. In both contexts, Ai aims to imitate, combine, and extend existing artistic styles, and can transform creative practices. In our ongoing research, we investigate such Creative-Ai from sustainability and ethical perspectives. The two main focus areas are understanding the environmental sustainability aspects (material, practices) in the context of artistic processes that involve Creative-Ai, and ethical issues related to who gets to be involved in the creation process (power, authorship, ownership). This paper provides an outline of our ongoing research in these two directions. We will present our interdisciplinary approach, which combines interviews, workshops, online ethnography, and energy measurements, to address our research questions: How is Creative-Ai currently used by artist communities, and which future applications do artists imagine? When Ai is applied to creating art, how might it impact the economy and environment? And, how can answers to these questions guide requirements for intellectual property regimes for Creative-Ai?