title: CupQ: A New Clinical Literature Search Engine

abstract: A new clinical literature search engine, called CupQ, is presented. It aims to help clinicians stay updated with medical knowledge. Although PubMed is currently one of the most widely used digital libraries for biomedical information, it frequently does not return clinically relevant results. CupQ utilizes a ranking algorithm that filters non-medical journals, compares semantic similarity between queries, and incorporates journal impact factor and publication date. It organizes search results into useful categories for medical practitioners: reviews, guidelines, and studies. Qualitative comparisons suggest that CupQ may return more clinically relevant information than PubMed. CupQ is available at https://cupq.io/.


title: Technical Report: Partial Dependence through Stratification

abstract: Partial dependence curves (FPD) introduced by Friedman, are an important model interpretation tool, but are often not accessible to business analysts and scientists who typically lack the skills to choose, tune, and assess machine learning models. It is also common for the same partial dependence algorithm on the same data to give meaningfully different curves for different models, which calls into question their precision. Expertise is required to distinguish between model artifacts and true relationships in the data. In this paper, we contribute methods for computing partial dependence curves, for both numerical (StratPD) and categorical explanatory variables (CatStratPD), that work directly from training data rather than predictions of a model. Our methods provide a direct estimate of partial dependence, and rely on approximating the partial derivative of an unknown regression function without first fitting a model and then approximating its partial derivative. We investigate settings where contemporary partial dependence methods---including FPD, ALE, and SHAP methods---give biased results. Furthermore, we demonstrate that our approach works correctly on synthetic and plausibly on real data sets. Our goal is not to argue that model-based techniques are not useful. Rather, we hope to open a new line of inquiry into nonparametric partial dependence.


title: Non-Hermitian Dynamic Strings and Anomalous Topological Degeneracy on non-Hermitian Toric-code Model with Parity-time Symmetry

abstract: In this paper, with the help of Hermitian/non-Hermitian dynamic strings, the theory of non-Hermitian topological order is developed based on a non-Hermitian Wen-plaquette model. The effective models for bosonic topological excitations (e-particle and m-particle) are Hermitian tight-binding lattice model; the effective model for fermionic topological excitation (f-particle) becomes a non-Hermitian tight-binding lattice model. In addition, the effective pseudo-spin model for topologically degenerate ground states is derived by calculating the expectation values of Hermitian/non-Hermitian topological closed dynamic strings. For the topologically degenerate ground states of non-Hermitian Wen-plaquette model on an even-by-odd, odd-by-even and odd-by-odd lattice, anomalous topological degeneracy occurs, i.e., the number of the topologically protected ground states may be reduced from 2 to 1. Now, the effective pseudo-spin model turns into the typical PT-symmetric non-Hermitian Hamiltonian with spontaneous PT-symmetry breaking. At exceptional points, the topologically degenerate ground states merge with each other and the topological degeneracy turns into non-Hermitian degeneracy. In the end, the application of the non-Hermitian Z2 topological order and its possible physics realization are discussed.


title: Identities and estimations involving the least common multiple of strong divisibility sequences

abstract: In this paper, we first prove that for any strong divisibility sequences $\boldsymbol{a} = \left(a_n\right)_{n\geq 1}$, we have the identity: $\mathrm{lcm} \left\lbrace \binom{n}{0}_{\bf{a}}, \binom{n}{1}_{\bf{a}},\dots, \binom{n}{n}_{\bf{a}} \right\rbrace = \frac{\mathrm{lcm} \left(a_1,\dots , a_n , a_{n+1}\right)}{a_{n+1}}$ $\left(\forall n \geq 1\right)$, generalizing the identity of Farhi (obtained in 2009 for $a_n=n$). Then, we derive from this one some other interesting identities. Finally, we apply those identities to estimate the least common multiple of the consecutive terms of some Lucas sequences. Denoting by $\left(F_n\right)_n$ the usual Fibonacci sequence, we prove for example that for all $n \geq 1$, we have \[ \Phi^{\frac{n^2}{4}-\frac{9}{4}} \leq \mathrm{lcm}\left(F_1,\dots,F_n\right) \leq \Phi^{\frac{n^2}{3}+\frac{4n}{3}} , \] where $\Phi$ denotes the golden ratio.


title: Output maximization container loading problem with time availability constraints

abstract: Research on container loading problems has been proved effective in increasing the filling rate of containers in different practical situations. However, the broader logistic context might pressure the loading process, leading to sub-optimal solutions. Some facilities like cross-docks have reduced storage space which might force early loading activities. We propose a container loading problem which accounts for this limited storage by explicitly considering the schedule of arrival for the boxes and the departure time of the trucks. Also, we design a framework which handles the geometric and temporal characteristics of the problem separately, enabling the use of methods found in the literature for solving the extended problem. Our framework can handle uncertainty in the schedule and be used to quantify the impact of delays on capacity utilization and departure time of trucks.


title: Almost non-negatively curved 4-manifolds with torus symmetry

abstract: We prove that if a closed, smooth, simply-connected 4-manifold with a circle action admits an almost non-negatively curved sequence of invariant Riemannian metrics, then it also admits a non-negatively curved Riemannian metric invariant with respect to the same action. The same is shown for torus actions of higher rank, giving a classification of closed, smooth, simply-connected 4-manifolds of almost non-negative curvature under the assumption of torus symmetry.


title: Imaginary replica analysis of loopy regular random graphs

abstract: We present an analytical approach for describing spectrally constrained maximum entropy ensembles of finitely connected regular loopy graphs, valid in the regime of weak loop-loop interactions. We derive an expression for the leading two orders of the expected eigenvalue spectrum, through the use of infinitely many replica indices taking imaginary values. We apply the method to models in which the spectral constraint reduces to a soft constraint on the number of triangles, which exhibit `shattering' transitions to phases with extensively many disconnected cliques, to models with controlled numbers of triangles and squares, and to models where the spectral constraint reduces to a count of the number of adjacency matrix eigenvalues in a given interval. Our predictions are supported by MCMC simulations based on edge swaps with nontrivial acceptance probabilities.


title: PPO Dash: Improving Generalization in Deep Reinforcement Learning

abstract: Deep reinforcement learning is prone to overfitting, and traditional benchmarks such as Atari 2600 benchmark can exacerbate this problem. The Obstacle Tower Challenge addresses this by using randomized environments and separate seeds for training, validation, and test runs. This paper examines various improvements and best practices to the PPO algorithm using the Obstacle Tower Challenge to empirically study their impact with regards to generalization. Our experiments show that the combination provides state-of-the-art performance on the Obstacle Tower Challenge.


title: On the Iitaka Conjecture $C_{n,m}$ for K\"ahler Fibre Spaces

abstract: By applying the positivity theorem of direct images and a pluricanonical version of the structure theorem on the cohomology jumping loci \`a la Green-Lazarsfeld-Simpson, we show that the klt K\"ahler version of the Iitaka conjecture $C_{n,m}$ (Ueno, 1975) for $f:X\to Y$ (surjective morphism between compact K\"ahler manifolds with connected general fibre) holds true when the determinant of the direct image of some power of the relative canonical bundle is big on $Y$ or when $Y$ is a complex torus. These generalize the corresponding results of Viehweg (1983) and of Cao-P\u aun (2017) respectively. We further generalize the later case to the geometric orbifold setting, i.e. prove that $C_{n,m}^{\text{orb}}$ (Campana, 2004) holds when $Y$ is a complex torus.


title: Algebra of Dunkl Laplace-Runge-Lenz vector

abstract: We consider Dunkl version of Laplace-Runge-Lenz vector associated with a finite Coxeter group $W$ acting geometrically in $\mathbb R^N$ with multiplicity function $g$. This vector generalizes the usual Laplace-Runge-Lenz vector and its components commute with Dunkl-Coulomb Hamiltonian given as Dunkl Laplacian with additional Coulomb potential $\gamma/r$. We study resulting symmetry algebra $R_{g, \gamma}(W)$ and show that it has Poincar\'e-Birkhoff-Witt property. In the absence of Coulomb potential this symmetry algebra $R_{g,0}(W)$ is a subalgebra of the rational Cherednik algebra $H_g(W)$. We show that a central quotient of the algebra $R_{g, \gamma}(W)$ is a quadratic algebras isomorphic to a central quotient of the corresponding Dunkl angular momenta algebra $H_g^{so(N+1)}(W)$. This gives interpretation of the algebra $H_g^{so(N+1)}(W)$ as the hidden symmetry algebra of Dunkl-Coulomb problem in $\mathbb R^N$. By specialising $R_{g, \gamma}(W)$ to $g=0$ we recover a quotient of the universal enveloping algebra $U(so(N+1))$ as the hidden symmetry algebra of Coulomb problem in $\mathbb R^N$. We also apply Dunkl Laplace-Runge-Lenz vector to establish maximal superintegrability of generalised Calogero-Moser systems.


title: Position measurement-induced collapse states: Proposal of an experiment

abstract: The quantum mechanical treatment of diffraction of particles, based on the standard postulates of quantum mechanics and the postulate of existence of quantum trajectories, leads to the `position measurement-induced collapse' (PMIC) states. An experimental set-up to test these PMIC states is proposed. The apparatus consists of a modified Lloyd's mirror in optics, with two reflectors instead of one. The diffraction patterns for this case predicted by the PMIC formalism are presented. They exhibit quantum fractal structures in space-time called `quantum carpets', first discovered by Berry (1996). The PMIC formalism in this case closely follows the `boundary bound diffraction' analysed in a previous work by Tounli, Alverado and Sanz (2019). In addition to obtaining their results, we have shown that the time evolution of these collapsed states also leads to Fresnel and Fraunhofer diffractions. It is anticipated that the verification of PMIC states by this experiment will help to better understand collapse of the wave function during quantum measurements.


title: Electron capture and ionization cross-section calculations for proton collisions from methane and the DNA and RNA nucleobases

