title: Subpath Queries on Compressed Graphs: a Survey

abstract: Text indexing is a classical algorithmic problem that has been studied for over four decades: given a text $T$, pre-process it off-line so that, later, we can quickly count and locate the occurrences of any string (the query pattern) in $T$ in time proportional to the query's length. The earliest optimal-time solution to the problem, the suffix tree, dates back to 1973 and requires up to two orders of magnitude more space than the plain text just to be stored. In the year 2000, two breakthrough works showed that efficient queries can be achieved without this space overhead: a fast index be stored in a space proportional to the text's entropy. These contributions had an enormous impact in bioinformatics: nowadays, virtually any DNA aligner employs compressed indexes. Recent trends considered more powerful compression schemes (dictionary compressors) and generalizations of the problem to labeled graphs: after all, texts can be viewed as labeled directed paths. In turn, since finite state automata can be considered as a particular case of labeled graphs, these findings created a bridge between the fields of compressed indexing and regular language theory, ultimately allowing to index regular languages and promising to shed new light on problems such as regular expression matching. This survey is a gentle introduction to the main landmarks of the fascinating journey that took us from suffix trees to today's compressed indexes for labeled graphs and regular languages.


title: Safe model-based design of experiments using Gaussian processes

abstract: Construction of kinetic models has become an indispensable step in the development and scale up of processes in the industry. Model-based design of experiments (MBDoE) has been widely used for the purpose of improving parameter precision in nonlinear dynamic systems. This process needs to account for both parametric and structural uncertainty, as the feasibility constraints imposed on the system may well turn out to be violated leading to unsafe experimental conditions when an optimally designed experiment is performed. In this work, a Gaussian process is utilized in a two-fold manner: 1) to quantify the uncertainty realization of the physical system and calculate the plant-model mismatch, 2) to compute the optimal experimental design while accounting for the parametric uncertainty. This method provides a guarantee for the probabilistic satisfaction of the constraints in the context of model-based design of experiments. The method is assisted with the use of adaptive trust-regions in order to facilitate a satisfactory local approximation. The proposed method is able to allow the design of optimal experiments starting from limited preliminary knowledge of the parameter set, leading to a safe exploration of the parameter space. The performance of this method is demonstrated through illustrative case studies regarding the parameter identification of the kinetic model in flow reactors.


title: Computability in Harmonic Analysis

abstract: We study the question of constructive approximation of the harmonic measure $\omega_x^\Omega$ of a connected bounded domain $\Omega$ with respect to a point $x\in\Omega$. In particular, using a new notion of computable harmonic approximation, we show that for an arbitrary such $\Omega$, computability of the harmonic measure $\omega^\Omega_x$ for a single point $x\in\Omega$ implies computability of $\omega_y^\Omega$ for any $y\in \Omega$. This may require a different algorithm for different points $y$, which leads us to the construction of surprising natural examples of continuous functions that arise as solutions to a Dirichlet problem, whose values can be computed at any point but cannot be computed with the use of the same algorithm on all of their domain. We further study the conditions under which the harmonic measure is computable uniformly, that is by a single algorithm, and characterize them for regular domains with computable boundaries.


title: Proposal for entangling gates on fluxonium qubits via a two-photon transition

abstract: We propose a family of microwave-activated entangling gates on two capacitively coupled fluxonium qubits. A microwave pulse applied to either qubit at a frequency near the half-frequency of the $|00\rangle - |11\rangle$ transition induces two-photon Rabi oscillations with a negligible leakage outside the computational subspace, owing to the strong anharmonicity of fluxoniums. By adjusting the drive frequency, amplitude, and duration, we obtain the gate family that is locally equivalent to the fermionic-simulation gates such as $\sqrt{\rm SWAP}$-like and controlled-phase gates. The gate error can be tuned below $10^{-4}$ for a pulse duration under 100 ns without excessive circuit parameter matching. Given that the fluxonium coherence time can exceed 1 ms, our gate scheme is promising for large-scale quantum processors.


title: KeyGuard: Using Selective Encryption to Mitigate Keylogging in Third-Party IME

abstract: As mobile devices become ubiquitous, people around the world have enjoyed the convenience they have brought to our lives. At the same time, the increasing security threats that rise from using mobile devices not only have caught attention from cyber security agencies but also have become a valid concern for mobile users. Keylogging is one of the mobile security threats caused by using insecure third-party IME (input method editor) applications. Keylogging, as the name suggests, keeps track of user\rq s key events performed on the device and stores all the events in a log. The log could include highly sensitive data such as credit card number, social security number, and passwords. This paper presents a novel solution by intercepting the keystroke events triggered by a user and encrypting them before sending them to the third-party IME, making the third-party IME unable to log what the users actually entered on the screen. Input will be decrypted when showing on text view on the underlying app. This solution addresses the fundamental reason why an IME may leak sensitive information since an IME will no longer have access to the user\rq s actual sensitive information, which will greatly reduce the chance of leaking sensitive information by using a third-party IME while maintaining the functionalities of the third-party IME at the same time.


title: A quantitative in-depth analysis of the prototype sdB+BD system SDSS J08205+0008 revisited in the Gaia era

abstract: Subdwarf B stars are core-helium burning stars located on the extreme horizontal branch. Extensive mass loss on the red giant branch is necessary to form them. It has been proposed that substellar companions could lead to the required mass-loss when they are engulfed in the envelope of the red giant star. J08205+0008 was the first example of a hot subdwarf star with a close, substellar companion candidate to be found. Here we perform an in-depth re-analysis of this important system with much higher quality data allowing additional analysis methods. From the higher resolution spectra obtained with ESO-VLT/XSHOOTER we derive the chemical abundances of the hot subdwarf as well as its rotational velocity. Using the { it Gaia} parallax and a fit to the spectral energy distribution in the secondary eclipse, tight constraints to the radius of the hot subdwarf are derived. From a long-term photometric campaign we detected a significant period decrease of $-3.2(8)\cdot 10^{-12} \,\rm dd^{-1}$. This can be explained by the non-synchronised hot subdwarf star being spun up by tidal interactions forcing it to become synchronised. From the rate of period decrease we could derive the synchronisation timescale to be 4 Myr, much smaller than the lifetime on EHB. By combining all different methods we could constrain the hot subdwarf to a mass of $0.39-0.50\,\rm M_\odot$ and a radius of $R_{\rm sdB}=0.194\pm0.008\,\rm R_\odot$, and the companion to $0.061-0.071\rm\,M_\odot$ with a radius of $R_{\rm comp}=0.092 \pm 0.005\,\rm R_\odot$, below the hydrogen burning limit. We therefore confirm that the companion is most likely a massive brown dwarf.


title: Approximate Bipartite Vertex Cover in the CONGEST Model

abstract: We give efficient distributed algorithms for the minimum vertex cover problem in bipartite graphs in the CONGEST model. From K\H{o}nig's theorem, it is well known that in bipartite graphs the size of a minimum vertex cover is equal to the size of a maximum matching. We first show that together with an existing $O(n\log n)$-round algorithm for computing a maximum matching, the constructive proof of K\H{o}nig's theorem directly leads to a deterministic $O(n\log n)$-round CONGEST algorithm for computing a minimum vertex cover. We then show that by adapting the construction, we can also convert an \emph{approximate} maximum matching into an \emph{approximate} minimum vertex cover. Given a $(1-\delta)$-approximate matching for some $\delta>1$, we show that a $(1+O(\delta))$-approximate vertex cover can be computed in time $O(D+\mathrm{poly}(\frac{\log n}{\delta}))$, where $D$ is the diameter of the graph. When combining with known graph clustering techniques, for any $\varepsilon\in(0,1]$, this leads to a $\mathrm{poly}(\frac{\log n}{\varepsilon})$-time deterministic and also to a slightly faster and simpler randomized $O(\frac{\log n}{\varepsilon^3})$-round CONGEST algorithm for computing a $(1+\varepsilon)$-approximate vertex cover in bipartite graphs. For constant $\varepsilon$, the randomized time complexity matches the $\Omega(\log n)$ lower bound for computing a $(1+\varepsilon)$-approximate vertex cover in bipartite graphs even in the LOCAL model. Our results are also in contrast to the situation in general graphs, where it is known that computing an optimal vertex cover requires $\tilde{\Omega}(n^2)$ rounds in the CONGEST model and where it is not even known how to compute any $(2-\varepsilon)$-approximation in time $o(n^2)$.


title: DiffusionNet: Accelerating the solution of Time-Dependent partial differential equations using deep learning

abstract: We present our deep learning framework to solve and accelerate the Time-Dependent partial differential equation's solution of one and two spatial dimensions. We demonstrate DiffusionNet solver by solving the 2D transient heat conduction problem with Dirichlet boundary conditions. The model is trained on solution data calculated using the Alternating direction implicit method. We show the model's ability to predict the solution from any combination of seven variables: the starting time step of the solution, initial condition, four boundary conditions, and a combined variable of the time step size, diffusivity constant, and grid step size. To improve speed, we exploit our model capability to predict the solution of the Time-dependent PDE after multiple time steps at once to improve the speed of solution by dividing the solution into parallelizable chunks. We try to build a flexible architecture capable of solving a wide range of partial differential equations with minimal changes. We demonstrate our model flexibility by applying our model with the same network architecture used to solve the transient heat conduction to solve the Inviscid Burgers equation and Steady-state heat conduction, then compare our model performance against related studies. We show that our model reduces the error of the solution for the investigated problems.


title: Marangoni Fingering Instabilities in Oxidizing Liquid Metals

