title: Latency and Liquidity Risk

abstract: Latency (i.e., time delay) in electronic markets affects the efficacy of liquidity taking strategies. During the time liquidity takers process information and send marketable limit orders (MLOs) to the exchange, the limit order book (LOB) might undergo updates, so there is no guarantee that MLOs are filled. We develop a latency-optimal trading strategy that improves the marksmanship of liquidity takers. The interaction between the LOB and MLOs is modelled as a marked point process. Each MLO specifies a price limit so the order can receive worse prices and quantities than those the liquidity taker targets if the updates in the LOB are against the interest of the trader. In our model, the liquidity taker balances the tradeoff between missing trades and the costs of walking the book. We employ techniques of variational analysis to obtain the optimal price limit of each MLO the agent sends. The price limit of a MLO is characterized as the solution to a new class of forward-backward stochastic differential equations (FBSDEs) driven by random measures. We prove the existence and uniqueness of the solution to the FBSDE and numerically solve it to illustrate the performance of the latency-optimal strategies.


title: An Insect-scale Untethered Laser-powered Jumping Microrobot

abstract: We present the design of an insect-sized jumping microrobot measuring 17mm$\times$6mm$\times$14mm and weighing 75 milligrams. The microrobot consumes 6.4mW of power to jump up by 8mm in height. The tethered version of the robot can jump 6 times per minute each time landing perfectly on its feet. The untethered version of the robot is powered using onboard photovoltaic cells illuminated by an external infrared laser source. It is, to the best of our knowledge, the lightest untethered jumping microrobot with onboard power source that has been reported yet.


title: An Insect-scale Self-sufficient Rolling Microrobot

abstract: We design an insect-sized rolling microrobot driven by continuously rotating wheels. It measures 18mm$\times$8mm$\times$8mm. There are 2 versions of the robot - a 96mg laser-powered one and a 130mg supercapacitor powered one. The robot can move at 27mm/s (1.5 body lengths per second) with wheels rotating at 300$^\circ$/s, while consuming an average power of 2.5mW. Neither version has any electrical wires coming out of it, with the supercapacitor powered robot also being self-sufficient and is able to roll freely for 8 seconds after a single charge. Low-voltage electromagnetic actuators (1V-3V) along with a novel double-ratcheting mechanism enable the operation of this device. It is, to the best of our knowledge, the lightest and fastest self-sufficient rolling microrobot reported yet.


title: Monitor-Based Runtime Assurance for Temporal Logic Specifications

abstract: This paper introduces the safety controller architecture as a runtime assurance mechanism for system specifications expressed as safety properties in Linear Temporal Logic (LTL). The safety controller has three fundamental components: a performance controller, a backup controller, and an assurance mechanism. The assurance mechanism uses a monitor, constructed as a finite state machine (FSM), to analyze a suggested performance control input and search for system trajectories that are bad prefixes of the system specification. A fault flag from the assurance mechanism denotes a potentially dangerous future system state and triggers a sequence of inputs that is guaranteed to keep the system safe for all time. A case study is presented which details the construction and implementation of a safety controller on a non-deterministic cyber-physical system.


title: Descriptors for Electrolyte-Renormalized Oxidative Stability of Solvents in Lithium-ion Batteries

abstract: Electrolyte stability against oxidation is one of the important factors limiting the development of high energy density batteries. HOMO level of solvent molecules has been successfully used for understanding trends in their oxidative stability but assumes a non-interacting environment. However, solvent HOMO levels are renormalized due to molecules in their solvation shells. In this work, we first demonstrate an inexpensive and accurate method to determine the HOMO level of solvent followed by simple descriptors for renormalization of HOMO level due to different electrolyte components. The descriptors are based on Gutmann Donor and Acceptor numbers of solvent and other components. The method uses fast GGA-level DFT calculations compared to previously used expensive, experimental data dependent methods. This method can be used to screen for unexplored stable solvents among the large number of known organic compounds to design novel high voltage stable electrolytes.


title: Observing Dirac neutrinos in the cosmic microwave background

abstract: Planned CMB Stage IV experiments have the potential to measure the effective number of relativistic degrees of freedom in the early Universe, $N_\text{eff}$, with percent-level accuracy. This probes new thermalized light particles and also constrains possible new-physics interactions of Dirac neutrinos. Many Dirac-neutrino models that aim to address the Dirac stability, the smallness of neutrino masses or the matter--anti-matter asymmetry of our Universe endow the right-handed chirality partners $\nu_R$ with additional interactions that can thermalize them. Unless the reheating temperature of our Universe was low, this leads to testable deviations in $N_\text{eff}$. We discuss well-motivated models for $\nu_R$ interactions such as gauged $U(1)_{B-L}$ and the neutrinophilic two-Higgs-doublet model, and compare the sensitivity of SPT-3G, Simons Observatory, and CMB-S4 to other experiments, in particular the LHC.


title: Ordinal Tax To Sustain a Digital Economy

abstract: Recently, the French Senate approved a law that imposes a 3% tax on revenue generated from digital services by companies above a certain size. While there is a lot of political debate about economic consequences of this action, it is actually interesting to reverse the question: We consider the long-term implications of an economy with no such digital tax. More generally, we can think of digital services as a special case of products with low or zero cost of transportation. With basic economic models we show that a market with no transportation costs is prone to monopolization as minuscule, random differences in quality are rewarded disproportionally. We then propose a distance-based tax to counter-balance the tendencies of random centralisation. Unlike a tax that scales with physical (cardinal) distance, a ranked (ordinal) distance tax leverages the benefits of digitalization while maintaining a stable economy.


title: A 354Mb/s 0.37mm^2 151mW 32-User 256-QAM Near-MAP Soft-Input Soft-Output Massive MU-MIMO Data Detector in 28nm CMOS

abstract: This paper presents a novel data detector ASIC for massive multiuser multiple-input multiple-output (MU-MIMO) wireless systems. The ASIC implements a modified version of the large-MIMO approximate message passing algorithm (LAMA), which achieves near-optimal error-rate performance (i) under realistic channel conditions and (ii) for systems with as many users as base-station (BS) antennas. The hardware architecture supports 32 users transmitting 256-QAM simultaneously and in the same time-frequency resource, and provides soft-input soft-output capabilities for iterative detection and decoding. The fabricated 28nm CMOS ASIC occupies 0.37mm^2 , achieves a throughput of 354Mb/s, consumes 151mW, and improves the SNR by more than 11dB compared to existing data detectors in systems with 32 BS antennas and 32 users for realistic channels. In addition, the ASIC achieves 4x higher throughput per area compared to a recently proposed message-passing detector.


title: Question-Agnostic Attention for Visual Question Answering