abstract: Net ionization and net capture cross-section calculations are presented for proton collisions from methane molecules and the DNA/RNA nucleobases adenine, cytosine, guanine, thymine, and uracil. We use the recently introduced independent-atom-model pixel counting method to calculate these cross sections in the 10 keV to 10 MeV impact energy range and compare them with results obtained from the simpler additivity rule, a previously used complete-neglect-of-differential-overlap method, and with experimental data and previous calculations where available. It is found that all theoretical results agree reasonably well at high energies, but deviate significantly in the low-to-intermediate energy range. In particular, the pixel counting method which takes the geometrical overlap of atomic cross sections into account is the only calculation that is able to describe the measurements for capture in proton-methane collisions down to 10 keV impact energy. For the nucleobases it also yields a significantly smaller cross section in this region than the other models. New measurements are urgently required to test this prediction.


title: Grid-aware aggregation and realtime disaggregation of distributed energy resources in radial networks

abstract: Dispatching a large fleet of distributed energy resources (DERs) in response to wholesale energy market or regional grid signals requires solving a challenging disaggregation problem when the DERs are located within a distribution network. This manuscript presents a computationally tractable convex inner approximation for the optimal power flow (OPF) problem that characterizes a feeders aggregate DERs hosting capacity and enables a realtime, grid-aware dispatch of DERs for radial distribution networks. The inner approximation is derived by considering convex envelopes on the nonlinear terms in the AC power flow equations. The resulting convex formulation is then used to derive provable nodal injection limits, such that any combination of DER dispatches within their respective nodal limits is guaranteed to be AC admissible. These nodal injection limits are then used to construct a realtime, open-loop control policy for dispatching DERs at each location in the network to collectively deliver grid services. The IEEE-37 distribution network is used to validate the technical results and highlight various use-cases.


title: Beam induced space-charge effects in Time Projection Chambers in low-energy nuclear physics experiments

abstract: Tracking capabilities in Time Projection Chambers (TPCs) are strongly dictated by the homogeneity of the drift field. Ion back-flow in various gas detectors, mainly induced by the secondary ionization processes during amplification, has long been known as a source of drift field distortion. Here, we report on beam-induced space-charge effects from the primary ionization process in the drift region in low-energy nuclear physics experiment with Active Target Time Projection Chamber (AT-TPC). A qualitative explanation of the observed effects is provided using detailed electron transport simulations. As ion mobility is a crucial factor in the space-charge effects, the need for a careful optimization of gas properties is highlighted. The impact of track distortion on tracking algorithm performance is also discussed.


title: Dynamical thermalization of interacting fermionic atoms in a Sinai-oscillator trap

abstract: We study numerically the problem of dynamical thermalization of interacting cold fermionic atoms placed in an isolated Sinai-oscillator trap. This system is characterized by a quantum chaos regime for one-particle dynamics. We show that for a many-body system of cold atoms the interactions, with a strength above a certain quantum chaos border given by the Aberg criterion, lead to the Fermi-Dirac distribution and relaxation of many-body initial states to the thermalized state in absence of any contact with a thermostate. We discuss the properties of this dynamical thermalization and its links with the Loschmidt-Boltzmann dispute.


title: The spectrum of a solenoid

abstract: Given a sequence of regular finite coverings of complete Riemannian manifolds, we consider the covering solenoid associated with the sequence. We study the leaf-wise Laplacian on the covering solenoid. The main result is that the spectrum of the Laplacian on the covering solenoid equals the closure of the union of the spectra of the manifolds in the sequence. We offer an equivalent statement of Selberg's 1/4 conjecture.


title: MaskPlus: Improving Mask Generation for Instance Segmentation

abstract: Instance segmentation is a promising yet challenging topic in computer vision. Recent approaches such as Mask R-CNN typically divide this problem into two parts -- a detection component and a mask generation branch, and mostly focus on the improvement of the detection part. In this paper, we present an approach that extends Mask R-CNN with five novel optimization techniques for improving the mask generation branch and reducing the conflicts between the mask branch and the detection component in training. These five techniques are independent to each other and can be flexibly utilized in building various instance segmentation architectures for increasing the overall accuracy. We demonstrate the effectiveness of our approach with tests on the COCO dataset.


title: Search for Sources of Astrophysical Neutrinos Using Seven Years of IceCube Cascade Events

abstract: Low background searches for astrophysical neutrino sources anywhere in the sky can be performed using cascade events induced by neutrinos of all flavors interacting in IceCube with energies as low as ~1 TeV. Previously, we showed that even with just two years of data, the resulting sensitivity to sources in the southern sky is competitive with IceCube and ANTARES analyses using muon tracks induced by charge current muon neutrino interactions - especially if the neutrino emission follows a soft energy spectrum or originates from an extended angular region. Here, we extend that work by adding five more years of data, significantly improving the cascade angular resolution, and including tests for point-like or diffuse Galactic emission to which this dataset is particularly well-suited. For many of the signal candidates considered, this analysis is the most sensitive of any experiment. No significant clustering was observed, and thus many of the resulting constraints are the most stringent to date. In this paper we will describe the improvements introduced in this analysis and discuss our results in the context of other recent work in neutrino astronomy.


title: 2020 Vision: Towards a Sustainable OIR System

abstract: Open-access telescopes of all apertures are needed to operate a competitive and efficient national science program. While larger facilities contribute light-gathering power and angular resolution, smaller ones dominate for field of view, time-resolution, and especially, total available observing time, thereby enabling our entire, diversely-expert community. Smaller aperture telescopes therefore play a critical and indispensable role in advancing science. Thus, the divestment of NSF support for modest-aperture (1 - 4 m) public telescopes poses a serious threat to U.S. scientific leadership, which is compounded by the unknown consequences of the shift from observations driven by individual investigators to survey-driven science. Given the much higher cost efficiency and dramatic science returns for investments in modest aperture telescopes, it is hard to justify funding only the most expensive facilities. We therefore urge the Astro2020 panel to explicitly make the case for modest aperture facilities, and to recommend enhancing this funding stream to support and grow this critical component of the OIR System. Further study is urgently needed to prioritize the numerous exciting potential capabilities of smaller facilities,and to establish sustainable, long-term planning for the System.


title: Ramanujan Congruences for Fractional Partition Functions

abstract: For rational $\alpha$, the fractional partition functions $p_\alpha(n)$ are given by the coefficients of the generating function $(q;q)^\alpha_\infty$. When $\alpha=-1$, one obtains the usual partition function. Congruences of the form $p(\ell n + c)\equiv 0 \pmod{\ell}$ for a prime $\ell$ and integer $c$ were studied by Ramanujan. Such congruences exist only for $\ell\in\{5,7,11\}.$ Chan and Wang [4] recently studied congruences for the fractional partition functions and gave several infinite families of congruences using identities of the Dedekind eta-function. Following their work, we use the theory of non-ordinary primes to find a general framework that characterizes congruences modulo any integer. This allows us to prove new congruences such as $p_\frac{57}{61}(17^2n-3)\equiv 0 \pmod{17^2}$.


title: Evolved Massive Stars at Low-metallicity I. A Source Catalog for the Small Magellanic Cloud

abstract: We present a clean, magnitude-limited (IRAC1 or WISE1 $\leq$ 15.0 mag) multiwavelength source catalog for the SMC with 45,466 targets in total, with the purpose of building an anchor for future studies, especially for the massive star populations at low-metallicity. The catalog contains data in 50 different bands including 21 optical and 29 infrared bands, ranging from the ultraviolet to the far-infrared. Additionally, radial velocities and spectral classifications were collected from the literature, as well as infrared and optical variability statistics were retrieved from different projects. The catalog was essentially built upon a $1''$ crossmatching and a $3''$ deblending between the SEIP source list and Gaia DR2 photometric data. Further constraints on the proper motions and parallaxes from Gaia DR2 allowed us to remove the foreground contamination. We estimated that about 99.5\% of the targets in our catalog were most likely genuine members of the SMC. By using the evolutionary tracks and synthetic photometry from MIST and the theoretical $\rm J-K_S$ color cuts, we identified 1,405 RSG, 217 YSG and 1,369 BSG candidates in the SMC in five different CMDs, where attention should also be paid to the incompleteness of our sample. We ranked the candidates based on the intersection of different CMDs. A comparison between the models and observational data shows that the lower limit of initial mass for the RSGs population may be as low as 7 or even 6 $M_{\odot}$ and the RSG is well separated from the AGB population even at faint magnitude, making RSGs a unique population connecting the evolved massive and intermediate stars, since stars with initial mass around 6 to 8 $M_{\odot}$ are thought to go through a second dredge-up to become AGBs. We encourage the interested reader to further exploit the potential of our catalog.


title: Tuning edge localized spin waves in magnetic microstripes by proximate magnetic structures

abstract: The propagation of edge localized spin waves (E-SWs) in yttrium iron garnet (YIG) microstripes with/without the proximate magnetic microstructures is investigated by micromagnetic simulations. A splitting of the dispersion curve with the presence of permalloy (Py) stripe is also observed. The E-SWs on the two edges of YIG stripe have different wavelengths, group velocities, and decay lengths at the same frequencies. The role of the Py stripe was found to be the source of the inhomogeneous static dipolar field without dynamic coupling with YIG. This work opens new perspectives for the design of innovative SW interference-based logic devices.


title: Search for Missing Links Between Two Extreme Wind Speed Profiles : Dark Energy Accretion and Adiabatic Fluid Accretion

abstract: In recent past, the progresses in accretion studies onto relativistically gravitating central objects like a Schwarzschild singularity reveal that the accretion flow must be transonic. For such cases, the radial inward speed gradient can be written as a numerator by denominator form among which the later vanishes somewhere in between infinite distance from the attracter to the event horizon of the same. For sustainability of a physical solutions, the numerator should vanish at the same radial distance where denominator does vanish. From this point, we obtain a second degree first order differential equation of radial inward speed and hence we obtain two branches of flow, namely accretion and wind. For adiabatic accretion case, the wind curve is formed to be more or less parallel to the radial distance axis as we move far from the central object. For dark energy accretion, this curve is parallel to the radial velocity axis. Here we face a question. Why there is no fluid speed profiles in between these two extremities. While searching the reasons, we follow that dark energy, if treated as an accreting object, should stay around the central \emph{compact star} and hence will contaminate the metric which propertises the compact star. In this research work, we have proposed a model with a rotating black hole embedded in quintessence where quintessence equation of state and spin parameters of the black hole are regulatory factors of the model. The resulting accretion and wind curves are studied. The Effect of negative pressure of dark energy is found to get catalyzed by the entry of the spin of the black hole. We tally our results with observations of accretion or outflow phenomenon near to different quasars.


