title: Orbital embedding and topology of one-dimensional two-band insulators

abstract: The topological invariants of band insulators are usually assumed to depend only on the connectivity between orbitals and not on their intra-cell position (orbital embedding), which is a separate piece of information in the tight-binding description. For example, in two dimensions, the orbital embedding is known to change the Berry curvature but not the Chern number. Here, we consider one-dimensional inversion-symmetric insulators classified by a $\mathbb{Z}_2$ topological invariant $\vartheta=0$ or $\pi$, related to the Zak phase, and show that $\vartheta$ crucially depends on orbital embedding. We study three two-band models with bond, site or mixed inversion: the Su-Schrieffer-Heeger model (SSH), the charge density wave model (CDW) and the Shockley model. The SSH (resp. CDW) model is found to have a unique phase with $\vartheta=0$ (resp. $\pi$). However, the Shockley model features a topological phase transition between $\vartheta=0$ and $\pi$. The key difference is whether the two orbitals per unit cell are at the same or different positions.


title: Beyond Bandit Feedback in Online Multiclass Classification

abstract: We study the problem of online multiclass classification in a setting where the learner's feedback is determined by an arbitrary directed graph. While including bandit feedback as a special case, feedback graphs allow a much richer set of applications, including filtering and label efficient classification. We introduce Gappletron, the first online multiclass algorithm that works with arbitrary feedback graphs. For this new algorithm, we prove surrogate regret bounds that hold, both in expectation and with high probability, for a large class of surrogate losses. Our bounds are of order $B\sqrt{\rho KT}$, where $B$ is the diameter of the prediction space, $K$ is the number of classes, $T$ is the time horizon, and $\rho$ is the domination number (a graph-theoretic parameter affecting the amount of exploration). In the full information case, we show that Gappletron achieves a constant surrogate regret of order $B^2K$. We also prove a general lower bound of order $\max\big\{B^2K,\sqrt{T}\big\}$ showing that our upper bounds are not significantly improvable. Experiments on synthetic data show that for various feedback graphs, our algorithm is competitive against known baselines.


title: Determination of approximate quantum labels based on projections of the total angular momentum on the molecule-fixed axis

abstract: Molecular line lists, particularly those computed for high temperature applications, often have very few states assigned local quantum numbers. These are often important components for accurately determining line shape parameters required for radiative transfer simulations. The projection of the total angular momentum onto the molecule fixed axis ($k$) is investigated in the Radau internal coordinate system to determine when it can be considered a good quantum number. In such a coordinate system, when the square of the $k^{th}$ component of the wavefunction is greater than one half, then we can classify $k$ as a good quantum number in accordance with the theorem of Hose and Taylor. Furthermore, it is demonstrated that when this holds true, oblate and prolate quantum labels $K_{a}$ and $K_{c}$ can reliably be predicted. This is demonstrated for the water and ozone molecules.


title: SciFive: a text-to-text transformer model for biomedical literature

abstract: In this report, we introduce SciFive, a domain-specific T5 model that has been pre-trained on large biomedical corpora. Our model outperforms the current SOTA methods (i.e. BERT, BioBERT, Base T5) on tasks in named entity relation, relation extraction, natural language inference, and question-answering. We show that text-generation methods have significant potential in a broad array of biomedical NLP tasks, particularly those requiring longer, more complex outputs. Our results support the exploration of more difficult text generation tasks and the development of new methods in this area


title: Origin and role of relativistic cosmic particles

abstract: This white paper briefly summarizes the importance of the study of relativistic cosmic rays, both as a constituent of our Universe, and through their impact on stellar and galactic evolution. The focus is on what can be learned over the coming decade through ground-based gamma-ray observations over the 20 GeV to 300 TeV range. The majority of the material is drawn directly from "Science with the Cherenkov Telescope Array", which describes the overall science case for CTA. We request that authors wishing to cite results contained in this white paper cite the original work.


title: Gribov horizon in Noncommutative QED

abstract: It is known that Noncommutative QED (NCQED) exhibits Gribov ambiguities in the Landau gauge. These ambiguities are related to zero modes of the Faddeev-Popov operator and arise in the ghost propagator when it has a pole. In this work, we establish a positive Faddeev-Popov operator for NCQED and the condition for the ghost propagator not to have poles, the so-called Gribov no-pole condition. This condition is implemented in the path integral, and allows for the calculation of the photon propagator in momentum space, which is dependent on the squared non-commutativity parameter. In the commutative limit standard QED is recovered.


title: Analyzing Open-Source Serverless Platforms: Characteristics and Performance

abstract: Serverless computing is increasingly popular because of its lower cost and easier deployment. Several cloud service providers (CSPs) offer serverless computing on their public clouds, but it may bring the vendor lock-in risk. To avoid this limitation, many open-source serverless platforms come out to allow developers to freely deploy and manage functions on self-hosted clouds. However, building effective functions requires much expertise and thorough comprehension of platform frameworks and features that affect performance. It is a challenge for a service developer to differentiate and select the appropriate serverless platform for different demands and scenarios. Thus, we elaborate the frameworks and event processing models of four popular open-source serverless platforms and identify their salient idiosyncrasies. We analyze the root causes of performance differences between different service exporting and auto-scaling modes on those platforms. Further, we provide several insights for future work, such as auto-scaling and metric collection.


title: Quasiconformal and Sobolev mappings in non-Ahlfors regular metric spaces

abstract: We show that a mapping $f\colon X\to Y$ satisfying the metric condition of quasiconformality outside suitable exceptional sets is in the Newton-Sobolev class $N_{\textrm{loc}}^{1,1}(X;Y)$. Contrary to previous works, we only assume an asymptotic version of Ahlfors-regularity on $X,Y$. This allows many non-Ahlfors regular spaces, such as weighted spaces and Fred Gehring's bowtie, to be included in the theory. Unexpectedly, already in the classical setting of unweighted Euclidean spaces, our theory detects Sobolev mappings that are not recognized by previous results.


title: Deep Neural Network Modeling of Unknown Partial Differential Equations in Nodal Space

abstract: We present a numerical framework for deep neural network (DNN) modeling of unknown time-dependent partial differential equations (PDE) using their trajectory data. Unlike the recent work of [Wu and Xiu, J. Comput. Phys. 2020], where the learning takes place in modal/Fourier space, the current method conducts the learning and modeling in physical space and uses measurement data as nodal values. We present a DNN structure that has a direct correspondence to the evolution operator of the underlying PDE, thus establishing the existence of the DNN model. The DNN model also does not require any geometric information of the data nodes. Consequently, a trained DNN defines a predictive model for the underlying unknown PDE over structureless grids. A set of examples, including linear and nonlinear scalar PDE, system of PDEs, in both one dimension and two dimensions, over structured and unstructured grids, are presented to demonstrate the effectiveness of the proposed DNN modeling. Extension to other equations such as differential-integral equations is also discussed.


title: Mutual control of stochastic switching for two electrically coupled superparamagnetic tunnel junctions

abstract: Superparamagnetic tunnel junctions (SMTJs) are promising sources for the randomness required by some compact and energy-efficient computing schemes. Coupling SMTJs gives rise to collective behavior that could be useful for cognitive computing. We use a simple linear electrical circuit to mutually couple two SMTJs through their stochastic electrical transitions. When one SMTJ makes a thermally induced transition, the voltage across both SMTJs changes, modifying the transition rates of both. This coupling leads to significant correlation between the states of the two devices. Using fits to a generalized N\'eel-Brown model for the individual thermally bistable magnetic devices, we can accurately reproduce the behavior of the coupled devices with a Markov model.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cs.ET physics.app-ph


title: Eight more low luminosity globular clusters in the Sagittarius dwarf galaxy

abstract: Context. The Sagittarius (Sgr) dwarf galaxy is merging with the Milky Way, and the study of its globular clusters (GCs) is important to understand the history and outcome of this ongoing process. Aims. Our main goal is to characterize the GC system of the Sgr dwarf galaxy. This task is hampered by high foreground stellar contamination, mostly from the Galactic bulge. Methods. We performed a GC search specifically tailored to find new GC members within the main body of this dwarf galaxy using the combined data of the VISTA Variables in the Via Lactea Extended Survey (VVVX) near-infrared survey and the Gaia Early Data Release 3 (EDR3) optical database. Results. We applied proper motion (PM) cuts to discard foreground bulge and disk stars, and we found a number of GC candidates in the main body of the Sgr dwarf galaxy. We selected the best GCs as those objects that have significant overdensities above the stellar background of the Sgr galaxy and that possess color-magnitude diagrams (CMDs) with well-defined red giant branches (RGBs) consistent with the distance and reddening of this galaxy. Conclusions. We discover eight new GC members of the Sgr galaxy, which adds up to 29 total GCs known in this dwarf galaxy. This total number of GCs shows that the Sgr dwarf galaxy hosts a rather rich GC system. Most of the new GCs appear to be predominantly metal-rich and have low luminosity. In addition, we identify ten other GC candidates that are more uncertain and need more data for proper confirmation.


title: 2-Cartesian fibrations I: A model for $\infty$-bicategories fibred in $\infty$-bicategories

abstract: In this paper, we provide a notion of $\infty$-bicategories fibred in $\infty$-bicategories which we call 2-Cartesian fibrations. Our definition is formulated using the language of marked biscaled simplicial sets: Those are scaled simplicial sets equipped with an additional collection of triangles containing the scaled 2-simplices, which we call lean triangles, in addition to a collection of edges containing all degenerate 1-simplices. We prove the existence of a left proper combinatorial simplicial model category whose fibrant objects are precisely the 2-Cartesian fibrations over a chosen scaled simplicial set $S$. Over the terminal scaled simplicial set, this provides a new model structure modeling $\infty$-bicategories, which we show is Quillen equivalent to Lurie's scaled simplicial set model. We conclude by providing a characterization of 2-Cartesian fibrations over an $\infty$-bicategory. This characterization then allows us to identify those 2-Cartesian fibrations arising as the coherent nerve of a fibration of $\operatorname{Set}^+_{\Delta}$-enriched categories, thus showing that our definition recovers the preexisting notions of fibred 2-categories.