abstract: Eutectic gallium-indium (EGaIn), a room-temperature liquid metal alloy, has the largest tension of any liquid at room temperature, and yet can nonetheless undergo fingering instabilities. This effect arises because, under an applied voltage, oxides deposit on the surface of the metal, which leads to a lowering of the interfacial tension, allowing spreading under gravity. Understanding the spreading dynamics of room temperature liquid metals is important for developing soft electronics and understanding fluid dynamics of liquids with extreme surface tensions. When the applied voltage or the oxidation rate becomes too high, the EGaIn undergoes fingering instabilities, including tip-splitting, which occur due to a Marangoni stress on the interface. Our experiments are performed with EGaIn droplets placed in an electrolyte (sodium hydroxide); by placing the EGaIn on copper electrodes, which EGaIn readily wets, we are able to control the initial width of EGaIn fingers, setting the initial conditions of the spreading. Two transitions are observed: (1) a minimum current density at which all fingers become unstable to narrower fingers; (2) a current density at which the wider fingers undergo a single splitting event into two narrower fingers. We present a phase diagram as a function of current density and initial finger width, and identify the minimum width below which the single tip-splitting does not occur.


title: TrustSense: An energy efficient trust scheme for clustered wireless sensor networks

abstract: Designing security systems for wireless sensor networks presents a challenge due to their relatively low computational resources. This has rendered many traditional defense mechanisms based on cryptography infeasible for deployment on such networks. Reputation and anomaly detection systems have been implemented as viable alternatives, but existing implementations still struggle with providing efficient security without a significant impact on energy consumption. To address this trade-off between resource consumption and resiliency, we designed TrustSense, a reputation management protocol for clustered WSNs. It is a semi-centralized family of algorithms that combine periodic trust updates, spatial correlation, and packet sequence validation at the cluster-heads' hierarchy to relieve the sensor nodes of unnecessary opinion queries and trust evaluation computation. We compared the efficiency of TrustSense with legacy reputation systems such as EigenTrust and the results of simulations show a significant improvement in reliability and energy usage while maintaining an acceptable path length with varying numbers of malicious nodes. We believe the approach of combining different techniques from various classes of intrusion detection systems unlocks several possibilities of achieving better results by more complex and versatile composition of these techniques.


title: Galois groups of large fields with simple theory (with an appendix by Philip Dittmann)

abstract: Suppose that $K$ is an infinite field which is large (in the sense of Pop) and whose first order theory is simple. We show that $K$ is {\em bounded}, namely has only finitely many separable extensions of any given finite degree. We also show that any genus $0$ curve over $K$ has a $K$-point and if $K$ is additionally perfect then $K$ has trivial Brauer group. These results give evidence towards the conjecture that large simple fields are bounded PAC. Combining our results with a theorem of Lubotzky and van den Dries we show that there is a bounded $\mathrm{PAC}$ field $L$ with the same absolute Galois group as $K$. In the appendix we show that if $K$ is large and $\mathrm{NSOP}_\infty$ and $v$ is a non-trivial valuation on $K$ then $(K,v)$ has separably closed Henselization, so in particular the residue field of $(K,v)$ is algebraically closed and the value group is divisible. The appendix also shows that formally real and formally $p$-adic fields are $\mathrm{SOP}_\infty$ (without assuming largeness).


title: Weakly holonomic equivariant $\mathcal{D}$-modules on rigid analytic spaces

abstract: Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its duality and its preservation under various operations.


title: Modelling fertility potential in survivors of childhood cancer: An introduction to modern statistical and computational methods

abstract: Statistical and computational methods are widely used in today's scientific studies. Using a female fertility potential in childhood cancer survivors as an example, we illustrate how these methods can be used to extract insight regarding biological processes from noisy observational data in order to inform decision making. We start by contextualizing the computational methods with the working example: the modelling of acute ovarian failure risk in female childhood cancer survivors to quantify the risk of permanent ovarian failure due to exposure to lifesaving but nonetheless toxic cancer treatments. This is followed by a description of the general framework of classification problems. We provide an overview of the modelling algorithms employed in our example, including one classic model (logistic regression) and two popular modern learning methods (random forest and support vector machines). Using the working example, we show the general steps of data preparation for modelling, variable selection steps for the classic model, and how model performance might be improved utilizing visualization tools. We end with a note on the importance of model evaluation.


title: Bershadsky-Polyakov vertex algebras at positive integer levels and duality