title: Asymptotic stabilization of a system of coupled $n$th--order differential equations with potentially unbounded high-frequency oscillating perturbations

abstract: This paper deals with an analysis and design of robust, state-feedback control law uniform-asymptotically stabilizing at origin the system consisting of coupled $n$th--order ordinary differential equations in the presence of a non-vanishing at $x=0$ or even unbounded on the time interval $[0,\infty)$ time-varying high-frequency oscillating perturbation $w(t,x).$ The obtained results generalize and extend some known and now classical results in the control theory for a wider class of perturbations. Moreover, as is shown in the paper, there is no room for further generalization for $w$ which is time-dependent only, $w=w(t).$


title: Modeling solid-liquid interface reactions with next generation extended Lagrangian quantum-based molecular dynamics

abstract: We demonstrate the applicability of extended Lagrangian Born-Oppenheimer quantum-based molecular dynamics (XL-BOMD) to model electron transfer reactions occurring on solid-liquid interfaces. Specifically, we consider the reduction of O$_2$ as catalyzed at the interface of an N-doped graphene sheet and H$_2$O at fuel cell cathodes. This system is a good testbed for next-generation computational chemistry methods since the electrochemical functionalities strongly depend on atomic-scale quantum mechanics. As opposed to prior iterations of first principles molecular dynamics, XL-BOMD only requires a full self-consistent-charge relaxation during the initial time step. The electronic ground state and total energy are stabilized thereafter through nuclear and electronic equations of motion assisted by an inner-product kernel updated with low-rank approximations. A species charge analysis reveals that the kernel-based XL-BOMD simulation can capture an electron transfer between the PGM-free catalyst and a solvated O$_2$ molecule mediated by H$_2$O, which results in the molecular dissociation of O$_2$.


title: Sampling-based Motion Planning via Control Barrier Functions

abstract: Robot motion planning is central to real-world autonomous applications, such as self-driving cars, persistence surveillance, and robotic arm manipulation. One challenge in motion planning is generating control signals for nonlinear systems that result in obstacle free paths through dynamic environments. In this paper, we propose Control Barrier Function guided Rapidly-exploring Random Trees (CBF-RRT), a sampling-based motion planning algorithm for continuous-time nonlinear systems in dynamic environments. The algorithm focuses on two objectives: efficiently generating feasible controls that steer the system toward a goal region, and handling environments with dynamical obstacles in continuous time. We formulate the control synthesis problem as a Quadratic Program (QP) that enforces Control Barrier Function (CBF) constraints to achieve obstacle avoidance. Additionally, CBF-RRT does not require nearest neighbor or collision checks when sampling, which greatly reduce the run-time overhead when compared to standard RRT variants.


title: DOD-ETL: Distributed On-Demand ETL for Near Real-Time Business Intelligence

abstract: The competitive dynamics of the globalized market demand information on the internal and external reality of corporations. Information is a precious asset and is responsible for establishing key advantages to enable companies to maintain their leadership. However, reliable, rich information is no longer the only goal. The time frame to extract information from data determines its usefulness. This work proposes DOD-ETL, a tool that addresses, in an innovative manner, the main bottleneck in Business Intelligence solutions, the Extract Transform Load process (ETL), providing it in near real-time. DODETL achieves this by combining an on-demand data stream pipeline with a distributed, parallel and technology-independent architecture with in-memory caching and efficient data partitioning. We compared DOD-ETL with other Stream Processing frameworks used to perform near real-time ETL and found DOD-ETL executes workloads up to 10 times faster. We have deployed it in a large steelworks as a replacement for its previous ETL solution, enabling near real-time reports previously unavailable.


title: Real-time Facial Surface Geometry from Monocular Video on Mobile GPUs

abstract: We present an end-to-end neural network-based model for inferring an approximate 3D mesh representation of a human face from single camera input for AR applications. The relatively dense mesh model of 468 vertices is well-suited for face-based AR effects. The proposed model demonstrates super-realtime inference speed on mobile GPUs (100-1000+ FPS, depending on the device and model variant) and a high prediction quality that is comparable to the variance in manual annotations of the same image.


title: Mutual Reinforcement Learning

abstract: Recently, collaborative robots have begun to train humans to achieve complex tasks, and the mutual information exchange between them can lead to successful robot-human collaborations. In this paper we demonstrate the application and effectiveness of a new approach called mutual reinforcement learning (MRL), where both humans and autonomous agents act as reinforcement learners in a skill transfer scenario over continuous communication and feedback. An autonomous agent initially acts as an instructor who can teach a novice human participant complex skills using the MRL strategy. While teaching skills in a physical (block-building) ($n=34$) or simulated (Tetris) environment ($n=31$), the expert tries to identify appropriate reward channels preferred by each individual and adapts itself accordingly using an exploration-exploitation strategy. These reward channel preferences can identify important behaviors of the human participants, because they may well exercise the same behaviors in similar situations later. In this way, skill transfer takes place between an expert system and a novice human operator. We divided the subject population into three groups and observed the skill transfer phenomenon, analyzing it with Simpson"s psychometric model. 5-point Likert scales were also used to identify the cognitive models of the human participants. We obtained a shared cognitive model which not only improves human cognition but enhances the robot's cognitive strategy to understand the mental model of its human partners while building a successful robot-human collaborative framework.


title: Non violation of energy conditions in wormholes modelling

abstract: Morris \& Thorne \cite{morris1} proposed geometrical objects called traversable wormholes that act as bridges in connecting two spacetimes or two different points of the same spacetime. The geometrical properties of these wormholes depend upon the choice of the shape function. In literature, these are studied in modified gravities for different types of shape functions. In this paper, the traversable wormholes having shape function $b(r)=\frac{r_0\tanh(r)}{\tanh(r_0)}$ are explored in $f(R)$ gravity with $f(R)=R+\alpha R^m-\beta R^{-n}$, where $\alpha$, $\beta$, $m$ and $n$ are real constants. For different values of constants in function $f(R)$, the analysis is done in various cases. In each case, the energy conditions, equation of state parameter and anisotropic parameter are determined.


title: Deep learning-based color holographic microscopy

abstract: We report a framework based on a generative adversarial network (GAN) that performs high-fidelity color image reconstruction using a single hologram of a sample that is illuminated simultaneously by light at three different wavelengths. The trained network learns to eliminate missing-phase-related artifacts, and generates an accurate color transformation for the reconstructed image. Our framework is experimentally demonstrated using lung and prostate tissue sections that are labeled with different histological stains. This framework is envisaged to be applicable to point-of-care histopathology, and presents a significant improvement in the throughput of coherent microscopy systems given that only a single hologram of the specimen is required for accurate color imaging.


title: Measurement of the inclusive cross-section for the production of jets in association with a Z boson in proton-proton collisions at 8 TeV using the ATLAS detector

abstract: The inclusive cross-section for jet production in association with a Z boson decaying into an electron-positron pair is measured as a function of the transverse momentum and the absolute rapidity of jets using 19.9 fb$^{-1}$ of $\sqrt s = 8$ TeV proton-proton collision data collected with the ATLAS detector at the Large Hadron Collider. The measured Z + jets cross-section is unfolded to the particle level. The cross-section is compared with state-of-the-art Standard Model calculations, including the next-to-leading-order and next-to-next-to-leading-order perturbative QCD calculations, corrected for non-perturbative and QED radiation effects. The results of the measurements cover final-state jets with transverse momenta up to 1 TeV, and show good agreement with fixed-order calculations.


title: Overcoming the curse of dimensionality in the numerical approximation of Allen-Cahn partial differential equations via truncated full-history recursive multilevel Picard approximations

abstract: One of the most challenging problems in applied mathematics is the approximate solution of nonlinear partial differential equations (PDEs) in high dimensions. Standard deterministic approximation methods like finite differences or finite elements suffer from the curse of dimensionality in the sense that the computational effort grows exponentially in the dimension. In this work we overcome this difficulty in the case of reaction-diffusion type PDEs with a locally Lipschitz continuous coervice nonlinearity (such as Allen-Cahn PDEs) by introducing and analyzing truncated variants of the recently introduced full-history recursive multilevel Picard approximation schemes.


title: Systematics of consistent truncations from generalised geometry

abstract: We present a generalised geometry framework for systematically constructing consistent truncations of ten- and eleven-dimensional supergravity preserving varying fractions of supersymmetry. Truncations arise when there is a reduced structure group $G_S$ of the exceptional generalised geometry, such that the intrinsic torsion is a $G_S$-singlet. The matter content of the truncated theory follows from group-theoretical arguments, while the gauging is determined by the sub-algebra of generalised diffeomorphisms generated by the $G_S$-singlet vectors. After discussing the general ideas across different spacetime dimensions and amounts of supersymmetry, we provide detailed formulae for truncations to gauged half-maximal supergravity in five dimensions. In particular, we establish an expression for the generalised metric on the exceptional tangent bundle, which determines the scalar truncation ansatz. As applications, we show that this formalism gives a simple derivation of a new consistent truncation of type IIB supergravity on $\beta$-deformed Lunin-Maldacena geometries, yielding half-maximal supergravity coupled to two vector multiplets, and of the truncation of eleven-dimensional supergravity on Maldacena-N\'u\~nez geometries, given by $S^4$ twisted over a Riemann surface, which leads to half-maximal supergravity coupled to three vector multiplets.


title: Lower Bounding the AND-OR Tree via Symmetrization

abstract: We prove a simple, nearly tight lower bound on the approximate degree of the two-level $\mathsf{AND}$-$\mathsf{OR}$ tree using symmetrization arguments. Specifically, we show that $\widetilde{\mathrm{deg}}(\mathsf{AND}_m \circ \mathsf{OR}_n) = \widetilde{\Omega}(\sqrt{mn})$. We prove this lower bound via reduction to the $\mathsf{OR}$ function through a series of symmetrization steps, in contrast to most other proofs that involve formulating approximate degree as a linear program [BT13, She13, BDBGK18]. Our proof also demonstrates the power of a symmetrization technique involving Laurent polynomials (polynomials with negative exponents) that was previously introduced by Aaronson, Kothari, Kretschmer, and Thaler [AKKT19].


