title: Fair Machine Learning Under Partial Compliance

abstract: Typically, fair machine learning research focuses on a single decisionmaker and assumes that the underlying population is stationary. However, many of the critical domains motivating this work are characterized by competitive marketplaces with many decisionmakers. Realistically, we might expect only a subset of them to adopt any non-compulsory fairness-conscious policy, a situation that political philosophers call partial compliance. This possibility raises important questions: how does the strategic behavior of decision subjects in partial compliance settings affect the allocation outcomes? If k% of employers were to voluntarily adopt a fairness-promoting intervention, should we expect k% progress (in aggregate) towards the benefits of universal adoption, or will the dynamics of partial compliance wash out the hoped-for benefits? How might adopting a global (versus local) perspective impact the conclusions of an auditor? In this paper, we propose a simple model of an employment market, leveraging simulation as a tool to explore the impact of both interaction effects and incentive effects on outcomes and auditing metrics. Our key findings are that at equilibrium: (1) partial compliance (k% of employers) can result in far less than proportional (k%) progress towards the full compliance outcomes; (2) the gap is more severe when fair employers match global (vs local) statistics; (3) choices of local vs global statistics can paint dramatically different pictures of the performance vis-a-vis fairness desiderata of compliant versus non-compliant employers; and (4) partial compliance to local parity measures can induce extreme segregation.


title: Existence of matching priors on compact spaces

abstract: A matching prior at level $1-\alpha$ is a prior such that an associated $1-\alpha$ credible set is also a $1-\alpha$ confidence set. We study the existence of matching priors for general families of credible regions. Our main result gives topological conditions under which matching priors for specific families of credible regions exist. Informally, we prove that, on compact parameter spaces, a matching prior exists if the so-called rejection-probability function is jointly continuous when we adopt the Wasserstein metric on priors. In light of this general result, we observe that typical families of credible regions, such as credible balls, highest-posterior density regions, quantiles, etc., fail to meet this topological condition. We show how to design approximate posterior credible balls and highest-posterior-density regions that meet these topological conditions, yielding matching priors. Finally, we evaluate a numerical scheme for computing approximately matching priors based on discretization and iteration. The proof of our main theorem uses tools from nonstandard analysis and establishes new results about the nonstandard extension of the Wasserstein metric that may be of independent interest.


title: Direct formation of nitrogen-vacancy centers in nitrogen doped diamond along the trajectories of swift heavy ions

abstract: We report depth-resolved photoluminescence measurements of nitrogen-vacancy (NV$^-$) centers formed along the tracks of swift heavy ions (SHIs) in type Ib synthetic single crystal diamonds that had been doped with 100 ppm nitrogen during crystal growth. Analysis of the spectra shows that NV$^-$ centers are formed preferentially within regions where electronic stopping processes dominate and not at the end of the ion range where elastic collisions lead to formation of vacancies and defects. Thermal annealing further increases NV yields after irradiation with SHIs preferentially in regions with high vacancy densities. NV centers formed along the tracks of single swift heavy ions can be isolated with lift-out techniques for explorations of color center qubits in quasi-1D registers with an average qubit spacing of a few nanometers and of order 100 color centers per micrometer along 10 to 30 micrometer long percolation chains.


title: Defect states and their electric field-enhanced electron thermal emission in heavily Zr-doped beta-Ga2O3 crystals

abstract: Performing deep level transient spectroscopy (DLTS) on Schottky diodes, we investigated defect levels below the conduction band minima (Ec) in Czochralski (CZ) grown unintentionally-doped (UID) and vertical gradient freeze (VGF)-grown Zr-doped beta-Ga2O3 crystals. In UID crystals with an electron concentration of 10^17 cm-3, we observe levels at 0.18 eV and 0.46 eV in addition to the previously reported 0.86 (E2) and 1.03 eV (E3) levels. For 10^18 cm-3 Zr-doped Ga2O3, signatures at 0.30 eV (E15) and 0.71 eV (E16) are present. For the highest Zr doping of 5*10^18 cm-3, we observe only one signature at 0.59 eV. Electric field-enhanced emission rates are demonstrated via increasing the reverse bias during measurement. The 0.86 eV signature in the UID sample displays phonon-assisted tunneling enhanced thermal emission and is consistent with the widely reported E2 (FeGa) defect. The 0.71 eV (E16) signature in the lower-Zr-doped crystal also exhibits phonon-assisted tunneling emission enhancement. Taking into account that the high doping in the Zr-doped diodes also increases the electric field, we propose that the 0.59 eV signature in the highest Zr-doped sample likely corresponds to the 0.71 eV signature in lower-doped samples. Our analysis highlights the importance of testing for and reporting on field-enhanced emission especially the electric field present during DLTS and other characterization experiments on beta-Ga2O3 along with the standard emission energy, cross-section, and lambda-corrected trap density. This is important because of the intended use of beta-Ga2O3 in high-field devices and the many orders of magnitude of possible doping.


title: Exploiting Reconfigurable Intelligent Surfaces in Edge Caching: Joint Hybrid Beamforming and Content Placement Optimization

abstract: Edge caching can effectively reduce backhaul burden at core network and increase quality-ofservice at wireless edge nodes. However, the beneficial role of edge caching cannot be fully realized when the offloading link is in deep fade. Fortunately, the impairments induced by wireless propagation environments could be renovated by a reconfigurable intelligent surface (RIS). In this paper, a new RIS-aided edge caching system is proposed, where a network cost minimization problem is formulated to optimize content placement at cache units, active beamforming at base station and passive phase shifting at RIS. After decoupling the content placement subproblem with hybrid beamforming design, we propose an alternating optimization algorithm to tackle the active beamforming and passive phase shifting. For active beamforming, we transform the problem into a semidefinite programming (SDP) and prove that the optimal solution of SDP is always rank-1. For passive phase shifting, we introduce block coordinate descent method to alternately optimize the auxiliary variables and the RIS phase shifts. Further, a conjugate gradient algorithm based on manifold optimization is proposed to deal with the non-convex unit-modulus constraints. Numerical results show that our RIS-aided edge caching design can effectively decrease the network cost in terms of backhaul capacity and power consumption.


title: ROBIN: a Graph-Theoretic Approach to Reject Outliers in Robust Estimation using Invariants

abstract: Many estimation problems in robotics, computer vision, and learning require estimating unknown quantities in the face of outliers. Outliers are typically the result of incorrect data association or feature matching, and it is common to have problems where more than 90% of the measurements used for estimation are outliers. While current approaches for robust estimation are able to deal with moderate amounts of outliers, they fail to produce accurate estimates in the presence of many outliers. This paper develops an approach to prune outliers. First, we develop a theory of invariance that allows us to quickly check if a subset of measurements are mutually compatible without explicitly solving the estimation problem. Second, we develop a graph-theoretic framework, where measurements are modeled as vertices and mutual compatibility is captured by edges. We generalize existing results showing that the inliers form a clique in this graph and typically belong to the maximum clique. We also show that in practice the maximum k-core of the compatibility graph provides an approximation of the maximum clique, while being faster to compute in large problems. These two contributions leads to ROBIN, our approach to Reject Outliers Based on INvariants, which allows us to quickly prune outliers in generic estimation problems. We demonstrate ROBIN in four geometric perception problems and show it boosts robustness of existing solvers while running in milliseconds in large problems.


title: Cost-Aware Type Theory

abstract: Although computational complexity is a fundamental aspect of program behavior, it is often at odds with common type theoretic principles such as function extensionality, which identifies all functions with the same $\textit{input-output}$ behavior. We present a computational type theory called $\mathbf{CATT}$ that has a primitive notion of cost (the number of evaluation steps). We introduce a new dependent function type "funtime" whose semantics can be viewed as a cost-aware version of function extensionality. We prove a collection of lemmas for $\mathbf{CATT}$, including a novel introduction rule for the new funtime type. $\mathbf{CATT}$ can be simultaneously viewed as a framework for analyzing computational complexity of programs and as the beginnings of a semantic foundation for characterizing feasible mathematical proofs.


title: MENP: An Open-Source MATLAB Implementation of Multipole Expansion for Applications in Nanophotonics

abstract: In modern nanophotonics, multipolar interference plays an indispensable role to realize novel optical devices represented by metasurfaces with unprecedented functionalities. Not only to engineer sub-wavelength structures that constitute such devices but also to realize and interpret unnatural phenomena in nanophotonics, a program that efficiently carries out multipole expansion is highly demanded. MENP is a MATLAB program for computation of multipole contributions to light scattering from current density distributions induced in nanophotonic resonators. The main purpose of MENP is to carry out post-processing of a rigid multipole expansion for full-field simulations which in principle provide the information of all near- and far-field interactions (e.g. as a total scattering cross section). MENP decomposes total scattering cross sections into partial ones due to electric and magnetic dipoles and higher-order terms based on recently developed exact multipole expansion formulas. We validate the program by comparing results for ideal and realistic nanospheres with those obtained with the Mie theory. We also demonstrate the potential of MENP for analysis of anapole states by calculating the multipole expansion under the long-wavelength approximation which enables us to introduce toroidal dipole moments.


title: Geometric Flows for the Type IIA String

abstract: A geometric flow on $6$-dimensional symplectic manifolds is introduced which is motivated by supersymmetric compactifications of the Type IIA string. The underlying structure turns out to be SU(3) holonomy, but with respect to the projected Levi-Civita connection of an almost-Hermitian structure. The short-time existence is established, and new identities for the Nijenhuis tensor are found which are crucial for Shi-type estimates. The integrable case can be completely solved, giving an alternative proof of Yau's theorem on Ricci-flat K\"ahler metrics. In the non-integrable case, models are worked out which suggest that the flow should lead to optimal almost-complex structures compatible with the given symplectic form.

categories: math.DG hep-th math-ph math.AP math.MP math.SG


