title: Spectroscopically Confirmed Lyman-Alpha Emitters from Redshift 5 to 7 Behind Ten Galaxy Cluster Lenses

abstract: We present 36 spectroscopically confirmed intrinsically UV-faint Ly$\alpha$ emitting galaxies from follow-up observations with Keck/DEIMOS of gravitationally lensed high-redshift candidates. Candidates were selected to be between $5\lesssim z \lesssim 7$ from photometric data using \textit{HST} and \textit{Spitzer} imaging surveys. We used photometric redshift information to perform an integrated photometric redshift probability cut $>1\%$ between $5<z<7$ to construct a sample of 198 high-redshift objects. Our high-redshift sample spans intrinsic UV luminosities from a few $L^*$ down to $0.001L^*$. We identified 19 high-confidence detections of Ly$\alpha$ and an additional 17 likely detections. We divided our sample into lower-redshift ($z\sim5.5$) and higher-redshift ($z\sim6.5$) bins and ran Monte Carlo trials, incorporating the strength of the Ly$\alpha$ emission and the photometric redshift of the non-detections. Considering only objects where Ly$\alpha$ could be detected at EW(Ly$\alpha$)$>$25{\AA} at $3\sigma$ at the fiducial depth of our survey, and only those galaxies with EW(Ly$\alpha$)$>$25{\AA} as true LAEs, and finally, only objects with $m_{AB}<26.8$, we found the LAE fraction to be flat, or modestly increase from 0.26$\pm0.04$ to 0.30$\pm0.04$. These values relative to those for lower-redshift samples are consistent with a rising LAE fraction with redshift out to $z\sim6$, but at $z\sim6.5$ there is some tension between our results and results from surveys at intrinsically brighter luminosities. We conclude intrinsically fainter galaxies have Ly$\alpha$ emission, and there is a steep drop in the LAE fraction from our high-redshift sample at $z\sim6.5$ and from similar galaxies at $z\sim7.5$. This likely indicates we are witnessing the tail end of the epoch of reionization, as such a drop is not expected due to changes of intrinsic galaxy properties between these redshifts.


title: Predicting Many Properties of a Quantum System from Very Few Measurements

abstract: Predicting properties of complex, large-scale quantum systems is essential for developing quantum technologies. We present an efficient method for constructing an approximate classical description of a quantum state using very few measurements of the state. This description, called a classical shadow, can be used to predict many different properties: order $\log M$ measurements suffice to accurately predict $M$ different functions of the state with high success probability. The number of measurements is independent of the system size, and saturates information-theoretic lower bounds. Moreover, target properties to predict can be selected after the measurements are completed. We support our theoretical findings with extensive numerical experiments. We apply classical shadows to predict quantum fidelities, entanglement entropies, two-point correlation functions, expectation values of local observables, and the energy variance of many-body local Hamiltonians. The numerical results highlight the advantages of classical shadows relative to previously known methods.


title: Spring-Slider and Finite Element Modeling of Microseismic Events and Fault Slip during Hydraulic Fracturing

abstract: Hydraulic fracturing increases reservoir permeability by opening fractures and triggering slip on natural fractures and faults. While seismic slip of small faults or fault patches is detectable as microseismic events, the role of aseismic slip is poorly understood. From a modeling standpoint, geomechanical analysis using the Coulomb criterion can determine if faults slip but not whether slip is seismic or aseismic. Here we propose a computational methodology to predict fault slip, and whether slip is seismic or aseismic, using rate-and-state friction. To avoid computational costs associated with resolving small faults, we use the spring-slider idealization that treats faults as points. Interaction between faults is neglected. The method is applied to study fault slip from a hydraulic fracture that grows past a fault, without intersecting it. We represent the hydraulic fracture stressing using an asymptotic expansion of stresses around the tip of a tensile crack. We investigate the effect of fault length, orientation, and distance from the hydraulic fracture. For velocity-weakening faults with stiffness smaller than a critical stiffness, slip is seismic, whereas faults with stiffness greater than the critical stiffness slip aseismically. Furthermore, we compare the spring-slider idealization with a finite element analysis that resolves spatially variable slip. The spring-slider idealization provides reasonably accurate predictions of moment and even moment-rate history, especially for faults having stiffness close to or larger than the critical stiffness. Differences appear for large faults where rupture propagation is important, though differences might still be negligible for many applications.


title: V-Formation via Model Predictive Control

abstract: We present recent results that demonstrate the power of viewing the problem of V-formation in a flock of birds as one of Model Predictive Control (MPC). The V-formation-MPC marriage can be understood in terms of the problem of synthesizing an optimal plan for a continuous-space and continuous-time Markov decision process (MDP), where the goal is to reach a target state that minimizes a given cost function. First, we consider ARES, an approximation algorithm for generating optimal plans (action sequences) that take an initial state of an MDP to a state whose cost is below a specified (convergence) threshold. ARES uses Particle Swarm Optimization, with adaptive sizing for both the receding horizon and the particle swarm. Inspired by Importance Splitting, the length of the horizon and the number of particles are chosen such that at least one particle reaches a next-level state. ARES can alternatively be viewed as a model-predictive control (MPC) algorithm that utilizes an adaptive receding horizon, aka Adaptive MPC (AMPC). We next present Distributed AMPC (DAMPC), a distributed version of AMPC that works with local neighborhoods. We introduce adaptive neighborhood resizing, whereby the neighborhood size is determined by the cost-based Lyapunov function evaluated over a global system state. Our experiments show that DAMPC can perform almost as well as centralized AMPC, while using only local information and a form of distributed consensus in each time step. Finally, inspired by security attacks on cyber-physical systems, we introduce controller-attacker games (CAG), where two players, a controller and an attacker, have antagonistic objectives. We formulate a special case of CAG called V-formation games, where the attacker's goal is to prevent the controller from attaining V-formation. We demonstrate how adaptation in the design of the controller helps in overcoming certain attacks.


title: Toward An Interdisciplinary Methodology to Solve New (Old) Transportation Problems

abstract: The rising availability of digital traces provides a fertile ground for new solutions to both, new and old problems in cities. Even though a massive data set analyzed with Data Science methods may provide a powerful solution to a problem, its adoption by relevant stakeholders is not guaranteed, due to adoption blockers such as lack of interpretability and transparency. In this context, this paper proposes a preliminary methodology toward bridging two disciplines, Data Science and Transportation, to solve urban problems with methods that are suitable for adoption. The methodology is defined by four steps where people from both disciplines go from algorithm and model definition to the building of a potentially adoptable solution. As case study, we describe how this methodology was applied to define a model to infer commuting trips with mode of transportation from mobile phone data.


title: A Model-Based, Decision-Theoretic Perspective on Automated Cyber Response

abstract: Cyber-attacks can occur at machine speeds that are far too fast for human-in-the-loop (or sometimes on-the-loop) decision making to be a viable option. Although human inputs are still important, a defensive Artificial Intelligence (AI) system must have considerable autonomy in these circumstances. When the AI system is model-based, its behavior responses can be aligned with risk-aware cost/benefit tradeoffs that are defined by user-supplied preferences that capture the key aspects of how human operators understand the system, the adversary and the mission. This paper describes an approach to automated cyber response that is designed along these lines. We combine a simulation of the system to be defended with an anytime online planner to solve cyber defense problems characterized as partially observable Markov decision problems (POMDPs).


title: Uncertainty Principle for Communication Compression in Distributed and Federated Learning and the Search for an Optimal Compressor

abstract: In order to mitigate the high communication cost in distributed and federated learning, various vector compression schemes, such as quantization, sparsification and dithering, have become very popular. In designing a compression method, one aims to communicate as few bits as possible, which minimizes the cost per communication round, while at the same time attempting to impart as little distortion (variance) to the communicated messages as possible, which minimizes the adverse effect of the compression on the overall number of communication rounds. However, intuitively, these two goals are fundamentally in conflict: the more compression we allow, the more distorted the messages become. We formalize this intuition and prove an {\em uncertainty principle} for randomized compression operators, thus quantifying this limitation mathematically, and {\em effectively providing asymptotically tight lower bounds on what might be achievable with communication compression}. Motivated by these developments, we call for the search for the optimal compression operator. In an attempt to take a first step in this direction, we consider an unbiased compression method inspired by the Kashin representation of vectors, which we call {\em Kashin compression (KC)}. In contrast to all previously proposed compression mechanisms, KC enjoys a {\em dimension independent} variance bound for which we derive an explicit formula even in the regime when only a few bits need to be communicate per each vector entry.

categories: cs.LG cs.DC cs.IT math.IT math.OC stat.ML


title: Are Gabor Kernels Optimal for Iris Recognition?

abstract: Gabor kernels are widely accepted as dominant filters for iris recognition. In this work we investigate, given the current interest in neural networks, if Gabor kernels are the only family of functions performing best in iris recognition, or if better filters can be learned directly from iris data. We use (on purpose) a single-layer convolutional neural network as it mimics an iris code-based algorithm. We learn two sets of data-driven kernels; one starting from randomly initialized weights and the other from open-source set of Gabor kernels. Through experimentation, we show that the network does not converge on Gabor kernels, instead converging on a mix of edge detectors, blob detectors and simple waves. In our experiments carried out with three subject-disjoint datasets we found that the performance of these learned kernels is comparable to the open-source Gabor kernels. These lead us to two conclusions: (a) a family of functions offering optimal performance in iris recognition is wider than Gabor kernels, and (b) we probably hit the maximum performance for an iris coding algorithm that uses a single convolutional layer, yet with multiple filters. Released with this work is a framework to learn data-driven kernels that can be easily transplanted into open-source iris recognition software (for instance, OSIRIS -- Open Source IRIS).


title: A Theoretical Investigation of the Possible Detection of C24 in Space

abstract: Astronomical infrared spectral features at ~6.6, 9.8 and 20 micronm have recently been suggested as being due to the planar graphene form of C24 carbon cluster. Here we report density functional theory and coupled cluster calculations on wavefunctions stability, relative energies, and infrared spectra of four different types of C24 isomers, including the graphene and fullerene forms. The types of vibrational motions under these bands are also discussed. Among the four isomers, we find that the astronomical data are best approximated by the graphene form of C24.


