title: Distinct variation of electronic states due to annealing in La$_{1.8}$Eu$_{0.2}$CuO$_4$ and Nd$_{2}$CuO$_4$

abstract: We performed Cu {\it K}-edge X-ray absorption fine structure measurements on T'-type La$_{1.8}$Eu$_{0.2}$CuO$_4$ (LECO) and Nd$_2$CuO$_4$ (NCO) to investigate the variation in the electronic state associated with the emergence of superconductivity due to annealing. The X-ray absorption near-edge structure spectra of as-sintered (AS) LECO are quite similar to those of AS NCO, indicating that the ground state of AS T'-type LECO is a Mott insulator. We found a significant variation of the electronic state at the Cu sites in LECO due to annealing. The electron density after annealing ($n_{\rm AN}$) was evaluated for both superconducting LECO and non-superconducting NCO and found to be 0.40 and 0.05 electrons per Cu, respectively. In LECO but not in NCO, extended X-ray absorption fine structure analysis revealed a softening in the strength of the Cu-O bond in the CuO$_2$ plane due to annealing, which is consistent with the screening effect on phonons in the metallic state. Since the amounts of oxygen loss due to annealing ($\delta$) for LECO and NCO are comparable with each other, these results suggest distinct electron-doping processes in the two compounds. That electron-doping in NCO approximately follows the relation $n_{\rm AN}=2\delta$ can be understood if electrons are doped through oxygen deficiency, but the anneal-induced metallic nature and large $n_{\rm AN}$ of LECO suggest a variation of the electronic band structure causes self-doping of carriers. The origin of the difference in doping processes due to annealing is discussed in connection with the size of the charge transfer gap.


title: Capacities and Optimal Input Distributions for Particle-Intensity Channels

abstract: This work introduces the particle-intensity channel (PIC) as a model for molecular communication systems and characterizes the capacity limits as well as properties of the optimal (capacity-achieving) input distributions for such channels. In the PIC, the transmitter encodes information, in symbols of a given duration, based on the probability of particle release, and the receiver detects and decodes the message based on the number of particles detected during the symbol interval. In this channel, the transmitter may be unable to control precisely the probability of particle release, and the receiver may not detect all the particles that arrive. We model this channel using a generalization of the binomial channel and show that the capacity-achieving input distribution for this channel always has mass points at probabilities of particle release of zero and one. To find the capacity-achieving input distributions, we develop an efficient algorithm we call dynamic assignment Blahut-Arimoto (DAB). For diffusive particle transport, we also derive the conditions under which the input with two mass points is capacity-achieving.


title: Maximizing Information Freshness in Caching Systems with Limited Cache Storage Capacity

abstract: We consider a cache updating system with a source, a cache with limited storage capacity and a user. There are $n$ files. The source keeps the freshest versions of the files which are updated with known rates. The cache gets fresh files from the source, but it can only store the latest downloaded versions of $K$ files where $K\leq n$. The user gets the files either from the cache or from the source. If the user gets the files from the cache, the received files might be outdated depending on the file status at the source. If the user gets the files directly from the source, then the received files are always fresh, but the extra transmission times between the source and the user decreases the freshness at the user. Thus, we study the trade-off between storing the files at the cache and directly obtaining the files from the source at the expense of additional transmission times. We find analytical expressions for the average freshness of the files at the user for both of these scenarios. Then, we find the optimal caching status for each file (i.e., whether to store the file at the cache or not) and the corresponding file update rates at the cache to maximize the overall freshness at the user. We observe that when the total update rate of the cache is high, caching files improves the freshness at the user. However, when the total update rate of the cache is low, the optimal policy for the user is to obtain the frequently changing files and the files that have relatively small transmission times directly from the source.


title: Performance Overhead of Atomic Crosschain Transactions

abstract: Atomic Crosschain Transaction technology allows composable programming across permissioned Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls that are both synchronous and atomic: if one part fails, the whole call graph of function calls is rolled back. This paper analyses the processing overhead of using this technique compared to using multiple standard non-atomic single blockchain transactions. The additional processing is analysed for three scenarios involving multiple blockchains: the Hotel - Train problem, Supply Chain with Provenance, and an Oracle. The technology is shown to reduce the performance of Hyperledger Besu from 375 tps to 39.5 tps if all transactions are instigated on one node, or approaching 65.2 tps if the transactions are instigated on a variety of nodes, for the Hotel-Train scenario.


title: Reduced thermal conductivity in molecular forests

abstract: Heat propagation in quasi-one dimensional materials (Q1DMs) often appears paradoxical. While an isolated Q1DM, such as a nanowire, carbon nanotube, or polymer, can exhibit a high thermal conductivity \k{appa}, forests of the same materials show a reduction in \k{appa}. Here, the complex structures of these assemblies have hindered the emergence of a clear molecular picture of this intriguing phenomenon. We combine multiscale (coarse-grained) simulation with the concepts known from polymer physics and thermal transport to unveil a generic (microscopic) picture of \k{appa} reduction in molecular forests. We show that a delicate balance between the bond orientations, the persistence length of the Q1DM and the flexural vibrations govern the knock-down of \k{appa}.


title: Unsupervised anomaly localization using VAE and beta-VAE

abstract: Variational Auto-Encoders (VAEs) have shown great potential in the unsupervised learning of data distributions. An VAE trained on normal images is expected to only be able to reconstruct normal images, allowing the localization of anomalous pixels in an image via manipulating information within the VAE ELBO loss. The ELBO consists of KL divergence loss (image-wise) and reconstruction loss (pixel-wise). It is natural and straightforward to use the later as the predictor. However, usually local anomaly added to a normal image can deteriorate the whole reconstructed image, causing segmentation using only naive pixel errors not accurate. Energy based projection was proposed to increase the reconstruction accuracy of normal regions/pixels, which achieved the state-of-the-art localization accuracy on simple natural images. Another possible predictors are ELBO and its components gradients with respect to each pixels. Previous work claimed that KL gradient is a robust predictor. In this paper, we argue that the energy based projection in medical imaging is not as useful as on natural images. Moreover, we observe that the robustness of KL gradient predictor totally depends on the setting of the VAE and dataset. We also explored the effect of the weight of KL loss within beta-VAE and predictor ensemble in anomaly localization.


title: Medical Image Generation using Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are unsupervised Deep Learning approach in the computer vision community which has gained significant attention from the last few years in identifying the internal structure of multimodal medical imaging data. The adversarial network simultaneously generates realistic medical images and corresponding annotations, which proven to be useful in many cases such as image augmentation, image registration, medical image generation, image reconstruction, and image-to-image translation. These properties bring the attention of the researcher in the field of medical image analysis and we are witness of rapid adaption in many novel and traditional applications. This chapter provides state-of-the-art progress in GANs-based clinical application in medical image generation, and cross-modality synthesis. The various framework of GANs which gained popularity in the interpretation of medical images, such as Deep Convolutional GAN (DCGAN), Laplacian GAN (LAPGAN), pix2pix, CycleGAN, and unsupervised image-to-image translation model (UNIT), continue to improve their performance by incorporating additional hybrid architecture, has been discussed. Further, some of the recent applications of these frameworks for image reconstruction, and synthesis, and future research directions in the area have been covered.


title: Self-similar solutions to the mean curvature flow in $\mathbb{R}^{3}$

abstract: In this paper we make an analysis of self-similar solutions for the mean curvature flow (MCF) by surfaces of revolution and ruled surfaces in $\mathbb{R}^{3}$. We prove that self-similar solutions of the MCF by non-cylindrival surfaces and conical surfaces in $\mathbb{R}^{3}$ are trivial. Moreover, we characterize the self-similar solutions of the MCF by surfaces of revolutions under a homothetic helicoidal motion in $\mathbb{R}^{3}$ in terms of the curvature of the generating curve. Finally, we characterize the self-similar solutions for the MCF by cylindrical surfaces under a homothetic helicoidal motion in $\mathbb{R}^3$. Explicit families of exact solutions for the MCF by cylindrical surfaces in $\mathbb{R}^{3}$ are also given.


title: Remarks on the analysis of the reaction $e^+e^-\rightarrow\Sigma^0\bar{\Sigma}^0$

abstract: We investigate roads for evaluating model-independent cross-section distributions for the sequential hyperon decay $\Sigma^0\rightarrow\Lambda \gamma;\Lambda\rightarrow p\pi^- $ and its corresponding antihyperon decay. The hyperons are produced in the reaction $e^+e^-\rightarrow J/{\psi}\rightarrow \Sigma^0\bar{\Sigma}^0$. Cross-section distributions are calculated using the folding technique.


title: Beta Poisson-G Family of Distributions: Its Properties and Application with Failure Time Data

abstract: A new generalization of the family of Poisson-G is called beta Poisson-G family of distribution. Useful expansions of the probability density function and the cumulative distribution function of the proposed family are derived and seen as infinite mixtures of the Poisson-G distribution. Moment generating function, power moments, entropy, quantile function, skewness and kurtosis are investigated. Numerical computation of moments, skewness, kurtosis and entropy are tabulated for select parameter values. Furthermore, estimation by methods of maximum likelihood is discussed. A simulation study is carried at under varying sample size to assess the performance of this model. Finally suitability check of the proposed model in comparison to its recently introduced models is carried out by considering two real life data sets modeling.


title: Improving Deep Learning Models via Constraint-Based Domain Knowledge: a Brief Survey

abstract: Deep Learning (DL) models proved themselves to perform extremely well on a wide variety of learning tasks, as they can learn useful patterns from large data sets. However, purely data-driven models might struggle when very difficult functions need to be learned or when there is not enough available training data. Fortunately, in many domains prior information can be retrieved and used to boost the performance of DL models. This paper presents a first survey of the approaches devised to integrate domain knowledge, expressed in the form of constraints, in DL learning models to improve their performance, in particular targeting deep neural networks. We identify five (non-mutually exclusive) categories that encompass the main approaches to inject domain knowledge: 1) acting on the features space, 2) modifications to the hypothesis space, 3) data augmentation, 4) regularization schemes, 5) constrained learning.


