title: Efficient Monitoring of Hyperproperties using Prefix Trees

abstract: Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other and are thus not monitorable by tools that consider computations in isolation. We present the monitoring approach implemented in the latest version of RVHyper, a runtime verification tool for hyperproperties. The input to the tool are specifications given in the temporal logic HyperLTL, which extends linear-time temporal logic (LTL) with trace quantifiers and trace variables. RVHyper processes execution traces sequentially until a violation of the specification is detected. In this case, a counter example, in the form of a set of traces, is returned. RVHyper employs a range of optimizations: a preprocessing analysis of the specification and a procedure that minimizes the traces that need to be stored during the monitoring process. In this article, we introduce a novel trace storage technique that arranges the traces in a tree-like structure to exploit partially equal traces. We evaluate RVhyper on existing benchmarks on secure information-flow control, error correcting codes and symmetry in hardware designs. As an example application outside of security, we show how RVHyper can be used to detect spurious dependencies in hardware designs.


title: Double Quarter Wave Crab Cavity Wire Stretching Measurement at BNL

abstract: The wire stretching measurement was completed on the prototype Double Quarter Wave (DQW) crab cavity for operation practice and calibration of the measurement system. Four locations were defined to be on the electrical center plane of the crab cavity, and survey of the wire indicated all are on the same plane. The successful measurement validated the wire stretching system built at Brookhaven National Lab. The offset of the four wire locations to the fitted plane provided the error of the measurement.


title: Siegel's theorem via the Lawrence-Venkatesh method

abstract: In the recent paper arXiv:1807.02721, B. Lawrence and A. Venkatesh develop a method of proving finiteness theorems in arithmetic geometry by studying the geometry of families over a base variety. Their results include a new proof of both the $S$-unit theorem and Faltings' theorem, obtained by constructing and studying suitable abelian-by-finite families over $\mathbb{P}^1\setminus\{0,1,\infty\}$ and over an arbitrary curve of genus $\geq 2$ respectively. In this paper, we apply this strategy to reprove Siegel's theorem: we construct an abelian-by-finite family on a punctured elliptic curve to prove finiteness of $S$-integral points on elliptic curves.


title: Identifying nonclassicality from experimental data using artificial neural networks

abstract: The fast and accessible verification of nonclassical resources is an indispensable step towards a broad utilization of continuous-variable quantum technologies. Here, we use machine learning methods for the identification of nonclassicality of quantum states of light by processing experimental data obtained via homodyne detection. For this purpose, we train an artificial neural network to classify classical and nonclassical states from their quadrature-measurement distributions. We demonstrate that the network is able to correctly identify classical and nonclassical features from real experimental quadrature data for different states of light. Furthermore, we show that nonclassicality of some states that were not used in the training phase is also recognized. Circumventing the requirement of the large sample sizes needed to perform homodyne tomography, our approach presents a promising alternative for the identification of nonclassicality for small sample sizes, indicating applicability for fast sorting or direct monitoring of experimental data.


title: Applying High-Performance Bioinformatics Tools for Outlier Detection in Log Data

abstract: Most of today's security solutions, such as security information and event management (SIEM) and signature based IDS, require the operator to evaluate potential attack vectors and update detection signatures and rules in a timely manner. However, today's sophisticated and tailored advanced persistent threats (APT), malware, ransomware and rootkits, can be so complex and diverse, and often use zero day exploits, that a pure signature-based blacklisting approach would not be sufficient to detect them. Therefore, we could observe a major paradigm shift towards anomaly-based detection mechanisms, which try to establish a system behavior baseline -- either based on netflow data or system logging data -- and report any deviations from this baseline. While these approaches look promising, they usually suffer from scalability issues. As the amount of log data generated during IT operations is exponentially growing, high-performance analysis methods are required that can handle this huge amount of data in real-time. In this paper, we demonstrate how high-performance bioinformatics tools can be applied to tackle this issue. We investigate their application to log data for outlier detection to timely reveal anomalous system behavior that points to cyber attacks. Finally, we assess the detection capability and run-time performance of the proposed approach.


title: Reference-less complex wavefields characterization with a high-resolution wavefront sensor

abstract: Wavefront sensing is a widely-used non-interferometric, single-shot, and quantitative technique providing the spatial-phase of a beam. The phase is obtained by integrating the measured wavefront gradient. Complex and random wavefields intrinsically contain a high density of singular phase structures (optical vortices) associated with non-conservative gradients making this integration step especially delicate. Here, using a high-resolution wavefront sensor, we demonstrate experimentally a systematic approach for achieving the complete and quantitative reconstruction of complex wavefronts. Based on the Stokes' theorem, we propose an image segmentation algorithm to provide an accurate determination of the charge and location of optical vortices. This technique is expected to benefit to several fields requiring complex media characterization.


title: Complementary Searches of Low Mass Non-Abelian Vector Dark Matter, Dark Photon and Dark $Z^\prime$

abstract: We present a novel study of the non-abelian vector dark matter candidate $W^\prime$ with a MeV$-$GeV low mass range, accompanied by a dark photon $A^\prime$ and a dark $Z^\prime$ of similar masses in the context of a simplified gauged two-Higgs-doublet model. The model is scrutinized by taking into account various experimental constraints including dark photon searches, electroweak precision data, relic density of dark matter together with its direct and indirect searches, mono-jet and Higgs collider physics from LHC. The viable parameter space of the model consistent with all experimental and theoretical constraints is exhibited. While a dark $Z^\prime$ can be the dominant contribution in the relic density due to resonant annihilation of dark matter, a dark photon is crucial to dark matter direct detection. We demonstrate that the parameter space can be further probed in the near future by sub-GeV dark matter experiments like CDEX, NEWS-G and SuperCDMS.


title: LNSMM: Eye Gaze Estimation With Local Network Share Multiview Multitask

abstract: Eye gaze estimation has become increasingly significant in computer vision.In this paper,we systematically study the mainstream of eye gaze estimation methods,propose a novel methodology to estimate eye gaze points and eye gaze directions simultaneously.First,we construct a local sharing network for feature extraction of gaze points and gaze directions estimation,which can reduce network computational parameters and converge quickly;Second,we propose a Multiview Multitask Learning (MTL) framework,for gaze directions,a coplanar constraint is proposed for the left and right eyes,for gaze points,three views data input indirectly introduces eye position information,a cross-view pooling module is designed, propose joint loss which handle both gaze points and gaze directions estimation.Eventually,we collect a dataset to use of gaze points,which have three views to exist public dataset.The experiment show our method is state-of-the-art the current mainstream methods on two indicators of gaze points and gaze directions.


title: SPRISS: Approximating Frequent $k$-mers by Sampling Reads, and Applications

abstract: The extraction of $k$-mers is a fundamental component in many complex analyses of large next-generation sequencing datasets, including reads classification in genomics and the characterization of RNA-seq datasets. The extraction of all $k$-mers and their frequencies is extremely demanding in terms of running time and memory, owing to the size of the data and to the exponential number of $k$-mers to be considered. However, in several applications, only frequent $k$-mers, which are $k$-mers appearing in a relatively high proportion of the data, are required by the analysis. In this work we present SPRISS, a new efficient algorithm to approximate frequent $k$-mers and their frequencies in next-generation sequencing data. SPRISS employs a simple yet powerful reads sampling scheme, which allows to extract a representative subset of the dataset that can be used, in combination with any $k$-mer counting algorithm, to perform downstream analyses in a fraction of the time required by the analysis of the whole data, while obtaining comparable answers. Our extensive experimental evaluation demonstrates the efficiency and accuracy of SPRISS in approximating frequent $k$-mers, and shows that it can be used in various scenarios, such as the comparison of metagenomic datasets and the identification of discriminative $k$-mers, to extract insights in a fraction of the time required by the analysis of the whole dataset.


title: Control technique for synchronization of selected nodes in directed networks

abstract: In this Letter we propose a method to control a set of arbitrary nodes in a directed network such that they follow a synchronous trajectory which is, in general, not shared by the other units of the network. The problem is inspired to those natural or artificial networks whose proper operating conditions are associated to the presence of clusters of synchronous nodes. Our proposed method is based on the introduction of distributed controllers that modify the topology of the connections in order to generate outer symmetries in the nodes to be controlled. An optimization problem for the selection of the controllers, which includes as a special case the minimization of the number of the links added or removed, is also formulated and an algorithm for its solution is introduced.


title: GrailQuest & HERMES: Hunting for Gravitational Wave Electromagnetic Counterparts and Probing Space-Time Quantum Foam

abstract: GrailQuest (Gamma-ray Astronomy International Laboratory for Quantum Exploration of Space-Time) is an ambitious astrophysical mission concept that uses a fleet of small satellites whose main objective is to search for a dispersion law for light propagation in vacuo. Within Quantum Gravity theories, different models for space-time quantization predict relative discrepancies of the speed of photons w.r.t. the speed of light that depend on the ratio of the photon energy to the Planck energy. This ratio is as small as 1E-23 for photons in the gamma-ray band (100 keV). Therefore, to detect this effect, light must propagate over enormous distances and the experiment must have extraordinary sensitivity. Gamma-Ray Bursts, occurring at cosmological distances, could be used to detect this tiny signature of space-time granularity. This can be obtained by coherently combine a huge number of small instruments distributed in space to act as a single detector of unprecedented effective area. This is the first example of high-energy distributed astronomy: a new concept of modular observatory of huge overall collecting area consisting in a fleet of small satellites in low orbits, with sub-microsecond time resolution and wide energy band (keV-MeV). The enormous number of collected photons will allow to effectively search these energy dependent delays. Moreover, GrailQuest will allow to perform temporal triangulation of impulsive events with arc-second positional accuracies: an extraordinary sensitive X-ray/Gamma all-sky monitor crucial for hunting the elusive electromagnetic counterparts of Gravitational Waves, that will play a paramount role in the future of Multi-messenger Astronomy. A pathfinder of GrailQuest is already under development through the HERMES (High Energy Rapid Modular Ensemble of Satellites) project: a fleet of six 3U cube-sats to be launched by the end of 2022.