title: Higher order stroboscopic averaged functions: a general relationship with Melnikov functions

abstract: In the research literature, one can find distinct notions for higher order averaged functions of regularly perturbed non-autonomous $T$- periodic differential equations of the kind $x'=\varepsilon F(t,x,\varepsilon)$. By one hand, the classical (stroboscopic) averaging method provides asymptotic estimates for its solutions in terms of some uniquely defined functions $\mathbf{g}_i$'s, called averaged functions, which are obtained through near-identity stroboscopic transformations and by solving homological equations. On the other hand, a Melnikov procedure is employed to obtain bifurcation functions $\mathbf{f}_i$'s which controls in some sense the existence of isolated $T$-periodic solutions of the differential equation above. In the research literature, the bifurcation functions $\mathbf{f}_i$'s are sometimes likewise called averaged functions, nevertheless, they also receive the name of Poincar\'{e}-Pontryagin-Melnikov functions or just Melnikov functions. While it is known that $\mathbf{f}_1=T \mathbf{g}_1,$ a general relationship between $\mathbf{g}_i$ and $\mathbf{f}_i$ is not known so far for $i\geq 2.$ Here, such a general relationship between these two distinct notions of averaged functions is provided, which allows the computation of the stroboscopic averaged functions of any order avoiding the necessity of dealing with near-identity transformations and homological equations. In addition, an Appendix is provided with implemented Mathematica algorithms for computing both higher order averaging functions.


title: Search-Based Online Trajectory Planning for Car-like Robots in Highly Dynamic Environments

abstract: This paper presents a search-based partial motion planner to generate dynamically feasible trajectories for car-like robots in highly dynamic environments. The planner searches for smooth, safe, and near-time-optimal trajectories by exploring a state graph built on motion primitives, which are generated by discretizing the time dimension and the control space. To enable fast online planning, we first propose an efficient path searching algorithm based on the aggregation and pruning of motion primitives. We then propose a fast collision checking algorithm that takes into account the motions of moving obstacles. The algorithm linearizes relative motions between the robot and obstacles and then checks collisions by comparing a point-line distance. Benefiting from the fast searching and collision checking algorithms, the planner can effectively and safely explore the state-time space to generate near-time-optimal solutions. The results through extensive experiments show that the proposed method can generate feasible trajectories within milliseconds while maintaining a higher success rate than up-to-date methods, which significantly demonstrates its advantages.


title: Topology change and emergent scale symmetry in compact star matter via gravitational wave detection

abstract: Topological structure has been extensively studied and confirmed in highly correlated condensed matter physics. We explore the gravitational waves emitted from binary neutron star mergers using the pseudoconformal model for dense nuclear matter for compact stars. This model considers the topology change and the possible emergent scale symmetry and satisfies all the constraints from astrophysics. We find that the location of the topology change affects gravitational waves dramatically owing to its effect on the equation of state. In addition, the effect of this location on the waveforms of the gravitational waves is within the ability of the on-going and up-coming facilities for detecting gravitational waves, thus suggesting a possible way to measure the topology structure in nuclear physics.


title: Observation of topological phase with critical localization in a quasi-periodic lattice

abstract: Disorder and localization have dramatic influence on the topological properties of a quantum system. While strong disorder can close the band gap thus depriving topological materials of topological features, disorder may also induce topology from trivial band structures, wherein topological invariants are shared by completely localized states in real space. Here we experimentally investigate a fundamentally distinct scenario where a topological phase is identified in a critically localized regime, with eigenstates neither fully extended nor completely localized. Adopting the technique of momentum-lattice engineering for ultracold atoms, we implement a one-dimensional, generalized Aubry-Andr\'e model with off-diagonal quasi-periodic disorder in momentum space, and characterize its localization and topological properties through dynamic observables. We then demonstrate the impact of interactions on the critically localized topological state, as a first experimental endeavour toward the clarification of many-body critical phase, the critical analogue of the many-body localized state.


title: Identifying Mislabeled Images in Supervised Learning Utilizing Autoencoder

abstract: Supervised learning is based on the assumption that the ground truth in the training data is accurate. However, this may not be guaranteed in real-world settings. Inaccurate training data will result in some unexpected predictions. In image classification, incorrect labels may cause the classification model to be inaccurate as well. In this paper, I am going to apply unsupervised techniques to the training data before training the classification network. A convolutional autoencoder is applied to encode and reconstruct images. The encoder will project the image data on to latent space. In the latent space, image features are preserved in a lower dimension. The assumption is that data samples with similar features are likely to have the same label. Noised samples can be classified in the latent space by the Density-Base Scan (DBSCAN) clustering algorithm. These incorrectly labeled data are visualized as outliers in the latent space. Therefore, the outliers identified by the DBSCAN algorithm can be classified as incorrectly labeled samples. After the outliers are detected, all the outliers are treated as mislabeled data samples and removed from the dataset. Thus the training data can be directly used in training the supervised learning network. The algorithm can detect and remove above 67\% of mislabeled data in the experimental dataset.


title: Confidence bands for a log-concave density

abstract: We present a new approach for inference about a log-concave distribution: Instead of using the method of maximum likelihood, we propose to incorporate the log-concavity constraint in an appropriate nonparametric confidence set for the cdf $F$. This approach has the advantage that it automatically provides a measure of statistical uncertainty and it thus overcomes a marked limitation of the maximum likelihood estimate. In particular, we show how to construct confidence bands for the density that have a finite sample guaranteed confidence level. The nonparametric confidence set for $F$ which we introduce here has attractive computational and statistical properties: It allows to bring modern tools from optimization to bear on this problem via difference of convex programming, and it results in optimal statistical inference. We show that the width of the resulting confidence bands converges at nearly the parametric $n^{-\frac{1}{2}}$ rate when the log density is $k$-affine.


title: EHAP-ORAM: Efficient Hardware-Assisted Persistent ORAM System for Non-volatile Memory

abstract: Oblivious RAM (ORAM) is a provable secure primitive to prevent access pattern leakage on the memory bus. It serves as the intermediate layer between the trusted on-chip components and the untrusted external memory systems to modulate the original memory access patterns into indistinguishable memory sequences. By randomly remapping the data blocks and accessing redundant blocks, ORAM prevents access pattern leakage through obfuscation. While there is much prior work focusing on improving ORAM's performance on the conventional DRAM-based memory system, when the memory technology shifts to use non-volatile memory (NVM), new challenges come up as to how to efficiently support crash consistency for ORAM. In this work, we propose EHAP-ORAM, which studies how to persist ORAM construction with an NVM-based memory system. We first analyze the design requirements for a persistent ORAM system and discuss the need to preserve crash consistency and atomicity for both data and ORAM metadata. Next, we discuss some of the challenges in the design of a persistent ORAM system and propose some solutions to those challenges. Then, we propose the modified on-chip ORAM controller architecture. Based on the improved hardware architecture of the ORAM controller on-chip, we propose different persistency protocols to ensure the crash consistency of the ORAM system and satisfy that the metadata in PosMap is safe when it is persisted to NVM in trusted/untrusted off-chip. The proposed architecture and persistency protocol steps minimize the overhead and leakage during the write-back process. Finally, we compared our persistent ORAM with the system without crash consistency support, show that in non-recursive and recursive cases, EHAP-ORAM only incurs 3.36% and 3.65% performance overhead. The results show that the EHAP-ORAM can support efficient crash consistency with minimal performance and hardware overhead.


title: Thickness-dependent quantum transport of Weyl fermions in ultra-high-quality SrRuO3 films

abstract: The recent observation of Weyl fermions in the itinerant 4d ferromagnetic perovskite SrRuO3 points to this material being a good platform for exploring novel physics related to a pair of Weyl nodes in epitaxial heterostructures. In this letter, we report the thickness-dependent magnetotransport properties of ultra-high-quality epitaxial SrRuO3 films grown under optimized conditions on SrTiO3 substrates. Signatures of Weyl fermion transport, i.e., unsaturated linear positive magnetoresistance accompanied by a quantum oscillation having a {\pi} Berry phase, were observed in films with thicknesses as small as 10 nm. Residual resistivity increased with decreasing film thickness, indicating disorder near the interface between SrRuO3 and the SrTiO3 substrate. Since this disorder affects the magnetic and electrical properties of the films, the Curie temperature decreases and the coercive field increases with decreasing thickness. Thickness-dependent magnetotransport measurements revealed that the threshold residual resistivity ratio (RRR) to observe Weyl fermion transport is 21. These results provide guidelines for realizing quantum transport of Weyl fermions in SrRuO3 near heterointerfaces.


title: Maximum transmission reach for optical signals in elastic optical networks employing band division multiplexing

abstract: Multi-band transmission systems have emerged as a potential answer to the limited capacity of silica based optical fiber. It is based on utilizing the complete low-loss region of optical fibers. Additionally, elastic optical networks (EON) were proposed to efficiently manage limited resources in optical networks. The selection of route, modulation format and spectrum is the main problem that requires solving to operate an EON. Understanding how linear and nonlinear impairments accumulate during propagation in an optical fibre link in essential to solve this problem. Here we preset a study on the maximum reach optical signals can propagate in a multi-band environment for a variety of modulation formats with commonly used threshold values in EON.


title: Elliptic umbilic representations connected with the caustic

abstract: We investigate the elliptic umbilic canonical integral with an approach based on a series expansion of its initial distribution shifted to the caustic points. An absolutely convergent integral representation for the elliptic umbilic is obtained. Using it, we find the elliptic umbilic particular values in terms of 2F2 hypergeometric functions. We also derive an integral over the product of Gaussian and two Airy functions in terms of Bessel functions of fractional orders. Some other corollaries including 3F2 hypergeometric function special values and the Airy polynomials relations are also discussed.