title: Gravito-turbulence and dynamo in poorly ionised protostellar discs. I. Zero-net-flux case

abstract: In their early stages, protoplanetary discs are sufficiently massive to undergo gravitational instability (GI). This instability is thought to be involved in mass accretion, planet formation via gas fragmentation, the generation of spiral density waves, and outbursts. A key and very recent area of research is the interaction between the GI and magnetic fields in young protoplanetary discs, in particular whether this instability is able to sustain a magnetic field via a dynamo. We conduct three-dimensional, stratified shearing-box simulations using two independent codes, PLUTO and Athena++, to characterise the GI dynamo in poorly ionised protostellar discs subject to ambipolar diffusion. We find that the dynamo operates across a large range of ambipolar Elssaser number Am (which characterises the strength of ambipolar diffusion) and is particularly strong in the regime Am=10-100, with typical magnetic to thermal energy ratios of order unity. The dynamo is only weakly dependent on resolution (at least for Am <100), box size, and cooling law. The magnetic field is produced by the combination of differential rotation and large-scale vertical roll motions associated with spiral density waves. Our results have direct implications for the dynamo process in young protoplanetary discs and possibly some regions of AGN discs.


title: Stable free lattices in residually reducible Galois deformations and control theorem of Selmer groups

abstract: In this paper, we study the graph of homothety classes of stable free lattices in a two-dimensional representation over a local UFD. This generalizes a classical result of the case where the base ring is a discrete valuation ring due to Serre. As applications, we consider the case when the representation comes from a residually reducible Hida family and we study the control theorem of Selmer groups. These results enable us to know the precise statement of the main conjecture in residually reducible case as we will remark in section 4 and section 5.


title: High-Dimensional Bayesian Optimisation with Variational Autoencoders and Deep Metric Learning

abstract: We introduce a method combining variational autoencoders (VAEs) and deep metric learning to perform Bayesian optimisation (BO) over high-dimensional and structured input spaces. By adapting ideas from deep metric learning, we use label guidance from the blackbox function to structure the VAE latent space, facilitating the Gaussian process fit and yielding improved BO performance. Importantly for BO problem settings, our method operates in semi-supervised regimes where only few labelled data points are available. We run experiments on three real-world tasks, achieving state-of-the-art results on the penalised logP molecule generation benchmark using just 3% of the labelled data required by previous approaches. As a theoretical contribution, we present a proof of vanishing regret for VAE BO.


title: Modeling and characterizing stochastic neurons based on in vitro voltage-dependent spike probability functions

abstract: Neurons in the nervous system are submitted to distinct sources of noise, such as ionic-channel and synaptic noise, which introduces variability in their responses to repeated presentations of identical stimuli. This motivates the use of stochastic models to describe neuronal behavior. In this work, we characterize an intrinsically stochastic neuron model based on a voltage-dependent spike probability function. We determine the effect of the intrinsic noise in single neurons by measuring the spike time reliability and study the stochastic resonance phenomenon. The model was able to show increased reliability for non-zero intrinsic noise values, according to what is known from the literature, and the addition of intrinsic stochasticity in it enhanced the region in which stochastic resonance is present. We proceeded to the study at the network level where we investigated the behavior of a random network composed of stochastic neurons. In this case, the addition of an extra dimension, represented by the intrinsic noise, revealed dynamic states of the system that could not be found otherwise. Finally, we propose a method to estimate the spike probability curve from in vitro electrophysiological data.


title: Inferring Objectives in Continuous Dynamic Games from Noise-Corrupted Partial State Observations

abstract: Robots and autonomous systems must interact with one another and their environment to provide high-quality services to their users. Dynamic game theory provides an expressive theoretical framework for modeling scenarios involving multiple agents with differing objectives interacting over time. A core challenge when formulating a dynamic game is designing objectives for each agent that capture desired behavior. In this paper, we propose a method for inferring parametric objective models of multiple agents based on observed interactions. Our inverse game solver jointly optimizes player objectives and continuous-state estimates by coupling them through Nash equilibrium constraints. Hence, our method is able to directly maximize the observation likelihood rather than other non-probabilistic surrogate criteria. Our method does not require full observations of game states or player strategies to identify player objectives. Instead, it robustly recovers this information from noisy, partial state observations. As a byproduct of estimating player objectives, our method computes a Nash equilibrium trajectory corresponding to those objectives. Thus, it is suitable for downstream trajectory forecasting tasks. We demonstrate our method in several simulated traffic scenarios. Results show that it reliably estimates player objectives from a short sequence of noise-corrupted partial state observations. Furthermore, using the estimated objectives, our method makes accurate predictions of each player's trajectory.


title: Graphene in curved Snyder space

abstract: The Snyder-de Sitter (SdS) model which is invariant under the action of the de Sitter group, is an example of a noncommutative spacetime with three fundamental scales. In this paper, we considered the massless Dirac fermions in graphene layer in a curved Snyder spacetime which are subjected to an external magnetic field. We employed representation in the momentum space to derive the energy eigenvalues and the eigenfunctions of the system. Then, we used the deduced energy function obtaining the internal energy, heat capacity, and entropy functions. We investigated the role of the fundamental scales on these thermal quantities of the graphene layer. We found that the effect of the SdS model on the thermodynamic properties is significant.


title: RoSearch: Search for Robust Student Architectures When Distilling Pre-trained Language Models

abstract: Pre-trained language models achieve outstanding performance in NLP tasks. Various knowledge distillation methods have been proposed to reduce the heavy computation and storage requirements of pre-trained language models. However, from our observations, student models acquired by knowledge distillation suffer from adversarial attacks, which limits their usage in security sensitive scenarios. In order to overcome these security problems, RoSearch is proposed as a comprehensive framework to search the student models with better adversarial robustness when performing knowledge distillation. A directed acyclic graph based search space is built and an evolutionary search strategy is utilized to guide the searching approach. Each searched architecture is trained by knowledge distillation on pre-trained language model and then evaluated under a robustness-, accuracy- and efficiency-aware metric as environmental fitness. Experimental results show that RoSearch can improve robustness of student models from 7%~18% up to 45.8%~47.8% on different datasets with comparable weight compression ratio to existing distillation methods (4.6$\times$~6.5$\times$ improvement from teacher model BERT_BASE) and low accuracy drop. In addition, we summarize the relationship between student architecture and robustness through statistics of searched models.


title: Adversarial Attack and Defense in Deep Ranking

abstract: Deep Neural Network classifiers are vulnerable to adversarial attack, where an imperceptible perturbation could result in misclassification. However, the vulnerability of DNN-based image ranking systems remains under-explored. In this paper, we propose two attacks against deep ranking systems, i.e., Candidate Attack and Query Attack, that can raise or lower the rank of chosen candidates by adversarial perturbations. Specifically, the expected ranking order is first represented as a set of inequalities, and then a triplet-like objective function is designed to obtain the optimal perturbation. Conversely, an anti-collapse triplet defense is proposed to improve the ranking model robustness against all proposed attacks, where the model learns to prevent the positive and negative samples being pulled close to each other by adversarial attack. To comprehensively measure the empirical adversarial robustness of a ranking model with our defense, we propose an empirical robustness score, which involves a set of representative attacks against ranking models. Our adversarial ranking attacks and defenses are evaluated on MNIST, Fashion-MNIST, CUB200-2011, CARS196 and Stanford Online Products datasets. Experimental results demonstrate that a typical deep ranking system can be effectively compromised by our attacks. Nevertheless, our defense can significantly improve the ranking system robustness, and simultaneously mitigate a wide range of attacks.


title: Molecular mapping of the PDS70 system: No molecular absorption signatures from the forming planet PDS70 b

abstract: Aims. We aim to detect molecules in the atmosphere of the young forming companion PDS70 b by searching for atmospheric absorption features typical of substellar objects. Methods. We obtained medium-resolution (R$\approx$5075) spectra of the PDS70 planetary system with the SINFONI integral field spectrograph at the Very Large Telescope. We applied molecular mapping, based on cross-correlation with synthetic spectra, to identify signatures of molecular species in the atmosphere of the planet. Results. Although the planet emission is clearly detected when resampling the data to lower resolution, no molecular species could be identified with the cross-correlation technique. We estimated upper limits on the abundances of H$_2$O, CO and CH$_4$ ($\log(X_\mathrm{mol}) < -4.0$, $-4.1$ and $-4.9$, respectively) assuming a clear atmosphere, and we explored the impact of clouds, which increase the upper limits by a factor up to 0.7 dex. Assuming that the observations directly probe the planet's atmosphere, we found a lack of molecular species compared to other directly imaged companions or field objects. Under the assumption that the planet atmosphere presents similar characteristics to other directly imaged planets, we conclude that a dusty environment surrounds the planet, effectively obscuring any feature generated in its atmosphere. We quantify the extinction necessary to impede the detection ($A_V\approx16-17$ mag), pointing to the possibility of higher optical thickness than previously estimated from other studies. Finally, the non-detection of molecular species conflicts with atmospheric models previously proposed to describe the forming planet. Conclusions. To unveil how giant planets form, a comprehensive approach that includes constraints from multiple techniques needs to be undertaken. Molecular mapping emerges as an alternative to more classical techniques like SED fitting.


title: Beamforming and Transmit Power Design for Intelligent Reconfigurable Surface-aided Secure Spatial Modulation