title: The Importance Of Star Formation Intensity In LY{\alpha} Escape From Green Pea Galaxies And Lyman Break Galaxy Analogs

abstract: We have studied ultraviolet images of 40 Green Pea galaxies and 15 local Lyman Break Galaxy Analogs to understand the relation between Ly$\alpha$ photon escape and central UV photometric properties. We measured star formation intensity (SFI, star formation rate per unit area) from the central 250 pc region ($S_{\rm 250pc}$) using COS/NUV images from the \textit{Hubble Space Telescope}. The measured $S_{\rm 250pc}$ of our sample Green Peas ranges from 2.3--46 $M_{\odot} \ \rm{year}^{-1} \ \rm{kpc^{-2}}$, with a geometric mean of $15 M_{\odot} \ \rm{year}^{-1} \ \rm{kpc^{-2}}$ and a standard deviation of 0.266 dex, forming a relatively narrow distribution. The Lyman Break Galaxy Analogs show a similarly narrow distribution of $S_{\rm 250pc}$ (0.271 dex), though with a larger mean of 28 $M_{\odot} \ \rm{year}^{-1} \ \rm{kpc^{-2}}$. We show that while the Ly$\alpha$ equivalent width (EW(Ly$\alpha$)) and the Ly$\alpha$ escape fraction ($f^{Ly\alpha}_{esc}$) are not significantly correlated with the central SFI ($S_{\rm 250pc}$), both are positively correlated with the ratio of surface brightness to galaxy stellar mass ($S_{\rm 250pc}/M_{\rm star}$), with correlation coefficients ($p$-values) of 0.702 ($1\times 10^{-8}$) and 0.529 ($5\times 10^{-4}$) with EW(Ly$\alpha$) and $f^{Ly\alpha}_{esc}$, respectively. These correlations suggest a scenario where intense central star formation can drive a galactic wind in galaxies with relatively shallow gravitational potential wells, thus clearing channels for the escape of Ly$\alpha$ photons.


title: Gravitational microlensing by dark matter in extended structures

abstract: Dark matter may be in the form of non-baryonic structures such as compact subhalos and boson stars. Structures weighing between asteroid and solar masses may be discovered via gravitational microlensing, an astronomical probe that has in the past helped constrain the population of primordial black holes and baryonic MACHOs. We investigate the non-trivial effect of the size of and density distribution within these structures on the microlensing signal, and constrain their populations using the EROS-2 and OGLE-IV surveys. Structures larger than a solar radius are generally constrained more weakly than point-like lenses, but stronger constraints may be obtained for structures with mass distributions that give rise to caustic crossings or produce larger magnifications.


title: Supersymmetry method for interacting chaotic and disordered systems: the SYK model

abstract: The nonlinear supermatrix $\sigma $-model is widely used to understand the physics of Anderson localization and the level statistics in noninteracting disordered electron systems. In contrast to the general belief that the supersymmetry method applies only to systems of noninteracting particles, we adopt this approach to the disorder averaging in the interacting models. In particular, we apply supersymmetry to study the Sachdev-Ye-Kitaev (SYK) model, where the disorder averaging has so far been performed only within the replica approach. We use a slightly modified, time-reversal invariant version of the SYK model and perform calculations in real-time. As a demonstration of how the supersymmetry method works, we derive saddle point equations. In the semiclassical limit, we show that the results are in agreement with those found using the replica technique. We also develop the formally exact superbosonized representation of the SYK model. In the latter, the supersymmetric theory of original fermions and their superpartner bosons is reformulated as a model of unconstrained collective excitations. We argue that the supersymmetry description of the model paves the way for precise calculations in SYK-like models used in condensed matter, gravity, and high energy physics.


title: Dynamical Equilibrium in the Molecular ISM in 28 Nearby Star-Forming Galaxies

abstract: We compare the observed turbulent pressure in molecular gas, $P_\mathrm{turb}$, to the required pressure for the interstellar gas to stay in equilibrium in the gravitational potential of a galaxy, $P_\mathrm{DE}$. To do this, we combine arcsecond resolution CO data from PHANGS-ALMA with multi-wavelength data that traces the atomic gas, stellar structure, and star formation rate (SFR) for 28 nearby star-forming galaxies. We find that $P_\mathrm{turb}$ correlates with, but almost always exceeds the estimated $P_\mathrm{DE}$ on kiloparsec scales. This indicates that the molecular gas is over-pressurized relative to the large-scale environment. We show that this over-pressurization can be explained by the clumpy nature of molecular gas; a revised estimate of $P_\mathrm{DE}$ on cloud scales, which accounts for molecular gas self-gravity, external gravity, and ambient pressure, agrees well with the observed $P_\mathrm{turb}$ in galaxy disks. We also find that molecular gas with cloud-scale ${P_\mathrm{turb}}\approx{P_\mathrm{DE}}\gtrsim{10^5\,k_\mathrm{B}\,\mathrm{K\,cm^{-3}}}$ in our sample is more likely to be self-gravitating, whereas gas at lower pressure appears more influenced by ambient pressure and/or external gravity. Furthermore, we show that the ratio between $P_\mathrm{turb}$ and the observed SFR surface density, $\Sigma_\mathrm{SFR}$, is compatible with stellar feedback-driven momentum injection in most cases, while a subset of the regions may show evidence of turbulence driven by additional sources. The correlation between $\Sigma_\mathrm{SFR}$ and kpc-scale $P_\mathrm{DE}$ in galaxy disks is consistent with the expectation from self-regulated star formation models. Finally, we confirm the empirical correlation between molecular-to-atomic gas ratio and kpc-scale $P_\mathrm{DE}$ reported in previous works.


title: The evolving AGN duty cycle in galaxies since z$\sim$3 as encoded in the X-ray luminosity function

abstract: We present a new modeling of the X-ray luminosity function (XLF) of Active Galactic Nuclei (AGN) out to z$\sim$3, dissecting the contribution of main-sequence (MS) and starburst (SB) galaxies. For each galaxy population, we convolved the observed galaxy stellar mass (M$_{\star}$) function with a grid of M$_{\star}$-independent Eddington ratio ($\lambda_{\rm EDD}$) distributions, normalised via empirical black hole accretion rate (BHAR) to star formation rate (SFR) relations. Our simple approach yields an excellent agreement with the observed XLF since z$\sim$3. We find that the redshift evolution of the observed XLF can only be reproduced through an intrinsic flattening of the $\lambda_{\rm EDD}$ distribution, and with a positive shift of the break $\lambda^{*}$, consistent with an anti-hierarchical behavior. The AGN accretion history is predominantly made by massive (10$^{10}<$M$_{\star}<$10$^{11}$ M$_{\odot}$) MS galaxies, while SB-driven BH accretion, possibly associated with galaxy mergers, becomes dominant only in bright quasars, at $\log$(L$_{\rm X}$/erg s$^{-1}$)$>$44.36 + 1.28$\cdot$(1+z). We infer that the probability of finding highly-accreting ($\lambda_{\rm EDD}>$ 10%) AGN significantly increases with redshift, from 0.4% (3.0%) at z=0.5 to 6.5% (15.3%) at z=3 for MS (SB) galaxies, implying a longer AGN duty cycle in the early Universe. Our results strongly favor a M$_{\star}$-dependent ratio between BHAR and SFR, as BHAR/SFR $\propto$ M$_{\star}^{0.73[+0.22,-0.29]}$, supporting a non-linear BH buildup relative to the host. Finally, this framework opens potential questions on super-Eddington BH accretion and different $\lambda_{\rm EDD}$ prescriptions for understanding the cosmic BH mass assembly.


title: Studying the ISM at ~10 pc scale in NGC 7793 with MUSE -- I. Data description and properties of the ionised gas

abstract: Using MUSE AO data, we probe the ISM in the local spiral galaxy NGC 7793 at a spatial resolution of $\sim$ 10 pc. We identify HII regions and compile a catalogue of supernova remnants (SNRs), planetary nebulae (PNe) and Wolf Rayet stars (WR). We compute electron densities and temperatures from the [SII]6716/6731 and [SIII]6312/9069 line ratios. We study the properties of the ionised gas through BPT diagrams combined with gas velocity dispersion. We spectroscopically confirm 2 previously detected WR stars and a SNR and report the discovery of 7 WR, 1 SNR, and 2 PNe. The diffuse ionized gas (DIG) fraction is between $\sim$ 27 and 42% depending on the method used to define the HII region boundaries. In agreement with previous studies, we find that the DIG exhibits enhanced [SII]/H$\alpha$ and [NII]/H$\alpha$ ratios and a median temperature that is $\sim$ 3000 K higher than in HII regions. We also observe an apparent inverse correlation between temperature and H$\alpha$ surface brightness. Overall, the observed [SII]6716/6731 ratio is consistent within 1$\sigma$ with $n_e$ < 30 cm$^{-3}$, with an almost identical distribution for the DIG and HII regions. The velocity dispersion of the ionised gas indicates that the DIG has a higher degree of turbulence than the HII regions. Comparison with photoionisation and shock models reveals that the diffuse component can only partially be explained via shocks and that it is most likely consistent with photons leaking from density bounded HII regions or with radiation from evolved field stars. [abridged]


title: X-ray quasi-periodic eruptions from the galactic nucleus of RX J1301.9+2747

abstract: Following the recent discovery of X-ray quasi-periodic eruptions (QPEs) coming from the nucleus of the galaxy GSN 069, here we report on the detection of QPEs in the active galaxy named RX J1301.9+2747. QPEs are rapid and recurrent increases of the X-ray count-rate by more than one order of magnitude with respect to a stable quiescent level. During a XMM-Newton observation lasting 48 ks that was performed on 30 and 31 May 2019, three strong QPEs lasting about half an hour each were detected in the light curves of RX J1301.9+2747. The first two QPEs are separated by a longer recurrence time (about 20 ks) compared to the second and third (about 13 ks). This pattern is consistent with the alternating long-short recurrence times of the GSN 069 QPEs, although the difference between the consecutive recurrence times is significantly smaller in GSN 069. Longer X-ray observations will better clarify the temporal pattern of the QPEs in RX J1301.9+2747 and will allow a detailed comparison with GSN 069 to be performed. The X-ray spectral properties of QPEs in the two sources are remarkably similar, with QPEs representing fast transitions from a relatively cold and likely disk-dominated state to a state that is characterized by a warmer emission similar to the so-called soft X-ray excess, a component that is almost ubiquitously seen in the X-ray spectra of unobscured, radiatively efficient active galaxies. Previous X-ray observations of RX J1301.9+2747 in 2000 and 2009 strongly suggest that QPEs have been present for at least the past 18.5 years. The detection of QPEs from a second galactic nucleus after GSN 069 rules out contamination by a Galactic source in both cases, such that QPEs ought to be considered a novel extragalactic phenomenon associated with accreting supermassive black holes.