title: Magnetic field dependence of the neutral pion mass in the linear sigma model with quarks: The strong field case

abstract: We use the linear sigma model with quarks to find the magnetic field-induced modifications to the neutral pion mass at one-loop level. The magnetic field effects are introduced by using charged particle propagators in the presence of a magnetic background in the strong field regime. We show that when accounting for the effects of the magnetic field on the model couplings, the vacuum sigma field and the neutral pion self-energy, the neutral pion mass decreases monotonically as a function of the field strength. We find an excellent qualitative and quantitative agreement with recent lattice QCD calculations, reproducing the monotonically decreasing trend with the field strength as well as the decrease when lattice data approaches the physical vacuum pion mass from larger values.


title: Study on particulate matter emissions from traffic by cellular automaton model with slow-to-start effect

abstract: Based on the empirical particulate emission model, we studied Particulate Matter (PM) emission of some typical cellular automata VDR model and TT model with slow-to-start rules under periodic condition and open boundary condition. By simulations, it is found that the emission of the slow-to-start rule model reaches the maximum emission at metastable state under periodic boundary condition. Under open boundary condition, the phase diagram to reflect traffic congestion is obtained. The injection probability and removal probability have a great impact on PM emissions. Moreover, the effects of motion status on emissions in the VDR model and TT model are studied under two different boundary conditions. Numerical simulation shows that the PM emission of decelerating traffic flow reaches the maximum in the congestion state under periodic boundary condition. Under the open boundary conditions with the same departure probability, the variation trend of particulate emission varies with the state of different vehicle movements. For different removal probabilities, the different maximum concentration of particulate matter is emitted even if the vehicle is in the same motion state.


title: Interactive digital storytelling: bringing cultural heritage in a classroom

abstract: Interactive digital storytelling becomes a popular choice for information presentation in many fields. Its application spans from media industry and business information visualization, through digital cultural heritage, serious games, education, to contemporary theater and visual arts. The benefits of this form of multimedia presentation in education are generally recognized, and several studies exploring and supporting the opinion are conducted. In addition to discussing the benefits, we wanted to address the challenges in introducing interactive digital storytelling and serious games in the classroom. The challenge of inherent ambiguity of edutainment, due to opposing features of education and entertainment is augmented with different viewpoints of multidisciplinary team members. We specifically address the opposing views on artistic liberty, at one side, and technical constraints and historic facts, on the other side. In this paper we present the first findings related to these questions and to initiate furthering discussions in this area.


title: Evaluation of Motor Imagery-Based BCI methods in neurorehabilitation of Parkinson's Disease patients

abstract: The study reports the performance of Parkinson's disease (PD) patients to operate Motor-Imagery based Brain-Computer Interface (MI-BCI) and compares three selected pre-processing and classification approaches. The experiment was conducted on 7 PD patients who performed a total of 14 MI-BCI sessions targeting lower extremities. EEG was recorded during the initial calibration phase of each session, and the specific BCI models were produced by using Spectrally weighted Common Spatial Patterns (SpecCSP), Source Power Comodulation (SPoC) and Filter-Bank Common Spatial Patterns (FBCSP) methods. The results showed that FBCSP outperformed SPoC in terms of accuracy, and both SPoC and SpecCSP in terms of the false-positive ratio. The study also demonstrates that PD patients were capable of operating MI-BCI, although with lower accuracy.


title: Domain-Aware Unsupervised Hyperspectral Reconstruction for Aerial Image Dehazing

abstract: Haze removal in aerial images is a challenging problem due to considerable variation in spatial details and varying contrast. Changes in particulate matter density often lead to degradation in visibility. Therefore, several approaches utilize multi-spectral data as auxiliary information for haze removal. In this paper, we propose SkyGAN for haze removal in aerial images. SkyGAN consists of 1) a domain-aware hazy-to-hyperspectral (H2H) module, and 2) a conditional GAN (cGAN) based multi-cue image-to-image translation module (I2I) for dehazing. The proposed H2H module reconstructs several visual bands from RGB images in an unsupervised manner, which overcomes the lack of hazy hyperspectral aerial image datasets. The module utilizes task supervision and domain adaptation in order to create a "hyperspectral catalyst" for image dehazing. The I2I module uses the hyperspectral catalyst along with a 12-channel multi-cue input and performs effective image dehazing by utilizing the entire visual spectrum. In addition, this work introduces a new dataset, called Hazy Aerial-Image (HAI) dataset, that contains more than 65,000 pairs of hazy and ground truth aerial images with realistic, non-homogeneous haze of varying density. The performance of SkyGAN is evaluated on the recent SateHaze1k dataset as well as the HAI dataset. We also present a comprehensive evaluation of HAI dataset with a representative set of state-of-the-art techniques in terms of PSNR and SSIM.


title: Limits on Testing Structural Changes in Ising Models

abstract: We present novel information-theoretic limits on detecting sparse changes in Ising models, a problem that arises in many applications where network changes can occur due to some external stimuli. We show that the sample complexity for detecting sparse changes, in a minimax sense, is no better than learning the entire model even in settings with local sparsity. This is a surprising fact in light of prior work rooted in sparse recovery methods, which suggest that sample complexity in this context scales only with the number of network changes. To shed light on when change detection is easier than structured learning, we consider testing of edge deletion in forest-structured graphs, and high-temperature ferromagnets as case studies. We show for these that testing of small changes is similarly hard, but testing of \emph{large} changes is well-separated from structure learning. These results imply that testing of graphical models may not be amenable to concepts such as restricted strong convexity leveraged for sparsity pattern recovery, and algorithm development instead should be directed towards detection of large changes.


title: The lattice of varieties of monoids

abstract: We survey results devoted to the lattice of varieties of monoids. Along with known results, some unpublished results are given with proofs. A number of open questions and problems are also formulated.


title: Bresse-Timoshenko type systems with thermodiffusion effects: Well-possedness, stability and numerical results

abstract: Bresse-Timoshenko beam model with thermal, mass diffusion and theormoelastic effects is studied. We state and prove the well-posedness of problem. The global existence and uniqueness of the solution is proved by using the classical Faedo-Galerkin approximations along with two a priori estimates. We prove an exponential stability estimate for problem under an unusual assumption, and by using a multiplier technique in two different cases, with frictional damping in the angular rotation and with frictional damping in the vertical displacement. In numerical parts, we first obtained a numerical scheme for problem by $P_1$-finite element method for space discretization and implicit Euler scheme for time discretization. Then, we showed that the discrete energy decays, later a priori error estimates are established. Finally , some numerical simulations are presented.


title: A two-zone blazar radiation model for "orphan" neutrino flares

abstract: In this work, we investigate the 2014-2015 neutrino flare associated with the blazar TXS 0506+056 and a recently discovered muon neutrino event IceCube-200107A in spatial coincidence with the blazar 4FGL J0955.1+3551, under the framework of a two-zone radiation model of blazars where an inner/outer blob close to/far from the supermassive black hole are invoked. An interesting feature that the two sources share in common is that no evidence of GeV gamma-ray activity is found during the neutrino detection period, probably implying a large opacity for GeV gamma rays in the neutrino production region. In our model, continuous particle acceleration/injection takes place in the inner blob at the jet base, where the hot X-ray corona of the supermassive black hole provides target photon fields for efficient neutrino production and strong GeV gamma-ray absorption. We show that this model can self-consistently interpret the neutrino emission from both two blazars in a large parameter space. In the meantime, the dissipation processes in outer blob are responsible for the simultaneous multi-wavelength emission of both sources. In agreement with previous studies of TXS 0506+056 and, an intense MeV emission from the induced electromagnetic cascade in the inner blob is robustly expected to accompany the neutrino flare in our model could be used to test the model with the next-generation MeV gamma-ray detector in the future.


title: Non-local convolutional neural networks (nlcnn) for speaker recognition

abstract: Speaker recognition is the process of identifying a speaker based on the voice. The technology has attracted more attention with the recent increase in popularity of smart voice assistants, such as Amazon Alexa. In the past few years, various convolutional neural network (CNN) based speaker recognition algorithms have been proposed and achieved satisfactory performance. However, convolutional operations are building blocks that typically perform on a local neighborhood at a time and thus miss to capture global, long-range interactions at the feature level which are critical for understanding the pattern in a speaker's voice. In this work, we propose to apply Non-local Convolutional Neural Networks (NLCNN) to improve the capability of capturing long-range dependencies at the feature level, therefore improving speaker recognition performance. Specifically, we introduce non-local blocks where the output response of a position is computed as a weighted sum of the input features at all positions. Combining non-local blocks with pre-defined CNN networks, we investigate the effectiveness of NLCNN models. Without extensive tuning, the proposed NLCNN models outperform state-of-the-art speaker recognition algorithms on the public Voxceleb dataset. What's more, we investigate different types of non-local operations applied to the frequency-time domain, time domain, frequency domain and frame-level respectively. Among them, time domain is the most effective one for speaker recognition applications.


title: Deeply-Supervised Density Regression for Automatic Cell Counting in Microscopy Images

abstract: Accurately counting the number of cells in microscopy images is required in many medical diagnosis and biological studies. This task is tedious, time-consuming, and prone to subjective errors. However, designing automatic counting methods remains challenging due to low image contrast, complex background, large variance in cell shapes and counts, and significant cell occlusions in two-dimensional microscopy images. In this study, we proposed a new density regression-based method for automatically counting cells in microscopy images. The proposed method processes two innovations compared to other state-of-the-art density regression-based methods. First, the density regression model (DRM) is designed as a concatenated fully convolutional regression network (C-FCRN) to employ multi-scale image features for the estimation of cell density maps from given images. Second, auxiliary convolutional neural networks (AuxCNNs) are employed to assist in the training of intermediate layers of the designed C-FCRN to improve the DRM performance on unseen datasets. Experimental studies evaluated on four datasets demonstrate the superior performance of the proposed method.