title: SSFX (Space Sound Effects) Short Film Festival: Using the film festival model to inspire creative art-science and reach new audiences

abstract: The ultralow frequency analogues of sound waves in Earth's magnetosphere play a crucial role in space weather, however, the public is largely unaware of this risk to our everyday lives and technology. As a way of potentially reaching new audiences, SSFX made 8 years of satellite wave recordings audible to the human ear with the aim of using it to create art. Partnering with film industry professionals, the standard processes of international film festivals were adopted by the project in order to challenge independent filmmakers to incorporate these sounds into short films in creative ways. Seven films covering a wide array of topics/genres (despite coming from the same sounds) were selected for screening at a special film festival out of 22 submissions. The works have subsequently been shown at numerous established film festivals and screenings internationally. These events have attracted diverse non-science audiences resulting in several unanticipated impacts upon them, thereby demonstrating how working with the art world can open up dialogues with both artists and audiences who would not ordinarily engage with science.


title: Neural ODEs for Informative Missingness in Multivariate Time Series

abstract: Informative missingness is unavoidable in the digital processing of continuous time series, where the value for one or more observations at different time points are missing. Such missing observations are one of the major limitations of time series processing using deep learning. Practical applications, e.g., sensor data, healthcare, weather, generates data that is in truth continuous in time, and informative missingness is a common phenomenon in these datasets. These datasets often consist of multiple variables, and often there are missing values for one or many of these variables. This characteristic makes time series prediction more challenging, and the impact of missing input observations on the accuracy of the final output can be significant. A recent novel deep learning model called GRU-D is one early attempt to address informative missingness in time series data. On the other hand, a new family of neural networks called Neural ODEs (Ordinary Differential Equations) are natural and efficient for processing time series data which is continuous in time. In this paper, a deep learning model is proposed that leverages the effective imputation of GRU-D, and the temporal continuity of Neural ODEs. A time series classification task performed on the PhysioNet dataset demonstrates the performance of this architecture.


title: Thin shells in F(R) gravity with non-constant scalar curvature

abstract: We introduce two classes of spherically symmetric spacetimes having a thin shell of matter, in non-quadratic F(R) theories of gravity with non-constant scalar curvature R. In the first, the thin shell joins an inner region with an outer one, while in the second it corresponds to the throat of a wormhole. In both scenarios, we analyze the stability of the static configurations under radial perturbations. As particular examples in spacetimes with a cosmological constant, we present charged thin shells surrounding a non-charged black hole and charged thin-shell wormholes. We show that in both cases stable solutions are possible for suitable values of the parameters.


title: Dispersive Analysis of Low Energy $\gamma N\to\pi N$ Process and Studies on the $N^*(890)$ Resonance

abstract: We present a dispersive representation of the $\gamma N\rightarrow \pi N$ partial-wave amplitude based on unitarity and analyticity. In this representation, the right-hand-cut contribution responsible for $\pi N$ final-state-interaction effect are taken into account via an Omn\'es formalism with elastic $\pi N$ phase shifts as inputs, while the left-hand-cut contribution is estimated by invoking chiral perturbation theory. Numerical fits are performed in order to pin down the involved subtraction constants. It is found that good fit quality can be achieved with only one free parameter and the experimental data of the multipole amplitude $E_{0}^+$ in the energy region below the $\Delta(1232)$ are well described. Furthermore, we extend the $\gamma N\rightarrow \pi N$ partial-wave amplitude to the second Riemann sheet so as to extract the couplings of the $N^\ast(890)$. The modulus of the residue of the multipole amplitude $E_{0}^+$ ($S_{11pE}$) is $2.41\rm{mfm\cdot GeV^2}$ and the partial width of $N^*(890)\to\gamma N$ at the pole is about $0.369\ {\rm MeV}$, which is almost the same as the one of $N^*(1535)$, indicating that $N^\ast(890)$ strongly couples to $\pi N$ system.


title: Novel Policy Seeking with Constrained Optimization

abstract: In problem-solving, we humans can come up with multiple novel solutions to the same problem. However, reinforcement learning algorithms can only produce a set of monotonous policies that maximize the cumulative reward but lack diversity and novelty. In this work, we address the problem of generating novel policies in reinforcement learning tasks. Instead of following the multi-objective framework used in existing methods, we propose to rethink the problem under a novel perspective of constrained optimization. We first introduce a new metric to evaluate the difference between policies and then design two practical novel policy generation methods following the new perspective. The two proposed methods, namely the Constrained Task Novel Bisector (CTNB) and the Interior Policy Differentiation (IPD), are derived from the feasible direction method and the interior point method commonly known in the constrained optimization literature. Experimental comparisons on the MuJoCo control suite show our methods can achieve substantial improvement over previous novelty-seeking methods in terms of both the novelty of policies and their performances in the primal task.


title: Influence of Modification of Gravity on the Complexity Factor of Static Spherical Structures

abstract: The aim of this paper is to generalize the definition of complexity for the static self-gravitating structure in $f(R,T,Q)$ gravitational theory, where $R$ is the Ricci scalar, $T$ is the trace part of energy momentum tensor and $Q\equiv R_{\alpha\beta}T^{\alpha\beta}$. In this context, we have considered locally anisotropic spherical matter distribution and calculated field equations and conservation laws. After the orthogonal splitting of the Riemann curvature tensor, we found the corresponding complexity factor with the help of structure scalars. It is seen that the system may have zero complexity factor if the effects of energy density inhomogeneity and pressure anisotropy cancel the effects of each other. All of our results reduce to general relativity on assuming $f(R,T,Q)=R$ condition.


title: How to Learn from Others: Transfer Machine Learning with Additive Regression Models to Improve Sales Forecasting

abstract: In a variety of business situations, the introduction or improvement of machine learning approaches is impaired as these cannot draw on existing analytical models. However, in many cases similar problems may have already been solved elsewhere-but the accumulated analytical knowledge cannot be tapped to solve a new problem, e.g., because of privacy barriers. For the particular purpose of sales forecasting for similar entities, we propose a transfer machine learning approach based on additive regression models that lets new entities benefit from models of existing entities. We evaluate the approach on a rich, multi-year dataset of multiple restaurant branches. We differentiate the options to simply transfer models from one branch to another ("zero shot") or to transfer and adapt them. We analyze feasibility and performance against several forecasting benchmarks. The results show the potential of the approach to exploit the collectively available analytical knowledge. Thus, we contribute an approach that is generalizable beyond sales forecasting and the specific use case in particular. In addition, we demonstrate its feasibility for a typical use case as well as the potential for improving forecasting quality. These results should inform academia, as they help to leverage knowledge across various entities, and have immediate practical application in industry.


title: Grain Dependent Growth of Bright Quantum Emitters in Hexagonal Boron Nitride

abstract: Point defects in hexagonal boron nitride have emerged as a promising quantum light source due to their bright and photostable room temperature emission. In this work, we study the incorporation of quantum emitters during chemical vapor deposition growth on a nickel substrate. Combining a range of characterization techniques, we demonstrate that the incorporation of quantum emitters is limited to (001) oriented nickel grains. Such emitters display improved emission properties in terms of brightness and stability. We further utilize these emitters and integrate them with a compact optical antenna enhancing light collection from the sources. The hybrid device yields average saturation count rates of ~2.9 x106 cps and an average photon purity of ~90%. Our results advance the controlled generation of spatially distributed quantum emitters in hBN and demonstrate a key step towards on-chip devices with maximum collection efficiency.


title: Distance-based Positive and Unlabeled Learning for Ranking

abstract: Learning to rank -- producing a ranked list of items specific to a query and with respect to a set of supervisory items -- is a problem of general interest. The setting we consider is one in which no analytic description of what constitutes a good ranking is available. Instead, we have a collection of representations and supervisory information consisting of a (target item, interesting items set) pair. We demonstrate analytically, in simulation, and in real data examples that learning to rank via combining representations using an integer linear program is effective when the supervision is as light as "these few items are similar to your item of interest." While this nomination task is quite general, for specificity we present our methodology from the perspective of vertex nomination in graphs. The methodology described herein is model agnostic.


title: CSNE: Conditional Signed Network Embedding

abstract: Signed networks are mathematical structures that encode positive and negative relations between entities such as friend/foe or trust/distrust. Recently, several papers studied the construction of useful low-dimensional representations (embeddings) of these networks for the prediction of missing relations or signs. Existing embedding methods for sign prediction generally enforce different notions of status or balance theories in their optimization function. These theories, however, are often inaccurate or incomplete, which negatively impacts method performance. In this context, we introduce conditional signed network embedding (CSNE). Our probabilistic approach models structural information about the signs in the network separately from fine-grained detail. Structural information is represented in the form of a prior, while the embedding itself is used for capturing fine-grained information. These components are then integrated in a rigorous manner. CSNE's accuracy depends on the existence of sufficiently powerful structural priors for modelling signed networks, currently unavailable in the literature. Thus, as a second main contribution, which we find to be highly valuable in its own right, we also introduce a novel approach to construct priors based on the Maximum Entropy (MaxEnt) principle. These priors can model the \emph{polarity} of nodes (degree to which their links are positive) as well as signed \emph{triangle counts} (a measure of the degree structural balance holds to in a network). Experiments on a variety of real-world networks confirm that CSNE outperforms the state-of-the-art on the task of sign prediction. Moreover, the MaxEnt priors on their own, while less accurate than full CSNE, achieve accuracies competitive with the state-of-the-art at very limited computational cost, thus providing an excellent runtime-accuracy trade-off in resource-constrained situations.


title: Apparent Superluminality of Lensed Gravitational Waves

