title: Quark condensate and chiral symmetry restoration in neutron stars

abstract: Based on an equivparticle model, we investigate the in-medium quark condensate in neutron stars. Carrying out a Taylor expansion of the nuclear binding energy to the order of $\rho^3$, we obtain a series of EOSs for neutron star matter, which are confronted with the latest nuclear and astrophysical constraints. The in-medium quark condensate is then extracted from the constrained properties of neutron star matter, which decreases non-linearly with density. However, the chiral symmetry is only partially restored with non-vanishing quark condensates, which may vanish at a density that is out of reach for neutron stars.


title: A Fragile Points Method, with an interface debonding model, to simulate damage and fracture of U-notched structures

abstract: Notched components are commonly used in engineering structures, where stress concentration may easily lead to crack initiation and development. The main goal of this work is to develop a simple numerical method to predict the structural strength and crack-growth-path of U-notched specimens made of brittle materials. For this purpose, the Fragile Points Method (FPM), as previously proposed by the authors, has been augmented by an interface debonding model at the interfaces of the FPM domains, to simulate crack initiation and development. The formulations of FPM are based on a discontinuous Galerkin weak form where point-based piece-wise-continuous polynomial test and trial functions are used instead of element-based basis functions. In this work, the numerical fluxes introduced across interior interfaces between subdomains are postulated as the tractions acting on the interface derived from an interface damage model. The interface damage is triggered when the numerical flux reaches the interface strength, and the process of crack-surface separation is governed by the fracture energy. In this way, arbitrary crack initiation and propagation can be naturally simulated without the need for knowing the fracture-patch before-hand. Additionally, a small penalty parameter is sufficient to enforce the weak-form continuity condition before damage initiation, without causing problems such as artificial compliance and numerical ill-conditioning. As validations, the proposed FPM method with the interface damage model is used to predict the structural strength and crack-development from U-notched structures made of brittle materials, which is useful but challenging in engineering structural design practices.


title: SummerTime: Text Summarization Toolkit for Non-experts

abstract: Recent advances in summarization provide models that can generate summaries of higher quality. Such models now exist for a number of summarization tasks, including query-based summarization, dialogue summarization, and multi-document summarization. While such models and tasks are rapidly growing in the research field, it has also become challenging for non-experts to keep track of them. To make summarization methods more accessible to a wider audience, we develop SummerTime by rethinking the summarization task from the perspective of an NLP non-expert. SummerTime is a complete toolkit for text summarization, including various models, datasets and evaluation metrics, for a full spectrum of summarization-related tasks. SummerTime integrates with libraries designed for NLP researchers, and enables users with easy-to-use APIs. With SummerTime, users can locate pipeline solutions and search for the best model with their own data, and visualize the differences, all with a few lines of code. We also provide explanations for models and evaluation metrics to help users understand the model behaviors and select models that best suit their needs. Our library, along with a notebook demo, is available at https://github.com/Yale-LILY/SummerTime.


title: Risk-Aware Fine-Grained Access Control in Cyber-Physical Contexts

abstract: Access to resources by users may need to be granted only upon certain conditions and contexts, perhaps particularly in cyber-physical settings. Unfortunately, creating and modifying context-sensitive access control solutions in dynamic environments creates ongoing challenges to manage the authorization contexts. This paper proposes RASA, a context-sensitive access authorization approach and mechanism leveraging unsupervised machine learning to automatically infer risk-based authorization decision boundaries. We explore RASA in a healthcare usage environment, wherein cyber and physical conditions create context-specific risks for protecting private health information. The risk levels are associated with access control decisions recommended by a security policy. A coupling method is introduced to track coexistence of the objects within context using frequency and duration of coexistence, and these are clustered to reveal sets of actions with common risk levels; these are used to create authorization decision boundaries. In addition, we propose a method for assessing the risk level and labelling the clusters with respect to their corresponding risk levels. We evaluate the promise of RASA-generated policies against a heuristic rule-based policy. By employing three different coupling features (frequency-based, duration-based, and combined features), the decisions of the unsupervised method and that of the policy are more than 99% consistent.


title: Flexible plasma multi-jet source operated in radial discharge configuration

abstract: Following up a recent study describing a flexible plasma source operated in planar geometry, the performance of a cold atmospheric plasma jet (CAPJ) matrix emanating radially from a soft cylindrical surface in the open air is presented. The plasma device, which has a set of small outlets produced in its side surface, has a length of 12 cm and an outer diameter of 5.4 cm. The dielectric barrier discharge (DBD) sustaining the plasma jets is generated in helium flowing between two coaxial electrodes, which are separated by both an insulating tape and a cylindrical wall made of polymer foam. Two operation modes are considered: four equidistant CAPJs at the same axial position (brush mode) and three aligned CAPJs at constant azimuthal angle (comb mode). All discharges, excited by 15 kHz-AC voltages at 3.8 kV in amplitude, have resulted in uniform lengths and intensities of the jets. Consumed discharge powers of between 0.1 and 1 W have been estimated from current-voltage measurements. Optical emission spectroscopy (OES) has shown the preponderance of hydroxyl groups, nitrogen molecules and helium atoms in the active DBD region and the jet afterglow zone. This new design of CAPJ anticipates promising applications for treating the inner surface of hollow and delicate components for activation or healing purposes.


title: Controlling Segregation in Social Network Dynamics as an Edge Formation Game

abstract: This paper studies controlling segregation in social networks via exogenous incentives. We construct an edge formation game on a directed graph. A user (node) chooses the probability with which it forms an inter- or intra- community edge based on a utility function that reflects the tradeoff between homophily (preference to connect with individuals that belong to the same group) and the preference to obtain an exogenous incentive. Decisions made by the users to connect with each other determine the evolution of the social network. We explore an algorithmic recommendation mechanism where the exogenous incentive in the utility function is based on weak ties which incentivizes users to connect across communities and mitigates the segregation. This setting leads to a submodular game with a unique Nash equilibrium. In numerical simulations, we explore how the proposed model can be useful in controlling segregation and echo chambers in social networks under various settings.


title: A class of ENO schemes with adaptive order for solving hyperbolic conservation laws

abstract: We propose a class of essentially non-oscillatory schemes with adaptive order (ENO-AO) for solving hyperbolic conservation laws. The new schemes select candidate stencils by novel smoothness indicators which are the measurements of the minimum discrepancy between the reconstructed polynomials and the neighboring cell averages. The new smoothness indicators measure the smoothness of candidate stencils with unequal sizes in a uniform way, so that we can directly use them to select the optimal stencil from candidates that range from first-order all the way up to the designed high-order. Some benchmark test cases are carried out to demonstrate the accuracy and robustness of the proposed schemes.


title: Limitations of an Effective Field Theory Treatment of Early Universe Cosmology

abstract: Assuming that superstring theory is the fundamental theory which unifies all forces of Nature at the quantum level, I argue that there are key limitations on the applicability of effective field theory techniques in describing early universe cosmology.


title: Estimating Endogenous Coalitional Mergers: Merger Costs and Assortativeness of Size and Specialization

abstract: I present a structural empirical model of a one-sided one-to-many matching with complementarities to quantify the effect of subsidy design on endogenous merger matching. I investigate shipping mergers and consolidations in Japan in 1964. At the time, 95 firms formed six large groups. I find that the existence of unmatched firms enables us to recover merger costs, and the importance of technological diversification varies across carrier and firm types. The counterfactual simulations show that 20 \% of government subsidy expenditures could have been cut. The government could have possibly changed the equilibrium number of groups to between one and six.


title: Twisting enabled charge transfer excitons in epitaxially fused quantum dot molecules

abstract: Charge-transfer excitons possessing long radiative lifetime and net permanent dipole moment are highly appealing for quantum dot (QD) based energy harvesting and photodetecting devices, in which the efficiency of charge separation after photo-excitation limits the device performance. Herein, using a hybrid time-dependent density functional theory, we have demonstrated that the prevailing rule of selecting materials with staggered type-II band alignment for realization of charge-transfer exciton breaks down in epitaxially fused QD molecules. The excitonic many-body effects are found to be significant and distinct depending on the exciton nature, causing unexpected reverse ordering of exciton states. Strikingly, twisting QD molecule appears as an effective means of modulating the orbital spatial localization towards charge separation that is mandatory for a charge-transfer exciton. Meanwhile, it manifests the intra-energy-level splitting that counterbalances the distinct many-body effects felt by excitons of different nature, thus ensuring the successful generation of energetically favourable charge-transfer exciton in both homodimer and heterodimer QD molecules. Our study extends the realm of twistroincs into zero-dimensional materials, and provides a genuine route of manipulating the exciton nature in QD molecules.


title: Certifying One-Phase Technology-Assisted Reviews

abstract: Technology-assisted review (TAR) workflows based on iterative active learning are widely used in document review applications. Most stopping rules for one-phase TAR workflows lack valid statistical guarantees, which has discouraged their use in some legal contexts. Drawing on the theory of quantile estimation, we provide the first broadly applicable and statistically valid sample-based stopping rules for one-phase TAR. We further show theoretically and empirically that overshooting a recall target, which has been treated as innocuous or desirable in past evaluations of stopping rules, is a major source of excess cost in one-phase TAR workflows. Counterintuitively, incurring a larger sampling cost to reduce excess recall leads to lower total cost in almost all scenarios.


title: Fragility of the nematic spin liquid induced by diagonal couplings in the square-lattice SU(3) model