title: Pad\'e Activation Units: End-to-end Learning of Flexible Activation Functions in Deep Networks

abstract: The performance of deep network learning strongly depends on the choice of the non-linear activation function associated with each neuron. However, deciding on the best activation is non-trivial, and the choice depends on the architecture, hyper-parameters, and even on the dataset. Typically these activations are fixed by hand before training. Here, we demonstrate how to eliminate the reliance on first picking fixed activation functions by using flexible parametric rational functions instead. The resulting Pad\'e Activation Units (PAUs) can both approximate common activation functions and also learn new ones while providing compact representations. Our empirical evidence shows that end-to-end learning deep networks with PAUs can increase the predictive performance. Moreover, PAUs pave the way to approximations with provable robustness. https://github.com/ml-research/pau


title: Condensed Ricci Curvature of Complete and Strongly Regular Graphs

abstract: We study a modified notion of Ollivier's coarse Ricci curvature on graphs introduced by Lin, Lu, and Yau in [11]. We establish a rigidity theorem for complete graphs that shows a connected finite simple graph is complete if and only if the Ricci curvature is strictly greater than one. We then derive explicit Ricci curvature formulas for strongly regular graphs in terms of the graph parameters and the size of a maximal matching in the core neighborhood. As a consequence we are able to derive exact Ricci curvature formulas for strongly regular graphs of girth 4 and 5 using elementary methods. An example is provided that shows there is no exact formula for the Ricci curvature for strongly regular graphs of girth $3$ that is purely in terms of graph parameters.


title: Mediation effects that emulate a target randomised trial: Simulation-based evaluation of ill-defined interventions on multiple mediators

abstract: Many epidemiological questions concern potential interventions to alter the pathways presumed to mediate an association. For example, we consider a study that investigates the benefit of interventions in young adulthood for ameliorating the poorer mid-life psychosocial outcomes of adolescent self-harmers relative to their healthy peers. Two methodological challenges arise. Firstly, mediation methods have hitherto mostly focused on the elusive task of discovering pathways, rather than on the evaluation of mediator interventions. Secondly, the complexity of such questions is invariably such that there are no existing data on well-defined interventions (i.e. actual treatments, programs, etc.) capturing the populations, outcomes and time-spans of interest. Instead, researchers must rely on exposure (non-intervention) data to address these questions, such as self-reported substance use and employment. We address the resulting challenges by specifying a target trial addressing three policy-relevant questions, regarding the impacts of hypothetical (rather than actual) interventions that would shift the mediators' distributions (separately, jointly or sequentially) to user-specified distributions that can be emulated with the observed data. We then define novel interventional effects that map to this trial, emulating shifts by setting mediators to random draws from those distributions. We show that estimation using a g-computation method is possible under an expanded set of causal assumptions relative to inference with well-defined interventions. These expanded assumptions reflect the lower level of evidence that is inevitable with ill-defined interventions. Application to the self-harm example using data from the Victorian Adolescent Health Cohort Study illustrates the value of our proposal for informing the design and evaluation of actual interventions in the future.


title: Neutral Higgs decays $H \rightarrow Z \gamma,\gamma\gamma$ in 3-3-1 models

abstract: The significance of new physics appearing in the loop-induced decays of neutral Higgs bosons into pairs of dibosons $\gamma\gamma$ and $Z\gamma$ will be discussed in the framework of the 3-3-1 models based on a recent work~\cite{Okada:2016whh}, where the Higgs sector becomes effectively the same as that in the two Higgs doublet models (2HDM) after the first symmetry breaking from $SU(3)_L$ scale into the electroweak scale. For large $SU(3)_L$ scale $v_3\simeq10$ TeV, dominant one-loop contributions to the two decay amplitudes arise from only the single charged Higgs boson predicted by the 2HDM, leading to that experimental constraint on the signal strength $\mu^{331}_{\gamma\gamma}$ of the Standard Model-like Higgs boson decay $h\rightarrow \gamma\gamma$ will result in a strict upper bound on the signal strength $\mu^{331}_{Z\gamma}$ of the decay $h\rightarrow\, Z\gamma$. For a particular model with lower $v_3$ around 3 TeV, contributions from heavy charged gauge and Higgs bosons may have the same order, therefore may give strong destructive or constructive correlations. As a by-product, a deviation from the SM prediction $|\mu^{331}_{\gamma\gamma}-1| \le 0.04$ still allows $|\mu^{331}_{Z\gamma}-1|$ to reach values near 0.1. We also show that there exists an $CP$-even neutral Higgs boson $h^0_3$ predicted by the 3-3-1 models, but beyond the 2HDM, has an interesting property that the branching ratio Br$(h^0_3\rightarrow \gamma\gamma)$ is very sensitive to the parameter $\beta$ used to distinguish different 3-3-1 models.


title: Strong angular-momentum mixing in ultracold atom-ion excitation-exchange

abstract: Atom-ion interactions occur through the electric dipole which is induced by the ion on the neutral atom. In a Langevin collision, in which the atom and ion overcome the centrifugal barrier and reach a short internuclear distance, their internal electronic states deform due to their interaction and can eventually alter. Here we explore the outcome products and the energy released from a single Langevin collision between a single cold $^{88}$Sr$^{+}$ ion initialized in the metastable $4d^2D_{5/2,3/2}$ states, and a cold $^{87}$Rb atom in the $5s^2S_{1/2}$ ground state. We found that the long-lived $D_{5/2}$ and $D_{3/2}$ states quench after roughly three Langevin collisions, transforming the excitation energy into kinetic energy. We identify two types of collisional quenching. One is an Electronic Excitation-Exchange process, during which the ion relaxes to the $S$ state and the atom is excited to the $P$ state, followed by energy release of $\sim$ 3000 K$\cdot$k$_B$. The second is Spin-Orbit Change where the ion relaxes from the higher fine-structure $D_{5/2}$ level to the lower $D_{3/2}$ level releasing $\sim$ 400 K$\cdot$k$_B$ into kinetic motion. These processes are theoretically understood to occur through Landau-Zener avoided crossings between the different molecular potential curves. We also found that these relaxation rates are insensitive to the mutual spin orientation of the ion and atoms. This is explained by the strong inertial Coriolis coupling present in ultracold atom-ion collisions due to the high partial wave involved, which strongly mixes different angular momentum states. This inertial coupling explains the loss of the total electronic angular-momentum which is transferred to the external rotation of nuclei. Our results provide deeper understanding of ultracold atom-ion inelastic collisions and offer additional quantum control tools for the cold chemistry field.


title: Radiative Corrections to Neutron and Nuclear Beta Decays Revisited

abstract: The universal radiative corrections common to neutron and super-allowed nuclear beta decays (also known as ``inner'' corrections) are revisited in light of a recent dispersion relation study that found $+2.467(22)\%$, i.e.~about $2.4\sigma$ larger than the previous evaluation. For comparison, we consider several alternative computational methods. All employ an updated perturbative QCD four-loop Bjorken sum rule (BjSR) defined QCD coupling supplemented with a nucleon form factor based Born amplitude to estimate axial-vector induced hadronic contributions. In addition, we now include hadronic contributions from low $Q^2$ loop effects based on duality considerations and vector meson resonance interpolators. Our primary result, $2.426(32)\%$ corresponds to an average of a Light Front Holomorphic QCD approach and a three resonance interpolator fit. It reduces the dispersion relation discrepancy to approximately $1.1\sigma$ and thereby provides a consistency check. Consequences of our new radiative correction estimate, along with that of the dispersion relation result, for CKM unitarity are discussed. The neutron lifetime-$g_A$ connection is updated and shown to suggest a shorter neutron lifetime $< 879$ s. We also find an improved bound on exotic, non-Standard Model, neutron decays or oscillations of the type conjectured as solutions to the neutron lifetime problem, $\text{BR}(n\to \text{exotics}) < 0.16 \%$.


title: Strictly systolic angled complexes and hyperbolicity of one-relator groups

abstract: We introduce the notion of strictly systolic angled complexes. They generalize Januszkiewickz and \'Swi\k{a}tkowski's $7$-systolic simplicial complexes and also their metric counterparts, which appear as natural analogues to Huang and Osajda's metrically systolic simplicial complexes in the context of negative curvature. We prove that strictly systolic angled complexes and the groups that act on them geometrically, together with their finitely presented subgroups, are hyperbolic. We use these complexes to study the geometry of one-relator groups without torsion, and prove hyperbolicity of such groups under a metric small cancellation hypothesis, weaker than $C'(1/6)$ and $C'(1/4)-T(4)$.


title: Existence of semistable sheaves on Hirzebruch surfaces

abstract: Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the stack. In particular, semistable sheaves exist if and only if the Harder-Narasimhan filtration has length one. We then study sharp Bogomolov inequalities $\Delta \geq \delta_H(c_1/r)$ for the discriminants of stable sheaves which take the polarization and slope into account; these inequalities essentially completely describe the characters of stable sheaves. The function $\delta_H(c_1/r)$ can be computed to arbitrary precision by a limiting procedure. In the case of an anticanonically polarized del Pezzo surface, exceptional bundles are always stable and $\delta_H(c_1/r)$ is computed by exceptional bundles. More generally, we show that for an arbitrary polarization there are further necessary conditions for the existence of stable sheaves beyond those provided by stable exceptional bundles. We compute $\delta_H(c_1/r)$ exactly in some of these cases. Finally, solutions to the existence problem have immediate applications to the birational geometry of moduli spaces of sheaves.


title: Real-time Hair Segmentation and Recoloring on Mobile GPUs

abstract: We present a novel approach for neural network-based hair segmentation from a single camera input specifically designed for real-time, mobile application. Our relatively small neural network produces a high-quality hair segmentation mask that is well suited for AR effects, e.g. virtual hair recoloring. The proposed model achieves real-time inference speed on mobile GPUs (30-100+ FPS, depending on the device) with high accuracy. We also propose a very realistic hair recoloring scheme. Our method has been deployed in major AR application and is used by millions of users.