abstract: Intelligent reflecting surface (IRS) is a promising solution to build a programmable wireless environment for future communication systems, in which the reflector elements steer the incident signal in fully customizable ways by passive beamforming. In this paper, an IRS-aided secure spatial modulation (SM) is proposed, where the IRS perform passive beamforming and information transfer simultaneously by adjusting the on-off states of the reflecting elements. We formulate an optimization problem to maximize the average secrecy rate (SR) by jointly optimizing the passive beamforming at IRS and the transmit power at transmitter under the consideration that the direct pathes channels from transmitter to receivers are obstructed by obstacles. As the expression of SR is complex, we derive a newly fitting expression (NASR) for the expression of traditional approximate SR (TASR), which has simpler closed-form and more convenient for subsequent optimization. Based on the above two fitting expressions, three beamforming methods, called maximizing NASR via successive convex approximation (Max-NASR-SCA), maximizing NASR via dual ascent (Max-NASR-DA) and maximizing TASR via semi-definite relaxation (Max-TASR-SDR) are proposed to improve the SR performance. Additionally, two transmit power design (TPD) methods are proposed based on the above two approximate SR expressions, called Max-NASR-TPD and Max-TASR-TPD. Simulation results show that the proposed Max-NASR-DA and Max-NASR-SCA IRS beamformers harvest substantial SR performance gains over Max-TASR-SDR. For TPD, the proposed Max-NASR-TPD performs better than Max-TASR-TPD. Particularly, the Max-NASR-TPD has a closed-form solution.


title: PAIO: A Software-Defined Storage Data Plane Framework

abstract: We propose PAIO, the first general-purpose framework that enables system designers to build custom-made Software-Defined Storage (SDS) data plane stages. It provides the means to implement storage optimizations adaptable to different workflows and user-defined policies, and allows straightforward integration with existing applications and I/O layers. PAIO allows stages to be integrated with modern SDS control planes to ensure holistic control and system-wide optimal performance. We demonstrate the performance and applicability of PAIO with two use cases. The first improves 99th percentile latency by 4x in industry-standard LSM-based key-value stores. The second ensures dynamic per-application bandwidth guarantees under shared storage environments.


title: Document-level Relation Extraction as Semantic Segmentation

abstract: Document-level relation extraction aims to extract relations among multiple entity pairs from a document. Previously proposed graph-based or transformer-based models utilize the entities independently, regardless of global information among relational triples. This paper approaches the problem by predicting an entity-level relation matrix to capture local and global information, parallel to the semantic segmentation task in computer vision. Herein, we propose a Document U-shaped Network for document-level relation extraction. Specifically, we leverage an encoder module to capture the context information of entities and a U-shaped segmentation module over the image-style feature map to capture global interdependency among triples. Experimental results show that our approach can obtain state-of-the-art performance on three benchmark datasets DocRED, CDR, and GDA.


title: Multi-modal Entity Alignment in Hyperbolic Space

abstract: Many AI-related tasks involve the interactions of data in multiple modalities. It has been a new trend to merge multi-modal information into knowledge graph(KG), resulting in multi-modal knowledge graphs (MMKG). However, MMKGs usually suffer from low coverage and incompleteness. To mitigate this problem, a viable approach is to integrate complementary knowledge from other MMKGs. To this end, although existing entity alignment approaches could be adopted, they operate in the Euclidean space, and the resulting Euclidean entity representations can lead to large distortion of KG's hierarchical structure. Besides, the visual information has yet not been well exploited. In response to these issues, in this work, we propose a novel multi-modal entity alignment approach, Hyperbolic multi-modal entity alignment(HMEA), which extends the Euclidean representation to hyperboloid manifold. We first adopt the Hyperbolic Graph Convolutional Networks (HGCNs) to learn structural representations of entities. Regarding the visual information, we generate image embeddings using the densenet model, which are also projected into the hyperbolic space using HGCNs. Finally, we combine the structure and visual representations in the hyperbolic space and use the aggregated embeddings to predict potential alignment results. Extensive experiments and ablation studies demonstrate the effectiveness of our proposed model and its components.


title: PcDGAN: A Continuous Conditional Diverse Generative Adversarial Network For Inverse Design

abstract: Engineering design tasks often require synthesizing new designs that meet desired performance requirements. The conventional design process, which requires iterative optimization and performance evaluation, is slow and dependent on initial designs. Past work has used conditional generative adversarial networks (cGANs) to enable direct design synthesis for given target performances. However, most existing cGANs are restricted to categorical conditions. Recent work on Continuous conditional GAN (CcGAN) tries to address this problem, but still faces two challenges: 1) it performs poorly on non-uniform performance distributions, and 2) the generated designs may not cover the entire design space. We propose a new model, named Performance Conditioned Diverse Generative Adversarial Network (PcDGAN), which introduces a singular vicinal loss combined with a Determinantal Point Processes (DPP) based loss function to enhance diversity. PcDGAN uses a new self-reinforcing score called the Lambert Log Exponential Transition Score (LLETS) for improved conditioning. Experiments on synthetic problems and a real-world airfoil design problem demonstrate that PcDGAN outperforms state-of-the-art GAN models and improves the conditioning likelihood by 69% in an airfoil generation task and up to 78% in synthetic conditional generation tasks and achieves greater design space coverage. The proposed method enables efficient design synthesis and design space exploration with applications ranging from CAD model generation to metamaterial selection.


title: Multi-messenger and transient astrophysics with the Cherenkov Telescope Array

abstract: The discovery of gravitational waves, high-energy neutrinos or the very-high-energy counterpart of gamma-ray bursts has revolutionized the high-energy and transient astrophysics community. The development of new instruments and analysis techniques will allow the discovery and/or follow-up of new transient sources. We describe the prospects for the Cherenkov Telescope Array (CTA), the next-generation ground-based gamma-ray observatory, for multi-messenger and transient astrophysics in the decade ahead. CTA will explore the most extreme environments via very-high-energy observations of compact objects, stellar collapse events, mergers and cosmic-ray accelerators.


title: Curve obstruction for autonomous diffeomorphisms on surfaces

abstract: Consider a Hamiltonian diffeomorphism $g$ on a surface. We describe several scenarios where a curve $L$ and its image $g(L)$ provide a simple evidence that $g$ is not autonomous.


title: Electron temperature fluctuations in Seyfert galaxies

abstract: We use Gemini GMOS-IFU observations of three luminous nearby Seyfert galaxies (Mrk79, Mrk348 and Mrk607) to estimate the electron temperature ($T_{\rm e}$) fluctuations in the inner 0.4-1.1 kpc region of these galaxies. Based on $T_{\rm e}$ determinations through the [O III]$\lambda5007$/$\lambda4363$ emission line ratio of each spaxel, temperature variations are quantified by computing the integrated value of the temperature fluctuation parameter ($t^{\rm 2}$) projected in the plane of the sky $t_{\rm A}^{\rm 2}$, for the first time in Active Galactic Nuclei. We find $t_{\rm A}^{\rm 2}$ values of 0.135, 0.039, and 0.015 for Mrk79, Mrk348, and Mrk607, respectively, which are of the same order or larger than the maximum values reported in star-forming regions and planetary nebulae. Taking into account that $t_{\rm A}^{\rm 2}$ should be considered a lower limit of the total $t^2$ in the nebular volume, the results suggest that the impact of such fluctuations on chemical abundance determinations can be important in some AGNs.


title: MAELAS 2.0: A new version of a computer program for the calculation of magneto-elastic properties

abstract: MAELAS is a computer program for the calculation of magnetocrystalline anisotropy energy, anisotropic magnetostrictive coefficients and magnetoelastic constants in an automated way. The method originally implemented in version 1.0 of MAELAS was based on the length optimization of the unit cell, proposed by Wu and Freeman, to calculate the anisotropic magnetostrictive coefficients. We present here a revised and updated version (v2.0) of MAELAS, where we added a new methodology to compute anisotropic magnetoelastic constants from a linear fitting of the energy versus applied strain. We analyze and compare the accuracy of both methods showing that the new approach is more reliable and robust than the one implemented in version 1.0, especially for non-cubic crystal symmetries. This analysis also help us to find that the accuracy of the method implemented in version 1.0 could be improved by using deformation gradients derived from the equilibrium magnetoelastic strain tensor, as well as potential future alternative methods like the strain optimization method. Additionally, we clarify the role of the demagnetized state in the fractional change in length, and derive the expression for saturation magnetostriction for polycrystals with trigonal, tetragonal and orthorhombic crystal symmetry. In this new version, we also fix some issues related to trigonal crystal symmetry found in version 1.0.


title: Minkowski spacetime and non-Ricci-flat compactification in heterotic supergravity

abstract: We compactify the ten-dimensional spacetime in heterotic supergravity leaving four-dimensional Minkowski spacetime. We search for nonsupersymmetric, non-Ricci-flat solutions of the equations of motion with the quadratic curvature term. By assuming that the extradimensional spaces are products of 2-manifolds, three types of solutions are found. They are $S^2\times T^2 \times H^2/\Gamma$, $S^2\times H^2/\Gamma \times H^2/\Gamma$, and $S^2\times S^2 \times H^2/\Gamma$, where $H^2/\Gamma$ denotes a compact hyperbolic manifold. The metrics can be written explicitly, and they can be applied to phenomenology.


title: Towards Formal Verification of Password Generation Algorithms used in Password Managers

abstract: Password managers are important tools that enable us to use stronger passwords, freeing us from the cognitive burden of remembering them. Despite this, there are still many users who do not fully trust password managers. In this paper, we focus on a feature that most password managers offer that might impact the user's trust, which is the process of generating a random password. We survey which algorithms are most commonly used and we propose a solution for a formally verified reference implementation of a password generation algorithm. We use EasyCrypt as our framework to both specify the reference implementation and to prove its functional correctness and security.


title: Transportation dynamics of dielectric particles with the gradient forces in the field of orthogonal standing laser waves