abstract: We present a large-scale density matrix renormalization group (DMRG) study of the spin-$1$ SU(3) bilinear-biquadratic model on the square lattice, which was suggested to host a nematic spin liquid state in recent DMRG calculations. We report that this spin liquid appears to strongly compete with a three-sublattice magnetic order. To further study the competition between the two states, and the reason of the emergent nematic spin liquid, we included an additional next-nearest-neighbor SU(3) symmetric interactions along one of the two plaquette diagonal directions. This allows to tune the square-lattice model to the triangular-lattice model. By computing spin correlation functions and various order parameters, we find that the three-sublattice order may develop at infinitesimal additional new coupling, at least within the precision of our study. Compared with the previous findings that the nematic spin liquid is stable in extended parameter regions with additional couplings that respect the lattice symmetries of the square lattice, we argue that here the diagonal couplings, which frustrate the bipartite-lattice structure, rapidly suppress the two-sublattice fluctuations and the three-sublattice order thus wins. This numerical result is consistent with the conjecture that the nematic spin liquid emerges from the competition between two- and three-sublattice fluctuations.


title: Joint LED Selection and Precoding Optimization for Multiple-User Multiple-Cell VLC Systems

abstract: This paper proposes a hybrid dimming scheme based on joint LED selection and precoding design (TASP-HD) for multiple-user (MU) multiple-cell (MC) visible light communications (VLC) systems. In TASP-HD, both the LED selection and the precoding of each cell can be dynamically adjusted to reduce the intra- and inter-cell interferences while satisfying illumination constraints. First, a MU-MC-VLC system model is established, and then a sum-rate maximization problem under dimming level and illumination uniformity constraints is formulated. In this studied problem, the indices of activated LEDs and precoding matrices are optimized, which result in a complex non-convex mixed integer problem. To solve this problem, the original problem is separated into two subproblems. The first subproblem, which maximizes the sum-rate of users via optimizing the LED selection with a given precoding matrix, is a mixed integer problem solved by the penalty method. With the optimized LED selection matrix, the second subproblem which focuses on the maximization of the sum-rate via optimizing the precoding matrix is solved by the Lagrangian dual method. Finally, these two subproblems are iteratively solved to obtain a convergent solution. Simulation results verify that in a typical indoor scenario under a dimming level of 70%, the mean bandwidth efficiency of TASP-HD is 4.8 bit/s/Hz and 7.13 bit/s/Hz greater than AD and DD, respectively.


title: Ambiguities from nuclear interactions in the $^{12}$C($p,2p$)$^{11}$B reaction

abstract: We investigate the impact of ambiguities coming from the choice of optical potentials and nucleon-nucleon scattering cross sections on the spectroscopic factors extracted from the $^{12}$C($p,2p$)$^{11}$B reaction. These ambiguities are evaluated by analyzing the cross sections of the $^{12}$C($p,2p$)$^{11}$B reaction at 100 and 200 MeV within the framework of the distorted-wave impulse approximation with realistic choices of nuclear inputs. The results show that the studied ambiguities are considerably large in this energy region and careful choices of nuclear inputs used in the reaction calculations are required to extract reliable structure information.


title: Sentence Structure and Word Relationship Modeling for Emphasis Selection

abstract: Emphasis Selection is a newly proposed task which focuses on choosing words for emphasis in short sentences. Traditional methods only consider the sequence information of a sentence while ignoring the rich sentence structure and word relationship information. In this paper, we propose a new framework that considers sentence structure via a sentence structure graph and word relationship via a word similarity graph. The sentence structure graph is derived from the parse tree of a sentence. The word similarity graph allows nodes to share information with their neighbors since we argue that in emphasis selection, similar words are more likely to be emphasized together. Graph neural networks are employed to learn the representation of each node of these two graphs. Experimental results demonstrate that our framework can achieve superior performance.


title: Second-Order Finite Automata

abstract: Traditionally, finite automata theory has been used as a framework for the representation of possibly infinite sets of strings. In this work, we introduce the notion of second-order finite automata, a formalism that combines finite automata with ordered decision diagrams, with the aim of representing possibly infinite {\em sets of sets} of strings. Our main result states that second-order finite automata can be canonized with respect to the second-order languages they represent. Using this canonization result, we show that sets of sets of strings represented by second-order finite automata are closed under the usual Boolean operations, such as union, intersection, difference and even under a suitable notion of complementation. Additionally, emptiness of intersection and inclusion are decidable. We provide two algorithmic applications for second-order automata. First, we show that several width/size minimization problems for deterministic and nondeterministic ODDs are solvable in fixed-parameter tractable time when parameterized by the width of the input ODD. In particular, our results imply FPT algorithms for corresponding width/size minimization problems for ordered binary decision diagrams (OBDDs) with a fixed variable ordering. Previously, only algorithms that take exponential time in the size of the input OBDD were known for width minimization, even for OBDDs of constant width. Second, we show that for each $k$ and $w$ one can count the number of distinct functions computable by ODDs of width at most $w$ and length $k$ in time $h(|\Sigma|,w)\cdot k^{O(1)}$, for a suitable $h:\mathbb{N}\times \mathbb{N}\rightarrow \mathbb{N}$. This improves exponentially on the time necessary to explicitly enumerate all such functions, which is exponential in both the width parameter $w$ and in the length $k$ of the ODDs.


title: TAR on Social Media: A Framework for Online Content Moderation

abstract: Content moderation (removing or limiting the distribution of posts based on their contents) is one tool social networks use to fight problems such as harassment and disinformation. Manually screening all content is usually impractical given the scale of social media data, and the need for nuanced human interpretations makes fully automated approaches infeasible. We consider content moderation from the perspective of technology-assisted review (TAR): a human-in-the-loop active learning approach developed for high recall retrieval problems in civil litigation and other fields. We show how TAR workflows, and a TAR cost model, can be adapted to the content moderation problem. We then demonstrate on two publicly available content moderation data sets that a TAR workflow can reduce moderation costs by 20% to 55% across a variety of conditions.


title: Some results about equichordal convex bodies

abstract: Let $K$ and $L$ be two convex bodies in $\mathbb R^n$, $n\geq 2$, with $L\subset \text{int}\, K$. We say that $L$ is an equichordal body for $K$ if every chord of $K$ tangent to $L$ has length equal to a given fixed value $\lambda$. J. Barker and D. Larman proved that if $L$ is a ball, then $K$ is a ball concentric with $L$. In this paper we prove that there exist an infinite number of closed curves, different from circles, which possess an equichordal convex body. If the dimension of the space is more than or equal to 3, then only Euclidean balls possess an equichordal convex body. We also prove some results about isoptic curves and give relations between isoptic curves and convex rotors in the plane.


title: Optimal Radio Labellings of Block Graphs and Line Graphs of Trees

abstract: A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of vertices $u$ and $v$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the distance between $u$ and $v$ in $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest $t$ such that $G$ admits a radio labeling with $t=\max\{|f(v)-f(u)|: v, u \in V(G)\}$. A block graph is a graph such that each block (induced maximal 2-connected subgraph) is a complete graph. In this paper, a lower bound for the radio number of block graphs is established. The block graph which achieves this bound is called a lower bound block graph. We prove three necessary and sufficient conditions for lower bound block graphs. Moreover, we give three sufficient conditions for a graph to be a lower bound block graph. Applying the established bound and conditions, we show that several families of block graphs are lower bound block graphs, including the level-wise regular block graphs and the extended star of blocks. The line graph of a graph $G(V,E)$ has $E(G)$ as the vertex set, where two vertices are adjacent if they are incident edges in $G$. We extend our results to trees as trees and its line graphs are block graphs. We prove that if a tree is a lower bound block graph then, under certain conditions, its line graph is also a lower bound block graph, and vice versa. Consequently, we show that the line graphs of many known lower bound trees, excluding paths, are lower bound block graphs.


title: Some inequalities on Riemannian manifolds linking Entropy,Fisher information, Stein discrepancy and Wasserstein distance

abstract: For a complete connected Riemannian manifold $M$ let $V\in C^2(M)$ be such that $\mu(d x)={\rm e}^{-V(x)} \mbox{vol}(d x)$ is a probability measure on $M$. Taking $\mu$ as reference measure, we derive inequalities for probability measures on $M$ linking relative entropy, Fisher information, Stein discrepancy and Wasserstein distance. These inequalities strengthen in particular the famous log-Sobolev and transportation-cost inequality and extend the so-called Entropy/Stein-discrepancy/Information (HSI) inequality established by Ledoux, Nourdin and Peccati (2015) for the standard Gaussian measure on Euclidean space to the setting of Riemannian manifolds.


title: Variational voxelwise rs-fMRI representation learning: Evaluation of sex, age, and neuropsychiatric signatures

abstract: We propose to apply non-linear representation learning to voxelwise rs-fMRI data. Learning the non-linear representations is done using a variational autoencoder (VAE). The VAE is trained on voxelwise rs-fMRI data and performs non-linear dimensionality reduction that retains meaningful information. The retention of information in the model's representations is evaluated using downstream age regression and sex classification tasks. The results on these tasks are highly encouraging and a linear regressor trained with the representations of our unsupervised model performs almost as well as a supervised neural network, trained specifically for age regression on the same dataset. The model is also evaluated with a schizophrenia diagnosis prediction task, to assess its feasibility as a dimensionality reduction method for neuropsychiatric datasets. These results highlight the potential for pre-training on a larger set of individuals who do not have mental illness, to improve the downstream neuropsychiatric task results. The pre-trained model is fine-tuned for a variable number of epochs on a schizophrenia dataset and we find that fine-tuning for 1 epoch yields the best results. This work therefore not only opens up non-linear dimensionality reduction for voxelwise rs-fMRI data but also shows that pre-training a deep learning model on voxelwise rs-fMRI datasets greatly increases performance even on smaller datasets. It also opens up the ability to look at the distribution of rs-fMRI time series in the latent space of the VAE for heterogeneous neuropsychiatric disorders like schizophrenia in future work. This can be complemented with the generative aspect of the model that allows us to reconstruct points from the model's latent space back into brain space and obtain an improved understanding of the relation that the VAE learns between subjects, timepoints, and a subject's characteristics.