title: Tangible phenomenological thermodynamics

abstract: In this paper, the foundations of classical phenomenological thermodynamics are being thoroughly revisited. A new rigorous basis for thermodynamics is laid out in the main text and presented in full detail in the appendix. All relevant concepts, such as work, heat, internal energy, heat reservoirs, reversibility, absolute temperature and entropy, are introduced on an abstract level and connected through traditional results, such as Carnot's Theorem, Clausius' Theorem and the Entropy Theorem. The paper offers insights into the basic assumptions one has to make in order to formally introduce a phenomenological thermodynamic theory. This contribution is of particular importance when applying phenomenological thermodynamics to systems, such as black holes, where the microscopic physics is not yet fully understood. Altogether, this work can serve as a basis for a complete and rigorous introduction to thermodynamics in an undergraduate course which follows the traditional lines as closely as possible.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Emergent conservation laws and nonthermal states in the mixed-field Ising model

abstract: This paper presents a method of computing approximate conservation laws and eigenstates of integrability-broken models using the concept of adiabatic continuation. Given some Hamiltonian, eigenstates and conserved operators may be computed by using those of a simple Hamiltonian close by in parameter space, dressed by some unitary rotation. However, most adiabatic continuation analyses only use this unitary implicitly. In this work, approximate adiabatic gauge potentials are used to construct a state dressing using variational methods, to compute eigenstates via a rotated truncated spectrum approximation. These methods allow construction of both low and high-energy approximate nonthermal eigenstates, as well as quasi-local almost-conserved operators, in models where integrability may be non-perturbatively broken. These concepts will be demonstrated in the mixed-field Ising model.


title: Exact three-colored quantum scars from geometric frustration

abstract: Non-equilibrium properties of quantum materials present many intriguing properties, among them athermal behavior, which violates the eigenstate thermalization hypothesis. Such behavior has primarily been observed in disordered systems. More recently, experimental and theoretical evidence for athermal eigenstates, known as "quantum scars" has emerged in non-integrable disorder-free models in one dimension with constrained dynamics. In this work, we show the existence of quantum scar eigenstates and investigate their dynamical properties in many simple two-body Hamiltonians with "staggered" interactions, involving ferromagnetic and antiferromagnetic motifs, in arbitrary dimensions. These magnetic models include simple modifications of widely studied ones (e.g., the XXZ model) on a variety of frustrated and unfrustrated lattices. We demonstrate our ideas by focusing on the two dimensional frustrated spin-1/2 kagome antiferromagnet, which was previously shown to harbor a special exactly solvable point with "three-coloring" ground states in its phase diagram. For appropriately chosen initial product states -- for example, those which correspond to any state of valid three-colors -- we show the presence of robust quantum revivals, which survive the addition of anisotropic terms. We also suggest avenues for future experiments which may see this effect in real materials.


title: Precision predictions for scalar leptoquark pair-production at hadron colliders

abstract: We revisit scalar leptoquark pair-production at hadron colliders and significantly improve the level of precision of the cross section calculations. Apart from QCD contributions, we include lepton t-channel exchange diagrams that turn out to be relevant in the light of the recent B-anomalies. We evaluate all contributions at next-to-leading-order accuracy in QCD and resum, in the threshold regime, soft-gluon radiation at next-to-next-to-leading logarithmic accuracy. Our predictions consist hence in the most precise leptoquark cross section calculations available to date, and are necessary for the best exploitation of leptoquark searches at the LHC.


title: Differential Privacy for Eye Tracking with Temporal Correlations

abstract: New generation head-mounted displays, such as VR and AR glasses, are coming into the market with already integrated eye tracking and are expected to enable novel ways of human-computer interaction in numerous applications. However, since eye movement properties contain biometric information, privacy concerns have to be handled properly. Privacy-preservation techniques such as differential privacy mechanisms have recently been applied to eye movement data obtained from such displays. Standard differential privacy mechanisms; however, are vulnerable due to temporal correlations between the eye movement observations. In this work, we propose a novel transform-coding based differential privacy mechanism to further adapt it to the statistics of eye movement feature data and compare various low-complexity methods. We extend the Fourier perturbation algorithm, which is a differential privacy mechanism, and correct a scaling mistake in its proof. Furthermore, we illustrate significant reductions in sample correlations in addition to query sensitivities, which provide the best utility-privacy trade-off in the eye tracking literature. Our results provide significantly high privacy without any essential loss in classification accuracies while hiding personal identifiers.


title: Affinity and Diversity: Quantifying Mechanisms of Data Augmentation

abstract: Though data augmentation has become a standard component of deep neural network training, the underlying mechanism behind the effectiveness of these techniques remains poorly understood. In practice, augmentation policies are often chosen using heuristics of either distribution shift or augmentation diversity. Inspired by these, we seek to quantify how data augmentation improves model generalization. To this end, we introduce interpretable and easy-to-compute measures: Affinity and Diversity. We find that augmentation performance is predicted not by either of these alone but by jointly optimizing the two.


title: Full rainbow matchings in equivalence relations

abstract: We show that if a multigraph $G$ with maximum edge-multiplicity of at most $\frac{\sqrt{n}}{\log^2 n}$, is edge-coloured by $n$ colours such that each colour class is a disjoint union of cliques with at least $2n + o(n)$ vertices, then it has a full rainbow matching, that is, a matching where each colour appears exactly once. This asymptotically solves a question raised by Clemens, Ehrenm\"uller and Pokrovskiy, and is related to problems on algebras of sets studied by Grinblat in [Grinblat 2002].


title: Learning Intermediate Features of Object Affordances with a Convolutional Neural Network

abstract: Our ability to interact with the world around us relies on being able to infer what actions objects afford -- often referred to as affordances. The neural mechanisms of object-action associations are realized in the visuomotor pathway where information about both visual properties and actions is integrated into common representations. However, explicating these mechanisms is particularly challenging in the case of affordances because there is hardly any one-to-one mapping between visual features and inferred actions. To better understand the nature of affordances, we trained a deep convolutional neural network (CNN) to recognize affordances from images and to learn the underlying features or the dimensionality of affordances. Such features form an underlying compositional structure for the general representation of affordances which can then be tested against human neural data. We view this representational analysis as the first step towards a more formal account of how humans perceive and interact with the environment.


title: Generalized Electron Hydrodynamics, Vorticity Coupling, and Hall Viscosity in Crystals

abstract: Theoretical and experimental studies have revealed that electrons in condensed matter can behave hydrodynamically, exhibiting fluid phenomena such as Stokes flow and vortices. Unlike classical fluids, preferred directions inside crystals lift isotropic restrictions, necessitating a generalized treatment of electron hydrodynamics. We explore electron fluid behaviors arising from the most general viscosity tensors in two and three dimensions, constrained only by thermodynamics and crystal symmetries. Hexagonal 2D materials such as graphene support flows indistinguishable from those of an isotropic fluid. By contrast 3D materials including Weyl semimetals, exhibit significant deviations from isotropy. Breaking time-reversal symmetry, for example in magnetic topological materials, introduces a non-dissipative Hall component to the viscosity tensor. While this vanishes by isotropy in 3D, anisotropic materials can exhibit nonzero Hall viscosity components. We show that in 3D anisotropic materials the electronic fluid stress can couple to the vorticity without breaking time-reversal symmetry. Our work demonstrates the anomalous landscape for electron hydrodynamics in systems beyond graphene, and presents experimental geometries to quantify the effects of electronic viscosity.


title: Properties of giant molecular clouds in the strongly barred galaxy NGC1300

abstract: Star formation activity depends on galactic-scale environments. To understand the variations in star formation activity, comparing the properties of giant molecular clouds (GMCs) among environments with different star formation efficiency (SFE) is necessary. We thus focus on a strongly barred galaxy to investigate the impact of the galactic environment on the GMCs properties, because the SFE is clearly lower in bar regions than in arm regions. In this paper, we present the $^{12}$CO($1-0$) observations toward the western bar, arm and bar-end regions of the strongly barred galaxy NGC1300 with ALMA 12-m array at a high angular resolution of $\sim$40 pc. We detected GMCs associated with the dark lanes not only in the arm and bar-end regions but also in the bar region, where massive star formation is not seen. Using the CPROPS algorithm, we identified and characterized 233 GMCs across the observed regions. Based on the Kolmogorov-Smirnov test, we find that there is virtually no significant variations in GMC properties (e.g., radius, velocity dispersion, molecular gas mass, and virial parameter) among the bar, arm and bar-end region. These results suggest that systematic differences in the physical properties of the GMCs are not the cause for SFE differences with environments, and that there should be other mechanisms which control the SFE of the GMCs such as fast cloud-cloud collisions in NGC1300.


title: The OTELO survey. A case study of [O III]4959,5007 emitters at <z> = 0.83