abstract: We develop the theory of transportation and localization of a transparent dielectric spherical particle with the gradient forces in the interference field of orthogonally directed standing laser waves $E_z (\cos kz)$ and $E_x (\cos kx)$. It is shown that, when the waves $E_z$ and $E_x$ are coherent, the interference radiation field contains two harmonic components with the periods $\Lambda_0=\pi/k$ and $\Lambda_\Delta=\pi/(k \sin (\pi/4))$. The amplitudes of the gradient force components depend on the ratio of the particle radius $R$ to the modulation periods due to inhomogeneity of radiation in the particle volume and are given by the Bessel functions $J_{3/2} (2 \pi R/\Lambda_0)$ and $J_{3/2} (2 \pi R/\Lambda_\Delta)$. We find the critical particle radii $R_0$ and $R_\Delta=\sqrt{2} R_0$ defined by the Bessel functions zeros and corresponding to the vanishing components of the gradient forces. In particular, for the radiation with the wavelength $\lambda_0=1.064$ {\mu}m and a particle in water, the smallest critical radii are $R_0=0.286$ $\mu$m and $0.492$ {\mu}m and $R_\Delta=0.404$ $\mu$m and $0.696$ $\mu$m, respectively. For a number of special cases, we obtain the analytical solutions of the Newton equations and the particle trajectories that depend on the ratio of wave intensities and the particle radius. The results can be used to study the dynamics of the "optical assembly" of a two-dimensional particles matrix which behaves as a molecular crystal.


title: Iterated monodromy groups of Chebyshev-like maps on $\mathbb{C}^n$

abstract: Every affine Weyl group appears as the iterated monodromy group of a Chebyshev-like polynomial self-map of $\mathbb{C}^n$.


title: A study of potential non-relativistic QED pairs in the Keldysh-Schwinger formalism

abstract: Potential non-relativistic Quantum Electrodynamics and the Keldysh-Schwinger formalism is used to derive Kadanoff-Baym-like equations for two-body field correlators. These cover the out-off-equilibrium dynamics and spectrum of heavy particle-antiparticle pairs under ultra-soft transitions inside a plasma background, whose temperature is much smaller compared to the typical relative pair momentum. It is shown that the dynamical equation for the pair phase-space distribution function, containing recombination and dissociation via the electric dipole interactions, is consistent with the previous open quantum system treatment of bound states in the Coulomb limit of the two-body spectral function.

categories: hep-th cond-mat.quant-gas cond-mat.str-el hep-ph


title: Efficient Iterative Amortized Inference for Learning Symmetric and Disentangled Multi-Object Representations

abstract: Unsupervised multi-object representation learning depends on inductive biases to guide the discovery of object-centric representations that generalize. However, we observe that methods for learning these representations are either impractical due to long training times and large memory consumption or forego key inductive biases. In this work, we introduce EfficientMORL, an efficient framework for the unsupervised learning of object-centric representations. We show that optimization challenges caused by requiring both symmetry and disentanglement can in fact be addressed by high-cost iterative amortized inference by designing the framework to minimize its dependence on it. We take a two-stage approach to inference: first, a hierarchical variational autoencoder extracts symmetric and disentangled representations through bottom-up inference, and second, a lightweight network refines the representations with top-down feedback. The number of refinement steps taken during training is reduced following a curriculum, so that at test time with zero steps the model achieves 99.1% of the refined decomposition performance. We demonstrate strong object decomposition and disentanglement on the standard multi-object benchmark while achieving nearly an order of magnitude faster training and test time inference over the previous state-of-the-art model.


title: Unsupervised Representation Disentanglement of Text: An Evaluation on Synthetic Datasets

abstract: To highlight the challenges of achieving representation disentanglement for text domain in an unsupervised setting, in this paper we select a representative set of successfully applied models from the image domain. We evaluate these models on 6 disentanglement metrics, as well as on downstream classification tasks and homotopy. To facilitate the evaluation, we propose two synthetic datasets with known generative factors. Our experiments highlight the existing gap in the text domain and illustrate that certain elements such as representation sparsity (as an inductive bias), or representation coupling with the decoder could impact disentanglement. To the best of our knowledge, our work is the first attempt on the intersection of unsupervised representation disentanglement and text, and provides the experimental framework and datasets for examining future developments in this direction.


title: Quantifying and Improving Transferability in Domain Generalization

abstract: Out-of-distribution generalization is one of the key challenges when transferring a model from the lab to the real world. Existing efforts mostly focus on building invariant features among source and target domains. Based on invariant features, a high-performing classifier on source domains could hopefully behave equally well on a target domain. In other words, the invariant features are \emph{transferable}. However, in practice, there are no perfectly transferable features, and some algorithms seem to learn "more transferable" features than others. How can we understand and quantify such \emph{transferability}? In this paper, we formally define transferability that one can quantify and compute in domain generalization. We point out the difference and connection with common discrepancy measures between domains, such as total variation and Wasserstein distance. We then prove that our transferability can be estimated with enough samples and give a new upper bound for the target error based on our transferability. Empirically, we evaluate the transferability of the feature embeddings learned by existing algorithms for domain generalization. Surprisingly, we find that many algorithms are not quite learning transferable features, although few could still survive. In light of this, we propose a new algorithm for learning transferable features and test it over various benchmark datasets, including RotatedMNIST, PACS, Office-Home and WILDS-FMoW. Experimental results show that the proposed algorithm achieves consistent improvement over many state-of-the-art algorithms, corroborating our theoretical findings.


title: Binding Sites, Vibrations and Spin-Lattice Relaxation Times in Europium(II)-based Metallofullerene Spin Qubits

abstract: To design molecular spin qubits with enhanced quantum coherence, a control of the coupling between the local vibrations and the spin states is crucial, which could be realized in principle by engineering molecular structures via coordination chemistry. To this end, understanding the underlying structural factors that govern the spin relaxation is a central topic. Here, we report the investigation of the spin dynamics in a series of chemically-designed europium(II)-based endohedral metallofullerenes (EMFs). By introducing a unique structural difference, i.e. metal-cage binding site, while keeping other molecular parameters constant between different complexes, these manifest the key role of the three low energy metal-based vibrations in mediating the spin-lattice relaxation times (T1). The temperature dependence of T1 can thus be normalized by the frequencies of these low energy vibrations to show an unprecedentedly universal behavior for EMFs in frozen CS2 solution. Our theoretical analysis indicates that this structural difference determines not only the vibrational rigidity but also spin-vibration coupling in these EMF-based qubit candidates.


title: PROST: Physical Reasoning of Objects through Space and Time

abstract: We present a new probing dataset named PROST: Physical Reasoning about Objects Through Space and Time. This dataset contains 18,736 multiple-choice questions made from 14 manually curated templates, covering 10 physical reasoning concepts. All questions are designed to probe both causal and masked language models in a zero-shot setting. We conduct an extensive analysis which demonstrates that state-of-the-art pretrained models are inadequate at physical reasoning: they are influenced by the order in which answer options are presented to them, they struggle when the superlative in a question is inverted (e.g., most <-> least), and increasing the amount of pretraining data and parameters only yields minimal improvements. These results provide support for the hypothesis that current pretrained models' ability to reason about physical interactions is inherently limited by a lack of real world experience. By highlighting these limitations, we hope to motivate the development of models with a human-like understanding of the physical world.


title: GTM: A Generative Triple-Wise Model for Conversational Question Generation

abstract: Generating some appealing questions in open-domain conversations is an effective way to improve human-machine interactions and lead the topic to a broader or deeper direction. To avoid dull or deviated questions, some researchers tried to utilize answer, the "future" information, to guide question generation. However, they separate a post-question-answer (PQA) triple into two parts: post-question (PQ) and question-answer (QA) pairs, which may hurt the overall coherence. Besides, the QA relationship is modeled as a one-to-one mapping that is not reasonable in open-domain conversations. To tackle these problems, we propose a generative triple-wise model with hierarchical variations for open-domain conversational question generation (CQG). Latent variables in three hierarchies are used to represent the shared background of a triple and one-to-many semantic mappings in both PQ and QA pairs. Experimental results on a large-scale CQG dataset show that our method significantly improves the quality of questions in terms of fluency, coherence and diversity over competitive baselines.


title: Usage of GPUs in ALICE Online and Offline processing during LHC Run 3

abstract: ALICE will significantly increase its Pb--Pb data taking rate from the 1\,kHz of triggered readout in Run 2 to 50 kHz of continuous readout for LHC Run 3. Updated tracking detectors are installed for Run 3 and a new two-phase computing strategy is employed. In the first synchronous phase during the data taking, the raw data is compressed for storage to an on-site disk buffer and the required data for the detector calibration is collected. In the second asynchronous phase the compressed raw data is reprocessed using the final calibration to produce the final reconstruction output. Traditional CPUs are unable to cope with the huge data rate and processing demands of the synchronous phase, therefore ALICE employs GPUs to speed up the processing. Since the online computing farm performs a part of the asynchronous processing when there is no beam in the LHC, ALICE plans to use the GPUs also for this second phase. This paper gives an overview of the GPU processing in the synchronous phase, the full system test to validate the reference GPU architecture, and the prospects for the GPU usage in the asynchronous phase.


title: Deep Canonical Correlation Alignment for Sensor Signals

abstract: Sensor technologies are becoming increasingly prevalent in the biomedical field, with applications ranging from telemonitoring of people at risk, to using sensor derived information as objective endpoints in clinical trials. To fully utilize sensor information, signals from distinct sensors often have to be temporally aligned. However, due to imperfect oscillators and significant noise, commonly encountered with biomedical signals, temporal alignment of raw signals is an all but trivial problem, with, to-date, no generally applicable solution. In this work, we present Deep Canonical Correlation Alignment (DCCA), a novel, generally applicable solution for the temporal alignment of raw (biomedical) sensor signals. DCCA allows practitioners to directly align raw signals, from distinct sensors, without requiring deep domain knowledge. On a selection of artificial and real datasets, we demonstrate the performance and utility of DCCA under a variety of conditions. We compare the DCCA algorithm to other warping based methods, DCCA outperforms dynamic time warping and cross correlation based methods by an order of magnitude in terms of alignment error. DCCA performs especially well on almost periodic biomedical signals such as heart-beats and breathing patterns. In comparison to existing approaches, that are not tailored towards raw sensor data, DCCA is not only fast enough to work on signals with billions of data points but also provides automatic filtering and transformation functionalities, allowing it to deal with very noisy and even morphologically distinct signals.