title: Calibrating Class Activation Maps for Long-Tailed Visual Recognition

abstract: Real-world visual recognition problems often exhibit long-tailed distributions, where the amount of data for learning in different categories shows significant imbalance. Standard classification models learned on such data distribution often make biased predictions towards the head classes while generalizing poorly to the tail classes. In this paper, we present two effective modifications of CNNs to improve network learning from long-tailed distribution. First, we present a Class Activation Map Calibration (CAMC) module to improve the learning and prediction of network classifiers, by enforcing network prediction based on important image regions. The proposed CAMC module highlights the correlated image regions across data and reinforces the representations in these areas to obtain a better global representation for classification. Furthermore, we investigate the use of normalized classifiers for representation learning in long-tailed problems. Our empirical study demonstrates that by simply scaling the outputs of the classifier with an appropriate scalar, we can effectively improve the classification accuracy on tail classes without losing the accuracy of head classes. We conduct extensive experiments to validate the effectiveness of our design and we set new state-of-the-art performance on five benchmarks, including ImageNet-LT, Places-LT, iNaturalist 2018, CIFAR10-LT, and CIFAR100-LT.


title: Spin-Symmetry Broken Ground-State of UO$_2$ in DFT+U Approach: The SMC Method

abstract: It turns out that the ground states of some systems are symmetry-broken states in which some property is not symmetrically distributed. In the case of strongly correlated electron systems, that were studied by the DFT+U method, researchers had shown that the total energy of the system is a multi-minima function of input parameters and one has to single out the ground state out of the couples of minimum-energy states. However, the methods already introduced to determine these local minimum states were not able to predict all such states which may include the "true" ground state. In this work, we introduce a new simple and straight-forward method of SMC to find the GS as well as the meta-stable states of 1k-order anti-ferromagnetic configuration for UO$_2$. Using this method, it is shown that the ground state of UO$_2$ system is a spin-symmetry broken state of the electron spin magnetizations of oxygen atoms. Depending on the way we apply the SMC method, we obtain different numbers of meta-stable states, but the same ground states. The energetic properties, geometric properties, the electronic density distributions, and the electronic polarization density distributions of the ground state and the meta-stable states are shown to be different from each other. These properties also are shown to be sensitive to the magnitude of the initial opposite magnetizations of U1 and U2 atoms in the 1k-order anti-ferromagnetic configuration, but the number of meta-stable states as well as the ground-state properties are insensitive to this magnitude. Using the PBEsol-GGA approximation for the exchange-correlation we obtain the ground-state properties in excellent agreement with experiments.


title: Creative Diversity: Patterns in the Creative Habits of ~10,000 People

abstract: Despite popular media interest in uncovering the creative habits of successful people, there is a surprising paucity of empirical research on the diversity of tendencies and preferences people have when engaged in creative work. We developed a simple survey that characterized 42 creative habits along 21 independent dimensions. Data from 9,633 respondents revealed seven 'Creative Species', or clusters of people with combinations of creative habits that tend to co-occur more than expected by chance. These emergent clusters where relatively stable to random subsampling of the population and to variation in model parameters. The seven Creative Species self-sorted along a primary gradient from those characterized by more 'deliberate' creative habits (e.g., Monotasker, Risk Averse, Routine Seeker, Tenacious, Make it Happen) to those characterized by more 'open' creative habits (e.g. Multitasker, Risk Friendly, Novelty Seeker, Reframer, Let it Happen). A weaker second gradient was defined by outward and rational vs inward and intuitive creators. For the subset of respondents with data about their broad professional discipline (Art, Science, and Business) and gender, some groups were more (or less) common in some Creative Species than expected by chance, but the absolute magnitude of these differences were generally small; and knowing the discipline or gender of a person was not a good single predictor of their creative preferences or tendencies. Together these results suggest that independent of discipline or gender, people vary widely in the habits, behaviors, and contexts in which they feel most creative. Understanding creative diversity is critical for improving the creative performance of both individuals and collaborative teams.


title: Inverse magneto-rotational catalysis and the phase diagram of a rotating hot and magnetized quark matter

abstract: We study the properties of a hot and magnetized quark matter in a rotating cylinder in the presence of a constant magnetic field. To do this, we solve the corresponding Dirac equation using the Ritus eigenfunction method. This leads to the energy dispersion relation, Ritus eigenfunctions, and the quantization relation for magnetized fermions. To avoid causality-violating effects, we impose a certain global boundary condition, and study its effect, in particular, on the energy eigenmodes and the quantization relations of fermions. Using the fermion propagator arising from this method, we then solve the gap equation at zero and nonzero temperatures. At zero temperature, the dynamical mass $\bar{m}$ does not depend on the angular frequency, as expected. We thus study its dependence on the distance $r$ relative to the axis of rotation and the magnetic field $B$, and explore the corresponding finite size effect for various couplings $G$. We then consider the finite temperature case. The dependence of $\bar{m}$ on the temperature $T$, magnetic field $B$, angular frequency $\Omega$, and distance $r$ for various $G$ is studied. We show that $\bar{m}$ decreases, in general, with $B$ and $\Omega$. This is the ''inverse magneto-rotational catalysis (IMRC)'' or the ''rotational magnetic inhibition'', previously discussed in the literature. To explore the evidence of this effect in the phase diagrams of our model, we examine the phase portraits of the critical temperature $T_c$ as well as the critical angular frequency $\Omega_c$ with respect to $G, B,\Omega$, and $r$ as well as $G, B, T$, and $r$, respectively. We show that $T_{c}$ and $\Omega_c$ decrease, in particular, with $B$. This is interpreted as clear evidence for IMRC.


title: Gapped ground state in a spin-1/2 frustrated square lattice

abstract: We present a model compound with a spin-1/2 frustrated square lattice, in which three ferromagnetic (F) interactions and one antiferromagnetic (AF) compet. Considering the effective spin-1 formed by the dominant F dimer, this square lattice can be mapped to a spin-1 spatially anisotropic triangular lattice. The magnetization curve exhibits gapped behavior indicative of a dominant one-dimensional (1D) AF correlation. In the field-induced gapless phase, the specific heat and magnetic susceptibility show a phase transition to an ordered state with 2D characteristics. These results indicate that the spin-1 Haldane state is extended to the 2D system. We demonstrate that the gapped ground state observed in the present spin-1/2 frustrated square lattice originates from the one-dimensionalization caused by frustration.


title: Spatially Adaptive Projective Integration Schemes For Stiff Hyperbolic Balance Laws With Spectral Gaps

abstract: Stiff hyperbolic balance laws exhibit large spectral gaps, especially if the relaxation term significantly varies in space. Using examples from rarefied gases and the general form of the underlying balance law model, we perform a detailed spectral analysis of the semi-discrete model that reveals the spectral gaps. Based on that, we show the inefficiency of standard time integration schemes expressed by a severe restriction of the CFL number. We then develop the first spatially adaptive projective integration schemes to overcome the prohibitive time step constraints of standard time integration schemes. The new schemes use different time integration methods in different parts of the computational domain, determined by the spatially varying value of the relaxation time. We use our analytical results to derive accurate stability bounds for the involved parameters and show that the severe time step constraint can be overcome. The new adaptive schemes show good accuracy in a numerical test case and can obtain a large speedup with respect to standard schemes.


title: Non-trivial extensions in equivariant cohomology with constant coefficients

abstract: In this paper, we prove some computational results about equivariant cohomology over the cyclic group $C_{p^n}$ of prime power order. We show that there is an inductive formula when the dimension of the $C_p$-fixed points of the grading is large. Among other calculations, we also show the existence of non-trivial extensions when $n\geq 3$.


title: Certification of Genuine Multipartite Entanglement with General and Robust Device-independent Witnesses

abstract: Genuine multipartite entanglement represents the strongest type of entanglement, which is an essential resource for quantum information processing. Standard methods to detect genuine multipartite entanglement, e.g., entanglement witnesses, state tomography, or quantum state verification, require full knowledge of the Hilbert space dimension and precise calibration of measurement devices, which are usually difficult to acquire in an experiment. The most radical way to overcome these problems is to detect entanglement solely based on the Bell-like correlations of measurement outcomes collected in the experiment, namely, device-independently (DI). However, it is difficult to certify genuine entanglement of practical multipartite states in this way, and even more difficult to quantify it, due to the difficulty to identify optimal multipartite Bell inequalities and protocols tolerant to state impurity. In this work, we explore a general and robust DI method which can be applied to various realistic multipartite quantum state in arbitrary finite dimension, while merely relying on bipartite Bell inequalities. Our method allows us both to certify the presence of genuine multipartite entanglement and to quantify it. Several important classes of entangled states are tested with this method, leading to the detection of genuinely entangled states. We also certify genuine multipartite entanglement in weakly-entangled GHZ states, thus showing that the method applies equally well to less standard states.


title: Reservoir Computers with Random and Optimized Time-Shifts