title: Neural Abstractive Text Summarizer for Telugu Language

abstract: Abstractive Text Summarization is the process of constructing semantically relevant shorter sentences which captures the essence of the overall meaning of the source text. It is actually difficult and very time consuming for humans to summarize manually large documents of text. Much of work in abstractive text summarization is being done in English and almost no significant work has been reported in Telugu abstractive text summarization. So, we would like to propose an abstractive text summarization approach for Telugu language using Deep learning. In this paper we are proposing an abstractive text summarization Deep learning model for Telugu language. The proposed architecture is based on encoder-decoder sequential models with attention mechanism. We have applied this model on manually created dataset to generate a one sentence summary of the source text and have got good results measured qualitatively.


title: Manifestation of Hidden Symmetries in Baryonic Matter: From Finite Nuclei to Neutron Stars

abstract: The hadron-quark/gluon duality formulated in terms of a topology change at a density $n\gsim 2n_0$ $n_0\simeq 0.16$fm$^{-3}$ is found to describe the core of massive compact stars in terms of quasiparticles of fractional baryon charges, behaving neither like pure baryons nor like deconfined quarks. This can be considered as the Cheshire-Cat mechanism~\cite{CC} for the hadron-quark continuity arrived at bottom-up from skyrmions that is equivalent to the "MIT-bag"-to-skyrmion continuity arrived at top-down from quarks/gluons. Hidden symmetries, both local gauge and pseudo-conformal (or broken scale), emerge and give rise both to the long-standing "effective $g_A^\ast\approx 1$" in nuclear Gamow-Teller transitions at $\lsim n_0$ and to the pseudo-conformal sound velocity $v_{pcs}^2/c^2\approx 1/3$ at $\gsim 3n_0$. It is suggested that what has been referred to, since a long time, as "quenched $g_A$" in light nuclei reflects what leads to the dilaton-limit $g_A^{\rm DL}=1$ at near the (putative) infrared fixed point of scale invariance. These properties are confronted with the recent observations in Gamow-Teller transitions and in astrophysical observations.


title: UOCS. III. UVIT catalogue of open clusters with machine learning based membership using \textit{Gaia} EDR3 astrometry

abstract: We present a study of six open clusters (Berkeley 67, King 2, NGC 2420, NGC 2477, NGC 2682 and NGC 6940) using the Ultra Violet Imaging Telescope (UVIT) aboard \textit{ASTROSAT} and \textit{Gaia} EDR3. We used combinations of astrometric, photometric and systematic parameters to train and supervise a machine learning algorithm along with a Gaussian mixture model for the determination of cluster membership. This technique is robust, reproducible and versatile in various cluster environments. In this study, the \textit{Gaia} EDR3 membership catalogues are provided along with classification of the stars as \texttt{members, candidates} and \texttt{field} in the six clusters. We could detect 200--2500 additional members using our method with respect to previous studies, which helped estimate mean space velocities, distances, number of members and core radii. UVIT photometric catalogues, which include blue stragglers, main-sequence and red giants are also provided. From UV--Optical colour-magnitude diagrams, we found that majority of the sources in NGC 2682 and a few in NGC 2420, NGC 2477 and NGC 6940 showed excess UV flux. NGC 2682 images have ten white dwarf detection in far-UV. The far-UV and near-UV images of the massive cluster NGC 2477 have 92 and 576 \texttt{members} respectively, which will be useful to study the UV properties of stars in the extended turn-off and in various evolutionary stages from main-sequence to red clump. Future studies will carry out panchromatic and spectroscopic analysis of noteworthy members detected in this study.


title: Learning Successor States and Goal-Dependent Values: A Mathematical Viewpoint

abstract: In reinforcement learning, temporal difference-based algorithms can be sample-inefficient: for instance, with sparse rewards, no learning occurs until a reward is observed. This can be remedied by learning richer objects, such as a model of the environment, or successor states. Successor states model the expected future state occupancy from any given state for a given policy and are related to goal-dependent value functions, which learn how to reach arbitrary states. We formally derive the temporal difference algorithm for successor state and goal-dependent value function learning, either for discrete or for continuous environments with function approximation. Especially, we provide finite-variance estimators even in continuous environments, where the reward for exactly reaching a goal state becomes infinitely sparse. Successor states satisfy more than just the Bellman equation: a backward Bellman operator and a Bellman-Newton (BN) operator encode path compositionality in the environment. The BN operator is akin to second-order gradient descent methods and provides the true update of the value function when acquiring more observations, with explicit tabular bounds. In the tabular case and with infinitesimal learning rates, mixing the usual and backward Bellman operators provably improves eigenvalues for asymptotic convergence, and the asymptotic convergence of the BN operator is provably better than TD, with a rate independent from the environment. However, the BN method is more complex and less robust to sampling noise. Finally, a forward-backward (FB) finite-rank parameterization of successor states enjoys reduced variance and improved samplability, provides a direct model of the value function, has fully understood fixed points corresponding to long-range dependencies, approximates the BN method, and provides two canonical representations of states as a byproduct.


title: Tip of the Tongue Known-Item Retrieval: A Case Study in Movie Identification

abstract: While current information retrieval systems are effective for known-item retrieval where the searcher provides a precise name or identifier for the item being sought, systems tend to be much less effective for cases where the searcher is unable to express a precise name or identifier. We refer to this as tip of the tongue (TOT) known-item retrieval, named after the cognitive state of not being able to retrieve an item from memory. Using movie search as a case study, we explore the characteristics of questions posed by searchers in TOT states in a community question answering website. We analyze how searchers express their information needs during TOT states in the movie domain. Specifically, what information do searchers remember about the item being sought and how do they convey this information? Our results suggest that searchers use a combination of information about: (1) the content of the item sought, (2) the context in which they previously engaged with the item, and (3) previous attempts to find the item using other resources (e.g., search engines). Additionally, searchers convey information by sometimes expressing uncertainty (i.e., hedging), opinions, emotions, and by performing relative (vs. absolute) comparisons with attributes of the item. As a result of our analysis, we believe that searchers in TOT states may require specialized query understanding methods or document representations. Finally, our preliminary retrieval experiments show the impact of each information type presented in information requests on retrieval performance.


title: Enhancing Population Persistence by a Protection Zone in a Reaction-Diffusion Model with Strong Allee Effect

abstract: Protecting endangered species has been an important issue in ecology. We derive a reaction-diffusion model for a population in a one-dimensional bounded habitat, where the population is subjected to a strong Allee effect in its natural domain but obeys a logistic growth in a protection zone. We establish the conditions for population persistence and extinction via the principal eigenvalue of an associated eigenvalue problem and investigate the dependence of this principal eigenvalue on the location (i.e., the starting point and the length) of the protection zone. The results are used to design the optimal protection zone under different boundary conditions, that is, to suggest the starting point and length of the protection zone with respect to different population growth rate in the protection zone, in order for the population to persist in a long term.


title: A simple geometric proof for the benefit of depth in ReLU networks

abstract: We present a simple proof for the benefit of depth in multi-layer feedforward network with rectified activation ("depth separation"). Specifically we present a sequence of classification problems indexed by $m$ such that (a) for any fixed depth rectified network there exist an $m$ above which classifying problem $m$ correctly requires exponential number of parameters (in $m$); and (b) for any problem in the sequence, we present a concrete neural network with linear depth (in $m$) and small constant width ($\leq 4$) that classifies the problem with zero error. The constructive proof is based on geometric arguments and a space folding construction. While stronger bounds and results exist, our proof uses substantially simpler tools and techniques, and should be accessible to undergraduate students in computer science and people with similar backgrounds.


title: Fundamental Limits of Demand-Private Coded Caching

abstract: We consider the coded caching problem with an additional privacy constraint that a user should not get any information about the demands of the other users. We first show that a demand-private scheme for $N$ files and $K$ users can be obtained from a non-private scheme that serves only a subset of the demands for the $N$ files and $NK$ users problem. We further use this fact to construct a demand-private scheme for $N$ files and $K$ users from a particular known non-private scheme for $N$ files and $NK-K+1$ users. It is then demonstrated that, the memory-rate pair $(M,\min \{N,K\}(1-M/N))$, which is achievable for non-private schemes with uncoded transmissions, is also achievable under demand privacy. We further propose a scheme that improves on these ideas by removing some redundant transmissions. The memory-rate trade-off achieved using our schemes is shown to be within a multiplicative factor of 3 from the optimal when $K < N$ and of 8 when $N\leq K$. Finally, we give the exact memory-rate trade-off for demand-private coded caching problems with $N\geq K=2$.


title: Classification of fNIRS Data Under Uncertainty: A Bayesian Neural Network Approach

abstract: Functional Near-Infrared Spectroscopy (fNIRS) is a non-invasive form of Brain-Computer Interface (BCI). It is used for the imaging of brain hemodynamics and has gained popularity due to the certain pros it poses over other similar technologies. The overall functionalities encompass the capture, processing and classification of brain signals. Since hemodynamic responses are contaminated by physiological noises, several methods have been implemented in the past literature to classify the responses in focus from the unwanted ones. However, the methods, thus far does not take into consideration the uncertainty in the data or model parameters. In this paper, we use a Bayesian Neural Network (BNN) to carry out a binary classification on an open-access dataset, consisting of unilateral finger tapping (left- and right-hand finger tapping). A BNN uses Bayesian statistics to assign a probability distribution to the network weights instead of a point estimate. In this way, it takes data and model uncertainty into consideration while carrying out the classification. We used Variational Inference (VI) to train our model. Our model produced an overall classification accuracy of 86.44% over 30 volunteers. We illustrated how the evidence lower bound (ELBO) function of the model converges over iterations. We further illustrated the uncertainty that is inherent during the sampling of the posterior distribution of the weights. We also generated a ROC curve for our BNN classifier using test data from a single volunteer and our model has an AUC score of 0.855.