title: Irreducible representations of simple Lie algebras by differential operators

abstract: We describe a systematic method to construct arbitrary highest-weight modules, including arbitrary finite-dimensional representations, for any finite dimensional simple Lie algebra $\mathfrak{g}$. The Lie algebra generators are represented as first order differential operators in $\frac{1}{2} \left(\dim \mathfrak{g} - \text{rank} \, \mathfrak{g}\right) $ variables. All rising generators ${\bf e}$ are universal in the sense that they do not depend on representation, the weights enter (in a very simple way) only in the expressions for the lowering operators ${\bf f}$. We present explicit formulas of this kind for the simple root generators of all classical Lie algebras.


title: SNR optimization of multi-span fiber optic communication systems employing EDFAs with non-flat gain and noise figure

abstract: Throughput optimization of optical communication systems is a key challenge for current optical networks. The use of gain-flattening filters (GFFs) simplifies the problem at the cost of insertion loss, higher power consumption and potentially poorer performance. In this work, we propose a component wise model of a multi-span transmission system for signal-to-noise (SNR) optimization. A machine-learning based model is trained for the gain and noise figure spectral profile of a C-band amplifier without a GFF. The model is combined with the Gaussian noise model for nonlinearities in optical fibers including stimulated Raman scattering and the implementation penalty spectral profile measured in back-to-back in order to predict the SNR in each channel of a multi-span wavelength division multiplexed system. All basic components in the system model are differentiable and allow for the gradient descent-based optimization of a system of arbitrary configuration in terms of number of spans and length per span. When the input power profile is optimized for flat and maximized received SNR per channel, the minimum performance in an arbitrary 3-span experimental system is improved by up to 8 dB w.r.t. a system with flat input power profile. An SNR flatness down to 1.2 dB is simultaneously achieved. The model and optimization methods are used to optimize the performance of an example core network, and 0.2 dB of gain is shown w.r.t. solutions that do not take into account nonlinearities. The method is also shown to be beneficial for systems with ideal gain flattening, achieving up to 0.3 dB of gain w.r.t. a flat input power profile.


title: Making EfficientNet More Efficient: Exploring Batch-Independent Normalization, Group Convolutions and Reduced Resolution Training

abstract: Much recent research has been dedicated to improving the efficiency of training and inference for image classification. This effort has commonly focused on explicitly improving theoretical efficiency, often measured as ImageNet validation accuracy per FLOP. These theoretical savings have, however, proven challenging to achieve in practice, particularly on high-performance training accelerators. In this work, we focus on improving the practical efficiency of the state-of-the-art EfficientNet models on a new class of accelerator, the Graphcore IPU. We do this by extending this family of models in the following ways: (i) generalising depthwise convolutions to group convolutions; (ii) adding proxy-normalized activations to match batch normalization performance with batch-independent statistics; (iii) reducing compute by lowering the training resolution and inexpensively fine-tuning at higher resolution. We find that these three methods improve the practical efficiency for both training and inference. Code available at https://github.com/graphcore/graphcore-research/tree/main/Making_EfficientNet_More_Efficient .


title: A Shape-Newton approach to the problem of covering with identical balls

abstract: The problem of covering a region of the plane with a fixed number of minimum-radius identical balls is studied in the present work. An explicit construction of bi-Lipschitz mappings is provided to model small perturbations of the union of balls. This allows us to obtain analytical expressions for first- and second-order derivatives using nonsmooth shape optimization techniques under appropriate regularity assumptions. Singular cases are also studied using asymptotic analysis. For the case of regions given by the union of disjoint convex polygons, algorithms based on Voronoi diagrams that do not rely on approximations are given to compute the derivatives. Extensive numerical experiments illustrate the capabilities and limitations of the introduced approach.


title: Absolute Eigenvalues-Based Covariance Matrix Estimation for a Sparse Array

abstract: The ensemble covariance matrix of a wide sense stationary signal spatially sampled by a full linear array is positive semi-definite and Toeplitz. However, the direct augmented covariance matrix of an augmentable sparse array is Toeplitz but not positive semi-definite, resulting in negative eigenvalues that pose inherent challenges in its applications, including model order estimation and source localization. The positive eigenvalues-based covariance matrix for augmentable sparse arrays is robust but the matrix is unobtainable when all noise eigenvalues of the direct augmented matrix are negative, which is a possible case. To address this problem, we propose a robust covariance matrix for augmentable sparse arrays that leverages both positive and negative noise eigenvalues. The proposed covariance matrix estimate can be used in conjunction with subspace based algorithms and adaptive beamformers to yield accurate signal direction estimates.


title: Prevention Is Better Than Cure: Experimental Evidence From Milk Fever Incidence in Dairy Animals of Haryana, India

abstract: Calcium deficiency in high yielding bovines during calving causes milk fever which leads to economic losses of around INR 1000 crores (USD 137 million) per annum in Haryana, India. With increasing milk production, the risk of milk fever is continuously rising. In the context, we aim to address the most fundamental research question: What is the effect of a preventive health product (anionic mineral mixture (AMM)) on milk fever incidence, milk productivity and farmers income? In an effort to contribute to the scanty economic literature on effect of preventive measures on nutritional deficiency disorders in dairy animals, specifically, on AMM effects in India, this study uses a randomized controlled design to estimate internally valid estimates. Using data from 200 dairy farms, results indicate that milk fever incidence decreases from 21 per cent at baseline to 2 per cent in treated animals at follow-up. Further, AMM leads to a 12 per cent and 38 per cent increase in milk yield and farmers net income, respectively. Profits earned due to the prevention of milk fever [INR 16000 (USD 218.7)] overweighs the losses from milk fever [INR 4000 (USD 54.7)]; thus, prevention using AMM is better than cure.


title: Influence of microstructural and crystallographic inhomogeneity on tensile anisotropy in thick-section Al-Li-Cu-Mg plates

abstract: Thick-section plates made from a recently developed Al-Cu-Mg-Li alloy have been evaluated to understand the influence of microstructure on the anisotropy of tensile strengths after natural and artificial ageing treatment. Pancake-shaped grains with a coarse substructure and strong crystallographic texture with a beta-fibre orientation at the mid-thickness position are observed. In addition, an inhomogeneous distribution of T1 precipitates through the plate thickness has been revealed with the volume fraction of intragranular precipitates ~ 40% higher at the plate centre than the thickness position. Altogether these microstructural features contribute to the in-plane anisotropy of tensile strengths that is ~ 5% higher at the mid-thickness position than the 1/4 thickness position. The variation of ageing-induced T1 precipitates through the plate thickness further contributes to the through-thickness anisotropy that is ~ 3% higher in T8 temper as compared to T3 temper.


title: Photonic Differential Privacy with Direct Feedback Alignment

abstract: Optical Processing Units (OPUs) -- low-power photonic chips dedicated to large scale random projections -- have been used in previous work to train deep neural networks using Direct Feedback Alignment (DFA), an effective alternative to backpropagation. Here, we demonstrate how to leverage the intrinsic noise of optical random projections to build a differentially private DFA mechanism, making OPUs a solution of choice to provide a private-by-design training. We provide a theoretical analysis of our adaptive privacy mechanism, carefully measuring how the noise of optical random projections propagates in the process and gives rise to provable Differential Privacy. Finally, we conduct experiments demonstrating the ability of our learning procedure to achieve solid end-task performance.


title: Proximal nested sampling for high-dimensional Bayesian model selection

abstract: Bayesian model selection provides a powerful framework for objectively comparing models directly from observed data, without reference to ground truth data. However, Bayesian model selection requires the computation of the marginal likelihood (model evidence), which is computationally challenging, prohibiting its use in many high-dimensional Bayesian inverse problems. With Bayesian imaging applications in mind, in this work we present the proximal nested sampling methodology to objectively compare alternative Bayesian imaging models for applications that use images to inform decisions under uncertainty. The methodology is based on nested sampling, a Monte Carlo approach specialised for model comparison, and exploits proximal Markov chain Monte Carlo techniques to scale efficiently to large problems and to tackle models that are log-concave and not necessarily smooth (e.g., involving l_1 or total-variation priors). The proposed approach can be applied computationally to problems of dimension O(10^6) and beyond, making it suitable for high-dimensional inverse imaging problems. It is validated on large Gaussian models, for which the likelihood is available analytically, and subsequently illustrated on a range of imaging problems where it is used to analyse different choices of dictionary and measurement model.


title: The Amazing Chromatic Polynomial

abstract: Let G be a combinatorial graph with vertices V and edges E. A proper coloring of G is an assignment of colors to the vertices such that no edge connects two vertices of the same color. These are the colorings considered in the famous Four Color Theorem. It turns out that the number of proper colorings of G using t colors is a polynomial in t, called the chromatic polynomial of G. This polynomial has many wonderful properties. It also has the surprising habit of appearing in contexts which, a priori, have nothing to do with graph coloring. We will survey three such instances involving acyclic orientations, hyperplane arrangements, and increasing forests. In addition, connections to symmetric functions and algebraic geometry will be mentioned.


title: Cost-effective Mapping of Mobile Robot Based on the Fusion of UWB and Short-range 2D LiDAR

abstract: Environment mapping is an essential prerequisite for mobile robots to perform different tasks such as navigation and mission planning. With the availability of low-cost 2D LiDARs, there are increasing applications of such 2D LiDARs in industrial environments. However, environment mapping in an unknown and feature-less environment with such low-cost 2D LiDARs remains a challenge. The challenge mainly originates from the short-range of LiDARs and complexities in performing scan matching in these environments. In order to resolve these shortcomings, we propose to fuse the ultra-wideband (UWB) with 2D LiDARs to improve the mapping quality of a mobile robot. The optimization-based approach is utilized for the fusion of UWB ranging information and odometry to first optimize the trajectory. Then the LiDAR-based loop closures are incorporated to improve the accuracy of the trajectory estimation. Finally, the optimized trajectory is combined with the LiDAR scans to produce the occupancy map of the environment. The performance of the proposed approach is evaluated in an indoor feature-less environment with a size of 20m*20m. Obtained results show that the mapping error of the proposed scheme is 85.5% less than that of the conventional GMapping algorithm with short-range LiDAR (for example Hokuyo URG-04LX in our experiment with a maximum range of 5.6m).