abstract: We investigate the effects of application of random time-shifts to the readouts of a reservoir computer in terms of both accuracy (training error) and performance (testing error.) For different choices of the reservoir parameters and different `tasks', we observe a substantial improvement in both accuracy and performance. We then develop a simple but effective technique to optimize the choice of the time-shifts, which we successfully test in numerical experiments.


title: Proof of some Littlewood identities conjectured by Lee, Rains and Warnaar

abstract: We prove a novel pair of Littlewood identities for Schur functions, recently conjecture by Lee, Rains and Warnaar in the Macdonald case, in which the sum is over partitions with empty 2-core. As a byproduct we obtain a new Littlewood identity in the spirit of Littlewood's original formulae.


title: Turbulent transport of radiation in the solar convective zone

abstract: A turbulent transport of radiation in the solar convective zone is investigated. The mean-field equation for the irradiation intensity is derived. It is shown that due to the turbulent effects, the effective penetration length of radiation can be increased in several times in comparison with the mean penetration length of radiation (defined as an inverse mean absorption coefficient). Using the model of the solar convective zone based on the mixing length theory, where the mean penetration length of radiation is usually much smaller than the turbulent correlation length, it is demonstrated that the ratio of the effective penetration length to the mean penetration length of radiation increases in 2.5 times in the vicinity of the solar surface. The main reason are the compressibility effects that become important in the vicinity of the solar surface where temperature and density fluctuations increase towards the solar surface, enhancing fluctuations of the radiation absorption coefficient and increasing the effective penetration length of radiation.


title: CrossedWires: A Dataset of Syntactically Equivalent but Semantically Disparate Deep Learning Models

abstract: The training of neural networks using different deep learning frameworks may lead to drastically differing accuracy levels despite the use of the same neural network architecture and identical training hyperparameters such as learning rate and choice of optimization algorithms. Currently, our ability to build standardized deep learning models is limited by the availability of a suite of neural network and corresponding training hyperparameter benchmarks that expose differences between existing deep learning frameworks. In this paper, we present a living dataset of models and hyperparameters, called CrossedWires, that exposes semantic differences between two popular deep learning frameworks: PyTorch and Tensorflow. The CrossedWires dataset currently consists of models trained on CIFAR10 images using three different computer vision architectures: VGG16, ResNet50 and DenseNet121 across a large hyperparameter space. Using hyperparameter optimization, each of the three models was trained on 400 sets of hyperparameters suggested by the HyperSpace search algorithm. The CrossedWires dataset includes PyTorch and Tensforflow models with test accuracies as different as 0.681 on syntactically equivalent models and identical hyperparameter choices. The 340 GB dataset and benchmarks presented here include the performance statistics, training curves, and model weights for all 1200 hyperparameter choices, resulting in 2400 total models. The CrossedWires dataset provides an opportunity to study semantic differences between syntactically equivalent models across popular deep learning frameworks. Further, the insights obtained from this study can enable the development of algorithms and tools that improve reliability and reproducibility of deep learning frameworks. The dataset is freely available at https://github.com/maxzvyagin/crossedwires through a Python API and direct download link.


title: Spin accumulation and dissipation excited by an ultrafast laser pulse

abstract: An ultrafast spin current can be induced by femtosecond laser excitation in a ferromagnetic (FM) thin film in contact with a nonmagnetic (NM) metal. The propagation of an ultrafast spin current into NM metal has recently been found in experiments to generate transient spin accumulation. Unlike spin accumulation in equilibrium NM metals that occurs due to spin transport at the Fermi energy, transient spin accumulation involves highly nonequilibrium hot electrons well above the Fermi level. To date, the diffusion and dissipation of this transient spin accumulation has not been well studied. Using the superdiffusive spin transport model, we demonstrate how spin accumulation is generated in NM metals after laser excitation in an FM|NM bilayer. The spin accumulation shows an exponential decay from the FM|NM interface, with the decay length increasing to the maximum value and then decreasing until saturation. By analyzing the ultrafast dynamics of laser-excited hot electrons, the "effective mean free path", which can be characterized by the averaged product of the group velocity and lifetime of hot electrons, is found to play a key role. The interface reflectivity has little influence on the spin accumulation in NM metals. Our calculated results are in qualitative agreement with recent experiments.


title: Risk Assessment, Prediction, and Avoidance of Collision in Autonomous Drones

abstract: Unmanned Aerial Vehicles (UAVs), in particular Drones, have gained significant importance in diverse sectors, mainly military uses. Recently, we can see a growth in acceptance of autonomous UAVs in civilian spaces as well. However, there is still a long way to go before drones are capable enough to be safely used without human surveillance. A lot of subsystems and components are involved in taking care of position estimation, route planning, software/data security, and collision avoidance to have autonomous drones that fly in civilian spaces without being harmful to themselves, other UAVs, environment, or humans. The ultimate goal of this research is to advance collision avoidance and mitigation techniques through quantitative safety risk assessment. To this end, it is required to identify the most relevant faults/failures/threats that can happen during a drone's flight/mission. The analysis of historical data is also a relevant instrument to help to characterize the most frequent and relevant issues in UAV systems, which may cause safety hazards. Then we need to estimate their impact quantitatively, by using fault injection techniques. Knowing the growing interests in UAVs and their huge potential for future commercial applications, the expected outcome of this work will be helpful to researchers for future related research studies. Furthermore, we envisage the utilization of expected results by companies to develop safer drone applications, and by air traffic controllers for building failure prediction and collision avoidance solutions.


title: Towards Reference Architectures for Trustworthy Collaborative Cyber-Physical Systems: Reference Architectures as Boundary Objects

abstract: This paper presents our work-in-progress study on reference architectures as boundary objects for realizing trustworthy collaborative Cyber-Physical Systems (CPS). Furthermore, the preliminary results from interviews with systems engineering experts from industry and academia are also discussed. The interview results reveal challenges in using reference architectures during the system development process. Furthermore, exactly which trustworthiness attributes (security, availability, reliability, etc.) should be addressed to realize trustworthy collaborative CPS is identified as an open question, which we will address in our future work.


title: Space-Fractional Diffusion with Variable Order and Diffusivity: Discretization and Direct Solution Strategies

abstract: We consider the multidimensional space-fractional diffusion equations with spatially varying diffusivity and fractional order. Significant computational challenges are encountered when solving these equations due both to the kernel singularity in the fractional integral operator and to the resulting dense discretized operators, which quickly become prohibitively expensive to handle because of their memory and arithmetic complexities. In this work, we present a singularity-aware discretization scheme that regularizes the singular integrals through a singularity subtraction technique adapted to the spatial variability of diffusivity and fractional order. This regularization strategy is conveniently formulated as a sparse matrix correction that is added to the dense operator, and is applicable to different formulations of fractional diffusion equations. We also present a block low rank representation to handle the dense matrix representations, by exploiting the ability to approximate blocks of the resulting formally dense matrix by low rank factorizations. A Cholesky factorization solver operates directly on this representation using the low rank blocks as its atomic computational tiles, and achieves high performance on multicore hardware. Numerical results show that the singularity treatment is robust, substantially reduces discretization errors, and attains the first-order convergence rate allowed by the regularity of the solutions. They also show that considerable savings are obtained in storage ($O(N^{1.5})$) and computational cost ($O(N^2)$) compared to dense factorizations. This translates to orders-of-magnitude savings in memory and time on multi-dimensional problems, and shows that the proposed methods offer practical tools for tackling large nonlocal fractional diffusion simulations.


title: Towards formally analyzed Cyber-Physical Systems

abstract: Cyber-physical systems (CPS) can be found everywhere: smart homes, autonomous vehicles, aircrafts, healthcare, agriculture and industrial production lines. CPSs are often critical, as system failure can cause serious damage to property and human lives. Today's cyber-physical systems are extremely complex, heterogeneous systems: to be able to manage their complexity in a unified way, we need an infrastructure that ensures that our systems operate with the high reliability as intended. In addition to the infrastructure, we need to provide engineers a method to ensure system reliability at design time. The paradigm of model-driven design provides a toolkit supporting the design and analysis and by choosing the proper formalisms, the model-driven design approach allows us to validate our system at design time.


title: An Upper Bound for Provenance in ELHr

abstract: We investigate the entailment problem in ELHr ontologies annotated with provenance information. In more detail, we show that subsumption entailment is in NP if provenance is represented with polynomials from the Trio semiring and in PTime if the semiring is not commutative. The proof is based on the construction of a weighted tree automaton which recognises a language that matches with the corresponding provenance polynomial.


title: Extremal Polygonal Cacti for General Sombor Index

abstract: The Sombor index of a graph $G$ was recently introduced by Gutman from the geometric point of view, defined as $SO(G)=\sum_{uv\in E(G)}\sqrt{d(u)^2+d(v)^2}$, where $d(u)$ is the degree of a vertex $u$. For two real numbers $\alpha$ and $\beta$, the $\alpha$-Sombor index and general Sombor index of $G$ are two generalized forms of the Sombor index defined as $SO_\alpha(G)=\sum_{uv\in E(G)}(d(u)^{\alpha}+d(v)^{\alpha})^{1/\alpha}$ and $SO_\alpha(G;\beta)=\sum_{uv\in E(G)}(d(u)^{\alpha}+d(v)^{\alpha})^{\beta}$, respectively. A $k$-polygonal cactus is a connected graph in which every block is a cycle of length $k$. In this paper, we establish a lower bound on $\alpha$-Sombor index for $k$-polygonal cacti and show that the bound is attained only by chemical $k$-polygonal cacti. The extremal $k$-polygonal cacti for $SO_\alpha(G;\beta)$ with some particular $\alpha$ and $\beta$ are also considered.


title: A note on the energy transfer in coupled differential systems

abstract: We study the energy transfer in the linear system $$ \begin{cases} \ddot u+u+\dot u=b\dot v\\ \ddot v+v-\epsilon \dot v=-b\dot u \end{cases} $$ made by two coupled differential equations, the first one dissipative and the second one antidissipative. We see how the competition between the damping and the antidamping mechanisms affect the whole system, depending on the coupling parameter $b$.


title: Searching for an Effective Defender: Benchmarking Defense against Adversarial Word Substitution

abstract: Recent studies have shown that deep neural networks are vulnerable to intentionally crafted adversarial examples, and various methods have been proposed to defend against adversarial word-substitution attacks for neural NLP models. However, there is a lack of systematic study on comparing different defense approaches under the same attacking setting. In this paper, we seek to fill the gap of systematic studies through comprehensive researches on understanding the behavior of neural text classifiers trained by various defense methods under representative adversarial attacks. In addition, we propose an effective method to further improve the robustness of neural text classifiers against such attacks and achieved the highest accuracy on both clean and adversarial examples on AGNEWS and IMDB datasets by a significant margin.


title: Cross-correlation mediated by Majorana island with finite charging energy

abstract: Based on the many-particle-number-state treatment for transport through a pair of Majorana zero modes (MZMs) which are coupled to the leads via two quantum dots, we identify that the reason for zero cross correlation of currents at uncoupling limit between the MZMs is from a degeneracy of the teleportation and the Andreev process channels. We then propose a scheme to eliminate the degeneracy by introducing finite charging energy on the Majorana island which allows for coexistence of the two channels. We find nonzero cross correlation established even in the Majorana uncoupling limit (and also in the small charging energy limit), which demonstrates well the teleportation or nonlocal nature of the MZMs. More specifically, the characteristic structure of coherent peaks in the power spectrum of the cross correlation is analyzed to identify the nonlocal and coherent coupling mechanism between the MZMs and the quantum dots. We also display the behaviors of peak shift with variation of the Majorana coupling energy, which can be realized by modulating parameters such as the magnetic field.


title: Parameterizations of Logarithmic-Space Reductions, Stack-State Complexity of Nonuniform Families of Pushdown Automata, and a Road to the LOGCFL$\subseteq$LOGDCFL/poly Question

abstract: The complexity class LOGCFL (resp., LOGDCFL) consists of all languages that are many-one reducible to context-free (resp., deterministic context-free) languages using logarithmic space. These complexity classes have been studied over five decades in connection to parallel computation since they are located between Nick's classes $\mathrm{NC}^1$ and $\mathrm{NC}^2$. In contrast, the state complexity of nonuniform finite-automaton families was first discussed in the 1970s and it has been extensively explored lately for various finite-automata families. We extend this old subject to the stack-state complexity (i.e., the total number of inner states plus simultaneously pushable stack symbol series) of nonuniform families of various pushdown automata. We introduce reasonable "parameterizations" of LOGCFL and LOGDCFL and apply them as a technical tool to establish a close connection between the LOGCFL$\subseteq$LOGDCFL/poly question and the polynomial stack-state complexity of nonuniform families of two-way pushdown automata. We also discuss the precise computational complexity of polynomial-size one-way pushdown automata.


title: An Experimental Validation and Comparison of Reaching Motion Models for Unconstrained Handovers: Towards Generating Humanlike Motions for Human-Robot Handovers

abstract: The Minimum Jerk motion model has long been cited in literature for human point-to-point reaching motions in single-person tasks. While it has been demonstrated that applying minimum-jerk-like trajectories to robot reaching motions in the joint action task of human-robot handovers allows a robot giver to be perceived as more careful, safe, and skilled, it has not been verified whether human reaching motions in handovers follow the Minimum Jerk model. To experimentally test and verify motion models for human reaches in handovers, we examined human reaching motions in unconstrained handovers (where the person is allowed to move their whole body) and fitted against 1) the Minimum Jerk model, 2) its variation, the Decoupled Minimum Jerk model, and 3) the recently proposed Elliptical (Conic) model. Results showed that Conic model fits unconstrained human handover reaching motions best. Furthermore, we discovered that unlike constrained, single-person reaching motions, which have been found to be elliptical, there is a split between elliptical and hyperbolic conic types. We expect our results will help guide generation of more humanlike reaching motions for human-robot handover tasks.


title: Outlier Detection in Smart Grid Communication

abstract: Industrial Control System (ICS) networks transmit control and monitoring data in critical environments such as smart grid. Cyber attacks on smart grid communication may cause fatal consequences on energy production, distribution, and eventually the lives of people. Since the attacks can be initiated from both the inside and outside of the network, traditional smart grid security tools like firewalls or Intrusion Detection Systems (IDS), which are typically deployed on the edge of the network, are not able to detect internal threats. For this reason, we also need to analyze behavior of internal ICS communication.


title: Residual stress in athermal soft disordered solids: insights from microscopic and mesoscale models

abstract: In soft amorphous materials, shear cessation after large shear deformation leads to structures having residual shear stress. The origin of these states and the distribution of the local shear stresses within the material is not well understood, despite its importance for the change in material properties and consequent applications. In this work, we use molecular dynamics simulations of a model dense non-Brownian soft amorphous material to probe the non-trivial relaxation process towards a residual stress state. We find that, similar to thermal glasses, an increase in shear rate prior to the shear cessation leads to lower residual stress states. We rationalise our findings using a mesoscopic elasto-plastic description that explicitly includes a long range elastic response to local shear transformations. We find that after flow cessation the initial stress relaxation indeed depends on the pre-sheared stress state, but the final residual stress is majorly determined by newly activated plastic events occurring during the relaxation process. Our simplified coarse grained description not only allows to capture the phenomenology of residual stress states but also to rationalise the altered material properties that are probed using small and large deformation protocols applied to the relaxed material.


title: A graph based workflow for extracting grain-scale toughness from meso-scale experiments

abstract: We introduce a novel machine learning computational framework that aims to compute the material toughness, after subjected to a short training process on a limited meso-scale experimental dataset. The three part computational framework relies on the ability of a graph neural network to perform high accuracy predictions of the micro-scale material toughness, utilizing a limited size dataset that can be obtained from meso-scale fracture experiments. We analyze the functionality of the different components of the framework, but the focus is on the capabilities of the neural network. The minimum size of the dataset required for the network training is investigated. The results demonstrate the high efficiency of the algorithm in predicting the crack growth resistance in micro-scale level, using a crack path trajectory limited to 200-300 grains for the network training. The merit of the proposed framework arises from the capacity to enhance its performance in different material systems with a limited additional training on data obtained from experiments that do not require complex or cumbersome measurements. The main objective is the development of an efficient computational tool that enables the study of a wide range of material microstructure properties and the investigation of their influence on the material toughness.


title: TCCT: Tightly-Coupled Convolutional Transformer on Time Series Forecasting

abstract: Time series forecasting is essential for a wide range of real-world applications. Recent studies have shown the superiority of Transformer in dealing with such problems, especially long sequence time series input(LSTI) and long sequence time series forecasting(LSTF) problems. To improve the efficiency and enhance the locality of Transformer, these studies combine Transformer with CNN in varying degrees. However, their combinations are loosely-coupled and do not make full use of CNN. To address this issue, we propose the concept of tightly-coupled convolutional Transformer(TCCT) and three TCCT architectures which apply transformed CNN architectures into Transformer: (1) CSPAttention: through fusing CSPNet with self-attention mechanism, the computation cost of self-attention mechanism is reduced by 30% and the memory usage is reduced by 50% while achieving equivalent or beyond prediction accuracy. (2) Dilated causal convolution: this method is to modify the distilling operation proposed by Informer through replacing canonical convolutional layers with dilated causal convolutional layers to gain exponentially receptive field growth. (3) Passthrough mechanism: the application of passthrough mechanism to stack of self-attention blocks helps Transformer-like models get more fine-grained information with negligible extra computation costs. Our experiments on real-world datasets show that our TCCT architectures could greatly improve the performance of existing state-of-art Transformer models on time series forecasting with much lower computation and memory costs, including canonical Transformer, LogTrans and Informer.


title: On the cohomology of p-adic analytic spaces, II: The $C_{\rm st}$-conjecture

abstract: Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties in the two extreme cases: proper and Stein, are also related. In the proper case, the comparison theorems are similar to those for algebraic varieties, but for Stein varieties they are quite different. In this paper, we state analogs of Fontaine's conjectures for general smooth dagger varieties, that interpolate between these two extreme cases, and we prove them for many ``small'' varieties (cases we deal with include products of overconvergent affinoids and proper varieties, analytifications of algebraic varieties, or "almost proper" dagger varieties). The proofs use a ``geometrization'' of all involved cohomologies in terms of quasi-Banach-Colmez spaces (qBC's for short, quasi- because we relax the finiteness conditions). The heart of the proof relies on delicate properties of BC's and qBC's. These properties should be of independent interest and we have devoted a large part of the paper to them.


title: Well-posedness and stability for semilinear wave-type equations with time delay

abstract: In this paper we analyze a semilinear abstract damped wave-type equation with time delay. We assume that the delay feedback coefficient is variable in time and belonging to $L^1_{loc}([0, +\infty)).$ Under suitable assumptions, we show well-posedness and exponential stability for small initial data. Our strategy combines careful energy estimates and continuity arguments. Some examples illustrate the abstract results.


title: Orthogonal decomposition of composition operators on the $H^2$ space of Dirichlet series

abstract: Let $\mathscr{H}^2$ denote the Hilbert space of Dirichlet series with square-summable coefficients. We study composition operators $\mathscr{C}_\varphi$ on $\mathscr{H}^2$ which are generated by symbols of the form $\varphi(s) = c_0s + \sum_{n\geq1} c_n n^{-s}$, in the case that $c_0 \geq 1$. If only a subset $\mathbb{P}$ of prime numbers features in the Dirichlet series of $\varphi$, then the operator $\mathscr{C}_\varphi$ admits an associated orthogonal decomposition. Under sparseness assumptions on $\mathbb{P}$ we use this to asymptotically estimate the approximation numbers of $\mathscr{C}_\varphi$. Furthermore, in the case that $\varphi$ is supported on a single prime number, we affirmatively settle the problem of describing the compactness of $\mathscr{C}_\varphi$ in terms of the ordinary Nevanlinna counting function. We give detailed applications of our results to affine symbols and to angle maps.


title: Attempt to Predict Failure Case Classification in a Failure Database by using Neural Network Models

abstract: With the recent progress of information technology, the use of networked information systems has rapidly expanded. Electronic commerce and electronic payments between banks and companies, and online shopping and social networking services used by the general public are examples of such systems. Therefore, in order to maintain and improve the dependability of these systems, we are constructing a failure database from past failure cases. When importing new failure cases to the database, it is necessary to classify these cases according to failure type. The problems are the accuracy and efficiency of the classification. Especially when working with multiple individuals, unification of classification is required. Therefore, we are attempting to automate classification using machine learning. As evaluation models, we selected the multilayer perceptron (MLP), the convolutional neural network (CNN), and the recurrent neural network (RNN), which are models that use neural networks. As a result, the optimal model in terms of accuracy is first the MLP followed by the CNN, and the processing time of the classification is practical.


title: Exact solutions to the Erd\H{o}s-Rothschild problem

abstract: Let $\textbf{k} := (k_1,\ldots,k_s)$ be a sequence of natural numbers. For a graph $G$, let $F(G;\textbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\textbf{k})$ to denote the maximum of $F(G;\textbf{k})$ over all graphs $G$ on $n$ vertices. There are currently very few known exact (or asymptotic) results for this problem, posed by Erd\H{o}s and Rothschild in 1974. We prove some new exact results for $n \to \infty$: (i) A sufficient condition on $\textbf{k}$ which guarantees that every extremal graph is a complete multipartite graph, which systematically recovers all existing exact results. (ii) Addressing the original question of Erd\H{o}s and Rothschild, in the case $\textbf{k}=(3,\ldots,3)$ of length $7$, the unique extremal graph is the complete balanced $8$-partite graph, with colourings coming from Hadamard matrices of order $8$. (iii) In the case $\textbf{k}=(k+1,k)$, for which the sufficient condition in (i) does not hold, for $3 \leq k \leq 10$, the unique extremal graph is complete $k$-partite with one part of size less than $k$ and the other parts as equal in size as possible.


title: RPR-Net: A Point Cloud-based Rotation-aware Large Scale Place Recognition Network

abstract: Point cloud-based large scale place recognition is an important but challenging task for many applications such as Simultaneous Localization and Mapping (SLAM). Taking the task as a point cloud retrieval problem, previous methods have made delightful achievements. However, how to deal with catastrophic collapse caused by rotation problems is still under-explored. In this paper, to tackle the issue, we propose a novel Point Cloud-based Rotation-aware Large Scale Place Recognition Network (RPR-Net). In particular, to solve the problem, we propose to learn rotation-invariant features in three steps. First, we design three kinds of novel Rotation-Invariant Features (RIFs), which are low-level features that can hold the rotation-invariant property. Second, using these RIFs, we design an attentive module to learn rotation-invariant kernels. Third, we apply these kernels to previous point cloud features to generate new features, which is the well-known SO(3) mapping process. By doing so, high-level scene-specific rotation-invariant features can be learned. We call the above process an Attentive Rotation-Invariant Convolution (ARIConv). To achieve the place recognition goal, we build RPR-Net, which takes ARIConv as a basic unit to construct a dense network architecture. Then, powerful global descriptors used for retrieval-based place recognition can be sufficiently extracted from RPR-Net. Experimental results on prevalent datasets show that our method achieves comparable results to existing state-of-the-art place recognition models and significantly outperforms other rotation-invariant baseline models when solving rotation problems.


title: Arithmetic representations of mapping class groups

abstract: Let $S$ be a closed oriented surface and $G$ a finite group of orientation preserving automorphisms of $S$ whose orbit space has genus at least $2$. There is a natural group homomorphism from the $G$-centralizer in $Diff^+(S)$ to the $G$-centralizer in $Sp(H_1(S))$. We give a sufficient condition for its image to be a subgroup of finite index and a weaker condition for this to have no finite nonzero orbit (the Putman-Wieland property).


title: Making Honey Files Sweeter: SentryFS -- A Service-Oriented Smart Ransomware Solution

abstract: The spread of ransomware continues to cause devastation and is a major concern for the security community. An often-used technique against this threat is the use of honey (or canary) files, which serve as ``trip wires'' to detect ransomware in its early stages. However, in our analysis of ransomware samples from the wild, we discovered that attackers are well-aware of these traps, and newer variants use several evasive strategies to bypass traditional honey files. Hence, we present the design of SentryFS - a specialized file system that strategically ``sprays'' specially-crafted honey files across the file system. The canaries are generated using Natural Language Processing (NLP) and the content and the metadata is constantly updated to make the canaries appear more attractive for smarter ransomware that is selective in choosing victim files. Furthermore, to assist with the management of the honey files, SentryFS connects with an anti-ransomware web service to download the latest intelligence on novel ransomware strategies to update the canaries. Finally, as a contingency, SentryFS also leverages file clones to prevent processes from writing to files directly in the event a highly stealthy ransomware goes undetected. In this case, the ransomware encrypts the clones rather than the actual files, leaving users' data unmodified. An AI agent then assigns a suspicion score to the write activity so that users can approve/discard the changes. As an early-warning system, the proposed design might help mitigate the problem of ransomware.


title: Magnetic fields in elliptical galaxies: Using the Laing-Garrington effect in radio galaxies and polarized emission from background radio sources

abstract: Magnetic fields in elliptical galaxies are poorly constrained due to a lack of significant synchrotron emission from them. This paper explores properties of magnetic fields in ellipticals via two methods. First, we exploit the Laing-Garrington effect (asymmetry in the observed polarization fraction between radio galaxy jets) for 57 galaxies with redshifts up to $0.5$. We use the differences in polarization fraction and rotation measure between the jet and counterjet to estimate the small- and large-scale magnetic fields in and around ellipticals (including their circumgalactic medium). We find that the small-scale field (at scales smaller than the driving scale of turbulence, approximately $300~{\rm pc}$) lies in the range $0.1~\text{--}~2.75~\mu{\rm G}$. The large-scale field (at scales of $100~{\rm kpc}$) is an order of magnitude smaller than the small-scale field. In the second method, we cross-match the Faraday rotation measures (RM) of a few hundred (out of $3098$) extragalactic radio sources with galaxy catalogs to explore the effect of the number and morphology of intervening galaxies on the observed RM distribution. We use both Gaussian and non-Gaussian functions to describe the RM distribution and derive its statistical properties. Finally, using the difference in the observed polarization fraction between the intervening spirals and ellipticals, we estimate the small-scale magnetic fields at the center of ellipticals to be $\sim6~\mu{\rm G}$. Both methods with different observations and analysis techniques give magnetic field strengths consistent with previous studies ($\leq10\mu{\rm G}$), and the results can be used to constrain dynamo theories and galaxy evolution simulations.


title: Band diagrams of immersed surfaces in 4-manifolds

abstract: We study immersed surfaces in smooth 4-manifolds via singular banded unlink diagrams. Such a diagram consists of a singular link with bands inside a Kirby diagram of the ambient 4-manifold, representing a level set of the surface with respect to an associated Morse function. We show that every self-transverse immersed surface in a smooth, orientable, closed 4-manifold can be represented by a singular banded unlink diagram, and that such representations are uniquely determined by the ambient isotopy or equivalence class of the surface up to a set of singular band moves which we define explicitly. By introducing additional finger, Whitney, and cusp diagrammatic moves, we can use these singular band moves to describe homotopies or regular homotopies as well. Using these techniques, we introduce bridge trisections of immersed surfaces in arbitrary trisected 4-manifolds and prove that such bridge trisections exist and are unique up to simple perturbation moves. We additionally give some examples of how singular banded unlink diagrams may be used to perform computations or produce explicit homotopies of surfaces.


title: Mean-Square Input-Output Stability and Stabilizability of a Networked Control System with Random Channel Induced Delays

abstract: This work mainly investigates the mean-square stability and stabilizability for a single-input single-output networked linear feedback system. The control signal in the networked system is transmitted over an unreliable channel. In this unreliable channel, the data transmission times, referred to as channel induced delays, are random values and the transmitted data could also be dropout with certain probability. The channel induced delays and packet dropout are modeled by an independent and identically distributed stochastic process with a fixed probability mass function. At the channel terminal, a linear combination of data received at one sampling time is applied to the plant of the networked feedback system as a new control signal. To describe the uncertainty in the channel, a concept so called frequency response of variation is introduced for the unreliable channel. With the given linear receiving strategy, a mean-square stability criterion is established in terms of the frequency response of variation of the unreliable channel for the networked feedback system. It is shown by this criterion that the mean-square stability is determined by the interaction between the frequency response of variation and the nominal feedback system. The role played by the random channel induced delays is the same as that played by a colored additive noise in an additive noise channel with a signal-to-noise ratio constraint. Moreover, the mean-square input-output stabilizability via output feedback is studied for the networked system. When the plant in the networked feedback system is minimum phase, an analytic necessary and sufficient condition is presented for its mean-square input-output stabilizability. It turns out that the stabilizability is only determined by the interaction between the frequency response of variation of the channel and unstable poles of the plant.


title: $q$-Analogues of $\pi$-Related Formulae from Jackson's $_8\phi_7$-Series via Inversion Approach

abstract: By making use of the multiplicate form of the extended Carlitz inverse series relations, we establish two general `dual' theorems of Jackson's summation formula for well--poised $_8\phi_7$-series. Their duplicate forms under the partition pattern $n=\lfloor{\frac{n}2}\rfloor+\lfloor{\frac{n+1}2}\rfloor$ are explored and yield numerous $q$-series identities whose limiting cases as $q\to1$ result in classical $\pi$-related Ramanujan--like series of convergence rate ``$\frac1{16}$" including one for $1/\pi^2$ discovered by Guillera (2003). The triplicate dual formulae under the partition pattern $n=\lfloor{\frac{n}3}\rfloor+\lfloor{\frac{n+1}3}\rfloor+\lfloor{\frac{n+2}3}\rfloor$ are examined via the ``reverse bisection method", which leads us to twenty new $q$-series identities together with their classical counterparts of convergence rate ``$\frac{-1}{27}$" when $q\to1$.