title: Fundamental Heap for Framed Links and Ribbon Cocycle Invariants

abstract: A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)\mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the knot group, we define the fundamental heap of framed links using group presentations. The fundamental heap is determined for some classes of links such as certain families of torus and pretzel links. We show that for these families of links there exist epimorphisms from fundamental heaps to Vinberg and Coxeter groups, implying that corresponding groups are infinite. A relation to the Wirtinger presentation is also described. The cocycle invariant is defined using ternary self-distributive (TSD) cohomology, by means of a state sum that uses ternary heap $2$-cocycles as weights. This invariant corresponds to a rack cocycle invariant for the rack constructed by doubling of a heap, while colorings can be regarded as heap morphisms from the fundamental heap. For the construction of the invariant, first computational methods for the heap cohomology are developed. It is shown that the cohomology splits into two types, called degenerate and nondegenerate, and that the degenerate part is one dimensional. Subcomplexes are constructed based on group cosets, that allow computations of the nondegenerate part. Computations of the cocycle invariants are presented using the cocycles constructed, and conversely, it is proved that the invariant values can be used to derive algebraic properties of the cohomology.


title: An approach to define Very High Capacity Networks with improved quality at an affordable cost

abstract: This paper aims to propose one possible approach in the setting of VHCNs (Very High Capacity Networks) performance targets that should be capable of promoting efficient investments for operators and, at the same time, improving the benefits for end-users. To this aim, we suggest relying on some specific KPIs (Key Performance Indicators), especially throughput - i.e., the bandwidth as perceived by the customer - valid at the application layer, instead of the physical layer data-rate. In this regard, the paper underlines that the bandwidth perceived is strictly linked to the latency. The most important implication is that some of the most demanding services envisaged for the future (e.g., mobile virtual and augmented reality, tactile internet) cannot be met by merely increasing the low-level protocol data-rate. Therefore, for the VHCNs reducing latency through Edge Cloud Computing (ECC) is a mandatory pre-requisite.


title: CP Violation in Rare Lepton-Number-Violating $W$ Decays at the LHC