abstract: We consider gravitational wave (GW) sources with an associated electromagnetic (EM) counterpart, and analyze the time delay between both signals in the presence of lensing. If GWs have wavelengths comparable to the Schwarzschild radius of astrophysical lenses, they must be treated with wave optics, whereas EM waves are typically well within the approximation of geometric optics. With concrete examples, we confirm that the GW signal never arrives before its EM counterpart, if both are emitted at the same time. However, during the inspiral of a binary, peaks of the GW waveform can arrive before their EM counterpart. We stress this is only an apparent superluminality since the GW waveform is both distorted and further delayed with respect to light. In any case, measuring the multi-messenger time delay and correctly interpreting it has important implications for unveiling the distribution of lenses, testing the nature of gravity, and probing the cosmological expansion history.


title: Electrocrystallization of Supercooled Water in Confinement

abstract: The paper discusses the features of supercooled water thin film of width $d=3.97$~nm contained by the perfect graphene layers and crystallizing under external stationary electric field. It was found that the electric field applied perpendicular to graphene layers impedes structural ordering, while the electric field applied in lateral direction contributes to formation of the cubic ice ($Ic$) phase, which is thermodynamically less stable compared to the hexagonal ice ($Ih$) phase. It is shown that the growth of the $Ic$ crystalline phase occurs without formation of intermediate crystalline phases. It was found that the crystallization rate depends strongly on the magnitude of the applied electric field. In particular, the processes of full electrocrystallization of the system do not appear over simulation time scale ($\sim 40$~ns) if the electric field of the magnitude less than $0.07~\rm{V/\AA}$ is applied.

categories: cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Temporal Memory with Magnetic Racetracks

abstract: Race logic is a relative timing code that represents information in a wavefront of digital edges on a set of wires in order to accelerate dynamic programming and machine learning algorithms. Skyrmions, bubbles, and domain walls are mobile magnetic configurations (solitons) with applications for Boolean data storage. We propose to use current-induced displacement of these solitons on magnetic racetracks as a native temporal memory for race logic computing. Locally synchronized racetracks can spatially store relative timings of digital edges and provide non-destructive read-out. The linear kinematics of skyrmion motion, the tunability and low-voltage asynchronous operation of the proposed device, and the elimination of any need for constant skyrmion nucleation make these magnetic racetracks a natural memory for low-power, high-throughput race logic applications.


title: Jet production in Polarized DIS at NNLO

abstract: We present the NNLO calculation for single-inclusive jet production in polarized DIS $\vec{e}\vec{p} \rightarrow {\rm jet} +X$. We perform the computation based on the Projection-to-Born method by combining our recent NLO result for di-jet production in polarized DIS along with the NNLO coefficients for the inclusive cross section. In this way, we achieve NNLO accuracy in a fully exclusive way for single-jet observables, the first time for a polarized cross section. We study the perturbative stability and phenomenological consequences of the QCD corrections for Electron Ion Collider kinematics.


title: High rank elliptic curves induced by rational Diophantine triples

abstract: A rational Diophantine triple is a set of three nonzero rational a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares. We say that the elliptic curve y^2 = (ax+1)(bx+1)(cx+1) is induced by the triple {a,b,c}. In this paper, we describe a new method for construction of elliptic curves over Q with reasonably high rank based on a parametrization of rational Diophantine triples. In particular, we construct an elliptic curve induced by a rational Diophantine triple with rank equal to 12, and an infinite family of such curves with rank >= 7, which are both the current records for that kind of curves.


title: $WW\gamma$ production at hadron colliders with NLO QCD+EW corrections and parton shower effects

abstract: $W^+W^-\gamma$ production in proton-proton collision provides a window to the mechanism of electroweak symmetry breaking and a direct accessment to triple and quartic gauge couplings. Precision study of gauge boson self-interactions may also provide evidence of existence of new physics beyond the Standard Model. In this paper, we study the $W^+W^-\gamma$ production at the LHC and future higher energy proton-proton colliders at the QCD+EW NLO including parton shower effects. We find that the contributions from the photon-induced (i.e., $q\gamma$- and $\gamma\gamma$-initiated) channels are non-negligible since the photon luminosity can be enhanced significantly with the increment of colliding energy, and the large real jet emission QCD and EW corrections can be depressed sufficiently by applying the jet veto event selection scheme. Moreover, we also investigate the theoretical errors arising from the PDF uncertainty and the factorization/renormalization scale dependence.


title: A Lefschetz theorem for intersections with projective varieties

abstract: One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale fundamental groups $\pi_1(H \cap U) \rightarrow \pi_1(U)$ is surjective. We prove a generalization, replacing the hyperplane by a general $\operatorname{PGL}_{n+1}$-translate of an arbitrary projective variety: If $U \subset \mathbb P^n$ is a normal quasi-projective variety, $X$ is a geometrically irreducible projective variety of dimension at least $n + 1 - \dim U$, and $Y$ is a general $\operatorname{PGL}_{n+1}$-translate of $X$, then the map $\pi_1(Y \cap U) \rightarrow \pi_1(U)$ is surjective.


title: TASO: Time and Space Optimization for Memory-Constrained DNN Inference

abstract: Convolutional neural networks (CNNs) are used in many embedded applications, from industrial robotics and automation systems to biometric identification on mobile devices. State-of-the-art classification is typically achieved by large networks, which are prohibitively expensive to run on mobile and embedded devices with tightly constrained memory and energy budgets. We propose an approach for ahead-of-time domain specific optimization of CNN models, based on an integer linear programming (ILP) for selecting primitive operations to implement convolutional layers. We optimize the trade-off between execution time and memory consumption by: 1) attempting to minimize execution time across the whole network by selecting data layouts and primitive operations to implement each layer; and 2) allocating an appropriate workspace that reflects the upper bound of memory footprint per layer. These two optimization strategies can be used to run any CNN on any platform with a C compiler. Our evaluation with a range of popular ImageNet neural architectures (GoogleNet, AlexNet, VGG, ResNet and SqueezeNet) on the ARM Cortex-A15 yields speedups of 8x compared to a greedy algorithm based primitive selection, reduces memory requirement by 2.2x while sacrificing only 15% of inference time compared to a solver that considers inference time only. In addition, our optimization approach exposes a range of optimal points for different configurations across the Pareto frontier of memory and latency trade-off, which can be used under arbitrary system constraints.


title: Strategies for an efficient official publicity campaign

abstract: We consider the process of opinion formation, in a society where there is a set of rules, $B$. These rules change over time due to the drift of public opinion, driven in part by publicity campaigns. Public opinion is formed by the integration of the voters' attitudes which can be either conservative (in agreement with $B$) or liberal (in agreement with peer voters). These attitudes are represented in the phase space of the system by stable fixed points. In the present letter we study the properties that an official publicity campaign must have in order to turn the public opinion in favor of $B.$


title: Sequential Fundraising and Mutual Insurance

abstract: Seed fundraising for ventures often takes place by sequentially approaching potential contributors, who make observable decisions. The fundraising succeeds when a target number of investments is reached. Though resembling classic information cascades models, its behavior is radically different, exhibiting surprising complexities. Assuming a common distribution for contributors' levels of information, we show that participants rely on {\em mutual insurance}, i.e., invest despite unfavorable information, trusting future player strategies to protect them from loss. {\em Delegation} occurs when contributors invest unconditionally, empowering the decision to future players. Often, all early contributors delegate, in effect empowering the last few contributors to decide the outcome. Similar dynamics hold in sequential voting, as in voting in committees.


title: Dual Nature of Orbits of the Divide-or-Choose 2 Rule: A Quadratic Collatz-type Recursion

abstract: We obtain a complete characterization of all orbits of a quadratic Collatz-type recursion called the divide-or-choose-2 rule. Each orbit either ends in a cycle whose period depends on the initial value or it goes to infinity. We specify which initial values generate periodic orbits, and also show that all other initial values generate orbits that go to infinity.


title: Duality of subregular W-algebras and principal W-superalgebras

abstract: We prove Feigin-Frenkel type dualities between subregular W-algebras of type A, B and principal W-superalgebras of type $\mathfrak{sl}(1|n), \mathfrak{osp}(2|2n)$. The type A case proves a conjecture of Feigin and Semikhatov. Let $(\mathfrak{g}_1,\mathfrak{g}_2) = (\mathfrak{sl}_{n+1},\mathfrak{sl}(1|n+1))$ or $(\mathfrak{so}_{2n+1}, \mathfrak{osp}(2|2n))$ and let $r$ be the lacity of $\mathfrak{g}_1$. Let k be a complex number and $\ell$ defined by $r(k+h^\vee_1)(\ell+h^\vee_2)=1$ with $h^\vee_i$ the dual Coxeter numbers of the $\mathfrak g_i$. Our first main result is that the Heisenberg cosets $\mathcal C^k(\mathfrak g_1)$ and $\mathcal C^\ell(\mathfrak g_2)$ of these W-algebras at these dual levels are isomorphic, i.e. $\mathcal C^k(\mathfrak g_1) \simeq \mathcal C^\ell(\mathfrak g_2)$ for generic k. We determine the generic levels and furthermore establish analogous results for the cosets of the simple quotients of the W-algebras. Our second result is a novel Kazama-Suzuki type coset construction: We show that a diagonal Heisenberg coset of the subregular W-algebra at level $k$ times the lattice vertex superalgebra $V_{\mathbb Z}$ is the principal W-superalgebra at the dual level $\ell$. Conversely a diagonal Heisenberg coset of the principal W-superalgebra at level $\ell$ times the lattice vertex superalgebra $V_{\sqrt{-1}\mathbb Z}$ is the subregular W-algebra at the dual level k. Again this is proven for the universal W-algebras as well as for the simple quotients. We show that a consequence of the Kazama-Suzuki type construction is that the simple principal W-superalgebra and its Heisenberg coset at level $\ell$ are rational and/or C_2-cofinite if the same is true for the simple subregular W-algebra at dual level $\ell$. This gives many new C_2-cofiniteness and rationality results.


title: Small values of $| L^\prime/L(1,\chi) |$