title: Lattice paths with infinitely many down steps -- the negative boundary model

abstract: We consider a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ down-steps $(1,-j)$, for $j\ge2$ are allowed. We give credits to Emeric Deutsch for that. The enumeration of such objects living in a strip is performed. Methods are the kernel method and techniques from linear algebra.


title: Steiner distance matrix of caterpillar graphs

abstract: For a connected graph $G:=(V,E)$, the Steiner distance $d_G(X)$ among a set of vertices $X$ is the minimum size among all the connected subgraphs of $G$ whose vertex set contains $X$. The $k-$Steiner distance matrix $D_k(G)$ of $G$ is a matrix whose rows and columns are indexed by $k-$subsets of $V$. For $k$-subsets $X_1$ and $X_2$, the $(X_1,X_2)-$entry of $D_k(G)$ is $d_G(X_1 \cup X_2)$. In this paper, we show that the rank of $2-$Steiner distance matrix of a caterpillar graph on $N$ vertices and with $p$ pendant veritices is $2N-p-1$.


title: A new proof of the Gasca-Maeztu conjecture for n = 5

abstract: An $n$-correct node set $\mathcal{X}$ is called $GC_n$ set if the fundamental polynomial of each node is a product of $n$ linear factors. In 1982 Gasca and Maeztu conjectured that for every $GC_n$ set there is a line passing through $n+1$ of its nodes.So far, this conjecture has been confirmed only for $n\le 5.$ The case $n = 4,$ was first proved by J. R. Bush in 1990. Several other proofs have been published since then. For the case $n=5$ there is only one proof: by H. Hakopian, K. Jetter and G. Zimmermann (Numer Math $127,685-713, 2014$). Here we present a second, much shorter and easier proof.