abstract: The OTELO survey is a very deep, blind exploration of a selected region of the Extended Groth Strip and is designed for finding emission-line sources (ELSs). The survey design, observations, data reduction, astrometry, and photometry, as well as the correlation with ancillary data used to obtain a final catalogue, including photo-z estimates and a preliminary selection of ELS, were described in a previous contribution. Here, we aim to determine the main properties and luminosity function (LF) of the [O III] ELS sample of OTELO as a scientific demonstration of its capabilities, advantages, and complementarity with respect to other surveys. The selection and analysis procedures of ELS candidates obtained using tunable filter (TF) pseudo-spectra are described. We performed simulations in the parameter space of the survey to obtain emission-line detection probabilities. Relevant characteristics of [O III] emitters and the LF([O III]), including the main selection biases and uncertainties, are presented. A total of 184 sources were confirmed as [O III] emitters at a mean redshift z=0.83. The minimum detectable line flux and equivalent width (EW) in this ELS sample are $\sim$5 $\times$ 10$^{-19}$ erg s$^{-1}$ cm$^{2}$ and $\sim$6 \AA, respectively. We are able to constrain the faint-end slope ($\alpha = -1.03\pm0.08$) of the observed LF([O III]) at z=0.83. This LF reaches values that are approximately ten times lower than those from other surveys. The vast majority (84\%) of the morphologically classified [O III] ELSs are disc-like sources, and 87\% of this sample is comprised of galaxies with stellar masses of M$_\star$ $<$ 10$^{10}$ M$_{\odot}$.


title: Scheme-Independent Series for Anomalous Dimensions of Higher-Spin Operators at an Infrared Fixed Point in a Gauge Theory

abstract: We consider an asymptotically free vectorial gauge theory, with gauge group $G$ and $N_f$ fermions in a representation $R$ of $G$, having an infrared fixed point of the renormalization group. We calculate scheme-independent series expansions for the anomalous dimensions of higher-spin bilinear fermion operators at this infrared fixed point up to $O(\Delta_f^3)$, where $\Delta_f$ is an $N_f$-dependent expansion variable. Our general results are evaluated for several special cases, including the case $G={\rm SU}(N_c)$ with $R$ equal to the fundamental and adjoint representations.


title: The Open Cluster Chemical Abundances and Mapping Survey: IV. Abundances for 128 Open Clusters using SDSS/APOGEE DR16

abstract: The Open Cluster Chemical Abundances and Mapping (OCCAM) survey aims to constrain key Galactic dynamical and chemical evolution parameters by the construction of a large, comprehensive, uniform, infrared-based spectroscopic data set of hundreds of open clusters. This fourth contribution from the OCCAM survey presents analysis using SDSS/APOGEE DR16 of a sample of 128 open clusters, 71 of which we designate to be "high quality" based on the appearance of their color-magnitude diagram. We find the APOGEE DR16 derived [Fe/H] abundances to be in good agreement with previous high resolution spectroscopic open cluster abundance studies. Using the high quality sample, we measure Galactic abundance gradients in 16 elements, and find evolution of some of the [X/Fe] gradients as a function of age. We find an overall Galactic [Fe/H] vs R_GC gradient of $-0.068 \pm 0.001$ dex kpc$^{-1}$ over the range of $6 <$ R_GC $< 13.9$ kpc; however, we note that this result is sensitive to the distance catalog used, varying as much as 15%. We formally derive the location a break in the [Fe/H] abundance gradient as a free parameter in the gradient fit for the first time. We also measure significant Galactic gradients in O, Mg, S, Ca, Mn, Cr, Cu, Na, Al, and K, some of which are measured for the first time. Our large sample allows us to explore four well-populated age bins to explore the time evolution of gradients for a large number of elements and comment on possible implications for Galactic chemical evolution and radial migration.


title: Comparing recurrent and convolutional neural networks for predicting wave propagation

abstract: Dynamical systems can be modelled by partial differential equations and numerical computations are used everywhere in science and engineering. In this work, we investigate the performance of recurrent and convolutional deep neural network architectures to predict the surface waves. The system is governed by the Saint-Venant equations. We improve on the long-term prediction over previous methods while keeping the inference time at a fraction of numerical simulations. We also show that convolutional networks perform at least as well as recurrent networks in this task. Finally, we assess the generalisation capability of each network by extrapolating in longer time-frames and in different physical settings.


title: Floating, critical and dimerized phases in a frustrated spin-3/2 chain

abstract: We study spontaneous dimerization and emergent criticality in a spin-3/2 chain with antiferromagnetic nearest-neighbor $J_1$, next-nearest-neighbor $J_2$ and three-site $J_3$ interactions. In the absence of three-site interaction $J_3$, we provide evidence that the model undergoes a remarkable sequence of three phase transitions as a function of $J_2/J_1$, going successively through a critical commesurate phase, a partially dimerized gapped phase, a critical floating phase with quasi-long-range incommensurate order, to end up in a fully dimerized phase at very large $J_2/J_1$. In the field theory language, this implies that the coupling constant of the marginal operator responsible for dimerization changes sign three times. For large enough $J_3$, the fully dimerized phase is stabilized for all $J_2$, and the phase transitions between the critical phases and this phase are both Wess-Zumino-Witten (WZW) SU(2)$_3$ along part of the boundary and turn first order at some point due to the presence of a marginal operator in the WZW SU(2)$_3$ model. By contrast, the transition between the two dimerized phase is always first order, and the phase transitions between the partially dimerized phase and the critical phases are Kosterlitz-Thouless. Finally, we discuss the intriguing spin-1/2 edge states that emerge in the partially dimerized phase for even chains. Unlike their counterparts in the spin-1 chain, they are not confined and disappear upon increasing $J_2$ in favour of a reorganization of the dimerization pattern.


title: Recent progress in molecular simulation methods for drug binding kinetics

abstract: Due to the contribution of drug-target binding kinetics to drug efficacy, there is a high level of interest in developing methods to predict drug-target binding kinetic parameters. During the review period, a wide range of enhanced sampling molecular dynamics simulation-based methods has been developed for computing drug-target binding kinetics and studying binding and unbinding mechanisms. Here, we assess the performance of these methods considering two benchmark systems in detail: mutant T4 lysozyme-ligand complexes and a large set of N-HSP90-inhibitor complexes. The results indicate that some of the simulation methods can already be usefully applied in drug discovery or lead optimization programs but that further studies on more high-quality experimental benchmark datasets are necessary to improve and validate computational methods.


title: E2E Migration Strategies Towards 5G: Long-term Migration Plan and Evolution Roadmap

abstract: After freezing the first phase of the fifth generation of wireless networks (5G) standardization, it finally goes live now and the rollout of the commercial launch (most in fixed 5G broadband services) and migration has been started. However, some challenges are arising in the deployment, integration of each technology, and the interoperability in the network of the communication service providers (CSPs). At the same time, the evolution of 5G is not clear and many questions arise such as whether 5G has long-term evolution or when 5G will change to a next-generation one. This paper provides long-term migration options and paths towards 5G considering many key factors such as the cost, local/national data traffic, marketing, and the standardization trends in the radio access network (RAN), the transport network (TN), the core network (CN), and E2E network. Moreover, we outline some 5G evolution road maps emphasizing on the technologies, standards, and service time lines. The proposed migration paths can be the answer to some CSPs concerns about how to do long-term migration to 5G and beyond.


title: Hopping charge transport in amorphous organic and inorganic materials with spatially correlated random energy landscape

abstract: General properties of the hopping transport of charge carriers in amorphous organic and inorganic materials are discussed. We consider the case where the random energy landscape in the materials is strongly spatially correlated. This is a very typical situation in the organic materials having the Gaussian density of states (DOS) and may be realized in some materials with the exponential DOS. We demonstrate that the different type of DOS leads to a very different functional form of the mobility field dependence even in the case of the identical correlation function of random energy. We provide important arguments in favor of the significant contribution of the local orientational order to the total magnitude of the energetic disorder in organic materials. A simple but promising model of charge transport in highly anisotropic composites materials is suggested.


title: Ergodic Functions That are not Almost Periodic Plus $L^1-$Mean Zero

abstract: Ergodic Functions are bounded uniformly continuous $(\text{BUC})$ functions that are typical realizations of continuous stationary ergodic process. A natural question is whether such functions are always the sum of an almost periodic with an $L^1-$mean zero $\text{BUC}$ function. The paper answers this question presenting a framework that can provide infinitely many ergodic functions that are not almost periodic plus $L^1-$ mean zero.


title: Taurus: A Data Plane Architecture for Per-Packet ML

abstract: Emerging applications -- cloud computing, the internet of things, and augmented/virtual reality -- demand responsive, secure, and scalable datacenter networks. These networks currently implement simple, per-packet, data-plane heuristics (e.g., ECMP and sketches) under a slow, millisecond-latency control plane that runs data-driven performance and security policies. However, to meet applications' service-level objectives (SLOs) in a modern data center, networks must bridge the gap between line-rate, per-packet execution and complex decision making. In this work, we present the design and implementation of Taurus, a data plane for line-rate inference. Taurus adds custom hardware based on a flexible, parallel-patterns (MapReduce) abstraction to programmable network devices, such as switches and NICs; this new hardware uses pipelined SIMD parallelism to enable per-packet MapReduce operations (e.g., inference). Our evaluation of a Taurus switch ASIC -- supporting several real-world models -- shows that Taurus operates orders of magnitude faster than a server-based control plane while increasing area by 3.8% and latency for line-rate ML models by up to 221 ns. Furthermore, our Taurus FPGA prototype achieves full model accuracy and detects two orders of magnitude more events than a state-of-the-art control-plane anomaly-detection system.


title: BlockGAN: Learning 3D Object-aware Scene Representations from Unlabelled Images

abstract: We present BlockGAN, an image generative model that learns object-aware 3D scene representations directly from unlabelled 2D images. Current work on scene representation learning either ignores scene background or treats the whole scene as one object. Meanwhile, work that considers scene compositionality treats scene objects only as image patches or 2D layers with alpha maps. Inspired by the computer graphics pipeline, we design BlockGAN to learn to first generate 3D features of background and foreground objects, then combine them into 3D features for the wholes cene, and finally render them into realistic images. This allows BlockGAN to reason over occlusion and interaction between objects' appearance, such as shadow and lighting, and provides control over each object's 3D pose and identity, while maintaining image realism. BlockGAN is trained end-to-end, using only unlabelled single images, without the need for 3D geometry, pose labels, object masks, or multiple views of the same scene. Our experiments show that using explicit 3D features to represent objects allows BlockGAN to learn disentangled representations both in terms of objects (foreground and background) and their properties (pose and identity).


title: On level-induced suborders