title: Verifiable Failure Localization in Smart Grid under Cyber-Physical Attacks

abstract: Cyber-physical attacks impose a significant threat to the smart grid, as the cyber attack makes it difficult to identify the actual damage caused by the physical attack. To defend against such attacks, various inference-based solutions have been proposed to estimate the states of grid elements (e.g., transmission lines) from measurements outside the attacked area, out of which a few have provided theoretical conditions for guaranteed accuracy. However, these conditions are usually based on the ground truth states and thus not verifiable in practice. To solve this problem, we develop (i) verifiable conditions that can be tested based on only observable information, and (ii) efficient algorithms for verifying the states of links (i.e., transmission lines) within the attacked area based on these conditions. Our numerical evaluations based on the Polish power grid and IEEE 300-bus system demonstrate that the proposed algorithms are highly successful in verifying the states of truly failed links, and can thus greatly help in prioritizing repairs during the recovery process.


title: SD-Regular Transducer Expressions for Aperiodic Transformations

abstract: FO transductions, aperiodic deterministic two-way transducers, as well as aperiodic streaming string transducers are all equivalent models for first order definable functions. In this paper, we solve the long standing open problem of expressions capturing first order definable functions, thereby generalizing the seminal SF=AP (star free expressions = aperiodic languages) result of Sch\"utzenberger. Our result also generalizes a lesser known characterization by Sch\"utzenberger of aperiodic languages by SD-regular expressions (SD=AP). We show that every first order definable function over finite words captured by an aperiodic deterministic two-way transducer can be described with an SD-regular transducer expression (SDRTE). An SDRTE is a regular expression where Kleene stars are used in a restricted way: they can appear only on aperiodic languages which are prefix codes of bounded synchronization delay. SDRTEs are constructed from simple functions using the combinators unambiguous sum (deterministic choice), Hadamard product, and unambiguous versions of the Cauchy product and the k-chained Kleene-star, where the star is restricted as mentioned. In order to construct an SDRTE associated with an aperiodic deterministic two-way transducer, (i) we concretize Sch\"utzenberger's SD=AP result, by proving that aperiodic languages are captured by SD-regular expressions which are unambiguous and stabilising; (ii) by structural induction on the unambiguous, stabilising SD-regular expressions describing the domain of the transducer, we construct SDRTEs. Finally, we also look at various formalisms equivalent to SDRTEs which use the function composition, allowing to trade the k-chained star for a 1-star.


title: The homotopy type of the independence complex of graphs with no induced cycles of length divisible by $3$

abstract: We prove Engstr\"{o}m's conjecture that the independence complex of graphs with no induced cycle of length divisible by $3$ is either contractible or homotopy equivalent to a sphere. Our result strengthens a result by Zhang and Wu, verifying a conjecture of Kalai and Meshulam which states that the total Betti number of the independence complex of such a graph is at most $1$. A weaker conjecture was proved earlier by Chudnovsky, Scott, Seymour, and Spirkl, who showed that in such a graph, the number of independent sets of even size minus the number of independent sets of odd size has values $0$, $1$, or $-1$.


title: High-Low Refractive Index Stacks for Broadband Antireflection Coatings for Multijunction Solar Cells

abstract: Antireflection coatings are an interesting challenge for multijunction solar cells due to their broadband spectrum absorption and the requirement of current matching of each subcell. A new design for multijunction solar cell antireflection coatings is presented in this work in which alternative high and low index materials are used to minimize the reflection in a broadband (300nm-1800nm). We compared the short circuit current density of high-low refractive index stacks designs with optimum double-layer antireflection coatings by considering two optical materials combinations (MgF2/ZnS and Al2O3/TiO2) for the AM0 and AM1.5D spectra. The calculations demonstrate that for lattice-matched triple-junction solar cells and inverted metamorphic quadruple-junction solar cells, high-low refractive index stacks outperform the optimum double-layer antireflection coatings. The new design philosophy requires no new optical materials because only two materials are used and exhibits excellent performance in broadband spectra. The angle performance of these antireflection coatings is slightly better than classical double-layers whereas the analysis for thickness sensitivity shows that small deviations from deposition targets only slightly impact the performance of antireflection coatings. Finally, some technical solutions for depositing these high-low refractive index multilayers are discussed.


title: Large Deviations Principles for Langevin Equations in Random Environment and Applications

abstract: In contrast to the study of Langevin equations in a homogeneous environment in the literature, the study on Langevin equations in randomly-varying environments is relatively scarce. Almost all the existing works require random environments to have a specific formulation that is independent of the systems. This paper aims to consider large deviations principles (LDPs) of Langevin equations involving a random environment that is a process taking value in a measurable space and that is allowed to interact with the systems, without specified formulation on the random environment. Examples and applications to statistical physics are provided. Our formulation of the random environment presents the main challenges and requires new approaches. Our approach stems from the intuition of the Smoluchowski-Kramers approximation. The techniques developed in this paper focus on the relation between the solutions of the second-order equations and the associate first-order equations. We obtain the desired LDPs by showing a family of processes enjoy the exponential tightness and local LDPs with an appropriate rate function.


title: Performance of a low gain avalanche detector in a medical linac and characterisation of the beam profile

abstract: Low gain avalanche detectors can measure charged particle fluences with high speed and spatial precision, and are a promising technology for radiation monitoring and dosimetry. A detector has been tested in a medical linac where single particles were observed with a time resolution of 50\,ps. The integrated response is similar to a standard ionising chamber but with a spatial precision twenty times finer, and a temporal precision over 100 million times better, with the capability to measure the charge deposited by a single linac pulse. The unprecedented resolving power allows the structure of the $\sim 3\,\mu$s linac pulses to be viewed and the 350\,ps sub-pulses in the train to be observed.


title: Microfluidic production of porous polymer cell-mimics capable of gene expression

abstract: Engineering simple, artificial models of living cells allows synthetic biologists to study cellular functions under well-controlled conditions. Reconstituting multicellular behaviors with synthetic cell-mimics is still a challenge because it requires efficient communication between individual compartments in large populations. This protocol presents a microfluidic method to produce large quantities of cell-mimics with highly porous, stable and chemically modifiable polymer membranes that can be programmed on demand with nucleus-like DNA-hydrogel compartments for gene expression. We describe expression of genes encoded in the hydrogel compartment and communication between neighboring cell-mimics through diffusive protein signals.


title: Trav-SHACL: Efficiently Validating Networks of SHACL Constraints

abstract: Knowledge graphs have emerged as expressive data structures for Web data. Knowledge graph potential and the demand for ecosystems to facilitate their creation, curation, and understanding, is testified in diverse domains, e.g., biomedicine. The Shapes Constraint Language (SHACL) is the W3C recommendation language for integrity constraints over RDF knowledge graphs. Enabling quality assements of knowledge graphs, SHACL is rapidly gaining attention in real-world scenarios. SHACL models integrity constraints as a network of shapes, where a shape contains the constraints to be fullfiled by the same entities. The validation of a SHACL shape schema can face the issue of tractability during validation. To facilitate full adoption, efficient computational methods are required. We present Trav-SHACL, a SHACL engine capable of planning the traversal and execution of a shape schema in a way that invalid entities are detected early and needless validations are minimized. Trav-SHACL reorders the shapes in a shape schema for efficient validation and rewrites target and constraint queries for the fast detection of invalid entities. Trav-SHACL is empirically evaluated on 27 testbeds executed against knowledge graphs of up to 34M triples. Our experimental results suggest that Trav-SHACL exhibits high performance gradually and reduces validation time by a factor of up to 28.93 compared to the state of the art.


title: Graph-based Matched Field Localization for an Underwater Source

abstract: Matched Field Processing (MFP) locates the underwater sources by matching the received data with the replica vectors, which could be regarded as a generalized beamformer. In this paper, the MFP method is combined with a recently developed framework -- Graph Signal Processing (GSP) method. Following the paradigm of GSP, a spatial adjacency matrix is constructed for the arbitrary distributed sensors based on the Green's function, then the source is located by utilizing the graph Fourier transform. The simulation results illustrate that the Graph-based MFP outperforms the the conventional MFP processors -- the Bartlett processor and the Minimum Variance processor -- for its good accuracy and robustness.


title: Teach me how to Label: Labeling Functions from Natural Language with Text-to-text Transformers

abstract: Annotated data has become the most important bottleneck in training accurate machine learning models, especially for areas that require domain expertise. A recent approach to deal with the above issue proposes using natural language explanations instead of labeling individual data points, thereby increasing human annotators' efficiency as well as decreasing costs substantially. This paper focuses on the task of turning these natural language descriptions into Python labeling functions by following a novel approach to semantic parsing with pre-trained text-to-text Transformers. In a series of experiments our approach achieves a new state of the art on the semantic parsing benchmark CoNaLa, surpassing the previous best approach by 3.7 BLEU points. Furthermore, on a manually constructed dataset of natural language descriptions-labeling functions pairs we achieve a BLEU of 0.39. Our approach can be regarded as a stepping stone towards models that are taught how to label in natural language, instead of being provided specific labeled samples. Our code, constructed dataset and models are available at https://github.com/ypapanik/t5-for-code-generation.


title: Field Theory of free Active Ornstein-Uhlenbeck Particles

abstract: We derive a Doi-Peliti field theory for free active Ornstein-Uhlenbeck particles, or, equivalently, free inertial Brownian particles, and present a way to diagonalise the Gaussian part of the action and calculate the propagator. Unlike previous course-grained approaches this formulation correctly tracks particle identity and yet can easily be expanded to include potentials and arbitrary reactions.


title: Natural Language Specification of Reinforcement Learning Policies through Differentiable Decision Trees