title: A City upon a Hill: Casting Light on a Real Experimental Process

abstract: Context: The overall scientific community is proposing measures to improve the reproducibility and replicability of experiments. Reproducibility is relatively easy to achieve. However, replicability is considerably more complex in both the sciences and Empirical Software Engineering (ESE). Several strategies, e.g., replication packages and families of experiments, have been proposed to improve replication in ESE, with limited success. We wonder whether the failures are due to some mismatch, i.e., the researchers' needs are not satisfied by the proposed replication procedures. Objectives: Find out how experimental researchers conduct \textit{experiments in practice}. Methods: We carried out an ethnography study within a SE Research Group. Our main activity was to observe/approach the experimental researchers in their day-to-day settings for two years. Their preferred literature and experimental materials were studied. We used individual and group interviews to gain understanding and examine unclear topics in-depth. Results: We have created conceptual and process models that represent how experimentation is really conducted in the Research Group. Models fit the community's procedures and terminology at a high level, but they become particular in their minute details. Conclusion: The actual experimental process differs from textbooks in several points, namely: (1) Number and diversity of activities, (2) existence of different roles, (3) the granularity of the concepts used by the roles, and (4) the viewpoints that different sub-areas or families of experiments have about the overall process.


title: Markov Switching Model for Driver Behavior Prediction: Use cases on Smartphones