abstract: We study the simple Bershadsky-Polyakov algebra $\mathcal W_k = \mathcal{W}_k(sl_3,f_{\theta})$ at positive integer levels and classify their irreducible modules. In this way we confirm the conjecture from arXiv:1910.13781. Next, we study the case $k=1$. We discover that this vertex algebra has a Kazama-Suzuki-type dual isomorphic to the simple afine vertex superalgebra $L_{k'} (osp(1 \vert 2))$ for $k'=-5/4$. Using the free-field realization of $L_{k'} (osp(1 \vert 2))$ from arXiv:1711.11342, we get a free-field realization of $\mathcal W_k$ and their highest weight modules. In a sequel, we plan to study fusion rules for $\mathcal W_k$.


title: The Switch Point Algorithm

abstract: The Switch Point Algorithm is a new approach for solving optimal control problems whose solutions are either singular or bang-bang or both singular and bang-bang, and which possess a finite number of jump discontinuities in an optimal control at the points in time where the solution structure changes. Problems in this class can often be reduced to an optimization over the switching points. Formulas are derived for the derivative of the objective with respect to the switch points, the initial costate, and the terminal time. All these derivatives can be computed simultaneously in just one integration of the state and costate dynamics. Hence, gradient-based unconstrained optimization techniques, including the conjugate gradient method or quasi-Newton methods, can be used to compute an optimal control. The performance of the algorithm is illustrated using test problems with known solutions and comparisons with other algorithms from the literature.


title: Online decentralized decision making with inequality constraints: an ADMM approach

abstract: We discuss an online decentralized decision making problem where the agents are coupled with affine inequality constraints. Alternating Direction Method of Multipliers (ADMM) is used as the computation engine and we discuss the convergence of the algorithm in an online setting. To be specific, when decisions have to be made sequentially with a fixed time step, there might not be enough time for the ADMM to converge before the scenario changes and the decision needs to be updated. In this case, a suboptimal solution is employed and we analyze the optimality gap given the convergence condition. Moreover, in many cases, the decision making problem changes gradually over time. We propose a warm-start scheme to accelerate the convergence of ADMM and analyze the benefit of the warm-start. The proposed method is demonstrated in a decentralized multiagent control barrier function problem with simulation.


title: Parrot: Data-Driven Behavioral Priors for Reinforcement Learning

abstract: Reinforcement learning provides a general framework for flexible decision making and control, but requires extensive data collection for each new task that an agent needs to learn. In other machine learning fields, such as natural language processing or computer vision, pre-training on large, previously collected datasets to bootstrap learning for new tasks has emerged as a powerful paradigm to reduce data requirements when learning a new task. In this paper, we ask the following question: how can we enable similarly useful pre-training for RL agents? We propose a method for pre-training behavioral priors that can capture complex input-output relationships observed in successful trials from a wide range of previously seen tasks, and we show how this learned prior can be used for rapidly learning new tasks without impeding the RL agent's ability to try out novel behaviors. We demonstrate the effectiveness of our approach in challenging robotic manipulation domains involving image observations and sparse reward functions, where our method outperforms prior works by a substantial margin.


title: The Anomalous Case of Axion EFTs and Massive Chiral Gauge Fields

abstract: We study axion effective field theories (EFTs), with a focus on axion couplings to massive chiral gauge fields. We investigate the EFT interactions that participate in processes with an axion and two gauge bosons, and we show that, when massive chiral gauge fields are present, such interactions do not entirely originate from the usual anomalous EFT terms. We illustrate this both at the EFT level and by matching to UV-complete theories. In order to assess the consistency of the Peccei--Quinn (PQ) anomaly matching, it is useful to introduce an auxiliary, non-dynamical gauge field associated to the PQ symmetry. When applied to the case of the Standard Model (SM) electroweak sector, our results imply that anomaly-based sum rules between EFT interactions are violated when chiral matter is integrated out, which constitutes a smoking gun of the latter. As an illustration, we study a UV-complete chiral extension of the SM, containing an axion arising from an extended Higgs sector and heavy fermionic matter that obtains most of its mass by coupling to the Higgs doublets. We assess the viability of such a SM extension through electroweak precision tests, bounds on Higgs rates and direct searches for heavy charged matter. At energies below the mass of the new chiral fermions, the model matches onto an EFT where the electroweak gauge symmetry is non-linearly realised.


title: Normal Metal-Superconductor Near-Field Thermal Diodes and Transistors

abstract: In recent years there has been a number of proposals of thermal devices operating in the near-field regime that make use of phase-transition materials. Here, we present a theoretical study of near-field thermal diodes and transistors that combine superconducting materials with normal (non-superconducting) metals. To be precise, we show that a system formed by two parallel plates made of Nb and Au can exhibit unprecedented rectification ratios very close to unity at temperatures around Nb superconducting critical temperature and for a wide range of gap size values within the near-field regime. Moreover, we also show that a superconducting Nb layer placed between Au plates can operate as a near-field thermal transistor where the amplification factor can be greatly tuned by varying different parameters such as the temperature and thickness of the Nb layer or the distance between the Nb layer and the Au plates. Overall, our work shows the potential of the use of superconductors for the realization of near-field thermal devices.


title: Contextual Subspace Variational Quantum Eigensolver

abstract: We describe the contextual subspace variational quantum eigensolver (CS-VQE), a hybrid quantum-classical algorithm for approximating the ground state energy of a Hamiltonian. The approximation to the ground state energy is obtained as the sum of two contributions. The first contribution comes from a noncontextual approximation to the Hamiltonian, and is computed classically. The second contribution is obtained by using the variational quantum eigensolver (VQE) technique to compute a contextual correction on a quantum processor. In general the VQE computation of the contextual correction uses fewer qubits and measurements than the VQE computation of the original problem. Varying the number of qubits used for the contextual correction adjusts the quality of the approximation. We simulate CS-VQE on tapered Hamiltonians for small molecules, and find that the number of qubits required to reach chemical accuracy can be reduced by more than a factor of two. The number of terms required to compute the contextual correction can be reduced by more than a factor of ten, without the use of other measurement reduction schemes. This indicates that CS-VQE is a promising approach for eigenvalue computations on noisy intermediate-scale quantum devices.


title: The Cube++ Illumination Estimation Dataset

abstract: Computational color constancy has the important task of reducing the influence of the scene illumination on the object colors. As such, it is an essential part of the image processing pipelines of most digital cameras. One of the important parts of the computational color constancy is illumination estimation, i.e. estimating the illumination color. When an illumination estimation method is proposed, its accuracy is usually reported by providing the values of error metrics obtained on the images of publicly available datasets. However, over time it has been shown that many of these datasets have problems such as too few images, inappropriate image quality, lack of scene diversity, absence of version tracking, violation of various assumptions, GDPR regulation violation, lack of additional shooting procedure info, etc. In this paper, a new illumination estimation dataset is proposed that aims to alleviate many of the mentioned problems and to help the illumination estimation research. It consists of 4890 images with known illumination colors as well as with additional semantic data that can further make the learning process more accurate. Due to the usage of the SpyderCube color target, for every image there are two ground-truth illumination records covering different directions. Because of that, the dataset can be used for training and testing of methods that perform single or two-illuminant estimation. This makes it superior to many similar existing datasets. The datasets, it's smaller version SimpleCube++, and the accompanying code are available at https://github.com/Visillect/CubePlusPlus/.


title: Probability, Preclusion and Biological Evolution in Heisenberg-Picture Everett Quantum Mechanics

abstract: The fact that certain "extraordinary" probabilistic phenomena--in particular, macroscopic violations of the second law of thermodynamics--have never been observed to occur can be accounted for by taking hard preclusion as a basic physical law; i.e. precluding from existence events corresponding to very small but nonzero values of quantum-mechanical weight. This approach is not consistent with the usual ontology of the Everett interpretation, in which outcomes correspond to branches of the state vector, but can be successfully implemented using a Heisenberg-picture-based ontology in which outcomes are encoded in transformations of operators. Hard preclusion can provide an explanation for biological evolution, which can in turn explain our subjective experiences of, and reactions to, "ordinary" probabilistic phenomena, and the compatibility of those experiences and reactions with what we conventionally take to be objective probabilities arising from physical laws.


title: Differential forms on orbifolds with corners

abstract: Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back and push-forward operations, and their fundamental properties. We work within the formalism where the category of orbifolds with corners is obtained as a localization of the category of \'etale proper groupoids with corners. Constructions and proofs are formulated in terms of the structure maps of the groupoids, avoiding the use of orbifold charts. The Fr\'echet space of differential forms on an orbifold and the dual space of currents are shown to be independent of which \'etale proper groupoid is chosen to represent the orbifold.


title: Topological obstructions to quantum computation with unitary oracles

abstract: Algorithms with unitary oracles can be nested, which makes them extremely versatile. An example is the phase estimation algorithm used in many candidate algorithms for quantum speed-up. The search for new quantum algorithms benefits from understanding their limitations: Some tasks are impossible in quantum circuits, although their classical versions are easy, for example, cloning. An example with a unitary oracle $U$ is the if clause, the task to implement controlled $U$ (up to the phase on $U$). In classical computation the conditional statement is easy and essential. In quantum circuits the if clause was shown impossible from one query to $U$. Is it possible from polynomially many queries? Here we unify algorithms with a unitary oracle and develop a topological method to prove their limitations: No number of queries to $U$ and $U^\dagger$ lets quantum circuits implement the if clause, even if admitting approximations, postselection and relaxed causality. We also show limitations of process tomography, oracle neutralization, and $\sqrt[\dim U]{U}$, $U^T$, and $U^\dagger$ algorithms. Our results strengthen an advantage of linear optics, challenge the experiments on relaxed causality, and motivate new algorithms with many-outcome measurements.


title: Aspects of Bose-Einstein condensation in a charged boson system over the dielectric surface

abstract: We study theoretically a gas consisting of charged bosons (ions) over the flat dielectric surface at low temperatures and its tendency to form a state with a Bose-Einstein condensate. For the stability of a system, an additional external electric field, which keeps charges at the dielectric surface, is introduced. The formalism is developed in the framework of a self-consistent-field approach, which combines the quasiclassical description in terms of the Wigner distribution functions and the quantum-mechanical approach by employing the Gross-Pitaevskii equation. We predict a formation of the state with a Bose-Einstein condensate and determine the near-critical physical characteristics of the system. It is shown that the thermal and condensate components become spatially separated under these conditions. We discuss the limitations of the developed semiclassical approach and prospects for the pure quantum-mechanical treatment of the problem.


title: Cylindrical and Asymmetrical 3D Convolution Networks for LiDAR Segmentation

abstract: State-of-the-art methods for large-scale driving-scene LiDAR segmentation often project the point clouds to 2D space and then process them via 2D convolution. Although this corporation shows the competitiveness in the point cloud, it inevitably alters and abandons the 3D topology and geometric relations. A natural remedy is to utilize the3D voxelization and 3D convolution network. However, we found that in the outdoor point cloud, the improvement obtained in this way is quite limited. An important reason is the property of the outdoor point cloud, namely sparsity and varying density. Motivated by this investigation, we propose a new framework for the outdoor LiDAR segmentation, where cylindrical partition and asymmetrical 3D convolution networks are designed to explore the 3D geometric pat-tern while maintaining these inherent properties. Moreover, a point-wise refinement module is introduced to alleviate the interference of lossy voxel-based label encoding. We evaluate the proposed model on two large-scale datasets, i.e., SemanticKITTI and nuScenes. Our method achieves the 1st place in the leaderboard of SemanticKITTI and outperforms existing methods on nuScenes with a noticeable margin, about 4%. Furthermore, the proposed 3D framework also generalizes well to LiDAR panoptic segmentation and LiDAR 3D detection.


title: Decentralized Task and Path Planning for Multi-Robot Systems

abstract: We consider a multi-robot system with a team of collaborative robots and multiple tasks that emerges over time. We propose a fully decentralized task and path planning (DTPP) framework consisting of a task allocation module and a localized path planning module. Each task is modeled as a Markov Decision Process (MDP) or a Mixed Observed Markov Decision Process (MOMDP) depending on whether full states or partial states are observable. The task allocation module then aims at maximizing the expected pure reward (reward minus cost) of the robotic team. We fuse the Markov model into a factor graph formulation so that the task allocation can be decentrally solved using the max-sum algorithm. Each robot agent follows the optimal policy synthesized for the Markov model and we propose a localized forward dynamic programming scheme that resolves conflicts between agents and avoids collisions. The proposed framework is demonstrated with high fidelity ROS simulations and experiments with multiple ground robots.


title: Black-Box Coupled-Mode Theory: An Ab Initio Framework to Model Electromagnetic Interactions of Open, Lossy, and Dispersive Resonators

abstract: Temporal coupled-mode theory (TCMT) provides a simple yet powerful platform to model and analyze electromagnetic resonator systems. Nevertheless, restrictive assumptions and lack of rigorous connection to Maxwell's equations limit the TCMT formulation's generality and robustness. Herein, we present the Black-box Coupled-Mode Theory (BBCMT), a general ab initio CMT framework developed from Maxwell's equations and quasinormal mode (QNM) theory to model the electromagnetic interactions of dispersive, lossy, and open resonators. BBCMT development is enabled by employing Poynting's and conjugated reciprocity theorems to rigorously normalize QNMs and calculate their expansion coefficients. Our novel QNM analysis approach allows the definition of a resonator Hamiltonian matrix to characterize the modes' electromagnetic interactions, energy storage, and absorption. Uniquely, the BBCMT framework can capture a resonator's non-resonant scattering and absorption by treating the resonator scattered fields as a perturbation to those of a background structure, which can be flexibly chosen considering the desired accuracy-simplicity trade-off. BBCMT modeling complexity can be further adjusted by treating user-defined subcomponents of a resonator system as black-boxes described only by their input-output transfer characteristics. Beyond the BBCMT formulation, we present two lemmas to reverse-engineer the modeling parameters from calculated or measured far-field spectra. Moreover, we introduce the signal flow graphs from control theory to illustrate, interpret, and solve the BBCMT equations. To evince BBCMT's validity and generality, we compare the BBCMT and TCMT predictions for two plasmonic nanoresonator systems to finite-difference time-domain simulations and find BBCMT results to be a much better match. BBCMT reduces to TCMT or cavity perturbation theory under certain constraints and approximations.


title: On the Dynamics of Training Attention Models

abstract: The attention mechanism has been widely used in deep neural networks as a model component. By now, it has become a critical building block in many state-of-the-art natural language models. Despite its great success established empirically, the working mechanism of attention has not been investigated at a sufficient theoretical depth to date. In this paper, we set up a simple text classification task and study the dynamics of training a simple attention-based classification model using gradient descent. In this setting, we show that, for the discriminative words that the model should attend to, a persisting identity exists relating its embedding and the inner product of its key and the query. This allows us to prove that training must converge to attending to the discriminative words when the attention output is classified by a linear classifier. Experiments are performed, which validate our theoretical analysis and provide further insights.


title: Fine structure from normal iterability

abstract: We show that (i) the standard fine structural properties for premice follow from normal iterability (whereas the classical proof relies on iterability for stacks of normal trees), and (ii) every mouse which is finitely generated above its projectum, is an iterate of its core. That is, let $m$ be an integer and let $M$ be an $m$-sound, $(m,\omega_1+1)$-iterable premouse. Then (i) $M$ is $(m+1)$-solid and $(m+1)$-universal, $(m+1)$ condensation holds for $M$, and if $m\geq 1$ then $M$ is super-Dodd-sound, a slight strengthening of Dodd-soundness. And (ii) if there is $x\in M$ such that $M$ is the $\mathrm{r}\Sigma_{m+1}$-hull of parameters in $\rho_{m+1}^M\cup\{x\}$, then $M$ is a normal iterate of its $(m+1)$-core $C=\mathfrak{C}_{m+1}(M)$; in fact, there is an $m$-maximal iteration tree $\mathcal{T}$ on $C$, of finite length, such that $M=M^{\mathcal{T}}_\infty$, and $i^{\mathcal{T}}_{0\infty}$ is just the core embedding. Applying fact (ii), we prove that if $M\models\mathrm{ZFC}$ is a mouse and $W\subseteq M$ is a ground of $M$ via a strategically $\sigma$-closed forcing $\mathbb{P}\in W$, and if $M|\aleph_1^M\in W$ (that is, the initial segment of $M$ of height $\aleph_1^M$ is in $W$), then the forcing is trivial; that is, $M\subseteq W$. And if there is a measurable cardinal, then there is a non-solid premouse. The results hold for premice with Mitchell-Steel indexing, allowing extenders of superstrong type to appear on the extender sequence.


title: From Symmetric Product CFTs to ${\rm AdS}_3$

abstract: Correlators in symmetric orbifold CFTs are given by a finite sum of admissible branched covers of the 2d spacetime. We consider a Gross-Mende like limit where all operators have large twist, and show that the corresponding branched covers can be described via a Penner-like matrix model. The limiting branched covers are given in terms of the spectral curve for this matrix model, which remarkably turns out to be directly related to the Strebel quadratic differential on the covering space. Interpreting the covering space as the world-sheet of the dual string theory, the spacetime CFT correlator thus has the form of an integral over the entire world-sheet moduli space weighted with a Nambu-Goto-like action. Quite strikingly, at leading order this action can also be written as the absolute value of the Schwarzian of the covering map. Given the equivalence of the symmetric product CFT to tensionless string theory on ${\rm AdS}_3$, this provides an explicit realisation of the underlying mechanism of gauge-string duality originally proposed in arXiv:hep-th/0504229 and further refined in arXiv:0803.2681.


title: Creative Sketch Generation

abstract: Sketching or doodling is a popular creative activity that people engage in. However, most existing work in automatic sketch understanding or generation has focused on sketches that are quite mundane. In this work, we introduce two datasets of creative sketches -- Creative Birds and Creative Creatures -- containing 10k sketches each along with part annotations. We propose DoodlerGAN -- a part-based Generative Adversarial Network (GAN) -- to generate unseen compositions of novel part appearances. Quantitative evaluations as well as human studies demonstrate that sketches generated by our approach are more creative and of higher quality than existing approaches. In fact, in Creative Birds, subjects prefer sketches generated by DoodlerGAN over those drawn by humans! Our code can be found at https://github.com/facebookresearch/DoodlerGAN and a demo can be found at http://doodlergan.cloudcv.org.


title: A CFT Distance Conjecture

abstract: We formulate a series of conjectures relating the geometry of conformal manifolds to the spectrum of local operators in conformal field theories in $d>2$ spacetime dimensions. We focus on conformal manifolds with limiting points at infinite distance with respect to the Zamolodchikov metric. Our central conjecture is that all theories at infinite distance possess an emergent higher-spin symmetry, generated by an infinite tower of currents whose anomalous dimensions vanish exponentially in the distance. Stated geometrically, the diameter of a non-compact conformal manifold must diverge logarithmically in the higher-spin gap. In the holographic context our conjectures are related to the Distance Conjecture in the swampland program. Interpreted gravitationally, they imply that approaching infinite distance in moduli space at fixed AdS radius, a tower of higher-spin fields becomes massless at an exponential rate that is bounded from below in Planck units. We discuss further implications for conformal manifolds of superconformal field theories in three and four dimensions.


title: An in-situ synchrotron diffraction study of stress relaxation in titanium: Effect of temperature and oxygen on cold dwell fatigue

abstract: There is a long-standing technological problem in which a stress dwell during cyclic loading at room temperature in Ti causes a significant fatigue life reduction. It is thought that localised time dependent plasticity in soft grains favourably oriented for easy plastic slip leads to load shedding and an increase in stress within a neighbouring hard grain poorly oriented for easy slip. Quantifying this time dependent plasticity process is key to understand the complex cold dwell fatigue problem. Knowing the effect of operating temperature and oxygen content on cold dwell fatigue will be beneficial for future alloy design to address this problem. In this work, synchrotron X-ray diffraction during stress relaxation experiments was used to characterise the time dependent plastic behaviour of two commercially pure titanium samples (grade 1 and grade 4) with different oxygen content at 4 different temperatures (room temperature, 75C, 145C and 250C). Lattice strains were measured by tracking the diffraction peak shift from multiple crystallographic plane families (21 diffraction rings) as a function of their orientation with respect to the loading direction. Critical resolved shear stress, activation energy and activation volume were established for both prismatic and basal slip as a function of temperature and oxygen content by fitting a crystal plasticity finite element model to the lattice strain relaxation responses measured along the loading axis for five strong reflections. Higher strain rate sensitivity was found to lead to higher plasticity during cold dwell.


title: Formation of turbulence via an interaction potential

abstract: In a recent work, we proposed a hypothesis that the turbulence in gases could be produced by particles interacting via a potential - for example, the interatomic potential at short ranges, and the electrostatic potential at long ranges. Here, we examine the proposed mechanics of turbulence formation in a simple model of two particles, which interact solely via a potential. Following the kinetic theory approach, we derive a hierarchy of the velocity moment transport equations, and then truncate it via a novel closure based on the high Reynolds number condition. While standard closures of the velocity moment hierarchy of the Boltzmann equation lead to the compressible Euler and Navier-Stokes systems of equations, our closure leads to a transport equation for the velocity alone, which is driven by the potential forcing. Starting from a large scale laminar shear flow, we numerically simulate the solutions of our velocity transport equation for the electrostatic, gravity, Thomas-Fermi and Lennard-Jones potentials, as well as the Vlasov-type large scale mean field potential. In all studied scenarios, the time-averaged Fourier spectra of the kinetic energy clearly exhibit Kolmogorov's "five-thirds" power decay rate.


title: Propagate Yourself: Exploring Pixel-Level Consistency for Unsupervised Visual Representation Learning

abstract: Contrastive learning methods for unsupervised visual representation learning have reached remarkable levels of transfer performance. We argue that the power of contrastive learning has yet to be fully unleashed, as current methods are trained only on instance-level pretext tasks, leading to representations that may be sub-optimal for downstream tasks requiring dense pixel predictions. In this paper, we introduce pixel-level pretext tasks for learning dense feature representations. The first task directly applies contrastive learning at the pixel level. We additionally propose a pixel-to-propagation consistency task that produces better results, even surpassing the state-of-the-art approaches by a large margin. Specifically, it achieves 60.2 AP, 41.4 / 40.5 mAP and 77.2 mIoU when transferred to Pascal VOC object detection (C4), COCO object detection (FPN / C4) and Cityscapes semantic segmentation using a ResNet-50 backbone network, which are 2.6 AP, 0.8 / 1.0 mAP and 1.0 mIoU better than the previous best methods built on instance-level contrastive learning. Moreover, the pixel-level pretext tasks are found to be effective for pre-training not only regular backbone networks but also head networks used for dense downstream tasks, and are complementary to instance-level contrastive methods. These results demonstrate the strong potential of defining pretext tasks at the pixel level, and suggest a new path forward in unsupervised visual representation learning. Code is available at \url{https://github.com/zdaxie/PixPro}.


title: Doping the chiral spin liquid -- topological superconductor or chiral metal?

abstract: We point out that there are two different chiral spin liquid states on the triangular lattice and discuss the conducting states that are expected on doping them. These states labeled CS1 and CS2 are associated with two distinct topological orders with different edge states, although they both spontaneously break time reversal symmetry and exhibit the same quantized spin Hall conductance. While CSL1 is related to the Kalmeyer-Laughlin state, CSL2 is the $\nu =4$ member of Kitaev's 16 fold way classification. Both states are described within the Abrikosov fermion representation of spins, and the effect of doping can be accessed by introducing charged holons. On doping CSL2, condensation of charged holons leads to a topological d+id superconductor. However on doping CSL1 , in sharp contrast , two different scenarios can arise: first, if holons condense, a chiral metal with doubled unit cell and finite Hall conductivity is obtained. However, in a second novel scenario, the internal magnetic flux adjusts with doping and holons form a bosonic integer quantum Hall (BIQH) state. Remarkably, the latter phase is identical to a $d+id$ superconductor. In this case the Mott insulator to superconductor transition is associated with a bosonic variant of the integer quantum Hall plateau transition for the holon. We connect the above two scenarios to two recent numerical studies of doped chiral spin liquids on triangular lattice. Our work clarifies the complex relation between topological superconductors, chiral spin liquids and quantum criticality .


title: The signature of granulation in a solar power spectrum as seen with CO$^5$BOLD

abstract: The granulation background seen in the power spectrum of a solar-like oscillator poses a serious challenge for extracting precise and detailed information about the stellar oscillations. Using a 3D hydrodynamical simulation of the Sun computed with CO$^5$BOLD, we investigate various background models to infer, using a Bayesian methodology, which one provides the best fit to the background in the simulated power spectrum. We find that the best fit is provided by an expression including the overall power level and two characteristic frequencies, one with an exponent of 2 and one with a free exponent taking on a value around 6. We assess the impact of the 3D hydro-code on this result by repeating the analysis with a simulation from Stagger and find that the main conclusion is unchanged. However, the details of the resulting best fits differ slightly between the two codes, but we explain this difference by studying the effect of the spatial resolution and the duration of the simulation on the fit. Additionally, we look into the impact of adding white noise to the simulated time series as a simple way to mimic a real star. We find that, as long as the noise level is not too low, the results are consistent with the no-noise case.


title: The R\'{e}nyi holographic dark energy model in Chern-Simons gravity: some cosmological implications

abstract: In this paper, we study R\'{e}nyi holographic dark energy model in the context of Chern Simons (CS) modified gravity theory. Different cosmological parameters such as energy density, deceleration parameter, equation of state, square of sound speed and cosmological plane are discussed using FRW metric. Two separate solutions of CS field equations arose. The R\'{e}nyi HDE model showed the transition from deceleration to acceleration phase which is fully consistent with the observational data while in the second case it represented a decelerated phase of expansion only. In fact, EoS illustrates the era of dominance of the universe by certain components. Our results predicted that the universe is under the influence of dark energy as EoS showed accelerated expansion phase. On the other hand case two advocated the influence of $\Lambda$ CDM. In both cases, $\omega <0,\omega^{\prime}<0$ indicated that the R\'{e}nyi HDE model is in the freezing region and cosmic expansion is more accelerating in the context of CS modified gravity. It is also observed that the value of $\nu^2_s$ is positive $ \forall z\in \Re $ a sufficient condition for the stability of the system. Hence it is concluded that the R\'{e}nyi HDE model is supported by the results of general relativity in the framework of CS modified gravity.


title: Some results on the rotated infinitely deep potential and its coherent states

abstract: The Swanson model is an exactly solvable model in quantum mechanics with a manifestly non self-adjoint Hamiltonian whose eigenvalues are all real. Its eigenvectors can be deduced easily, by means of suitable ladder operators. This is because the Swanson Hamiltonian is deeply connected with that of a standard quantum Harmonic oscillator, after a suitable rotation in configuration space is performed. In this paper we consider a rotated version of a different quantum system, the infinitely deep potential, and we consider some of the consequences of this rotation. In particular, we show that differences arise with respect to the Swanson model, mainly because of the technical need of working, here, with different Hilbert spaces, rather than staying in $\Lc^2(\mathbb{R})$. We also construct Gazeau-Klauder coherent states for the system, and analyse their properties.


title: Multipole decomposition of redshift drift -- model independent mapping of the expansion history of the Universe

abstract: We consider redshift drift in a general space-time as expressed in terms of physically interpretable multipole series. An important realisation from the derived results is that redshift drift cannot in general be thought of as a direct probe of the average expansion rate of the Universe due to the presence of structure along the light beams from the astrophysical sources to the observer. We also predict the general presence of a dipolar and a quadrupolar offset in the detection of redshift drift for observers placed in locally anisotropic environments.


title: Phase-Space Methods for Simulating the Dissipative Many-Body Dynamics of Collective Spin Systems

abstract: We describe an efficient numerical method for simulating the dynamics and steady states of collective spin systems in the presence of dephasing and decay. The method is based on the Schwinger boson representation of spin operators and uses an extension of the truncated Wigner approximation to map the exact open system dynamics onto stochastic differential equations for the corresponding phase space distribution. This approach is most effective in the limit of very large spin quantum numbers, where exact numerical simulations and other approximation methods are no longer applicable. We benchmark this numerical technique for known superradiant decay and spin-squeezing processes and illustrate its application for the simulation of non-equilibrium phase transitions in dissipative spin lattice models.


title: On the planar limit of 3d $T_\rho^\sigma[SU(N)]$

abstract: We discuss a limit of 3d $T_\rho^\sigma[SU(N)]$ quiver gauge theories in which the number of nodes is large and the ranks scale quadratically with the length of the quiver. The sphere free energies and topologically twisted indices are obtained using supersymmetric localization. Both scale quartically with the length of the quiver and quadratically with $N$, with trilogarithm functions depending on the quiver data as coefficients. The IR SCFTs have well-behaved supergravity duals in Type IIB, and the free energies match precisely with holographic results. Previously discussed theories with $N^2\ln N$ scaling arise as limiting cases. Each balanced 3d quiver theory is linked to a 5d parent, whose matrix model is related and dominated by the same saddle point, leading to close relations between BPS observables.


title: A Catalog of 220 Offset and Dual AGNs: Increased AGN Activation in Major Mergers and Separations under 4 kpc

abstract: During galaxy mergers, gas and dust is driven towards the centers of merging galaxies, triggering enhanced star formation and supermassive black hole (SMBH) growth. Theory predicts that this heightened activity peaks at SMBH separations $<$20 kpc; if sufficient material accretes onto one or both of the SMBHs for them to become observable as active galactic nuclei (AGNs) during this phase, they are known as offset and dual AGNs, respectively. To better study these systems, we have built the ACS-AGN Merger Catalog, a large catalog ($N=220$) of uniformly selected offset and dual AGN observed by $\textit{HST}$ at $0.2<z<2.5$ with separations $<$20 kpc. Using this catalog, we answer many questions regarding SMBH -- galaxy coevolution during mergers. First, we confirm predictions that the AGN fraction peaks at SMBH pair separations $<$10 kpc; specifically, we find that the fraction increases significantly at pair separations of $<$4 kpc. Second, we find that AGNs in mergers are preferentially found in major mergers and that the fraction of AGNs found in mergers follows a logarithmic relation, decreasing as merger mass ratio increases. Third, we do not find that mergers (nor the major or minor merger subpopulations) trigger the most luminous AGNs. Finally, we find that nuclear column density, AGN luminosity, and host galaxy star formation rate have no dependence on SMBH pair separation or merger mass ratio in these systems, nor do the distributions of these values differ significantly from that of the overall AGN population.


title: Celestial double copy from the worldsheet

abstract: Using the ambitwistor string, we compute tree-level celestial amplitudes for biadjoint scalars, Yang-Mills and gravity to all multiplicities. They are presented in compact CHY-like formulas with operator-valued scattering equations and numerators acting on a generalized hypergeometric function. With these we extend the celestial double copy to tree-level amplitudes with arbitrary number of external states. We also show how color-kinematics duality is implemented in celestial amplitudes and its interpretation in terms of a generalized twisted cohomology theory.


title: On the AGN Nature of Broad Balmer Emission in Four Low-Redshift Metal-Poor Galaxies

abstract: We report on continued, $\sim$15 year-long, broad Balmer emission lines in three metal-poor dwarf emission-line galaxies selected from Sloan Digital Sky Survey spectroscopy. The persistent luminosity of the broad Balmer emission indicates the galaxies are active galactic nuclei (AGNs) with virial black hole masses of $\sim 10^{6.7}{-10^{7.0}\ M_{\odot}}$. The lack of observed hard X-ray emission and the possibility that the Balmer emission could be due to a long-lived stellar transient motivated additional follow-up spectroscopy. We also identify a previously-unreported blueshifted narrow absorption line in the broad H$\alpha$ feature in one of the AGNs, indicating an AGN-driven outflow with hydrogen column densities of order $10^{17}$ cm$^{-2}$. We also extract light curves from the Catalina Real-Time Transient Survey and the Zwicky Transient Facility. We detect probable AGN-like variability in three galaxies, further supporting the AGN scenario. This also suggests the AGNs are not strongly obscured. This sample of galaxies are among the most metal-poor which host an AGN ($Z=0.05 - 0.16\ Z_\odot$). We speculate they may be analogues to seed black holes which formed in unevolved galaxies at high redshift. Given the rarity of metal-poor AGNs and small sample size available, we investigate prospects for their identification in future spectroscopic and photometric surveys.


title: Colour and logarithmic accuracy in final-state parton showers

abstract: Standard dipole parton showers are known to yield incorrect subleading-colour contributions to the leading (double) logarithmic terms for a variety of observables. In this work, concentrating on final-state showers, we present two simple, computationally efficient prescriptions to correct this problem, exploiting a Lund-diagram type classification of emission regions. We study the resulting effective multiple-emission matrix elements generated by the shower, and discuss their impact on subleading colour contributions to leading and next-to-leading logarithms (NLL) for a range of observables. In particular we show that the new schemes give the correct full colour NLL terms for global observables and multiplicities. Subleading colour issues remain at NLL (single logarithms) for non-global observables, though one of our two schemes reproduces the correct full-colour matrix-element for any number of energy-ordered commensurate-angle pairs of emissions. While we carry out our tests within the PanScales shower framework, the schemes are sufficiently simple that it should be straightforward to implement them also in other shower frameworks.


title: Emergent Fracton Dynamics in a Non-Planar Dimer Model

abstract: We study the late time relaxation dynamics of a pure $U(1)$ lattice gauge theory in the form of a dimer model on a bilayer geometry. To this end, we first develop a proper notion of hydrodynamic transport in such a system by constructing a global conservation law that can be attributed to the presence of topological solitons. The correlation functions of local objects charged under this conservation law can then be used to study the universal properties of the dynamics at late times, applicable to both quantum and classical systems. Performing the time evolution via classically simulable automata circuits unveils a rich phenomenology of the system's non-equilibrium properties: For a large class of relevant initial states, local charges are effectively restricted to move along one-dimensional 'tubes' within the quasi-two-dimensional system, displaying fracton-like mobility constraints. The time scale on which these tubes are stable diverges with increasing systems size, yielding a novel mechanism for non-ergodic behavior in the thermodynamic limit. We further explore the role of geometry by studying the system in a quasi-one-dimensional limit, where the Hilbert space is strongly fragmented due to the emergence of an extensive number of conserved quantities. This provides an instance of a recently introduced concept of 'statistically localized integrals of motion', whose universal anomalous hydrodynamics we determine by a mapping to a problem of classical tracer diffusion. We conclude by discussing how our approach might generalize to study transport in other lattice gauge theories.


title: The Active Flux scheme for nonlinear problems

abstract: The Active Flux scheme is a finite volume scheme with additional point values distributed along the cell boundary. It is third order accurate and does not require a Riemann solver. Instead, given a reconstruction, the initial value problem at the location of the point value is solved. The intercell flux is then obtained from the evolved values along the cell boundary by quadrature. Whereas for linear problems an exact evolution operator is available, for nonlinear problems one needs to resort to approximate evolution operators. This paper presents such approximate operators for nonlinear hyperbolic systems in one dimension and nonlinear scalar equations in multiple spatial dimensions. They are obtained by estimating the wave speeds to sufficient order of accuracy. Additionally, an entropy fix is introduced and a new limiting strategy is proposed. The abilities of the scheme are assessed on a variety of smooth and discontinuous setups.


title: One Channel to Rule Them All? Constraining the Origins of Binary Black Holes using Multiple Formation Pathways

abstract: The second LIGO-Virgo catalog of gravitational wave transients has more than quadrupled the observational sample of binary black holes. We analyze this catalog using a suite of five state-of-the-art binary black hole population models covering a range of isolated and dynamical formation channels and infer branching fractions between channels as well as constraints on uncertain physical processes that impact the observational properties of mergers. Given our set of formation models, we find significant differences between the branching fractions of the underlying and detectable populations, and that the diversity of detections suggests that multiple formation channels are at play. A mixture of channels is strongly preferred over any single channel dominating the detected population: an individual channel does not contribute to more than $\simeq 70\%$ of the observational sample of binary black holes. We calculate the preference between the natal spin assumptions and common envelope efficiencies in our models, favoring natal spins of isolated black holes of $\lesssim 0.1$, and marginally preferring common envelope efficiencies of $\gtrsim 2.0$ while strongly disfavoring highly inefficient common envelopes. We show that it is essential to consider multiple channels when interpreting gravitational wave catalogs, as inference on branching fractions and physical prescriptions becomes biased when contributing formation scenarios are not considered or incorrect physical prescriptions are assumed. Although our quantitative results can be affected by uncertain assumptions in model predictions, our methodology is capable of including models with updated theoretical considerations and additional formation channels.


title: Causality, Unitarity and Symmetry in Effective Field Theory

abstract: Sum rules in effective field theories, predicated upon causality, place restrictions on scattering amplitudes mediated by effective contact interactions. Through unitarity of the $S$-matrix, these imply that the size of higher dimensional corrections to transition amplitudes between different states is bounded by the strength of their contributions to elastic forward scattering processes. This places fundamental limits on the extent to which hypothetical symmetries can be broken by effective interactions. All analysis is for dimension $8$ operators in the forward limit. Included is a thorough derivation of all positivity bounds for a chiral fermion in $SU(2)$ and $SU(3)$ global symmetry representations resembling those of the Standard Model, general bounds on flavour violation, new bounds for interactions between particles of different spin, inclusion of loops of dimension $6$ operators and illustration of the resulting strengthening of positivity bounds over tree-level expectations, a catalogue of supersymmetric effective interactions up to mass dimension $8$ and $4$ legs and the demonstration that supersymmetry unifies the positivity theorems as well as the new bounds.


title: The evolution of the size-mass relation at $z$=1-3 derived from the complete Hubble Frontier Fields data set

abstract: We measure the size-mass relation and its evolution between redshifts 1$<z<$3, using galaxies lensed by six foreground Hubble Frontier Fields clusters. The power afforded by strong gravitation lensing allows us to observe galaxies with higher angular resolution beyond current facilities. We select a stellar mass limited sample and divide them into star-forming or quiescent classes based on their rest-frame UVJ colors from the ASTRODEEP catalogs. Source reconstruction is carried out with the recently-released $lenstruction$ software, which is built on the multi-purpose gravitational lensing software $lenstronomy$. We derive the empirical relation between size and mass for the late-type galaxies with $M_{*}>3\times10^{9}M_{\odot}$ at 1$<z<$2.5 and $M_* >5 \times 10^{9} M_{\odot}$ at 2.5$<z<$3, and at a fixed stellar mass, we find galaxy sizes evolve as $R_{eff}\propto (1+z)^{-1.05\pm0.37}$. The intrinsic scatter is $<0.1$ dex at $z<1.5$ but increases to $\sim0.3$ dex at higher redshift. The results are in good agreement with those obtained in blank fields. We evaluate the uncertainties associated with the choice of lens model by comparing size measurements using five different and publicly available models, finding the choice of lens model leads to a 3.7 % uncertainty of the median value, and $\sim 25$ % scatter for individual galaxies. Our work demonstrates the use of strong lensing magnification to boost resolution does not introduce significant uncertainties in this kind of work, and paves the way for wholesale applications of the sophisticated lens reconstruction technique to higher redshifts and larger samples.


title: Quantum-limit Hall effect with large carrier density in topological semimetals

abstract: The quantum-limit Hall effect at $\nu = nh/eB\sim O(1)$ that hosts a variety of exotic quantum phenomena requires demanding strong magnetic field $B$ and low carrier density $n$. We propose to realize quantum-limit Hall effect even in the presence of large carrier density residues $n_e$ and $n_h$ relative to the magnetic field $B$ in topological semimetals, where a single Fermi surface contour allow both electron-type and hole-type carriers and approaches charge neutrality as $n_e\sim n_h$. The underlying filling factor $\nu = |n_e-n_h|h/eB$ explicitly violates the Onsager's relation for quantum oscillations.


title: A model for the Singlet-Triplet Leptoquarks

abstract: The deviations of $B$-meson decays measured in $R_{D^{(*)}}^{\tau\ell}$ and $R_{K^{(*)}}^{\mu e}$ can be explained by the presence of two scalar leptoquarks, a singlet $S_1$ and a triplet $S_3$, mostly coupled to the third generation. We consider a theory of resonances, as an effective description of a strongly interacting theory, that generates the leptoquarks and the Higgs as Nambu-Goldstone bosons, with the rest of the resonances at a scale of order $10-30\ {\rm TeV}$. We assume anarchic partial compositeness for the flavor of the SM fermions. Under these hypothesis we study whether it is possible to reproduce the deviations in the $B$-decays without being in conflict with flavor and electroweak bounds. We find a tension between $R_{D^{(*)}}^{\tau\ell}$ and some flavor observables, dominated by flavor violating $\tau$ decays and $\Delta m_{B_s}$, that require a tuning of order $10-25\%$. We also compute the potential of the scalars showing that leptoquarks with masses ${\cal}O(2-3)\ {\rm TeV}$ can be naturally expected in the model. We discuss briefly the phenomenology of the other resonances.


title: The Swan: Data-Driven Inference of Stellar Surface Gravities for Cool Stars from Photometric Light Curves

abstract: Stellar light curves are well known to encode physical stellar properties. Precise, automated and computationally inexpensive methods to derive physical parameters from light curves are needed to cope with the large influx of these data from space-based missions such as Kepler and TESS. Here we present a new methodology which we call The Swan, a fast, generalizable and effective approach for deriving stellar surface gravity ($\log g$) for main sequence, subgiant and red giant stars from Kepler light curves using local linear regression on the full frequency content of Kepler long cadence power spectra. With this inexpensive data-driven approach, we recover $\log g$ to a precision of $\sim$0.02 dex for 13,822 stars with seismic $\log g$ values between 0.2-4.4 dex, and $\sim$0.11 dex for 4,646 stars with Gaia derived $\log g$ values between 2.3-4.6 dex. We further develop a signal-to-noise metric and find that granulation is difficult to detect in many cool main sequence stars ($T_{\text{eff}}$ $\lesssim$ 5500 K), in particular K dwarfs. By combining our $\log g$ measurements with Gaia radii, we derive empirical masses for 4,646 subgiant and main sequence stars with a median precision of $\sim$7%. Finally, we demonstrate that our method can be used to recover $\log g$ to a similar mean absolute deviation precision for TESS-baseline of 27 days. Our methodology can be readily applied to photometric time-series observations to infer stellar surface gravities to high precision across evolutionary states.


title: Dual Contradistinctive Generative Autoencoder

abstract: We present a new generative autoencoder model with dual contradistinctive losses to improve generative autoencoder that performs simultaneous inference (reconstruction) and synthesis (sampling). Our model, named dual contradistinctive generative autoencoder (DC-VAE), integrates an instance-level discriminative loss (maintaining the instance-level fidelity for the reconstruction/synthesis) with a set-level adversarial loss (encouraging the set-level fidelity for there construction/synthesis), both being contradistinctive. Extensive experimental results by DC-VAE across different resolutions including 32x32, 64x64, 128x128, and 512x512 are reported. The two contradistinctive losses in VAE work harmoniously in DC-VAE leading to a significant qualitative and quantitative performance enhancement over the baseline VAEs without architectural changes. State-of-the-art or competitive results among generative autoencoders for image reconstruction, image synthesis, image interpolation, and representation learning are observed. DC-VAE is a general-purpose VAE model, applicable to a wide variety of downstream tasks in computer vision and machine learning.


title: Open quantum systems integrable by partial commutativity

abstract: The article provides a framework to solve linear differential equations based on partial commutativity which is introduced by means of the Fedorov theorem. The framework is applied to specific types of three-level and four-level quantum systems. The efficiency of the method is evaluated and discussed. The Fedorov theorem appears to answer the need for methods which allow to study dynamical maps corresponding with time-dependent generators. By applying this method, one can investigate countless examples of dissipative systems such that the relaxation rates depend on time.


title: Anderson acceleration of coordinate descent

abstract: Acceleration of first order methods is mainly obtained via inertial techniques \`a la Nesterov, or via nonlinear extrapolation. The latter has known a recent surge of interest, with successful applications to gradient and proximal gradient techniques. On multiple Machine Learning problems, coordinate descent achieves performance significantly superior to full-gradient methods. Speeding up coordinate descent in practice is not easy: inertially accelerated versions of coordinate descent are theoretically accelerated, but might not always lead to practical speed-ups. We propose an accelerated version of coordinate descent using extrapolation, showing considerable speed up in practice, compared to inertial accelerated coordinate descent and extrapolated (proximal) gradient descent. Experiments on least squares, Lasso, elastic net and logistic regression validate the approach.


title: Lidar-based exploration and discretization for mobile robot planning

abstract: In robotic applications, the control, and actuation deal with a continuous description of the system and environment, while high-level planning usually works with a discrete description. This paper considers the problem of bridging the low-level control and high-level planning for robotic systems via sensor data. In particular, we propose a discretization algorithm that identifies free polytopes via lidar point cloud data. A transition graph is then constructed where each node corresponds to a free polytope and two nodes are connected with an edge if the two corresponding free polytopes intersect. Furthermore, a distance measure is associated with each edge, which allows for the assessment of quality (or cost) of the transition for high-level planning. For the low-level control, the free polytopes act as a convenient encoding of the environment and allow for the planning of collision-free trajectories that realizes the high-level plan. The results are demonstrated in high-fidelity ROS simulations and experiments with a drone and a Segway.


title: Intransitive dice tournament is not quasirandom

abstract: We settle a version of the conjecture about intransitive dice posed by Conrey, Gabbard, Grant, Liu and Morrison in 2016 and Polymath in 2017. We consider generalized dice with $n$ faces and we say that a die $A$ beats $B$ if a random face of $A$ is more likely to show a higher number than a random face of $B$. We study random dice with faces drawn iid from the uniform distribution on $[0,1]$ and conditioned on the sum of the faces equal to $n/2$. Considering the "beats" relation for three such random dice, Polymath showed that each of eight possible tournaments between them is asymptotically equally likely. In particular, three dice form an intransitive cycle with probability converging to $1/4$. In this paper we prove that for four random dice not all tournaments are equally likely and the probability of a transitive tournament is strictly higher than $3/8$.


title: Design of Incentive Mechanisms Using Prospect Theory to Promote Better Sell-back Behavior among Prosumers

abstract: Users can now give back energies to the grid using distributed resources. Proper incentive mechanisms are required for such users, also known as prosumers, in order to maximize the sell-back amount while maintaining the retailer's profit. However, all the existing literature considers expected utility theory (EUT) where they assume that prosumers maximize their expected payoff. We consider prospect theory (PT) which models the behavior of humans in the face of uncertainty in a better manner. We show that in a day-ahead contract pricing mechanism, the actual optimal value of contract and the sell-back amount may be smaller compared to the one computed by the EUT. We also propose a lottery-based mechanism and show that such a mechanism can increase the sell-back amount while increasing the retailer's savings compared to day-ahead contract pricing.


title: Reaching the Planck scale with muon lifetime measurements

abstract: Planck scale modified dispersion relations are one way how to capture the influence of quantum gravity on the propagation of fundamental point particles effectively. We derive the time dilation between an observer's or particle's proper time, given by a Finslerian length measure induced from a modified dispersion relation, and a reference laboratory time. To do so, the Finsler length measure for general first order perturbations of the general relativistic dispersion relation is constructed explicitly. From this we then derive the time dilation formula for the $\kappa$-Poincar\'e dispersion relation in several momentum space bases, as well as for modified dispersion relations considered in the context of string theory and loop quantum gravity. Most interestingly we find that the momentum Lorentz factor in the present and future colliders can, in principle, become large enough to constrain the Finsler realization of the $\kappa$-Poincar\'e dispersion relation in the bicrossproduct basis as well as a string theory inspired modified dispersion relation, at Planck scale sensitivity with the help of the muon's lifetime.


title: Edge photogalvanic effect caused by optical alignment of carrier momenta in 2D Dirac materials

abstract: We show that the inter-band absorption of radiation in a 2D Dirac material leads to a direct electric current flowing at sample edges. The photocurrent originates from the momentum alignment of electrons and holes and is controlled by the radiation polarization. We develop a microscopic theory of such an edge photogalvanic effect and calculate the photocurrent for gapped and gapless 2D Dirac materials, also in the presence of a static magnetic field which introduces additional imbalance between the electron and hole currents. Further, we show that the photocurrent can be considerably multiplied in a ratchet-like structure with an array of narrow strips.


title: Extinction probabilities in branching processes with countably many types: a general framework

abstract: We consider Galton-Watson branching processes with countable typeset $\mathcal{X}$. We study the vectors ${\bf q}(A)=(q_x(A))_{x\in\mathcal{X}}$ recording the conditional probabilities of extinction in subsets of types $A\subseteq \mathcal{X}$, given that the type of the initial individual is $x$. We first investigate the location of the vectors ${\bf q}(A)$ in the set of fixed points of the progeny generating vector and prove that $q_x(\{x\})$ is larger than or equal to the $x$th entry of any fixed point, whenever it is different from 1. Next, we present equivalent conditions for $q_x(A)< q_x (B)$ for any initial type $x$ and $A,B\subseteq \mathcal{X}$. Finally, we develop a general framework to characterise all \emph{distinct} extinction probability vectors, and thereby to determine whether there are finitely many, countably many, or uncountably many distinct vectors. We illustrate our results with examples, and conclude with open questions.


title: REX: X-ray experiment on the Water Recovery Rocket

abstract: This paper presents Rocket Experiment (REX) that was part of a dual payload rocket campaign for NASA's sounding rocket Black Brant IX with water recovery technology. This mission was a suborbital sounding rocket flight that was launched and recovered on April 4, 2018 and targeted the Vela supernova remnant. The purpose of REX was to classify the Technology Readiness Level of onboard devices designed for space applications. The devices were two wide-field X-ray telescopes consisting of a combination of Lobster-Eye (LE) optics with an uncooled Timepix detector (256 x 256 px @ 55 um), and additional sensors. The first telescope uses a two-dimensional combination of LE modules with a focal length of 1 m and a Field of View (FOV) of 1.0 x 1.2 deg and operates in the energy range of 3 - 60 keV. The second telescope was a one-dimensional LE with a focal length of 250 mm and a FOV of 2.7 x 8.0 deg for the energy range 3 - 40 keV. The X-ray telescopes were supplemented by a camera in the visible spectrum with 1,280 x 1,024 px resolution, which was used to obtain images of the observed sources and to verify the resulting pointing of the rocket carrier. Other devices also include infrared array sensors and inertial measurement units tested for future small satellite missions. The data handler and communication system were built using the Robot Operating System, and both the system and the electronics were deployed and operated in flight. The hardware was successfully recovered after the launch and the data were extracted.


title: Enabling New Flexibility in the SUNDIALS Suite of Nonlinear and Differential/Algebraic Equation Solvers

abstract: In recent years, the SUite of Nonlinear and DIfferential/ALgebraic equation Solvers (SUNDIALS) has been redesigned to better enable the use of application-specific and third-party algebraic solvers and data structures. Throughout this work, we have adhered to specific guiding principles that minimized the impact to current users while providing maximum flexibility for later evolution of solvers and data structures. The redesign was done through the addition of new linear and nonlinear solvers classes, enhancements to the vector class, and the creation of modern Fortran interfaces. The vast majority of this work has been performed "behind-the-scenes," with minimal changes to the user interface and no reduction in solver capabilities or performance. These changes allow SUNDIALS users to more easily utilize external solver libraries and create highly customized solvers, enabling greater flexibility on extreme-scale, heterogeneous computational architectures.


title: Spatial and temporal analysis of 3-minute oscillations in the chromosphere associated with the X2.2 Solar Flare on 2011 February 15

abstract: 3-minute oscillations in the chromosphere are attributed to both slow magnetoacoustic waves propagating from the photosphere, and to oscillations generated within the chromosphere itself at its natural frequency as a response to a disturbance. Here we present an investigation of the spatial and temporal behavior of the chromospheric 3-minute oscillations before, during, and after the SOL2011-02-15T01:56 X2.2 flare. Observations in ultraviolet emission centered on 1600 and 1700 Angstroms obtained at 24- second cadence from the Atmospheric Imaging Assembly on board the Solar Dynamics Observatory are used to create power maps as functions of both space and time. We observe higher 3-minute power during the flare, spatially concentrated in small areas 10 pixels (4 arcseconds) across. This implies that the chromospheric plasma is not oscillating globally as a single body. The locations of increased 3-minute power are consistent with observations of HXR flare emission from previous studies, suggesting that these small areas are manifestations of the chromosphere responding to injection of energy by nonthermal particles. This supports the theory that the chromosphere oscillates at the acoustic cutoff frequency in response to a disturbance.


title: The chirality-flow formalism for the standard model

abstract: In a recent paper we introduced the chirality-flow formalism, a method for simple and transparent calculations of Feynman diagrams based on the left- and right-chiral $\mathrm{sl}(2,\mathbb{C})$ nature of spacetime. While our previous work focused on massless QED and QCD at tree-level, we here extend the chirality-flow formalism to the full (tree-level) Standard Model, including massive particles and electroweak interactions -- for which the $W$-interaction simplifies elegantly due to its chiral nature. We illustrate how values of Feynman diagrams can be immediately written down with some representative examples.


title: Optimal Algorithms for Convex Nested Stochastic Composite Optimization

abstract: Recently, convex nested stochastic composite optimization (NSCO) has received considerable attention for its applications in reinforcement learning and risk-averse optimization. The current NSCO algorithms have worse stochastic oracle complexities, by orders of magnitude, than those for simpler stochastic composite optimization problems (e.g., sum of smooth and nonsmooth functions) without the nested structure. Moreover, they require all outer-layer functions to be smooth, which is not satisfied by some important applications. These discrepancies prompt us to ask: ``does the nested composition make stochastic optimization more difficult in terms of the order of oracle complexity?" In this paper, we answer the question by developing order-optimal algorithms for the convex NSCO problem constructed from an arbitrary composition of smooth, structured non-smooth and general non-smooth layer functions. When all outer-layer functions are smooth, we propose a stochastic sequential dual (SSD) method to achieve an oracle complexity of $\mathcal{O}(1/\epsilon^2)$ ($\mathcal{O}(1/\epsilon)$) when the problem is non-strongly (strongly) convex. When there exists some structured non-smooth or general non-smooth outer-layer function, we propose a nonsmooth stochastic sequential dual (nSSD) method to achieve an oracle complexity of $\mathcal{O}(1/\epsilon^2)$. We provide a lower complexity bound to show the latter $\mathcal{O}(1/\epsilon^2)$ complexity to be unimprovable even under a strongly convex setting. All these complexity results seem to be new in the literature and they indicate that the convex NSCO problem has the same order of oracle complexity as those without the nested composition in all but the strongly convex and outer-non-smooth problem.


title: Error-Bounded Correction of Noisy Labels

abstract: To collect large scale annotated data, it is inevitable to introduce label noise, i.e., incorrect class labels. To be robust against label noise, many successful methods rely on the noisy classifiers (i.e., models trained on the noisy training data) to determine whether a label is trustworthy. However, it remains unknown why this heuristic works well in practice. In this paper, we provide the first theoretical explanation for these methods. We prove that the prediction of a noisy classifier can indeed be a good indicator of whether the label of a training data is clean. Based on the theoretical result, we propose a novel algorithm that corrects the labels based on the noisy classifier prediction. The corrected labels are consistent with the true Bayesian optimal classifier with high probability. We incorporate our label correction algorithm into the training of deep neural networks and train models that achieve superior testing performance on multiple public datasets.


title: Testing momentum dependence of the nonperturbative hadron structure in a global QCD analysis

abstract: We discuss strategies for comparisons of nonperturbative QCD predictions for parton distribution functions (PDFs) with high-energy experiments in the region of large partonic momentum fractions $x$. Analytic functional forms for PDFs cannot be uniquely determined solely based on discrete experimental measurements because of a mathematical property of mimicry of PDF parametrizations that we prove using a representation based on B\'ezier curves. Predictions of nonperturbative QCD approaches for the $x$ dependence of PDFs instead should be cast in a form that enables decisive comparisons against experimental measurements. Predictions for effective power laws of $(1-x)$ dependence of PDFs may play this role. Expectations for PDFs in a proton based on quark counting rules are compared against the effective power laws of $(1-x)$ dependence satisfied by CT18 next-to-next-to-leading order parton distributions. We comment on implications for studies of PDFs in a pion, in particular on the comparison of nonperturbative approaches with phenomenological PDFs.


title: Improving Functional Connectome Fingerprinting with Degree-Normalization

abstract: Functional connectivity quantifies the statistical dependencies between the activity of brain regions, measured using neuroimaging data such as functional MRI BOLD time series. The network representation of functional connectivity, called a Functional Connectome (FC), has been shown to contain an individual fingerprint allowing participants identification across consecutive testing sessions. Recently, researchers have focused on the extraction of these fingerprints, with potential applications in personalized medicine. Here, we show that a mathematical operation denominated degree-normalization can improve the extraction of FC fingerprints. Degree-normalization has the effect of reducing the excessive influence of strongly connected brain areas in the whole-brain network. We adopt the differential identifiability framework and apply it to both original and degree-normalized FCs of 409 individuals from the Human Connectome Project, in resting-state and 7 fMRI tasks. Our results indicate that degree-normalization systematically improves three fingerprinting metrics, namely differential identifiability, identification rate and matching rate. Moreover, the results related to the matching rate metric suggest that individual fingerprints are embedded in a low-dimensional space. The results suggest that low-dimensional functional fingerprints lie in part in weakly connected subnetworks of the brain, and that degree-normalization helps uncovering them. This work introduces a simple mathematical operation that could lead to significant improvements in future FCs fingerprinting studies.


title: WAE: Workload Automation Engine for CDN-specialized Container Orchestration

abstract: Content Delivery Network (CDN) has been emerged as a compelling technology to provide efficient and scalable web services even under high client request. However, this leads to a dilemma between minimum deployment cost and robust service under heavy loads. To solve this problem, we propose the Workload Automation Engine (WAE) which enables dynamic resource management, automated scaling and rapid service deployment with least cost for CDN providers. Our modular design uses an algorithm to calculate the optimal assignment of virtual CDN functions such as streaming, progressive delivering and load balancer. In particular, we study on real CDN data which belongs to Medianova CDN Company in Turkey. Also we use Docker containerization as an underlying system. The results reveal that our containerized design reduces the latency and deployment cost by 45% and by 66%, respectively. Moreover, we obtain roughly 20% more CPU efficiency and 35% more utilized network.


title: Single atom counting in a two-color magneto-optical trap

abstract: Recording the fluorescence of a magneto-optical trap (MOT) is a standard tool for measuring atom numbers in experiments with ultracold atoms. When trapping few atoms in a small MOT, the emitted fluorescence increases with the atom number in discrete steps, which allows to measure the atom number with single-particle resolution. Achieving such single particle resolution requires stringent minimization of stray light from the MOT beams, which is very difficult to achieve in experimental setups that require in-vacuum components close to the atoms. Here, we present a modified scheme that addresses this issue: Instead of collecting the fluorescence on the MOT (D2) transition, we scatter light on an additional probing (D1) transition and collect this fluorescence with a high-resolution microscope while filtering out the intense MOT light. Using this scheme, we are able to reliably distinguish up to 17 $^{40}$K atoms with an average classification fidelity of 95 \%.


title: Hybrid Consistency Training with Prototype Adaptation for Few-Shot Learning

abstract: Few-Shot Learning (FSL) aims to improve a model's generalization capability in low data regimes. Recent FSL works have made steady progress via metric learning, meta learning, representation learning, etc. However, FSL remains challenging due to the following longstanding difficulties. 1) The seen and unseen classes are disjoint, resulting in a distribution shift between training and testing. 2) During testing, labeled data of previously unseen classes is sparse, making it difficult to reliably extrapolate from labeled support examples to unlabeled query examples. To tackle the first challenge, we introduce Hybrid Consistency Training to jointly leverage interpolation consistency, including interpolating hidden features, that imposes linear behavior locally and data augmentation consistency that learns robust embeddings against sample variations. As for the second challenge, we use unlabeled examples to iteratively normalize features and adapt prototypes, as opposed to commonly used one-time update, for more reliable prototype-based transductive inference. We show that our method generates a 2% to 5% improvement over the state-of-the-art methods with similar backbones on five FSL datasets and, more notably, a 7% to 8% improvement for more challenging cross-domain FSL.


title: Indecomposable involutive set-theoretic solutions of the Yang-Baxter equation and orthogonal dynamical extensions of cycle sets

abstract: Employing the algebraic structure of the left brace and the dynamical extensions of cycle sets, we investigate a class of indecomposable involutive set-theoretic solutions of the Yang-Baxter equation having specific imprimitivity blocks. Moreover, we study one-generator left braces of multipermutation level 2.


title: Classification by Attention: Scene Graph Classification with Prior Knowledge

abstract: A major challenge in scene graph classification is that the appearance of objects and relations can be significantly different from one image to another. Previous works have addressed this by relational reasoning over all objects in an image or incorporating prior knowledge into classification. Unlike previous works, we do not consider separate models for perception and prior knowledge. Instead, we take a multi-task learning approach, where we implement the classification as an attention layer. This allows for the prior knowledge to emerge and propagate within the perception model. By enforcing the model also to represent the prior, we achieve a strong inductive bias. We show that our model can accurately generate commonsense knowledge and that the iterative injection of this knowledge to scene representations leads to significantly higher classification performance. Additionally, our model can be fine-tuned on external knowledge given as triples. When combined with self-supervised learning and with 1% of annotated images only, this gives more than 3% improvement in object classification, 26% in scene graph classification, and 36% in predicate prediction accuracy.


title: Correcting the effect of stellar spots on ARIEL transmission spectra

abstract: The goal of this study is to assess the impact of the stellar spots on the extraction of the planetary transmission spectra observed by ARIEL. We develop a method to model the stellar spectrum of a star in the presence of spots by using the out-of-transit observations. It is based on a chi squared minimization procedure of the out-of-transit spectrum on a grid of stellar spectra with different sizes and temperatures of the spots. The approach allows us also to study the temporal evolution of the spots when comparing stellar spectra observed at different epochs. We also present a method to correct the transit depth variations due to non-occulted stellar spots and estimate the error we introduce if we apply the same correction to crossings over the stellar spots. The method is tested on three types of stellar targets that ARIEL will observe in its 4-years mission lifetime. In all the explored cases, the approach allows to reliably recover the spot parameters (size and temperature) from out-of-transit observations and, for non-occulted spots, to confidently recover the planetary atmosphere transmission spectrum within the noise level(with average uncertainty of at most 3.3% of the planetary signal). Conversely, we find systematic biases in the inferred planetary spectra due to the occulted spots, with measurable effects for the brightest targets especially for more contrasted spots.


title: Evaluation of investigational paradigms for the discovery of non-canonical astrophysical phenomena

abstract: Non-canonical phenomena - defined here as observables which are either insufficiently characterized by existing theory, or otherwise represent inconsistencies with prior observations - are of burgeoning interest in the field of astrophysics, particularly due to their relevance as potential signs of past and/or extant life in the universe (e.g. off-nominal spectroscopic data from exoplanets). However, an inherent challenge in investigating such phenomena is that, by definition, they do not conform to existing predictions, thereby making it difficult to constrain search parameters and develop an associated falsifiable hypothesis. In this Expert Recommendation, the authors evaluate the suitability of two different approaches - conventional parameterized investigation (wherein experimental design is tailored to optimally test a focused, explicitly parameterized hypothesis of interest) and the alternative approach of anomaly searches (wherein broad-spectrum observational data is collected with the aim of searching for potential anomalies across a wide array of metrics) - in terms of their efficacy in achieving scientific objectives in this context. The authors provide guidelines on the appropriate use-cases for each paradigm, and contextualize the discussion through its applications to the interdisciplinary field of technosignatures (a discipline at the intersection of astrophysics and astrobiology), which essentially specializes in searching for non-canonical astrophysical phenomena.

categories: astro-ph.IM astro-ph.EP physics.data-an stat.AP


title: Hierarchical Multi-timescale Framework For Operation of Dynamic Community Microgrid

abstract: Distribution system integrated community microgrids (CMGs) can restore loads during extended outages. The CMG is challenged with limited resource availability, absence of a robust grid-support, and demand-supply uncertainty. To address these challenges, this paper proposes a three-stage hierarchical multi-timescale framework for scheduling and real-time (RT) dispatch of CMGs. The CMG's ability to dynamically expand its boundary to support the neighboring grid sections is also considered. The first stage solves a stochastic day-ahead (DA) scheduling problem to obtain referral plans for optimal resource rationing. The intermediate near real-time scheduling stage updates the DA schedule closer to the dispatch time, followed by the RT dispatch stage. The proposed methodology is validated via numerical simulations on a modified IEEE 123-bus system, which shows superior performance in terms of RT load supplied under different forecast error cases, outage duration scenarios, and against the traditionally used two-stage approach.