title: A Photonic Atom Probe Analysis of the Effect of Extended and Point Defects on the Luminescence of InGaN/GaN Quantum Dots

abstract: We report a correlative microscopy study of a sample containing three stacks of InGaN/GaN quantum dots (QDs) grown at different substrate temperature, each stack consisting of 3 layers of QDs. Decreasing the substrate temperature along the growth axis leads to the proliferation of structural defects. However, the luminescence intensity increases towards the surface, in spite of the higher density of threading dislocations, revealing that the QD layers closer to the substrate behave as traps for non-radiative point defects. During atom probe tomography experiments combined with in-situ micro-photoluminescence, it was possible to isolate the optical emission of a single QD located in the topmost QD stack, closer to the sample surface. The single QD emission line displayed a spectral shift during the experiment confirming the relaxation of elastic strain due to material evaporation during atom probe tomography.


title: Shuffle Transformer: Rethinking Spatial Shuffle for Vision Transformer

abstract: Very recently, Window-based Transformers, which computed self-attention within non-overlapping local windows, demonstrated promising results on image classification, semantic segmentation, and object detection. However, less study has been devoted to the cross-window connection which is the key element to improve the representation ability. In this work, we revisit the spatial shuffle as an efficient way to build connections among windows. As a result, we propose a new vision transformer, named Shuffle Transformer, which is highly efficient and easy to implement by modifying two lines of code. Furthermore, the depth-wise convolution is introduced to complement the spatial shuffle for enhancing neighbor-window connections. The proposed architectures achieve excellent performance on a wide range of visual tasks including image-level classification, object detection, and semantic segmentation. Code will be released for reproduction.


title: On the inverse problem of identifying an unknown coefficient in a space-time fractional differential equation

abstract: In this study, we focus on identifying solution and an unknown space-dependent coefficient in a space-time fractional differential equation by employing fractional Taylor series method. The substantial advantage of this method is that we don't take any over-measured data into account. Consequently, we determine the solution and unknown coefficient more precisely. The presented examples illustrate that outcomes of this method are in high agreement with the exact ones of the corresponding problem. Moreover, it can be implemented and applied effectively comparing with other methods.


title: A common misinterpretation of Isbell's obstruction to monoidal strictification

abstract: A monoidal category has a natural isomorphism $\alpha_{A,B,C}\colon(A\otimes B)\otimes C\to A\times (B\otimes C)$ called the associator. In the case where the objects $(A\otimes B)\otimes C$ and $A\otimes(B\otimes C)$ are equal, it is natural to ask whether this map may be taken to be the identity. Isbell gave an argument for an obstruction to strictifying the component of the associator of a cartesian monoidal category at an object $C=C\times C$. This argument has been widely reproduced and is commonly misunderstood as demonstrating that naturality of the associator is the true obstruction to strictification. We consider the hidden hypothesis in this argument, give a new argument not dependent on naturality but on the hidden hypothesis, and finally show that naturality alone is not the issue -- rather the crux of Isbell's argument involves a hidden assumption concerning the product cones. Through this analysis we also resolve that there can be no general obstruction to strictifying a component of the of the associator, even at such an object $C$, in a cartesian monoidal category.


title: Product Processing for Tapered Sparse Arrays

abstract: The product processor output has recently been introduced as a spatial power spectral density estimate, unifying product arrays such as coprime arrays, nested arrays, and standard uniform line arrays. The expected value and covariance function of this estimate for a white Gaussian process was derived in previous work over these various array configurations. However, this prior work used a uniform taper in all cases. In this paper, we show that when product arrays are windowed with non-uniform tapers, the expected value of the product processor output is the convolution of the true spatial power spectral density with the spatial Fourier transform of the difference coarray. This expected value makes a Fourier transform pair with a spatial autocorrelation estimate obtained by windowing the true autocorrelation function. We also derive the covariance function of the product processor output with non-uniform tapers, and compare these derived statistics for the aforementioned array geometries. Also, in prior work, the moments were provided only for linear arrays; this paper extends the estimation results to multidimensional arrays.


title: The Convexity and Concavity of Envelopes of the Minimum-Relative-Entropy Region for the DSBS

abstract: In this paper, we prove that for the doubly symmetric binary distribution, the lower increasing envelope and the upper envelope of the minimum-relative-entropy region are respectively convex and concave. We also prove that another function induced the minimum-relative-entropy region is concave. These two envelopes and this function were previously used to characterize the optimal exponents in strong small-set expansion problems and strong Brascamp--Lieb inequalities. The results in this paper, combined with the strong small-set expansion theorem derived by Yu, Anantharam, and Chen (2021), and the strong Brascamp--Lieb inequality derived by Yu (2021), confirm positively Ordentlich--Polyanskiy--Shayevitz's conjecture on the strong small-set expansion (2019) and Polyanskiy's conjecture on the strong Brascamp--Lieb inequality (2016). The proofs in this paper are based on the equivalence between the convexity of a function and the convexity of the set of minimizers of its Lagrangian dual.


title: Families of convex tilings

abstract: We study tilings of polygons $R$ with arbitrary convex polygonal tiles. Such tilings come in continuous families obtained by moving tile edges parallel to themselves (keeping edge directions fixed). We study how the tile shapes and areas change in these families. In particular we show that if $R$ is convex, the tile shapes can be arbitrarily prescribed (up to homothety). We also show that the tile areas and tile ``orientations'' determine the tiling. We associate to a tiling an underlying bipartite planar graph $G$ and its corresponding Kasteleyn matrix $K$. If $G$ has quadrilateral faces, we show that $K$ is the differential of the map from edge intercepts to tile areas, and extract some geometric and probabilistic consequences.


title: Negative Translations of Orthomodular Lattices and Their Logic

abstract: We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices as those residuated ortholattices whose residual operation is term-definable in the involutive lattice signature, and demonstrate that residuated ortholattices are the equivalent algebraic semantics of an algebraizable propositional logic. We also show that orthomodular lattices may be interpreted in residuated ortholattices via a translation in the spirit of the double-negation translation of Boolean algebras into Heyting algebras, and conclude with some remarks about decidability.


title: The Total Solar Irradiance variability in the Evolutionary Timescale and its Impact on the Mean Earth's Surface Temperature

abstract: The Sun is the primary source of energy for the Earth. The small changes in total solar irradiance (TSI) can affect our climate in the longer timescale. In the evolutionary timescale, the TSI varies by a large amount and hence its influence on the Earth's mean surface temperature (T$_{s}$) also increases significantly. We develop a mass-loss dependent analytical model of TSI in the evolutionary timescale and evaluated its influence on the T$_{s}$. We determined the numerical solution of TSI for the next 8.23 Gyrs to be used as an input to evaluate the T$_{s}$ which formulated based on a zero-dimensional energy balance model. We used the present-day albedo and bulk atmospheric emissivity of the Earth and Mars as initial and final boundary conditions, respectively. We found that the TSI increases by 10\% in 1.42 Gyr, by 40\% in about 3.4 Gyrs, and by 120\% in about 5.229 Gyrs from now, while the T$_{s}$ shows an insignificant change in 1.644 Gyrs and increases to 298.86 K in about 3.4 Gyrs. The T$_{s}$ attains the peak value of 2319.2 K as the Sun evolves to the red giant and emits the enormous TSI of 7.93$\times10^{6} Wm^{-2}$ in 7.676 Gys. At this temperature Earth likely evolves to be a liquid planet. In our finding, the absorbed and emitted flux equally increases and approaches the surface flux in the main sequence, and they are nearly equal beyond the main sequence, while the flux absorbed by the cloud shows opposite trend.


title: Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets

abstract: We use sequences of t-induced T-nets and p-induced P-nets to convert free-choice nets into T-nets and P-nets while preserving properties such as well-formedness, liveness, lucency, pc-safety, and perpetuality. The approach is general and can be applied to different properties. This allows for more systematic proofs that "peel off" non-trivial parts while retaining the essence of the problem (e.g., lifting properties from T-net and P-net to free-choice nets).


title: Partial Sums of the Fibonacci Sequence

abstract: Let $(F_n)_{n\ge 1}$ be the Fibonacci sequence. Define $P(F_n): = (\sum_{i=1}^n F_i)_{n\ge 1}$; that is, the function $P$ gives the sequence of partial sums of $(F_n)$. In this paper, we first give an identity involving $P^k(F_n)$, which is the resulting sequence from applying $P$ to $(F_n)$ $k$ times. Second, we provide a combinatorial interpretation of the numbers in $P^k(F_n)$.


title: An $(\infty,2)$-categorical pasting theorem

abstract: We show that any pasting diagram in any $(\infty,2)$-category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting scheme is the homotopy colimit of its cells as an $(\infty,2)$-category. We prove this explicitly in the simplicial categories model and then explain how to deduce the model-independent statement from that calculation.


title: Free boundary problems with long-range interactions: uniform Lipschitz estimates in the radius

abstract: Consider the class of optimal partition problems with long range interactions \[ \inf \left\{ \sum_{i=1}^k \lambda_1(\omega_i):\ (\omega_1,\ldots, \omega_k) \in \mathcal{P}_r(\Omega) \right\}, \] where $\lambda_1(\cdot)$ denotes the first Dirichlet eigenvalue, and $\mathcal{P}_r(\Omega)$ is the set of open $k$-partitions of $\Omega$ whose elements are at distance at least $r$: $\textrm{dist}(\omega_i,\omega_j)\geq r$ for every $i\neq j$. In this paper we prove optimal uniform bounds (as $r\to 0^+$) in $\mathrm{Lip}$-norm for the associated $L^2$-normalized eigenfunctions, connecting in particular the nonlocal case $r>0$ with the local one $r \to 0^+$. The proof uses new pointwise estimates for eigenfunctions, a one-phase Alt-Caffarelli-Friedman and the Caffarelli-Jerison-Kenig monotonicity formulas, combined with elliptic and energy estimates. Our result extends to other contexts, such as singularly perturbed harmonic maps with distance constraints.