title: Full Tilt: Universal Constructors for General Shapes with Uniform External Forces

abstract: We investigate the problem of assembling general shapes and patterns in a model in which particles move based on uniform external forces until they encounter an obstacle. While previous work within this model of assembly has focused on designing a specific board configuration for the assembly of a specific given shape, we propose the problem of designing universal configurations that are capable of constructing a large class of shapes and patterns. In particular, for given integers $h,w$, we show that there exists a strongly universal configuration (no excess particles) with $\mathcal{O}(hw)$ $1 \times 1$ slidable particles that can be reconfigured to build any $h \times w$ patterned rectangle. We then expand this result to show that there exists a weakly universal configuration that can build any $h \times w$-bounded size connected shape. Following these results, we go on to show the existence of a strongly universal configuration which can assemble any shape within a previously studied ``drop'' class, while using quadratically less space than previous results. Finally, we include a study of the complexity of motion planning in this model. We consider the problems of deciding if a board location can be occupied by any particle (occupancy problem), deciding if a specific particle may be relocated to another position (relocation problem), and deciding if a given configuration of particles may be transformed into a second given configuration (reconfiguration problem). We show all of these problems to be PSPACE-complete with the allowance of a single $2\times 2$ polyomino in addition to $1\times 1$ tiles. We further show that relocation and occupancy remain PSPACE-complete even when the board geometry is a simple rectangle if domino polyominoes are included.


title: Most unexposed taut one-relator presentation 2-complexes are finitely unsplittable

abstract: The main result of this article is that among the family of one-relator presentation 2-complexes that might be expected to be finitely unsplittable (not the union of two proper subpolyhedra with finite first homology groups) almost all have this property. Included among these one-relator presentation 2-complexes are all generalized dunce hats. A generalized dunce hat is a 2-dimensional polyhedron created by attaching the boundary of a disk $\Delta$ to a circle $J$ via a map $f : \partial\Delta \rightarrow J$ with the property that there is a point $v$ in $J$ such that $f^{-1}(\{v\})$ is a finite set containing at least 3 points and $f$ maps each component of $\partial\Delta - f^{-1}(\{v\})$ homeomorphically onto $J - \{v\}$. The fact that generalized dunce hats are finitely unsplittable undermines a strategy for proving that the interior of the Mazur compact contractible 4-manifold $M$ is splittable in the sense of Gabai (i.e., $\text{int}(M) = U \cup V$ where $U$, $V$ and $U \cap V$ are each homeomorphic to Euclidean 4-space).


title: Binary Decision Diagrams: from Tree Compaction to Sampling

abstract: Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common subtrees are factored and shared, keeping only one copy of each unique subtree. This yields the celebrated and widely used structure called reduced ordered binary decision diagram (ROBDD). We propose to revisit the classical compaction process to give a new way of enumerating ROBDDs of a given size without considering fully expanded trees and the compaction step. Our method also provides an unranking procedure for the set of ROBDDs. As a by-product we get a random uniform and exhaustive sampler for ROBDDs for a given number of variables and size.


title: Almost all Steiner triple systems are almost resolvable

abstract: We show that for any n divisible by 3, almost all order-n Steiner triple systems admit a decomposition of almost all their triples into disjoint perfect matchings (that is, almost all Steiner triple systems are almost resolvable).


title: Low-supervision urgency detection and transfer in short crisis messages

abstract: Humanitarian disasters have been on the rise in recent years due to the effects of climate change and socio-political situations such as the refugee crisis. Technology can be used to best mobilize resources such as food and water in the event of a natural disaster, by semi-automatically flagging tweets and short messages as indicating an urgent need. The problem is challenging not just because of the sparseness of data in the immediate aftermath of a disaster, but because of the varying characteristics of disasters in developing countries (making it difficult to train just one system) and the noise and quirks in social media. In this paper, we present a robust, low-supervision social media urgency system that adapts to arbitrary crises by leveraging both labeled and unlabeled data in an ensemble setting. The system is also able to adapt to new crises where an unlabeled background corpus may not be available yet by utilizing a simple and effective transfer learning methodology. Experimentally, our transfer learning and low-supervision approaches are found to outperform viable baselines with high significance on myriad disaster datasets.


title: Isotope-shift spectroscopy of the ${^1}S_0 \rightarrow {^3}P_1$ and ${^1}S_0 \rightarrow {^3}P_0$ transitions in strontium

abstract: Isotope shift spectroscopy with narrow optical transitions provides a benchmark for atomic structure calculations and has also been proposed as a way to constrain theories predicting physics beyond the Standard Model. Here, we have measured frequency shifts of the ${^1}S_0 \rightarrow {^3}P_1$ and ${^1}S_0 \rightarrow {^3}P_0$ transitions between all stable isotopes of strontium relative to ${^{88}}$Sr. This includes the first reported measurements of the ${^1}S_0 \rightarrow {^3}P_0$ isotope shift of ${^{88}}$Sr-${^{86}}$Sr and ${^{88}}$Sr-${^{84}}$Sr. Using the isotope shift measurements of the two transitions, a King plot analysis is performed. These results, combined with other recent isotope shift measurements in other atomic systems, will help refine atomic structure calculations and theoretical predictions for new physics.


title: A Data-Driven Game-Theoretic Approach for Behind-the-Meter PV Generation Disaggregation

abstract: Rooftop solar photovoltaic (PV) power generator is a widely used distributed energy resource (DER) in distribution systems. Currently, the majority of PVs are installed behind-the-meter (BTM), where only customers' net demand is recorded by smart meters. Disaggregating BTM PV generation from net demand is critical to utilities for enhancing grid-edge observability. In this paper, a data-driven approach is proposed for BTM PV generation disaggregation using solar and demand exemplars. First, a data clustering procedure is developed to construct a library of candidate load/solar exemplars. To handle the volatility of BTM resources, a novel game-theoretic learning process is proposed to adaptively generate optimal composite exemplars using the constructed library of candidate exemplars, through repeated evaluation of disaggregation residuals. Finally, the composite native demand and solar exemplars are employed to disaggregate solar generation from net demand using a semi-supervised source separator. The proposed methodology has been verified using real smart meter data and feeder models.


title: Designing Perfect Simulation Algorithms using Local Correctness

abstract: Consider a randomized algorithm that draws samples exactly from a distribution using recursion. Such an algorithm is called a perfect simulation, and here a variety of methods for building this type of algorithm are shown to derive from the same result: the Fundamental Theorem of Perfect Simulation (FTPS). The FTPS gives two necessary and sufficient conditions for the output of a recursive probabilistic algorithm to come exactly from the desired distribution. First, the algorithm must terminate with probability 1. Second, the algorithm must be locally correct, which means that if the recursive calls in the original algorithm are replaced by oracles that draw from the desired distribution, then this new algorithm can be proven to be correct. While it is usually straightforward to verify these conditions, they are surprisingly powerful, giving the correctness of Acceptance/Rejection, Coupling from the Past, the Randomness Recycler, Read-once CFTP, Partial Rejection Sampling, Partially Recursive Acceptance Rejection, and various Bernoulli Factories. We illustrate the use of this algorithm by building a new Bernoulli Factory for linear functions that is 41\% faster than the previous method.


title: Memory and irreversibility on two-dimensional overdamped Brownian dynamics

abstract: We consider the effects of memory on the stationary behavior of a two-dimensional Langevin dynamics in a confining potential. The system is treated in an overdamped approximation and the degrees of freedom are under the influence of distinct kinds of stochastic forces, described by Gaussian white and colored noises, as well as different effective temperatures. The joint distribution function is calculated by time-averaging approaches, and the long-term behavior is analyzed. We determine the influence of noise temporal correlations on the steady-state behavior of heat flux and entropy production. Non-Markovian effects lead to a decaying heat exchange with spring force parameter, which is in contrast to the usual linear dependence when only Gaussian white noises are presented in overdamped treatments. Also, the model exhibits non-equilibrium states characterized by a decreasing entropy production with memory time-scale.


title: Asymptotic charges, large gauge transformations and inequivalence of different gauges in external current QED

abstract: In this paper we consider external current QED in the Coulomb gauge and in axial gauges for various spatial directions of the axis. For a non-zero electric charge of the current, we demonstrate that any two different gauges from this class correspond to quantum theories which are not unitarily equivalent. We show that the spacelike asymptotic flux of the electromagnetic field is the underlying superselected quantity. We also express the large gauge transformation linking two distinct axial gauges by the Wilson loop over a contour limited by the two axes. Thus the underlying physical mechanism appears to be related to the Aharonov-Bohm effect.


title: Development of a General Momentum Exchange Devices Fault Model for Spacecraft Fault-Tolerant Control System Design

abstract: This paper investigates the mechanism of various faults of momentum exchange devices. These devices are modeled as a cascade electric motor EM - variable speed drive VSD system. Considering the mechanical part of the EM and the VSD system, the potential faults are reviewed and summarized. Thus with a clear understanding of these potential faults, a general fault model in a cascade multiplicative structure is established for momentum exchange devices. Based on this general model, various fault scenarios can be simulated, and the possible output can be appropriately visualized. In this paper, six types of working condition are identified and the corresponding fault models are constructed. Using this fault model, the control responses using reaction wheels and single gimbal control moment gyros under various fault conditions are demonstrated. The simulation results show the severities of the faults and demonstrate that the additive fault is more serious than the multiplicative fault from the viewpoint of control accuracy. Finally, existing fault-tolerant control strategies are brief summarized and potential approaches including both passive and active ones to accommodate gimbal fault of single gimbal control moment gyro is demonstrated.


title: Independence numbers of Johnson-type graphs

abstract: We consider a family of distance graphs in $\mathbb{R}^n$ and find its independent numbers in some cases. Define graph $J_{\pm}(n,k,t)$ in the following way: the vertex set consists of all vectors from $\{-1,0,1\}^n$ with $k$ nonzero coordinates; edges connect the pairs of vertices with scalar product $t$. We find the independence number of $J_{\pm}(n,k,t)$ for $n > n_0 (k,t)$ in the cases $t = 0$ and $t = -1$; these cases for $k = 3$ are solved completely. Also the independence number is found for negative odd $t$ and $n > n_0 (k,t)$.