abstract: In this paper, we investigate the quantity $m_q:=\min_{\chi\ne \chi_0} | L^\prime/L(1,\chi)|$, as $q\to \infty$ over the primes, where $L(s,\chi)$ is the Dirichlet $L$-function attached to a non trivial Dirichlet character modulo $q$. Our main result shows that $m_q \ll \log\log q/\sqrt{\log q}$. We also compute $m_q$ for every odd prime $q$ up to $10^7$. As a consequence we numerically verified that for every odd prime $q$, $3 \le q \le 10^7$, we have $c_1/q< m_q<5/\sqrt{q}$, with $c_1=21/200$. In particular, this shows that $L^\prime(1,\chi) \ne 0$ for every non trivial Dirichlet character $\chi$ mod $q$ where $3\leq q\leq 10^7$ is prime, answering a question of Gun, Murty and Rath in this range. We also provide some statistics and scatter plots regarding the $m_q$-values, see Section 6. The programs used and the computational results described here are available at the following web address: \url{http://www.math.unipd.it/~languasc/smallvalues.html}.


title: The perturbed restricted three-body problem with angular velocity: Analysis of basins of convergence linked to the libration points

abstract: The analysis of the affect of angular velocity on the geometry of the basins of convergence (BoC) linked to the equilibrium points in the restricted three-body problem is illustrated when the primaries are source of radiation. The bivariate scheme of the Newton-Raphson (N-R) iterative method has been used to discuss the topology of the basins of convergence. The parametric evolution of the fractality of the convergence plane is also presented where the degree of fractality is illustrated by evaluating the basin entropy of the convergence plane.


title: Beyond User Self-Reported Likert Scale Ratings: A Comparison Model for Automatic Dialog Evaluation

abstract: Open Domain dialog system evaluation is one of the most important challenges in dialog research. Existing automatic evaluation metrics, such as BLEU are mostly reference-based. They calculate the difference between the generated response and a limited number of available references. Likert-score based self-reported user rating is widely adopted by social conversational systems, such as Amazon Alexa Prize chatbots. However, self-reported user rating suffers from bias and variance among different users. To alleviate this problem, we formulate dialog evaluation as a comparison task. We also propose an automatic evaluation model CMADE (Comparison Model for Automatic Dialog Evaluation) that automatically cleans self-reported user ratings as it trains on them. Specifically, we first use a self-supervised method to learn better dialog feature representation, and then use KNN and Shapley to remove confusing samples. Our experiments show that CMADE achieves 89.2% accuracy in the dialog comparison task.


title: Unknotting with a single twist

abstract: Given a knot in the three-sphere, is it possible to unknot it by performing a single twist, and if so, what are the possible linking numbers of such a twist? We develop obstructions to unknotting using a twist of a specified linking number. The obstructions we describe are built using classical knot invariants, Casson-Gordon invariants, and Heegaard Floer theory.


title: An Importance Aware Weighted Coding Theorem Using Message Importance Measure

abstract: There are numerous scenarios in source coding where not only the code length but the importance of each value should also be taken into account. Different from the traditional coding theorems, by adding the importance weights for the length of the codes, we define the average cost of the weighted codeword length as an importance-aware measure of the codes. This novel information theoretical measure generalizes the average codeword length by assigning importance weights for each symbol according to users' concerns through focusing on user's selections. With such definitions, coding theorems of the bounds are derived and the outcomes are shown to be extensions of traditional coding theorems.


title: Fast generation of stability charts for time-delay systems using continuation of characteristic roots

abstract: Many dynamic processes involve time delays, thus their dynamics are governed by delay differential equations (DDEs). Studying the stability of dynamic systems is critical, but analyzing the stability of time-delay systems is challenging because DDEs are infinite-dimensional. We propose a new approach to quickly generate stability charts for DDEs using continuation of characteristic roots (CCR). In our CCR method, the roots of the characteristic equation of a DDE are written as implicit functions of the parameters of interest, and the continuation equations are derived in the form of ordinary differential equations (ODEs). Numerical continuation is then employed to determine the characteristic roots at all points in a parametric space; the stability of the original DDE can then be easily determined. A key advantage of the proposed method is that a system of linearly independent ODEs is solved rather than the typical strategy of solving a large eigenvalue problem at each grid point in the domain. Thus, the CCR method significantly reduces the computational effort required to determine the stability of DDEs. As we demonstrate with several examples, the CCR method generates highly accurate stability charts, and does so up to 10 times faster than the Galerkin approximation method.


title: Face Coverings, Aerosol Dispersion and Mitigation of Virus Transmission Risk

abstract: The SARS-CoV-2 virus is primarily transmitted through virus-laden fluid particles ejected from the mouth of infected people. Face covers can mitigate the risk of virus transmission but their outward effectiveness is not fully ascertained. Objective: by using a background oriented schlieren technique, we aim to investigate the air flow ejected by a person while quietly and heavily breathing, while coughing, and with different face covers. Results: we found that all face covers without an outlet valve reduce the front flow through by at least 63% and perhaps as high as 86% if the unfiltered cough jet distance was resolved to the anticipated maximum distance of 2-3 m. However, surgical and handmade masks, and face shields, generate significant leakage jets that may present major hazards. Conclusions: the effectiveness of the masks should mostly be considered based on the generation of secondary jets rather than on the ability to mitigate the front throughflow.


title: Electronic Raman Scattering in Twistronic Few-Layer Graphene

abstract: We study electronic contribution to the Raman scattering signals of two-, three- and four-layer graphene with layers at one of the interfaces twisted by a small angle with respect to each other. We find that the Raman spectra of these systems feature two peaks produced by van Hove singularities in moir\'{e} minibands of twistronic graphene, one related to direct hybridization of Dirac states, and the other resulting from band folding caused by moir\'{e} superlattice. The positions of both peaks strongly depend on the twist angle, so that their detection can be used for non-invasive characterization of the twist, even in hBN-encapsulated structures.


title: Binary-induced spiral arms inside the disc cavity of AB Aurigae

abstract: In this work we demonstrate that the inner spiral structure observed in AB Aurigae can be created by a binary star orbiting inside the dust cavity. We find that a companion with a mass-ratio of 0.25, semi-major axis of 40 au, eccentricity of 0.5, and inclination of 90{\deg} produces gaseous spirals closely matching the ones observed in $^{12}$CO (2-1) line emission. Based on dust dynamics in circumbinary discs (Poblete, Cuello, and Cuadra 2019), we constrain the inclination of the binary with respect to the circumbinary disc to range between 60{\deg} and 90{\deg}. We predict that the stellar companion is located roughly 0.18 arcsec from the central star towards the east-southeast, above the plane of the disc. Should this companion be detected in the near future, our model indicates that it should be moving away from the primary star at a rate of 6 mas/yr on the plane of the sky. Since our companion is inclined, we also predict that the spiral structure will appear to change with time, and not simply co-rotate with the companion.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: Imaginary-time time-dependent density functional theory for periodic systems

abstract: Imaginary-time time-dependent Density functional theory (it-TDDFT) has been proposed as an alternative method for obtaining the ground state within density functional theory (DFT) which avoids some of the difficulties with convergence encountered by the self-consistent-field (SCF) iterative method. It-TDDFT was previously applied to clusters of atoms where it was demonstrated to converge in select cases where SCF had difficulty with convergence. In the present work we implement it-TDDFT propagation for {\it periodic systems} by modifying the Quantum ESPRESSO package, which uses a plane-wave basis with multiple $\boldsymbol{k}$ points, and has the options of non-collinear and DFT+U calculations using ultra-soft or norm-conserving pseudo potentials. We demonstrate that our implementation of it-TDDFT propagation with multiple $\boldsymbol{k}$ points is correct for DFT+U non-collinear calculations and for DFT+U calculations with ultra-soft pseudo potentials. Our implementation of it-TDDFT propagation converges to the exact SCF energy (up to the decimal guaranteed by double precision) in all but one case where it converged to a slightly lower value than SCF, suggesting a useful alternative for systems where SCF has difficulty to reach the Kohn-Sham ground state. In addition, we demonstrate that rapid convergence can be achieved if we use adaptive-size imaginary-time-steps for different kinetic-energy plane-waves.


title: Orientation-Controlled Construction of Superstructures of Atomically-Flat Nanocrystals: Pushing the Limits of Ultra-Thin Colloidal Gain Media

abstract: We propose and demonstrate a method for the construction of highly uniform, multilayered, orientation-controlled superstructures of CdSe/CdZnS core/shell colloidal nanoplatelets (NPLs) using bi-phase liquid interface. These atomically-flat nanocrystals are sequentially deposited, all face-down onto a solid substrate, into slabs having monolayer-precise thickness and excellent homogeneity over several tens of cm2 areas. Owing to the near-unity surface coverage and film uniformity of this deposition technique, amplified spontaneous emission (ASE) is observed from an uncharacteristically thin colloidal film having only 6 layers of NPLs, which corresponds to a mere 42 nm thickness. Furthermore, systematic studies of optical gain properties of these NPL superstructures constructed having precise numbers of NPL layers tuned from 6 to 15 revealed the reduction in the gain threshold with the increasing number of NPL monolayers, along with a continuous spectral shift in the position of the ASE peak (by ~18 nm). These observations can be well explained by the variation of the optical field confinement factor with the NPL waveguide thickness and propagation wavelength. This work demonstrates the possibility of fabricating thickness-tunable, large-area three-dimensional superstructures made of NPL building blocks, which can be additively constructed one monolayer at a time. The proposed technique can also be extended to build hybrid NPL films of mixed orientations and allow for precise large-area device engineering.


title: Ultraprecise Rydberg atomic localization using optical vortices

abstract: We propose a robust localization of the highly-excited Rydberg atoms, interacting with doughnut-shaped optical vortices. Compared with the earlier standing-wave (SW)-based localization methods, a vortex beam can provide an ultrahigh-precision two-dimensional localization solely in the zero-intensity center, within a confined excitation region down to the nanometer scale. We show that the presence of the Rydberg-Rydberg interaction permits counter-intuitively much stronger confinement towards a high spatial resolution when it is partially compensated by a suitable detuning. In addition, applying an auxiliary SW modulation to the two-photon detuning allows a three-dimensional confinement of Rydberg atoms. In this case, the vortex field provides a transverse confinement while the SW modulation of the two-photon detuning localizes the Rydberg atoms longitudinally. To develop a new subwavelength localization technique, our results pave one-step closer to reduce excitation volumes to the level of a few nanometers, representing a feasible implementation for the future experimental applications.


title: On growth functions of ordered hypergraphs

abstract: For $k,l\ge2$ we consider ideals of edge $l$-colored complete $k$-uniform hypergraphs $(n,\chi)$ with vertex sets $[n]=\{1, 2, \dots n\}$ for $n\in\mathbb{N}$. An ideal is a set of such colored hypergraphs that is closed to the relation of induced ordered subhypergraph. We obtain analogues of two results of Klazar [arXiv:0703047] who considered graphs, namely we prove two dichotomies for growth functions of such ideals of colored hypergraphs. The first dichotomy is for any $k,l\ge2$ and says that the growth function is either eventually constant or at least $n-k+2$. The second dichotomy is only for $k=3,l=2$ and says that the growth function of an ideal of edge two-colored complete $3$-uniform hypergraphs grows either at most polynomially, or for $n\ge23$ at least as $G_n$ where $G_n$ is the sequence defined by $G_1=G_2=1$, $G_3=2$ and $G_n = G_{n-1} + G_{n-3}$ for $n\ge4$. The lower bounds in both dichotomies are tight.


title: Antiferromagnet-semiconductor van der Waals heterostructures: interlayer interplay of exciton with magnetic ordering

abstract: Van der Waals (vdW) heterostructures have attracted great interest because of their rich material combinations.The discovery of two-dimensional magnets has provided a new platform for magnetic vdW heterointerfaces; however, research on magnetic vdW heterointerfaces has been limited to those with ferromagnetic surfaces. Here we report a magnetic vdW heterointerface using layered intralayer-antiferromagnetic MPSe3 (M=Mn, Fe) and monolayer transition metal dichalcogenides (TMDs). We found an anomalous upshift of the excitonic peak in monolayer TMDs below the antiferromagnetic transition temperature in the MPSe3, capturing a signature of the interlayer exciton-magnon coupling. This is a concept extended from single materials to heterointerfaces. Moreover, this coupling strongly depends on the in-plane magnetic structure and stacking direction, showing its sensitivity to their magnetic interfaces. Our finding offers an opportunity to investigate interactions between elementary excitations in different materials across interfaces and to search for new functions of magnetic vdW heterointerfaces.


title: Matching Queues with Reneging: a Product Form Solution

abstract: Motivated by growing applications in two-sided markets, we study a parallel matching queue with reneging. Demand and supply units arrive to the system and are matched in an FCFS manner according to a compatibility graph specified by an N-system. If they cannot be matched upon arrival, they queue and may abandon the system as time goes by. We derive explicit product forms of the steady state distributions of this system by identifying a partial balance condition.


title: The exact two-spinon longitudinal dynamical structure factor of the anisotropic XXZ model

abstract: Inelastic neutron scattering experiments are commonly used to unveil how excitations on Heisenberg spin models play a role in dynamical correlations functions. For a certain class of materials, like CsCoCl$_3$ or CsCoBr$_3$ salts, it turns out that their magnetic properties are fairly well approximated by quasi-one dimensional XXZ models, which enjoy the property of quantum integrability. In these instances, one can in principle use their underlying algebraic structure to describe very precisely how excitations, the so-called spinons, participate in dynamical correlations functions. Even though the available theories (either algebraic Bethe ansatz or quantum group approach) provide all the needed physical quantities such as form factors, complete set of eigenstates and spectrum, it is typically a rather daunting task, however, to obtain sufficiently simple analytical expressions for computing Dynamical Structure Factors (DSFs), valuable, e.g., for parameters estimation based on experimental data. This is particularly the case for the longitudinal DSF of the XXZ model, which has eluded a formal mathematical treatment thus far. Using the quantum group approach, we present here an exact and simple expression of the 2-spinon longitudinal DSF and show our results to be consistent with the expected sum rules and the isotropic and Ising antiferromagnet limiting cases.


title: On Strong Feller Property, Exponential Ergodicity and Large Deviations Principle for Stochastic Damping Hamiltonian Systems with State-Dependent Switching

abstract: This work focuses on a class of stochastic damping Hamiltonian systems with state-dependent switching, where the switching process has a countably infinite state space. After establishing the existence and uniqueness of a global weak solution via the martingale approach under very mild conditions, the paper next proves the strong Feller property for regime-switching stochastic damping Hamiltonian systems by the killing technique together with some resolvent and transition probability identities. The commonly used continuity assumption for the switching rates $q_{kl}(\cdot)$ in the literature is relaxed to measurability in this paper. Finally the paper provides sufficient conditions for exponential ergodicity and large deviations principle for regime-switching stochastic damping Hamiltonian systems. Several examples on regime-switching van der Pol and (overdamped) Langevin systems are studied in detail for illustration.


title: Commitment on Volunteer Crowdsourcing Platforms: Implications for Growth and Engagement

abstract: Volunteer crowdsourcing platforms match volunteers with tasks which are often recurring. To ensure completion of such tasks, platforms frequently use a lever known as "adoption," which amounts to a commitment by the volunteer to repeatedly perform the task. Despite reducing match uncertainty, high levels of adoption can decrease the probability of forming new matches, which in turn can suppress growth. We study how platforms should manage this trade-off. Our research is motivated by a collaboration with Food Rescue U.S. (FRUS), a volunteer-based food recovery organization active in over 30 locations. For platforms such as FRUS, success crucially depends on volunteer engagement. Consequently, effectively utilizing non-monetary levers, such as adoption, is critical. Motivated by the volunteer management literature and our analysis of FRUS data, we develop a model for two-sided markets which repeatedly match volunteers with tasks. Our model incorporates match uncertainty as well as the negative impact of failing to match on future engagement. We study the platform's optimal policy for setting the adoption level to maximize the total discounted number of matches. We fully characterize the optimal myopic policy and show that it takes a simple form: depending on volunteer characteristics and market thickness, either allow for full adoption or disallow adoption. In the long run, we show that such a policy is either optimal or achieves a constant-factor approximation. Our finding is robust to incorporating heterogeneity in volunteer behavior. Our work sheds light on how two-sided platforms need to carefully control the double-edged impacts that commitment levers have on growth and engagement. A one-size-fits-all solution may not be effective, as the optimal design crucially depends on the characteristics of the volunteer population.


title: Large-scale comparison of bibliographic data sources: Scopus, Web of Science, Dimensions, Crossref, and Microsoft Academic

abstract: We present a large-scale comparison of five multidisciplinary bibliographic data sources: Scopus, Web of Science, Dimensions, Crossref, and Microsoft Academic. The comparison considers scientific documents from the period 2008-2017 covered by these data sources. Scopus is compared in a pairwise manner with each of the other data sources. We first analyze differences between the data sources in the coverage of documents, focusing for instance on differences over time, differences per document type, and differences per discipline. We then study differences in the completeness and accuracy of citation links. Based on our analysis, we discuss strengths and weaknesses of the different data sources. We emphasize the importance of combining a comprehensive coverage of the scientific literature with a flexible set of filters for making selections of the literature.


title: The Ap\'ery Numbers as a Stieltjes Moment Sequence

abstract: The sequence of Ap\'ery numbers is the moment sequence in the sense of Stieltjes. This is the short version of the proof. Appendix added for v.2


title: THE ADELE-TEMPO experience : an environment to support process modeling and enaction

abstract: Process-Centered Software Engineering Environments (PSEE) have recently attracted a large number of researchers. In such environments the software processes are explicitly described and interpreted by the PSEE, allowing software activities to be automated, assisted, and enforced. Lehman and Belady (1985) & Osterweil (1987) claim that this capability is a central element in a software development environment for the improvement of software product quality and software developers productivity. We have addressed these problems in the framework of the Adele project. The Adele kernel, initially a configuration management system has been extended with respect to 1) modeling and support of complex product models: the Object Manager 2) modeling and support of software processes: the Activity Manager and 3) modeling and support of software product evolution: the Configuration Manager. For data and product modelling, an ER/OO model has been implemented including SEE specific features; On top of Adele kernel, which is a commercial product, we developed a Process Manager research prototype, Tempo, an enactable formalism based on two major concepts: objects may have a different description (role) depending on the process in which they are used, and processes are synchronized and coordinated by explicit connections. ADL-Tempo is organized around the concepts of software product, Work Environment and software process.