abstract: In this article, we characterize orders that are level-induced suborders anytime they are induced suborders of a superorder. We also characterize orders that are consecutive level-induced suborders anytime they are level-induced suborders of a superorder. Thus characterizing orders that are consecutive level-induced suborders anytime they are induced suborders of a superorder.


title: Size and shape-dependent melting mechanism of Pd nanoparticles

abstract: Molecular dynamics simulation is employed to understand the thermodynamic behavior of cuboctahedron (cub) and icosahedron (ico) nanoparticles with 2-20 number of full shells. The original embedded atom method (EAM) was compared to the more recent highly optimized version as inter-atomic potential. The thermal stability of clusters were probed using potential energy and specific heat capacity as well as structure analysis by radial distribution function, G(r), and common neighbor analysis (CNA), simultaneously, to make a comprehensive picture of the solid state and melting transitions. The result shows ico is the only stable shape of small clusters (Pd55-Pd309 using original EAM and Pd55 using optimized version) those are melting uniformly due to their small diameter. An exception is cub Pd309 modeled via optimized EAM that transforms to ico at elevated temperatures. A similar cub to ico transition was predicted by original EAM for Pd923-Pd2075 clusters while for the larger clusters both cub and ico are stable up to the melting point. As detected by G(r) and CNA, moderate and large cub clusters were showing surface melting by nucleation of the liquid phase at (100) planes and growth of liquid phase at the surface before inward growth. While diagonal (one corner to another) melting was dominating over ico clusters owing to their partitioned structure which retarded the growth of the liquid phase. The large ico cluster, using optimized EAM, presented a combination of surface and diagonal melting due to the simultaneous diagonal melting started from different corners. Finally, the melting temperature as well as latent heat of fusion were calculated and compared with available models and previous studies which showed, unlike the present result, the models failed to predict size-dependent motif crossover.


title: Comparing Different Deep Learning Architectures for Classification of Chest Radiographs

abstract: Chest radiographs are among the most frequently acquired images in radiology and are often the subject of computer vision research. However, most of the models used to classify chest radiographs are derived from openly available deep neural networks, trained on large image-datasets. These datasets routinely differ from chest radiographs in that they are mostly color images and contain several possible image classes, while radiographs are greyscale images and often only contain fewer image classes. Therefore, very deep neural networks, which can represent more complex relationships in image-features, might not be required for the comparatively simpler task of classifying grayscale chest radiographs. We compared fifteen different architectures of artificial neural networks regarding training-time and performance on the openly available CheXpert dataset to identify the most suitable models for deep learning tasks on chest radiographs. We could show, that smaller networks such as ResNet-34, AlexNet or VGG-16 have the potential to classify chest radiographs as precisely as deeper neural networks such as DenseNet-201 or ResNet-151, while being less computationally demanding.


title: Total tessellation cover and quantum walk

abstract: We propose the total staggered quantum walk model and the total tessellation cover of a graph. This model uses the concept of total tessellation cover to describe the motion of the walker who is allowed to hop both to vertices and edges of the graph, in contrast with previous models in which the walker hops either to vertices or edges. We establish bounds on $T_t(G)$, which is the smallest number of tessellations required in a total tessellation cover of $G$. We highlight two of these lower bounds $T_t(G) \geq \omega(G)$ and $T_t(G)\geq is(G)+1$, where $\omega(G)$ is the size of a maximum clique and $is(G)$ is the number of edges of a maximum induced star subgraph. Using these bounds, we define the good total tessellable graphs with either $T_t(G)=\omega(G)$ or $T_t(G)=is(G)+1$. The $k$-total tessellability problem aims to decide whether a given graph $G$ has $T_t(G) \leq k$. We show that $k$-total tessellability is in $\mathcal{P}$ for good total tessellable graphs. We establish the $\mathcal{NP}$-completeness of the following problems when restricted to the following classes: ($is(G)+1$)-total tessellability for graphs with $\omega(G) = 2$; $\omega(G)$-total tessellability for graphs $G$ with $is(G)+1 = 3$; $k$-total tessellability for graphs $G$ with $\max\{\omega(G), is(G)+1\}$ far from $k$; and $4$-total tessellability for graphs $G$ with $\omega(G) = is(G)+1 = 4$. As a consequence, we establish hardness results for bipartite graphs, line graphs of triangle-free graphs, universal graphs, planar graphs, and $(2,1)$-chordal graphs.


title: Two-wavelet theory in Weinstein setting

abstract: In this paper we introduce the notion of a Weinstein two-wavelet. Then we establish and prove the resolution of the identity formula for the Weinstein continuous wavelet transform. Next, we give results on Calder\'on's type reproducing formula in the context of the Weinstein two-wavelet.


title: Optimal anytime regret with two experts

abstract: We consider the classical problem of prediction with expert advice. In the fixed-time setting, where the time horizon is known in advance, algorithms that achieve the optimal regret are known when there are two, three, or four experts or when the number of experts is large. Much less is known about the problem in the anytime setting, where the time horizon is not known in advance. No minimax optimal algorithm was previously known in the anytime setting, regardless of the number of experts. Even for the case of two experts, Luo and Schapire have left open the problem of determining the optimal algorithm. We design the first minimax optimal algorithm for minimizing regret in the anytime setting. We consider the case of two experts, and prove that the optimal regret is $\gamma \sqrt{t} / 2$ at all time steps $t$, where $\gamma$ is a natural constant that arose 35 years ago in studying fundamental properties of Brownian motion. The algorithm is designed by considering a continuous analogue of the regret problem, which is solved using ideas from stochastic calculus.


title: Developable cubics in $\mathbb P^4$ and the Lefschetz locus in ${\rm GOR}(1,5,5,1)$

abstract: We provide a classification of developable cubic hypersurfaces in $\mathbb P^4$. Using the correspondence between forms of degree $3$ on $\mathbb P^4$ and Artinian Gorenstein $\mathbb K$-algebras, given by Macaulay-Matlis duality, we describe the locus in ${\rm GOR}(1,5,5,1)$ corresponding to those algebras which satisfy the Strong Lefschetz property.


title: Dirac Particle with Memory: Proper Time Non-Locality

abstract: A generalization of the standard model of Dirac particle in external electromagnetic field is proposed. In the generalization we take into account interactions of this particle with environment, which is described by the memory function. This function takes into account that the behavior of the particle at proper time can depend not only at the present time, but also on the history of changes on finite time interval. In this case the Dirac particle can be considered an open quantum system with non-Markovian dynamics. The violation of the semigroup property of dynamic maps is a characteristic property of dynamics with memory. We use the Fock-Schwinger proper time method and derivatives of non-integer orders with respect to proper time. The fractional differential equation, which describes the Dirac particle with memory, and the expression of its exact solution are suggested. The asymptotic behavior of the proposed solutions is described.


title: Study of the decay rates of the umbral area of sunspot groups by using a high resolution database

abstract: The emergence and decay of the sunspot groups are important components of the solar dynamo models. There are two different types of studies on the evolution of active regions. One of them is based on fewer data with higher spatial resolution, the other one uses more data with lower spatial resolution. The input data of the present study allow the investigation with high-resolution both spatially and temporally. The temporal resolution of the SoHO Debrecen Sunspot Database (SDD) is one and a half hours, and it also makes possible to identify all individual sunspots with the position, area, and magnetic polarity. More than 200 sunspot groups have been selected, which have clear maxima on the solar disc, and the decrease of their umbral area is observable during at least four days. The decay rates were calculated by using two data: the umbral area and the number of contained sunspots -- these decay rates were computed for the total umbral area of sunspot groups and their leading and following parts. The decay rate has a linear area dependency, and it is higher for the following part than for the leading one.


title: Effects of biaxial strain on the impurity-induced magnetism in P-doped graphene and N-doped silicene: A first principles study

abstract: The effects of biaxial strain on the impurity-induced magnetism in P-doped graphene (P-graphene) and N-doped silicene (N-silicene) are studied by means of spin-polarized density functional calculations, using the supercell approach. The calculations were performed for three different supercell sizes $4\times 4$, $5\times 5$, and $6\times 6$, in order to simulate three different dopant concentrations 3.1, 2.0 and 1.4 %, respectively. For both systems, the calculated magnetic moment is 1.0 $\mu_B$ per impurity atom for the three studied concentrations. From the analysis of the electronic structure and the total energy as a function of the magnetization, we show that a Stoner-type model describing the electronic instability of the narrow impurity band accounts for the origin of $sp$-magnetism in P-graphene and N-silicene. Under biaxial strain the impurity band dispersion increases and the magnetic moment gradually decreases, with the consequent collapse of the magnetization at moderate strain values. Thus, we found that biaxial strain induces a magnetic quantum phase transition in P-graphene and N-silicene.


title: Towards Critical Clearing Time Sensitivity for DAE Systems with Singularity

abstract: Standard power system models are parameter dependent differential-algebraic equation (DAE) type. Following a transient event, voltage collapse can occur as a bifurcation of the transient load flow solutions which is marked by the system trajectory reaching a singular surface in state space where the voltage causality is lost. If a fault is expected to cause voltage collapse, preventive control decisions such as changes in AVR settings need to be taken in order to get enhance the system stability. In this regard, the knowledge of sensitivity of critical clearing time (CCT) to controllable system parameters can be of great help. The quasi-stability boundary of DAE systems is more complicated than ODE systems where in addition to unstable equilibrium points (UEP) and periodic orbits, singularity plays an important role making the problem challenging. The stability boundary is then made up of a number of dynamically distinct components. In the present work, we derive the expression for CCT sensitivity for the phenomenon where the critical fault-on trajectory intersects the singular surface itself which is one such component forming the stability boundary. The results are illustrated for a small test system in order to gain visual insights.


title: SummerTime: Variable-length Time SeriesSummarization with Applications to PhysicalActivity Analysis