title: SN 2012dn from early to late times: 09dc-like supernovae reassessed

abstract: As a candidate 'super-Chandrasekhar' or 09dc-like Type Ia supernova (SN Ia), SN 2012dn shares many characteristics with other members of this remarkable class of objects but lacks their extraordinary luminosity. Here, we present and discuss the most comprehensive optical data set of this SN to date, comprised of a densely sampled series of early-time spectra obtained within the Nearby Supernova Factory project, plus photometry and spectroscopy obtained at the VLT about 1 yr after the explosion. The light curves, colour curves, spectral time series and ejecta velocities of SN 2012dn are compared with those of other 09dc-like and normal SNe Ia, the overall variety within the class of 09dc-like SNe Ia is discussed, and new criteria for 09dc-likeness are proposed. Particular attention is directed to additional insight that the late-phase data provide. The nebular spectra show forbidden lines of oxygen and calcium, elements that are usually not seen in late-time spectra of SNe Ia, while the ionisation state of the emitting iron plasma is low, pointing to low ejecta temperatures and high densities. The optical light curves are characterised by an enhanced fading starting ~60 d after maximum and very low luminosities in the nebular phase, which is most readily explained by unusually early formation of clumpy dust in the ejecta. Taken together, these effects suggest a strongly perturbed ejecta density profile, which might lend support to the idea that 09dc-like characteristics arise from a brief episode of interaction with a hydrogen-deficient envelope during the first hours or days after the explosion.


title: Integrating Undergraduate Research and Faculty Development in a Legacy Astronomy Research Project

abstract: The NSF-sponsored Undergraduate ALFALFA Team (UAT) promotes long-term collaborative research opportunities for faculty and students from 23 U.S. public and private primarily undergraduate institutions (PUIs) within the context of the extragalactic ALFALFA HI blind legacy survey project. Over twelve project years of partnering with Arecibo and Green Bank Observatories, the UAT has had a demonstrable impact on the health of a legacy astronomy project, science education, and equity/inclusion in astronomy, with successful outcomes for 373 UAT students (39% women; ~30% members of underrepresented groups) and 34 faculty (44% women). The UAT model is adaptable to many large scientific projects and can be supported by relatively modest funding. We recommend that granting agencies identify funding resources to support the model, either as an add-on to legacy grant support or as a stand-alone funding source. This could include encouragement of UAT-like components in large scale projects currently being developed, such as the LSST and TMT. By doing this, we will recognize the high numbers of astronomy research-trained heavy-teaching-load faculty at PUIs as an under-utilized resource of the astronomy community (see also White Paper by Ribaudo et al.). These members of our community have the skills and the strong desire to contribute meaningfully to their field, as well as the ability to encourage and interact closely with many talented and motivated undergraduate students from all backgrounds.


title: Finite Singular Orbit Modules for Algebraic Groups

abstract: Building on the classification of modules for algebraic groups with finitely many orbits on subspaces, we determine all faithful irreducible modules for simple and maximal-semisimple connected algebraic groups that are orthogonal and have finitely many orbits on singular $1$-spaces. This question is naturally connected with the problem of finding for which pairs of subgroups $H,K$ of an algebraic group $G$ there are finitely many $(H,K)$-double cosets. This paper provides a solution to the question when $K$ is a maximal parabolic subgroup $P_1$ of a classical group $SO_n$. We find an interesting range of new examples ranging from a $5$-dimensional module for $SL_2$ to the spin module for $B_6$ in characteristic $2$.


title: Magnification, dust and time-delay constraints from the first resolved strongly lensed Type Ia supernova

abstract: We report lensing magnifications, extinction, and time-delay estimates for the first resolved, multiply-imaged Type Ia supernova iPTF16geu, at $z = 0.409$, using $Hubble\,Space\,Telescope$ ($HST$) observations in combination with supporting ground-based data. Multi-band photometry of the resolved images provides unique information about the differential dimming due to dust in the lensing galaxy. Using $HST$ and Keck AO reference images taken after the SN faded, we obtain a total lensing magnification for iPTF16geu of $\mu = 67.8^{+2.6}_{-2.9}$, accounting for extinction in the host and lensing galaxy. As expected from the symmetry of the system, we measure very short time-delays for the three fainter images with respect to the brightest one: -0.23 $\pm$ 0.99, -1.43 $\pm$ 0.74 and 1.36 $\pm$ 1.07 days. Interestingly, we find large differences between the magnifications of the four supernova images, even after accounting for uncertainties in the extinction corrections: $\Delta m_1 = -3.88^{+0.07}_{-0.06}$, $\Delta m_2 = -2.99^{+0.09}_{-0.08}$, $\Delta m_3 = -2.19^{+0.14}_{-0.15}$ and $\Delta m_4 = -2.40^{+0.14}_{-0.12}$ mag, discrepant with model predictions suggesting similar image brightnesses. A possible explanation for the large differences is gravitational lensing by substructures, micro- or millilensing, in addition to the large scale lens causing the image separations. We find that the inferred magnification is insensitive to the assumptions about the dust properties in the host and lens galaxy.


title: AugLabel: Exploiting Word Representations to Augment Labels for Face Attribute Classification

abstract: Augmenting data in image space (eg. flipping, cropping etc) and activation space (eg. dropout) are being widely used to regularise deep neural networks and have been successfully applied on several computer vision tasks. Unlike previous works, which are mostly focused on doing augmentation in the aforementioned domains, we propose to do augmentation in label space. In this paper, we present a novel method to generate fixed dimensional labels with continuous values for images by exploiting the word2vec representations of the existing categorical labels. We then append these representations with existing categorical labels and train the model. We validated our idea on two challenging face attribute classification data sets viz. CelebA and LFWA. Our extensive experiments show that the augmented labels improve the performance of the competitive deep learning baseline and reduce the need of annotated real data up to 50%, while attaining a performance similar to the state-of-the-art methods.


title: Study of CoFe2O4/CoFe2 nanostructured powder

abstract: We report an experimental study of the CoFe2O4/CoFe2 nanocomposite, a nanostructured material formed by hard (CoFe2O4) and soft (CoFe2) magnetic materials. The precursor material, cobalt ferrite (CoFe2O4), was prepared using the conventional stoichiometric gel-combustion method. The nanocomposite material was obtained by reducing partially the precursor material using activated charcoal as reducing agent in air and argon atmospheres, at 800 and 900 C respectively. The magnetic hysteresis loops demonstrate that, in general, prepared nanocomposite samples display single magnetic behavior, indicating exchange coupling between the soft and hard magnetic phases. However, for nanocomposite samples prepared at higher temperatures, the hysteresis measurements show steps typical of two-phase magnetic behavior, suggesting the existence of two non-coupled magnetic phases. The studied nanocomposites presented coercivity (HC) of about 0.7 kOe, which is considerably lower than the expected value for cobalt ferrite. A huge increase in HC (>440%) and maximum energy product (about 240%) was obtained for the nanocomposite after high energy milling processing.


title: Elastic depths for detecting shape anomalies in functional data

abstract: We propose a new family of depth measures called the elastic depths that can be used to greatly improve shape anomaly detection in functional data. Shape anomalies are functions that have considerably different geometric forms or features from the rest of the data. Identifying them is generally more difficult than identifying magnitude anomalies because shape anomalies are often not distinguishable from the bulk of the data with visualization methods. The proposed elastic depths use the recently developed elastic distances to directly measure the centrality of functions in the amplitude and phase spaces. Measuring shape outlyingness in these spaces provides a rigorous quantification of shape, which gives the elastic depths a strong theoretical and practical advantage over other methods in detecting shape anomalies. A simple boxplot and thresholding method is introduced to identify shape anomalies using the elastic depths. We assess the elastic depth's detection skill on simulated shape outlier scenarios and compare them against popular shape anomaly detectors. Finally, we use hurricane trajectories to demonstrate the elastic depth methodology on manifold valued functional data. Supplementary materials, including additional simulations, data examples, and an R-package are available online.


title: Shear shock evolution in incompressible soft solids

abstract: Nonlinear evolution of shear waves into shocks in incompressible elastic materials is investigated using the framework of large deformation elastodynamics, for a family of loadings and commonly used hyperelastic material models. Closed form expressions for the shock formation distance are derived and used to construct non-dimensional phase maps that determine regimes in which a shock can be realized. These maps reveal the sensitivity of shock evolution to the amplitude, shape, and ramp time of the loading, and to the elastic material parameters. In light of a recent study (Espindola et al., 2017), which hypothesizes that shear shock formation could play a signicant role in Traumatic Brain Injury (TBI), application to brain tissue is considered and it is shown that the size matters in TBI research. Namely, for realistic loadings, smaller brains are less susceptible to formation of shear shocks. Furthermore, given the observed sensitivity to the imparted waveform and the constitutive properties, it is suggested that the non-dimensional maps can guide the design of protective structures by determining the combination of loading parameters, material dimensions, and elastic properties that can avoid shock formation.


title: On the Noether Bound for Noncommutative Rings

abstract: We present two noncommutative algebras over a field of characteristic zero that each posses a family of actions by cyclic groups of order $2n$, represented in $n \times n$ matrices, requiring generators of degree $3n$.


title: Some error estimates for the DEC method in the plane

abstract: We show that the Discrete Exterior Calculus (DEC) method can be cast as the earlier box method for the Poisson problem in the plane. Consequently, error estimates are established, proving that the DEC method is comparable to the Finite Element Method with linear elements. We also discuss some virtues, others than convergence, of the DEC method.


title: Semisimple Reflection Hopf Algebras of Dimension Sixteen

abstract: For each nontrivial semisimple Hopf algebra $H$ of dimension sixteen over $\mathbb{C}$, the smallest dimension inner-faithful representation of $H$ acting on a quadratic AS regular algebra $A$ of dimension 2 or 3, homogeneously and preserving the grading, is determined. Each invariant subring $A^H$ is determined. When $A^H$ is also AS regular, thus providing a generalization of the Chevalley-Shephard-Todd Theorem, we say that $H$ is a reflection Hopf algebra for $A$.


title: Corner and side localization of electrons in irregular hexagonal semiconductor shells