title: Shelf-stable quantum-dot light-emitting diodes with high operational performance

abstract: Quantum-dot light-emitting diodes (QLEDs) promise high-performance and cost-effective electroluminescent devices. However, shelf stability of QLEDs, a must for practical applications, is currently overlooked. Here we reveal that the state-of-the-art QLEDs exhibit abnormal shelf-ageing behaviours, i.e., improvements in performance (positive ageing), followed by deterioration of performance (negative ageing). Mechanism studies show that the organic acids in the encapsulation acrylic resin induce in-situ reactions, which simultaneously improve electrical conductance and minimize interfacial exciton quenching at the positive-ageing stage. Progression of the in-situ reactions results in negative ageing. Inspired by these findings, we design an electron-transporting bi-layer structure, which delivers both improved electrical conductivity and suppressed interfacial exciton quenching. This design enables shelf-stable QLEDs with high operational performance, i.e., neglectable changes of external quantum efficiency (>20.0%) and ultra-long operational lifetime (T95: 5,500 hours at 1,000 cd m-2) after storage for 180 days. Our work paves the way towards the commercialization of QLEDs.


title: Stochastic Constrained Extended System Dynamics for Solving Charge Equilibration Models

abstract: We present a new stochastic extended Lagrangian solution to charge equilibration that eliminates self-consistent field (SCF) calculations, eliminating the computational bottleneck in solving the many-body solution with standard SCF solvers. By formulating both charges and chemical potential as latent variables, and introducing a holonomic constraint that satisfies charge conservation, the SC-XLMD method accurately reproduces structural, thermodynamic, and dynamics properties using ReaxFF, and shows excellent weak- and strong-scaling performance in the LAMMPS molecular simulation package.