abstract: Visual Question Answering (VQA) models employ attention mechanisms to discover image locations that are most relevant for answering a specific question. For this purpose, several multimodal fusion strategies have been proposed, ranging from relatively simple operations (e.g., linear sum) to more complex ones (e.g., Block). The resulting multimodal representations define an intermediate feature space for capturing the interplay between visual and semantic features, that is helpful in selectively focusing on image content. In this paper, we propose a question-agnostic attention mechanism that is complementary to the existing question-dependent attention mechanisms. Our proposed model parses object instances to obtain an `object map' and applies this map on the visual features to generate Question-Agnostic Attention (QAA) features. In contrast to question-dependent attention approaches that are learned end-to-end, the proposed QAA does not involve question-specific training, and can be easily included in almost any existing VQA model as a generic light-weight pre-processing step, thereby adding minimal computation overhead for training. Further, when used in complement with the question-dependent attention, the QAA allows the model to focus on the regions containing objects that might have been overlooked by the learned attention representation. Through extensive evaluation on VQAv1, VQAv2 and TDIUC datasets, we show that incorporating complementary QAA allows state-of-the-art VQA models to perform better, and provides significant boost to simplistic VQA models, enabling them to performance on par with highly sophisticated fusion strategies.


title: Fast longitudinal beam dynamics optimization in x-ray FEL linear accelerators

abstract: A high peak current, flat longitudinal phase space electron beam is desirable for efficient x-ray free electron laser (FEL) radiation in next generation light sources. To attain such a beam requires the extensive design of the linear accelerator (linac) including both linear and nonlinear effects. In this paper, we propose a lumped longitudinal beam dynamics model for fast optimization of the electron beam longitudinal phase space through the accelerator. This model is much faster than available tracking programs and also shows good agreement with the fully three-dimensional element-by-element multi-particle simulations. We applied this model in a parallel multi-objective differential evolution optimization program to an existing LCLS-II superconducting linac design and obtained an optimal solution with significantly higher core peak current than the original design.


title: On Function Spaces with Mixed Norms --- A Survey

abstract: The targets of this article are threefold. The first one is to give a survey on the recent developments of function spaces with mixed norms, including mixed Lebesgue spaces, iterated weak Lebesgue spaces, weak mixed-norm Lebesgue spaces and mixed Morrey spaces as well as anisotropic mixed-norm Hardy spaces. The second one is to provide a detailed proof for a useful inequality about mixed Lebesgue norms and the Hardy--Littlewood maximal operator and also to improve some known results on the maximal function characterizations of anisotropic mixed-norm Hardy spaces and the boundedness of Calder\'on--Zygmund operators from these anisotropic mixed-norm Hardy spaces to themselves or to mixed Lebesgue spaces. The last one is to correct some errors and seal some gaps existing in the known articles.


title: Out of Time Order Correlations in the Quasi-Periodic Aubry-Andr\'e model

abstract: We study out of time ordered correlators (OTOC) in a free fermionic model with a quasi-periodic potential. This model is equivalent to the Aubry-Andr\'e model and features a phase transition from an extended phase to a localized phase at a non-zero value of the strength of the quasi-periodic potential. We investigate five different time-regimes of interest for out of time ordered correlators; early, wavefront, $x=v_Bt$, late time equilibration and infinite time. For the early time regime we observe a power law for all potential strengths. For the time regime preceding the wavefront we confirm a recently proposed universal form and use it to extract the characteristic velocity of the wavefront for the present model. A Gaussian waveform is observed to work well in the time regime surrounding $x=v_Bt$. Our main result is for the late time equilibration regime where we derive a finite time equilibration bound for the OTOC, bounding the correlator's distance from its late time value. The bound impose strict limits on equilibration of the OTOC in the extended regime ans is valid not only for the Aubry-Andr\'e model but for any quadratic model model. Finally, momentum out of time ordered correlators for the Aubry-Andr\'e model are studied where large values of the OTOC are observed at late times at the critical point.


title: Microscopic calculation of inelastic proton scattering off $^{18}$O, $^{10}$Be, $^{12}$Be, and $^{16}$C for study of neutron excitation in neutron-rich nuclei

abstract: The microscopic coupled-channel calculation of inelastic proton scattering is performed for the study of neutron excitations in $2^+_1$ states of $^{18}$O, $^{10}$Be, $^{12}$Be, and $^{16}$C. Proton-nucleus potentials in the coupled-channel calculation are microscopically derived by folding the Melbourne $g$-matrix $NN$ interaction with matter and transition densities of target nuclei obtained by the structure model calculation of antisymmetrized molecular dynamics. The calculated result reasonably reproduces the elastic and inelastic proton scattering cross sections, and supports the dominant contribution of neutron in the $2^+_1$ excitation of $^{12}$Be and $^{16}$C as well as $^{18}$O. Sensitivity of the inelastic scattering cross sections to the neutron transition density is discussed. The exotic feature of the neutron transition density with the amplitude in the outer region in $^{12}$Be and $^{16}$C is focused.


title: Characterization and classification of optimal LCD codes

abstract: Linear complementary dual (LCD) codes are linear codes that intersect with their dual trivially. We give a characterization of LCD codes over $\mathbb{F}_q$ having large minimum weights for $q \in \{2,3\}$. Using the characterization, we determine the largest minimum weights among LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,4), (3,2),(3,3)\}$. Moreover, we give a complete classification of optimal LCD $[n,k]$ codes over $\mathbb{F}_q$ for $(q,k) \in \{(2,3), (2,4), (3,2),(3,3)\}$.


title: PosNeg-Balanced Anchors with Aligned Features for Single-Shot Object Detection

abstract: We introduce a novel single-shot object detector to ease the imbalance of foreground-background class by suppressing the easy negatives while increasing the positives. To achieve this, we propose an Anchor Promotion Module (APM) which predicts the probability of each anchor as positive and adjusts their initial locations and shapes to promote both the quality and quantity of positive anchors. In addition, we design an efficient Feature Alignment Module (FAM) to extract aligned features for fitting the promoted anchors with the help of both the location and shape transformation information from the APM. We assemble the two proposed modules to the backbone of VGG-16 and ResNet-101 network with an encoder-decoder architecture. Extensive experiments on MS COCO well demonstrate our model performs competitively with alternative methods (40.0\% mAP on \textit{test-dev} set) and runs faster (28.6 \textit{fps}).


title: That Was Then, This Is Now: A Security Evaluation of Password Generation, Storage, and Autofill in Thirteen Password Managers

abstract: Password managers have the potential to help users more effectively manage their passwords and address many of the concerns surrounding password-based authentication, however prior research has identified significant vulnerabilities in existing password managers. Since that time, five years has passed, leaving it unclear whether password managers remain vulnerable or whether they are now ready for broad adoption. To answer this question, we evaluate thirteen popular password managers and consider all three stages of the password manager lifecycle--password generation, storage, and autofill. Our evaluation is the first analysis of password generation in password managers, finding several non-random character distributions and identifying instances where generated passwords were vulnerable to online and offline guessing attacks. For password storage and autofill, we replicate past evaluations, demonstrating that while password managers have improved in the half-decade since those prior evaluations, there are still significant issues, particularly with browser-based password managers; these problems include unencrypted metadata, unsafe defaults, and vulnerabilities to clickjacking attacks. Based on our results, we identify password managers to avoid, provide recommendations on how to improve existing password managers, and identify areas of future research.


title: Localizing Backscatters by a Single Robot With Zero Start-up Cost

abstract: Recent years have witnessed the rapid proliferation of low-power backscatter technologies that realize the ubiquitous and long-term connectivity to empower smart cities and smart homes. Localizing such low-power backscatter tags is crucial for IoT-based smart services. However, current backscatter localization systems require prior knowledge of the site, either a map or landmarks with known positions, increasing the deployment cost. To empower universal localization service, this paper presents Rover, an indoor localization system that simultaneously localizes multiple backscatter tags with zero start-up cost using a robot equipped with inertial sensors. Rover runs in a joint optimization framework, fusing WiFi-based positioning measurements with inertial measurements to simultaneously estimate the locations of both the robot and the connected tags. Our design addresses practical issues such as the interference among multiple tags and the real-time processing for solving the SLAM problem. We prototype Rover using off-the-shelf WiFi chips and customized backscatter tags. Our experiments show that Rover achieves localization accuracies of 39.3 cm for the robot and 74.6 cm for the tags.


title: On the Fundamental Limits of MIMO Massive Access Communication

abstract: The multiple access channel (MAC) with many-user is a general model for massive machine type communications. In this paradigm, the number of users may be comparable or even larger than the coding blocklength $n$. In contrast, classical MAC often assumes fixed and small number of the users. In this paper, we consider the massive access channel with multiple antennas system, where the base station (BS) with multiple receiving antennas serves the users in a single cell. The magnitude of users is assumed to grow unbounded with $n$. We investigate the achievable region of MIMO massive access channel, where among the total users, an unknown subset referred to active users may transmit data periodically. The asymptotic active user identification cost is also quantified. With the theoretical analysis, it was shown that given finite number of the receiving antennas, the individual rate for each user can be formulated as the sum rate multiplied by some specific factors, which correspond to the allocation of sum capacity. The successive decoding does not apply due to the interferences from growing unbounded users. Theoretical analysis shows that successive decoding works only when the number of receiving antennas goes to infinity with the increasing codelength.


title: ToyADMOS: A Dataset of Miniature-Machine Operating Sounds for Anomalous Sound Detection

abstract: This paper introduces a new dataset called "ToyADMOS" designed for anomaly detection in machine operating sounds (ADMOS). To the best our knowledge, no large-scale datasets are available for ADMOS, although large-scale datasets have contributed to recent advancements in acoustic signal processing. This is because anomalous sound data are difficult to collect. To build a large-scale dataset for ADMOS, we collected anomalous operating sounds of miniature machines (toys) by deliberately damaging them. The released dataset consists of three sub-datasets for machine-condition inspection, fault diagnosis of machines with geometrically fixed tasks, and fault diagnosis of machines with moving tasks. Each sub-dataset includes over 180 hours of normal machine-operating sounds and over 4,000 samples of anomalous sounds collected with four microphones at a 48-kHz sampling rate. The dataset is freely available for download at https://github.com/YumaKoizumi/ToyADMOS-dataset


title: Magnetic phase transitions of insulating spin-orbit coupled Bose atoms in one-dimensional optical lattices

abstract: We consider the insulating spin-orbit coupled Bose atoms confined within one-dimensional optical lattices and explore their ground-state magnetic phase transitions. Under strong interactions, the charge degrees of atoms are frozen and the system can be described by an anisotropic XXZ Heisenberg chain with Dzyaloshinskii-Moriya interaction and transverse field. We apply the matrix product state method to obtain low-energy states and analyze the lowest energy gaps and the ground-state magnetization and correlations. We find when the transverse field is absent, the ground state is a gapped ferromagnetic phase with long-range correlation in the z direction if the interspin s-wave interacting strength is stronger than that of the intraspin one, otherwise it is a gapless Luttinger liquid (LL) phase with algebraic decaying correlation. When the transverse field is turned on, the gapless LL phase is broken, there emerges a long-range correlated phase with ferromagnetic, antiferromagnetic or spiral order, which depends on the DM interaction strength. We believe our study provides a complete understanding of the interplay between SOC and quantum magnetism of spinor atoms in optical lattices.


title: Efficient Simulation of Fluid Flow and Transport in Heterogeneous Media Using Graphics Processing Units (GPUs)

abstract: Networks of interconnected resistors, springs and beams, or pores are standard models of studying scalar and vector transport processes in heterogeneous materials and media, such as fluid flow in porous media, and conduction, deformations, and electric and dielectric breakdown in heterogeneous solids. The computation time and required memory are two limiting factors that hinder the scalability of the computations to very large sizes. We present a dual approach, based on the use of a combination of the central processing units (CPUs) and graphics processing units (GPUs), to simulation of flow, transport, and similar problems using the network models. A mixed-precision algorithm, together with the conjugate-gradient method is implemented on a single GPU solver. The efficiency of the method is tested with a variety of cases, including pore- and random-resistor network models in which the conductances are long-range correlated, and also contain percolation disorder. Both isotropic and anisotropic networks are considered. To put the method to a stringent test, the long-range correlations are generated by a fractional Brownian motion (FBM), which we generate by a message-passing interface method. For all the cases studied an overall speed-up factor of about one order of magnitude or better is obtained, which increases with the size of the network. Even the critical slow-down in networks near the percolation threshold does not decrease the speed-up significantly. We also obtain approximate but accurate bounds for the permeability anisotropy $K_x/K_y$ for stratified porous media.


title: 3D Wave-Equation-Based Finite-Frequency Tomography for Ultrasound Computed Tomography

abstract: Ultrasound Computed Tomography (USCT) has great potential for 3D quantitative imaging of acoustic breast tissue properties. Typical devices include high-frequency transducers, which makes tomography techniques based on numerical wave propagation simulations computationally challenging, especially in 3D. Therefore, despite the finite-frequency nature of ultrasonic waves, ray-theoretical approaches to transmission tomography are still widely used. This work introduces finite-frequency traveltime tomography to medical ultrasound. In addition to being computationally tractable for 3D imaging at high frequencies, the method has two main advantages: (1) It correctly accounts for the frequency dependence and volumetric sensitivity of traveltime measurements, which are related to off-ray-path scattering and diffraction. (2) It naturally enables out-of-plane imaging and the construction of 3D images from 2D slice-by-slice acquisition systems. Our method rests on the availability of calibration data in water, used to linearize the forward problem and to provide analytical expressions of cross-correlation traveltime sensitivity. As a consequence of the finite frequency content, sensitivity is distributed in multiple Fresnel volumes, thereby providing out-of-plane sensitivity. To improve computational efficiency, we develop a memory-efficient implementation by encoding the Jacobian operator with a 1D parameterization, which allows us to extend the method to large-scale domains. We validate our tomographic approach using lab measurements collected with a 2D setup of transducers and using a cylindrically symmetric phantom. We then demonstrate its applicability for 3D reconstructions by simulating a slice-by-slice acquisition systems using the same dataset.


title: Disordered Quantum Transport in Quantum Anomalous Hall Insulator-Superconductor Junctions

abstract: In this communication, we numerically studied disordered quantum transport in a quantum anomalous Hall insulator-superconductor junction based on the effective edge model approach. In particular, we focus on the parameter regime with the free mean path due to elastic scattering much smaller than the sample size and discuss disordered transport behaviors in the presence of different numbers of chiral edge modes, as well as non-chiral metallic modes. Our numerical results demonstrate that the presence of multiple chiral edge modes or non-chiral metallic modes will lead to a strong Andreev conversion, giving rise to half-electron half-hole transmission through the junction structure, in sharp contrast to the suppression of Andreev conversion in the single chiral edge mode case. Our results suggest the importance of additional transport modes in the quantum anomalous Hall insulator-superconductor junction and will guide the future transport measurements.


title: High-dimensional central limit theorems for eigenvalue distributions of generalized Wishart processes

abstract: We consider eigenvalues of generalized Wishart processes as well as particle systems, of which the empirical measures converge to deterministic measures as the dimension goes to infinity. In this paper, we obtain central limit theorems to characterize the fluctuations of the empirical measures around the limit measures by using stochastic calculus. As applications, central limit theorems for the Dyson's Brownian motion and the eigenvalues of the Wishart process are recovered under slightly more general initial conditions, and a central limit theorem for the eigenvalues of a symmetric Ornstein-Uhlenbeck matrix process is obtained.


title: An Independence Test Based on Recurrence Rates

abstract: A new test of independence between random elements is presented in this article. The test is based on a functional of the Cram\'{e}r-von Mises type, which is applied to a $U$-process that is defined from the recurrence rates. Theorems of asymptotic distribution under $H_{0},$ and consistency under a wide class of alternatives are obtained. The results under contiguous alternatives are also shown. The test has a very good behaviour under several alternatives, which shows that in many cases there is clearly larger power when compared to other tests that are widely used in literature. In addition, the new test could be used for discrete or continuous time series.


title: Cross-Modal Fusion Between Data in SAXS and Cryo-EM for Biomolecular Structure Determination

abstract: Cryo-Electron Microscopy (cryo-EM) has become an extremely powerful method for resolving structural details of large biomolecular complexes. However, challenging problems in single-particle methods remain open because of (1) the low signal-to-noise ratio in EM; and (2) the potential anisotropy and lack of coverage of projection directions relative to the body-fixed coordinate system for some complexes. Whereas (1) is usually addressed by class averaging (and increasingly due to rapid advances in microscope and sensor technology), (2) is an artifact of the mechanics of interaction of biomolecular complexes and the vitrification process. In the absence of tilt series, (2) remains a problem, which is addressed here by supplementing EM data with Small-Angle X-Ray Scattering (SAXS). Whereas SAXS is of relatively low resolution and contains much lower information content than EM, we show that it is nevertheless possible to use SAXS to fill in blind spots in EM in difficult cases where the range of projection directions is limited.


title: Domains without dense Steklov nodal sets

abstract: This article concerns the asymptotic geometric character of the nodal set of the eigenfunctions of the Steklov eigenvalue problem $$ -\Delta \phi_{\sigma_j}=0,\quad\text{ on }\Omega,\qquad\qquad \partial_\nu \phi_{\sigma_j}=\sigma_j \phi_{\sigma_j}\quad \text{ on }\partial\Omega $$ in two-dimensional domains $\Omega$. In particular, this paper presents a dense family $\mathcal{A}$ of simply-connected two-dimensional domains with analytic boundaries such that, for each $\Omega\in \mathcal{A}$, the nodal set of the eigenfunction $\phi_{\sigma_j}$ "is $not$ dense at scale $\sigma_j^{-1}$". This result addresses a question put forth under "Open Problem 10" in Girouard and Polterovich, J. Spectr. Theory, 321-359 (2017). In fact, the results in the present paper establish that, for domains $\Omega\in \mathcal{A}$, the nodal sets of the eigenfunctions $\phi_{\sigma_j}$ associated with the eigenvalue $\sigma_j$ have starkly different character than anticipated: they are not dense at any shrinking scale. More precisely, for each $\Omega\in \mathcal{A}$ there is a value $r_1>0$ such that for each $j$ there is $x_j\in \Omega$ such that $\phi_{\sigma_j}$ does not vanish on the ball of radius $r_1$ around $x_j$.


title: Fourier-Mukai partners of abelian varieties

abstract: We will discuss the Fourier-Mukai partners of a given abelian variety. The first part of the note is to give some basic theory of Fourier-Mukai partners and semi-homogenous vector bundles, then we will discuss the case when the kernel of an equivalence is given by a semi-homogenous vector bundle. In particular, given an abelian variety B, and a simple semi-homogenous vector bundle E on B, we will discuss for which E, it can be the image of the structure sheaf of the unit on A under some triangulated equivalence, where A is some abelian variety.


title: Automatic Calibration of Dynamic and Heterogeneous Parameters in Agent-based Model

abstract: While simulations have been utilized in diverse domains, such as urban growth modeling, market dynamics modeling, etc; some of these applications may require validations based upon some real-world observations modeled in the simulation, as well. This validation has been categorized into either qualitative face-validation or quantitative empirical validation, but as the importance and the accumulation of data grows, the importance of the quantitative validation has been highlighted in the recent studies, i.e. digital twin. The key component of quantitative validation is finding a calibrated set of parameters to regenerate the real-world observations with simulation models. While this parameter calibration has been fixed throughout a simulation execution, this paper expands the static parameter calibration in two dimensions: dynamic calibration and heterogeneous calibration. First, dynamic calibration changes the parameter values over the simulation period by reflecting the simulation output trend. Second, heterogeneous calibration changes the parameter values per simulated entity clusters by considering the similarities of entity states. We experimented the suggested calibrations on one hypothetical case and another real-world case. As a hypothetical scenario, we use the Wealth Distribution Model to illustrate how our calibration works. As a real-world scenario, we selected Real Estate Market Model because of three reasons. First, the models have heterogeneous entities as being agent-based models; second, they are economic models with real-world trends over time; and third, they are applicable to the real-world scenarios where we can gather validation data.


title: Measurement of $\mathbf{q_T}$-weighted transverse-spin-dependent azimuthal asymmetries at COMPASS

abstract: COMPASS is a fixed-target experiment in operation at the CERN North Area (SPS, M2 beam-line) since 2002. An important part of the broad physics programme of the experiment is dedicated to the exploration of the transverse spin-structure of the nucleon studying target transverse spin dependent azimuthal asymmetries (TSAs) arising in the Semi-Inclusive DIS (SIDIS) and Drell-Yan (DY) cross-sections. In addition to those measurements, COMPASS has recently studied also the TSAs weighted by powers of the hadron transverse momentum (in SIDIS) and virtual photon transverse momentum, $q_T$ (in DY). In the transverse momentum dependent (TMD) QCD approach, the conventional DY TSAs are interpreted as convolutions of the beam pion and of the transversely polarized target proton TMD parton distribution functions (PDFs), while the $q_T$-weighted TSAs can be interpreted as simple products of transverse moments of the TMD PDFs. In 2015 and 2018 COMPASS performed two years of Drell-Yan data taking with a 190 GeV/$c$ $\pi^-$ beam impinging on a transversely polarized NH$_3$ target. The analysis of the $q_T$-weighted TSAs performed on these two data sets is presented in this paper. The results for DY Sivers $q_T$ weighted TSA are compared with the expectations based on the studies of the weighted Sivers asymmetry measured in the SIDIS process. Combining the information from SIDIS and DY measurements, the pion Boer-Mulders TMD PDF is also studied.


title: The nascent wind of AGB star R Doradus: evidence for a recent episode of enhanced mass loss

abstract: We analyse ALMA observations of the SO($J_K=6_5-5_4$) emission of the circumstellar envelope of oxygen-rich AGB star R Dor, probing distances between 20 and 100 au from the star where the nascent wind is building up. We give evidence for the slow wind to host, in addition to a previously observed rotating disc, a radial outflow covering very large solid angles and displaying strong inhomogeneity both in direction and radially: the former takes the form of multiple cores and the latter displays a radial dependence suggesting an episode of enhanced mass loss having occurred a century or so ago.


title: Optical and photoelectrical studies on anisotropic metal-insulator transition of RuAs

abstract: The anisotropic changes in the electronic structure of a metal-to-insulator transition (MIT) material, RuAs, with two-step phase transition are reported by using polarized optical conductivity [$\sigma(\omega)$] spectra, angle-integrated photoelectron (PE) spectra, and band calculations based on local density approximation (LDA). Both the PE and $\sigma(\omega)$ spectra not only in the high-temperature (HT) phase but also in the low-temperature (LT) phase as well as the energy gap formation owing to the MIT were almost consistent with those derived from the LDA band calculations, so the fundamental electronic structure in the HT and LT phases can be explained without electron correlations. However, the electronic structure in the middle phase between the HT and LT phases has not been clarified. The polarized $\sigma(\omega)$ spectra revealed not only the anisotropic energy gap formation but also the anisotropic gap-opening temperature, i.e., the energy gap along the $c$ axis in the HT phase starts to open near the higher transition temperature, but that along the $b$ axis opens below the lower transition temperature. The finding suggests that the two-step MIT originates from the anisotropic energy gap formation.


title: Using Semantic Role Knowledge for Relevance Ranking of Key Phrases in Documents: An Unsupervised Approach

abstract: In this paper, we investigate the integration of sentence position and semantic role of words in a PageRank system to build a key phrase ranking method. We present the evaluation results of our approach on three scientific articles. We show that semantic role information, when integrated with a PageRank system, can become a new lexical feature. Our approach had an overall improvement on all the data sets over the state-of-art baseline approaches.


title: Deep Density-aware Count Regressor

abstract: We seek to improve crowd counting as we perceive limits of currently prevalent density map estimation approach on both prediction accuracy and time efficiency. We leverage multilevel pixelation of density map as it helps improve SNR of training data and therefore, reduce prediction error. To achieve a better model, we introduce multilayer gradient fusion for training a density-aware global count regressor. More specifically, on training stage, a backbone network receives gradients from multiple branches to learn the density information, whereas those branches are to be detached to accelerate inference. By taking advantages of such method, our model improves benchmark results on public datasets and exhibits itself to be a new solution to crowd counting problems in practice.


title: Invariant systems of representatives, or The cost of symmetry

abstract: Suppose that one can destroy all 100-gons in a graph by removing 2019 edges. How many edges must be removed to destroy all 100-gons in such a way that the set of removed edges is invariant with respect to all automorphisms the initial graph? This paper contains solutions to such kind of problems. Several open questions are raised.


title: Multi-modal Synthesis of Regular Expressions

abstract: In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using multiple modalities is useful in this context because natural language alone is often highly ambiguous, whereas examples in isolation are often not sufficient for conveying user intent. Our proposed technique first parses the English description into a so-called hierarchical sketch that guides our programming-by-example (PBE) engine. Since the hierarchical sketch captures crucial hints, the PBE engine can leverage this information to both prioritize the search as well as make useful deductions for pruning the search space. We have implemented the proposed technique in a tool called Regel and evaluate it on over three hundred regexes. Our evaluation shows that Regel achieves 80% accuracy whereas the NLP-only and PBE-only baselines achieve 43% and 26% respectively. We also compare our proposed PBE engine against an adaptation of AlphaRegex, a state-of-the-art regex synthesis tool, and show that our proposed PBE engine is an order of magnitude faster, even if we adapt the search algorithm of AlphaRegex to leverage the sketch. Finally, we conduct a user study involving 20 participants and show that users are twice as likely to successfully come up with the desired regex using Regel compared to without it.


title: The general Nature of Saturated Designs

abstract: We contemplate an experimental situation in a $2^k$-factorial experiment with acute resource crunch so that we need to conduct just a saturated design [SD] - with the understanding that precision of the estimates cannot be estimated from the data. It is known beforehand which effect(s)/interaction(s) are likely to be negligible. We examine the flexibility to the extent that an experimenter can make a choice of an SD in order to retain information on all the remaining [non-negligible] effects/interactions.


title: Bayesian inference of network structure from information cascades

abstract: Contagion processes are strongly linked to the network structures on which they propagate, and learning these structures is essential for understanding and intervention on complex network processes such as epidemics and (mis)information propagation. However, using contagion data to infer network structure is a challenging inverse problem. In particular, it is imperative to have appropriate measures of uncertainty in network structure estimates, however these are largely ignored in most machine-learning approaches. We present a probabilistic framework that uses samples from the distribution of networks that are compatible with the dynamics observed to produce network and uncertainty estimates. We demonstrate the method using the well known independent cascade model to sample from the distribution of networks P(G) conditioned on the observation of a set of infections C. We evaluate the accuracy of the method by using the marginal probabilities of each edge in the distribution, and show the bene ts of quantifying uncertainty to improve estimates and understanding, particularly with small amounts of data.


title: Real-time observation of single atoms trapped and interfaced to a nanofiber cavity

abstract: We demonstrate an optical tweezer based single atom trapping on an optical nanofiber cavity. We show that the fluorescence of single atoms trapped on the nanofiber cavity can be readily observed in real-time through the fiber guided modes. The photon correlation measurements further clarify the atom number and the dynamics of the trap. The trap lifetime is measured to be 52$\pm$5 ms. From the photon statistics measured for different cavity decay rates, the effective coupling rate of the atom-cavity interface is estimated to be 34$\pm$2 MHz. This yields a cooperativity of 5.4$\pm$0.6 and a cavity enhanced channeling efficiency of 85$\pm$2% for a cavity mode having a linewidth of 164 MHz. These results may open new possibilities for building trapped single atom based quantum interfaces on an all-fiber platform.


title: Applying the matched-filter technique to the search for dark matter transients with networks of quantum sensors

abstract: There are several networks of precision quantum sensors in existence, including networks of atomic clocks, magnetometers, and gravitational wave detectors. These networks can be re-purposed for searches of exotic physics, such as direct dark matter searches. Here we explore a detection strategy for macroscopic dark matter objects with such networks using the matched-filter technique. Such "clumpy" dark matter objects would register as transients sweeping through the network at galactic velocities. As a specific example, we consider a network of atomic clocks aboard the Global Positioning System (GPS) satellites. We apply the matched-filter technique to simulated GPS atomic clock data and study its utility and performance. The analysis and the developed methodology have a wide applicability to other networks of quantum sensors.


title: Faltings Serre method on three dimensional selfdual representations

abstract: We prove that a selfdual $GL_3$-Galois representation constructed by van Geemen and Top is isomorphic to a quadratic twist of the symmetric square of the Tate module of an elliptic curve. This is an application of our refinement of the Faltings-Serre method to $3$-dimensional Galois representations with the ground field not equal to $\mathbb{Q}$. The proof makes use of the Faltings-Serre method, $\ell$-adic Lie algebra, and Burnside groups.


title: Structure of odd-odd Cs isotopes within the interacting boson-fermion-fermion model based on the Gogny-D1M energy density functional

abstract: The spectroscopic properties of the odd-odd isotopes $^{124-132}$Cs have been studied within the interacting boson-fermion-fermion model based on the Gogny-D1M energy density functional framework. Major ingredients to build the interacting boson-fermion-fermion Hamiltonian, such as the ($\beta,\gamma$)-deformation energy surfaces for the even-even core nuclei $^{124-132}$Xe as well as single-particle energies and occupation probabilities of the odd nucleons, have been computed microscopically with the constrained Hartree-Fock-Bogoliubov method. A few coupling constants of the boson-fermion and residual neutron-proton interactions are fitted to reproduce with a reasonable accuracy the experimental excitation energy of the low-lying levels of the odd-mass and odd-odd nuclei. The method is applied to describe the low-energy low-spin spectra of the odd-odd Cs nuclei and the band structures of higher-spin higher-energy states, mainly based on the $(\nu h_{11/2})^{-1}\otimes\pi h_{11/2}$ configuration. Many of those odd-odd Cs nuclei have been identified as candidates for exhibiting chiral doublet bands.


title: Convex hull algorithms based on some variational models

abstract: Seeking the convex hull of an object is a very fundamental problem arising from various tasks. In this work, we propose two variational convex hull models using level set representation for 2-dimensional data. The first one is an exact model, which can get the convex hull of one or multiple objects. In this model, the convex hull is characterized by the zero sublevel-set of a convex level set function, which is non-positive at every given point. By minimizing the area of the zero sublevel-set, we can find the desired convex hull. The second one is intended to get convex hull of objects with outliers. Instead of requiring all the given points are included, this model penalizes the distance from each given point to the zero sublevel-set. Literature methods are not able to handle outliers. For the solution of these models, we develop efficient numerical schemes using alternating direction method of multipliers. Numerical examples are given to demonstrate the advantages of the proposed methods.


title: Resolving Hubble Tension with Quintom Dark Energy Model

abstract: Recent low-redshift observations give value of the present-time Hubble parameter $H_{0}\simeq 74~\rm{km s}^{-1}\rm{Mpc}^{-1}$, roughly 10\% higher than the predicted value $H_{0}=67.4~\rm{km s}^{-1}\rm{Mpc}^{-1}$ from Planck's observations of the Cosmic Microwave Background radiation~(CMB) and the $\Lambda$CDM model. Phenomenologically, we show that by adding an extra component X with negative density in the Friedmann equation, it can relieve the Hubble tension without changing the Planck's constraint on the matter and dark energy densities. For the extra negative density to be sufficiently small, its equation-of-state parameter must satisfy $1/3\leq w_{X}\leq1$. We propose a quintom model of two scalar fields that realizes this condition and potentially alleviate the Hubble tension. One scalar field acts as a quintessence while another "phantom" scalar conformally couples to matter in such a way that viable cosmological scenario can be achieved. The model depends only on two parameters, $\lambda_{\phi}$ and $\delta$ which represent rolling tendency of the self-interacting potential of the quintessence and the strength of conformal phantom-matter coupling respectively. The toy quintom model with $H_{0}=73.4~\rm{km s}^{-1}\rm{Mpc}^{-1}$~(Quintom I) gives good Supernovae-Ia luminosity fits, decent $r_{\rm BAO}$ fit, but slightly small acoustic multipole $\ell_{A}=285.54$. Full parameter scan reveals that quintom model provide better model than the $\Lambda$CDM model in certain region of the parameter space, $0.02<\delta<0.10, \Omega_{m}^{(0)}<0.31$, while significantly relieving Hubble tension even though not completely resolving it. A benchmark quintom model, Quintom II, is presented as an example.


title: Geometric phases for finite-dimensional systems -- the roles of Bargmann Invariants, Null Phase Curves and the Schwinger Majorana SU(2) framework

abstract: We present a study of the properties of Bargmann Invariants (BI) and Null Phase Curves (NPC) in the theory of the geometric phase for finite dimensional systems. A recent suggestion to exploit the Majorana theorem on symmetric SU(2) multispinors is combined with the Schwinger oscillator operator construction to develop efficient operator based methods to handle these problems. The BI is described using intrinsic unitary invariant angle parameters, whose algebraic properties as functions of Hilbert space dimension are analysed using elegant group theoretic methods. The BI-geometric phase connection, extended by the use of NPC's, is explored in detail, and interesting new experiments in this subject are pointed out.


title: Galerkin approximation of linear problems in Banach and Hilbert spaces

abstract: In this paper we study the conforming Galerkin approximation of the problem: find u $\in$ U such that a(u, v) = <L, v> for all v $\in$ V, where U and V are Hilbert or Banach spaces, a is a continuous bilinear or sesquilinear form and L $\in$ V' a given data. The approximate solution is sought in a finite dimensional subspace of U, and test functions are taken in a finite dimensional subspace of V. We provide a necessary and sufficient condition on the form a for convergence of the Galerkin approximation, which is also equivalent to convergence of the Galerkin approximation for the adjoint problem. We also characterize the fact that U has a finite dimensional Schauder decomposition in terms of properties related to the Galerkin approximation. In the case of Hilbert spaces, we prove that the only bilinear or sesquilinear forms for which any Galerkin approximation converges (this property is called the universal Galerkin property) are the essentially coercive forms. In this case, a generalization of the Aubin-Nitsche Theorem leads to optimal a priori estimates in terms of regularity properties of the right-hand side L, as shown by several applications. Finally, a section entitled "Supplement" provides some consequences of our results for the approximation of saddle point problems.


title: A localized version of the basic triangle theorem

abstract: In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance.


title: The regularity problem for uniformly elliptic operators in weighted spaces

abstract: This paper studies the regularity problem for block uniformly elliptic operators in divergence form with complex bounded measurable coefficients. We consider the case where the boundary data belongs to Lebesgue spaces with weights in the Muckenhoupt classes. Our results generalize those of S. Mayboroda (and those of P. Auscher and S. Stahlhut employing the first order method) who considered the unweighted case. To obtain our main results we use the weighted Hardy space theory associated with elliptic operators recently developed by the last two named authors. One of the novel contributions of this paper is the use of an "inhomogeneous" vertical square function which is shown to be controlled by the gradient of the function to which is applied in weighted Lebesgue spaces.


title: Linear regression in the Bayesian framework

abstract: These notes aim at clarifying different strategies to perform linear regression from given dataset. Methods like the weighted and ordinary least squares, ridge regression or LASSO are proposed in the literature. The present article is my understanding of these methods which are, according to me, better unified in the Bayesian framework. The formulas to address linear regression with these methods are derived. The KIC for model selection is also derived in the end of the document.


title: Deterministic mean field games with control on the acceleration

abstract: In the present work, we study deterministic mean field games (MFGs) with finite time horizon in which the dynamics of a generic agent is controlled by the acceleration. They are described by a system of PDEs coupling a continuity equation for the density of the distribution of states (forward in time) and a Hamilton-Jacobi (HJ) equation for the optimal value of a representative agent (backward in time). The state variable is the pair $(x, v)\in R^N\times R^N$ where x stands for the position and v stands for the velocity. The dynamics is often referred to as the double integrator. In this case, the Hamiltonian of the system is neither strictly convex nor coercive, hence the available results on MFGs cannot be applied. Moreover, we will assume that the Hamiltonian is unbounded w.r.t. the velocity variable v. We prove the existence of a weak solution of the MFG system via a vanishing viscosity method and we characterize the distribution of states as the image of the initial distribution by the flow associated with the optimal control.


title: Short-distance constraints for the HLbL contribution to the muon anomalous magnetic moment

abstract: We derive short-distance constraints for the hadronic light-by-light contribution (HLbL) to the anomalous magnetic moment of the muon in the kinematic region where the three virtual momenta are all large. We include the external soft photon via an external field leading to a well-defined Operator Product Expansion. We establish that the perturbative quark loop gives the leading contribution in a well defined expansion. We compute the first nonzero power correction. It is related to to the magnetic susceptibility of the QCD vacuum. The results can be used as model-independent short-distance constraints for the very many different approaches to the HLbL contribution. Numerically the power correction is found to be small.


title: Requirement for preclinical prioritization of neuroprotective strategies in stroke: Incorporation of preconditioning

abstract: Acute neuroprotection in numerous human clinical trials has been an abject failure. Major systemic-and procedural-based issues have subsequently been identified in both clinical trials and preclinical animal model experimentation. As well, issues related to the neuroprotective moiety itself have contributed to clinical trial failures, including late delivery, mono-targeting, low potency and poor tolerability. Conditioning (pre-or post-) strategies can potentially address these issues and are therefore gaining increasing attention as approaches to protect the brain from cerebral ischemia. In principle, conditioning can address concerns of timing (preconditioning could be pre-emptively applied in high-risk patients, and post-conditioning after patients experience an unannounced brain infarction) and signaling (multi-modal). However, acute neuroprotection and conditioning strategies face a common translational issue: a myriad of possibilities exist, but with no strategy to select optimal candidates. In this review, we argue that what is required is a neuroprotective framework to identify the "best" agent(s), at the earliest investigational stage possible. This may require switching mindsets from identifying how neuroprotection can be achieved to determining how neuroprotection can fail, for the vast majority of candidates. Understanding the basis for failure can in turn guide supplementary treatment, thereby forming an evidence-based rationale for selecting combinations of therapies. An appropriately designed in vitro (neuron culture, brain slices) approach, based on increasing the harshness of the ischemic-like insult, can be useful in identifying the "best" conditioner or acute neuroprotective therapy, as well as how the two modalities can be combined to overcome individual limitations. This would serve as a base from which to launch further investigation into therapies required to protect the neurovascular unit in in vivo animal models of cerebral ischemia. Based on these respective approaches, our laboratories suggest that there is merit in examining synaptic activity-and nutraceutical-based preconditioning / acute neuroprotection.


title: On Entry II.16.12: A continued fraction of Ramanujan

abstract: We study a continued fraction due to Ramanujan, that he recorded as Entry 12 in Chapter 16 of his second notebook. It is presented in Part III of Berndt's volumes on Ramanujan's notebooks. We give two alternate approaches to proving Ramanujan's Entry 12, one using a method of Euler, and another using the theory of orthogonal polynomials. We consider a natural generalization of Entry 12 suggested by the theory of orthogonal polynomials.


title: Novel Opaque Scintillator for Neutrino Detection

abstract: There is rising interest in organic scintillators with low scattering length for future neutrino detectors. Therefore, a new scintillator system was developed based on admixtures of paraffin wax in linear alkyl benzene. The transparency and viscosity of this gel-like material can be tuned by temperature adjustment. Whereas it is a colorless transparent liquid at temperatures around 40C it has a milky wax structure below 20C. The production and properties of such a scintillator as well as its advantages compared to transparent liquids are described.


title: Recognizing Part Attributes with Insufficient Data

abstract: Recognizing attributes of objects and their parts is important to many computer vision applications. Although great progress has been made to apply object-level recognition, recognizing the attributes of parts remains less applicable since the training data for part attributes recognition is usually scarce especially for internet-scale applications. Furthermore, most existing part attribute recognition methods rely on the part annotation which is more expensive to obtain. To solve the data insufficiency problem and get rid of dependence on the part annotation, we introduce a novel Concept Sharing Network (CSN) for part attribute recognition. A great advantage of CSN is its capability of recognizing the part attribute (a combination of part location and appearance pattern) that has insufficient or zero training data, by learning the part location and appearance pattern respectively from the training data that usually mix them in a single label. Extensive experiments on CUB-200-2011 [51], CelebA [35] and a newly proposed human attribute dataset demonstrate the effectiveness of CSN and its advantages over other methods, especially for the attributes with few training samples. Further experiments show that CSN can also perform zero-shot part attribute recognition. The code will be made available at https://github.com/Zhaoxiangyun/Concept-Sharing-Network.


title: A new pharmacological preconditioning-based target: from drosophila to kidney transplantation

abstract: One of the biggest challenges in medicine is to dampen the pathophysiological stress induced by an episode of ischemia. Such stress, due to various pathological or clinical situations, follows a restriction in blood and oxygen supply to tissue, causing a shortage of oxygen and nutrients that are required for cellular metabolism. Ischemia can cause irreversible damage to target tissue leading to a poor physiological recovery outcome for the patient. Contrariwise, preconditioning by brief periods of ischemia has been shown in multiple organs to confer tolerance against subsequent normally lethal ischemia. By definition, preconditioning of organs must be applied preemptively. This limits the applicability of preconditioning in clinical situations, which arise unpredictably, such as myocardial infarction and stroke. There are, however, clinical situations that arise as a result of ischemia-reperfusion injury, which can be anticipated, and are therefore adequate candidates for preconditioning. Organ and more particularly kidney transplantation, the optimal treatment for suitable patients with end stage renal disease (ESRD), is a predictable surgery that permits the use of preconditioning protocols to prepare the organ for subsequent ischemic/reperfusion stress. It therefore seems crucial to develop appropriate preconditioning protocols against ischemia that will occur under transplantation conditions, which up to now mainly referred to mechanical ischemic preconditioning that triggers innate responses. It is not known if preconditioning has to be applied to the donor, the recipient, or both. No drug/target pair has been envisioned and validated in the clinic. Options for identifying new target/drug pairs involve the use of model animals, such as drosophila, in which some physiological pathways, such as the management of oxygen, are highly conserved across evolution. Oxygen is the universal element of life existence on earth. In this review we focus on a very specific pathway of pharmacological preconditioning identified in drosophila that was successfully transferred to mammalian models that has potential application in human health. Very few mechanisms identified in these model animals have been translated to an upper evolutionary level. This review highlights the commonality between oxygen regulation between diverse animals.


title: Cosmological Birefringence and the Geometric Phase of Photons

abstract: Regarding axion electrodynamics in the background flat FRW universe, we show that cosmological birefringence arises from an adiabatic noncyclic geometric phase that appears in the quantum state of photons because of their interaction with the axion field. We also show that the axion electrodynamics is equivalent to standard electrodynamics in time-dependent bi-isotropic magnetoelectric Tellegen media, which serves as an analogue system that can simulate cosmological birefringence.


title: Fitting in or odd one out? Pulls vs residual responses in $b\to s \ell^+\ell^-$

abstract: New results in processes with an underlying quark transition $b\to s \ell^+\ell^-$ have been recently reported by the LHCb and Belle II collaborations. In this note we show how the main implications of a handful of new measurements can be understood with the tools introduced in our recent paper, arXiv:1811.10793, without the need to redo the global fits. We find that the main impact of the new results, due to $R_K^{[1.1,6]}$ from LHCb, is a decrease in $C_{10\mu}^{NP}$ with a reduced uncertainty. We validate this conclusion by presenting the result of a new global fit.


title: Hyper Vision Net: Kidney Tumor Segmentation Using Coordinate Convolutional Layer and Attention Unit

abstract: KiTs19 challenge paves the way to haste the improvement of solid kidney tumor semantic segmentation methodologies. Accurate segmentation of kidney tumor in computer tomography (CT) images is a challenging task due to the non-uniform motion, similar appearance and various shape. Inspired by this fact, in this manuscript, we present a novel kidney tumor segmentation method using deep learning network termed as Hyper vision Net model. All the existing U-net models are using a modified version of U-net to segment the kidney tumor region. In the proposed architecture, we introduced supervision layers in the decoder part, and it refines even minimal regions in the output. A dataset consists of real arterial phase abdominal CT scans of 300 patients, including 45964 images has been provided from KiTs19 for training and validation of the proposed model. Compared with the state-of-the-art segmentation methods, the results demonstrate the superiority of our approach on training dice value score of 0.9552 and 0.9633 in tumor region and kidney region, respectively.


title: Virtual intersection theories

abstract: We construct virtual fundamental classes in all intersection theories including Chow theory, K-theory and algebraic cobordism for quasi-projective Deligne-Mumford stacks with perfect obstruction theories and prove the virtual pullback formula, the virtual torus localization formula and cosection localization principle.


title: Shorter Labeling Schemes for Planar Graphs

abstract: An \emph{adjacency labeling scheme} for a given class of graphs is an algorithm that for every graph $G$ from the class, assigns bit strings (labels) to vertices of $G$ so that for any two vertices $u,v$, whether $u$ and $v$ are adjacent can be determined by a fixed procedure that examines only their labels. It is known that planar graphs with $n$ vertices admit a labeling scheme with labels of bit length $(2+o(1))\log{n}$. In this work we improve this bound by designing a labeling scheme with labels of bit length $(\frac{4}{3}+o(1))\log{n}$. In graph-theoretical terms, this implies an explicit construction of a graph on $n^{4/3+o(1)}$ vertices that contains all planar graphs on $n$ vertices as induced subgraphs, improving the previous best upper bound of $n^{2+o(1)}$. Our scheme generalizes to graphs of bounded Euler genus with the same label length up to a second-order term. All the labels of the input graph can be computed in polynomial time, while adjacency can be decided from the labels in constant time.


title: A New Framework For Spatial Modeling And Synthesis of Genome Sequence

abstract: This paper provides a framework in order to statistically model sequences from human genome, which is allowing a formulation to synthesize gene sequences. We start by converting the alphabetic sequence of genome to decimal sequence by Huffman coding. Then, this decimal sequence is decomposed by HP filter into two components, trend and cyclic. Next, a statistical modeling, ARIMA-GARCH, is implemented on trend component exhibiting heteroskedasticity, autoregressive integrated moving average (ARIMA) to capture the linear characteristics of the sequence and later, generalized autoregressive conditional heteroskedasticity (GARCH) is then appropriated for the statistical nonlinearity of genome sequence. This modeling approach synthesizes a given genome sequence regarding to its statistical features. Finally, the PDF of a given sequence is estimated using Gaussian mixture model and based on estimated PDF, we determine a new PDF presenting sequences that counteract statistically the original sequence. Our strategy is performed on several genes as well as HIV nucleotide sequence and corresponding results is presented.


title: Fully Convolutional Search Heuristic Learning for Rapid Path Planners

abstract: Path-planning algorithms are an important part of a wide variety of robotic applications, such as mobile robot navigation and robot arm manipulation. However, in large search spaces in which local traps may exist, it remains challenging to reliably find a path while satisfying real-time constraints. Efforts to speed up the path search have led to the development of many practical path-planning algorithms. These algorithms often define a search heuristic to guide the search towards the goal. The heuristics should be carefully designed for each specific problem to ensure reliability in the various situations encountered in the problem. However, it is often difficult for humans to craft such robust heuristics, and the search performance often degrades under conditions that violate the heuristic assumption. Rather than manually designing the heuristics, in this work, we propose a learning approach to acquire these search heuristics. Our method represents the environment containing the obstacles as an image, and this image is fed into fully convolutional neural networks to produce a search heuristic image where every pixel represents a heuristic value (cost-to-go value to a goal) in the form of a vertex of a search graph. Training the heuristic is performed using previously collected planning results. Our preliminary experiments (2D grid world navigation experiments) demonstrate significant reduction in the search costs relative to a hand-designed heuristic.


title: Viscoelastic flows with conservation laws

abstract: We propose in this work the first symmetric hyperbolic system of conservation laws to describe viscoelastic flows of Maxwell fluids, i.e. fluidswith memory that are characterized by one relaxation-time parameter. Precisely, the system of quasilinear PDEs is detailed for the shallow-water regime, i.e. for hydrostatic incompressible 2D flows with free surface under gravity. It generalizes Saint-Venant system to viscoelastic flows of Maxwell fluids, and encompasses previous works with F. Bouchut. It also generalizes the (thin-layer) elastodynamics of hyperelastic materials to viscous fluids, and to various rheologies between solid and liquid states that can be formulated using our new variable as material parameter.The new viscoelastic flow model has many potential applications, additionally to falling into the theoretical framework of (symmetric hyper-bolic) systems of conservation laws. In computational rheology, it offers a new approach to the High-Weissenberg Number Problem (HWNP). Fortransient geophysical flows, it offers perspectives of thermodynamically-compatible numerical simulations, with a Finite-Volume (FV) discretization say. Besides, one FV discretization of the new continuum model is proposed herein to precise our ideas incl. the physical meaning of the solutions. Perspectives are finally listed after some numerical simulations.

categories: math.NA cs.NA math.AP physics.class-ph physics.flu-dyn


title: Disorder-induced exceptional and hybrid rings in Weyl/Dirac semimetals

abstract: Non-Hermiticity in Weyl Hamiltonian leads to the realization of Weyl exceptional rings and flat bands inside the Weyl exceptional rings. Recently, the platform of non-Hermitian physics is extended to many-body or disordered systems where quasiparticles possess finite lifetime. Here, we clarify that the deviation from unitarity limit in a disordered Weyl semimetal leads to the generation of Weyl exceptional rings regardless of the detail of the scattering potential. In the case of topological Dirac semimetals, hybrid rings and flat bands without vorticity of complex-energy eigenvalues are realized. This scenario is applicable to any Weyl or Dirac semimetals. These effects are detectable by using photoemission or quasiparticle interference experiments.


title: Reflection groups and 3d $\mathcal{N}\ge $ 6 SCFTs

abstract: We point out that the moduli spaces of all known 3d $\mathcal{N}=$ 8 and $\mathcal{N}=$ 6 SCFTs, after suitable gaugings of finite symmetry groups, have the form $\mathbb{C}^{4r}/\Gamma$ where $\Gamma$ is a real or complex reflection group depending on whether the theory is $\mathcal{N}=$ 8 or $\mathcal{N}=$ 6, respectively. Real reflection groups are either dihedral groups, Weyl groups, or two sporadic cases $H_{3,4}$. Since the BLG theories and the maximally supersymmetric Yang-Mills theories correspond to dihedral and Weyl groups, it is strongly suggested that there are two yet-to-be-discovered 3d $\mathcal{N}=$ 8 theories for $H_{3,4}$. We also show that all known $\mathcal{N}=$ 6 theories correspond to complex reflection groups collectively known as $G(k,x,N)$. Along the way, we demonstrate that two ABJM theories $(SU(N)_k\times SU(N)_{-k})/\mathbb{Z}_N$ and $(U(N)_k\times U(N)_{-k})/\mathbb{Z}_k$ are actually equivalent.


title: Thompson-like characterization of solubility for products of finite groups

abstract: A remarkable result of Thompson states that a finite group is soluble if and only if its two-generated subgroups are soluble. This result has been generalized in numerous ways, and it is in the core of a wide area of research in the theory of groups, aiming for global properties of groups from local properties of two-generated (or more generally, $n$-generated) subgroups. We contribute an extension of Thompson's theorem from the perspective of factorized groups. More precisely, we study finite groups $G = AB$ with subgroups $A,\ B$ such that $\langle a, b\rangle$ is soluble for all $a \in A$ and $b \in B$. In this case, the group $G$ is said to be an $\cal S$-connected product of the subgroups $A$ and $B$ for the class $\cal S$ of all finite soluble groups. Our main theorem states that $G = AB$ is $\cal S$-connected if and only if $[A,B]$ is soluble. In the course of the proof we derive a result of own interest about independent primes regarding the soluble graph of almost simple groups.


title: Can endogenous fluctuations persist in high-diversity ecosystems?

abstract: When can complex ecological interactions drive an entire ecosystem into a persistent non-equilibrium state, where species abundances keep fluctuating without going to extinction? We show that high-diversity spatially-extended systems, in which conditions vary somewhat between spatial locations, can exhibit chaotic dynamics which persist for extremely long times. We develop a theoretical framework, based on dynamical mean-field theory, to quantify the conditions under which these fluctuating states exist, and predict their properties. We uncover parallels with the persistence of externally-perturbed ecosystems, such as the role of perturbation strength, synchrony and correlation time. But uniquely to endogenous fluctuations, these properties arise from the species dynamics themselves, creating feedback loops between perturbation and response. A key result is that the fluctuation amplitude and species diversity are tightly linked, in particular fluctuations enable dramatically more species to coexist than at equilibrium in the very same system. Our findings highlight crucial differences between well-mixed and spatially-extended systems, with implications for experiments and their ability to reproduce natural dynamics. They shed light on the maintenance of biodiversity, and the strength and synchrony of fluctuations observed in natural systems.


title: First Law of Thermodynamics and Emergence of Cosmic Space in a Non-Flat Universe

abstract: The emergence of cosmic space as cosmic time progresses is an exciting idea advanced by Padmanabhan to explain the accelerated expansion of the universe. The generalization of Padmanabhan's conjecture to the non-flat universe has resulted in scepticism about the choice of volume such that the law of emergence can not be appropriately formulated if one uses proper invariant volume. The deep connection between the first law of thermodynamics and the law of emergence \cite{mahith}, motivate us to explore the status of the first law in a non-flat universe when one uses proper invariant volume. We have shown that the first law of thermodynamics, $dE = TdS +WdV$ cannot be formulated properly for a non-flat universe using proper invariant volume. We have also investigated the status of the first law of the form $-dE = TdS$ in a non-flat universe. We have shown that the energy change dE within the horizon and the outward energy flux are not equivalent to each other in a non-flat universe when we use the proper invariant volume. We have further shown that the consistency between the above two forms of the first law claimed in Ref. \cite{caiakb} will hold only with the use of the areal volume of the horizon. Thus, a consistent formulation of the above two forms of the first law of thermodynamics demands the use of areal volume.


title: Hyperfine constants and line separations for the $^{1}S_{0}-\,^{3}P_{1}$ intercombination line in neutral ytterbium with sub-Doppler resolution

abstract: Optical frequency measurements of the intercombination line $(6s^{2})\,^{1}S_{0} -(6s6p)\,^{3}P_{1}$ in the isotopes of ytterbium are carried out with the use of sub-Doppler fluorescence spectroscopy on an atomic beam. A dispersive signal is generated to which a master laser is locked, while frequency counting of an auxiliary beat signal is performed via a frequency comb referenced to a hydrogen maser. The relative separations between the lines are used to evaluate the $^{3}P_{1}$-level magnetic dipole and electric quadrupole constants for the fermionic isotopes. The center of gravity for the $^3P_1$ levels in $^{171}$Yb and $^{173}$Yb are also evaluated, where we find significant disagreement with previously reported values. These hyperfine constants provide a valuable litmus test for atomic many-body computations in ytterbium.


title: Entanglement Entropy after Double-Excitation as Interaction Measure

abstract: We study entanglement entropy after a double local quench in two-dimensional conformal field theories (CFTs), with any central charge $c>1$. In the holographic CFT, such a state with double-excitation is dual to an AdS space with two massive particles introduced from the boundary. We show that the growth after the double local excitations cannot be given by the sum of two local quenches but with an additional negative term. This negative contribution can be naturally interpreted as due to the attractive force of gravity. In CFT side, this evaluation of the entanglement entropy is accomplished by a special limit of 6-point functions, where we employed the fusion matrix approach for multi-point conformal blocks developed in arXiv:1905.02191.


title: Geometric control theory of vertical rolling disc using symmetries

abstract: We use the methods of geometric control theory to study extremal trajectories of vertical rolling disk. We focus on the role of symmetries of the underlying geometric structures. We demonstrate the computations in the CAS Maple package DifferentialGeometry.


title: Probing Massive Scalar Fields from a Pulsar in a Stellar Triple System

abstract: Pulsar timing observations precisely test general relativity. Recently, the hierarchical triple system PSR J0337+1715 has placed new constraints on the existence of a fifth force from violation in the strong equivalence principle. Many alternative gravity theories exist with massive (pseudo-)scalar fields to explain a variety of phenomena from the accelerating expansion of the universe at large scales to the QCD strong CP problem at small scales. We here develop a generic formalism for the fifth force effect in theories involving massive scalar fields arising from e.g. string theory. With PSR J0337 measurements, we find the strongest bound on the simplest theory with a massive scalar field beyond general relativity and derive new constraints in other theories with axions, dark matter mediators, and higher-curvature corrections. These results show that the triple system J0337 provides a stringent test for massive scalar fields.


title: Asymptotics of Radially Symmetric Solutions for the Exterior Problem of Multidimensional Burgers Equation

abstract: We are concerned with the large-time behavior of the radially symmetric solution for multidimensional Burgers equation on the exterior of a ball $\mathbb{B}_{r_0}(0)\subset \mathbb{R}^n$ for $n\geq 3$ and some positive constant $r_0>0$, where the boundary data $v_-$ and the far field state $v_+$ of the initial data are prescribed and correspond to a stationary wave. It is shown in \cite{Hashimoto-Matsumura-JDE-2019} that a sufficient condition to guarantee the existence of such a stationary wave is $v_+<0, v_-\leq |v_+|+\mu(n-1)/r_0$. Since the stationary wave is no longer monotonic, its nonlinear stability is justified only recently in \cite{Hashimoto-Matsumura-JDE-2019} for the case when $v_\pm<0, v_-\leq v_++\mu(n-1)/r_0$. The main purpose of this paper is to verify the time asymptotically nonlinear stability of such a stationary wave for the whole range of $v_\pm$ satisfying $v_+<0, v_-\leq |v_+|+\mu(n-1)/r_0$. Furthermore, we also derive the temporal convergence rate, both algebraically and exponentially. Our stability analysis is based on a space weighted energy method with a suitable chosen weight function, while for the temporal decay rates, in addition to such a space weighted energy method, we also use the space-time weighted energy method employed in \cite{Kawashima-Matsumura-CMP-1985} and \cite{Yin-Zhao-KRM-2009}.


title: Open-source QCD analysis of nuclear parton distribution functions at NLO and NNLO

abstract: We present new sets of nuclear parton distribution functions (nPDFs) at next-to-leading order (NLO) and next-to-next-to-leading order (NNLO). Our analyses are based on deeply inelastic scattering data with charged-lepton and neutrino beams on nuclear targets. In addition, a set of proton baseline PDFs is fitted within the same framework with the same theoretical assumptions. The results of this global QCD analysis are compared to existing nPDF sets and to the fitted cross sections. Also, the uncertainties resulting from the limited constraining power of the included experimental data are presented. The published work is based on an open-source tool, xFitter, which has been modified to be applicable also for a nuclear PDF analysis. The required extensions of the code are discussed as well.


title: Seven Principles for Effective Scientific Big-DataSystems

abstract: We should be in a golden age of scientific discovery, given that we have more data and more compute power available than ever before, plus a new generation of algorithms that can learn effectively from data. But paradoxically, in many data-driven fields, the eureka moments are becoming increasingly rare. Scientists are struggling to keep pace with the explosion in the volume and complexity of scientific data. We describe here a few simple architectural principles that we believe are essential in order to create effective, robust, and flexible platforms that make the best use of emerging technology to deal with the exponential growth of scientific data.


title: Decision Making with Argumentation Graphs

abstract: This work is about making decisions by digital means. Funds should be distributed by the students of Heinrich-Heine-University. The proposals were made by the students themselves without further influence. For this purpose, dialog-based argumentation is used to give the participants a better understanding of various arguments. In addition, a software service has been developed which allows the students to express their preferences for various proposals. An experiment was carried out at the university, which should prove whether students are satisfied with this type of participation. The results indicate that the procedure is well accepted and thus successful. However, improvements to the process itself were necessary during the experiment and should be considered for future procedures. Further procedures are desired.


title: Observation of anti-PT symmetry phase transition in the magnon-cavity-magnon coupled system

abstract: As the counterpart of PT symmetry, abundant phenomena and potential applications of anti-PT symmetry have been predicted or demonstrated theoretically. However, experimental realization of the coupling required in the anti-PT symmetry is difficult. Here, by coupling two YIG spheres to a microwave cavity, the large cavity dissipation rate makes the magnons coupled dissipatively with each other, thereby obeying a two-dimensional anti-PT Hamiltonian. In terms of the magnon-readout method, a new method adopted here, we demonstrate the validity of our method in constructing an anti-PT system and present the counterintuitive level attraction process. Our work provides a new platform to explore the anti-PT symmetry properties and paves the way to study multi-magnoncavity-polariton systems.


title: Coordinated Hybrid Precoding for Interference Exploitation in Heterogeneous Networks

abstract: We consider a downlink multiuser massive MIMO system comprising multiple heterogeneous base stations with hybrid precoding architectures. To enhance the energy efficiency of the network, we propose a novel coordinated hybrid precoding technique, where the coordination between the base stations is aimed at exploiting interference as opposed to mitigating it as per conventional approaches. We formulate an optimization problem to compute the coordinated hybrid precoders that minimize the total transmit power while fulfilling the required quality of service at each user. Furthermore, we devise a low-complexity suboptimal precoding scheme to compute approximate solutions of the precoding problem. The simulation results reveal that the proposed coordinated hybrid precoding yields superior performance when compared to the conventional hybrid precoding schemes.


title: Deep Learning based Downlink Channel Prediction for FDD Massive MIMO System

abstract: In a frequency division duplexing (FDD) massive multiple-input multiple-output (MIMO) system, the acquisition of downlink channel state information (CSI) at base station (BS) is a very challenging task due to the overwhelming overheads required for downlink training and uplink feedback. In this paper, we reveal a deterministic uplink-to-downlink mapping function when the position-to-channel mapping is bijective. Motivated by the universal approximation theorem, we then propose a sparse complex-valued neural network (SCNet) to approximate the uplink-to-downlink mapping function. Different from general deep networks that operate in the real domain, the SCNet is constructed in the complex domain and is able to learn the complex-valued mapping function by off-line training. After training, the SCNet is used to directly predict the downlink CSI based on the estimated uplink CSI without the need of either downlink training or uplink feedback. Numerical results show that the SCNet achieves better performance than general deep networks in terms of prediction accuracy and exhibits remarkable robustness over complicated wireless channels, demonstrating its great potential for practical deployments.


title: Enhancing Flood Impact Analysis using Interactive Retrieval of Social Media Images

abstract: The analysis of natural disasters such as floods in a timely manner often suffers from limited data due to a coarse distribution of sensors or sensor failures. This limitation could be alleviated by leveraging information contained in images of the event posted on social media platforms, so-called "Volunteered Geographic Information (VGI)". To save the analyst from the need to inspect all images posted online manually, we propose to use content-based image retrieval with the possibility of relevance feedback for retrieving only relevant images of the event to be analyzed. To evaluate this approach, we introduce a new dataset of 3,710 flood images, annotated by domain experts regarding their relevance with respect to three tasks (determining the flooded area, inundation depth, water pollution). We compare several image features and relevance feedback methods on that dataset, mixed with 97,085 distractor images, and are able to improve the precision among the top 100 retrieval results from 55% with the baseline retrieval to 87% after 5 rounds of feedback.


title: Multiple Superconducting Transitions in {\alpha}-Sn Films Grown by Molecular Beam Epitaxy

abstract: Gray tin, also known as {\alpha}-Sn, has been attracting research interest recent years due to its topological nontrivial properties predicted theoretically. The Dirac linear band dispersion has been proved experimentally by angle resolved photoemission spectroscopy. We have grown a series of {\alpha}-Sn thin film samples in two types with different substrates and thicknesses by molecular beam epitaxy. To explore the possible exotic physical properties related to the topological band structures, we have measured the electrical transport properties of our {\alpha}-Sn thin film samples and observed multiple superconducting transitions. We have identified the transitions above 4.5 K, besides the transition maybe related to the \b{eta} phase around 3.7 K. The changes of the superconducting properties over time reflect the aging effects in our samples. We have also confirmed the strain effects on the superconducting transitions through altering the relative thickness of our samples.


title: Trade-offs in Distributed Interactive Proofs

abstract: The study of interactive proofs in the context of distributed network computing is a novel topic, recently introduced by Kol, Oshman, and Saxena [PODC 2018]. In the spirit of sequential interactive proofs theory, we study the power of distributed interactive proofs. This is achieved via a series of results establishing trade-offs between various parameters impacting the power of interactive proofs, including the number of interactions, the certificate size, the communication complexity, and the form of randomness used. Our results also connect distributed interactive proofs with the established field of distributed verification. In general, our results contribute to providing structure to the landscape of distributed interactive proofs.


title: Deep Learning based Wearable Assistive System for Visually Impaired People

abstract: In this paper, we propose a deep learning based assistive system to improve the environment perception experience of visually impaired (VI). The system is composed of a wearable terminal equipped with an RGBD camera and an earphone, a powerful processor mainly for deep learning inferences and a smart phone for touch-based interaction. A data-driven learning approach is proposed to predict safe and reliable walkable instructions using RGBD data and the established semantic map. This map is also used to help VI understand their 3D surrounding objects and layout through well-designed touchscreen interactions. The quantitative and qualitative experimental results show that our learning based obstacle avoidance approach achieves excellent results in both indoor and outdoor datasets with low-lying obstacles. Meanwhile, user studies have also been carried out in various scenarios and showed the improvement of VI's environment perception experience with our system.


title: Enhanced negative nonlocal conductance in an interacting quantum dot connected to two ferromagnetic leads and one superconducting lead

abstract: In this paper, we investigate the electronic transport properties of a quantum dot (QD) connected to two ferromagnetic leads and one superconductor lead in the Kondo regime by means of the finite-$U$ slave boson mean field approach and nonequilibrium Green function technique. In this three-terminal hybrid nano-device, we will focus our attention on the joint effects of the Konod correlation, superconducting proximity pairing, and spin polarization of leads. It is found that: the superconducting proximity effect will suppress the linear local conductance (LLC) stemming from the weakened Kondo peak, and when its coupling $\Gamma_s$ is bigger than the tunnel-coupling $\Gamma$ of two normal leads, the linear cross conductance (LCC) becomes negative in the Kondo region; for antiparallel configuration, increasing spin polarization further suppresses LLC but enhances LCC, i.e. causing larger negative values of LCC, since it is benefit for emergence of cross Andreev reflection; On the contrary, for parallel configuration, with increasing spin polarization, the LLC descends and greatly widens with the appearance of shoulders, and eventually splits into four peaks, and meanwhile the LCC reduces relatively rapidly to the normal conductance.


title: Observations on spatial variations of the Sr~{\sc i} 4607~\AA~scattering polarization signals at different limb distances with ZIMPOL

abstract: The Sr~{\sc i} 4607~\AA\ spectral line shows one of the strongest scattering polarization signals in the visible solar spectrum. The amplitude of this polarization signal is expected to vary at granular spatial scales, due to the combined action of the Hanle effect and the local anisotropy of the radiation field. Observing these variations would be of great interest because it would provide precious information on the small-scale activity of the solar photosphere. At present, few detections of such spatial variations have been reported. This is due to the difficulty of these measurements, which require combining high spatial ($\sim$ 0.1"), spectral ($\leq$ 20 m\AA), and temporal resolution (< 1 min) with increased polarimetric sensitivity ($\sim$ 10$^-$$^4$). Aims. We aim to detect spatial variations at granular scales of the scattering polarization peak of the Sr~{\sc i} 4607~\AA\ line at different limb distances, and to study the correlation with the continuum intensity. Methods.Using the Zurich IMaging POLarimeter (ZIMPOL) system mounted at the GREGOR telescope and spectrograph in Tenerife, Spain, we carried out spectro-polarimetric measurements to obtain the four Stokes parameters in the Sr~{\sc i} line at different limb distances, from $\mu=0.2$ to $\mu=0.8$, on the solar disk. Results.Spatial variations of the scattering polarization signal in the Sr~{\sc i} 4607~\AA\ line, with a spatial resolution of about 0.66", are clearly observed at every $\mu$. The spatial scale of these variations is comparable to the granular size. A statistical analysis reveals that the linear scattering polarization amplitude in this Sr~{\sc i} spectral line is positively correlated with the intensity in the continuum, corresponding to the granules, at every $\mu$.


title: Multivariate Convolutional Sparse Coding with Low Rank Tensor

abstract: This paper introduces a new multivariate convolutional sparse coding based on tensor algebra with a general model enforcing both element-wise sparsity and low-rankness of the activations tensors. By using the CP decomposition, this model achieves a significantly more efficient encoding of the multivariate signal-particularly in the high order/ dimension setting-resulting in better performance. We prove that our model is closely related to the Kruskal tensor regression problem, offering interesting theoretical guarantees to our setting. Furthermore, we provide an efficient optimization algorithm based on alternating optimization to solve this model. Finally, we evaluate our algorithm with a large range of experiments, highlighting its advantages and limitations.


title: Capillary action in scalar active matter

abstract: We study the capacity of active matter to rise in thin tubes against gravity and other related phenomena, like, wetting of vertical plates and spontaneous imbibition, where a wetting liquid is drawn into a porous medium. This capillary action or capillarity is well known in classical fluids and originates from attractive interactions between the liquid molecules and the container walls, and from the attraction of the liquid molecules among each other. We observe capillarity in a minimal model for scalar active matter with purely repulsive interactions, where an effective attraction emerges due to slowdown during collisions between active particles and between active particles and walls. Simulations indicate that the capillary rise in thin tubes is approximately proportional to the active sedimentation length $\lambda$ and that the wetting height of a vertical plate grows superlinear with $\lambda$. In a disordered porous medium the imbibition height scales as $\langle h\rangle\propto\lambda\phi_m$, where $\phi_m$ is its packing fraction.


title: Februus: Input Purification Defense Against Trojan Attacks on Deep Neural Network Systems

abstract: We propose Februus; a new idea to neutralize highly potent and insidious Trojan attacks on Deep Neural Network (DNN) systems at run-time. In Trojan attacks, an adversary activates a backdoor crafted in a deep neural network model using a secret trigger, a Trojan, applied to any input to alter the model's decision to a target prediction---a target determined by and only known to the attacker. Februus sanitizes the incoming input by surgically removing the potential trigger artifacts and restoring the input for the classification task. Februus enables effective Trojan mitigation by sanitizing inputs with no loss of performance for sanitized inputs, Trojaned or benign. Our extensive evaluations on multiple infected models based on four popular datasets across three contrasting vision applications and trigger types demonstrate the high efficacy of Februus. We dramatically reduced attack success rates from 100% to near 0% for all cases (achieving 0% on multiple cases) and evaluated the generalizability of Februus to defend against complex adaptive attacks; notably, we realized the first defense against the advanced partial Trojan attack. To the best of our knowledge, Februus is the first backdoor defense method for operation at run-time capable of sanitizing Trojaned inputs without requiring anomaly detection methods, model retraining or costly labeled data.


title: Abundances of alpha-Process Elements in Thin-Disk, Thick-Disk, and Halo Stars of the Galaxy: Non-LTE Analysis

abstract: The atmospheric parameters and abundances of Mg, Si, Ca, and Ti have been determined for 20 stars using the Gaia DR2 parallaxes, high-resolution spectra, and the non-local thermodynamic equilibrium (non-LTE) line formation modeling. A sample of stars with homogeneous data on the abundances of alpha-process elements has thus been increased to 94. It is shown that applying a non-LTE approach and classical 1D atmospheric models with spectroscopically determined surface gravities based on Fe~I and Fe~II lines yields reliable results. Analysis of the full sample confirms the conclusions of earlier studies indicating enhancements of Mg, Si, Ca, and Ti relative to Fe for halo and thick-disk stars, and larger enhancements for the thick-disk stars compared to the thin-disk stars of similar metallicities. The following new results are obtained. The ratios [Mg/Fe], [Si/Fe], [Ca/Fe], and [Ti/Fe] in the thick disk remain constant and similar to each other at the level 0.3 when [Fe/H] < -0.4, and fall off when the metallicity becomes higher, suggesting the onset of the production of iron in Type Ia supernovae. Halo stars have the same [alpha/Fe] values independent of their distance (within ~ 8 kpc of the Sun), providing evidence for a universal evolution of the abundances of alpha-process elements in different parts of the Galaxy. The enhancements relative to iron for halo stars are, on average, similar, at the level 0.3 dex, for Mg, Si, Ca, and Ti. These data are important for constraining the nucleosynthesis models. The star-to-star scatter of [alpha/Fe] increases for [Fe/H] < -2.6, while the scatter of the ratios between the different alpha-process elements remains small, possibly indicating incomplete mixing of nucleosynthesis products at the epoch of the formation of these stars.