abstract: Several intelligent transportation systems focus on studying the various driver behaviors for numerous objectives. This includes the ability to analyze driver actions, sensitivity, distraction, and response time. As the data collection is one of the major concerns for learning and validating different driving situations, we present a driver behavior switching model validated by a low-cost data collection solution using smartphones. The proposed model is validated using a real dataset to predict the driver behavior in short duration periods. A literature survey on motion detection (specifically driving behavior detection using smartphones) is presented. Multiple Markov Switching Variable Auto-Regression (MSVAR) models are implemented to achieve a sophisticated fitting with the collected driver behavior data. This yields more accurate predictions not only for driver behavior but also for the entire driving situation. The performance of the presented models together with a suitable model selection criteria is also presented. The proposed driver behavior prediction framework can potentially be used in accident prediction and driver safety systems.


title: Interpretable Propaganda Detection in News Articles

abstract: Online users today are exposed to misleading and propagandistic news articles and media posts on a daily basis. To counter thus, a number of approaches have been designed aiming to achieve a healthier and safer online news and media consumption. Automatic systems are able to support humans in detecting such content; yet, a major impediment to their broad adoption is that besides being accurate, the decisions of such systems need also to be interpretable in order to be trusted and widely adopted by users. Since misleading and propagandistic content influences readers through the use of a number of deception techniques, we propose to detect and to show the use of such techniques as a way to offer interpretability. In particular, we define qualitatively descriptive features and we analyze their suitability for detecting deception techniques. We further show that our interpretable features can be easily combined with pre-trained language models, yielding state-of-the-art results.


title: Density matrix renormalization group with dynamical correlation via adiabatic connection

abstract: The quantum chemical version of the density matrix renormalization group (DMRG) method has established itself as one of the methods of choice for calculations of strongly correlated molecular systems. Despite its great ability to capture strong electronic correlation in large active spaces, it is not suitable for computations of dynamical electron correlation. In this work, we present a new approach to the electronic structure problem of strongly correlated molecules, in which DMRG is responsible for a proper description of the strong correlation, whereas dynamical correlation is computed via the recently developed adiabatic connection (AC) technique, which requires only up to two-body active space reduced density matrices. We report encouraging results of this approach on typical candidates for DMRG computations, namely the $n$-acenes ($n = 2 \rightarrow 7$), Fe(II)-porphyrin, and Fe$_3$S$_4$ cluster.


title: Sound induced by a simple impact oscillator

abstract: Acoustic radiation due to vibration and impact of a spring-mass-damper oscillator whose motion is constrained by a barrier is analyzed at a field point in a free field. Impact between the mass and the barrier is modeled using a coefficient of restitution model. Non-linear behavior of the oscillator is observed due to motion constraint. Steady state response is studied using a bifurcation diagram. For small amplitudes of oscillation, the pressure perturbation by a vibrating mass in a compressible fluid is modeled as an acoustic dipole with its center at the equilibrium position of the mass and its axis aligned with the motion of the oscillator. The boundary condition for the acoustic domain is an acoustic free-field condition. It is observed that the unsteady acoustic pressure resulting from the impact force is a few orders of magnitude greater relative to the pressure field resulting from vibration alone before or after impact. We also analyzed the influence of coefficient of restitution, damping ratio, the ration of base excitation frequency to the natural frequency, and the ratio of the distance of the barrier to the base excitation amplitude on the acoustic radiation. Damping ratio and coefficient of restituion are shown to be the most significant paramters that affect the acoustic radiation from the vibro-impact oscillator.


title: DropAttack: A Masked Weight Adversarial Training Method to Improve Generalization of Neural Networks

abstract: Adversarial training has been proven to be a powerful regularization method to improve the generalization of models. However, current adversarial training methods only attack the original input sample or the embedding vectors, and their attacks lack coverage and diversity. To further enhance the breadth and depth of attack, we propose a novel masked weight adversarial training method called DropAttack, which enhances generalization of model by adding intentionally worst-case adversarial perturbations to both the input and hidden layers in different dimensions and minimize the adversarial risks generated by each layer. DropAttack is a general technique and can be adopt to a wide variety of neural networks with different architectures. To validate the effectiveness of the proposed method, we used five public datasets in the fields of natural language processing (NLP) and computer vision (CV) for experimental evaluating. We compare the proposed method with other adversarial training methods and regularization methods, and our method achieves state-of-the-art on all datasets. In addition, Dropattack can achieve the same performance when it use only a half training data compared to other standard training method. Theoretical analysis reveals that DropAttack can perform gradient regularization at random on some of the input and wight parameters of the model. Further visualization experiments show that DropAttack can push the minimum risk of the model to a lower and flatter loss landscapes. Our source code is publicly available on https://github.com/nishiwen1214/DropAttack.


title: Fair Allocation with Special Externalities

abstract: Most of the existing algorithms for fair division do not consider externalities. Under externalities, the utility an agent obtains depends not only on its allocation but also on the allocation of other agents. An agent has a positive (negative) value for the assigned goods (chores). This work focuses on a special case of externality, i.e., an agent receives positive or negative value for unassigned items independent of which other agent gets it. We show that it is possible to adapt existing algorithms using a transformation to ensure certain fairness and efficiency notions in this setting. Despite the positive results, fairness notions like proportionality need to be re-defined. Further, we prove that maximin share (MMS) may not have any multiplicative approximation in this setting. Studying this domain is a stepping stone towards full externalities where ensuring fairness is much more challenging.


title: An analysis of polarized parton distribution functions with nonlinear QCD evolution equations

abstract: We present the polarized parton distribution functions from a QCD analysis of the worldwide polarized deep inelastic scattering data, based on the dynamical parton distribution model. All the sea quarks and gluons are dynamically generated from QCD radiations, with the nonperturbative input contains only the polarized valence quark distributions. This approach leads to a simple parametrization, which has only four free parameters. In the analysis, we apply the DGLAP equations with parton-parton recombination corrections. The parameterized nonperturbative input at an extremely low $Q_0^2$ reproduces well the spin-dependent structure functions measured at high $Q^{2}$. Comparisons with experimental observations and some other polarized parton distribution functions are also shown. Our results are in good agreement with the experimental data and consistent with some other parameterized models. Furthermore, our analysis gives the positive polarized gluon distribution and it suggests that the gluon distribution plays an important role to the proton spin content. The polarized antiquark distributions are non-zero at high $Q^2$ but quite small compared to polarized valence quark distribution, based on this dynamical parton model analysis. This analysis shows smaller statistical uncertainties for the polarized sea quark and gluon distributions, thanks to the fewer free parameters used for the parametrization of the initial polarized PDFs.