title: The interaction between rising bubbles and cold fronts in cool core clusters

abstract: We investigate whether the swirling cold front in the core of the Perseus Cluster of galaxies has affected the outer buoyant bubbles that originated from jets from the Active Galactic Nucleus in the central galaxy NGC1275. The inner bubbles and the Outer Southern bubble lie along a North-South axis through the nucleus, whereas the Outer Northern bubble appears rotated about 45 deg from that axis. Detailed numerical simulations of the interaction indicates that the Outer Northern bubble may have been pushed clockwise accounting for its current location. Given the common occurrence of cold fronts in cool core clusters, we raise the possibility that the lack of many clear outer bubbles in such environments may be due to their disruption by cold fronts.


title: Estimating cellular redundancy in networks of genetic expression

abstract: Networks of genetic expression can be modelled by hypergraphs with the additional structure that real coefficients are given to each vertex-edge incidence. The spectra, i.e. the multiset of the eigenvalues, of such hypergraphs, are known to encode structural information of the data. We show how these spectra can be used, in particular, in order to give an estimation of cellular redundancy, a novel measure of gene expression heterogeneity, of the network. We analyze some simulated and real data sets of gene expression for illustrating the new method proposed here.


title: Optimal Transmit Power and Antenna Selection to Achieve Energy Efficient and Low Complexity in fifth generation Massive MIMO Systems

abstract: This paper investigates joint antenna selection and optimal transmit power in multi cell massive multiple input multiple output systems. The pilot interference and activated transmit antenna selection plays an essential role in maximizing energy efficiency. We derived the closed-form of maximal energy efficiency with complete knowledge of large-scale fading with maximum ratio transmission while accounting for channel estimation and eliminated pilot contamination when the antennas approach infinity. We investigated joint optimal antenna selection and optimal transmit power under minimized reuse of pilot sequences based on a novel iterative low-complexity algorithm for Lagrange multiplayer and Newton methods. The two scenarios of achievable high data rate and total transmit power allocation are critical to the performance maximal energy efficiency. We propose new power consumption for each antenna based on the transmit power amplifier and circuit power consumption to analyze exact power consumption. The simulation results show that maximal energy efficiency could be achieved using the iterative low complexity algorithm based on the reasonable maximum transmit power when the noise power was less than the power received pilot. The proposed low complexity iterative algorithm offers maximum energy efficiency by repeating a minimized pilot signal until the optimal antenna selection and transmission power are achieved.


title: Hierarchical Robot Navigation in Novel Environments using Rough 2-D Maps

abstract: In robot navigation, generalizing quickly to unseen environments is essential. Hierarchical methods inspired by human navigation have been proposed, typically consisting of a high-level landmark proposer and a low-level controller. However, these methods either require precise high-level information to be given in advance or need to construct such guidance from extensive interaction with the environment. In this work, we propose an approach that leverages a rough 2-D map of the environment to navigate in novel environments without requiring further learning. In particular, we introduce a dynamic topological map that can be initialized from the rough 2-D map along with a high-level planning approach for proposing reachable 2-D map patches of the intermediate landmarks between the start and goal locations. To use proposed 2-D patches, we train a deep generative model to generate intermediate landmarks in observation space which are used as subgoals by low-level goal-conditioned reinforcement learning. Importantly, because the low-level controller is only trained with local behaviors (e.g. go across the intersection, turn left at a corner) on existing environments, this framework allows us to generalize to novel environments given only a rough 2-D map, without requiring further learning. Experimental results demonstrate the effectiveness of the proposed framework in both seen and novel environments.


title: Minimum Norm Method for Linear and Planar Sparse Arrays

abstract: Coprime and nested arrays are sparse arrays with enhanced degrees of freedom, which can be exploited in direction of arrival estimation using algorithms such as product processing, min processing, and MUSIC. This paper applies the minimum norm method for direction of arrival estimation. Comparison of the root mean squared errors and probabilities of resolution of the minimum norm method with MUSIC for a given linear coprime or nested array demonstrates the superiority of the minimum norm method. Specifically, minimum norm method exhibits lower mean squared error, narrower peaks at the locations of the true sources, and a lower noise floor in the spatial spectral estimate. This work also formulates two different minimum norm methods for planar sparse arrays: direct and linear. Comparison of the linear minimum norm method with the linear MUSIC for planar arrays also demonstrates higher accuracy of the minimum norm method.


title: Acceleration of Evolutionary Processes by Learning and Extended Fisher's Fundamental Theorem

abstract: Natural selection is general and powerful concept not only to explain evolutionary processes of biological organisms but also to design engineering systems such as genetic algorithms and particle filters. There is a surge of interest, both from biology and engineering, in considering natural selection of intellectual agents that can learn individually. Learning by individual agents of better behaviors for survival may accelerate the evolutionary processes by natural selection. We have accumulating pieces of evidence that organisms can transmit its information to the next generation via epigenetic states or memes. Also, such idea is important for engineering applications. To accelerate the evolutionary process, an agent should change their strategy so that the population fitness increases the most. Equivalently, an agent should update the strategy towards a gradient of the population fitness. However, it has not yet been clarified whether and how an agent can estimate the gradient and accelerate the evolutionary process. We also lack methodology to quantify the acceleration to understand and predict the impact of learning. In this paper, we address these problems. We show that an learning agent can accelerate the evolutionary process by proposing ancestral learning, which uses the information transmitted from the ancestor (ancestral information). We next show that the ancestral information is sufficient to estimate the gradient. In particular, learning can accelerate the evolutionary process without communications between agents. Finally, to quantify the acceleration, we extend the Fisher's fundamental theorem (FF-thm) for natural selection to ancestral learning. Our extended FF-thm relates the acceleration of the evolutionary process to the variety of individual fitness of the agent. By the theorem, we can quantitatively understand when and why learning is beneficial.


title: Recovery Analysis for Plug-and-Play Priors using the Restricted Eigenvalue Condition

abstract: The plug-and-play priors (PnP) and regularization by denoising (RED) methods have become widely used for solving inverse problems by leveraging pre-trained deep denoisers as image priors. While the empirical imaging performance and the theoretical convergence properties of these algorithms have been widely investigated, their recovery properties have not previously been theoretically analyzed. We address this gap by showing how to establish theoretical recovery guarantees for PnP/RED by assuming that the solution of these methods lies near the fixed-points of a deep neural network. We also present numerical results comparing the recovery performance of PnP/RED in compressive sensing against that of recent compressive sensing algorithms based on generative models. Our numerical results suggest that PnP with a pre-trained artifact removal network provides significantly better results compared to the existing state-of-the-art methods.


title: Open source disease analysis system of cactus by artificial intelligence and image processing

abstract: There is a growing interest in cactus cultivation because of numerous cacti uses from houseplants to food and medicinal applications. Various diseases impact the growth of cacti. To develop an automated model for the analysis of cactus disease and to be able to quickly treat and prevent damage to the cactus. The Faster R-CNN and YOLO algorithm technique were used to analyze cactus diseases automatically distributed into six groups: 1) anthracnose, 2) canker, 3) lack of care, 4) aphid, 5) rusts and 6) normal group. Based on the experimental results the YOLOv5 algorithm was found to be more effective at detecting and identifying cactus disease than the Faster R-CNN algorithm. Data training and testing with YOLOv5S model resulted in a precision of 89.7% and an accuracy (recall) of 98.5%, which is effective enough for further use in a number of applications in cactus cultivation. Overall the YOLOv5 algorithm had a test time per image of only 26 milliseconds. Therefore, the YOLOv5 algorithm was found to suitable for mobile applications and this model could be further developed into a program for analyzing cactus disease.


title: Stability of Entropic Optimal Transport and Schr\"odinger Bridges

abstract: We establish the stability of solutions to the entropically regularized optimal transport problem with respect to the marginals and the cost function. The result is based on the geometric notion of cyclical invariance and inspired by the use of $c$-cyclical monotonicity in classical optimal transport. As a consequence of stability, we obtain the wellposedness of the solution in this geometric sense, even when all transports have infinite cost. More generally, our results apply to a class of static Schr\"odinger bridge problems including entropic optimal transport.


title: Unsupervised Clustered Federated Learning in Complex Multi-source Acoustic Environments

abstract: In this paper we introduce a realistic and challenging, multi-source and multi-room acoustic environment and an improved algorithm for the estimation of source-dominated microphone clusters in acoustic sensor networks. Our proposed clustering method is based on a single microphone per node and on unsupervised clustered federated learning which employs a light-weight autoencoder model. We present an improved clustering control strategy that takes into account the variability of the acoustic scene and allows the estimation of a dynamic range of clusters using reduced amounts of training data. The proposed approach is optimized using clustering-based measures and validated via a network-wide classification task.


title: Thermodynamics and remnants of Kiselev black holes in Rainbow gravity

abstract: We do a detailed study of the thermodynamics of black holes in Rainbow gravity in the framework of the Kiselev metric, taking into account different cosmic fluids which can mimic several kinds of dark energy scenarios. A discussion related to the appearance of black hole remnants is presented and, unlike other studies on the same topic, we found no evidence of the appearance of remnants in Rainbow gravity, except in peculiar cases.


title: Algorithms and Decision-Making in the Public Sector

abstract: This article surveys the use of algorithmic systems to support decision-making in the public sector. Governments adopt, procure, and use algorithmic systems to support their functions within several contexts -- including criminal justice, education, and benefits provision -- with important consequences for accountability, privacy, social inequity, and public participation in decision-making. We explore the social implications of municipal algorithmic systems across a variety of stages, including problem formulation, technology acquisition, deployment, and evaluation. We highlight several open questions that require further empirical research.


