title: On syntactically similar logic programs and sequential decompositions

abstract: Rule-based reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via logic programs. Describing complex objects as the composition of elementary ones is a common strategy in computer science and science in general. The author has recently introduced the sequential composition of logic programs in the context of logic-based analogical reasoning and learning in logic programming. Motivated by these applications, in this paper we construct a qualitative and algebraic notion of syntactic logic program similarity from sequential decompositions of programs. We then show how similarity can be used to answer queries across different domains via a one-step reduction. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.


title: Operator Delocalization in Quantum Networks

abstract: We investigate the delocalization of operators in non-chaotic quantum systems whose interactions are encoded in an underlying graph or network. In particular, we study how fast operators of different sizes delocalize as the network connectivity is varied. We argue that these delocalization properties are well captured by Krylov complexity and show, numerically, that efficient delocalization of large operators can only happen within sufficiently connected network topologies. Finally, we demonstrate how this can be used to furnish a deeper understanding of the quantum charging advantage of a class of SYK-like quantum batteries.


title: Contractibility of boundaries of cocompact convex sets and embeddings of limit sets

abstract: We provide sufficient conditions as to when a boundary component of a cocompact convex set in a CAT(0)-space is contractible. We then use this to study when the limit set of a quasi-convex, codimension one subgroup of a negatively curved manifold group is `wild' in the boundary. The proof is based on a notion of coarse upper curvature bounds in terms of barycenters and the careful study of interpolation in geodesic metric spaces.


title: Closed-loop targeted optogenetic stimulation of C. elegans populations

abstract: We present a high-throughput optogenetic illumination system capable of simultaneous closed-loop light delivery to specified targets in populations of moving Caenorhabditis elegans. The instrument addresses three technical challenges: it delivers targeted illumination to specified regions of the animal's body such as its head or tail; it automatically delivers stimuli triggered upon the animal's behavior; and it achieves high throughput by targeting many animals simultaneously. The instrument was used to optogenetically probe the animal's behavioral response to competing mechanosensory stimuli in the the anterior and posterior soft touch receptor neurons. Responses to more than $10^4$ stimulus events from a range of anterior-posterior intensity combinations were measured. The animal's probability of sprinting forward in response to a mechanosensory stimulus depended on both the anterior and posterior stimulation intensity, while the probability of reversing depended primarily on the posterior stimulation intensity. We also probed the animal's response to mechanosensory stimulation during the onset of turning, a relatively rare behavioral event, by delivering stimuli automatically when the animal began to turn. Using this closed-loop approach, over $10^3$ stimulus events were delivered during turning onset at a rate of 9.2 events per worm-hour, a greater than 25-fold increase in throughput compared to previous investigations. These measurements validate with greater statistical power previous findings that turning acts to gate mechanosensory evoked reversals. Compared to previous approaches, the current system offers targeted optogenetic stimulation to specific body regions or behaviors with many-fold increases in throughput to better constrain quantitative models of sensorimotor processing.


title: Temperature effect on the cardiac ryanodine receptor gating and conductance: mathematical modelling

abstract: The temperature effect on the cardiac ryanodine receptor (RyR) function has been studied within the electron-conformational (EC) model. It is shown that simple EC model with the Arrhenius like temperature dependence of "internal" and "external" frictions and a specific thermosensitivity of the tunnelling "open - close" transitions can provide both qualitative and quantitative description of the temperature effects for isolated RyRs. The potential of the model was illustrated by explaining the experimental data on the temperature dependence of sheep's isolated cardiac RyR gating and conductance (R. Sitsapesan et al., J Physiol 434, 469 (1991)).


title: Blow-up for a non-linear stable non-Gaussian process in fractional time

abstract: The behaviour of solutions for a non-linear diffusion problem is studied. A subordination principle is applied to obtain the variation of parameters formula in the sense of Volterra equations, which leads to the integral representation of a solution in terms of the fundamental solutions. This representation, the so-called mild solution, is used to investigate some properties about continuity and non-negativeness of solutions as well as to prove a Fujita type blow-up result. Fujita's critical exponent is established in terms of the parameters of the stable non-Gaussian process and a result for global solutions is given.


title: Laplacian State Transfer on Graphs with an Edge Perturbation Between Twin Vertices

abstract: We consider quantum state transfer relative to the Laplacian matrix of a graph. Let $N(u)$ denote the set of all neighbors of a vertex $u$ in a graph $G$. A pair of vertices $u$ and $v$ are called twin vertices of $G$ provided $N(u)\setminus\{v \}=N(v)\setminus\{u \}$. We investigate the existence of quantum state transfer between a pair of twin vertices in a graph when the edge between the vertices is perturbed. We find that removal of any set of pairwise non-adjacent edges from a complete graph with a number of vertices divisible by $4$ results Laplacian perfect state transfer (or LPST) at $\frac{\pi}{2}$ between the end vertices of every edge removed. Further, we show that all Laplacian integral graphs with a pair of twin vertices exhibit LPST when the edge between the vertices is perturbed. In contrast, we conclude that LPST can be achieved in every complete graph between the end vertices of any number of suitably perturbed non-adjacent edges. The results are further generalized to obtain a family of edge perturbed circulant graphs exhibiting Laplacian pretty good state transfer (or LPGST) between twin vertices. A subfamily of which is also identified to admit LPST at $\frac{\pi}{2}$.


title: Swift J011511.0-725611: Discovery of a rare Be Star / White Dwarf binary system in the SMC

abstract: We report on the discovery of Swift J011511.0-725611, a rare Be X-ray binary system (BeXRB) with a White Dwarf (WD) compact object, in the Small Magellanic Cloud (SMC) by S-CUBED, a weekly X-ray/UV survey of the SMC by the Neil Gehrels Swift Observatory. Observations show an approximately 3 month outburst from Swift J011511.0-725611, the first detected by S-CUBED since it began in 2016 June. Swift J011511.0-725611 shows super-soft X-ray emission, indicative of a White Dwarf compact object, which is further strengthened by the presence of an 0.871 keV edge, commonly attributed to O viii K-edge in the WD atmosphere. Spectroscopy by SALT confirms the Be nature of the companion star, and long term light-curve by OGLE finds both the signature of a circumstellar disk in the system at outburst time, and the presence of a 17.4 day periodicity, likely the orbital period of the system. Swift J011511.0-725611 is suggested to be undergoing a Type-II outburst, similar to the previously reported SMC Be White Dwarf binary (BeWD), Swift J004427.3-734801. It is likely that the rarity of known BeWD is in part due to the difficulty in detecting such outbursts due to both their rarity, and their relative faintness compared to outbursts in Neutron Star BeXRBs.


title: Transverse momentum analysis of collective motion in relativistic nuclear collisions

abstract: Novel transverse-momentum technique is used to analyse charged-particle exclusive data for collective motion in the Ar+KCl reaction at 1.8 GeV/nucl. Previous analysis of this reaction, employing the standard sphericity tensor, revealed no significant effect. In the present analysis, collective effects are observed, and they are substantially stronger than in the Cugnon cascade model, but weaker than in the hydrodynamical model.


title: ADAPT: Mitigating Idling Errors in Qubits via Adaptive Dynamical Decoupling

abstract: The fidelity of applications on near-term quantum computers is limited by hardware errors. In addition to errors that occur during gate and measurement operations, a qubit is susceptible to idling errors, which occur when the qubit is idle and not actively undergoing any operations. To mitigate idling errors, prior works in the quantum devices community have proposed Dynamical Decoupling (DD), that reduces stray noise on idle qubits by continuously executing a specific sequence of single-qubit operations that effectively behave as an identity gate. Unfortunately, existing DD protocols have been primarily studied for individual qubits and their efficacy at the application-level is not yet fully understood. Our experiments show that naively enabling DD for every idle qubit does not necessarily improve fidelity. While DD reduces the idling error-rates for some qubits, it increases the overall error-rate for others due to the additional operations of the DD protocol. Furthermore, idling errors are program-specific and the set of qubits that benefit from DD changes with each program. To enable robust use of DD, we propose Adaptive Dynamical Decoupling (ADAPT), a software framework that estimates the efficacy of DD for each qubit combination and judiciously applies DD only to the subset of qubits that provide the most benefit. ADAPT employs a Decoy Circuit, which is structurally similar to the original program but with a known solution, to identify the DD sequence that maximizes the fidelity. To avoid the exponential search of all possible DD combinations, ADAPT employs a localized algorithm that has linear complexity in the number of qubits. Our experiments on IBM quantum machines (with 16-27 qubits) show that ADAPT improves the application fidelity by 1.86x on average and up-to 5.73x compared to no DD and by 1.2x compared to DD on all qubits.


title: Can we illuminate our cities and (still) see the stars?

abstract: Could we enjoy starry skies in our cities again? Arguably yes. The actual number of visible stars will depend, among other factors, on the spatial density of the overall city light emissions. In this paper it is shown that reasonably dark skies could be achieved in urban settings, even at the center of large metropolitan areas, if the light emissions are kept within admissible levels and direct glare from the light sources is avoided. These results may support the adoption of science-informed, democratic public decisions on the use of light in our municipalities, with the goal of recovering the possibility of contemplating the night sky everywhere in our planet.


title: Internal friction as possible key factor governing the thermosensitivity of TRP channels

abstract: Six thermo-activated transient receptor potential (TRP) channels are the molecular basis of the thermosensation for mammals. But the molecular source of their gating remains unknown. In the Letter, we suggest a physically based model for the TRP channels and show that the temperature dependence of the "internal friction" can be a key factor governing the ion channels gating. Results of the computer modeling allowed us to successfully reproduce the experimental data for the open probability Popen of the TRPV1 and TRPM8 channels at different temperatures and voltages.


title: Looking for Confirmations: An Effective and Human-Like Visual Dialogue Strategy

abstract: Generating goal-oriented questions in Visual Dialogue tasks is a challenging and long-standing problem. State-Of-The-Art systems are shown to generate questions that, although grammatically correct, often lack an effective strategy and sound unnatural to humans. Inspired by the cognitive literature on information search and cross-situational word learning, we design Confirm-it, a model based on a beam search re-ranking algorithm that guides an effective goal-oriented strategy by asking questions that confirm the model's conjecture about the referent. We take the GuessWhat?! game as a case-study. We show that dialogues generated by Confirm-it are more natural and effective than beam search decoding without re-ranking.


title: Impedance Spectroscopy of SmB$_6$ single crystals

abstract: We report results from an in--plane and out--of--plane impedance study on SmB$_6$ single crystals, performed at low temperatures and over a wide frequency range. A universal equivalent circuit describes the dielectric behavior of this system across the transition, from surface to bulk dominated electrical conduction between 2 and 10 K. We identify the resistive, capacitive, and inductive contributions to the impedance. The equivalent inductance, obtained from fits to experimental data, drops drastically as the bulk starts to control electrical conduction upon increasing temperature. SmB$_6$ single crystals also show current--controlled negative differential resistance at low temperatures, which is brought about by Joule heating. This feature, in addition to inductive and capacitive contributions to the impedance, can give rise to the self--sustained voltage oscillations observed below 5 K (Stern {\it et al.}, Phys. Rev. Lett. {\bf 116}, 166603 (2016)).


title: JigSaw: Boosting Fidelity of NISQ Programs via Measurement Subsetting

abstract: Near-term quantum computers contain noisy devices, which makes it difficult to infer the correct answer even if a program is run for thousands of trials. On current machines, qubit measurements tend to be the most error-prone operations (with an average error-rate of 4%) and often limit the size of quantum programs that can be run reliably on these systems. As quantum programs create and manipulate correlated states, all the program qubits are measured in each trial and thus, the severity of measurement errors increases with the program size. The fidelity of quantum programs can be improved by reducing the number of measurement operations. We present JigSaw, a framework that reduces the impact of measurement errors by running a program in two modes. First, running the entire program and measuring all the qubits for half of the trials to produce a global (albeit noisy) histogram. Second, running additional copies of the program and measuring only a subset of qubits in each copy, for the remaining trials, to produce localized (higher fidelity) histograms over the measured qubits. JigSaw then employs a Bayesian post-processing step, whereby the histograms produced by the subset measurements are used to update the global histogram. Our evaluations using three different IBM quantum computers with 27 and 65 qubits show that JigSaw improves the success rate on average by 3.6x and up-to 8.4x. Our analysis shows that the storage and time complexity of JigSaw scales linearly with the number of qubits and trials, making JigSaw applicable to programs with hundreds of qubits.


title: Area-law versus R\'enyi and Tsallis black hole entropies

abstract: The R\'enyi and Tsallis entropies are discussed as possible alternatives to the Bekenstein-Hawking area-law entropy. It is pointed out how replacing the entropy notion, but not the Hawking temperature and the thermodynamical energy may render the whole black hole thermodynamics inconsistent. The possibility to relate the R\'enyi and Tsallis entropies with the quantum gravity corrected Bekenstein-Hawking entropy is discussed.


title: Successive Decode-and-Forward Relaying with Reconfigurable Intelligent Surfaces

abstract: The key advantage of successive relaying (SR) networks is their ability to mimic the full-duplex (FD) operation with half-duplex (HD) relays. However, the main challenge that comes with such schemes is the associated inter-relay interference (IRI). In this work, we propose a reconfigurable intelligent surface (RIS)-enhanced SR network, where one RIS is deployed near each of the two relay nodes to provide spatial suppression of IRI, and to maximize the gain of desired signals. The resultant max-min optimization problem with joint phase-shift design for both RISs is first tackled via the semidefinite programming (SDP) approach. Then, a lower-complexity solution suitable for real-time implementation is proposed based on particle swarm optimization (PSO). Numerical results demonstrate that even relatively small RISs can provide significant gains in achievable rates of SR networks, and the proposed PSO scheme can achieve a near optimal performance.


title: Bayesian Topic Regression for Causal Inference

abstract: Causal inference using observational text data is becoming increasingly popular in many research areas. This paper presents the Bayesian Topic Regression (BTR) model that uses both text and numerical information to model an outcome variable. It allows estimation of both discrete and continuous treatment effects. Furthermore, it allows for the inclusion of additional numerical confounding factors next to text data. To this end, we combine a supervised Bayesian topic model with a Bayesian regression framework and perform supervised representation learning for the text features jointly with the regression parameter training, respecting the Frisch-Waugh-Lovell theorem. Our paper makes two main contributions. First, we provide a regression framework that allows causal inference in settings when both text and numerical confounders are of relevance. We show with synthetic and semi-synthetic datasets that our joint approach recovers ground truth with lower bias than any benchmark model, when text and numerical features are correlated. Second, experiments on two real-world datasets demonstrate that a joint and supervised learning strategy also yields superior prediction results compared to strategies that estimate regression weights for text and non-text features separately, being even competitive with more complex deep neural networks.


title: Self-ordered Time Crystals: Periodic Temporal Order Under Quasiperiodic Driving

abstract: A discrete time crystal is a remarkable non-equilibrium phase of matter characterized by persistent sub-harmonic response to a periodic drive. Motivated by the question of whether such time-crystalline order can persist when the drive becomes aperiodic, we investigate the dynamics of a Lipkin-Meshkov-Glick model under quasiperiodic kicking. Intriguingly, this infinite-range-interacting spin chain can exhibit long-lived periodic oscillations when the kicking amplitudes are drawn from the Thue-Morse sequence (TMS). We dub this phase a ``self-ordered time crystal" (SOTC), and demonstrate that our model hosts at least two qualitatively distinct prethermal SOTC phases. These SOTCs are robust to various perturbations, and they originate from the interplay of long-range interactions and the recursive structure of the TMS. Our results suggest that quasiperiodic driving protocols can provide a promising route for realizing novel non-equilibrium phases of matter in long-range interacting systems.


title: HyP-ABC: A Novel Automated Hyper-Parameter Tuning Algorithm Using Evolutionary Optimization

abstract: Machine learning techniques lend themselves as promising decision-making and analytic tools in a wide range of applications. Different ML algorithms have various hyper-parameters. In order to tailor an ML model towards a specific application, a large number of hyper-parameters should be tuned. Tuning the hyper-parameters directly affects the performance (accuracy and run-time). However, for large-scale search spaces, efficiently exploring the ample number of combinations of hyper-parameters is computationally challenging. Existing automated hyper-parameter tuning techniques suffer from high time complexity. In this paper, we propose HyP-ABC, an automatic innovative hybrid hyper-parameter optimization algorithm using the modified artificial bee colony approach, to measure the classification accuracy of three ML algorithms, namely random forest, extreme gradient boosting, and support vector machine. Compared to the state-of-the-art techniques, HyP-ABC is more efficient and has a limited number of parameters to be tuned, making it worthwhile for real-world hyper-parameter optimization problems. We further compare our proposed HyP-ABC algorithm with state-of-the-art techniques. In order to ensure the robustness of the proposed method, the algorithm takes a wide range of feasible hyper-parameter values, and is tested using a real-world educational dataset.


title: Deformation-Aware Data-Driven Grasp Synthesis

abstract: Grasp synthesis for 3D deformable objects remains a little-explored topic, most works aiming to minimize deformations. However, deformations are not necessarily harmful -- humans are, for example, able to exploit deformations to generate new potential grasps. How to achieve that on a robot is though an open question. This paper proposes an approach that uses object stiffness information in addition to depth images for synthesizing high-quality grasps. We achieve this by incorporating object stiffness as an additional input to a state-of-the-art deep grasp planning network. We also curate a new synthetic dataset of grasps on objects of varying stiffness using the Isaac Gym simulator for training the network. We experimentally validate and compare our proposed approach against the case where we do not incorporate object stiffness on a total of 2800 grasps in simulation and 420 grasps on a real Franka Emika Panda. The experimental results show significant improvement in grasp success rate using the proposed approach on a wide range of objects with varying shapes, sizes, and stiffness. Furthermore, we demonstrate that the approach can generate different grasping strategies for different stiffness values, such as pinching for soft objects and caging for hard objects. Together, the results clearly show the value of incorporating stiffness information when grasping objects of varying stiffness.


title: Classification of quantum states based on the null energy condition

abstract: Violation of the null energy condition plays an important role both in the general theory of relativity and quantum field theory in curved spacetimes. Over the years, it has been shown that the violation of the null energy condition leads to instability and violation of causality. In quantum field theory, violation of the energy condition also depends on the quantum states apart from the geometry of curved spacetime. Hence, the quantum effects play an important role in the violation of the null energy condition. We show that the set of all the coherent states does not violate the null energy condition. Further, we also show that under certain conditions, the null energy condition is violated either by a pure state or a mixed state. Furthermore, the dynamical violation of the null energy condition by the quantum states is also discussed here.


title: Latent Hatred: A Benchmark for Understanding Implicit Hate Speech

abstract: Hate speech has grown significantly on social media, causing serious consequences for victims of all demographics. Despite much attention being paid to characterize and detect discriminatory speech, most work has focused on explicit or overt hate speech, failing to address a more pervasive form based on coded or indirect language. To fill this gap, this work introduces a theoretically-justified taxonomy of implicit hate speech and a benchmark corpus with fine-grained labels for each message and its implication. We present systematic analyses of our dataset using contemporary baselines to detect and explain implicit hate speech, and we discuss key features that challenge existing models. This dataset will continue to serve as a useful benchmark for understanding this multifaceted issue.


title: Controlling Dipolar Interaction Effect in Two-Dimensional Magnetic Nanostructures

abstract: We investigate the dependence of magnetic properties on the out-of-plane disorder strength $\Delta$, dipolar interaction strength $h^{}_d$ in two-dimensional ($l^{}_x\times l^{}_y$) ensembles of nanoparticles using numerical simulations. Such positional defects are redundantly observed in experiments. The superparamagnetic character is dominant with negligible and weak interaction strength $h^{}_d$, irrespective of $\Delta$ and aspect ratio of the system $A^{}_r=l^{}_y/l^{}_x$. The double-loop hysteresis curve, characteristics of antiferromagnetic coupling dominance, emerges with large $h^{}_d$ and $\Delta(\%)\leq5$ in the square-like nanoparticles' assays. Remarkably, the dipolar interaction of sufficient strength drives the magnetic order from antiferromagnetic to ferromagnetic with large $\Delta$ and $A^{}_r\leq4.0$, resulting in an enhancement in the hysteresis loop area. On the other hand, the ferromagnetic coupling gets increased with $h^{}_d$ in systems with huge $A^{}_r$. Consequently, the hysteresis loop is enormous, even with moderate $h^{}_d$. The variation of the coercive field $\mu^{}_oH^{}_c$, remanence $M^{}_r$, and amount of heat released $E^{}_H$ (due to the hysteresis) with these parameters also suggests the transformation of nature dipolar interaction. They are significant even with large $h^{}_d$ and smaller $A^{}_r$, indicating the antiferromagnetic coupling dominance. Interestingly, there is an enhancement in these with $\Delta$ and large $h^{}_d$ due to ferromagnetic interaction. Notably, they are very significant even with moderate $h^{}_d$ in the highly anisotropic system and external field along the long axis of the sample. These results could help the experimentalist in explaining the unusual hysteresis characteristics observed in such systems and should also be beneficial in diverse applications such as data storage, magnetic hyperthermia, etc.


title: Large-scale local surrogate modeling of stochastic simulation experiments

abstract: Gaussian process (GP) surrogate modeling for large computer experiments is limited by cubic runtimes, especially with data from stochastic simulations with input-dependent noise. A popular workaround to reduce computational complexity involves local approximation (e.g., LAGP). However, LAGP has only been vetted in deterministic settings. A recent variation utilizing inducing points (LIGP) for additional sparsity improves upon LAGP on the speed-vs-accuracy frontier. The authors show that another benefit of LIGP over LAGP is that (local) nugget estimation for stochastic responses is more natural, especially when designs contain substantial replication as is common when attempting to separate signal from noise. Woodbury identities, extended in LIGP from inducing points to replicates, afford efficient computation in terms of unique design locations only. This increases the amount of local data (i.e., the neighborhood size) that may be incorporated without additional flops, thereby enhancing statistical efficiency. Performance of the authors' LIGP upgrades is illustrated on benchmark data and real-world stochastic simulation experiments, including an options pricing control framework. Results indicatethat LIGP provides more accurate prediction and uncertainty quantification for varying data dimension and replication strategies versus modern alternatives.


title: To Protect and To Serve? Analyzing Entity-Centric Framing of Police Violence

abstract: Framing has significant but subtle effects on public opinion and policy. We propose an NLP framework to measure entity-centric frames. We use it to understand media coverage on police violence in the United States in a new Police Violence Frames Corpus of 82k news articles spanning 7k police killings. Our work uncovers more than a dozen framing devices and reveals significant differences in the way liberal and conservative news sources frame both the issue of police violence and the entities involved. Conservative sources emphasize when the victim is armed or attacking an officer and are more likely to mention the victim's criminal record. Liberal sources focus more on the underlying systemic injustice, highlighting the victim's race and that they were unarmed. We discover temporary spikes in these injustice frames near high-profile shooting events, and finally, we show protest volume correlates with and precedes media framing decisions.


title: Dzyaloshinskii interaction and exchange-relativistic effects in orthoferrites

abstract: We present an overview of the microscopic theory of the Dzyaloshinskii-Moriya (DM) coupling and related exchange-relativistic effects such as exchange anisotropy, electron-nuclear antisymmetric supertransferred hyperfine interactions, antisymmetric magnetogyrotropic effects, and antisymmetric magnetoelectric coupling in strongly correlated 3$d$ compounds focusing on orthoferrites RFeO$_3$ (R is a rare-earth ion or yttrium Y). % Particular emphasis will be placed on the role of crystal field effects, the sense and direction of the Dzyaloshinskii vector, its dependence on the superexchange bonding geometry, and other subtle features of exchange-relativistic effects. Most attention in the paper centers around the derivation of the Dzyaloshinskii vector, its value, orientation, and sense (sign) under different types of the (super)exchange interaction and crystal field. Microscopically derived expression for the dependence of the Dzyaloshinskii vector on the superexchange geometry allows one to find all the overt and hidden canting angles in orthoferrites RFeO$_3$ as well as corresponding contribution to magnetic anisotropy. Being based on the theoretical predictions regarding the sign of the Dzyaloshinskii vector we have predicted and study in detail a novel magnetic phenomenon, {\it weak ferrimagnetism} in mixed weak ferromagnets with competing signs of the Dzyaloshinskii vectors. The ligand NMR measurements in weak ferromagnets are shown to be an effective tool to inspect the effects of DM coupling in an external magnetic field. Along with orthoferrites RFeO$_3$ and weak ferrimagnets RFe$_{1-x}$Cr$_x$O$_3$, although to a lesser extent, we address such typical weak ferromagnets as $\alpha$-Fe$_2$O$_3$, FeBO$_3$, and FeF$_3$.


title: An Objective Metric for Explainable AI: How and Why to Estimate the Degree of Explainability

abstract: Explainable AI was born as a pathway to allow humans to explore and understand the inner working of complex systems. However, establishing what is an explanation and objectively evaluating explainability are not trivial tasks. This paper presents a new model-agnostic metric to measure the Degree of Explainability of information in an objective way. We exploit a specific theoretical model from Ordinary Language Philosophy called the Achinstein's Theory of Explanations, implemented with an algorithm relying on deep language models for knowledge graph extraction and information retrieval. To understand whether this metric can measure explainability, we devised a few experiments and user studies involving more than 190 participants, evaluating two realistic systems for healthcare and finance using famous AI technology, including Artificial Neural Networks and TreeSHAP. The results we obtained are statistically significant (with P values lower than .01), suggesting that our proposed metric for measuring the Degree of Explainability is robust in several scenarios, and it aligns with concrete expectations.


title: 2-nilpotent multiplier and 2-capability of finite 2-generator p-groups of class two

abstract: Let p be a prime number. We give the explicit structure of 2- nilpotent multiplier for each finite 2-generator p-group of class two. Moreover, 2-capable groups in that class are characterized.


title: MODC: Resilience for disaggregated memory architectures using task-based programming

abstract: Disaggregated memory architectures provide benefits to applications beyond traditional scale out environments, such as independent scaling of compute and memory resources. They also provide an independent failure model, where computations or the compute nodes they run on may fail independently of the disaggregated memory; thus, data that's resident in the disaggregated memory is unaffected by the compute failure. Blind application of traditional techniques for resilience (e.g., checkpoints or data replication) does not take advantage of these architectures. To demonstrate the potential benefit of these architectures for resilience, we develop Memory-Oriented Distributed Computing (MODC), a framework for programming disaggregated architectures that borrows and adapts ideas from task-based programming models, concurrent programming techniques, and lock-free data structures. This framework includes a task-based application programming model and a runtime system that provides scheduling, coordination, and fault tolerance mechanisms. We present highlights of our MODC prototype and experimental results demonstrating that MODC-style resilience outperforms a checkpoint-based approach in the face of failures.


title: A theory of reflective X-ray multilayer structures with graded period and its applications

abstract: In this paper a theory of reflective X-ray multilayer structures with a graded (slowly varying) period based on the coupled waves method and quasi-classical asymptotic expansions is reported. A number of exact solutions of the coupled wave equations is obtained and analyzed demonstrating suitability of this method for the description of the reflective properties of the graded multilayers. The developed theory is then used as a basis for the solution of the inverse problem, i.e. designing multilayer structures with a pre-specified reflectivity dependence on the wavelength or grazing angle. A number numerical experiments is conducted to demonstrate the capabilities of the proposed method in designing reflective multilayer coatings with an arbitrary shape of the reflectivity curve. The problem of maximization of the integral reflectivity is considered and a second order differential equation, which solutions correspond to multilayer structures with the maximal reflectivity, is derived. Finally, an upper limit on the integral reflectivity achievable with a graded multilayer is estimated.


title: Extremal $\{p, q\}$-Animals

abstract: An animal is a planar shape formed by attaching congruent regular polygons, known as tiles, along their edges. In this paper, we study extremal animals defined on regular tessellations of the plane. In 1976, Harary and Harborth studied animals in the Euclidean cases, finding extremal values for their vertices, edges, and tiles, when any one of these parameters is fixed. Here, we generalize their results to hyperbolic animals. For each hyperbolic tessellation, we exhibit a sequence of spiral animals and prove that they attain the minimal numbers of edges and vertices within the class of animals with $n$ tiles. In their conclusions, Harary and Harborth also proposed the question of enumerating extremal animals with a fixed number of tiles. This question has previously only been considered for Euclidean animals. As a first step in solving this problem, we find special sequences of extremal animals that are unique extremal animals, in the sense that any animal with the same number of tiles which is distinct up to isometries can't be extremal.


title: On Some Problems of Confidence Region Construction

abstract: The general problem of constructing confidence regions is unsolved in the sense that there is no algorithm that provides such a region with guaranteed coverage for an arbitrary parameter $\psi\in\Psi.$ Moreover, even when such a region exists, it may be absurd in the sense that either the set $\Psi$ or the null set $\phi$ is reported with positive probability. An approach to the construction of such regions with guaranteed coverage and which avoids absurdity is applied here to several problems that have been discussed in the recent literature and for which some standard approaches produce absurd regions.


title: Characterisation of microstructural creep, strain rate and temperature sensitivity and computational crystal plasticity in Zircaloy-4

abstract: Crystal-level strain rate sensitivity and temperature sensitivity are investigated in Zircaloy-4 using combined of bending creep test, digital image correlation, electron backscatter detection and thermo-mechanical tensile tests with crystal plasticity modelling. Crystal rate-sensitive properties are extracted from room temperature microscale creep, and temperature sensitivity from thermal polycrystalline responses. Crystal plasticity results show that large microscale creep strain is observed near notch tip increased up to 50% due to cross-slip activation. Grain-level microscale SRS is highly heterogeneous, and its crystallographic sensitivity is dependent on plastic deformation rate and underlying grain-based dislocation slip activation. Pyramidal <c+a> slip and total dislocation pileups contribute to temperature-sensitive texture effect on yielding and strength hardening. A faithful reconstruction of polycrystal and accurate rate-sensitive single-crystal properties are the key to capture multi-scale SRSs.


title: Hermite Expansion Model and LMMSE Analysis for Low-Resolution Quantized MIMO Detection

abstract: In this paper, the Hermite polynomials are employed to study linear approximation models of narrowband multiantenna signal reception (i.e., MIMO) with low-resolution quantizations. This study results in a novel linear approximation using the second-order Hermite expansion (SOHE). The SOHE model is not based on those assumptions often used in existing linear approximations. Instead, the quantization distortion is characterized by the second-order Hermite kernel, and the signal term is characterized by the first-order Hermite kernel. It is shown that the SOHE model can explain almost all phenomena and characteristics observed so far in the low-resolution MIMO signal reception. When the SOHE model is employed to analyze the linear minimum-mean-square-error (LMMSE) channel equalizer, it is revealed that the current LMMSE algorithm can be enhanced by incorporating a symbol-level normalization mechanism. The performance of the enhanced LMMSE algorithm is demonstrated through computer simulations for narrowband MIMO systems in Rayleigh fading channels.


title: Fock space dualities

abstract: Several cases of Fock space duality occurring in the theory of many-body systems in general and nuclei in particular are discussed. All of them are special cases of a general duality theorem proved in mathematics by Howe in the 1970s. Dualities on a fermion Fock space between orthogonal Lie algebras and related groups, including an o-Pin duality recently discovered by the author, present a nice, symmetric pattern.


title: Novel way to construct spatially localized finite energy structures

abstract: In this work we introduce a procedure to find localized structures with finite energy. We start dealing with global monopoles, and add a new contribution to the potential of the scalar fields, to balance the contribution of the angular gradients of the fields which lead to a slow falloff in the energy density. Within the first order formalism, first order equations that are compatible with the equations of motion are obtained and the stability under small fluctuations is investigated. We then include another set of scalar fields and study how it contributes to change the profile of the localized structure. We also study how these configurations modify the electric properties of a system with a single point charge, with generalized electric permittivity controlled by scalar fields. In this new model, in particular, we show that, depending on the specific modification of the electric properties of the medium, the electric field may engender the unusual behavior of pointing towards a positive charge.


title: An Efficient Labeled/Unlabeled Random Finite Set Algorithm for Multiobject Tracking

abstract: We propose an efficient random finite set (RFS) based algorithm for multiobject tracking in which the object states are modeled by a combination of a labeled multi-Bernoulli (LMB) RFS and a Poisson RFS. The less computationally demanding Poisson part of the algorithm is used to track potential objects whose existence is unlikely. Only if a quantity characterizing the plausibility of object existence is above a threshold, a new labeled Bernoulli component is created and the object is tracked by the more accurate but more computationally demanding LMB part of the algorithm. Conversely, a labeled Bernoulli component is transferred back to the Poisson RFS if the corresponding existence probability falls below another threshold. Contrary to existing hybrid algorithms based on multi-Bernoulli and Poisson RFSs, the proposed method facilitates track continuity and implements complexity-reducing features. Simulation results demonstrate a large complexity reduction relative to other RFS-based algorithms with comparable performance.


title: Cavity mode dephasing via the optomechanical interaction with an acoustic environment

abstract: We consider an optomechanical system comprising a single cavity mode and a dense spectrum of acoustic modes and solve for the quantum dynamics of initial cavity mode Fock (i.e., photon number) superposition states and thermal acoustic states. The optomechanical interaction results in dephasing without damping and bears some analogy to gravitational decoherence. For a cavity mode locally coupled to a one-dimensional (1D) elastic string-like environment or two-dimensional (2D) elastic membrane-like environment, we find that the dephasing dynamics depends respectively on the string length and membrane area--a consequence of an infrared divergence in the limit of an infinite-sized string or membrane. On the other hand, for a cavity mode locally coupled to a three-dimensional (3D) bulk elastic solid, the dephasing dynamics is independent of the solid volume (i.e., is infrared finite), but dependent on the local geometry of the coupled cavity--a consequence of an ultraviolet divergence in the limit of a "pointlike" coupled cavity. We consider as possible respective realizations for the cavity-coupled-1D and 2D acoustic environments, an LC oscillator capacitively coupled to a partially metallized strip and a cavity light mode interacting via light pressure with a membrane.


title: Scaling and Acceleration of Three-dimensional Structure Determination for Single-Particle Imaging Experiments with SpiniFEL

abstract: The Linac Coherent Light Source (LCLS) is an X- ray free electron laser (XFEL) facility enabling the study of the structure and dynamics of single macromolecules. A major upgrade will bring the repetition rate of the X-ray source from 120 to 1 million pulses per second. Exascale high performance computing (HPC) capabilities will be required to process the corresponding data rates. We present SpiniFEL, an application used for structure determination of proteins from single-particle imaging (SPI) experiments. An emerging technique for imaging individual proteins and other large molecular complexes by outrunning radiation damage, SPI breaks free from the need for crystallization (which is difficult for some proteins) and allows for imaging molecular dynamics at near ambient conditions. SpiniFEL is being developed to run on supercomputers in near real-time while an experiment is taking place, so that the feedback about the data can guide the data collection strategy. We describe here how we reformulated the mathematical framework for parallelizable implementation and accelerated the most compute intensive parts of the application. We also describe the use of Pygion, a Python interface for the Legion task-based programming model and compare to our existing MPI+GPU implementation.

categories: physics.comp-ph cs.CE cs.CL physics.bio-ph


title: Avoiding symmetry roadblocks and minimizing the measurement overhead of adaptive variational quantum eigensolvers

abstract: Quantum simulation of strongly correlated systems is potentially the most feasible useful application of near-term quantum computers. Minimizing quantum computational resources is crucial to achieving this goal. A promising class of algorithms for this purpose consists of variational quantum eigensolvers (VQEs). Among these, problem-tailored versions such as ADAPT-VQE that build variational ans\"atze step by step from a predefined operator pool perform particularly well in terms of circuit depths and variational parameter counts. However, this improved performance comes at the expense of an additional measurement overhead compared to standard VQEs. Here, we show that this overhead can be reduced to an amount that grows only linearly with the number $n$ of qubits, instead of quartically as in the original ADAPT-VQE. We do this by proving that operator pools of size $2n-2$ can represent any state in Hilbert space if chosen appropriately. We prove that this is the minimal size of such "complete" pools, discuss their algebraic properties, and present necessary and sufficient conditions for their completeness that allow us to find such pools efficiently. We further show that, if the simulated problem possesses symmetries, then complete pools can fail to yield convergent results, unless the pool is chosen to obey certain symmetry rules. We demonstrate the performance of such symmetry-adapted complete pools by using them in classical simulations of ADAPT-VQE for several strongly correlated molecules. Our findings are relevant for any VQE that uses an ansatz based on Pauli strings.


title: Energy-Efficient Backscatter Aided Uplink NOMA Roadside Sensor Communications under Channel Estimation Errors

abstract: This work presents non-orthogonal multiple access (NOMA) enabled energy-efficient alternating optimization framework for backscatter aided wireless powered uplink sensors communications for beyond 5G intelligent transportation system (ITS). Specifically, the transmit power of carrier emitter (CE) and reflection coefficients of backscatter aided roadside sensors are optimized with channel uncertainties for the maximization of the energy efficiency (EE) of the network. The formulated problem is tackled by the proposed two-stage alternating optimization algorithm named AOBWS (alternating optimization for backscatter aided wireless powered sensors). In the first stage, AOBWS employs an iterative algorithm to obtain optimal CE transmit power through simplified closed-form computed through Cardano's formulae. In the second stage, AOBWS uses a non-iterative algorithm that provides a closed-form expression for the computation of optimal reflection coefficient for roadside sensors under their quality of service (QoS) and a circuit power constraint. The global optimal exhaustive search (ES) algorithm is used as a benchmark. Simulation results demonstrate that the AOBWS algorithm can achieve near-optimal performance with very low complexity, which makes it suitable for practical implementations.


title: Relaxed Zero-Forcing Beamformer under Temporally-Correlated Interference

abstract: The relaxed zero-forcing (RZF) beamformer is a quadratically-and-linearly constrained minimum variance beamformer. The central question addressed in this paper is whether RZF performs better than the widely-used minimum variance distortionless response and zero-forcing beamformers under temporally-correlated interference. First, RZF is rederived by imposing an ellipsoidal constraint that bounds the amount of interference leakage for mitigating the intrinsic gap between the output variance and the mean squared error (MSE) which stems from the temporal correlations. Second, an analysis of RZF is presented for the single-interference case, showing how the MSE is affected by the spatio-temporal correlations between the desired and interfering sources as well as by the signal and noise powers. Third, numerical studies are presented for the multiple-interference case, showing the remarkable advantages of RZF in its basic performance as well as in its application to brain activity reconstruction from EEG data. The analytical and experimental results clarify that the RZF beamformer gives near-optimal performance in some situations.


title: Sharp Waiting-Time Bounds for Multiserver Jobs

abstract: Multiserver jobs, which are jobs that occupy multiple servers simultaneously during service, are prevalent in today's computing clusters. But little is known about the delay performance of systems with multiserver jobs. We consider queueing models for multiserver jobs in scaling regimes where the system load becomes heavy and meanwhile the total number of servers in the system and the number of servers that a job needs become large. Prior work has derived upper bounds on the queueing probability in this scaling regime. However, without proper lower bounds, the existing results cannot be used to differentiate between policies. In this paper, we study the delay performance by establishing sharp bounds on the mean waiting time of multiserver jobs, where the waiting time of a job is the time spent in queueing rather than in service. We first characterize the exact order of the mean waiting time under the First-Come-First-Serve (FCFS) policy. Then we prove a lower bound on the mean waiting time of all policies, which has an order gap with the mean waiting time under FCFS. Finally, we show that the lower bound is achievable under a priority policy that we call Smallest-Need-First (SNF).


title: Viewing citation trend of Indian physics and astronomy research papers since 2005 through the lens of some new indicators

abstract: The indicator Citation Swing Factor (CSF) has recently been developed to measure this diffusion process quantitatively on the basis of h-core citations, excess citations and total citations. The observed or experimental value of CSF as followed from the basic definition is (d{\theta}/d{\epsilon}), which resulted (-R3/he2) based on a theoretical calculation, where R2, h2 and e2 indicate total citations, h-core citations and excess citations respectively. The later expression indicates the expected or theoretical value of CSF. This paper found out (d{\theta}/d{\epsilon}) for Indian physics research output appeared in selective Indian journals since 2005 to 2020 and compared it with the respective theoretical values. The average error over entire time span is found 2.26% indicating close proximity between theoretically expected and practically observed values. Besides, three other scientometric indicators are introduced here, viz. Time-Normalised Total Cited Ratio (TC), Time-Normalised Cited Uncited Ratio (CU) and Time-Normalised Total Uncited Ratio (TU). The numerical values of these indicators are found out for the same sample and the temporal variations along with their mutual interrelationships are determined by regression analysis.


title: A positivity- and monotonicity-preserving nonlinear operator splitting approach for approximating solutions to quenching-combustion semilinear partial differential equations

abstract: In recent years, there has been a large increase in interest in numerical algorithms which preserve various qualitative features of the original continuous problem. Herein, we propose and investigate a numerical algorithm which preserves qualitative features of so-called quenching combustion partial differential equations (PDEs). Such PDEs are often used to model solid-fuel ignition processes or enzymatic chemical reactions and are characterized by their singular nonlinear reaction terms and the exhibited positivity and monotonicity of their solutions on their time intervals of existence. In this article, we propose an implicit nonlinear operator splitting algorithm which allows for the natural preservation of these features. The positivity and monotonicity of the algorithm is rigorously proven. Furthermore, the convergence analysis of the algorithm is carried out and the explicit dependence on the singularity is quantified in a nonlinear setting.


title: BGT-Net: Bidirectional GRU Transformer Network for Scene Graph Generation

abstract: Scene graphs are nodes and edges consisting of objects and object-object relationships, respectively. Scene graph generation (SGG) aims to identify the objects and their relationships. We propose a bidirectional GRU (BiGRU) transformer network (BGT-Net) for the scene graph generation for images. This model implements novel object-object communication to enhance the object information using a BiGRU layer. Thus, the information of all objects in the image is available for the other objects, which can be leveraged later in the object prediction step. This object information is used in a transformer encoder to predict the object class as well as to create object-specific edge information via the use of another transformer encoder. To handle the dataset bias induced by the long-tailed relationship distribution, softening with a log-softmax function and adding a bias adaptation term to regulate the bias for every relation prediction individually showed to be an effective approach. We conducted an elaborate study on experiments and ablations using open-source datasets, i.e., Visual Genome, Open-Images, and Visual Relationship Detection datasets, demonstrating the effectiveness of the proposed model over state of the art.


title: Protection or punishment? relating the design space of parental control apps and perceptions about them to support parenting for online safety

abstract: Parental control apps, which are mobile apps that allow parents to monitor and restrict their children's activities online, are becoming increasingly adopted by parents as a means of safeguarding their children's online safety. However, it is not clear whether these apps are always beneficial or effective in what they aim to do; for instance, the overuse of restriction and surveillance has been found to undermine parent-child relationship and children's sense of autonomy. In this work, we investigate this gap, asking specifically: how might children's and parents' perceptions be related to how parental control features were designed? To investigate this question, we conducted an analysis of 58 top Android parental control apps designed for the purpose of promoting children's online safety, finding three major axes of variation in how key restriction and monitoring features were realised: granularity, feedback/transparency, and parent-child communications support. To relate these axes to perceived benefits and problems, we then analysed 3264 app reviews to identify references to aspects of the each of the axes above, to understand children's and parents' views of how such dimensions related to their experiences with these apps. Our findings led towards 1) an understanding of how parental control apps realise their functionalities differently along three axes of variation, 2) an analysis of exactly the ways that such variation influences children's and parents' perceptions, respectively of the usefulness or effectiveness of these apps, and finally 3) an identification of design recommendations and opportunities for future apps by contextualising our findings within existing digital parenting theories.


title: HyperKahler Contact Distributions

abstract: Let $(\varphi_\alpha,\xi_\alpha,g)$ for $\alpha=1,2$, and $3$ be a contact metric $3$-structure on the manifold $M^{4n+3}$. We show that the $3$-contact distribution of this structure admits a HyperKahler structure whenever $(M^{4n+3},\varphi_\alpha,\xi_\alpha,g)$ is a $3$-Sasakian manifold. In this case, we call it HyperKahler contact distribution. To analyze the curvature properties of this distribution, we define a special metric connection that is completely determined by the HyperKahler contact distribution. We prove that the $3$-Sasakian manifold is of constant $\varphi_{\alpha}$-sectional curvatures if and only if its HyperKahler contact distribution has constant holomorphic sectional curvatures.


title: HYDRA -- Hyper Dependency Representation Attentions

abstract: Attention is all we need as long as we have enough data. Even so, it is sometimes not easy to determine how much data is enough while the models are becoming larger and larger. In this paper, we propose HYDRA heads, lightweight pretrained linguistic self-attention heads to inject knowledge into transformer models without pretraining them again. Our approach is a balanced paradigm between leaving the models to learn unsupervised and forcing them to conform to linguistic knowledge rigidly as suggested in previous studies. Our experiment proves that the approach is not only the boost performance of the model but also lightweight and architecture friendly. We empirically verify our framework on benchmark datasets to show the contribution of linguistic knowledge to a transformer model. This is a promising result for a new approach to transferring knowledge from linguistic resources into transformer-based models.


title: Intrinsic holonomy and curved cosets of Cartan geometries

abstract: We provide an intrinsic notion of curved cosets for arbitrary Cartan geometries, simplifying the existing construction of curved orbits for a given holonomy reduction. To do this, we define an intrinsic holonomy group, which is shown to coincide precisely with the standard definition of the holonomy group for Cartan geometries in terms of an associated principal connection. These curved cosets retain many characteristics of their homogeneous counterparts, and they behave well under the action of automorphisms. We conclude the paper by using the machinery developed to generalize the de Rham decomposition theorem for Riemannian manifolds and give a potentially useful characterization of inessential automorphism groups for parabolic geometries.


title: Remaining Useful Life Estimation of Hard Disk Drives using Bidirectional LSTM Networks

abstract: Physical and cloud storage services are well-served by functioning and reliable high-volume storage systems. Recent observations point to hard disk reliability as one of the most pressing reliability issues in data centers containing massive volumes of storage devices such as HDDs. In this regard, early detection of impending failure at the disk level aids in reducing system downtime and reduces operational loss making proactive health monitoring a priority for AIOps in such settings. In this work, we introduce methods of extracting meaningful attributes associated with operational failure and of pre-processing the highly imbalanced health statistics data for subsequent prediction tasks using data-driven approaches. We use a Bidirectional LSTM with a multi-day look back period to learn the temporal progression of health indicators and baseline them against vanilla LSTM and Random Forest models to come up with several key metrics that establish the usefulness of and superiority of our model under some tightly defined operational constraints. For example, using a 15 day look back period, our approach can predict the occurrence of disk failure with an accuracy of 96.4% considering test data 60 days before failure. This helps to alert operations maintenance well in-advance about potential mitigation needs. In addition, our model reports a mean absolute error of 0.12 for predicting failure up to 60 days in advance, placing it among the state-of-the-art in recent literature.


title: DeepPyram: Enabling Pyramid View and Deformable Pyramid Reception for Semantic Segmentation in Cataract Surgery Videos

abstract: Semantic segmentation in cataract surgery has a wide range of applications contributing to surgical outcome enhancement and clinical risk reduction. However, the varying issues in segmenting the different relevant instances make the designation of a unique network quite challenging. This paper proposes a semantic segmentation network termed as DeepPyram that can achieve superior performance in segmenting relevant objects in cataract surgery videos with varying issues. This superiority mainly originates from three modules: (i) Pyramid View Fusion, which provides a varying-angle global view of the surrounding region centering at each pixel position in the input convolutional feature map; (ii) Deformable Pyramid Reception, which enables a wide deformable receptive field that can adapt to geometric transformations in the object of interest; and (iii) Pyramid Loss that adaptively supervises multi-scale semantic feature maps. These modules can effectively boost semantic segmentation performance, especially in the case of transparency, deformability, scalability, and blunt edges in objects. The proposed approach is evaluated using four datasets of cataract surgery for objects with different contextual features and compared with thirteen state-of-the-art segmentation networks. The experimental results confirm that DeepPyram outperforms the rival approaches without imposing additional trainable parameters. Our comprehensive ablation study further proves the effectiveness of the proposed modules.


title: Border-SegGCN: Improving Semantic Segmentation by Refining the Border Outline using Graph Convolutional Network

abstract: We present Border-SegGCN, a novel architecture to improve semantic segmentation by refining the border outline using graph convolutional networks (GCN). The semantic segmentation network such as Unet or DeepLabV3+ is used as a base network to have pre-segmented output. This output is converted into a graphical structure and fed into the GCN to improve the border pixel prediction of the pre-segmented output. We explored and studied the factors such as border thickness, number of edges for a node, and the number of features to be fed into the GCN by performing experiments. We demonstrate the effectiveness of the Border-SegGCN on the CamVid and Carla dataset, achieving a test set performance of 81.96% without any post-processing on CamVid dataset. It is higher than the reported state of the art mIoU achieved on CamVid dataset by 0.404%


title: How high is a MoSe$_2$ monolayer?

abstract: Transition metal dichalcogenides (TMDCs) have attracted significant attention for optoelectronic, photovoltaic and photoelectrochemical applications. The properties of TMDCs are highly dependent on the number of stacked atomic layers, which is usually counted post-fabrication, using a combination of optical methods and atomic force microscopy (AFM) height measurements. Here, we use photoluminescence spectroscopy and three different AFM methods to demonstrate significant discrepancies in height measurements of exfoliated MoSe$_2$ flakes on SiO$_2$ depending on the method used. We highlight that overlooking effects from electrostatic forces, contaminants and surface binding can be misleading when measuring the height of a MoSe$_2$ flake. These factors must be taken into account as a part of the protocol for counting TMDC layers.


title: On the asymptotics of the meromorphic 3D-index

abstract: In their recent work, Garoufalidis and Kashaev extended the 3D-index of an ideally triangulated 3-manifold with toroidal boundary to a well-defined topological invariant which takes the form of a meromorphic function of 2 complex variables per boundary component and which depends additionally on a quantisation parameter q. In this paper, we study the asymptotics of this invariant as q approaches 1, developing a conjectural asymptotic approximation in the form of a sum of contributions associated to certain flat PSL(2,C)-bundles on the manifold. Furthermore, we study the coefficients appearing in these contributions, which include the hyperbolic volume, the '1-loop invariant' of Dimofte and Garoufalidis, as well as a new topological invariant of 3-manifolds with torus boundary, which we call the 'beta invariant'. The technical heart of our analysis is the expression of the state-integral of the Garoufalidis-Kashaev invariant as an integral over a certain connected component of the space of circle-valued angle structures. To explain the topological significance of this component, we develop a theory connecting circle-valued angle structures to the obstruction theory for lifting a (boundary-parabolic) PSL(2,C)-representation of the fundamental group to a (boundary-unipotent) SL(2,C)-representation. We present strong theoretical and numerical evidence for the validity of our asymptotic approximations.


title: Agent-Supervisor Coordination for Decentralized Event-Triggered Optimization

abstract: This paper proposes decentralized resource-aware coordination schemes for solving network optimization problems defined by objective functions which combine locally evaluable costs with network-wide coupling components. These methods are well suited for a group of supervised agents trying to solve an optimization problem under mild coordination requirements. Each agent has information on its local cost and coordinates with the network supervisor for information about the coupling term of the cost. The proposed approach is feedback-based and asynchronous by design, guarantees anytime feasibility, and ensures the asymptotic convergence of the network state to the desired optimizer. Numerical simulations on a power system example illustrate our results.


title: Learning from Language Description: Low-shot Named Entity Recognition via Decomposed Framework

abstract: In this work, we study the problem of named entity recognition (NER) in a low resource scenario, focusing on few-shot and zero-shot settings. Built upon large-scale pre-trained language models, we propose a novel NER framework, namely SpanNER, which learns from natural language supervision and enables the identification of never-seen entity classes without using in-domain labeled data. We perform extensive experiments on 5 benchmark datasets and evaluate the proposed method in the few-shot learning, domain transfer and zero-shot learning settings. The experimental results show that the proposed method can bring 10%, 23% and 26% improvements in average over the best baselines in few-shot learning, domain transfer and zero-shot learning settings respectively.


title: Implicit Premise Generation with Discourse-aware Commonsense Knowledge Models

abstract: Enthymemes are defined as arguments where a premise or conclusion is left implicit. We tackle the task of generating the implicit premise in an enthymeme, which requires not only an understanding of the stated conclusion and premise but also additional inferences that could depend on commonsense knowledge. The largest available dataset for enthymemes (Habernal et al., 2018) consists of 1.7k samples, which is not large enough to train a neural text generation model. To address this issue, we take advantage of a similar task and dataset: Abductive reasoning in narrative text (Bhagavatula et al., 2020). However, we show that simply using a state-of-the-art seq2seq model fine-tuned on this data might not generate meaningful implicit premises associated with the given enthymemes. We demonstrate that encoding discourse-aware commonsense during fine-tuning improves the quality of the generated implicit premises and outperforms all other baselines both in automatic and human evaluations on three different datasets.


title: Experimenting with Apery Limits and WZ pairs

abstract: This article, dedicated with admiration in memory of Jon and Peter Borwein, illustrates by example, the power of experimental mathematics, so dear to them both, by experimenting with so-called Apery limits and WZ pairs. In particular we prove a weaker form of an intriguing conjecture of Marc Chamberland and Armin Straub (in an article dedicated to Jon Borwein), and generate lots of new Apery limits. We also rediscovered an infinite family of cubic irrationalities, that suggested very good effective irrationality measures (lower than Liouville's generic 3), and that seemed to go down to the optimal 2. It turned out this follows from known deep results in number theory, and a postscript by Paul Voutier outlines the proof. Nevertheless we believe that further experiments with our Maple packages will lead to new and interesting results.


title: Adaptive network reliability analysis: Methodology and applications to power grid

abstract: Flow network models can capture the underlying physics and operational constraints of many networked systems including the power grid and transportation and water networks. However, analyzing reliability of systems using computationally expensive flow-based models faces substantial challenges, especially for rare events. Existing actively trained meta-models, which present a new promising direction in reliability analysis, are not applicable to networks due to the inability of these methods to handle high-dimensional problems as well as discrete or mixed variable inputs. This study presents the first adaptive surrogate-based Network Reliability Analysis using Bayesian Additive Regression Trees (ANR-BART). This approach integrates BART and Monte Carlo simulation (MCS) via an active learning method that identifies the most valuable training samples based on the credible intervals derived by BART over the space of predictor variables as well as the proximity of the points to the estimated limit state. Benchmark power grids including IEEE 30, 57, 118, and 300-bus systems and their power flow models for cascading failure analysis are considered to investigate ANR-BART, MCS, subset simulation, and passively-trained optimal deep neural networks and BART. Results indicate that ANR-BART is robust and yields accurate estimates of network failure probability, while significantly reducing the computational cost of reliability analysis.


title: COMBO: State-of-the-Art Morphosyntactic Analysis

abstract: We introduce COMBO - a fully neural NLP system for accurate part-of-speech tagging, morphological analysis, lemmatisation, and (enhanced) dependency parsing. It predicts categorical morphosyntactic features whilst also exposes their vector representations, extracted from hidden layers. COMBO is an easy to install Python package with automatically downloadable pre-trained models for over 40 languages. It maintains a balance between efficiency and quality. As it is an end-to-end system and its modules are jointly trained, its training is competitively fast. As its models are optimised for accuracy, they achieve often better prediction quality than SOTA. The COMBO library is available at: https://gitlab.clarin-pl.eu/syntactic-tools/combo.


title: Modular Self-Supervision for Document-Level Relation Extraction

abstract: Extracting relations across large text spans has been relatively underexplored in NLP, but it is particularly important for high-value domains such as biomedicine, where obtaining high recall of the latest findings is crucial for practical applications. Compared to conventional information extraction confined to short text spans, document-level relation extraction faces additional challenges in both inference and learning. Given longer text spans, state-of-the-art neural architectures are less effective and task-specific self-supervision such as distant supervision becomes very noisy. In this paper, we propose decomposing document-level relation extraction into relation detection and argument resolution, taking inspiration from Davidsonian semantics. This enables us to incorporate explicit discourse modeling and leverage modular self-supervision for each sub-problem, which is less noise-prone and can be further refined end-to-end via variational EM. We conduct a thorough evaluation in biomedical machine reading for precision oncology, where cross-paragraph relation mentions are prevalent. Our method outperforms prior state of the art, such as multi-scale learning and graph neural networks, by over 20 absolute F1 points. The gain is particularly pronounced among the most challenging relation instances whose arguments never co-occur in a paragraph.


title: NP Satisfiability for Arrays as Powers

abstract: We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is in NP. As an application, we extend the combinatory array logic fragment to handle cardinality constraints. The resulting fragment is independent of the base element and index set theories.


title: Structure-preserving Sparse Identification of Nonlinear Dynamics for Data-driven Modeling

abstract: Discovery of dynamical systems from data forms the foundation for data-driven modeling and recently, structure-preserving geometric perspectives have been shown to provide improved forecasting, stability, and physical realizability guarantees. We present here a unification of the Sparse Identification of Nonlinear Dynamics (SINDy) formalism with neural ordinary differential equations. The resulting framework allows learning of both "black-box" dynamics and learning of structure preserving bracket formalisms for both reversible and irreversible dynamics. We present a suite of benchmarks demonstrating effectiveness and structure preservation, including for chaotic systems.


title: Biquandle Bracket Quivers

abstract: Biquandle brackets define invariants of classical and virtual knots and links using skein invariants of biquandle-colored knots and links. Biquandle coloring quivers categorify the biquandle counting invariant in the sense of defining quiver-valued enhancements which decategorify to the counting invariant. In this paper we unite the two ideas to define biquandle bracket quivers, providing new categorifications of biquandle brackets. In particular, our construction provides an infinite family of categorifications of the Jones polynomial and other classical skein invariants.


title: A readahead prefetcher for GPU file system layer

abstract: GPUs are broadly used in I/O-intensive big data applications. Prior works demonstrate the benefits of using GPU-side file system layer, GPUfs, to improve the GPU performance and programmability in such workloads. However, GPUfs fails to provide high performance for a common I/O pattern where a GPU is used to process a whole data set sequentially. In this work, we propose a number of system-level optimizations to improve the performance of GPUfs for such workloads. We perform an in-depth analysis of the interplay between the GPU I/O access pattern, CPU-GPU PCIe transfers and SSD storage, and identify the main bottlenecks. We propose a new GPU I/O readahead prefetcher and a GPU page cache replacement mechanism to resolve them. The GPU I/O readahead prefetcher achieves more than $2\times$ (geometric mean) higher bandwidth in a series of microbenchmarks compared to the original GPUfs. Furthermore, we evaluate the system on 14 applications derived from the RODINIA, PARBOIL and POLYBENCH benchmark suites. Our prefetching mechanism improves their execution time by up to 50% and their I/O bandwidth by 82% compared to the traditional CPU-only data transfer techniques.


title: Asymptotically Fault-Tolerant Programmable Photonics

abstract: Component errors limit the scaling of programmable coherent photonic circuits. These errors arise because the standard tunable photonic coupler -- the Mach-Zehnder interferometer (MZI) -- cannot be perfectly programmed to the cross state. Here, we introduce two modified circuit architectures that overcome this limitation: (1) a 3-splitter MZI mesh for generic errors, and (2) a broadband MZI+Crossing design for correlated errors. Because these designs allow for perfect realization of the cross state, the matrix fidelity no longer decreases with mesh size, allowing scaling to arbitrarily large meshes. The proposed architectures support progressive self-configuration, are more compact than previous MZI-doubling schemes, and do not require additional phase shifters. This eliminates a major obstacle to the development of very-large-scale linear photonic circuits.


title: An Updated Distance to the Cygnus Loop based on Gaia Early DR3

abstract: We present a revised distance to the Cygnus Loop supernova remnant of $725\pm15$ pc based on Gaia Early Data Release 3 parallax measurements (EDR3) for several stars previously found to be located either inside or behind the supernova based on the presence of high-velocity absorption lines in their spectra. This revised distance estimate and error means the Cygnus Loop remnant now has an estimated distance uncertainty comparable to that of its $\simeq$18 pc radius.


title: Rewriting in Gray categories with applications to coherence

abstract: Over the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to Gray categories, which are known to be equivalent to tricategories. This requires us to develop the theory of rewriting in the setting of precategories, which include Gray categories as particular cases, and are adapted to mechanized computations. We show that a finite rewriting system in precategories admits a finite number of critical pairs, which can be efficiently computed. We also extend Squier's theorem to our context, showing that a convergent rewriting system is coherent, which means that any two parallel 3-cells are necessarily equal. This allows us to prove coherence results for several well-known structures in the context of Gray categories: monoids, adjunctions, Frobenius monoids.


title: A Research and Educational Robotic Testbed for Real-time Control of Emerging Mobility Systems: From Theory to Scaled Experiments

abstract: Emerging mobility systems, e.g., connected and automated vehicles (CAVs), shared mobility, and electric vehicles, provide the most intriguing opportunity for enabling users to better monitor transportation network conditions and make better decisions for improving safety and transportation efficiency. However, before connectivity and automation are deployed en masse, a thorough evaluation of CAVs is required-ranging from numerical simulation to real-world public roads. Assessment of the performance of CAVs in scaled testbeds has recently gained momentum due to the flexibility they offer to conduct quick, repeatable experiments that could go one step beyond simulation. This article introduces the Information and Decision Science Lab's Scaled Smart City (IDS$^3$C), a 1:25 research and educational scaled robotic testbed that is capable of replicating different real-world urban traffic scenarios. IDS$^3$C was designed to investigate the effect of emerging mobility systems on safety and transportation efficiency. On the educational front, IDS$^3$C can be used for (a) training and educating graduate students by exposing them to a balanced mix of theory and practice, (b) integrating the research outcomes into existing courses, (c) involving undergraduate students in research, (d) creating interactive educational demos, and (e) reaching out to high-school students. In our exposition, we also present a real-time control framework that can be used to coordinate CAVs at traffic scenarios such as crossing signal-free intersections, merging at roadways and roundabouts, cruising in congested traffic, passing through speed reduction zones, and lane-merging or passing maneuvers. Finally, we provide a tutorial for applying our framework in coordinating robotic CAVs to a multi-lane roundabout scenario and a transportation corridor in IDS$^3$C.


title: F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version)

abstract: Fully Homomorphic Encryption (FHE) allows computing on encrypted data, enabling secure offloading of computation to untrusted serves. Though it provides ideal security, FHE is expensive when executed in software, 4 to 5 orders of magnitude slower than computing on unencrypted data. These overheads are a major barrier to FHE's widespread adoption. We present F1, the first FHE accelerator that is programmable, i.e., capable of executing full FHE programs. F1 builds on an in-depth architectural analysis of the characteristics of FHE computations that reveals acceleration opportunities. F1 is a wide-vector processor with novel functional units deeply specialized to FHE primitives, such as modular arithmetic, number-theoretic transforms, and structured permutations. This organization provides so much compute throughput that data movement becomes the bottleneck. Thus, F1 is primarily designed to minimize data movement. The F1 hardware provides an explicitly managed memory hierarchy and mechanisms to decouple data movement from execution. A novel compiler leverages these mechanisms to maximize reuse and schedule off-chip and on-chip data movement. We evaluate F1 using cycle-accurate simulations and RTL synthesis. F1 is the first system to accelerate complete FHE programs and outperforms state-of-the-art software implementations by gmean 5400x and by up to 17000x. These speedups counter most of FHE's overheads and enable new applications, like real-time private deep learning in the cloud.


title: Sickle Cell Disease Severity Prediction from Percoll Gradient Images using Graph Convolutional Networks

abstract: Sickle cell disease (SCD) is a severe genetic hemoglobin disorder that results in premature destruction of red blood cells. Assessment of the severity of the disease is a challenging task in clinical routine since the causes of broad variance in SCD manifestation despite the common genetic cause remain unclear. Identification of the biomarkers that would predict the severity grade is of importance for prognosis and assessment of responsiveness of patients to therapy. Detection of the changes in red blood cell (RBC) density through separation of Percoll density gradient could be such marker as it allows to resolve intercellular differences and follow the most damaged dense cells prone to destruction and vaso-occlusion. Quantification of the images obtained from the distribution of RBCs in Percoll gradient and interpretation of the obtained is an important prerequisite for establishment of this approach. Here, we propose a novel approach combining a graph convolutional network, a convolutional neural network, fast Fourier transform, and recursive feature elimination to predict the severity of SCD directly from a Percoll image. Two important but expensive laboratory blood test parameters measurements are used for training the graph convolutional network. To make the model independent from such tests during prediction, the two parameters are estimated by a neural network from the Percoll image directly. On a cohort of 216 subjects, we achieve a prediction performance that is only slightly below an approach where the groundtruth laboratory measurements are used. Our proposed method is the first computational approach for the difficult task of SCD severity prediction. The two-step approach relies solely on inexpensive and simple blood analysis tools and can have a significant impact on the patients' survival in underdeveloped countries where access to medical instruments and doctors is limited


title: An efficient and robust monolithic approach to phase-field quasi-static brittle fracture using a modified Newton method

abstract: Variational phase-field methods have been shown powerful for the modeling of complex crack propagation without a priori knowledge of the crack path or ad hoc criteria. However, phase-field models suffer from their energy functional being non-linear and non-convex, while requiring a very fine mesh to capture the damage gradient. This implies a high computational cost, limiting concrete engineering applications of the method. In this work, we propose an efficient and robust fully monolithic solver for phase-field fracture using a modified Newton method with inertia correction and an energy line-search. To illustrate the gains in efficiency obtained with our approach, we compare it to two popular methods for phase-field fracture, namely the alternating minimization and the quasi-monolithic schemes. To facilitate the evaluation of the time step dependent quasi-monolithic scheme, we couple the latter with an extrapolation correction loop controlled by a damage-based criteria. Finally, we show through four benchmark tests that the modified Newton method we propose is straightforward, robust, and leads to identical solutions, while offering a reduction in computation time by factors of up to 12 and 6 when compared to the alternating minimization and quasi-monolithic schemes.


title: Comparison of different relativistic models applied to dense nuclear matter

abstract: We explore three different classes of relativistic approaches applied to the description of dense nuclear matter: a Walecka-type relativistic mean field model (RMF), an extension including an effective chiral potential (RMF-C) and a further extension with a chiral potential and confinement effects (RMF-CC). The parameters of the latter are controlled by fundamental properties such as the chiral potential, Lattice-QCD predictions, the quark sub-structure, as well as empirical properties at nuclear matter saturation. While these models are calibrated to the same properties at saturation density, they differ in their predictions as the density increases. We take care of parameter uncertainties and propagate them to our predictions for symmetric nuclear matter by employing Bayesian statistics. We show that RMF and RMF-C share common features as the density increases, while RMF-CC behaves differently. For instance, the scalar field at $6n_\textrm{sat}$ reaches $\sim 20$ MeV for RMF-CC while it is larger than $\sim 70$ MeV for RMF and RMF-C. Interestingly, we also show that, by fixing the $\rho$ coupling constant from the quark structure of the nucleon, these three models reproduce only half of the empirical symmetry energy.


title: From Instantaneous Schedulability to Worst Case Schedulability: A Significant Moment Approach

abstract: The method of significant moment analysis has been employed to derive instantaneous schedulability tests for real-time systems. However, the instantaneous schedulability can only be checked within a finite time window. On the other hand, worst-case schedulability guarantees schedulability of systems for infinite time. This paper derives the classical worst-case schedulability conditions for preemptive periodic systems starting from instantaneous schedulability, hence unifying the two notions of schedulability. The results provide a rigorous justification on the critical time instants being the worst case for scheduling of preemptive periodic systems. The paper also show that the critical time instant is not the only worst case moments.


title: A secondary immune response based on co-evolutive populations of agents for anomaly detection and characterization

abstract: The detection of anomalies in unknown environments is a problem that has been approached from different perspectives with variable results. Artificial Immune Systems (AIS) present particularly advantageous characteristics for the detection of such anomalies. This research is based on an existing detector model, named Artificial Bioindicators System (ABS) which identifies and solves its main weaknesses. An ABS based anomaly classifier model is presented, incorporating elements of the AIS. In this way, a new model (R-ABS) is developed which includes the advantageous capabilities of an ABS plus the reactive capabilities of an AIS to overcome its weaknesses and disadvantages. The RABS model was tested using the well-known DARPA'98 dataset, plus a dataset built to carry out a greater number of experiments. The performance of the RABS model was compared to the performance of the ABS model based on classical sensitivity and specificity metrics, plus a response time metric to illustrate the rapid response of R-ABS relative to ABS. The results showed a better performance of R-ABS, especially in terms of detection time.


title: Quantum Proton Effects from Density Matrix Renormalization Group Calculations

abstract: We recently introduced [J. Chem. Phys. 152 2020, 204103] the nuclear-electronic all-particle density matrix renormalization group method (NEAP-DMRG) to solve the molecular Schr\"{o}dinger equation, based on a stochastically optimized orbital basis, without invoking the Born-Oppenheimer approximation. In this work, we combine the DMRG with nuclear-electronic Hartree-Fock (NEHF-DMRG), treating nuclei and electrons on the same footing. Inter- and intra-species correlations are described within the DMRG without truncating the excitation degree of the full configuration interaction wave function. We extend the concept of orbital entanglement and mutual information to nuclear-electronic wave functions and demonstrate that they are reliable metrics to detect strong correlation effects. We apply NEHF-DMRG to the HeHHe$^+$ molecular ion, to obtain accurate proton densities, ground-state total energies, and vibrational transition frequencies by comparison with state-of-the-art data obtained with grid-based approaches and modern configuration interaction methods. For HCN, we improve on the accuracy of the latter approaches with respect to both ground-state absolute energy and proton density which is a major challenge for multi-reference nuclear-electronic state-of-the-art methods.

categories: physics.chem-ph cond-mat.str-el physics.bio-ph physics.comp-ph


title: Modelling the Utility of Group Testing for Public Health Surveillance

abstract: In epidemic or pandemic situations, resources for testing the infection status of individuals may be scarce. Although group testing can help to significantly increase testing capabilities, the (repeated) testing of entire populations can exceed the resources of any country. We thus propose an extension of the theory of group testing that takes into account the fact that definitely specifying the infection status of each individual is impossible. Our theory builds on assigning to each individual an infection status (healthy/infected), as well as an associated cost function for erroneous assignments. This cost function is versatile, e.g., it could take into account that false negative assignments are worse than false positive assignments and that false assignments in critical areas, such as health care workers, are more severe than in the general population. Based on this model, we study the optimal use of a limited number of tests to minimize the expected cost. More specifically, we utilize information-theoretic methods to give a lower bound on the expected cost and describe simple strategies that can significantly reduce the expected cost over currently known strategies. A detailed example is provided to illustrate our theory.


title: Additive energy, discrepancy and Poissonian $k$-level correlation

abstract: $k$-level correlation is a local statistic of sequences modulo 1, describing the local spacings of $k$-tuples of elements. For $k = 2$ this is also known as pair correlation. We show that there exists a well spaced increasing sequence of reals with additive energy of order $N^3$ and Poissonian $k$-level correlation for all integers $k \geq 2$, answering in the affirmative a question raised by Aistleitner, El-Baz, and Munsch. The construction is probabilistic, and so we do not obtain a specific sequence satisfying this condition. To prove this, we show that random perturbations of a sequence with small discrepancy gives, almost surely, a sequence with Poissonian $k$-level correlation, a fact which may be of independent interest.


title: NuSTAR monitoring of MAXI J1348-630: evidence of high density disc reflection

abstract: We present the broadband spectral analysis of all the six hard, intermediate and soft state NuSTAR observations of the recently discovered transient black hole X-ray binary MAXI J1348-630 during its first outburst in 2019. We first model the data with a combination of a multi-colour disc and a relativistic blurred reflection, and, whenever needed, a distant reflection. We find that this simple model scheme is inadequate in explaining the spectra, resulting in a very high iron abundance. We, therefore, explore the possibility of reflection from a high-density disc. We use two different sets of models to describe the high-density disc reflection: relxill-based reflection models, and reflionx-based ones. The reflionx-based high-density disc reflection models bring down the iron abundance to around the solar value, while the density is found to be $10^{20.3-21.4} \rm cm^{-3}$. We also find evidence of a high-velocity outflow in the form of $\sim$7.3 keV absorption lines. The consistency between the best-fit parameters for different epochs and the statistical significance of the corresponding model indicates the existence of high-density disc reflection in MAXI J1348-630.


title: On dispersionless transport in washboard potentials

abstract: We reassess the "dispersionless transport regime" of Brownian particles in tilted periodic potentials. We show that the particles exhibit normal diffusive motion right after transitioning into the running state dragged by the constant bias force. No special transient dynamics appears, contrary to conjectures in the previous studies. The observed flat segment in the dispersion evolution curve is solely due to the broad spatial distribution of particles formed in the early superdiffusion stage. We quantitatively describe the whole evolution of the distribution function during superdiffusion and the transition to the normal diffusion that follows, in the framework of the 2-well potential in the velocity space model. We show that the superdiffusion exponent is $\alpha=3$. Estimate of the duration of the ostensible "dispersionless regime" is provided. It is shown to diverge exponentially as the temperature decreases to zero.


title: Electron Mobility in Bulk n-Doped SiC-Polytypes 3C-SiC, 4H-SiC, and 6H-SiC: A Comparison

abstract: This communication presents a comparative study on the charge transport (in transient and steady state) in bulk n-type doped SiC-polytypes: 3C-SiC, 4H-SiC and 6H-SiC. The time evolution of the basic macrovariables: the electron drift velocity and the non-equilibrium temperature are obtained theoretically by using a Non-Equilibrium Quantum Kinetic Theory, derived from the method of Nonequilibrium Statistical Operator (NSO). The dependence on the intensity and orientation of the applied electric field of this macrovariables and mobility are derived and analyzed. From the results obtained in this paper, the most attractive of these semiconductors for applications requiring greater electronic mobility is the polytype 4H-SiC with the electric field applied perpendicular to the c-axis.


title: A natural deduction system for orthomodular logic

abstract: Orthomodular logic is a weakening of quantum logic in the sense of Birkhoff and von Neumann. Orthomodular logic is shown to be a nonlinear noncommutative logic. Sequents are given a physically motivated semantics that is consistent with exactly one semantics for propositional formulas that use negation, conjunction, and implication. In particular, implication must be interpreted as the Sasaki arrow, which satisfies the deduction theorem in this logic. As an application, this deductive system is extended to two systems of predicate logic: the first is sound for Takeuti's quantum set theory, and the second is sound for a variant of Weaver's quantum logic.

categories: math.LO math-ph math.MP math.OA quant-ph


title: Least-squares spectral methods for ODE eigenvalue problems

abstract: We develop spectral methods for ODEs and operator eigenvalue problems that are based on a least-squares formulation of the problem. The key tool is a method for rectangular generalized eigenvalue problems, which we extend to quasimatrices and objects combining quasimatrices and matrices. The strength of the approach is its flexibility that lies in the quasimatrix formulation allowing the basis functions to be chosen arbitrarily (e.g. those obtained by solving nearby problems), and often giving high accuracy. We also show how our algorithm can easily be modified to solve problems with eigenvalue-dependent boundary conditions, and discuss reformulations as an integral equation, which often improves the accuracy.


title: On the Initial Behavior Monitoring Issues in Federated Learning

abstract: In Federated Learning (FL), a group of workers participate to build a global model under the coordination of one node, the chief. Regarding the cybersecurity of FL, some attacks aim at injecting the fabricated local model updates into the system. Some defenses are based on malicious worker detection and behavioral pattern analysis. In this context, without timely and dynamic monitoring methods, the chief cannot detect and remove the malicious or unreliable workers from the system. Our work emphasize the urgency to prepare the federated learning process for monitoring and eventually behavioral pattern analysis. We study the information inside the learning process in the early stages of training, propose a monitoring process and evaluate the monitoring period required. The aim is to analyse at what time is it appropriate to start the detection algorithm in order to remove the malicious or unreliable workers from the system and optimise the defense mechanism deployment. We tested our strategy on a behavioral pattern analysis defense applied to the FL process of different benchmark systems for text and image classification. Our results show that the monitoring process lowers false positives and false negatives and consequently increases system efficiency by enabling the distributed learning system to achieve better performance in the early stage of training.