abstract: Human-AI policy specification is a novel procedure we define in which humans can collaboratively warm-start a robot's reinforcement learning policy. This procedure is comprised of two steps; (1) Policy Specification, i.e. humans specifying the behavior they would like their companion robot to accomplish, and (2) Policy Optimization, i.e. the robot applying reinforcement learning to improve the initial policy. Existing approaches to enabling collaborative policy specification are often unintelligible black-box methods, and are not catered towards making the autonomous system accessible to a novice end-user. In this paper, we develop a novel collaborative framework to allow humans to initialize and interpret an autonomous agent's behavior. Through our framework, we enable humans to specify an initial behavior model via unstructured, natural language (NL), which we convert to lexical decision trees. Next, we leverage these translated specifications, to warm-start reinforcement learning and allow the agent to further optimize these potentially suboptimal policies. Our approach warm-starts an RL agent by utilizing non-expert natural language specifications without incurring the additional domain exploration costs. We validate our approach by showing that our model is able to produce >80% translation accuracy, and that policies initialized by a human can match the performance of relevant RL baselines in two domains.


title: Bias Reduction as a Remedy to the Consequences of Infinite Estimates in Poisson and Tobit Regression

abstract: Data separation is a well-studied phenomenon that can cause problems in the estimation and inference from binary response models. Complete or quasi-complete separation occurs when there is a combination of regressors in the model whose value can perfectly predict one or both outcomes. In such cases, and such cases only, the maximum likelihood estimates and the corresponding standard errors are infinite. It is less widely known that the same can happen in further microeconometric models. One of the few works in the area is Santos Silva and Tenreyro (2010) who note that the finiteness of the maximum likelihood estimates in Poisson regression depends on the data configuration and propose a strategy to detect and overcome the consequences of data separation. However, their approach can lead to notable bias on the parameter estimates when the regressors are correlated. We illustrate how bias-reducing adjustments to the maximum likelihood score equations can overcome the consequences of separation in Poisson and Tobit regression models.


title: $\alpha$-decay half-lives of superheavy nuclei with $Z=122-125$

abstract: For $\alpha$ decay half-life calculations in this work, the Coulomb and proximity potential model with a new semiempirical formula for diffuseness parameter developed in previous work [Phys. Rev. C 100, 024601 (2019)] is used. The present model in this work is compared with the generalized liquid-drop model (GLDM), universal decay law (UDL), and experimental half-lives in the region $Z=104-118$. Next, the predicted half-lives of 51 superheavy nuclei (SHN) with $Z=122-125$ by the present model are compared with those of GLDM, and UDL. The present model is revealed to be more accurate in reproducing experimental half-lives compared to GLDM and UDL. Moreover, it is found that the predictions of the present model and UDL are highly consistent while GLDM largely deviates from the other two. A study of the competition between $\alpha$ decay and spontaneous fission (SF) shows that $\alpha$ decay is the dominant mode. Among the studied SHN with $Z=122-125$, ${}^{295-307}122$ and ${}^{314-320}125$ are identified as potential candidates whose half-lives are relatively long enough to be experimentally detected in the future through their $\alpha$-decay chains. The identified candidates are in good agreement with other recent work.


title: Spectral signature of atmospheric winds in high resolution transit observations

abstract: The study of exoplanet atmospheres showed large diversity compared to the planets in our solar system. Especially Jupiter type exoplanets orbiting their host star in close orbits, the so-called hot and ultra-hot Jupiters, have been studied in detail due to their enhanced atmospheric signature. Due to their tidally locked status, the temperature difference between the day- and nightside triggers atmospheric winds which can lead to various fingerprints in the observations. Spatially resolved absorption lines during transit such as sodium (Na) could be a good tracer for such winds. Different works resolved the Na$^-$ absorption lines on different exoplanets which show different line widths. Assuming that this could be attributed to such zonal jet streams, this work models the effect of such winds on synthetic absorption lines. For this, transiting Jupiter type planets with rotational velocities similar to hot and ultra-hot Jupiter are considered. The investigation shows that high wind velocities could reproduce the broadening of Na-line profiles inferred in different high-resolution transit observations. There is a tendency that the broadening values decrease for planets with lower equilibrium temperature. This could be explained by atmospheric drag induced by the ionization of alkali lines which slow down the zonal jet streams, favoring their existence on hot Jupiter rather than ultra-hot Jupiter.


title: Designing a mobile game to generate player data -- lessons learned

abstract: User friendly tools have lowered the requirements of high-quality game design to the point where researchers without development experience can release their own games. However, there is no established best-practice as few games have been produced for research purposes. Having developed a mobile game without the guidance of similar projects, we realised the need to share our experience so future researchers have a path to follow. Research into game balancing and system simulation required an experimental case study, which inspired the creation of "RPGLite", a multiplayer mobile game. In creating RPGLitewith no development expertise we learned a series of lessons about effective amateur game development for research purposes. In this paper we reflect on the entire development process and present these lessons.


title: Phosphorous Diffusion Gettering of Trapping Centers in Upgraded Metallurgical-Grade Solar Silicon

abstract: Experimental evidence indicating the beneficial impact of a phosphorous diffusion gettering (PDG) in the reduction of trapping centers is shown, as observed by means of inductively coupled photoconductance (PC) decay and lifetime measurements carried out on upgraded metallurgical-grade silicon (UMG-Si) wafers. The presence of trapping species dominating the long time range of the PC decay of UMG material (slow traps), which is effectively removed after a PDG conducted at 780 Celsius, is detected. Notwithstanding, a second trapping mechanism, characterized by a shorter time constant, still governs the response at very low injection levels after the gettering. Furthermore, the beneficial effect of the PDG is studied as a function of processing time, showing minority carrier bulk lifetime improvements up to 18-fold, up to the range of 70 us. Thereby, the way for developing gettering strategies capable of successfully removing trap centers and improving the bulk lifetime of unconventional Si material is paved.


title: On bivariate fractal approximation

abstract: In this paper, the notion of dimension preserving approximation for real-valued bivariate continuous functions, defined on a rectangular domain $\rectangle$, has been introduced and several results, similar to well-known results of bivariate constrained approximation in terms of dimension preserving approximants, have been established. Further, some clue for the construction of bivariate dimension preserving approximants, using the concept of fractal interpolation functions, has been added. In the last part, some multi-valued fractal operators associated with bivariate $\alpha$-fractal functions are defined and studied.


title: On the Kerr metric in a synchronous reference frame

abstract: The Kerr metric is considered in a synchronous frame of reference obtained by using proper time and initial conditions for particles that freely move along a certain set of trajectories as coordinates. Modifying these coordinates in a certain way (keeping their interpretation as initial values at large distances), we still have a synchronous frame and the direct analogue of the Lemaitre metric, the singularities of which are exhausted by the physical Kerr singularity (the singularity ring).


title: Provably Constant-time Planning and Replanning for Real-time Grasping Objects off a Conveyor Belt

abstract: In warehouse and manufacturing environments, manipulation platforms are frequently deployed at conveyor belts to perform pick and place tasks. Because objects on the conveyor belts are moving, robots have limited time to pick them up. This brings the requirement for fast and reliable motion planners that could provide provable real-time planning guarantees, which the existing algorithms do not provide. Besides the planning efficiency, the success of manipulation tasks relies heavily on the accuracy of the perception system which is often noisy, especially if the target objects are perceived from a distance. For fast moving conveyor belts, the robot cannot wait for a perfect estimate before it starts executing its motion. In order to be able to reach the object in time, it must start moving early on (relying on the initial noisy estimates) and adjust its motion on-the-fly in response to the pose updates from perception. We propose a planning framework that meets these requirements by providing provable constant-time planning and replanning guarantees. To this end, we first introduce and formalize a new class of algorithms called Constant-Time Motion Planning algorithms (CTMP) that guarantee to plan in constant time and within a user-defined time bound. We then present our planning framework for grasping objects off a conveyor belt as an instance of the CTMP class of algorithms.


title: Deterministic Decremental SSSP and Approximate Min-Cost Flow in Almost-Linear Time