title: Robust replication initiation from coupled homeostatic mechanisms

abstract: The bacterium Escherichia coli initiates replication once per cell cycle at a precise volume per origin and adds an on average constant volume between successive initiation events, independent of the initiation size. Yet, a molecular model that can explain these observations has been lacking. Experiments indicate that E. coli controls replication initiation via titration and activation of the initiator protein DnaA. Here, we study by mathematical modelling how these two mechanisms interact to generate robust replication-initiation cycles. We first show that a mechanism solely based on titration generates stable replication cycles at low growth rates, but inevitably causes premature reinitiation events at higher growth rates. In this regime, the DnaA activation switch becomes essential for stable replication initiation. Conversely, while the activation switch alone yields robust rhythms at high growth rates, titration can strongly enhance the stability of the switch at low growth rates. Our analysis thus predicts that both mechanisms together drive robust replication cycles at all growth rates. In addition, it reveals how an origin-density sensor yields adder correlations.


title: Mild pro-p groups and the Koszulity conjectures

abstract: Let $p$ be a prime, and $\mathbb{F}_p$ the field with $p$ elements. We prove that if $G$ is a mild pro-$p$ group with quadratic $\mathbb{F}_p$-cohomology algebra $H^\bullet(G,\mathbb{F}_p)$, then the algebras $H^\bullet(G,\mathbb{F}_p)$ and $\mathrm{gr}\mathbb{F}_p[\![G]\!]$ - the latter being induced by the quotients of consecutive terms of the $p$-Zassenhaus filtration of $G$ - are both Koszul, and they are quadratically dual to each other. Consequently, if the maximal pro-$p$ Galois group of a field is mild, then Positselski's and Weigel's Koszulity conjectures hold true for such a field.


title: Learning a performance metric of Buchberger's algorithm

abstract: What can be (machine) learned about the complexity of Buchberger's algorithm? Given a system of polynomials, Buchberger's algorithm computes a Gr\"obner basis of the ideal these polynomials generate using an iterative procedure based on multivariate long division. The runtime of each step of the algorithm is typically dominated by a series of polynomial additions, and the total number of these additions is a hardware independent performance metric that is often used to evaluate and optimize various implementation choices. In this work we attempt to predict, using just the starting input, the number of polynomial additions that take place during one run of Buchberger's algorithm. Good predictions are useful for quickly estimating difficulty and understanding what features make Gr\"obner basis computation hard. Our features and methods could also be used for value models in the reinforcement learning approach to optimize Buchberger's algorithm introduced in [Peifer, Stillman, and Halpern-Leistner, 2020]. We show that a multiple linear regression model built from a set of easy-to-compute ideal generator statistics can predict the number of polynomial additions somewhat well, better than an uninformed model, and better than regression models built on some intuitive commutative algebra invariants that are more difficult to compute. We also train a simple recursive neural network that outperforms these linear models. Our work serves as a proof of concept, demonstrating that predicting the number of polynomial additions in Buchberger's algorithm is a feasible problem from the point of view of machine learning.


title: An upper bound on the Hot Spots constant

abstract: Let $D \subset \mathbb{R}^d$ be a bounded, connected domain with smooth boundary and let $-\Delta u = \mu_1 u$ be the first nontrivial eigenfunction of the Laplace operator with Neumann boundary conditions. We prove $$ \max_{x \in D} ~u(x) \leq 60 \cdot \max_{x \in \partial D} ~u(x)$$ and emphasize that this constant is uniform among all connected domains with smooth boundary in all dimensions. In particular, the Hot Spots Conjecture cannot fail by an arbitrary factor. The inequality also holds for other (Neumann-)eigenfunctions (possibly with a different constant) provided the eigenvalue is smaller than the first Dirichlet eigenvalue. An example of Kleefeld shows that the optimal constant is at least $1 + 10^{-3}$.


title: Boucksom-Zariski and Weyl chambers on irreducible holomorphic symplectic manifolds

abstract: Zariski decomposition is a fundamental tool for studying linear systems of divisors on algebraic surfaces. Bauer, K\"uronya and Szemberg obtained a decomposition of the big cone of a smooth projective surface into chambers, called Zariski chambers, in each of which the support of the negative part of the Zariski decomposition is constant. On the other hand, thanks to the work of Boucksom, on a compact complex manifold we have the divisorial Zariski decomposition which, on an irreducible holomorphic symplectic manifold (IHS), is a higher dimensional Zariski decomposition with respect to the Beauville-Bogomolov-Fujiki quadratic form. Similarly to the case of surfaces, we provide for the big cone of a projective irreducible holomorphic symplectic manifold a decomposition into chambers (which we describe in detail), in each of which the support of the negative part of the divisorial Zariski decomposition is constant. As for surfaces, the obtained decomposition of the big cone allows to describe the volume function, which turns out to behave very well. Moreover, always inspired by the surface case, we also see that the big cone of a projective IHS manifold admits a decomposition into simple Weyl chambers, which we compare to that induced by the divisorial Zariski decomposition. To conclude, we investigate the boundary of the big cone and determine the structure of the algebraic pseudo-effective cone.


title: The CESAW dataset: a conversation

abstract: An analysis of the 61,817 tasks performed by developers working on 45 projects, implemented using Team Software Process, is documented via a conversation between a data analyst and the person who collected, compiled, and originally analyzed the data. Five projects were safety critical, containing a total of 28,899 tasks. Projects were broken down using a Work Breakdown Structure to create a hierarchical organization, with tasks at the leaf nodes. The WBS information enables task organization within a project to be investigated, e.g., how related tasks are sequenced together. Task data includes: kind of task, anonymous developer id, start/end time/date, as well as interruption and break times; a total of 203,621 time facts. Task effort estimation accuracy was found to be influenced by factors such as the person making the estimate, the project involved, and the propensity to use round numbers.


title: Variational Hamiltonian simulation for translational invariant systems via classical pre-processing

abstract: The simulation of time evolution of large quantum systems is a classically challenging and in general intractable task, making it a promising application for quantum computation. A Trotter-Suzuki approximation yields an implementation thereof, where a higher approximation accuracy can be traded for an increased gate count. In this work, we introduce a variational algorithm which uses solutions of classical optimizations to predict efficient quantum circuits for time evolution of translationally invariant quantum systems. Our strategy can improve upon the Trotter-Suzuki accuracy by several orders of magnitude. It translates into a reduction in gate count and hence gain in overall fidelity at the same algorithmic accuracy. This is important in NISQ-applications where the fidelity of the output state decays exponentially with the number of gates. The performance advantage of our classical assisted strategy can be extended to open boundaries with translational symmetry in the bulk. We can extrapolate our method to beyond classically simulatable system sizes, maintaining its total fidelity advantage over a Trotter-Suzuki approximation making it an interesting candidate for beyond classical time evolution.


title: Self-similar surfaces: involutions and perfection

abstract: We investigate the problem of when big mapping class groups are generated by involutions. Restricting our attention to the class of self-similar surfaces, which are surfaces with self-similar ends space, as defined by Mann and Rafi, and with 0 or infinite genus, we show that, when the set of maximal ends is infinite, then the mapping class groups of these surfaces are generated by involutions, normally generated by a single involution, and uniformly perfect. In fact, we derive this statement as a corollary of the corresponding statement for the homeomorphism groups of these surfaces. On the other hand, among self-similar surfaces with one maximal end, we produce infinitely many examples in which their big mapping class groups are neither perfect nor generated by torsion elements. These groups also do not have the automatic continuity property.


title: $t$-adic symmetrization map on harmonic algebra

abstract: Bachmann, Takeyama and Tasaka introduced a $\mathbb{Q}$-linear map $\phi$, which we call the symmetrization map in this paper, on the harmonic algebra $\mathfrak{H}^1$. They calculated $\phi(w)$ explicitly for an element $w$ in $\mathfrak{H}^1$ related to the multiple zeta values of Mordell--Tornheim type. In this paper, we introduce its $t$-adic generalization $\widehat{\phi}$ and calculate $\widehat{\phi}(w)$ for an element $w$ in $\mathfrak{H}^1[[t]]$ constructed from the theory of $2$-colored rooted tree.


title: Towards a Multi-purpose Robotic Nursing Assistant

abstract: Robotic nursing aid is one of the heavily researched areas in robotics nowadays. Several robotic assistants exist that only focus on a specific function related to nurses assistance or functions related to patient aid. There is a need for a unified system that not only performs tasks that would assist nurses and reduce their burden but also perform tasks that help a patient. In recent times, due to the COVID-19 pandemic, there is also an increase in the need for robotic assistants that have teleoperation capabilities to provide better protection against the virus spread. To address these requirements, we propose a novel Multi-purpose Intelligent Nurse Aid (MINA) robotic system that is capable of providing walking assistance to the patients and perform teleoperation tasks with an easy-to-use and intuitive Graphical User Interface (GUI). This paper also presents preliminary results from the walking assistant task that improves upon the current state-of-the-art methods and shows the developed GUI for teleoperation.


title: Extending counterfactual accounts of intent to include oblique intent

abstract: One approach to defining Intention is to use the counterfactual tools developed to define Causality. Direct Intention is considered the highest level of intent in the common law, and is a sufficient component for the most serious crimes to be committed. Loosely defined it is the commission of actions to bring about a desired or targeted outcome. Direct Intention is not always necessary for the most serious category of crimes because society has also found it necessary to develop a theory of intention around side-effects, known as oblique intent or indirect intent. This is to prevent moral harms from going unpunished which were not the aim of the actor, but were natural consequences nevertheless. This paper uses a canonical example of a plane owner, planting a bomb on their own plane in order to collect insurance, to illustrate how two accounts of counterfactual intent do not conclude that murder of the plane's passengers and crew were directly intended. We extend both frameworks to include a definition of oblique intent developed in Ashton (2021)