title: Characterization of Single-Mode Fiber Coupling at the Large Binocular Telescope

abstract: Optimizing on-sky single-mode fiber (SMF) injection is an essential part of developing precise Doppler spectrometers and new astrophotonics technologies. We installed and tested a prototype SMF injection system at the Large Binocular Telescope (LBT) in April 2016. The fiber injection unit was built as part of the de-risking process for a new instrument named iLocater that will use adaptive optics (AO) to feed a high resolution, near-infrared spectrograph. In this paper we report Y-band SMF coupling measurements for bright, M-type stars. We compare theoretical expectations for delivered Strehl ratio and SMF coupling to experimental results, and evaluate fundamental effects that limit injection efficiency. We find the pupil geometry of the telescope itself limits fiber coupling to a maximum efficiency of rho_tel=0.78. Further analysis shows the individual impact of AO correction, tip-tilt residuals, and static (non-common-path) aberrations contribute coupling coefficients of rho_Strehl=0.33, rho_tip/tilt=0.84, and rho_ncpa=0.8 respectively. Combined, these effects resulted in an average Y-band SMF efficiency of 0.18 for all observations. Finally, we investigate the impact of fiber coupling on radial velocity (RV) precision as a function of stellar apparent magnitude.


title: Multi-agent model for risk prediction in surgery

abstract: Risk management resulting from the actions and states of the different elements making up a operating room is a major concern during a surgical procedure. Agent-based simulation shows an interest through its interaction concepts, interactivity and autonomy of different simulator entities. We want in our study to implement a generator of alerts to listen the evolution of different settings applied to the simulator of agents (human fatigue, material efficiency, infection rate ...). This article presents our model, its implementation and the first results obtained. It should be noted that this study also made it possible to identify several scientific obstacles, such as the integration of different levels of abstraction, the coupling of species, the coexistence of several scales in the same environment and the deduction of unpredictable alerts. Case-based reasoning (CBR) is a beginning of response relative to the last lock mentioned and will be discussed in this paper.


title: Assessing the Precision and Recall of msTALI as Applied to an Active-Site Study on Fold Families

abstract: Proteins execute various activities required by biological cells. Further, they structurally support and pro-mote important biochemical reactions which functionally are sparked by active-sites. Active-sites are regions where reac-tions and binding events take place directly; they foster pro-tein purpose. Describing functional relationships depends on factors that incorporate sequence, structure, and the biochem-ical properties of amino acids that form proteins. Our ap-proach to active-site description is computational, and many other approaches utilizing available protein data fall short of ideal. Successful recognition of functional interactions is cru-cial to advancements in protein annotation and the bioinfor-matics field at large. This research outlines our Multiple Structure Torsion Angle Alignment (msTALI) as a suitable strategy for addressing active-site identification by comparing results to other existing methods. Specifically, we address the precision of msTALI across three protein families. Our target proteins are PDBIDs 1A2B, 1B4V, 1B8S, 1COY, 1CXZ, 3COX, 1D7E, 1DPF, 1F9I, 1FTN, 1IJH, 1KOU, 1NWZ, 2PHY, and 1SIC.


title: Approximation by regular functions in Sobolev spaces arising from doubly elliptic problems