abstract: We discuss the low energy electronic states in hexagonal rings. These states correspond to the transverse modes in core-shell nanowires built of III-V semiconductors which typically have a hexagonal cross section. In the case of symmetric structures the 12 lowest states (including the spin) are localized in the corners, while the next following 12 states are localized mostly on the sides. Depending on the material parameters, in particular the effective mass, the ring diameter and width, the corner and side states may be separated by a considerable energy gap, ranging from few to tens of meV. In a realistic fabrication process geometric asymmetries are unavoidable, and therefore the particles are not symmetrically distributed between all corner and side areas. Possibly, even small deformations may shift the localization of the ground state to one of the sides. The transverse states or the transitions between them may be important in transport or optical experiments. Still, up to date, there are only very few experimental investigations of the localization-dependent properties of core-shell nanowires.


title: High-order couplings in geometric complex networks of neurons

abstract: We explore the consequences of introducing higher-order interactions in a geometric complex network of Morris-Lecar neurons. We focus on the regime where travelling synchronization waves are observed out of a first-neighbours based coupling, to evaluate the changes induced when higher-order dynamical interactions are included. We observe that the travelling wave phenomenon gets enhanced by these interactions, allowing the information to travel further in the system without generating pathological full synchronization states. This scheme could be a step towards a simple modelization of neuroglial networks.


title: The Diffeomorphism Field

abstract: Integration of Kirillov form on a coadjoint orbit of Virasoro algebra yields the coupling of a background field to Polyakov's two dimensional quantum gravity. This background field is used to be called the diffeomorphism field. Einstein's gravity is dynamically trivial in two dimensions. Moreover, the diffeomorphism field can be interpreted as the gravitational analog of a Yang-Mills field. This raises the question of whether the diffeomorphism field exists in higher dimensions, and plays an essential role in gravity. With this motivation, several dynamical theories for the diffeomorphism field have been constructed by mimicking construction of Yang-Mills theory from Kac-Moody algebra. This thesis constitutes a further development for obtaining a consistent dynamical theory of the diffeomorphism field. The previously proposed theories are thoroughly examined, certain subtleties and problems in them have been discovered and made apparent. Some of these problems have been solved, and for others possible routes to follow have been laid down. Finally, alternative geometric approaches are investigated.


title: Searching for Wide Companions and Identifying Circum(sub)stellar Disks through PSF-Fitting of Spitzer/IRAC Archival Images

abstract: Direct imaging surveys have discovered wide-orbit planetary-mass companions that challenge existing models of both star and planet formation, but their demographics remain poorly sampled. We have developed an automated binary companion point spread function (PSF) fitting pipeline to take advantage of Spitzer's infrared sensitivity to planetary-mass objects and circum(sub)stellar disks, measuring photometry across the four IRAC channels of 3.6 $\mu$m, 4.5 $\mu$m, 5.8 $\mu$m, and 8.0 $\mu$m. We present PSF-fitting photometry of archival Spitzer/IRAC images for 11 young, low-mass ($M\sim0.044$-0.88 $M_{\odot}$; M7.5-K3.5) members of three nearby star-forming regions (Chameleon, Taurus, and Upper Scorpius; $d\sim$ 150 pc; $\tau\sim$ 1-10 Myr) that host confirmed or candidate faint companions at $\rho = 1.68^{\prime\prime}-7.31^{\prime\prime}$. We recover all system primaries, six confirmed, and two candidate low-mass companions in our sample. We also measure non-photospheric $[3.6]-[8.0]$ colors for three of the system primaries, four of the confirmed companions, and one candidate companion, signifying the presence of circumstellar or circum(sub)stellar disks. We furthermore report the confirmation of a $\rho=4.66^{\prime\prime}$ (540 au) companion to [SCH06] J0359+2009 which was previously identified as a candidate via imaging over five years ago, but was not studied further. Based on its brightness ($M_{[3.6]}=8.53$ mag), we infer the companion mass to be $M=20\pm5$ $M_\mathrm{Jup}$ given the primary's model-derived age of 10 Myr. Our framework is sensitive to companions with masses less than 10 $M_\mathrm{Jup}$ at separations of $\rho = 300$ au in nearby star-forming regions, opening up a new regime of parameter space that has yet to be studied in detail, discovering planetary-mass companions in their birth environments and revealing their circum(sub)stellar disks.


title: Partitioning Graphs for the Cloud using Reinforcement Learning

abstract: In this paper, we propose Revolver, a parallel graph partitioning algorithm capable of partitioning large-scale graphs on a single shared-memory machine. Revolver employs an asynchronous processing framework, which leverages reinforcement learning and label propagation to adaptively partition a graph. In addition, it adopts a vertex-centric view of the graph where each vertex is assigned an autonomous agent responsible for selecting a suitable partition for it, distributing thereby the computation across all vertices. The intuition behind using a vertex-centric view is that it naturally fits the graph partitioning problem, which entails that a graph can be partitioned using local information provided by each vertex's neighborhood. We fully implemented and comprehensively tested Revolver using nine real-world graphs. Our results show that Revolver is scalable and can outperform three popular and state-of-the-art graph partitioners via producing comparable localized partitions, yet without sacrificing the load balance across partitions.


title: Astro2020: Promoting Diversity and Inclusion in Astronomy Graduate Education: an Astro2020 APC White Paper by the AAS Taskforce on Diversity and Inclusion in Astronomy Graduate Education

abstract: The purpose of this white paper is to provide guidance to funding agencies, leaders in the discipline, and its constituent departments about strategies for (1) improving access to advanced education for people from populations that have long been underrepresented and (2) improving the climates of departments where students enroll. The twin goals of improving access to increase diversity and improving climate to enhance inclusiveness are mutually reinforcing, and they are both predicated on a fundamental problem of inequality in participation. This white paper has been endorsed by the Board of Trustees of the AAS.


title: Increasing Power for Observational Studies of Aberrant Response: An Adaptive Approach

abstract: In many observational studies, the interest is in the effect of treatment on bad, aberrant outcomes rather than the average outcome. For such settings, the traditional approach is to define a dichotomous outcome indicating aberration from a continuous score and use the Mantel-Haenszel test with matched data. For example, studies of determinants of poor child growth use the World Health Organization's definition of child stunting being height-for-age z-score $\leq -2$. The traditional approach may lose power because it discards potentially useful information about the severity of aberration. We develop an adaptive approach that makes use of this information and asymptotically dominates the traditional approach. We develop our approach in two parts. First, we develop an aberrant rank approach in matched observational studies and prove a novel design sensitivity formula enabling its asymptotic comparison with the Mantel-Haenszel test under various settings. Second, we develop a new, general adaptive approach, the two-stage programming method, and use it to adaptively combine the aberrant rank test and the Mantel-Haenszel test. We apply our approach to a study of the effect of teenage pregnancy on stunting.


title: Subspace Determination through Local Intrinsic Dimensional Decomposition: Theory and Experimentation

abstract: Axis-aligned subspace clustering generally entails searching through enormous numbers of subspaces (feature combinations) and evaluation of cluster quality within each subspace. In this paper, we tackle the problem of identifying subsets of features with the most significant contribution to the formation of the local neighborhood surrounding a given data point. For each point, the recently-proposed Local Intrinsic Dimension (LID) model is used in identifying the axis directions along which features have the greatest local discriminability, or equivalently, the fewest number of components of LID that capture the local complexity of the data. In this paper, we develop an estimator of LID along axis projections, and provide preliminary evidence that this LID decomposition can indicate axis-aligned data subspaces that support the formation of clusters.


title: Efficient Pipeline for Camera Trap Image Review

abstract: Biologists all over the world use camera traps to monitor biodiversity and wildlife population density. The computer vision community has been making strides towards automating the species classification challenge in camera traps, but it has proven difficult to to apply models trained in one region to images collected in different geographic areas. In some cases, accuracy falls off catastrophically in new region, due to both changes in background and the presence of previously-unseen species. We propose a pipeline that takes advantage of a pre-trained general animal detector and a smaller set of labeled images to train a classification model that can efficiently achieve accurate results in a new region.


title: Logic Conditionals, Supervenience, and Selection Tasks

abstract: Principles of cognitive economy would require that concepts about objects, properties and relations should be introduced only if they simplify the conceptualisation of a domain. Unexpectedly, classic logic conditionals, specifying structures holding within elements of a formal conceptualisation, do not always satisfy this crucial principle. The paper argues that this requirement is captured by supervenience, hereby further identified as a property necessary for compression. The resulting theory suggests an alternative explanation of the empirical experiences observable in Wason's selection tasks, associating human performance with conditionals on the ability of dealing with compression, rather than with logic necessity.


title: Ramsey-Bord\'e matter-wave interferometry for laser frequency stabilization at $10^{-16}$ frequency instability and below

abstract: We demonstrate Ramsey-Bord\'e (RB) atom interferometry for high performance laser stabilization with fractional frequency instability $<2 \times 10^{-16}$ for timescales between 10 and 1000s. The RB spectroscopy laser interrogates two counterpropagating $^{40}$Ca beams on the $^1$S$_0$ -- $^3$P$_1$ transition at 657 nm, yielding 1.6 kHz linewidth interference fringes. Fluorescence detection of the excited state population is performed on the (4s4p) $^3$P$_1$ -- (4p$^2$) $^3$P$_0$ transition at 431 nm. Minimal thermal shielding and no vibration isolation are used. These stability results surpass performance from other thermal atomic or molecular systems by one to two orders of magnitude, and further improvements look feasible.


title: Hands Off my Database: Ransomware Detection in Databases through Dynamic Analysis of Query Sequences