abstract: \textit{SummerTime} seeks to summarize globally time series signals and provides a fixed-length, robust summarization of the variable-length time series. Many classical machine learning methods for classification and regression depend on data instances with a fixed number of features. As a result, those methods cannot be directly applied to variable-length time series data. One common approach is to perform classification over a sliding window on the data and aggregate the decisions made at local sections of the time series in some way, through majority voting for classification or averaging for regression. The downside to this approach is that minority local information is lost in the voting process and averaging assumes that each time series measurement is equal in significance. Also, since time series can be of varying length, the quality of votes and averages could vary greatly in cases where there is a close voting tie or bimodal distribution of regression domain. Summarization conducted by the \textit{SummerTime} method will be a fixed-length feature vector which can be used in-place of the time series dataset for use with classical machine learning methods. We use Gaussian Mixture models (GMM) over small same-length disjoint windows in the time series to group local data into clusters. The time series' rate of membership for each cluster will be a feature in the summarization. The model is naturally capable of converging to an appropriate cluster count. We compare our results to state-of-the-art studies in physical activity classification and show high-quality improvement by classifying with only the summarization. Finally, we show that regression using the summarization can augment energy expenditure estimation, producing more robust and precise results.


title: Restriction estimates for hyperboloids in higher dimensions via bilinear estimates

abstract: Let $\mathbb{H}$ be a $(d-1)$-dimensonal hyperbolic paraboloid in $\mathbb{R}^d$ and let $Ef$ be the Fourier extension operator associated to $\mathbb{H},$ with $f$ supported in $B^{d-1}(0,2)$. We prove that $\|Ef\|_{L^p (B(0,R))} \leq C_{\epsilon}R^{\epsilon}\|f\|_{L^p}$ for all $p \geq \frac{2(d+2)}{d}$ whenever $ \frac{d}{2} \geq m + 1$, where $m$ is the minimum between the number of positive and negative principal curvatures of $\mathbb{H}$. Bilinear restriction estimates for $\mathbb{H}$ proved by S. Lee and Vargas play an important role in our argument.


title: RustHorn: CHC-based Verification for Rust Programs (full version)

abstract: Reduction to the satisfiability problem for constrained Horn clauses (CHCs) is a widely studied approach to automated program verification. The current CHC-based methods for pointer-manipulating programs, however, are not very scalable. This paper proposes a novel translation of pointer-manipulating Rust programs into CHCs, which clears away pointers and memories by leveraging ownership. We formalize the translation for a simplified core of Rust and prove its correctness. We have implemented a prototype verifier for a subset of Rust and confirmed the effectiveness of our method.


title: Complete Endomorphisms in Computer Vision

abstract: Correspondences between k-tuples of points are key in multiple view geometry and motion analysis. Regular transformations are posed by homographies between two projective planes that serves as structural models for images. Such transformations can not include degenerate situations. Fundamental or essential matrices expand homographies with structural information by using degenerate bilinear maps. The projectivization of the endomorphisms of a three-dimensional vector space includes all of them. Hence, they are able to explain a wider range of eventually degenerate transformations between arbitrary pairs of views. To include these degenerate situations, this paper introduces a completion of bilinear maps between spaces given by an equivariant compactification of regular transformations. This completion is extensible to the varieties of fundamental and essential matrices, where most methods based on regular transformations fail. The construction of complete endomorphisms manages degenerate projection maps using a simultaneous action on source and target spaces. In such way, this mathematical construction provides a robust framework to relate corresponding views in multiple view geometry.


title: Stability and Solution of the Time-Dependent Bondi-Parker Flow

abstract: Bondi (1952) and Parker (1958} derived a steady-state solution for Bernouilli's equation in spherical symmetry around a point mass for two cases, respectively, an inward accretion flow and an outward wind. Left unanswered were the stability of the steady-state solution, the solution itself of time-dependent flows, whether the time-dependent flows would evolve to the steady-state, and under what conditions a transonic flow would develop. In a Hamiltonian description, we find that the steady state solution is equivalent to the Lagrangian implying that time-dependent flows evolve to the steady state. We find that the second variation is definite in sign for isothermal and adiabatic flows, implying at least linear stability. We solve the partial differential equation for the time-dependent flow as an initial-value problem and find that a transonic flow develops under a wide range of realistic initial conditions. We present some examples of time-dependent solutions.


title: Quantum weak coin flipping with a single photon

abstract: Weak coin flipping is among the fundamental cryptographic primitives which ensure the security of modern communication networks. It allows two mistrustful parties to remotely agree on a random bit when they favor opposite outcomes. Unlike other two-party computations, one can achieve information-theoretic security using quantum mechanics only: both parties are prevented from biasing the flip with probability higher than $1/2+\epsilon$, where $\epsilon$ is arbitrarily low. Classically, the dishonest party can always cheat with probability $1$ unless computational assumptions are used. Despite its importance, no physical implementation has been proposed for quantum weak coin flipping. Here, we present a practical protocol that requires a single photon and linear optics only. We show that it is fair and balanced even when threshold single-photon detectors are used, and reaches a bias as low as $\epsilon=1/\sqrt{2}-1/2\approx 0.207$. We further show that the protocol may display quantum advantage over a few hundred meters with state-of-the-art technology.


title: A table of short-period Tausworthe generators for Markov chain quasi-Monte Carlo

abstract: We consider the problem of estimating expectations by using Markov chain Monte Carlo methods and improving the accuracy by replacing IID uniform random points with quasi-Monte Carlo (QMC) points. Recently, it has been shown that Markov chain QMC remains consistent when the driving sequences are completely uniformly distributed (CUD). However, the definition of CUD sequences is not constructive, so an implementation method using short-period Tausworthe generators (i.e., linear feedback shift register generators over the two-element field) that approximate CUD sequences has been proposed. In this paper, we conduct an exhaustive search of short-period Tausworthe generators for Markov chain QMC in terms of the $t$-value, which is a criterion of uniformity widely used in the study of QMC methods. We provide a parameter table of Tausworthe generators and show the effectiveness in numerical examples using Gibbs sampling.


title: Efficient Rules for All Conformal Blocks

abstract: We formulate a set of general rules for computing $d$-dimensional four-point global conformal blocks of operators in arbitrary Lorentz representations in the context of the embedding space operator product expansion formalism arXiv:1905.00434. With these rules, the procedure for determining any conformal block of interest is reduced to (1) identifying the relevant projection operators and tensor structures and (2) applying the conformal rules to obtain the blocks. To facilitate the bookkeeping of contributing terms, we introduce a convenient diagrammatic notation. We present several concrete examples to illustrate the general procedure as well as to demonstrate and test the explicit application of the rules. In particular, we consider four-point functions involving scalars $S$ and some specific irreducible representations $R$, namely $\langle SSSS\rangle$, $\langle SSSR\rangle$, $\langle SRSR\rangle$ and $\langle SSRR\rangle$ (where, when allowed, $R$ is a vector or a fermion), and determine the corresponding blocks for all possible exchanged representations.


title: Potential Themis Family Asteroid Contribution to the Jupiter-Family Comet Population

abstract: Recent dynamical analyses suggest that some Jupiter family comets (JFCs) may originate in the main asteroid belt instead of the outer solar system. This possibility is particularly interesting given evidence that icy main-belt objects are known to be present in the Themis asteroid family. We report results from dynamical analyses specifically investigating the possibility that icy Themis family members could contribute to the observed population of JFCs. Numerical integrations show that such dynamical evolution is indeed possible via a combination of eccentricity excitation apparently driven by the nearby 2:1 mean-motion resonance with Jupiter, gravitational interactions with planets other than Jupiter, and the Yarkovsky effect. We estimate that, at any given time, there may be tens of objects from the Themis family on JFC-like orbits with the potential to mimic active JFCs from the outer solar system, although not all, or even any, may necessarily be observably active. We find that dynamically evolved Themis family objects on JFC-like orbits have semimajor axes between 3.15 au and 3.40 au for the vast majority of their time on such orbits, consistent with the strong role that the 2:1 mean-motion resonance with Jupiter likely plays in their dynamical evolution. We conclude that a contribution from the Themis family to the active JFC population is plausible, although further work is needed to better characterize this contribution.


title: Methods and Experiences for Developing Abstractions for Data-intensive, Scientific Applications

abstract: Developing software for scientific applications that require the integration of diverse types of computing, instruments, and data present challenges that are distinct from commercial software. These applications require scale, and the need to integrate various programming and computational models with evolving and heterogeneous infrastructure. Pervasive and effective abstractions for distributed infrastructures are thus critical; however, the process of developing abstractions for scientific applications and infrastructures is not well understood. While theory-based approaches for system development are suited for well-defined, closed environments, they have severe limitations for designing abstractions for scientific systems and applications. The design science research (DSR) method provides the basis for designing practical systems that can handle real-world complexities at all levels. In contrast to theory-centric approaches, DSR emphasizes both practical relevance and knowledge creation by building and rigorously evaluating all artifacts. We show how DSR provides a well-defined framework for developing abstractions and middleware systems for distributed systems. Specifically, we address the critical problem of distributed resource management on heterogeneous infrastructure over a dynamic range of scales, a challenge that currently limits many scientific applications. We use the pilot-abstraction, a widely used resource management abstraction for high-performance, high throughput, big data, and streaming applications, as a case study for evaluating the DSR activities. For this purpose, we analyze the research process and artifacts produced during the design and evaluation of the pilot-abstraction. We find DSR provides a concise framework for iteratively designing and evaluating systems. Finally, we capture our experiences and formulate different lessons learned.


title: On the permutative equivalence of squares of unconditional bases

abstract: We prove that if the squares of two unconditional bases are equivalent up to a permutation, then the bases themselves are permutatively equivalent. This settles a twenty year-old question raised by Casazza and Kalton in [Uniqueness of unconditional bases in Banach spaces, Israel J. Math. 103 (1998), 141--175]. Solving this problem provides a new paradigm to study the uniqueness of unconditional basis in the general framework of quasi-Banach spaces. Multiple examples are given to illustrate how to put in practice this theoretical scheme. Among the main applications of this principle we obtain the uniqueness of unconditional basis up to permutation of finite sums of quasi-Banach spaces with this property.


title: SDSS-IV MaNGA: The kinematic-morphology of galaxies on the mass vs star-formation relation in different environments