abstract: The paper deals with a nontrivial density result for $C^m(\overline{\Omega})$ functions, with $m\in{\mathbb N}\cup\{\infty\}$, in the space $$W^{k,\ell,p}(\Omega;\Gamma)= \left\{u\in W^{k,p}(\Omega): u_{|\Gamma}\in W^{\ell,p}(\Gamma)\right\},$$ endowed with the norm of $(u,u_{|\Gamma})$ in $W^{k,p}(\Omega)\times W^{\ell,p}(\Gamma)$, where $\Omega$ is a bounded open subset of ${\mathbb R}^N$, $N\ge 2$, with boundary $\Gamma$ of class $C^m$, $k\le \ell\le m$ and $1\le p<\infty$. Such a result is of interest when dealing with doubly elliptic problems involving two elliptic operators, one in $\Omega$ and the other on $\Gamma$. Moreover we shall also consider the case when a Dirichlet homogeneous boundary condition is imposed on a relatively open part of $\Gamma$ and, as a preliminary step, we shall prove an analogous result when either $\Omega={\mathbb R}^N$ or $\Omega={\mathbb R}^N_+$ and $\Gamma=\partial{\mathbb R}^N_+$. \keywords{Density results\and Sobolev spaces \and Smooth functions \and the Laplace--Beltrami operator.


title: HQC-RMRS, an instantiation of the HQC encryption framework with a more efficient auxiliary error-correcting code

abstract: The HQC encryption framework is a general code-based encryption scheme for which decryption returns a noisy version of the plaintext. Any instantiation of the scheme will therefore use an error-correcting procedure relying on a fixed auxiliary code. Unlike the McEliece encryption framework whose security is directly related to how well one can hide the structure of an error-correcting code, the security reduction of the HQC encryption framework is independent of the nature of the auxiliary decoding procedure which is publicly available. What is expected from it is that the decoding algorithm is both efficient and has a decoding failure rate which can be easily modelized and analyzed. The original error-correction procedure proposed for the HQC framework was to use tensor products of BCH codes and repetition codes. In this paper we consider another code family for removing the error vector deriving from the general framework: the concatenation of Reed-Muller and Reed-Solomon codes. We denote this instantiation of the HQC framework by HQC-RMRS. These codes yield better decoding results than the BCH and repetition codes: overall we gain roughly 17\% in the size of the key and the ciphertext, while keeping a simple modelization of the decoding error rate. The paper also presents a simplified and more precise analysis of the distribution of the error vector output by the HQC protocol.


title: Intrinsic determination of the criticality of a slow-fast Hopf bifurcation

abstract: The presence of slow-fast Hopf (or singular Hopf) points in slow-fast systems in the plane is often deduced from the shape of a vector field brought into normal form. It can however be quite cumbersome to put a system in normal form. In the monograph "Canards from birth to transition", an intrinsic presentation of slow-fast vector fields is initiated, showing hands-on formulas to check for the presence of such singular contact points. We generalize the results in the sense that the criticality of the Hopf bifurcation can be checked with a single formula. We demonstrate the result on a slow-fast system given in non-standard form where slow and fast variables are not separated from each other. The formula is convenient since it does not require any parameterization of the critical curve.


title: Tensor Clustering with Planted Structures: Statistical Optimality and Computational Limits

abstract: This paper studies the statistical and computational limits of high-order clustering with planted structures. We focus on two clustering models, constant high-order clustering (CHC) and rank-one higher-order clustering (ROHC), and study the methods and theory for testing whether a cluster exists (detection) and identifying the support of cluster (recovery). Specifically, we identify the sharp boundaries of signal-to-noise ratio for which CHC and ROHC detection/recovery are statistically possible. We also develop the tight computational thresholds: when the signal-to-noise ratio is below these thresholds, we prove that polynomial-time algorithms cannot solve these problems under the computational hardness conjectures of hypergraphic planted clique (HPC) detection and hypergraphic planted dense subgraph (HPDS) recovery. We also propose polynomial-time tensor algorithms that achieve reliable detection and recovery when the signal-to-noise ratio is above these thresholds. Both sparsity and tensor structures yield the computational barriers in high-order tensor clustering. The interplay between them results in significant differences between high-order tensor clustering and matrix clustering in literature in aspects of statistical and computational phase transition diagrams, algorithmic approaches, hardness conjecture, and proof techniques. To our best knowledge, we are the first to give a thorough characterization of the statistical and computational trade-off for such a double computational-barrier problem. Finally, we provide evidence for the computational hardness conjectures of HPC detection (via low-degree polynomial and Metropolis methods) and HPDS recovery (via low-degree polynomial method).

categories: math.ST cs.CC cs.LG stat.ME stat.ML stat.TH


title: Mobility of localized beams in non-homogeneous photonic lattices

abstract: Waveguide arrays offer enormous potential to design circuit elements essential to fabricate optical devices capable to processing information codified by light. In this work we study the existence and stability of localized beams in one dimensional photonic lattices composed by a Kerr type waveguide array. We analyzed the case where discrete translation symmetry is broken in as much as one of the waveguides lacks a nonlinear response. Specifically, we determined the space of parameters where a coherent and robust mobility across the lattice is achieved. Moreover, we calculate the reflection and transmission coefficients when localized beams interact directly with the impurity, finding that it behaves as a variable filter depending of system parameters. Our results would shed light on develop solutions to keep unaltered information during its transmission within future optical devices.


title: A Nearest Neighbor Network to Extract Digital Terrain Models from 3D Point Clouds

abstract: When 3D-point clouds from overhead sensors are used as input to remote sensing data exploitation pipelines, a large amount of effort is devoted to data preparation. Among the multiple stages of the preprocessing chain, estimating the Digital Terrain Model (DTM) model is considered to be of a high importance; however, this remains a challenge, especially for raw point clouds derived from optical imagery. Current algorithms estimate the ground points using either a set of geometrical rules that require tuning multiple parameters and human interaction, or cast the problem as a binary classification machine learning task where ground and non-ground classes are found. In contrast, here we present an algorithm that directly operates on 3D-point clouds and estimate the underlying DTM for the scene using an end-to-end approach without the need to classify points into ground and non-ground cover types. Our model learns neighborhood information and seamlessly integrates this with point-wise and block-wise global features. We validate our model using the ISPRS 3D Semantic Labeling Contest LiDAR data, as well as three scenes generated using dense stereo matching, representative of high-rise buildings, lower urban structures, and a dense old-city residential area. We compare our findings with two widely used software packages for DTM extraction, namely ENVI and LAStools. Our preliminary results show that the proposed method is able to achieve an overall Mean Absolute Error of 11.5% compared to 29% and 16% for ENVI and LAStools.


title: Tissue failure propagation as mediated by circulatory flow

abstract: Aging is driven by subcellular processes that are relatively well-understood. However the qualitative mechanisms and quantitative dynamics of how these micro-level failures cascade to a macro-level catastrophe in a tissue or organs remain largely unexplored. Here we experimentally and theoretically study how cell failure propagates in a synthetic tissue in the presence of advective flow. We argue that cells secrete cooperative factors, thereby forming a network of interdependence governed by diffusion and flow, which fails with a propagating front parallel to advective circulation.


title: Morphogenesis and proportionate growth: A finite element investigation of surface growth with coupled diffusion

abstract: Modeling the spontaneous evolution of morphology in natural systems and its preservation by proportionate growth remains a major scientific challenge. Yet, it is conceivable that if the basic mechanisms of growth and the coupled kinetic laws that orchestrate their function are accounted for, a minimal theoretical model may exhibit similar growth behaviors. The ubiquity of surface growth, a mechanism by which material is added or removed on the boundaries of the body, has motivated the development of theoretical models, which can capture the diffusion-coupled kinetics that govern it. However, due to their complexity, application of these models has been limited to simplified geometries. In this paper, we tackle these complexities by developing a finite element framework to study the diffusion-coupled growth and morphogenesis of finite bodies formed on uniform and flat substrates. We find that in this simplified growth setting, the evolving body exhibits a sequence of distinct growth stages that are reminiscent of natural systems, and appear spontaneously without any externally imposed regulation or coordination. The computational framework developed in this work can serve as the basis for future models that are able to account for growth in arbitrary geometrical settings, and can shed light on the basic physical laws that orchestrate growth and morphogenesis in the natural world.


title: Approaches for handling sloping fluid-solid interfaces with the parabolic equation method

abstract: Several methods for handling sloping fluid-solid interfaces with the elastic parabolic equation are tested. A single-scattering approach that is modified for the fluid-solid case is accurate for some problems but breaks down when the contrast across the interface is sufficiently large and when there is a Scholte wave. An approximate condition for conserving energy breaks down when a Scholte wave propagates along a sloping interface but otherwise performs well for a large class of problems involving gradual slopes, a wide range of sediment parameters, and ice cover. An approach based on treating part of the fluid layer as a solid with low shear speed handles Scholte waves and a wide range of sediment parameters accurately, but this approach needs further development. The variable rotated parabolic equation is not effective for problems involving frequent or continuous changes in slope, but it provides a high level of accuracy for most of the test cases, which have regions of constant slope. Approaches based on a coordinate mapping and on using a film of solid material with low shear speed on the rises of the stair steps that approximate a sloping interface are also tested and found to produce accurate results for some cases.


title: Distributed Verifiers in PCP

abstract: Traditional proof systems involve a resource-bounded verifier communicating with a powerful (but untrusted) prover. Distributed verifier proof systems are a new family of proof models that involve a network of verifier nodes communicating with a single independent prover that has access to the complete network structure of the verifiers. The prover is tasked with convincing all verifiers of some global property of the network graph. In addition, each individual verifier may be given some input string they will be required to verify during the course of computation. Verifier nodes are allowed to exchange messaged with nodes a constant distance away, and accept / reject the input after some computation. Because individual nodes are limited to a local view, communication with the prover is potentially necessary to prove global properties about the network graph of nodes, which only the prover has access to. In this system of models, the entire model accepts the input if and only if every individual node has accepted. There are three models in the distributed verifier proof system family: $\mathsf{LCP}$, $\mathsf{dIP}$, and our proposed $\mathsf{dPCP}$, with the fundamental difference between these coming from the type of communication established between the verifiers and the prover. In this paper, we will first go over the past work in the $\mathsf{LCP}$ and $\mathsf{dIP}$ space before showing properties and proofs in our $\mathsf{dPCP}$ system.


title: Revisiting Role of Autoencoders in Adversarial Settings

abstract: To combat against adversarial attacks, autoencoder structure is widely used to perform denoising which is regarded as gradient masking. In this paper, we revisit the role of autoencoders in adversarial settings. Through the comprehensive experimental results and analysis, this paper presents the inherent property of adversarial robustness in the autoencoders. We also found that autoencoders may use robust features that cause inherent adversarial robustness. We believe that our discovery of the adversarial robustness of the autoencoders can provide clues to the future research and applications for adversarial defense.


title: On the spatial collinear restricted four-body problem with non-spherical primaries

abstract: In the present work a systematic study has been presented in the context of the existence of libration points, their linear stability, the regions of motion where the third particle can orbit and the domain of basins of convergence linked to libration points in the spatial configuration of the collinear restricted four-body problem with non-spherical primaries (i.e., the primaries are oblate or prolate spheroid). The parametric evolution of the positions of the libration points as function of the oblateness and prolateness parameters of the primaries and the stability of these points in linear sense are illustrated numerically. Moreover, the numerical investigation shows that the only libration points which lie on either of the axes are linearly stable for several combinations of the oblateness parameter and mass parameter whereas the non-collinear libration points are found linearly unstable, consequently unstable in nonlinear sense also, for studied value of mass parameter and oblateness parameter. Moreover, the regions of possible motion are also depicted, where the infinitesimal mass is free to orbit, as function of Jacobian constant. In addition, the basins of convergence (BoC) linked to the libration points are illustrated by using the multivariate version of the Newton-Raphson (NR) iterative scheme.


title: THz Precoding for 6G: Applications, Challenges, Solutions, and Opportunities

abstract: Benefiting from the ultra-wide bandwidth, terahertz (THz) communication is becoming a promising technology for future 6G networks. For THz communication, precoding is an essential technique to overcome the severe path loss of THz signals in order to support the desired coverage. In this article, we systematically investigate the dominant THz precoding techniques for future 6G networks, with the highlight on its key challenges and opportunities. Specifically, we first illustrate three typical THz application scenarios including indoor, mobile, and satellite communications. Then, the major differences between millimeter-wave and THz channels are explicitly clarified, based on which we reveal the key challenges of THz precoding, such as the distance-dependent path loss, the beam split effect, and the high power consumption. To address these challenges, three representative THz precoding techniques, i.e., analog beamforming, hybrid precoding, and delay-phase precoding, are extensively investigated in terms of their different structures, designs, most recent results, pros and cons. We also provide simulation results of spectrum and energy efficiencies to compare these typical THz precoding schemes to draw some insights for their applications in future 6G networks. Finally, several important open issues and the potential research opportunities, such as the use of reconfigurable intelligent surface (RIS) to solve the THz blockage problem, are pointed out and discussed.


title: $\Gamma$-convergence of polyconvex functionals involving s-fractional gradients to their local counterparts

abstract: In this paper we study localization properties of the Riesz $s$-fractional gradient $D^s u$ of a vectorial function $u$ as $s \nearrow 1$. The natural space to work with $s$-fractional gradients is the Bessel space $H^{s,p}$ for $0 < s < 1$ and $1 < p < \infty$. This space converges, in a precise sense, to the Sobolev space $W^{1,p}$ when $s \nearrow 1$. We prove that the $s$-fractional gradient $D^s u$ of a function $u$ in $W^{1,p}$ converges strongly to the classical gradient $Du$. We also show a weak compactness result in $W^{1,p}$ for sequences of functions $u_s$ with bounded $L^p$ norm of $D^s u_s$ as $s \nearrow 1$. Moreover, the weak convergence of $D^s u_s$ in $L^p$ implies the weak continuity of its minors, which allows us to prove a semicontinuity result of polyconvex functionals involving $s$-fractional gradients defined in $H^{s,p}$ to their local counterparts defined in $W^{1,p}$. The full $\Gamma$-convergence of the functionals is achieved only for the case $p>n$.


title: Efficient Ensemble Model Generation for Uncertainty Estimation with Bayesian Approximation in Segmentation

abstract: Recent studies have shown that ensemble approaches could not only improve accuracy and but also estimate model uncertainty in deep learning. However, it requires a large number of parameters according to the increase of ensemble models for better prediction and uncertainty estimation. To address this issue, a generic and efficient segmentation framework to construct ensemble segmentation models is devised in this paper. In the proposed method, ensemble models can be efficiently generated by using the stochastic layer selection method. The ensemble models are trained to estimate uncertainty through Bayesian approximation. Moreover, to overcome its limitation from uncertain instances, we devise a new pixel-wise uncertainty loss, which improves the predictive performance. To evaluate our method, comprehensive and comparative experiments have been conducted on two datasets. Experimental results show that the proposed method could provide useful uncertainty information by Bayesian approximation with the efficient ensemble model generation and improve the predictive performance.


title: Do CNNs solve the CT inverse problem?

abstract: Objective: This work examines the claim made in the literature that the inverse problem associated with image reconstruction in sparse-view computed tomography (CT) can be solved with a convolutional neural network (CNN). Methods: Training and testing image/data pairs are generated in a dedicated breast CT simulation for sparse-view sampling, using two different object models. The trained CNN is tested to see if images can be accurately recovered from their corresponding sparse-view data. For reference, the same sparse-view CT data is reconstructed by the use of constrained total-variation (TV) minimization (TVmin), which exploits sparsity in the gradient magnitude image (GMI). Results: Using sparse-view data from images either in the training or testing set, there is a significant discrepancy between the image obtained with the CNN and the image that generated the data. For the same simulated scanning conditions, TVmin is able to accurately reconstruct the test image. Conclusion: We find that the sparse-view CT inverse problem cannot be solved for the particular published CNN-based methodology that we chose and the particular object model that we tested. Furthermore, this negative result is obtained for conditions where TVmin is able to recover the test images. Significance: The inability of the CNN to solve the inverse problem associated with sparse-view CT, for the specific conditions of the presented simulation, draws into question similar unsupported claims being made for the use of CNNs to solve inverse problems in medical imaging.


title: SINDy-BVP: Sparse Identification of Nonlinear Dynamics for Boundary Value Problems

abstract: We develop a data-driven model discovery and system identification technique for spatially-dependent boundary value problems (BVPs). Specifically, we leverage the sparse identification of nonlinear dynamics (SINDy) algorithm and group sparse regression techniques with a set of forcing functions and corresponding state variable measurements to yield a parsimonious model of the system. The approach models forced systems governed by linear or nonlinear operators of the form $L[u(x)] = f(x)$ on a prescribed domain $x \in [a, b]$. We demonstrate the approach on a range of example systems, including Sturm-Liouville operators, beam theory (elasticity), and a class of nonlinear BVPs. The generated data-driven model is used to infer both the operator and/or spatially-dependent parameters that describe the heterogenous, physical quantities of the system. Our SINDy-BVP framework will enables the characterization of a broad range of systems, including for instance, the discovery of anisotropic materials with heterogeneous variability.


title: Robust Ensemble Model Training via Random Layer Sampling Against Adversarial Attack

abstract: Deep neural networks have achieved substantial achievements in several computer vision areas, but have vulnerabilities that are often fooled by adversarial examples that are not recognized by humans. This is an important issue for security or medical applications. In this paper, we propose an ensemble model training framework with random layer sampling to improve the robustness of deep neural networks. In the proposed training framework, we generate various sampled model through the random layer sampling and update the weight of the sampled model. After the ensemble models are trained, it can hide the gradient efficiently and avoid the gradient-based attack by the random layer sampling method. To evaluate our proposed method, comprehensive and comparative experiments have been conducted on three datasets. Experimental results show that the proposed method improves the adversarial robustness.


title: Casimir effect for lattice fermions

abstract: We propose a definition of the Casimir energy for free lattice fermions. From this definition, we study the Casimir effects for the massless or massive naive fermion, Wilson fermion, and (M\"obius) domain-wall fermion in $1+1$ dimensional spacetime with the spatial periodic or antiperiodic boundary condition. For the naive fermion, we find an oscillatory behavior of the Casimir energy, which is caused by the difference between odd and even lattice sizes. For the Wilson fermion, in the small lattice size of $N \geq 3$, the Casimir energy agrees very well with that of the continuum theory, which suggests that we can control the discretization artifacts for the Casimir effect measured in lattice simulations. We also investigate the dependence on the parameters tunable in M\"obius domain-wall fermions. Our findings will be observed both in condensed matter systems and in lattice simulations with a small size.


title: ${\mathbb Z}_2\times {\mathbb Z}_2$-graded mechanics: the quantization

abstract: In the previous paper arXiv:2003.06470 we introduced the notion of ${\mathbb Z}_2\times{\mathbb Z}_2$-graded classical mechanics and presented a general framework to construct, in the Lagrangian setting, the worldline sigma models invariant under a ${\mathbb Z}_2\times{\mathbb Z}_2$-graded superalgebra. In this work we discuss at first the classical Hamiltonian formulation of some of these models and later present their canonical quantization. As the simplest application of the construction we recover the ${\mathbb Z}_2\times{\mathbb Z}_2$-graded quantum Hamiltonian introduced by Bruce and Duplij in arXiv:1904.06975. We prove that this is the first example of a large class of ${\mathbb Z}_2\times{\mathbb Z}_2$-graded quantum models. We derive in particular interacting multiparticle quantum Hamiltonians given by Hermitian, matrix, differential operators. The interacting terms appear as non-diagonal entries in the matrices. The construction of the Noether charges, both classical and quantum, is presented. A comprehensive discussion of the different ${\mathbb Z}_2\times{\mathbb Z}_2$-graded symmetries possessed by the quantum Hamiltonians is given.


title: On probable lossless surface plasma waves: a reply to criticisms

abstract: In a recent preprint, arXiv 2005.03716v1, G. Wegner and C. Henkel criticized my work on the possibility of lossless surface plasma waves. Here I refute all of their criticisms.


title: rTop-k: A Statistical Estimation Approach to Distributed SGD

abstract: The large communication cost for exchanging gradients between different nodes significantly limits the scalability of distributed training for large-scale learning models. Motivated by this observation, there has been significant recent interest in techniques that reduce the communication cost of distributed Stochastic Gradient Descent (SGD), with gradient sparsification techniques such as top-k and random-k shown to be particularly effective. The same observation has also motivated a separate line of work in distributed statistical estimation theory focusing on the impact of communication constraints on the estimation efficiency of different statistical models. The primary goal of this paper is to connect these two research lines and demonstrate how statistical estimation models and their analysis can lead to new insights in the design of communication-efficient training techniques. We propose a simple statistical estimation model for the stochastic gradients which captures the sparsity and skewness of their distribution. The statistically optimal communication scheme arising from the analysis of this model leads to a new sparsification technique for SGD, which concatenates random-k and top-k, considered separately in the prior literature. We show through extensive experiments on both image and language domains with CIFAR-10, ImageNet, and Penn Treebank datasets that the concatenated application of these two sparsification methods consistently and significantly outperforms either method applied alone.

categories: cs.LG cs.IT math.IT math.ST stat.ML stat.TH


title: Concurrency-related Flaky Test Detection in Android apps

abstract: Validation of Android apps via testing is difficult owing to the presence of flaky tests. Due to non-deterministic execution environments, a sequence of events (a test) may lead to success or failure in unpredictable ways. In this work, we present an approach and tool FlakeShovel for detecting flaky tests through systematic exploration of event orders. Our key observation is that for a test in a mobile app, there is a testing framework thread which creates the test events, a main User-Interface (UI) thread processing these events, and there may be several other background threads running asynchronously. For any event e whose execution involves potential non-determinism, we localize the earliest (latest) event after (before) which e must happen.We then efficiently explore the schedules between the upper/lower bound events while grouping events within a single statement, to find whether the test outcome is flaky. We also create a suite of subject programs called DroidFlaker to study flaky tests in Android apps. Our experiments on subject-suite DroidFlaker demonstrate the efficacy of our flaky test detection. Our work is complementary to existing flaky test detection tools like Deflaker which check only failing tests. FlakeShovel can detect flaky tests among passing tests, as shown by our approach and experiments.


title: The Riemann Hypothesis for period polynomials of Hilbert modular forms

abstract: There have been a number of recent works on the theory of period polynomials and their zeros. In particular, zeros of period polynomials have been shown to satisfy a "Riemann Hypothesis" in both classical settings and for cohomological versions extending the classical setting to the case of higher derivatives of $L$-functions. There thus appears to be a general phenomenon behind these phenomena. In this paper, we explore further generalizations by defining a natural analogue for Hilbert modular forms. We then prove that similar Riemann Hypotheses hold in this situation as well.


title: Koszul complexes over Cohen-Macaulay rings

abstract: We prove a Cohen-Macaulay version of a result by Avramov-Golod and Frankild-J{\o}rgensen about Gorenstein rings, showing that if a noetherian ring $A$ is Cohen-Macaulay, and $a_1,\dots,a_n$ is any sequence of elements in $A$, then the Koszul complex $K(A;a_1,\dots,a_n)$ is a Cohen-Macaulay DG-ring. We further generalize this result, showing that it also holds for commutative DG-rings. In the process of proving this, we develop a new technique to study the dimension theory of a noetherian ring $A$, by finding a Cohen-Macaulay DG-ring $B$ such that $\mathrm{H}^0(B) = A$, and using the Cohen-Macaulay structure of $B$ to deduce results about $A$. As application, we prove that if $f:X \to Y$ is a morphism of schemes, where $X$ is Cohen-Macaulay and $Y$ is nonsingular, then the homotopy fiber of $f$ at every point is Cohen-Macaulay. As another application, we generalize the miracle flatness theorem. Generalizations of these applications to derived algebraic geometry are also given.


title: Markets for Efficient Public Good Allocation with Social Distancing

abstract: Public goods are often either over-consumed in the absence of regulatory mechanisms, or remain completely unused, as in the Covid-19 pandemic, where social distance constraints are enforced to limit the number of people who can share public spaces. In this work, we plug this gap through market based mechanisms designed to efficiently allocate capacity constrained public goods. To design these mechanisms, we leverage the theory of Fisher markets, wherein each agent in the economy is endowed with an artificial currency budget that they can spend to avail public goods. While Fisher markets provide a strong methodological backbone to model resource allocation problems, their applicability is limited to settings involving two types of constraints - budgets of individual buyers and capacities of goods. Thus, we introduce a modified Fisher market, where each individual may have additional physical constraints, characterize its solution properties and establish the existence of a market equilibrium. Furthermore, to account for additional constraints we introduce a social convex optimization problem where we perturb the budgets of agents such that the KKT conditions of the perturbed social problem establishes equilibrium prices. Finally, to compute the budget perturbations we present a fixed point scheme and illustrate convergence guarantees through numerical experiments. Thus, our mechanism, both theoretically and computationally, overcomes a fundamental limitation of classical Fisher markets, which only consider capacity and budget constraints.


title: Dense Semantic 3D Map Based Long-Term Visual Localization with Hybrid Features

abstract: Visual localization plays an important role in many applications. However, due to the large appearance variations such as season and illumination changes, as well as weather and day-night variations, it's still a big challenge for robust long-term visual localization algorithms. In this paper, we present a novel visual localization method using hybrid handcrafted and learned features with dense semantic 3D map. Hybrid features help us to make full use of their strengths in different imaging conditions, and the dense semantic map provide us reliable and complete geometric and semantic information for constructing sufficient 2D-3D matching pairs with semantic consistency scores. In our pipeline, we retrieve and score each candidate database image through the semantic consistency between the dense model and the query image. Then the semantic consistency score is used as a soft constraint in the weighted RANSAC-based PnP pose solver. Experimental results on long-term visual localization benchmarks demonstrate the effectiveness of our method compared with state-of-the-arts.