abstract: Ransomware is an emerging threat which imposed a \$ 5 billion loss in 2017 and is predicted to hit \$ 11.5 billion in 2019. While initially targeting PC (client) platforms, ransomware recently made the leap to server-side databases - starting in January 2017 with the MongoDB Apocalypse attack, followed by other attack waves targeting a wide range of DB types such as MongoDB, MySQL, ElasticSearch, Cassandra, Hadoop, and CouchDB. While previous research has developed countermeasures against client-side ransomware (e.g., CryptoDrop and ShieldFS), the problem of server-side ransomware has received zero attention so far. In our work, we aim to bridge this gap and present DIMAQS (Dynamic Identification of Malicious Query Sequences), a novel anti-ransomware solution for databases. DIMAQS performs runtime monitoring of incoming queries and pattern matching using Colored Petri Nets (CPNs) for attack detection. Our system design exhibits several novel techniques to enable efficient detection of malicious query sequences globally (i.e., without limiting detection to distinct user connections). Our proof-of-concept implementation targets MySQL servers. The evaluation shows high efficiency with no false positives and no false negatives and very moderate performance overhead of under 5%. We will publish our data sets and implementation allowing the community to reproduce our tests and compare to our results.


title: Acceptance rate is a thermodynamic function in local Monte Carlo algorithms

abstract: We study properties of Markov chain Monte Carlo simulations of classical spin models with local updates. We derive analytic expressions for the mean value of the acceptance rate of single-spin-flip algorithms for the one-dimensional Ising model. We find that for the Metropolis algorithm the average acceptance rate is a linear function of energy. We further provide numerical results for the energy dependence of the average acceptance rate for the 3- and 4-state Potts model, and the XY model in one and two spatial dimensions. In all cases, the acceptance rate is an almost linear function of the energy in the critical region. The variance of the acceptance rate is studied as a function of the specific heat. While the specific heat develops a singularity in the vicinity of a phase transition, the variance of the acceptance rate stays finite.


title: Improving 3D Object Detection for Pedestrians with Virtual Multi-View Synthesis Orientation Estimation

abstract: Accurately estimating the orientation of pedestrians is an important and challenging task for autonomous driving because this information is essential for tracking and predicting pedestrian behavior. This paper presents a flexible Virtual Multi-View Synthesis module that can be adopted into 3D object detection methods to improve orientation estimation. The module uses a multi-step process to acquire the fine-grained semantic information required for accurate orientation estimation. First, the scene's point cloud is densified using a structure preserving depth completion algorithm and each point is colorized using its corresponding RGB pixel. Next, virtual cameras are placed around each object in the densified point cloud to generate novel viewpoints, which preserve the object's appearance. We show that this module greatly improves the orientation estimation on the challenging pedestrian class on the KITTI benchmark. When used with the open-source 3D detector AVOD-FPN, we outperform all other published methods on the pedestrian Orientation, 3D, and Bird's Eye View benchmarks.


title: Utility-aware and privacy-preserving mobile query services

abstract: Location-based queries enable fundamental services for mobile road network travelers. While the benefits of location-based services (LBS) are numerous, exposure of mobile travelers' location information to untrusted LBS providers may lead to privacy breaches. In this paper, we propose StarCloak, a utility-aware and attack-resilient approach to building a privacy-preserving query system for mobile users traveling on road networks. StarCloak has several desirable properties. First, StarCloak supports user-defined k-user anonymity and l-segment indistinguishability, along with user-specified spatial and temporal utility constraints, for utility-aware and personalized location privacy. Second, unlike conventional solutions which are indifferent to underlying road network structure, StarCloak uses the concept of stars and proposes cloaking graphs for effective location cloaking on road networks. Third, StarCloak achieves strong attack-resilience against replay and query injection-based attacks through randomized star selection and pruning. Finally, to enable scalable query processing with high throughput, StarCloak makes cost-aware star selection decisions by considering query evaluation and network communication costs. We evaluate StarCloak on two real-world road network datasets under various privacy and utility constraints. Results show that StarCloak achieves improved query success rate and throughput, reduced anonymization time and network usage, and higher attack-resilience in comparison to XStar, its most relevant competitor.


title: Nonlinear filtering of stochastic differential equations driven by correlated L\'evy noises

abstract: The work concerns nonlinear filtering problems of stochastic differential equations with correlated L\'evy noises. First, we establish the Kushner-Stratonovich and Zakai equations through martingale representation theorems and the Kallianpur-Striebel formula. Second, we show the pathwise uniqueness and uniqueness in joint law of weak solutions for the Zakai equation. Finally, we investigate the uniqueness in joint law of weak solutions to the Kushner-Stratonovich equation.


title: Thermodynamic Geometry of Microscopic Heat Engines

abstract: We develop a geometric framework to describe the thermodynamics of microscopic heat engines driven by slow periodic temperature variations and modulations of a mechanical control parameter. Covering both the classical and the quantum regime, our approach reveals a universal trade-off relation between efficiency and power that follows solely from geometric arguments and holds for any thermodynamically consistent microdynamics. Focusing on Lindblad dynamics, we derive a second bound showing that coherence as a genuine quantum effect inevitably reduces the performance of slow engine cycles regardless of the driving amplitudes. To demonstrate the practical applicability of our results, we work out the example of a single-qubit heat engine, which lies within the range of current solid-state technologies.


title: Rethinking RGB-D Salient Object Detection: Models, Data Sets, and Large-Scale Benchmarks

abstract: The use of RGB-D information for salient object detection has been extensively explored in recent years. However, relatively few efforts have been put towards modeling salient object detection in real-world human activity scenes with RGBD. In this work, we fill the gap by making the following contributions to RGB-D salient object detection. (1) We carefully collect a new SIP (salient person) dataset, which consists of ~1K high-resolution images that cover diverse real-world scenes from various viewpoints, poses, occlusions, illuminations, and backgrounds. (2) We conduct a large-scale (and, so far, the most comprehensive) benchmark comparing contemporary methods, which has long been missing in the field and can serve as a baseline for future research. We systematically summarize 32 popular models and evaluate 18 parts of 32 models on seven datasets containing a total of about 97K images. (3) We propose a simple general architecture, called Deep Depth-Depurator Network (D3Net). It consists of a depth depurator unit (DDU) and a three-stream feature learning module (FLM), which performs low-quality depth map filtering and cross-modal feature learning respectively. These components form a nested structure and are elaborately designed to be learned jointly. D3Net exceeds the performance of any prior contenders across all five metrics under consideration, thus serving as a strong model to advance research in this field. We also demonstrate that D3Net can be used to efficiently extract salient object masks from real scenes, enabling effective background changing application with a speed of 65fps on a single GPU. All the saliency maps, our new SIP dataset, the D3Net model, and the evaluation tools are publicly available at https://github.com/DengPingFan/D3NetBenchmark.


title: AR(1) processes driven by second-chaos white noise: Berry-Ess\'een bounds for quadratic variation and parameter estimation

abstract: In this paper, we study the asymptotic behavior of the quadratic variation for the class of AR(1) processes driven by white noise in the second Wiener chaos. Using tools from the analysis on Wiener space, we give an upper bound for the total-variation speed of convergence to the normal law, which we apply to study the estimation of the model's mean-reversion. Simulations are performed to illustrate the theoretical results.


title: Cavity mediated dissipative coupling of distant magnetic moments: theory and experiment

abstract: We investigate long-range coherent and dissipative coupling between two spatially separated magnets while both are coupled to a microwave cavity. A careful examination of the system shows that the indirect interaction between two magnon modes is dependent on their individual mechanisms of direct coupling to the cavity. If both magnon modes share the same form of coupling to the cavity (either coherent or dissipative), then the indirect coupling between them will produce level repulsion. Conversely, if the magnon modes have different forms of coupling to the cavity (one coherent and one dissipative), then their indirect coupling will produce level attraction. We further demonstrate the cavity-mediate nature of the indirect interaction through investigating the dependence of the indirect coupling strength on the frequency detuning between the magnon and cavity modes. Our work theoretically and experimentally explores indirect cavity mediate interactions in systems exhibiting both coherent and dissipative coupling, which opens a new avenue for controlling and utilizing light-matter interactions.


title: Singular limits for compressible inviscid rotating fluids

abstract: We study singular limit for scaled barotropic Euler system modelling a rotating, compressible and inviscid fluid, where Mach and Rossby numbers are proportional to a small parameter $\epsilon$. If the fluid is confined to an infinite slab, the limit behaviour is identified as a horizontal motion of an incompressible inviscid system that is analogous to the Euler system. We consider a very general class of solutions, named dissipative solution for the scaled compressible Euler systems and will show that it converges to a strong solution of that incompressible inviscid system.


title: A simplified proof of CLT for convex bodies

abstract: We present a short proof of Klartag's central limit theorem for convex bodies, using only the most classical facts about log-concave functions. An appendix is included where we give the proof that thin shell implies CLT. The paper is accessible to anyone.


title: Some Black-box Reductions for Objective-robust Discrete Optimization Problems Based on their LP-Relaxations

abstract: We consider robust discrete minimization problems where uncertainty is defined by a convex set in the objective. We show how an integrality gap verifier for the linear programming relaxation of the non-robust version of the problem can be used to derive approximation algorithms for the robust version.


title: The symplectic isotopy problem for rational cuspidal curves

abstract: We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from 4-dimensional topology.


title: Dynamical cosmologies in Eddington-inspired-Born-Infeld theory

abstract: In this paper we study the cosmological evolution of the universe filled with a perfect fluid in the Eddington-inspired Born-Infeld gravity. Applying an alternative method in which the evolution of the scale factor for this theory is linked to the cosmographic parameters, we obtain a dynamical dark energy solution where the singularity (through a regular bounce or a loitering phase) still can be avoided for $\kappa>0$ with $w>0$. For the range $-1<w<0$, the results lead us to universes that experience an unlimited rate of expansion with finite density. Also, we obtain a possible maximum value of $H=4.338\times10^{-43}/t_{\text{Planck}}$ at the cosmic bounce point.


title: Planar graphs without 7-cycles and butterflies are DP-4-colorable

abstract: DP-coloring (also known as correspondence coloring) is a generalization of list coloring, introduced by Dvo\v{r}\'ak and Postle in 2017. It is well-known that there are non-4-choosable planar graphs. Much attention has recently been put on sufficient conditions for planar graphs to be DP-$4$-colorable. In particular, for each $k \in \{3, 4, 5, 6\}$, every planar graph without $k$-cycles is DP-$4$-colorable. In this paper, we prove that every planar graph without $7$-cycles and butterflies is DP-$4$-colorable. Our proof can be easily modified to prove other sufficient conditions that forbid clusters formed by many triangles.