abstract: We study the link between the kinematic-morphology of galaxies, as inferred from integral-field stellar kinematics, and their relation between mass and star formation rate (SFR). Our sample consists of $\sim 3200$ galaxies with integral-field spectroscopic data from the MaNGA survey with available determinations of their effective stellar angular momentum within the half-light radius $\lambda_{R_e}$. We find that for star-forming galaxies, namely along the star formation main sequence (SFMS), the $\lambda_{R_e}$ values remain large and almost unchanged over about two orders of magnitude in stellar mass, with the exception of the lowest masses $\mathcal{M}_{\star}\lesssim2\times10^{9} \mathcal{M}_{\odot}$, where $\lambda_{R_e}$ slightly decreases. The SFMS is dominated by spiral galaxies with small bulges. Below the SFMS, but above the characteristic stellar mass $\mathcal{M}_{\rm crit}\approx2\times10^{11} \mathcal{M}_{\odot}$, there is a sharp decrease in $\lambda_{R_e}$ with decreasing star formation rate: massive galaxies well below the SFMS are mainly slow-rotator early-type galaxies, namely genuinely spheroidal galaxies without disks. Below the SFMS and below $\mathcal{M}_{\rm crit}$ the decrease of $\lambda_{R_e}$ with decreasing SFR becomes modest or nearly absent: low-mass galaxies well below the SFMS, are fast-rotator early-type galaxies, and contain fast-rotating stellar disks like their star-forming counterparts. We also find a small but clear environmental dependence for the massive galaxies: in the mass range $10^{10.9}-10^{11.5} \mathcal{M}_{\odot}$, galaxies in rich groups or denser regions or classified as central galaxies have lower values of $\lambda_{R_e}$. While no environmental dependence is found for galaxies of lower mass. We discuss how our results can be understood as due to the different star formation and mass assembly histories of galaxies with varying mass.


title: Electrodynamics Correlates Knock-on and Knock-off: Current is Spatially Uniform in Ion Channels

abstract: Ions in channels have been imagined as hard balls in a macroscopic mechanical model, for a very long time. Hard balls interact by collisions in such models, randomly knocking each other on and off `binding' sites in thermal motion. But ions have large charge, and the hard balls of classical models do not. The electrodynamics of charge guarantee strong correlations between the movements of ions on all time scales, even those of atomic scale thermal motion. Correlations are present whenever Maxwell's equations apply, so they are present in individual trajectories, not just averages. Indeed, in a series system like an idealized narrow channel, the correlation is perfect (within the accuracy of Maxwell's equations) because of conservation of total current (that includes Maxwell's displacement current, the ethereal ${\varepsilon }_0{\partial \boldsymbol{\mathrm{E}}}/{\partial t}$).The ethereal component of current prevents spatial variation of total current in a series system. The stochastic complexity of spatial thermal motion disappears for current }in a series system. Total current does not depend on location in a series system like a narrow ion channel on any time scale. Spatial variables are not needed in the description of total current in a one dimensional channel on any time scale, according to the Maxwell equations. Removing the spatial dependence of total current should dramatically simplify theories and simulations, one might imagine.


title: Lattice QCD Impact on Determination of CKM Matrix: Status and Prospects

abstract: Lattice QCD is an important tool for theoretical input for flavor physics. There have been four reviews by the Flavour Lattice Averaging Group (FLAG). This talk will review the current status of the magnitude of eight of the nine CKM matrix elements, borrowing heavily from the most recent FLAG review (co-authored by the speaker). Future prospects for improving the determination of the CKM matrix will be discussed.


title: Heavy Tails Make Happy Buyers

abstract: In a second-price auction with i.i.d. (independent identically distributed) bidder valuations, adding bidders increases expected buyer surplus if the distribution of valuations has a sufficiently heavy right tail. While this does not imply that a bidder in an auction should prefer for more bidders to join the auction, it does imply that a bidder should prefer it in exchange for the bidder being allowed to participate in more auctions. Also, for a heavy-tailed valuation distribution, marginal expected seller revenue per added bidder remains strong even when there are already many bidders.


title: The K-theory type of quantum CW-complexes

abstract: The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we introduce the framework of cw-Waldhausen categories, which includes the concept of weak equivalences leading to the notion of a finite weak quantum CW-complex in the realm of unital C*-algebras. Here weak equivalences are unital $*$-homomorphisms that induce an isomorphism on K-theory. Better still, we construct a noncommutative counterpart of the cup product in K-theory, which is equivalent to its standard version in the classical case. To this end, we define k-topology, a noncommutative version of Grothendieck topology with covering families given by compact principal bundles and bases related by continuous maps, which leads to the much desired idea of multiplicative K-theory for noncommutative C*-algebras. Combining this with cw-Waldhausen structure on the category of compact quantum spaces, we arrive at the multiplicative K-theory type of finite weak quantum CW-complexes. We show that non-isomorphic quantizations of the standard CW-complex structure of a complex projective space enjoy the same multiplicative K-theory type admitting a noncommutative generalization of the Atiyah--Todd calculation of the K-theory ring in terms of truncated polynomials.


title: Quantum Paraelectricity in the Kitaev Quantum-Spin-Liquid Candidates H$_{3}$LiIr$_{2}$O$_{6}$ and D$_{3}$LiIr$_{2}$O$_{6}$

abstract: H3LiIr2O6 is the first honeycomb-lattice system without any signs of long-range magnetic order down to the lowest temperatures, raising the hope for the realization of an ideal Kitaev quantum spin liquid. Its honeycomb layers are coupled by interlayer hydrogen bonds. Static or dynamic disorder of these hydrogen bonds was proposed to strongly affect the magnetic exchange and to make Kitaev-type interactions dominant. Using dielectric spectroscopy, here we provide experimental evidence for dipolar relaxations in H3LiIr2O6 and deuterated D3LiIr2O6, which mirror the dynamics of protons and deuterons within the double-well potentials of the hydrogen bonds. The detected hydrogen dynamics reveals glassy freezing, characterized by a strong slowing down under cooling, with a crossover from thermally-activated hopping to quantum-mechanical tunneling towards low temperatures. Thus, besides being Kitaev quantum-spin-liquid candidates, these materials also are quantum paraelectrics. However, the small relaxation rates in the mHz range, found at low temperatures, practically realize quasi-static hydrogen disorder, as assumed in recent theoretical works to explain the quantum-spin-liquid ground state of both compounds.


title: Radiative Heat Transfer in Free-Standing Silicon Nitride Membranes

abstract: Free-standing silicon nitride (SiN) mechanical resonators are of central interests in applications such as temperature and mass sensing, and for fundamental optomechanical reasearch. Understanding thermal coupling between a membrane resonator and its environment is required for predicting thermal noise, frequency noise, as well as sensors responses to temperature changes. In this work, we provide closed-form derivations of intrinsic thermal coupling quantities in free-standing thin films, namely total thermal conductance with the surroundings, thermal response time, and the relative contribution of thermal radiation. Our model is valid for any free-standing thin film anchored on all sides, although we particularly emphasize the specific case of SiN for which spectral emissivity is thoroughly investigated as a function of thickness and temperature. We find that radiative heat exchanges can play a non-negligible role, and even dominate thermal coupling for membranes of sizes commonly employed in optomechanics experiments. We experimentally confirm the validity of our model by measuring radiative thermal coupling between a SiN mechanical resonator and a ceramic heater in high vacuum.


title: Scalable Second Order Optimization for Deep Learning

abstract: Optimization in machine learning, both theoretical and applied, is presently dominated by first-order gradient methods such as stochastic gradient descent. Second-order optimization methods, that involve second derivatives and/or second order statistics of the data, are far less prevalent despite strong theoretical properties, due to their prohibitive computation, memory and communication costs. In an attempt to bridge this gap between theoretical and practical optimization, we present a scalable implementation of a second-order preconditioned method (concretely, a variant of full-matrix Adagrad), that along with several critical algorithmic and numerical improvements, provides significant convergence and wall-clock time improvements compared to conventional first-order methods on state-of-the-art deep models. Our novel design effectively utilizes the prevalent heterogeneous hardware architecture for training deep models, consisting of a multicore CPU coupled with multiple accelerator units. We demonstrate superior performance compared to state-of-the-art on very large learning tasks such as machine translation with Transformers, language modeling with BERT, click-through rate prediction on Criteo, and image classification on ImageNet with ResNet-50.


title: Cylinder partition function of the 6-vertex model from algebraic geometry

abstract: We compute the exact partition function of the isotropic 6-vertex model on a cylinder geometry with free boundary conditions, for lattices of intermediate size, using Bethe ansatz and algebraic geometry. We perform the computations in both the open and closed channels. We also consider the partial thermodynamic limits, whereby in the open (closed) channel, the open (closed) direction is kept small while the other direction becomes large. We compute the zeros of the partition function in the two partial thermodynamic limits, and compare with the condensation curves.


title: On a Conjecture about Degree Deviation Measure of Graphs

abstract: Let G be an n-vertex graph with m edges. The degree deviation measure of G is defined as s(G)=sum v in V(G)|degG(v)-(2m/n)|, where n and m are the number of vertices and edges of G, respectively. The aim of this paper is to prove the Conjecture 4.2 of [J A de Oliveira, C S Oliveira, C Justel and N M Maia de Abreu, Measures of irregularity of graphs, Pesq. Oper. 33 (3) (2013) 383-398]. The degree deviation measure of chemical graphs under some conditions on the cyclomatic number is also computed.


title: A Comparative Study of Western and Chinese Classical Music based on Soundscape Models

abstract: Whether literally or suggestively, the concept of soundscape is alluded in both modern and ancient music. In this study, we examine whether we can analyze and compare Western and Chinese classical music based on soundscape models. We addressed this question through a comparative study. Specifically, corpora of Western classical music excerpts (WCMED) and Chinese classical music excerpts (CCMED) were curated and annotated with emotional valence and arousal through a crowdsourcing experiment. We used a sound event detection (SED) and soundscape emotion recognition (SER) models with transfer learning to predict the perceived emotion of WCMED and CCMED. The results show that both SER and SED models could be used to analyze Chinese and Western classical music. The fact that SER and SED work better on Chinese classical music emotion recognition provides evidence that certain similarities exist between Chinese classical music and soundscape recordings, which permits transferability between machine learning models.


title: Developing new techniques for obtaining the threshold of a stochastic SIR epidemic model with 3-dimensional L\'evy process

abstract: This paper considers the classical SIR epidemic model driven by a multidimensional L\'evy jump process. We consecrate to develop a mathematical method to obtain the asymptotic properties of the perturbed model. Our method differs from previous approaches by the use of the comparison theorem, mutually exclusive possibilities lemma, and some new techniques of the stochastic differential systems. In this framework, we derive the threshold which can determine the existence of a unique ergodic stationary distribution or the extinction of the epidemic. Numerical simulations about different perturbations are realized to confirm the obtained theoretical results.


title: Audio-video Emotion Recognition in the Wild using Deep Hybrid Networks

abstract: This paper presents an audiovisual-based emotion recognition hybrid network. While most of the previous work focuses either on using deep models or hand-engineered features extracted from images, we explore multiple deep models built on both images and audio signals. Specifically, in addition to convolutional neural networks (CNN) and recurrent neutral networks (RNN) trained on facial images, the hybrid network also contains one SVM classifier trained on holistic acoustic feature vectors, one long short-term memory network (LSTM) trained on short-term feature sequences extracted from segmented audio clips, and one Inception(v2)-LSTM network trained on image-like maps, which are built based on short-term acoustic feature sequences. Experimental results show that the proposed hybrid network outperforms the baseline method by a large margin.


title: MaxUp: A Simple Way to Improve Generalization of Neural Network Training

abstract: We propose \emph{MaxUp}, an embarrassingly simple, highly effective technique for improving the generalization performance of machine learning models, especially deep neural networks. The idea is to generate a set of augmented data with some random perturbations or transforms and minimize the maximum, or worst case loss over the augmented data. By doing so, we implicitly introduce a smoothness or robustness regularization against the random perturbations, and hence improve the generation performance. For example, in the case of Gaussian perturbation, \emph{MaxUp} is asymptotically equivalent to using the gradient norm of the loss as a penalty to encourage smoothness. We test \emph{MaxUp} on a range of tasks, including image classification, language modeling, and adversarial certification, on which \emph{MaxUp} consistently outperforms the existing best baseline methods, without introducing substantial computational overhead. In particular, we improve ImageNet classification from the state-of-the-art top-1 accuracy $85.5\%$ without extra data to $85.8\%$. Code will be released soon.


title: Predictive Inference Is Free with the Jackknife+-after-Bootstrap

abstract: Ensemble learning is widely used in applications to make predictions in complex decision problems---for example, averaging models fitted to a sequence of samples bootstrapped from the available training data. While such methods offer more accurate, stable, and robust predictions and model estimates, much less is known about how to perform valid, assumption-lean inference on the output of these types of procedures. In this paper, we propose the jackknife+-after-bootstrap (J+aB), a procedure for constructing a predictive interval, which uses only the available bootstrapped samples and their corresponding fitted models, and is therefore "free" in terms of the cost of model fitting. The J+aB offers a predictive coverage guarantee that holds with no assumptions on the distribution of the data, the nature of the fitted model, or the way in which the ensemble of models are aggregated---at worst, the failure rate of the predictive interval is inflated by a factor of 2. Our numerical experiments verify the coverage and accuracy of the resulting predictive intervals on real data.


title: Multi-label Sound Event Retrieval Using a Deep Learning-based Siamese Structure with a Pairwise Presence Matrix

abstract: Realistic recordings of soundscapes often have multiple sound events co-occurring, such as car horns, engine and human voices. Sound event retrieval is a type of content-based search aiming at finding audio samples, similar to an audio query based on their acoustic or semantic content. State of the art sound event retrieval models have focused on single-label audio recordings, with only one sound event occurring, rather than on multi-label audio recordings (i.e., multiple sound events occur in one recording). To address this latter problem, we propose different Deep Learning architectures with a Siamese-structure and a Pairwise Presence Matrix. The networks are trained and evaluated using the SONYC-UST dataset containing both single- and multi-label soundscape recordings. The performance results show the effectiveness of our proposed model.


title: Enhanced Adversarial Strategically-Timed Attacks against Deep Reinforcement Learning

abstract: Recent deep neural networks based techniques, especially those equipped with the ability of self-adaptation in the system level such as deep reinforcement learning (DRL), are shown to possess many advantages of optimizing robot learning systems (e.g., autonomous navigation and continuous robot arm control.) However, the learning-based systems and the associated models may be threatened by the risks of intentionally adaptive (e.g., noisy sensor confusion) and adversarial perturbations from real-world scenarios. In this paper, we introduce timing-based adversarial strategies against a DRL-based navigation system by jamming in physical noise patterns on the selected time frames. To study the vulnerability of learning-based navigation systems, we propose two adversarial agent models: one refers to online learning; another one is based on evolutionary learning. Besides, three open-source robot learning and navigation control environments are employed to study the vulnerability under adversarial timing attacks. Our experimental results show that the adversarial timing attacks can lead to a significant performance drop, and also suggest the necessity of enhancing the robustness of robot learning systems.


title: A general kernelization technique for domination and independence problems in sparse classes

abstract: We unify and extend previous kernelization techniques in sparse classes [6,17] by defining water lilies and show how they can be used in bounded expansion classes to construct linear bikernels for (r, c)-Dominating Set, (r, c)-Scattered Set, Total r-Domination, r-Roman Domination, and a problem we call (r, [{\lambda}, {\mu}])-Domination (implying a bikernel for r-Perfect Code). At the cost of slightly changing the output graph class our bikernels can be turned into kernels. We further demonstrate how these constructions can be combined to create 'multikernels', meaning graphs that represent kernels for multiple problems at once. Concretely, we show that r-Dominating Set, Total r-Domination, and r-Roman Domination admit a multikernel; as well as r-Dominating Set and 2r-Independent Set for multiple values of r at once.


title: Seeker or Avoider? User Modeling for Inspiration Deployment in Large-Scale Ideation

abstract: People react differently to inspirations shown to them during brainstorming. Existing research on large-scale ideation systems has investigated this phenomenon through aspects of timing, inspiration similarity and inspiration integration. However, these approaches do not address people's individual preferences. In the research presented, we aim to address this lack with regards to inspirations. In a first step, we conducted a co-located brainstorming study with 15 participants, which allowed us to differentiate two types of ideators: Inspiration seekers and inspiration avoiders. These insights informed the study design of the second step, where we propose a user model for classifying people depending on their ideator types, which was translated into a rule-based and a random forest-based classifier. We evaluated the validity of our user model by conducting an online experiment with 380 participants. The results confirmed our proposed ideator types, showing that, while seekers benefit from the availability of inspiration, avoiders were influenced negatively. The random forest classifier enabled us to differentiate people with a 73 \% accuracy after only three minutes of ideation. These insights show that the proposed ideator types are a promising user model for large-scale ideation. In future work, this distinction may help to design more personalized large-scale ideation systems that recommend inspirations adaptively.


title: Learning to Represent Programs with Property Signatures

abstract: We introduce the notion of property signatures, a representation for programs and program specifications meant for consumption by machine learning algorithms. Given a function with input type $\tau_{in}$ and output type $\tau_{out}$, a property is a function of type: $(\tau_{in}, \tau_{out}) \rightarrow \texttt{Bool}$ that (informally) describes some simple property of the function under consideration. For instance, if $\tau_{in}$ and $\tau_{out}$ are both lists of the same type, one property might ask `is the input list the same length as the output list?'. If we have a list of such properties, we can evaluate them all for our function to get a list of outputs that we will call the property signature. Crucially, we can `guess' the property signature for a function given only a set of input/output pairs meant to specify that function. We discuss several potential applications of property signatures and show experimentally that they can be used to improve over a baseline synthesizer so that it emits twice as many programs in less than one-tenth of the time.