abstract: Some models of leptogenesis involve a quasi-degenerate pair of heavy neutrinos $N_{1,2}$ whose masses can be small, $O({\rm GeV})$. Such neutrinos can contribute to the rare lepton-number-violating (LNV) decay $W^\pm \to \ell_1^\pm \ell_2^\pm (q'{\bar q})^\mp$. If both $N_1$ and $N_2$ contribute, there can be a CP-violating rate difference between the LNV decay of a $W^-$ and its CP-conjugate decay. In this paper, we examine the prospects for measuring such a CP asymmetry $A_{\rm CP}$ at the LHC. We assume a value for the heavy-light neutrino mixing parameter $|B_{\ell N}|^2 = 10^{-5}$, which is allowed by the present experimental constraints, and consider $5~{\rm GeV} \le M_N \le 80~{\rm GeV}$. We consider three versions of the LHC -- HL-LHC, HE-LHC, FCC-hh -- and show that small values of the CP asymmetry can be measured at $3\sigma$, in the range $1\% \lesssim A_{\rm CP} \lesssim 15\%$.


title: When Optimizing $f$-divergence is Robust with Label Noise

abstract: We show when maximizing a properly defined $f$-divergence measure with respect to a classifier's predictions and the supervised labels is robust with label noise. Leveraging its variational form, we derive a nice decoupling property for a family of $f$-divergence measures when label noise presents, where the divergence is shown to be a linear combination of the variational difference defined on the clean distribution and a bias term introduced due to the noise. The above derivation helps us analyze the robustness of different $f$-divergence functions. With established robustness, this family of $f$-divergence functions arises as useful metrics for the problem of learning with noisy labels, which do not require the specification of the labels' noise rate. When they are possibly not robust, we propose fixes to make them so. In addition to the analytical results, we present thorough experimental evidence. Our code is available at https://github.com/UCSC-REAL/Robust-f-divergence-measures.


title: A fast time-stepping strategy for dynamical systems equipped with a surrogate model

abstract: Simulation of complex dynamical systems arising in many applications is computationally challenging due to their size and complexity. Model order reduction, machine learning, and other types of surrogate modeling techniques offer cheaper and simpler ways to describe the dynamics of these systems but are inexact and introduce additional approximation errors. In order to overcome the computational difficulties of the full complex models, on one hand, and the limitations of surrogate models, on the other, this work proposes a new accelerated time-stepping strategy that combines information from both. This approach is based on the multirate infinitesimal general-structure additive Runge-Kutta (MRI-GARK) framework. The inexpensive surrogate model is integrated with a small timestep to guide the solution trajectory, and the full model is treated with a large timestep to occasionally correct for the surrogate model error and ensure convergence. We provide a theoretical error analysis, and several numerical experiments, to show that this approach can be significantly more efficient than using only the full or only the surrogate model for the integration.


title: Detection and Evaluation of human and machine generated speech in spoofing attacks on automatic speaker verification systems

abstract: Automatic speaker verification (ASV) systems utilize the biometric information in human speech to verify the speaker's identity. The techniques used for performing speaker verification are often vulnerable to malicious attacks that attempt to induce the ASV system to return wrong results, allowing an impostor to bypass the system and gain access. Attackers use a multitude of spoofing techniques for this, such as voice conversion, audio replay, speech synthesis, etc. In recent years, easily available tools to generate deepfaked audio have increased the potential threat to ASV systems. In this paper, we compare the potential of human impersonation (voice disguise) based attacks with attacks based on machine-generated speech, on black-box and white-box ASV systems. We also study countermeasures by using features that capture the unique aspects of human speech production, under the hypothesis that machines cannot emulate many of the fine-level intricacies of the human speech production mechanism. We show that fundamental frequency sequence-related entropy, spectral envelope, and aperiodic parameters are promising candidates for robust detection of deepfaked speech generated by unknown methods.


title: Delay-Optimal Scheduling for IRS-Aided Mobile Edge Computing

abstract: We consider an intelligent reflecting surface (IRS)-aided mobile edge computing (MEC) system, where an IRS is deployed to assist computation offloading from two users to an access point connected with an edge cloud. For the IRS-aided data transmission, in contrast to the conventional non-orthogonal multiple-access (NOMA) and time-division multiple-access (TDMA), we propose a new flexible time-sharing NOMA scheme that allows users to flexibly divide their data into two parts transmitted via NOMA and TDMA, respectively, thus encapsulating both conventional NOMA and TDMA as special cases. We formulate an optimization problem to minimize the sum delay of the two users by designing the IRS passive reflection and users' computation-offloading scheduling under the IRS discrete-phase constraint. Although this problem is non-convex, we obtain its optimal solution for both the cases of infinite and finite cloud computing capacities. Furthermore, we show that NOMA and TDMA based transmissions are preferred in different scenarios, depending on the users' cloud-computing time as well as the rate discrepancy between NOMA and TDMA with IRS.


title: Hydrodynamic effective field theory and the analyticity of hydrostatic correlators

abstract: We study one-loop corrections to retarded and symmetric hydrostatic correlation functions within the Schwinger-Keldysh effective field theory framework for relativistic hydrodynamics, focusing on charge diffusion. We first consider the simplified setup with only diffusive charge density fluctuations, and then augment it with momentum fluctuations in a model where the sound modes can be ignored. We show that the loop corrections, which generically induce non-analyticities and long-range effects at finite frequency, non-trivially preserve analyticity of retarded correlation functions in spatial momentum due to the KMS constraint, as a manifestation of thermal screening. For the purposes of this analysis, we develop an interacting field theory for diffusive hydrodynamics, seen as a limit of relativistic hydrodynamics in the absence of temperature and longitudinal velocity fluctuations.

categories: hep-th cond-mat.stat-mech hep-ph nucl-th physics.flu-dyn


title: Controllable phase transitions between multiple charge density waves in monolayer 1T-VSe$_2$ via doping and strain engineering

abstract: Two-dimensional (2D) materials are known to possess emergent properties that are not found in their bulk counterparts. Recent experiments have shown a $\sqrt7 \times \sqrt3$ charge density wave (CDW) in monolayer 1T-VSe$_2$, in contrast to the $4\times 4\times 3$ phase in bulk. Here, via first-principles calculations, we show that multiple CDW phases compete in monolayer VSe$_2$, the ground state of which can be tuned by charge doping and in-plane biaxial strain. With doping, the $\sqrt7 \times \sqrt3$ CDW of the pristine VSe$_2$ transfers to a $3 \times \sqrt3$ and $4\times 4$ phase, the latter of which is a projection of the bulk counterpart, at critical doping concentrations of around 0.2 holes per formula unit and 0.25 electrons per formula unit, respectively. The $4\times 4$ CDW phase can also be stabilized under compressive strain. Although electron-phonon coupling is prevailing in the CDW formation, we show that Fermi surface nesting is a good starting point to explain most of these transitions in monolayer 1T-VSe$_2$. These results make VSe$_2$ an appealing material for electronic devices based on controllable CDW phase transitions.


title: Hypothesis testing with low-degree polynomials in the Morris class of exponential families

abstract: Analysis of low-degree polynomial algorithms is a powerful, newly-popular method for predicting computational thresholds in hypothesis testing problems. One limitation of current techniques for this analysis is their restriction to Bernoulli and Gaussian distributions. We expand this range of possibilities by performing the low-degree analysis of hypothesis testing for the Morris class of exponential families, giving a unified treatment of Gaussian, Poisson, gamma, binomial, negative binomial, and generalized hyperbolic secant distributions. We then give several algorithmic applications. 1. In models where a random signal is observed through an exponential family, the success or failure of low-degree polynomials is governed by the $z$-score overlap, the inner product of $z$-score vectors with respect to the null distribution of two independent copies of the signal. 2. In the same models, testing with low-degree polynomials exhibits channel monotonicity: the above distributions admit a total ordering by computational cost of hypothesis testing, according to a scalar parameter describing how the variance depends on the mean in an exponential family. 3. In a spiked matrix model with a particular non-Gaussian noise distribution, the low-degree prediction is incorrect unless polynomials with arbitrarily large degree in individual matrix entries are permitted. This shows that polynomials summing over self-avoiding walks and variants thereof, as proposed recently by Ding, Hopkins, and Steurer (2020) for spiked matrix models with heavy-tailed noise, are suboptimal for this model. Thus low-degree polynomials appear to offer a tradeoff between robustness and strong performance fine-tuned to specific models, and may struggle with problems requiring an algorithm to first examine the input and then use some intermediate computation to choose from one of several inference subroutines.


title: A Method to Apply Piola-Kirchhoff Stress in Molecular Statics Simulation

abstract: A force-based optimization method is proposed to apply the first and second kind of Piola-Kirchhoff stresses in molecular statics simulation. This method is important for finite deformation problems in which the atomistic behavior can be more accurately described using Piola-Kirchhoff stresses. The performance of the method is tested and validated using Silicon as a model material.


title: Endogenous structural transformation in economic development

abstract: This paper extends Xing's (2023abcd) optimal growth models of catching-up economies from the case of production function switching to that of economic structure switching and argues how a country develops its economy by endogenous structural transformation and efficient resource allocation in a market mechanism. To achieve this goal, the paper first summarizes three attributes of economic structures from the literature, namely, structurality, durationality, and transformality, and discuss their implications for methods of economic modeling. Then, with the common knowledge assumption, the paper extends Xing's (2023a) optimal growth model that is based on production function switching and considers an extended Ramsey model with endogenous structural transformation in which the social planner chooses the optimal industrial structure, recource allocation with the chosen structure, and consumption to maximize the representative household's total utility subject to the resource constraint. The paper next establishes the mathematical underpinning of the static, dynamic, and switching equilibria. The Ramsey growth model and its equilibria are then extended to economies with complicated economic structures consisting of hierarchical production, technology adoption and innovation, infrastructure, and economic and political institutions. The paper concludes with a brief discussion of applications of the proposed methodology to economic development problems in other scenarios.


title: Data--driven Image Restoration with Option--driven Learning for Big and Small Astronomical Image Datasets

abstract: Image restoration methods are commonly used to improve the quality of astronomical images. In recent years, developments of deep neural networks and increments of the number of astronomical images have evoked a lot of data--driven image restoration methods. However, most of these methods belong to supervised learning algorithms, which require paired images either from real observations or simulated data as training set. For some applications, it is hard to get enough paired images from real observations and simulated images are quite different from real observed ones. In this paper, we propose a new data--driven image restoration method based on generative adversarial networks with option--driven learning. Our method uses several high resolution images as references and applies different learning strategies when the number of reference images is different. For sky surveys with variable observation conditions, our method can obtain very stable image restoration results, regardless of the number of reference images.

categories: astro-ph.IM astro-ph.GA astro-ph.SR cs.CV


title: Floquet state depletion in ac-driven circuit QED

abstract: We perform Floquet spectroscopy in a GaAs double quantum dot system coupled to a high-impedance superconducting resonator. By applying microwave induced consecutive passages under a double resonance condition, we observe novel Landau-Zener-St\"uckelberg-Majorana interference patterns that stem from a cavity-assisted interference pattern modified by the depletion of the ground state. Our experimental results reveal the stationary state behavior of a strongly driven two-level system, and are consistent with the simulations based on our theoretical model. This study provides an excellent platform for investigating the dynamics of Floquet states in the presence of strong driving.


title: Exploiting User Mobility for WiFi RTT Positioning: A Geometric Approach

abstract: Recently, round-trip time (RTT) measured by a fine-timing measurement protocol has received great attention in the area of WiFi positioning. It provides an acceptable ranging accuracy in favorable environments when a line-of-sight (LOS) path exists. Otherwise, a signal is detoured along with non-LOS paths, making the resultant ranging results different from the ground-truth, called an RTT bias, which is the main reason for poor positioning performance. To address it, we aim at leveraging the user mobility trajectory detected by a smartphone's inertial measurement units, called pedestrian dead reckoning (PDR). Specifically, PDR provides the geographic relation among adjacent locations, guiding the resultant positioning estimates' sequence not to deviate from the user trajectory. To this end, we describe their relations as multiple geometric equations, enabling us to render a novel positioning algorithm with acceptable accuracy. Depending on the mobility pattern being linear or arbitrary, we develop different algorithms divided into two phases. First, we can jointly estimate an RTT bias of each AP and the user's step length by leveraging the geometric relation mentioned above. It enables us to construct a user's relative trajectory defined on the concerned AP's local coordinate system. Second, we align every AP's relative trajectory into a single one, called trajectory alignment, equivalent to transformation to the global coordinate system. As a result, we can estimate the sequence of the user's absolute locations from the aligned trajectory. Various field experiments extensively verify the proposed algorithm's effectiveness that the average positioning error is approximately 0.369 (m) and 1.705 (m) in LOS and NLOS environments, respectively.


title: Deep Learning Alternative to Explicit Model Predictive Control for Unknown Nonlinear Systems

abstract: We present differentiable predictive control (DPC) as a deep learning-based alternative to the explicit model predictive control (MPC) for unknown nonlinear systems. In the DPC framework, a neural state-space model is learned from time-series measurements of the system dynamics. The neural control policy is then optimized via stochastic gradient descent approach by differentiating the MPC loss function through the closed-loop system dynamics model. The proposed DPC method learns model-based control policies with state and input constraints, while supporting time-varying references and constraints. In embedded implementation using a Raspberry-Pi platform, we experimentally demonstrate that it is possible to train constrained control policies purely based on the measurements of the unknown nonlinear system. We compare the control performance of the DPC method against explicit MPC and report efficiency gains in online computational demands, memory requirements, policy complexity, and construction time. In particular, we show that our method scales linearly compared to exponential scalability of the explicit MPC solved via multiparametric programming.


title: On the Complexity of CSP-based Ideal Membership Problems

abstract: In this paper we consider the Ideal Membership Problem (IMP for short), in which we are given real polynomials $f_0,f_1,\dots, f_k$ and the question is to decide whether $f_0$ belongs to the ideal generated by $f_1,\dots,f_k$. In the more stringent version the task is also to find a proof of this fact. The IMP underlies many proof systems based on polynomials such as Nullstellensatz, Polynomial Calculus, and Sum-of-Squares. In the majority of such applications the IMP involves so called combinatorial ideals that arise from a variety of discrete combinatorial problems. This restriction makes the IMP significantly easier and in some cases allows for an efficient algorithm to solve it. The first part of this paper follows the work of Mastrolilli [SODA'19] who initiated a systematic study of IMPs arising from Constraint Satisfaction Problems (CSP) of the form $CSP(\Gamma)$, that is, CSPs in which the type of constraints is limited to relations from a set $\Gamma$. We show that many CSP techniques can be translated to IMPs thus allowing us to significantly improve the methods of studying the complexity of the IMP. We also develop universal algebraic techniques for the IMP that have been so useful in the study of the CSP. This allows us to prove a general necessary condition for the tractability of the IMP, and three sufficient ones. The sufficient conditions include IMPs arising from systems of linear equations over $GF(p)$, $p$ prime, and also some conditions defined through special kinds of polymorphisms. Our work has several consequences and applications in terms of bit complexity of sum-of-squares (SOS) proofs and their automatizability, and studying (construction of) theta bodies of combinatorial problems.


title: Depthwise Multiception Convolution for Reducing Network Parameters without Sacrificing Accuracy

abstract: Deep convolutional neural networks have been proven successful in multiple benchmark challenges in recent years. However, the performance improvements are heavily reliant on increasingly complex network architecture and a high number of parameters, which require ever increasing amounts of storage and memory capacity. Depthwise separable convolution (DSConv) can effectively reduce the number of required parameters through decoupling standard convolution into spatial and cross-channel convolution steps. However, the method causes a degradation of accuracy. To address this problem, we present depthwise multiception convolution, termed Multiception, which introduces layer-wise multiscale kernels to learn multiscale representations of all individual input channels simultaneously. We have carried out the experiment on four benchmark datasets, i.e. Cifar-10, Cifar-100, STL-10 and ImageNet32x32, using five popular CNN models, Multiception achieved accuracy promotion in all models and demonstrated higher accuracy performance compared to related works. Meanwhile, Multiception significantly reduces the number of parameters of standard convolution-based models by 32.48% on average while still preserving accuracy.


title: Computing the shape gradient of stellarator coil complexity with respect to the plasma boundary

abstract: Coil complexity is a critical consideration in stellarator design. The traditional two-step optimization approach, in which the plasma boundary is optimized for physics properties and the coils are subsequently optimized to be consistent with this boundary, can result in plasma shapes which cannot be produced with sufficiently simple coils. To address this challenge, we propose a method to incorporate considerations of coil complexity in the optimization of the plasma boundary. Coil complexity metrics are computed from the current potential solution obtained with the REGCOIL code (Landreman 2017 Nucl. Fusion 57 046003). We compute the local sensitivity of these metrics with respect to perturbations of the plasma boundary using the shape gradient (Landreman & Paul 2018 Nucl. Fusion 58 076023). We extend REGCOIL to compute derivatives of these metrics with respect to parameters describing the plasma boundary. In keeping with previous research on winding surface optimization (Paul et al. 2018 Nucl. Fusion 58 076015), the shape derivatives are computed with a discrete adjoint method. In contrast with the previous work, derivatives are computed with respect to the plasma rather than the winding surface parameters. To further reduce the required resolution, we present a more efficient representation of the plasma surface using a single Fourier series to describe the radial distance from a coordinate axis and a spectrally condensed poloidal angle. This representation is advantageous over the standard cylindrical representation used in the VMEC code (Hirshman & Whitson 1983 The Physics of Fluids 26 3553-3568), as it provides a uniquely defined poloidal angle, eliminating a null space in the optimization of the plasma surface. The resulting shape gradient highlights features of the plasma boundary consistent with simple coils and can be used to couple coil and fixed-boundary optimization.


title: TB-Net: A Three-Stream Boundary-Aware Network for Fine-Grained Pavement Disease Segmentation

abstract: Regular pavement inspection plays a significant role in road maintenance for safety assurance. Existing methods mainly address the tasks of crack detection and segmentation that are only tailored for long-thin crack disease. However, there are many other types of diseases with a wider variety of sizes and patterns that are also essential to segment in practice, bringing more challenges towards fine-grained pavement inspection. In this paper, our goal is not only to automatically segment cracks, but also to segment other complex pavement diseases as well as typical landmarks (markings, runway lights, etc.) and commonly seen water/oil stains in a single model. To this end, we propose a three-stream boundary-aware network (TB-Net). It consists of three streams fusing the low-level spatial and the high-level contextual representations as well as the detailed boundary information. Specifically, the spatial stream captures rich spatial features. The context stream, where an attention mechanism is utilized, models the contextual relationships over local features. The boundary stream learns detailed boundaries using a global-gated convolution to further refine the segmentation outputs. The network is trained using a dual-task loss in an end-to-end manner, and experiments on a newly collected fine-grained pavement disease dataset show the effectiveness of our TB-Net.


title: Quantum Combinatorial Games: Structures and Computational Complexity

abstract: Recently, a standardized framework was proposed for introducing quantum-inspired moves in mathematical games with perfect information and no chance. The beauty of quantum games-succinct in representation, rich in structures, explosive in complexity, dazzling for visualization, and sophisticated for strategic reasoning-has drawn us to play concrete games full of subtleties and to characterize abstract properties pertinent to complexity consequence. Going beyond individual games, we explore the tractability of quantum combinatorial games as whole, and address fundamental questions including: Quantum Leap in Complexity: Are there polynomial-time solvable games whose quantum extensions are intractable? Quantum Collapses in Complexity: Are there PSPACE-complete games whose quantum extensions fall to the lower levels of the polynomial-time hierarchy? Quantumness Matters: How do outcome classes and strategies change under quantum moves? Under what conditions doesn't quantumness matter? PSPACE Barrier for Quantum Leap: Can quantum moves launch PSPACE games into outer polynomial space We show that quantum moves not only enrich the game structure, but also impact their computational complexity. In settling some of these basic questions, we characterize both the powers and limitations of quantum moves as well as the superposition of game configurations that they create. Our constructive proofs-both on the leap of complexity in concrete Quantum Nim and Quantum Undirected Geography and on the continuous collapses, in the quantum setting, of complexity in abstract PSPACE-complete games to each level of the polynomial-time hierarchy-illustrate the striking computational landscape over quantum games and highlight surprising turns with unexpected quantum impact. Our studies also enable us to identify several elegant open questions fundamental to quantum combinatorial game theory (QCGT).


title: Blind Motion Deblurring through SinGAN Architecture

abstract: Blind motion deblurring involves reconstructing a sharp image from an observation that is blurry. It is a problem that is ill-posed and lies in the categories of image restoration problems. The training data-based methods for image deblurring mostly involve training models that take a lot of time. These models are data-hungry i.e., they require a lot of training data to generate satisfactory results. Recently, there are various image feature learning methods developed which relieve us of the need for training data and perform image restoration and image synthesis, e.g., DIP, InGAN, and SinGAN. SinGAN is a generative model that is unconditional and could be learned from a single natural image. This model primarily captures the internal distribution of the patches which are present in the image and is capable of generating samples of varied diversity while preserving the visual content of the image. Images generated from the model are very much like real natural images. In this paper, we focus on blind motion deblurring through SinGAN architecture.


title: ESPnet-se: end-to-end speech enhancement and separation toolkit designed for asr integration

abstract: We present ESPnet-SE, which is designed for the quick development of speech enhancement and speech separation systems in a single framework, along with the optional downstream speech recognition module. ESPnet-SE is a new project which integrates rich automatic speech recognition related models, resources and systems to support and validate the proposed front-end implementation (i.e. speech enhancement and separation).It is capable of processing both single-channel and multi-channel data, with various functionalities including dereverberation, denoising and source separation. We provide all-in-one recipes including data pre-processing, feature extraction, training and evaluation pipelines for a wide range of benchmark datasets. This paper describes the design of the toolkit, several important functionalities, especially the speech recognition integration, which differentiates ESPnet-SE from other open source toolkits, and experimental results with major benchmark datasets.


title: Can the highly symmetric SU(4) spin-orbital model be realized in alpha-ZrCl3?

abstract: We study physical properties of a potential candidate for the physical realization of the SU(4) spin-orbital model - layered alpha-ZrCl3. Both DFT and DFT+U+SOC calculations show that this material most probably dimerizes at normal conditions. Therefore it is unlikely that symmetric SU(4) model can be used for description of magnetic properties of alpha-ZrCl3 at low temperatures. In the dimerized structure electrons occupy molecular orbitals formed by the xy orbitals. One might expect a non-magnetic ground state in this case. Interestingly the energy difference between various dimers packings is rather small and thus dimers may start to flow over the lattice as they do in Li2RuO3.


title: Hyperspherical few-body model calculation for cascade $\Xi$ exotic hypernuclei with reference to nuclear drip lines

abstract: In this paper, we presented the ground state energies calculated for some single and double cascade hyperon(${\Xi}^{-}$) hypernuclei. For hypernuclei of the type $_{\Xi}^{A_c+1}$X we applied $\Xi+^A_c$X two-body model and for hypernuclei of the type $_{\Xi\Xi}^{A_c+2}$X we adopted $\Xi+\Xi+^A_c$X three-body model. A two-term Gaussian (Isle type) potential with adjustable parameters is chosen as the $\Xi$-nucleus interaction, while a two-term Yukawa-type potential has been chosen for the $\Xi\Xi$ pair. In the three-body model calculation, we adopted the hyperspherical harmonics expansion (HHE) formalism. The resulting two- and three-body Schr{\"o}dinger equations subject to appropriate boundary condition's have been solved numerically to get the ground-state energies and wavefunctions. Computed values are in excellent agreement with the observed ones as found in the literature. Analysis of the calculated observables indicates that the hyperons stay close to the core-nucleus. Hypernuclei formed as a result of absorption of one or more $\Xi$-hyperon(s) by a normal nucleus (bound or unbound) are found to have more stability than those formed as a result of absorption of one or more $\Lambda$ hyperon(s) by the same nucleus. This fact flashes towards the possibility of the existence of a valley of strange hypernuclei near the drip lines.


title: Investigations of Non-Gray/Gray Radiative Heat Transfer Effect on Natural Convection in Tall Cavities at Low Operating Temperature

abstract: The present work numerically investigates the influence of radiation on the natural convection in differentially heated slender and square-base tall cavities at low operating temperature range of 288.1-307.7 K. The atmospheric air which has the composition of $N_2$, $O_2$, $CO_2$ and $H_2O$ in the molar mass proportion of 75.964%, 21%, 0.036% and 3%, respectively, has been considered as the working fluid in the cavities. The non-gray and gray Planck mean absorption coefficients for whole spectrum of the air at the atmospheric pressure and average temperature of the cavity have been calculated from HITEMP-2010 database by Line-By-Line (LBL) approach. The flow and heat transfer simulations for combined radiation and natural convection have been performed for four different scenarios, i.e., pure convection, radiation in transparent, gray, and non-gray radiation medium. First, the numerical results are compared with the experimental results of Betts and Bukhari [1] for the slender cavity case, subsequently a comprehensive analysis of the fluid flow and heat transfer are presented to demonstrate the influence of the radiation on natural convection inside both the cavities. The flow structure has been visualized by Q-criterion - a vortex identification technique. The results reveal that the fluid flow and thermal characteristics change significantly at the top and the bottom of both the cavities with the inclusion of radiation. Moreover, the radiation in gray medium has significant effect on these characteristics. The fluid flow and heat transfer are only happening in a narrow regions near to the active walls. The radiative flux is in the same order of the conductive flux in these cavities and these fluxes are almost same in all four scenarios of the radiation modeling.


title: On the $L^2$ stability of shock waves for finite-entropy solutions of Burgers

abstract: We prove $L^2$ stability estimates for entropic shocks among weak, possibly \emph{non-entropic}, solutions of scalar conservation laws $\partial_t u+\partial_x f(u)=0$ with strictly convex flux function $f$. This generalizes previous results by Leger and Vasseur, who proved $L^2$ stability among entropy solutions. Our main result, the estimate \begin{align*} \int_{\mathbb R} |u(t,\cdot)-u_0^{shock}(\cdot -x(t))|^2\,dx\leq \int_{\mathbb R}|u_0-u_0^{shock}|^2 +C\mu_+([0,t]\times\R), \end{align*} for some Lipschitz shift $x(t)$, includes an error term accounting for the positive part of the entropy production measure $\mu=\partial_t(u^2/2)+\partial_x q(u)$, where $q'(u)=uf'(u)$. Stability estimates in this general non-entropic setting are of interest in connection with large deviation principles for the hydrodynamic limit of asymmetric interacting particle systems. Our proof adapts the scheme devised by Leger and Vasseur, where one constructs a shift $x(t)$ which allows to bound from above the time-derivative of the left-hand side. The main difference lies in the fact that our solution $u(t,\cdot)$ may present a non-entropic shock at $x=x(t)$ and new bounds are needed in that situation. We also generalize this stability estimate to initial data with bounded variation.


title: State estimation in turbulent channel flow from limited observations

abstract: Estimation of the initial state of turbulent channel flow from limited data is investigated using an adjoint-variational approach. The data are generated from a reference direct numerical simulation (DNS) which is sub-sampled at different spatiotemporal resolutions. When the velocity data are at 1/4096 the spatiotemporal resolution of DNS, the correlation coefficient between the true and adjoint-variational estimated state exceeds 99 percent. The robustness of the algorithm to observation noise is demonstrated. In addition, the impact of the spatiotemporal density of the data on estimation quality is evaluated, and a resolution threshold is established for a successful reconstruction. The critical spanwise data resolution is proportional to the Taylor microscale, which characterizes the domain of dependence of an observation location. Due to mean advection, either the streamwise or temporal data resolution must satisfy a criterion based on the streamwise Taylor microscale. A second configuration is considered where the sub-sampled data are comprised of velocities in the outer layer and wall shear stresses only. The near-wall flow statistics and coherent structures, although not sampled, are accurately reconstructed, which is possible because of the coupling between the outer flow and near-wall motions. Finally, the most challenging configuration is addressed where only the spatiotemporally resolved wall stresses are observed. The estimation remains accurate within the viscous sublayer and deteriorates significantly with distance from the wall. In wall units, this trend is nearly independent of the Reynolds number considered, and is indicative of the fundamental difficulty of reconstructing wall-detached motions from wall data.


title: DeepCFL: Deep Contextual Features Learning from a Single Image

abstract: Recently, there is a vast interest in developing image feature learning methods that are independent of the training data, such as deep image prior, InGAN, SinGAN, and DCIL. These methods are unsupervised and are used to perform low-level vision tasks such as image restoration, image editing, and image synthesis. In this work, we proposed a new training data-independent framework, called Deep Contextual Features Learning (DeepCFL), to perform image synthesis and image restoration based on the semantics of the input image. The contextual features are simply the high dimensional vectors representing the semantics of the given image. DeepCFL is a single image GAN framework that learns the distribution of the context vectors from the input image. We show the performance of contextual learning in various challenging scenarios: outpainting, inpainting, and restoration of randomly removed pixels. DeepCFL is applicable when the input source image and the generated target image are not aligned. We illustrate image synthesis using DeepCFL for the task of image resizing.


title: Naturalization of Text by the Insertion of Pauses and Filler Words

abstract: In this article, we introduce a set of methods to naturalize text based on natural human speech. Voice-based interactions provide a natural way of interfacing with electronic systems and are seeing a widespread adaptation of late. These computerized voices can be naturalized to some degree by inserting pauses and filler words at appropriate positions. The first proposed text transformation method uses the frequency of bigrams in the training data to make appropriate insertions in the input sentence. It uses a probability distribution to choose the insertions from a set of all possible insertions. This method is fast and can be included before a Text-To-Speech module. The second method uses a Recurrent Neural Network to predict the next word to be inserted. It confirms the insertions given by the bigram method. Additionally, the degree of naturalization can be controlled in both these methods. On the conduction of a blind survey, we conclude that the output of these text transformation methods is comparable to natural speech.


title: A classification of lowest weight irreducible modules over $\mathbb{Z}_2^2$-graded extension of $osp(1|2)$

abstract: We investigate representations of the $\mathbb{Z}_2^2$-graded extension of $osp(1|2)$ which is the spectrum generating algebra of the recently introduced $\mathbb{Z}_2^2$-graded version of superconformal mechanics. The main result is a classification of irreducible lowest weight modules of the $\mathbb{Z}_2^2$-graded extension of $osp(1|2)$. This is done via introduction of Verma modules and its maximal invariant submodule generated by singular vectors. Explicit formula of all singular vectors are also presented.


title: Bayesian Nonparametric Dimensionality Reduction of Categorical Data for Predicting Severity of COVID-19 in Pregnant Women

abstract: The coronavirus disease (COVID-19) has rapidly spread throughout the world and while pregnant women present the same adverse outcome rates, they are underrepresented in clinical research. We collected clinical data of 155 test-positive COVID-19 pregnant women at Stony Brook University Hospital. Many of these collected data are of multivariate categorical type, where the number of possible outcomes grows exponentially as the dimension of data increases. We modeled the data within the unsupervised Bayesian framework and mapped them into a lower-dimensional space using latent Gaussian processes. The latent features in the lower dimensional space were further used for predicting if a pregnant woman would be admitted to a hospital due to COVID-19 or would remain with mild symptoms. We compared the prediction accuracy with the dummy/one-hot encoding of categorical data and found that the latent Gaussian process had better accuracy.


title: Data-Driven Koopman Controller Synthesis Based on the Extended $\mathcal{H}_2$ Norm Characterization

abstract: This paper presents a new data-driven controller synthesis based on the Koopman operator and the extended $\mathcal{H}_2$ norm characterization of discrete-time linear systems. We model dynamical systems as polytope sets which are derived from multiple data-driven linear models obtained by the finite approximation of the Koopman operator and then used to design robust feedback controllers combined with the $\mathcal{H}_2$ norm characterization. The use of the $\mathcal{H}_2$ norm characterization is aimed to deal with the model uncertainty that arises due to the nature of the data-driven setting of the problem. The effectiveness of the proposed controller synthesis is investigated through numerical simulations.


title: Trap Mediated Energy Transport via Vibronic Resonance

abstract: Controlling energy transfer through vibronic resonance is an interesting possibility. Exact treatment of non-adiabatic vibronic coupling is necessary to fully capture its role in driving energy transfer. However, exact treatment of vibrations in extended systems is expensive, sometimes requiring oversimplifying approximations to reduce vibrational dimensionality, and do not provide physical insights into which specific vibrational motions promote energy transport. Here we derive effective normal modes for excitonically coupled aggregates which reduce the overall high-dimensional vibronic Hamiltonian into independent one-dimensional Hamiltonians. Applying this approach on a trimer toy model, we demonstrate trap-mediated energy transport between electronically uncoupled sites. Bringing uncoupled sites into vibronic resonance converts the `trap' into a `conduit' for population transfer, while simultaneously minimizing trapped excitations. Visualizing energy transfer along the aggregate normal modes provides non-intuitive insights into which specific vibrational motions allow for trap-mediated energy transport by promoting vibronic mixing.


title: Bootstrap Confidence Intervals Using the Likelihood Ratio Test in Changepoint Detection

abstract: This study aims to evaluate the performance of power in the likelihood ratio test for changepoint detection by bootstrap sampling, and proposes a hypothesis test based on bootstrapped confidence interval lengths. Assuming i.i.d normally distributed errors, and using the bootstrap method, the changepoint sampling distribution is estimated. Furthermore, this study describes a method to estimate a data set with no changepoint to form the null sampling distribution. With the null sampling distribution, and the distribution of the estimated changepoint, critical values and power calculations can be made, over the lengths of confidence intervals.


title: Variation of GIT and Variation of Lagrangian Skeletons I: Flip and Flop

abstract: Coherent-Constructible Correspondence for toric variety assigns to each $n$-dimensional toric variety $X_\Sigma$ a Lagrangian skeleton $\Lambda_\Sigma \subset T^*T^n$, such that the derived category of coherent sheaves $Coh(X_\Sigma)$ is equivalent to the (wrapped) constructible sheaves $Sh^w(T^n, \Lambda_\Sigma)$. In this paper, we extend this correspondence, so that flip and flop between toric varieties corresponds to variation of Lagrangian skeletons. The main idea is to translate window subcategory in variation of GIT to a window skeleton.


title: Cluster algebras generated by projective cluster variables

abstract: We introduce the notion of a lower bound cluster algebra generated by projective cluster variables as a polynomial ring over the initial cluster variables and the so-called projective cluster variables. We show that under an acyclicity assumption, the cluster algebra and the lower bound cluster algebra generated by projective cluster variables coincide. In this case we use our results to construct a basis for the cluster algebra. We also show that any coefficient-free cluster algebra of types $A_n$ or $\widetilde{A}_n$ is equal to the corresponding lower bound cluster algebra generated by projective cluster variables.


title: Coarse- and Fine-grained Attention Network with Background-aware Loss for Crowd Density Map Estimation

abstract: In this paper, we present a novel method Coarse- and Fine-grained Attention Network (CFANet) for generating high-quality crowd density maps and people count estimation by incorporating attention maps to better focus on the crowd area. We devise a from-coarse-to-fine progressive attention mechanism by integrating Crowd Region Recognizer (CRR) and Density Level Estimator (DLE) branch, which can suppress the influence of irrelevant background and assign attention weights according to the crowd density levels, because generating accurate fine-grained attention maps directly is normally difficult. We also employ a multi-level supervision mechanism to assist the backpropagation of gradient and reduce overfitting. Besides, we propose a Background-aware Structural Loss (BSL) to reduce the false recognition ratio while improving the structural similarity to groundtruth. Extensive experiments on commonly used datasets show that our method can not only outperform previous state-of-the-art methods in terms of count accuracy but also improve the image quality of density maps as well as reduce the false recognition ratio.


title: Template Controllable keywords-to-text Generation

abstract: This paper proposes a novel neural model for the understudied task of generating text from keywords. The model takes as input a set of un-ordered keywords, and part-of-speech (POS) based template instructions. This makes it ideal for surface realization in any NLG setup. The framework is based on the encode-attend-decode paradigm, where keywords and templates are encoded first, and the decoder judiciously attends over the contexts derived from the encoded keywords and templates to generate the sentences. Training exploits weak supervision, as the model trains on a large amount of labeled data with keywords and POS based templates prepared through completely automatic means. Qualitative and quantitative performance analyses on publicly available test-data in various domains reveal our system's superiority over baselines, built using state-of-the-art neural machine translation and controllable transfer techniques. Our approach is indifferent to the order of input keywords.


title: Galaxy spin direction distribution in HST and SDSS show similar large-scale asymmetry

abstract: Several recent observations using large datasets of galaxies showed non-random distribution of the spin directions of spiral galaxies, even when the galaxies are too far from each other to have gravitational interaction. Here, a dataset of $\sim8.7\cdot10^3$ spiral galaxies imaged by Hubble Space Telescope is used to test and profile a possible asymmetry between galaxy spin directions. The asymmetry between galaxies with opposite spin directions is compared to the asymmetry of galaxies from the Sloan Digital Sky Survey. The two datasets contain different galaxies at different redshift ranges, and each dataset was annotated using a different annotation method. The results show that both datasets show a similar asymmetry in the COSMOS field, which is covered by both telescopes. Fitting the asymmetry of the galaxies to cosine dependence shows a dipole axis with probabilities of $\sim2.8\sigma$ and $\sim7.38\sigma$ in HST and SDSS, respectively. The most likely dipole axis identified in the HST galaxies is at $(\alpha=78^o,\delta=47^o)$, and is well within the $1\sigma$ error range compared to the location of the most likely dipole axis in the SDSS galaxies with $z>0.15$, identified at $(\alpha=71^o,\delta=61^o)$.


title: Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games

abstract: We propose enhancing the use of propositions for denoting decisions and strategies as established in temporal languages such as CTL*, if interpreted on concurrent game models. The enhancement enables specifying varying coalition structure. In quantified CTL* this technique also enables quantifying over coalition structure, and we use it to quantify over an extended form of strategy profiles which capture temporary coalitions. We also extend CTL* by a temporal form of a binary preference operator that can be traced back to the work of Von Wright. The resulting extension of quantified CTL* can be used to spell out conditions on the rationality of behaviour in concurrent multiplayer games such as what appear in solution concepts, with players having multiple individual objectives and preferences on them, and with the possibility to form temporary coalitions taken in account. We propose complete axiomatisations for the extension of CTL* by the temporal preference operator. The decidability of the logic is not affected by that extension.


title: A Strong Baseline for Crowd Counting and Unsupervised People Localization

abstract: In this paper, we explore a strong baseline for crowd counting and an unsupervised people localization algorithm based on estimated density maps. Firstly, existing methods achieve state-of-the-art performance based on different backbones and kinds of training tricks. We collect different backbones and training tricks and evaluate the impact of changing them and develop an efficient pipeline for crowd counting, which decreases MAE and RMSE significantly on multiple datasets. We also propose a clustering algorithm named isolated KMeans to locate the heads in density maps. This method can divide the density maps into subregions and find the centers under local count constraints without training any parameter and can be integrated with existing methods easily.


title: Intelligent Reflecting Surface (IRS)-Aided Covert Wireless Communications with Delay Constraint

abstract: This work examines the performance gain achieved by deploying an intelligent reflecting surface (IRS) in covert communications. To this end, we formulate the joint design of the transmit power and the IRS reflection coefficients by taking into account the communication covertness for the cases with global channel state information (CSI) and without a warden's instantaneous CSI. For the case of global CSI, we first prove that perfect covertness is achievable with the aid of the IRS even for a single-antenna transmitter, which is impossible without an IRS. Then, we develop a penalty successive convex approximation (PSCA) algorithm to tackle the design problem. Considering the high complexity of the PSCA algorithm, we further propose a low-complexity two-stage algorithm, where analytical expressions for the transmit power and the IRS's reflection coefficients are derived. For the case without the warden's instantaneous CSI, we first derive the covertness constraint analytically facilitating the optimal phase shift design. Then, we consider three hardware-related constraints on the IRS's reflection amplitudes and determine their optimal designs together with the optimal transmit power. Our examination shows that significant performance gain can be achieved by deploying an IRS into covert communications.


title: Accurate phonon blockade detector composed of a quadratically coupled optomechanical system

abstract: The observation of phonon blockade in a nanomechanical oscillator is clear evidence of its quantum nature. However, it is still a severe challenge to measure the strong phonon blockade in an optomechanical system with effective nonlinear coupling. In this paper, we propose a theoretical proposal for detecting the phonon blockade effect in a quadratically coupled optomechanical system by exploiting supervised machine learning. The detected optical signals are injected into the neural network as the input, while the output is the mechanical equal-time second-order correlation. Our results show our scheme performs superior performance on detecting phonon blockade. Specifically, it is efficient for nonlinear coupling systems; it performs a high precision for strong photon blockade; it is robust against the small disturbance of system parameters. Our work opens a promising way to build a phonon blockade detector.


title: Newtonian calibrator tests during the Virgo O3 data taking

abstract: The gravitational-wave detectors outputs from the LIGO and Virgo collaborations have been a source of scientific results of prime importance in various domains such as astrophysics, cosmology or fundamental physics. With the upgrades of the detectors and their improved sensitivities, new challenges are set for these instruments calibration. A calibration method based on the local variations of the Newtonian gravitational field could be the next absolute reference of calibration for the interferometers network. We report new tests of Newtonian calibrators (NCal) on the Advanced Virgo detector performed during the LIGO-Virgo observing run O3. The NCal-induced strain on a mirror of the interferometer has been computed both using analytical calculations and numerical simulations with results in very good agreement. The strains given by the numerical model have been used to analyse the data of the NCals and have been compared to the reference method of calibration using photon radiation pressure. New methods to measure the NCal to mirror distance and the NCal offset with respect to the plane of the interferometer using two NCals are also presented and used to correct the NCal data which improves the agreement with the current Advanced Virgo reference of calibration.


title: Enhash: A Fast Streaming Algorithm For Concept Drift Detection

abstract: We propose Enhash, a fast ensemble learner that detects \textit{concept drift} in a data stream. A stream may consist of abrupt, gradual, virtual, or recurring events, or a mixture of various types of drift. Enhash employs projection hash to insert an incoming sample. We show empirically that the proposed method has competitive performance to existing ensemble learners in much lesser time. Also, Enhash has moderate resource requirements. Experiments relevant to performance comparison were performed on 6 artificial and 4 real data sets consisting of various types of drifts.


title: Comparison geometry of manifolds with boundary under lower $N$-weighted Ricci curvature bounds with $\varepsilon$-range

abstract: We study comparison geometry of manifolds with boundary under a lower $N$-weighted Ricci curvature bound for $N\in ]-\infty,1]\cup [n,+\infty]$ with $\varepsilon$-range introduced by Lu-Minguzzi-Ohta. We will conclude splitting theorems, and also comparison geometric results for inscribed radius, volume around the boundary, and smallest Dirichlet eigenvalue of the weighted $p$-Laplacian. Our results interpolate those for $N\in [n,+\infty[$ and $\varepsilon=1$, and for $N\in ]-\infty,1]$ and $\varepsilon=0$ by the second named author.


title: On the Privacy Risks of Algorithmic Fairness

abstract: Algorithmic fairness and privacy are essential pillars of trustworthy machine learning. Fair machine learning aims at minimizing discrimination against protected groups by, for example, imposing a constraint on models to equalize their behavior across different groups. This can subsequently change the influence of training data points on the fair model, in a disproportionate way. We study how this can change the information leakage of the model about its training data. We analyze the privacy risks of group fairness (e.g., equalized odds) through the lens of membership inference attacks: inferring whether a data point is used for training a model. We show that fairness comes at the cost of privacy, and this cost is not distributed equally: the information leakage of fair models increases significantly on the unprivileged subgroups, which are the ones for whom we need fair learning. We show that the more biased the training data is, the higher the privacy cost of achieving fairness for the unprivileged subgroups will be. We provide comprehensive empirical analysis for general machine learning algorithms.


title: Identifying interception possibilities for WhatsApp communication

abstract: On a daily basis, law enforcement officers struggle with suspects using mobile communication applications for criminal activities. These mobile applications replaced SMS-messaging and evolved the last few years from plain-text data transmission and storage to an encrypted version. Regardless of the benefits for all law abiding citizens, this is considered to be the downside for criminal investigations. Normal smartphone, computer or network investigations do no longer provide the contents of the communication in real-time when suspects are using apps like WhatsApp, Signal or Telegram. Among them, WhatsApp is one of the most common smartphone applications for communication, both criminal as well as legal activities. Early 2016 WhatsApp introduced end-to-end encryption for all users, immediately keeping law enforcement officers around the world in the dark. Existing research to recuperate the position of law enforcement is limited to a single field of investigation and often limited to post mortem research on smartphone or computer while wiretapping is limited to metadata information. Therefore, it provides only historical data or metadata while law enforcement officers want a continuous stream of live and substantive information. This paper identified that gap in available scenarios for law enforcement investigations and identified a gap in methods available for forensic acquiring and processing these scenarios. In this paper, we propose a forensic approach to create real-time insight in the WhatsApp communication. Our approach is based on the wiretapping, decrypting WhatsApp databases, open source intelligence and WhatsApp Web communication analysis. We also evaluate our method with different scenarios in WhatsApp forensics to prove its feasibility and efficiency.


title: Human-Like Active Learning: Machines Simulating the Human Learning Process

abstract: Although the use of active learning to increase learners' engagement has recently been introduced in a variety of methods, empirical experiments are lacking. In this study, we attempted to align two experiments in order to (1) make a hypothesis for machine and (2) empirically confirm the effect of active learning on learning. In Experiment 1, we compared the effect of a passive form of learning to active form of learning. The results showed that active learning had a greater learning outcomes than passive learning. In the machine experiment based on the human result, we imitated the human active learning as a form of knowledge distillation. The active learning framework performed better than the passive learning framework. In the end, we showed not only that we can make build better machine training framework through the human experiment result, but also empirically confirm the result of human experiment through imitated machine experiments; human-like active learning have crucial effect on learning performance.