title: Outstandingly high thermal conductivity, elastic modulus, carrier mobility and piezoelectricity in two-dimensional semiconducting CrC2N4: A first-principles study

abstract: Experimental realization of single-layer MoSi2N4 is among the latest groundbreaking advances in the field of two-dimensional (2D) materials. Inspired by this accomplishment, herein we conduct first-principles calculations to explore the stability of MC2N4 (M= Cr, Mo, W, V, Nb, Ta, Ti, Zr, Hf) monolayers. Acquired results confirm the desirable thermal, dynamical and mechanical stability of MC2N4 (M= Cr, Mo, W, V) nanosheets. Interestingly, CrC2N4, MoC2N4 and WC2N4 monolayers are found to be semiconductors with band gaps of 2.32, 2.76 and 2.86 eV, respectively, using the HSE06 functional, whereas VC2N4 lattice shows a metallic nature. The direct gap semiconducting nature of CrC2N4 monolayer results in excellent absorption of visible light. The elastic modulus and tensile strength of CrC2N4 nanosheet are predicted to be remarkably high, 676 and 54.8 GPa, respectively. On the basis of iterative solutions of the Boltzmann transport equation, the room temperature lattice thermal conductivity of CrC2N4 monolayer is predicted to be 350 W/mK, among the highest in 2D semiconductors. CrC2N4 and WC2N4 lattices are also found to exhibit outstandingly high piezoelectric coefficients. This study introduces CrC2N4 nanosheet as a novel 2D semiconductor with outstandingly high mechanical strength, thermal conductivity, carrier mobility and piezoelectric coefficient.


title: The rUNSWift SPL Field Segmentation Dataset

abstract: In RoboCup SPL, soccer field segmentation has been widely recognised as one of the most critical robot vision problems. Key challenges include dynamic light condition, different calibration status for individual robot, various camera prospective and more. In this paper, we propose a dataset that contains 20 videos recorded with Nao V5/V6 humanroid robots by team rUNSWift under different circumstances. Each of the videos contains several consecutive high resolution frames and the corresponding labels for field. We propose this dataset to provide training data for the league to overcome field segmentation problem. The dataset will be available online for download. Details of annotation and example of usage will be explained in later sections.


title: Impact of SM parameters and of the vacua of the Higgs potential in gravitational waves detection

abstract: In this work we discuss two different phases of a complex singlet extension of the Standard Model (SM) together with an extension that also includes new fermion fields, in particular, a Majoron model equipped with an inverse seesaw mechanism. All considered scenarios contain a global $\mathrm{U}(1)$ symmetry and allow for first-order phase transitions while only two of them are strong enough to favour the detection of primordial gravitational waves (GWs) in planned experiments such as LISA. In particular, this is shown to be possible in the singlet extension with a non vanishing real VEV at zero temperature and also in the model with extra fermions. In the singlet extension with no additional fermions, the detection of GWs strongly depends on the $\mathrm{U}(1)$ symmetry breaking pattern of the scalar potential at zero temperature. We study for the first time the impact of the precision in the determination of the SM parameters on the strength of the GWs spectrum. It turns out that the variation of the SM parameters such as the Higgs boson mass and top quark Yukawa coupling in their allowed experimental ranges has a notable impact on GWs detectability prospects.


title: Airplane Type Identification Based on Mask RCNN and Drone Images

abstract: For dealing with traffic bottlenecks at airports, aircraft object detection is insufficient. Every airport generally has a variety of planes with various physical and technological requirements as well as diverse service requirements. Detecting the presence of new planes will not address all traffic congestion issues. Identifying the type of airplane, on the other hand, will entirely fix the problem because it will offer important information about the plane's technical specifications (i.e., the time it needs to be served and its appropriate place in the airport). Several studies have provided various contributions to address airport traffic jams; however, their ultimate goal was to determine the existence of airplane objects. This paper provides a practical approach to identify the type of airplane in airports depending on the results provided by the airplane detection process using mask region convolution neural network. The key feature employed to identify the type of airplane is the surface area calculated based on the results of airplane detection. The surface area is used to assess the estimated cabin length which is considered as an additional key feature for identifying the airplane type. The length of any detected plane may be calculated by measuring the distance between the detected plane's two furthest points. The suggested approach's performance is assessed using average accuracies and a confusion matrix. The findings show that this method is dependable. This method will greatly aid in the management of airport traffic congestion.


title: Linking disjoint segments into a simple polygon is hard

abstract: Deciding whether a family of disjoint line segments in the plane can be linked into a simple polygon (or a simple polygonal chain) by adding segments between their endpoints is NP-hard.


title: Invariant differential operators for the Jacobi algebra $ {\cal G}_2$

abstract: In the present paper we construct explicitly the intertwining differential operators for the Jacobi algebra ${\cal G}_2.$ For the construction we use the singular vectors of the Verma modules over ${\cal G}_2$ which we have constructed earlier. We construct the function spaces on which the operators act. We display two versions of the left (representation) action and the right action. The latter is inserted in the singular vectors to provide the intertwining differential operators.


title: A scoring framework for tiered warnings and multicategorical forecasts based on fixed risk measures

abstract: The use of tiered warnings and multicategorical forecasts are ubiquitous in meteorological operations. Here, a flexible family of scoring functions is presented for evaluating the performance of ordered multicategorical forecasts. Each score has a risk parameter $\alpha$, selected for the specific use case, so that it is consistent with a forecast directive based on the fixed threshold probability $1-\alpha$ (equivalently, a fixed $\alpha$-quantile mapping). Each score also has use-case specific weights so that forecasters who accurately discriminate between categorical thresholds are rewarded in proportion to the weight for that threshold. A variation is presented where the penalty assigned to near misses or close false alarms is discounted, which again is consistent with directives based on fixed risk measures. The scores presented provide an alternative to many performance measures currently in use, whose optimal threshold probabilities for forecasting an event typically vary with each forecast case, and in the case of equitable scores are based around sample base rates rather than risk measures suitable for users.


title: Conformal metrics of the disk with prescribed Gaussian and geodesic curvatures

abstract: This paper is concerned with the existence of conformal metrics of the disk with prescribed Gaussian and geodesic curvatures. Being more specific, given nonnegative smooth functions $K: \overline{\mathbb{D}} \to \mathbb{R}$ and $h: \partial \mathbb{D} \to \mathbb{R}$, we consider the problem of finding a conformal metric realizing $K$ and $h$ as Gaussian and geodesic curvatures, respectively. This is the natural analogue of the classical Nirenberg problem posed on the disk. As we shall see, both curvatures play a role in the existence of solutions. Indeed we are able to give existence results under conditions that involve $K$ and $H$, where $H$ denotes the harmonic extension of $h$. The proof is based on the computation of the Leray-Schauder degree in a compact setting.


title: Privacy-preserving Machine Learning for Medical Image Classification

abstract: With the rising use of Machine Learning (ML) and Deep Learning (DL) in various industries, the medical industry is also not far behind. A very simple yet extremely important use case of ML in this industry is for image classification. This is important for doctors to help them detect certain diseases timely, thereby acting as an aid to reduce chances of human judgement error. However, when using automated systems like these, there is a privacy concern as well. Attackers should not be able to get access to the medical records and images of the patients. It is also required that the model be secure, and that the data that is sent to the model and the predictions that are received both should not be revealed to the model in clear text. In this study, we aim to solve these problems in the context of a medical image classification problem of detection of pneumonia by examining chest x-ray images.


title: Airplane Detection Based on Mask Region Convolution Neural Network

abstract: Addressing airport traffic jams is one of the most crucial and challenging tasks in the remote sensing field, especially for the busiest airports. Several solutions have been employed to address this problem depending on the airplane detection process. The most effective solutions are through the use of satellite images with deep learning techniques. Such solutions, however, are significantly costly and require satellites and modern complicated technology which may not be available in most countries worldwide. This paper provides a universal, low cost and fast solution for airplane detection in airports. This paper recommends the use of drones instead of satellites to feed the system with drone images using a proposed deep learning model. Drone images are employed as the dataset to train and evaluate a mask region convolution neural network (RCNN) model. The Mask RCNN model applies faster RCNN as its base configuration with critical modifications on its head neural network constructions. The model detects whether or not an airplane is present and includes mask estimations to approximate surface area and length, which will help future works identify the airplane type. This solution can be easily implemented globally as it is a low-cost and fast solution for airplane detection at airports. The evaluation process reveals promising results according to Microsoft Common Objects in Context (COCO) metrics.


title: Histogram Equalization Of The Image

abstract: The relevance and impact of probability distributions on image processing are the subject of this study.It may be characterized as a probability distribution function of brightness for a certain area, which might be a whole picture. To generate a histogram, the probability density function of the brightness is frequently calculated by counting how many times each brightness occurs in the picture region. The brightness average is defined as the sample mean of the brightness of pixels in a certain region. The frequency is shown by the histogram. The histogram has a wide range of uses in image processing. It could, for starters, be used for picture analysis. Second, the functions of an image's brightness and contrast, as well as the final two uses of equalizing and thresholding. Normalizing a histogram is one technique to convert the intensities of discrete distributions to the probability of discrete distribution functions. The technique to equalize the histogram is to control the image's contrast by altering their intensity distribution functions. The major goal of this procedure is to give the cumulative probability function a linear trend (CDF).A method of segmentation is to divide a section of the picture into constituent areas or objects.