title: Study of a data analysis method for the angle resolving silicon telescope

abstract: A new data analysis method is developed for the angle resolving silicon telescope introduced at the neutron time of flight facility n_TOF at CERN. The telescope has already been used in measurements of several neutron induced reactions with charged particles in the exit channel. The development of a highly detailed method is necessitated by the latest joint measurement of the $^{12}$C($n,p$) and $^{12}$C($n,d$) reactions from n_TOF. The reliable analysis of these data must account for the challenging nature of the involved reactions, as they are affected by the multiple excited states in the daughter nuclei and characterized by the anisotropic angular distributions of the reaction products. The unabridged analysis procedure aims at the separate reconstruction of all relevant reaction parameters - the absolute cross section, the branching ratios and the angular distributions - from the integral number of the coincidental counts detected by the separate pairs of silicon strips. This procedure is tested under the specific conditions relevant for the $^{12}$C($n,p$) and $^{12}$C($n,d$) measurements from n_TOF, in order to assess its direct applicability to these experimental data. Based on the reached conclusions, the original method is adapted to a particular level of uncertainties in the input data.


title: Knockoff Boosted Tree for Model-Free Variable Selection

abstract: In this article, we propose a novel strategy for conducting variable selection without prior model topology knowledge using the knockoff method with boosted tree models. Our method is inspired by the original knockoff method, where the differences between original and knockoff variables are used for variable selection with false discovery rate control. The original method uses Lasso for regression models and assumes there are more samples than variables. We extend this method to both model-free and high-dimensional variable selection. We propose two new sampling methods for generating knockoffs, namely the sparse covariance and principal component knockoff methods. We test these methods and compare them with the original knockoff method in terms of their ability to control type I errors and power. The boosted tree model is a complex system and has more hyperparameters than models with simpler assumptions. In our framework, these hyperparameters are either tuned through Bayesian optimization or fixed at multiple levels for trend detection. In simulation tests, we also compare the properties and performance of importance test statistics of tree models. The results include combinations of different knockoffs and importance test statistics. We also consider scenarios that include main-effect, interaction, exponential, and second-order models while assuming the true model structures are unknown. We apply our algorithm for tumor purity estimation and tumor classification using the Cancer Genome Atlas (TCGA) gene expression data. The proposed algorithm is included in the KOBT package, available at \url{https://cran.r-project.org/web/packages/KOBT/index.html}.