abstract: In the decremental single-source shortest paths problem, the goal is to maintain distances from a fixed source $s$ to every vertex $v$ in an $m$-edge graph undergoing edge deletions. In this paper, we conclude a long line of research on this problem by showing a near-optimal deterministic data structure that maintains $(1+\epsilon)$-approximate distance estimates and runs in $m^{1+o(1)}$ total update time. Our result, in particular, removes the oblivious adversary assumption required by the previous breakthrough result by Henzinger et al. [FOCS'14], which leads to our second result: the first almost-linear time algorithm for $(1-\epsilon)$-approximate min-cost flow in undirected graphs where capacities and costs can be taken over edges and vertices. Previously, algorithms for max flow with vertex capacities, or min-cost flow with any capacities required super-linear time. Our result essentially completes the picture for approximate flow in undirected graphs. The key technique of the first result is a novel framework that allows us to treat low-diameter graphs like expanders. This allows us to harness expander properties while bypassing shortcomings of expander decomposition, which almost all previous expander-based algorithms needed to deal with. For the second result, we break the notorious flow-decomposition barrier from the multiplicative-weight-update framework using randomization.


title: Stable Recovery of Entangled Weights: Towards Robust Identification of Deep Neural Networks from Minimal Samples

abstract: In this paper we approach the problem of unique and stable identifiability of generic deep artificial neural networks with pyramidal shape and smooth activation functions from a finite number of input-output samples. More specifically we introduce the so-called entangled weights, which compose weights of successive layers intertwined with suitable diagonal and invertible matrices depending on the activation functions and their shifts. We prove that entangled weights are completely and stably approximated by an efficient and robust algorithm as soon as $\mathcal O(D^2 \times m)$ nonadaptive input-output samples of the network are collected, where $D$ is the input dimension and $m$ is the number of neurons of the network. Moreover, we empirically observe that the approach applies to networks with up to $\mathcal O(D \times m_L)$ neurons, where $m_L$ is the number of output neurons at layer $L$. Provided knowledge of layer assignments of entangled weights and of remaining scaling and shift parameters, which may be further heuristically obtained by least squares, the entangled weights identify the network completely and uniquely. To highlight the relevance of the theoretical result of stable recovery of entangled weights, we present numerical experiments, which demonstrate that multilayered networks with generic weights can be robustly identified and therefore uniformly approximated by the presented algorithmic pipeline. In contrast backpropagation cannot generalize stably very well in this setting, being always limited by relatively large uniform error. In terms of practical impact, our study shows that we can relate input-output information uniquely and stably to network parameters, providing a form of explainability. Moreover, our method paves the way for compression of overparametrized networks and for the training of minimal complexity networks.


title: A fractional version of Rivi\`ere's GL(N)-gauge

abstract: We prove that for antisymmetric vectorfield $\Omega$ with small $L^2$-norm there exists a gauge $A \in L^\infty \cap \dot{W}^{1/2,2}(\mathbb{R}^1,GL(N))$ such that ${\rm div}_{\frac12} (A\Omega - d_{\frac{1}{2}} A) = 0$. This extends a celebrated theorem by Rivi\`ere to the nonlocal case and provides conservation laws for a class of nonlocal equations with antisymmetric potentials, as well as stability under weak convergence.


title: PRESTO: Simple and Scalable Sampling Techniques for the Rigorous Approximation of Temporal Motif Counts

abstract: The identification and counting of small graph patterns, called network motifs, is a fundamental primitive in the analysis of networks, with application in various domains, from social networks to neuroscience. Several techniques have been designed to count the occurrences of motifs in static networks, with recent work focusing on the computational challenges provided by large networks. Modern networked datasets contain rich information, such as the time at which the events modeled by the networks edges happened, which can provide useful insights into the process modeled by the network. The analysis of motifs in temporal networks, called temporal motifs, is becoming an important component in the analysis of modern networked datasets. Several methods have been recently designed to count the number of instances of temporal motifs in temporal networks, which is even more challenging than its counterpart for static networks. Such methods are either exact, and not applicable to large networks, or approximate, but provide only weak guarantees on the estimates they produce and do not scale to very large networks. In this work we present an efficient and scalable algorithm to obtain rigorous approximations of the count of temporal motifs. Our algorithm is based on a simple but effective sampling approach, which renders our algorithm practical for very large datasets. Our extensive experimental evaluation shows that our algorithm provides estimates of temporal motif counts which are more accurate than the state-of-the-art sampling algorithms, with significantly lower running time than exact approaches, enabling the study of temporal motifs, of size larger than the ones considered in previous works, on billion edges networks.


title: Comparison of round- and square-core fibers for sensing, imaging and spectroscopy

abstract: Multimode fibers (MMFs) show great promise as miniature probes for sensing, imaging and spectroscopy applications. Different parameters of the fibers, such as numerical aperture, refractive index profile and length, have been already optimized for better performance. Here we investigate the role of the core shape, in particular for wavefront shaping applications where a focus is formed at the output of the MMF. We demonstrate that in contrast to a conventional round-core MMF, a square-core design doesn't suffer from focus aberrations. Moreover, we find that how the interference pattern behind a square-core fiber decorrelates with the input frequency is largely independent of the input light coupling. Finally, we demonstrate that a square core shape provides an on-average uniform distribution of the output intensity, free from the input-output correlations seen in round fibers, showing great promise for imaging and spectroscopy applications.


title: Spectroscopy and polarimetry of the gravitationally lensed quasar Q0957+561

abstract: We present new spectroscopic and polarimetric observations of the first discovered gravitational lens Q0957+561 obtained with the 6m telescope of the Special Astrophysical Observatory (SAO, Russia). We explore spectropolarimetric parameters of Q0957+561 A,B components to investigate the innermost structure of the quasar, and explore the nature of polarization in lensed quasars. Additionally, we compare their present-day spectral characteristics with previous observations in order to study long-term spectral changes. We analyze spectral characteristics of lensed quasar comparing spectra of A and B images, as well as comparing previously observed image spectra with present-day ones. The polarization parameters of A-B images are compared. We also model the macro-lens influence on the polarization of the images representing the gravitational lens with a singular isothermal elliptical potential. We find that the brightness and SED ratio of components A and B changed during a long period. Polarization in broad lines of components A and B showed that the equatorial scattering cannot be detected in this quasar. We find wavelength-dependent polarization that may be explained as a combination of the polarization from the disc and outflowing material. There is a significant difference between polarization parameters of the A and B images: the B component shows a higher polarization degree and polarization angle. However, both polarization vectors are nearly perpendicular to the observed radio jet projection. It indicates that the polarization in the continuum is coming from the accretion disc. Our simple lensing model of a polarized source showed that macro-lens can cause the observed differences in polarization parameters of Q0957+561 A,B images. Using Mg II broad line and luminosity of component A we estimated that the Q0957+561 black hole mass is M~(4.8-6.1) $10^8$ M$\odot$


title: Revisiting the Auction Algorithm for Weighted Bipartite Perfect Matchings

abstract: We study the classical weighted perfect matchings problem for bipartite graphs or sometimes referred to as the assignment problem, i.e., given a weighted bipartite graph $G = (U\cup V,E)$ with weights $w : E \rightarrow \mathcal{R}$ we are interested to find the maximum matching in $G$ with the minimum/maximum weight. In this work we present a new and arguably simpler analysis of one of the earliest techniques developed for solving the assignment problem, namely the auction algorithm. Using our analysis technique we present tighter and improved bounds on the runtime complexity for finding an approximate minumum weight perfect matching in $k$-left regular sparse bipartite graphs.


title: Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications

abstract: In this paper we study the problem of synthesizing optimal control policies for uncertain continuous-time nonlinear systems from syntactically co-safe linear temporal logic (scLTL) formulas. We formulate this problem as a sequence of reach-avoid optimal control sub-problems. We show that the resulting hybrid optimal control policy guarantees the satisfaction of a given scLTL formula by constructing a barrier certificate. Since solving each optimal control problem may be computationally intractable, we take a learning-based approach to approximately solve this sequence of optimal control problems online without requiring full knowledge of the system dynamics. Using Lyapunov-based tools, we develop sufficient conditions under which our approximate solution maintains correctness. Finally, we demonstrate the efficacy of the developed method with a numerical example.


title: Maximizing approximately k-submodular functions

abstract: We introduce the problem of maximizing approximately $k$-submodular functions subject to size constraints. In this problem, one seeks to select $k$-disjoint subsets of a ground set with bounded total size or individual sizes, and maximum utility, given by a function that is "close" to being $k$-submodular. The problem finds applications in tasks such as sensor placement, where one wishes to install $k$ types of sensors whose measurements are noisy, and influence maximization, where one seeks to advertise $k$ topics to users of a social network whose level of influence is uncertain. To deal with the problem, we first provide two natural definitions for approximately $k$-submodular functions and establish a hierarchical relationship between them. Next, we show that simple greedy algorithms offer approximation guarantees for different types of size constraints. Last, we demonstrate experimentally that the greedy algorithms are effective in sensor placement and influence maximization problems.


title: DECT-2020 New Radio: The Next Step Towards 5G Massive Machine-Type Communications

abstract: Massive machine type communications (mMTC) is one of the cornerstone services that have to be supported by 5G systems. 3GPP has already introduced LTE-M and NB-IoT, often referred to as cellular IoT, in 3GPP Releases 13, 14, and 15 and submitted these technologies as part of 3GPP IMT-2020 (i.e., 5G) technology submission to ITU-R. Even though NB-IoT and LTE-M have shown to satisfy 5G mMTC requirements defined by ITU-R, it is expected that these cellular IoT solutions will not address all aspects of IoT and ongoing digitalization, including the support for direct communication between "things" with flexible deployments, different business models, as well as support for even higher node densities and enhanced coverage. In this paper, we introduce the DECT-2020 standard recently published by ETSI for mMTC communications. We evaluate its performance and compare it to the existing LPWAN solutions showing that it outperforms those in terms of supported density of nodes while still keeping delay and loss guarantees at the required level.


title: Comment on "Generators of matrix algebras in dimension 2 and 3"

abstract: Theorem 7 in Ref. [Linear Algebra Appl., 430, 1-6, (2009)] states sufficient conditions to determine whether a pair generates the algebra of 3x3 matrices over an algebraically closed field of characteristic zero. In that case, an explicit basis for the full algebra is provided, which is composed of words of small length on such pair. However, we show that this theorem is wrong since it is based on the validity of an identity which is not true in general.


title: Comment on "$\Lambda_c N$ interaction in leading order covariant chiral effective field theory"

abstract: Song et al. [Phys. Rev. C 102, 065208 (2020)] presented results for the $\Lambda_c N$ interaction based on an extrapolation of lattice simulations by the HAL QCD Collaboration at unphysical quark masses to the physical point via covariant chiral effective field theory. We point out that their predictions for the $^3D_1$ partial wave disagree with available lattice results. We discuss the origin of that disagreement and present a comparison with predictions from conventional (non-relativistic) chiral effective field theory.


title: Realizing Omega-regular Hyperproperties

abstract: We studied the hyperlogic HyperQPTL, which combines the concepts of trace relations and $\omega$-regularity. We showed that HyperQPTL is very expressive, it can express properties like promptness, bounded waiting for a grant, epistemic properties, and, in particular, any $\omega$-regular property. Those properties are not expressible in previously studied hyperlogics like HyperLTL. At the same time, we argued that the expressiveness of HyperQPTL is optimal in a sense that a more expressive logic for $\omega$-regular hyperproperties would have an undecidable model checking problem. We furthermore studied the realizability problem of HyperQPTL. We showed that realizability is decidable for HyperQPTL fragments that contain properties like promptness. But still, in contrast to the satisfiability problem, propositional quantification does make the realizability problem of hyperlogics harder. More specifically, the HyperQPTL fragment of formulas with a universal-existential propositional quantifier alternation followed by a single trace quantifier is undecidable in general, even though the projection of the fragment to HyperLTL has a decidable realizability problem. Lastly, we implemented the bounded synthesis problem for HyperQPTL in the prototype tool BoSy. Using BoSy with HyperQPTL specifications, we have been able to synthesize several resource arbiters. The synthesis problem of non-linear-time hyperlogics is still open. For example, it is not yet known how to synthesize systems from specifications given in branching-time hyperlogics like HyperCTL$^*$.


title: A quantified local-to-global principle for Morse quasigeodesics

abstract: In arXiv:1403.7671, Kapovich, Leeb and Porti gave several new characterizations of Anosov representations $\Gamma \to G$, including one where geodesics in the word hyperbolic group $\Gamma$ map to "Morse quasigeodesics" in the associated symmetric space $G/K$. In analogy with the negative curvature setting, they prove a local-to-global principle for Morse quasigeodesics and describe an algorithm which can verify the Anosov property of a given representation in finite time. However, some parts of their proof involve non-constructive compactness and limiting arguments, so their theorem does not explicitly quantify the size of the local neighborhoods one needs to examine to guarantee global Morse behavior. In this paper, we supplement their work with estimates in the symmetric space to obtain the first explicit criteria for their local-to-global principle. This makes their algorithm for verifying the Anosov property effective. As an application, we demonstrate how to compute explicit perturbation neighborhoods of Anosov representations with two examples.


title: Modeling ice crystal growth using the lattice Boltzmann method

abstract: Given the multitude of growth habits, pronounced sensitivity to ambient conditions and wide range of scales involved, snowflake crystals are one of the most challenging systems to model. The present work focuses on the development and validation of a coupled flow/species/phase solver based on the lattice Boltzmann method. It is first shown that the model is able to correctly capture species and phase growth coupling. Furthermore, through a study of crystal growth subject to ventilation effects, it is shown that the model correctly captures hydrodynamics-induced asymmetrical growth. The validated solver is then used to model snowflake growth under different ambient conditions with respect to humidity and temperature in the plate-growth regime section of the Nakaya diagram. The resulting crystal habits are compared to both numerical and experimental reference data available in the literature. The overall agreement with experimental data shows that the proposed algorithm correctly captures both the crystal shape and the onset of primary and secondary branching instabilities. As a final part of the study the effects of forced convection on snowflake growth are studied. It is shown, in agreement with observations in the literature, that under such condition the crystal exhibits non-symmetrical growth. The non-uniform humidity around the crystal due to forced convection can even result in the coexistence of different growth modes on different sides of the same crystal.


title: Topological electric driving of magnetization dynamics in insulators

abstract: Established forms of electromagnetic coupling are usually conservative (in insulators) or dissipative (in metals and semiconductors). Here we point out the possibility of nondissipative electric driving of magnetization dynamics, if the valence electronic states have nontrivial topology in the combined space of crystal momentum and magnetization configuration. We provide a hybrid insulator system to demonstrate that the topology-based nonconservative electrical generalized force is capable of supporting sustained magnetization motion in the presence of Gilbert damping, with quantized and steady energy pumping into magnetization motion from the electric field. We also generalize our results to magnetic textures, and discuss electric field induced Dzyaloshinskii-Moriya interaction which can be nonconservative.


title: Energy Production in Martian Environment -- Powering a Mars Direct-based Habitat

abstract: This thesis work aims to study the possibility of energy production on Martian soil and, in particular, to establish what might be an optimal configuration for an energy system. This goal has been contextualized in the will to feed a scientific base, based the concept of "Mars Direct" (Robert Zubrin, 1990). This habitat has been recreated in its thermal features, in order to perform an analysis of the heat loss over a Martian year (1,88 terrestrial years). As part of this analysis, two possible scenarios have been studied: clear sky with medium solar radiation ("sun season") and sand storm season ("storm season"). Subsequently, a basic life support system have been simulated thanks to Aspen PLUS. Using the results of the thermal analysis, it has been possible to obtain a thermal and electrical demand profile for the Hab. After identifying every possible energy source (solar, wind, nuclear, fuel cells, rtg), a calculation on Excel has been set with the purpose of finding one of the configurations with the lowest possible mass and pave the way for a further, more rigorous, optimization. It is indeed clear that shipping 1 kilogram to Mars has a cost of hundreds of thousand of dollars.


title: Energy-Efficient RIS-Assisted Satellites for IoT Networks

abstract: The use of satellites to provide ubiquitous coverage and connectivity for densely deployed Internet of Things (IoT) networks is expected to be a reality in emerging 6G networks. Yet the low battery capacity of IoT nodes constitutes a problem for their direct connectivity to satellites, which are located at altitudes of up to 2000 km. In this paper, we propose a novel architecture involving the use of reconfigurable intelligent surface (RIS) units to mitigate the path loss associated with long transmission distances. These RIS units can be placed on satellite reflectarrays, and, when used in broadcasting and beamforming, they can provide significant gains in signal transmission. This study shows that RIS-assisted satellites can provide up to 10^5 times higher downlink and achievable uplink rates for IoT networks.


title: Spatial deformation for non-stationary extremal dependence

abstract: Modelling the extremal dependence structure of spatial data is considerably easier if that structure is stationary. However, for data observed over large or complicated domains, non-stationarity will often prevail. Current methods for modelling non-stationarity in extremal dependence rely on models that are either computationally difficult to fit or require prior knowledge of covariates. Sampson and Guttorp (1992) proposed a simple technique for handling non-stationarity in spatial dependence by smoothly mapping the sampling locations of the process from the original geographical space to a latent space where stationarity can be reasonably assumed. We present an extension of this method to a spatial extremes framework by considering least squares minimisation of pairwise theoretical and empirical extremal dependence measures. Along with some practical advice on applying these deformations, we provide a detailed simulation study in which we propose three spatial processes with varying degrees of non-stationarity in their extremal and central dependence structures. The methodology is applied to Australian summer temperature extremes and UK precipitation to illustrate its efficacy compared to a naive modelling approach.


title: Steiner Configurations ideals: containment and colouring

abstract: Given a homogeneous ideal $I \subseteq k[x_0,\dots,x_n]$, the Containment problem studies the relation between symbolic and regular powers of $I$, that is, it asks for which pair $m, r \in \mathbb{N}$, $I^{(m)} \subseteq I^r$ holds. In the last years, several conjectures have been posed on this problem, creating an active area of current interests and ongoing investigations. In this paper, we investigated the Stable Harbourne Conjecture and the Stable Harbourne -- Huneke Conjecture and we show that they hold for the defining ideal of a Complement of a Steiner configuration of points in $\mathbb{P}^{n}_{k}$. We can also show that the ideal of a Complement of a Steiner Configuration of points has expected resurgence, that is, its resurgence is strictly less than its big height, and it also satisfies Chudnovsky and Demailly's Conjectures. Moreover, given a hypergraph $H$, we also study the relation between its colourability and the failure of the containment problem for the cover ideal associated to $H$. We apply these results in the case that $H$ is a Steiner System.


title: Generation of GelSight Tactile Images for Sim2Real Learning

abstract: Most current works in Sim2Real learning for robotic manipulation tasks leverage camera vision that may be significantly occluded by robot hands during the manipulation. Tactile sensing offers complementary information to vision and can compensate for the information loss caused by the occlusion. However, the use of tactile sensing is restricted in the Sim2Real research due to no simulated tactile sensors being available. To mitigate the gap, we introduce a novel approach for simulating a GelSight tactile sensor in the commonly used Gazebo simulator. Similar to the real GelSight sensor, the simulated sensor can produce high-resolution images by an optical sensor from the interaction between the touched object and an opaque soft membrane. It can indirectly sense forces, geometry, texture and other properties of the object and enables Sim2Real learning with tactile sensing. Preliminary experimental results have shown that the simulated sensor could generate realistic outputs similar to the ones captured by a real GelSight sensor. All the materials used in this paper are available at https://danfergo.github.io/gelsight-simulation.


title: Two body problem on a sphere in the presence of a uniform magnetic field

abstract: We investigate the motion of one and two charged non-relativistic particles on a sphere in the presence of a magnetic field of uniform strength. For one particle, the motion is always circular, and determined by a simple relation between the velocity and the radius of motion. For two identical particles, interacting via a cotangent potential, we show there are two families of relative equilibria, called Type I and Type II. The Type I relative equilibria exist for all strengths of the magnetic field, while those of Type II exist only if the field is sufficiently strong. The same is true if the particles are of equal mass but opposite charge. We also determine the stability of the two families of relative equilibria.


title: Beyond gold nanoparticles cytotoxicity: potential to impair metastasis hallmarks

abstract: This study aimed to investigate the antitumor effect of ultrasmall gold nanoparticles (AuNPs), around 3 nm, stabilized by the anionic polysaccharide gum arabic (GA-AuNPs). The focus was downregulation of cancer hallmarks of aggressive tumors, using a highly metastatic model of melanoma. We first demonstrated that GA-AuNPs showed excellent stability under biological environment. Non-cytotoxic concentrations to seven different cell lines, including tumorigenic and non-tumorigenic cells, were determined by standard 2D in vitro assays. Gold concentrations below 2.4 mg L-1 were non-cytotoxic and therefore chosen for further analyses. Cells exposed to GA-AuNPs were uptaken by melanoma cells through endocytic processes. Next, we described remarkable biological properties using non-cytotoxic concentrations of this nanomaterial. Invasion through an extracellular matrix barrier as well as 3D growth capacity (anchorage-independent colony formation and spheroids growth) were negatively affected by 2.4 mg L-1 GA-AuNPs. Additionally, exposed spheroids showed morphological changes, suggesting that GA-AuNPs could penetrate into the preformed tumor and affect its integrity. All together these results demonstrate that side effects, such as cytotoxicity, can be avoided by choosing the right concentration, nevertheless, preserving desirable effects such as modulation of key tumor cell malignancy features.


title: HarDNet-MSEG: A Simple Encoder-Decoder Polyp Segmentation Neural Network that Achieves over 0.9 Mean Dice and 86 FPS

abstract: We propose a new convolution neural network called HarDNet-MSEG for polyp segmentation. It achieves SOTA in both accuracy and inference speed on five popular datasets. For Kvasir-SEG, HarDNet-MSEG delivers 0.904 mean Dice running at 86.7 FPS on a GeForce RTX 2080 Ti GPU. It consists of a backbone and a decoder. The backbone is a low memory traffic CNN called HarDNet68, which has been successfully applied to various CV tasks including image classification, object detection, multi-object tracking and semantic segmentation, etc. The decoder part is inspired by the Cascaded Partial Decoder, known for fast and accurate salient object detection. We have evaluated HarDNet-MSEG using those five popular datasets. The code and all experiment details are available at Github. https://github.com/james128333/HarDNet-MSEG


title: The Broadcast Approach in Communication Networks

abstract: This paper reviews the theoretical and practical principles of the broadcast approach to communication over state-dependent channels and networks in which the transmitters have access to only the probabilistic description of the time-varying states while remaining oblivious to their instantaneous realizations. When the temporal variations are frequent enough, an effective long-term strategy is adapting the transmission strategies to the system's ergodic behavior. However, when the variations are infrequent, their temporal average can deviate significantly from the channel's ergodic mode, rendering a lack of instantaneous performance guarantees. To circumvent a lack of short-term guarantees, the {\em broadcast approach} provides principles for designing transmission schemes that benefit from both short- and long-term performance guarantees. This paper provides an overview of how to apply the broadcast approach to various channels and network models under various operational constraints.


title: Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

abstract: Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their potential consequences using Fault Tree (FT) and Event Tree (ET) methods, which are well-known dependability modeling techniques. Paper-and-pencil-based approaches and simulation tools, such as the Monte-Carlo approach, are commonly used to carry out CCD analysis, but lack the ability to rigorously verify essential system reliability properties. In this work, we propose to use formal techniques based on theorem proving for the formal modeling and step-analysis of CCDs to overcome the inaccuracies of the simulation-based analysis and the error-proneness of informal reasoning by mathematical proofs. In particular, we use the HOL4 theorem prover, which is a computer-based mathematical reasoning tool. To this end, we developed a formalization of CCDs in Higher-Order Logic (HOL), based on the algebraic approach, using HOL4. We demonstrate the practical effectiveness of the proposed CCD formalization by performing the formal reliability analysis of the IEEE 39-bus electrical power network. Also, we formally determine the Forced Outage Rate (FOR) of the power generation units and the network reliability index, i.e., System Average Interruption Duration Index (SAIDI). To assess the accuracy of our proposed approach, we compare our results with those obtained with MATLAB Monte-Carlo Simulation (MCS) as well as other state-of-the-art approaches for subsystem-level reliability analysis.


title: Deep Reinforcement Learning with Embedded LQR Controllers

abstract: Reinforcement learning is a model-free optimal control method that optimizes a control policy through direct interaction with the environment. For reaching tasks that end in regulation, popular discrete-action methods are not well suited due to chattering in the goal state. We compare three different ways to solve this problem through combining reinforcement learning with classical LQR control. In particular, we introduce a method that integrates LQR control into the action set, allowing generalization and avoiding fixing the computed control in the replay memory if it is based on learned dynamics. We also embed LQR control into a continuous-action method. In all cases, we show that adding LQR control can improve performance, although the effect is more profound if it can be used to augment a discrete action set.


title: There Are No Odd Perfect Numbers

abstract: While the general form of even perfect numbers is well-known, the existence or non-existence of odd perfect numbers is still an open problem. We address this problem and prove that if a natural number is odd, then it's not perfect.


title: Fuzzy Dark Matter and the 21cm Power Spectrum

abstract: We model the 21cm power spectrum across the Cosmic Dawn and the Epoch of Reionization (EoR) in fuzzy dark matter (FDM) cosmologies. The suppression of small mass halos in FDM models leads to a delay in the onset redshift of these epochs relative to cold dark matter (CDM) scenarios. This strongly impacts the 21cm power spectrum and its redshift evolution. The 21cm power spectrum at a given stage of the EoR/Cosmic Dawn process is also modified: in general, the amplitude of 21cm fluctuations is boosted by the enhanced bias factor of galaxy hosting halos in FDM. We forecast the prospects for discriminating between CDM and FDM with upcoming power spectrum measurements from HERA, accounting for degeneracies between astrophysical parameters and dark matter properties. If FDM constitutes the entirety of the dark matter and the FDM particle mass is 10-21eV, HERA can determine the mass to within 20 percent at 2-sigma confidence.


title: Partial Observability Approach for the Optimal Transparency Problem in Multi-agent Systems

abstract: This paper considers a network of agents, where each agent is assumed to take actions optimally with respect to a predefined payoff function involving the latest actions of the agent's neighbors. Neighborhood relationships stem from payoff functions rather than actual communication channels between the agents. A principal is tasked to optimize the network's performance by controlling the information available to each agent with regard to other agents' latest actions. The information control by the principal is done via a partial observability approach, which comprises a static partitioning of agents into blocks and making the mean of agents' latest actions within each block publicly available. While the problem setup is general in terms of the payoff functions and the network's performance metric, this paper has a narrower focus to illuminate the problem and how it can be addressed in practice. In particular, the performance metric is assumed to be a function of the steady-state behavior of the agents. After conducting a comprehensive steady-state analysis of the network, an efficient algorithm finding optimal partitions with respect to various performance metrics is presented and validated via numerical examples.


title: Twist-induced local curvature of filaments in DNA toroids

abstract: DNA toroidal bundles form upon condensation of one or multiple DNA filaments. DNA filaments in toroidal bundles are hexagonally packed, and collectively twist around the center line of the toroid. In a previous study, we and our coworkers argue that the filaments' curvature locally correlates with their density in the bundle, with the filaments less closely packed where their curvature appears to be higher. We base our claim on the assumption that twist has a negligible effect on the local curvature of filaments in DNA toroids. However, this remains to be proven. We fill this gap here, by calculating the distribution of filaments' curvature in a geometric model of twisted toroidal bundle, which we use to describe DNA toroids by an appropriate choice of parameters. This allows us to substantiate our previous study and suggest directions for future experiments.


title: Phase transitions and noise sensitivity on the Poisson space via stopping sets and decision trees

abstract: Proofs of sharp phase transition and noise sensitivity in percolation have been significantly simplified by the use of randomized algorithms, via the OSSS inequality (proved by O'Donnell, Saks, Schramm and Servedio (2005)) and the Schramm-Steif inequality for the Fourier-Walsh coefficients of functions defined on the Boolean hypercube. In this article, we prove intrinsic versions of the OSSS and Schramm-Steif inequalities for functionals of a general Poisson process, and apply these new estimates to deduce sufficient conditions - expressed in terms of randomized stopping sets - yielding sharp phase transitions, quantitative noise sensitivity, exceptional times and bounds on critical windows for monotonic Boolean Poisson functions. Our analysis is based on a new general definition of `stopping set', not requiring any topological property for the underlying measurable space, as well as on the new concept of a `continuous-time decision tree', for which we establish several fundamental properties. We apply our findings to the $k$-percolation of the Poisson Boolean model and to the Poisson-based confetti percolation with bounded random grains. In these two models, we reduce the proof of sharp phase transitions for percolation, and of noise sensitivity for crossing events, to the construction of suitable randomized stopping sets and the computation of one-arm probabilities. This enables us to settle some open problem suggested by Ahlberg, Tassion and Texeira (2018) on noise sensitivity of crossing events for the planar Poisson Boolean model and also planar Confetti percolation model. Further, we also prove that critical probability is $1/2$ in certain planar confetti percolation models. A special case of this result was conjectured by Benjamini and Schramm (1998) and proved by M\"uller (2017). Other special cases were proven by Hirsch (2015) and Ghosh and Roy (2018).


title: Gate-Tunable Quantum Anomalous Hall Effects in MnBi$_2$Te$_4$ Thin Films

abstract: The quantum anomalous Hall (QAH) effect has recently been realized in thin films of intrinsic magnetic topological insulators (IMTIs) like MnBi$_2$Te$_4$. Here we point out that that the QAH gaps of these IMTIs can be optimized, and that both axion insulator/semimetal and Chern insulator/semimetal transitions can be driven by electrical gate fields on the $\sim 10$ meV/nm scale. This effect is described by combining a simplified coupled-Dirac-cone model of multilayer thin films with Schr{\"o}dinger-Poisson self-consistent-field equations.


title: Evolution of the galaxy stellar mass function: evidence for an increasing $M^*$ from $z=2$ to the present day

abstract: Utilising optical and near-infrared broadband photometry covering $> 5\,{\rm deg}^2$ in two of the most well-studied extragalactic legacy fields (COSMOS and XMM-LSS), we measure the galaxy stellar mass function (GSMF) between $0.1 < z < 2.0$. We explore in detail the effect of two source extraction methods (SExtractor and ProFound) in addition to the inclusion/exclusion of Spitzer IRAC 3.6 and 4.5$\mu$m photometry when measuring the GSMF. We find that including IRAC data reduces the number of massive ($\log_{10}(M/M_\odot) > 11.25$) galaxies found due to improved photometric redshift accuracy, but has little effect on the more numerous lower-mass galaxies. We fit the resultant GSMFs with double Schechter functions down to $\log_{10}(M/M_\odot)$ = 7.75 (9.75) at z = 0.1 (2.0) and find that the choice of source extraction software has no significant effect on the derived best-fit parameters. However, the choice of methodology used to correct for the Eddington bias has a larger impact on the high-mass end of the GSMF, which can partly explain the spread in derived $M^*$ values from previous studies. Using an empirical correction to model the intrinsic GSMF, we find evidence for an evolving characteristic stellar mass with $\delta \log_{10}(M^*/M_\odot)/\delta z$ = $-0.16\pm0.05 \, (-0.11\pm0.05)$, when using SExtractor (ProFound). We argue that with widely quenched star formation rates in massive galaxies at low redshift ($z<0.5$), additional growth via mergers is required in order to sustain such an evolution to a higher characteristic mass.


title: "I Won the Election!": An Empirical Analysis of Soft Moderation Interventions on Twitter

abstract: Over the past few years, there is a heated debate and serious public concerns regarding online content moderation, censorship, and the principle of free speech on the Web. To ease these concerns, social media platforms like Twitter and Facebook refined their content moderation systems to support soft moderation interventions. Soft moderation interventions refer to warning labels attached to potentially questionable or harmful content to inform other users about the content and its nature while the content remains accessible, hence alleviating concerns related to censorship and free speech. In this work, we perform one of the first empirical studies on soft moderation interventions on Twitter. Using a mixed-methods approach, we study the users who share tweets with warning labels on Twitter and their political leaning, the engagement that these tweets receive, and how users interact with tweets that have warning labels. Among other things, we find that 72% of the tweets with warning labels are shared by Republicans, while only 11% are shared by Democrats. By analyzing content engagement, we find that tweets with warning labels had more engagement compared to tweets without warning labels. Also, we qualitatively analyze how users interact with content that has warning labels finding that the most popular interactions are related to further debunking false claims, mocking the author or content of the disputed tweet, and further reinforcing or resharing false claims. Finally, we describe concrete examples of inconsistencies, such as warning labels that are incorrectly added or warning labels that are not added on tweets despite sharing questionable and potentially harmful information.


abstract: We develop a theory of T-duality for transitive Courant algebroids. We show that T-duality between transitive Courant algebroids E\rightarrow M and \tilde{E}\rightarrow \tilde{M} induces a map between the spaces of sections of the corresponding canonical weighted spinor bundles \mathbb{S}_{E} and \mathbb{S}_{\tilde{E}} intertwining the canonical Dirac generating operators. The map is shown to induce an isomorphism between the spaces of invariant spinors, compatible with an isomorphism between the spaces of invariant sections of the Courant algebroids. The notion of invariance is defined after lifting the vertical parallelisms of the underlying torus bundles M\rightarrow B and \tilde{M} \rightarrow B to the Courant algebroids and their spinor bundles. We prove a general existence result for T-duals under assumptions generalizing the cohomological integrality conditions for T-duality in the exact case. Specializing our construction, we find that the T-dual of an exact or a heterotic Courant algebroid is again exact or heterotic, respectively.


title: Asymptotic estimates for the wave functions of the Dirac-Coulomb operator and applications

abstract: In this paper we prove some uniform asymptotic estimates for confluent hypergeometric functions making use of the steepest-descent method. As an application, we obtain Strichartz estimates with loss of angular derivatives for the massless Dirac-Coulomb equation in $3D$.


title: Refined blowup analysis and nonexistence of Type II blowups for an energy critical nonlinear heat equation

abstract: We consider the energy critical semilinear heat equation $$ \left\{\begin{aligned} &\partial_t u-\Delta u =|u|^{\frac{4}{n-2}}u &\mbox{in } {\mathbb R}^n\times(0,T),\\ &u(x,0)=u_0(x), \end{aligned}\right. $$ where $ n\geq 3$, $u_0\in L^\infty({\mathbb R}^n)$, and $T\in {\mathbb R}^+$ is the first blow up time. We prove that if $ n \geq 7$ and $ u_0 \geq 0$, then any blowup must be of Type I, i.e., \[\|u(\cdot, t)\|_{L^\infty({\mathbb R}^n)}\leq C(T-t)^{-\frac{1}{p-1}}.\] A similar result holds for bounded convex domains. The proof relies on a reverse inner-outer gluing mechanism and delicate analysis of bubbling behavior (bubbling tower/cluster).


title: On the Bounded Negativity Conjecture and singular plane curves

abstract: There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free conjectures as a replacement. We also develop bounds on numerical characteristics of curves constraining their negativity. For example, we show that the $H$-constant of a rational curve $C$ with at most $9$ singular points satisfies $H(C)>-2$ regardless of the characteristic.


title: Big mapping class groups and the co-Hopfian property

abstract: We study injective homomorphisms between big mapping class groups of infinite-type surfaces. First, we construct (uncountably many) examples of surfaces without boundary whose (pure) mapping class groups are not co-Hopfian; these are the first examples of injective endomorphisms of mapping class groups (of surfaces with empty boundary) that fail to be surjective. We then prove that, subject to some topological conditions on the domain surface, any continuous injective homomorphism between (arbitrary) big mapping class groups that sends Dehn twists to Dehn twists is induced by homeomorphism. Finally, we explore the extent to which, in stark contrast to the finite-type case, superinjective maps between curve graphs impose no topological restrictions on the underlying surfaces.


title: Structural disorder and antiferromagnetism in LaNi1-xPtxO3

abstract: We report on the B-site substitution of Pt in the system LaNi1-xPtxO3. The system can only be synthesized for x <= 0.50, with LaNiO3 (x = 0.00) and the stoichiometric double perovskite La2NiPtO6 (x = 0.50) as the end members. Higher Pt-contents (x > 0.50) are unachievable due to the preference of Pt to either be in oxidation state +IV in octahedral coordination. Upon introducing Pt into LaNiO3, a phase transformation from rhombohedral (R-3c) to monoclinic (P21/n) symmetry is observed for 0.075 <= x <= 0.125, where all monoclinic samples are B-site ordered, and Pt show a strong preference for the Pt-site. Powder X-ray diffraction analysis reveal disorder of the Pt-distribution in several of the samples with a non-equimolar Ni/Pt ratio (0.20 <= x <= 0.40), which point toward cluster formation with domains of high and low Pt-content within each sample. La2NiPtO6 further show an antiferromagnetic transition at approx. 40 K. A similar transition is observed for all monoclinic samples (x >= 0.20), however, the transition becomes weaker for lower x. This is explained in light of the structural disorder, i.e. by the coexistence of antiferromagnetic domains with long range order and paramagnetic domains dominated by short range antiferromagnetic interactions.


title: Incorporating Coincidental Water Data into Non-intrusive Load Monitoring

abstract: Non-intrusive load monitoring (NILM) as the process of extracting the usage pattern of appliances from the aggregated power signal is among successful approaches aiding residential energy management. In recent years, high volume datasets on power profiles have become available, which has helped make classification methods employed for the NILM purpose more effective and more accurate. However, the presence of multi-mode appliances and appliances with close power values have remained influential in worsening the computational complexity and diminishing the accuracy of these algorithms. To tackle these challenges, we propose an event-based classification process, in the first phase of which the $K$-nearest neighbors method, as a fast classification technique, is employed to extract power signals of appliances with exclusive non-overlapping power values. Then, two deep learning models, which consider the water consumption of some appliances as a novel signature in the network, are utilized to distinguish between appliances with overlapping power values. In addition to power disaggregation, the proposed process as well extracts the water consumption profiles of specific appliances. To illustrate the proposed process and validate its efficiency, seven appliances of the AMPds are considered, with the numerical classification results showing marked improvement with respect to the existing classification-based NILM techniques.


title: Quantification of Disaggregation Difficulty with Respect to the Number of Meters

abstract: A promising approach toward efficient energy management is non-intrusive load monitoring (NILM), that is to extract the consumption profiles of appliances within a residence by analyzing the aggregated consumption signal. Among efficient NILM methods are event-based algorithms in which events of the aggregated signal are detected and classified in accordance with the appliances causing them. The large number of appliances and the presence of appliances with close consumption values are known to limit the performance of event-based NILM methods. To tackle these challenges, one could enhance the feature space which in turn results in extra hardware costs, installation complexity, and concerns regarding the consumer's comfort and privacy. This has led to the emergence of an alternative approach, namely semi-intrusive load monitoring (SILM), where appliances are partitioned into blocks and the consumption of each block is monitored via separate power meters. While a greater number of meters can result in more accurate disaggregation, it increases the monetary cost of load monitoring, indicating a trade-off that represents an important gap in this field. In this paper, we take a comprehensive approach to close this gap by establishing a so-called notion of "disaggregation difficulty metric (DDM)," which quantifies how difficult it is to monitor the events of any given group of appliances based on both their power values and the consumer's usage behavior. Thus, DDM in essence quantifies how much is expected to be gained in terms of disaggregation accuracy of a generic event-based algorithm by installing meters on the blocks of any partition of the appliances. Experimental results based on the REDD dataset illustrate the practicality of the proposed approach in addressing the aforementioned trade-off.


title: Zero-error attack against coherent-one-way quantum key distribution

abstract: Coherent-one-way (COW) quantum key distribution (QKD) held the promise of distributing secret keys over long distances with a simple experimental setup. Indeed, this scheme is currently used in commercial applications. Surprisingly, however, it has been recently shown that its secret key rate scales at most quadratically with the system's transmittance and, thus, it is not appropriate for long distance QKD transmission. Such pessimistic result was derived by employing a so-called zero-error attack, in which the eavesdropper does not introduce any error, but still the legitimate users of the system cannot distill a secure key. Here, we present a zero-error attack against COW-QKD that is essentially optimal, in the sense that no other attack can restrict further its maximum achievable distance in the absence of errors. This translates into an upper bound on its secret key rate that is more than an order of magnitude lower than previously known upper bounds.